AI编码代理无人工审查完成大型重构案例研究

本文报告了一个单一的、完全仪器化的大规模架构重构案例研究，该重构由AI编码代理在规范优先协议下进行，没有人工审查生成的代码，也没有预先存在的预言机来验证目标行为。该任务是在一个大型相互依赖的代码库中拆除一个核心不变量，作者评估认为通过增量重构实际上不可行，这种变更通常需要重写。在本文所述的协议下，代理成功完成了该任务。 该系统是一个包含717,725行代码的生产级TypeScript应用程序，分布在3,648个文件中。任务要求拆除一个核心生命周期不变量：保证UI面板在AI请求期间保持打开。目标行为是流式生成在面板关闭后仍然存活，并且可以在重新打开时重新附加到同一个实时流，不丢失也不重复。 协议：代理进行正式规范，14轮细化周期对照源代码审计该规范，原子实现，编译/测试反馈循环，然后17轮验证周期对照冻结的规范审计代码。在31次审计通过中，在任何人执行程序之前纠正了201个缺陷。收敛标准是经验性的：连续两次验证通过返回零发现。 该变更涉及189个文件（新增31个）；加上提取阶段，两次提交共涉及288个文件，34,770行插入，16,422行删除。在第一次和大约三十次后续会话中，软件行为符合规范，未观察到错误。耗时：三天；成本：2,430美元。 完整的规范和原始会话日志（超过1,500页，法语）作为证据发布，允许检查过程并提交给语言模型进行一致性检查。