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

AI改代码越来越溜,但代码库开始"说谎"了

0
分享至

AI编程助手现在改代码的速度快得惊人。问题是,代码变了,代码库却常常跟不上节奏——文档落后实际行为,架构笔记过期,产品决策散落在聊天记录里。审查者能看到代码差异,却看不到背后变化的上下文。

Truthmark 1.4.0想解决的就是这个断层。它不是又一个AI模型,也不托管服务、不跑数据库、不加MCP服务器。它做的是把流程基础设施直接装进你的代码库,让AI在改代码的同时,把"真相"也同步更新。


这套系统有两层界面。给人用的是命令行:配置仓库、初始化流程、检查设置,几个命令搞定。给AI用的则是宿主原生的工作流界面——在Cursor里可能是技能,在Claude里可能是托管指令块,在VS Code里可能是项目代理。CLI负责准备仓库,AI界面负责运行时的实际工作。


默认流程很清晰:AI改功能代码→相关测试运行→Truth Sync检查映射的真相文档→必要时更新文档→人类审查代码差异+真相差异。关键不是造更多文档,而是让"更新真相"这件事变得难以跳过。AI交代码前必须检查映射的文档,如果需要改动,改动会以普通Git差异的形式呈现。

1.4.0版本新增了工作流验证器和写入代理。这对大型仓库尤其有用——单个代理的上下文窗口很快就会被塞满,验证器能帮它确认哪些真相文档确实需要更新,而不是盲目全扫一遍。

分支级别的真相管理是Truthmark的核心设计。真实仓库里,真相不是全局统一的:分支会分叉,架构改动分阶段推进,功能分支和主分支的产品行为可能不同。记忆工具能帮一个用户、一次会话,但没法自动给审查者一个已提交的、记录该分支当前"相信什么"的档案。Truthmark把这些路线文件、真相文档、生成的工作流界面和指令块都留在分支里,可以像其他项目文件一样审查、更新、回滚、合并。

技术实现上,Truthmark用TOML路线文件声明工作流,用Markdown写真相文档,用JSON Schema做验证。这些文件人类可读、可编辑,和代码走同样的审查流程。没有隐藏状态,没有外部依赖,审查者看到的就是实际运行的东西。


这个设计的潜台词很直接:AI编程的瓶颈已经不是写代码,而是写完之后怎么让人敢合并。当AI能在一小时内改完原本需要一周的代码,审查者面临的认知负载会爆炸。Truthmark试图把一部分负载转移给机器——不是让AI替人做决定,而是让AI把"为什么这样改"的结构化证据留在代码库里,供人检查。

当然,这要求团队真的愿意维护那些真相文档。如果路线文件本身变成没人管的垃圾,整个系统就失效了。Truthmark的赌注是:把真相文档变成普通Git文件,用同样的分支、审查、合并流程来管理,比依赖外部记忆工具或隐式提示工程更可持续。

目前支持Cursor、Claude Code、VS Code、GitHub Copilot等主流宿主,路线文件格式统一,宿主特定的生成界面自动处理。对于已经在用AI编程助手、但开始感到"改得快、审得累"的团队,这可能是个值得观察的方向。

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

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-06-02 07:24:18
9年亡命作恶108起、残杀13人、施暴99人!1962-2002云贵悍匪始末

9年亡命作恶108起、残杀13人、施暴99人!1962-2002云贵悍匪始末

墨策史
2026-05-31 00:40:08
美若天仙王楚然:肤白貌美,婀娜多姿。倾国倾城,美不胜收!

美若天仙王楚然:肤白貌美,婀娜多姿。倾国倾城,美不胜收!

十为先生
2026-05-09 15:19:03
提前剧透?CBA总决赛G4还未开赛,维基百科已显示上海夺冠

提前剧透?CBA总决赛G4还未开赛,维基百科已显示上海夺冠

懂球帝
2026-06-02 12:06:24
挂断特朗普电话后,沙特王储放下狠话:我们永远不会当美国的筹码

挂断特朗普电话后,沙特王储放下狠话:我们永远不会当美国的筹码

牛锅巴小钒
2026-06-02 13:46:09
与恩师穆里尼奥重聚皇马?德布劳内吐槽孔蒂,映射阿囧足球也乏味

与恩师穆里尼奥重聚皇马?德布劳内吐槽孔蒂,映射阿囧足球也乏味

穆里尼奥主义者
2026-06-01 21:21:25
币安上线8000只美股交易 稳定币直接买零佣金

币安上线8000只美股交易 稳定币直接买零佣金

全栈遛狗员
2026-06-01 18:39:23
688079,3分钟20%涨停!

688079,3分钟20%涨停!

证券时报
2026-06-02 11:03:01
CBA第一小外援要走?广东有望抢下“得分机器”,保底能进总决赛

CBA第一小外援要走?广东有望抢下“得分机器”,保底能进总决赛

绯雨儿
2026-06-02 10:07:47
牺牲太大!神十六返回,航天员出舱后为何脸部浮肿,被抬着走?

牺牲太大!神十六返回,航天员出舱后为何脸部浮肿,被抬着走?

大运河时空
2026-04-22 08:50:03
不能二次加热的6种食物!医生提醒:吃不完或倒掉,别乱节俭

不能二次加热的6种食物!医生提醒:吃不完或倒掉,别乱节俭

冷眼看世界728
2026-05-12 20:46:26
记一次“约炮”被骗的详细经过

记一次“约炮”被骗的详细经过

云上南安
2026-04-06 17:11:46
从14万到5.5万,蒸发2500万:广州天河顶豪,戳破了豪宅的旧神话

从14万到5.5万,蒸发2500万:广州天河顶豪,戳破了豪宅的旧神话

地产一品塘
2026-06-02 08:00:16
不听大陆劝告执意访美,郑丽文人未启程,就遭美方公开敲打!

不听大陆劝告执意访美,郑丽文人未启程,就遭美方公开敲打!

坠入二次元的海洋
2026-06-01 21:27:00
为什么去过朝鲜回来就沉默的人,不是隐瞒,是真的说不出

为什么去过朝鲜回来就沉默的人,不是隐瞒,是真的说不出

老特有话说
2026-05-12 15:41:08
钱再多有什么用?杜淳老婆自曝切了一片肺,给所有人狠狠上了一课

钱再多有什么用?杜淳老婆自曝切了一片肺,给所有人狠狠上了一课

聊历史的阿稼
2026-06-02 12:17:50
禁投美股,难得全球大国中惟一正确

禁投美股,难得全球大国中惟一正确

家传编辑部
2026-05-30 12:24:47
摧毁一架特别大飞机,击俄无线电中心!俄罗斯被打得柴油产量锐减

摧毁一架特别大飞机,击俄无线电中心!俄罗斯被打得柴油产量锐减

鹰眼Defence
2026-05-31 16:53:51
总决赛情报员!索汉支招尼克斯防守前队友文班:他很容易体能透支

总决赛情报员!索汉支招尼克斯防守前队友文班:他很容易体能透支

罗说NBA
2026-06-02 07:10:43
轮到以色列被炸!内塔的最大麻烦曝光,不是伊朗不是特朗普,是谁

轮到以色列被炸!内塔的最大麻烦曝光,不是伊朗不是特朗普,是谁

离离言几许
2026-06-02 13:49:38
2026-06-02 15:11:00
全栈遛狗员
全栈遛狗员
白天跟需求对线,晚上在小区遛狗。
4488文章数 71关注度
往期回顾 全部

科技要闻

烧掉千亿后,美团、阿里、京东谁先止血?

头条要闻

上海女童几乎没上过学 外公找来前女婿把女儿告上法庭

头条要闻

上海女童几乎没上过学 外公找来前女婿把女儿告上法庭

体育要闻

1米74的业余联赛替补,在英超踢中卫

娱乐要闻

奚梦瑶何猷君婚礼曝光 深情热吻甜蜜

财经要闻

锂电“资源墙”高筑 全球性长期博弈开始

汽车要闻

星途神秘新车轮廓曝光 又一款性能SUV要来了?

态度原创

数码
房产
游戏
手机
公开课

数码要闻

华为nova 16系列发布:2999元起 全系配备后置红枫原色镜头

房产要闻

100亿!1371亩!海口城市更新,再爆超级项目!

《黎明行者之血》最新开发日志 冒险伙伴情报公开

手机要闻

苹果 WWDC 2026 现场将特别放映《曼达洛人和古古》

公开课

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

无障碍浏览 进入关怀版