网易首页 > 网易号 > 正文 申请入驻

AI改代码越勤快,代码库越会说谎?

0
分享至

AI编程助手现在改代码的速度越来越快。但有个新问题被忽视了:代码在变,代码库的"真相"却常常跟不上。

行为跑在了文档前面。架构笔记很快过时。产品决策散落在聊天记录里。审查者能看到代码改动,却看不到围绕这些改动的上下文变化。


Truthmark 1.4.0就是针对这个断层设计的。这是一个Git原生的、分支级别的AI辅助开发工作流层。它帮助编程代理在功能代码变更时保持代码库真相的一致性,同时给人类留下普通的Git差异供审查。


最新版本加入了工作流验证器和写入代理。这让安装的工作流在更大的代码库中更实用——在大代码库里,单个代理的上下文很快就会拥挤不堪。

Truthmark的定位很清晰:它不想成为另一个AI模型,不托管服务,不运行数据库,不添加MCP服务器,也不要求团队信任隐藏的内存。相反,它在你的代码库中安装工作流基础设施。

这套基础设施有两个界面。面向人类的是命令行工具:维护者用它配置代码库、安装工作流文件、刷新生成的界面、验证真相设置。面向AI的则是宿主原生的工作流界面——根据宿主不同,它们以技能、提示、命令、托管指令块或项目代理的形式出现。

这个区分很关键:命令行工具准备代码库,AI界面是代理工作时使用的运行时。


默认的工作流路径是这样的:代理修改功能代码→相关测试运行→Truth Sync检查映射的真相文档→需要时更新真相文档→人类审查代码差异+真相差异。目标不是创造更多文档,而是让代码库真相更难被跳过。

当AI代理改变行为时,Truthmark会给它一个完成时的工作流守卫。代理在交接前检查映射的真相文档。如果文档需要变更,变更会以普通的Git差异形式出现。这让代码库更容易审查、更容易交接、更容易信任。

很多AI工具专注于"下一个回答"。Truthmark专注于"下一次交接"。在真实的代码库中,真相并非简单全局存在。分支会分叉,架构变更分阶段进行,产品行为在特性分支和主分支之间可能不同。内存工具可以帮助单个用户或单个会话,但它不会自动给审查者提供分支当前信念的提交记录。

Truthmark把这些上下文留在代码库里。路由文件、真相文档、生成的工作流界面和指令块都随分支存在。它们可以像其他项目文件一样被审查、更新、回滚和合并。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
强攻大楼,埃尔多安下狠手,土耳其政坛大爆发,厄泽尔绝地反击!

强攻大楼,埃尔多安下狠手,土耳其政坛大爆发,厄泽尔绝地反击!

万国明信片
2026-05-27 16:56:08
女子称车祸住院遭男医生侵犯,警方调查后未立案,涉事医生已被开除

女子称车祸住院遭男医生侵犯,警方调查后未立案,涉事医生已被开除

极目新闻
2026-05-27 20:39:31
云南省昆明监狱原党委书记、监狱长李金平(已退休)接受纪律审查和监察调查

云南省昆明监狱原党委书记、监狱长李金平(已退休)接受纪律审查和监察调查

环球网资讯
2026-05-28 18:17:25
陈飞宇又爆船照?于正重组白鹿团队!

陈飞宇又爆船照?于正重组白鹿团队!

八卦疯叔
2026-05-28 11:42:46
百亿规模榴莲消费,为何你还没自由?

百亿规模榴莲消费,为何你还没自由?

万物皆可科普啊
2026-05-27 17:23:35
殡葬师提醒:守灵那一夜,家属千万别只顾着熬,一定守好这3件事

殡葬师提醒:守灵那一夜,家属千万别只顾着熬,一定守好这3件事

千秋历史
2026-05-26 19:31:00
李显龙访华后公开表态:中国和新加坡不是"共同族群"

李显龙访华后公开表态:中国和新加坡不是"共同族群"

米师傅安装
2026-05-28 08:30:51
唏嘘!26岁欧洲金童无缘世界杯,巅峰身价7500万,如今只剩4000万

唏嘘!26岁欧洲金童无缘世界杯,巅峰身价7500万,如今只剩4000万

小火箭爱体育
2026-05-28 15:06:10
穆里尼奥本菲卡解约金涨!皇马选举办卡壳归期!会掏千万签他吗?

穆里尼奥本菲卡解约金涨!皇马选举办卡壳归期!会掏千万签他吗?

绿茵八卦君
2026-05-28 18:55:03
连斩塞尔比艾伦,4-0墨菲!禁赛归来,他让亨德利预言世锦赛冠军

连斩塞尔比艾伦,4-0墨菲!禁赛归来,他让亨德利预言世锦赛冠军

曹老师评球
2026-05-28 14:34:34
弗洛伦蒂诺震怒,里克尔梅在利用皇马,穆里尼奥回归已被大家接受

弗洛伦蒂诺震怒,里克尔梅在利用皇马,穆里尼奥回归已被大家接受

足坛刘脂导
2026-05-28 12:50:29
因不满蒋介石作为,入黄埔2个月惨遭开除,后成蒋介石一生之敌

因不满蒋介石作为,入黄埔2个月惨遭开除,后成蒋介石一生之敌

大运河时空
2026-05-27 18:40:03
抗战时有干部不满意毛主席每天能有一个肉菜,陈云如何给他解释?

抗战时有干部不满意毛主席每天能有一个肉菜,陈云如何给他解释?

阿器谈史
2026-05-28 11:03:11
迪亚斯心生去意,瓜迪奥拉离队引发曼城防线震荡

迪亚斯心生去意,瓜迪奥拉离队引发曼城防线震荡

乐道足球C
2026-05-28 19:04:54
小麦“割四赔五”续:博主直播翻车,事情传到外网,牵连整个襄阳

小麦“割四赔五”续:博主直播翻车,事情传到外网,牵连整个襄阳

小鋭有话说
2026-05-27 14:17:45
合作争议后:苏芒启动维权,广汽启境声明称非代言人、停止相关传播

合作争议后:苏芒启动维权,广汽启境声明称非代言人、停止相关传播

超角度
2026-05-28 13:25:29
俞敏洪:不要把自己逼到抑郁,不要把自己气的一身病,所有事情,除了生死都不值得一提。人这一生,过的是日子,活的是心态!

俞敏洪:不要把自己逼到抑郁,不要把自己气的一身病,所有事情,除了生死都不值得一提。人这一生,过的是日子,活的是心态!

德鲁克博雅管理
2026-05-28 17:05:47
董明珠回应“不用海归派”言论:本意不是说“海归派”不好,坚信中国高校能培养出世界级的优秀人才

董明珠回应“不用海归派”言论:本意不是说“海归派”不好,坚信中国高校能培养出世界级的优秀人才

每日经济新闻
2026-05-27 23:38:01
奔驰GLE终于国产了,但没上7座也没上混动,后排却宽到能翘二郎腿

奔驰GLE终于国产了,但没上7座也没上混动,后排却宽到能翘二郎腿

华庭讲美食
2026-05-28 12:31:52
A股,午后大逆转!两大板块掀涨停潮

A股,午后大逆转!两大板块掀涨停潮

证券时报
2026-05-28 17:22:59
2026-05-28 19:52:49
全栈遛狗员
全栈遛狗员
白天跟需求对线,晚上在小区遛狗。
4055文章数 68关注度
往期回顾 全部

科技要闻

利润跌27%:快手只剩“可灵”这张牌?

头条要闻

朝鲜官员称朝鲜永远不会"无核化" 外交部回应

头条要闻

朝鲜官员称朝鲜永远不会"无核化" 外交部回应

体育要闻

如果雷霆拼图是这水平 马刺确实打不过

娱乐要闻

林俊杰七七与大哥嫂子的瓜剪不断理还乱

财经要闻

长鑫科技IPO过会,市值会到几万亿?

汽车要闻

新款吉利星愿6.18万起售 一镜到底寻找爆款密码

态度原创

家居
本地
手机
时尚
公开课

家居要闻

蜂鸟餐椅 线面交错

本地新闻

用剪纸的方式,打开江苏扬州

手机要闻

2026年小屏直屏轻薄手机推荐:四款高颜值小直屏旗舰横评

穿真丝的女人,挺时髦!

公开课

李玫瑾:为什么性格比能力更重要?

无障碍浏览 进入关怀版