规范优先AI编码代理：无测试预言与人工审查下的大规模架构重构案例研究
原标题：Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review
AI 摘要
本文报告了一项大规模架构重构案例研究，作者使用AI编码代理在规范优先协议下，成功拆除了一个717,725行TypeScript代码库中的核心生命周期不变量，涉及189个文件，且无人工代码审查和测试预言。通过14轮规范细化、17轮验证循环和31次审计，修正了201个缺陷，最终在三天内完成，成本为2,430美元，软件行为符合规范且无错误。该研究挑战了传统代码审查的瓶颈，提出通过前置规范审计替代事后代码审查。
正文节选
[Page 1] Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review Joël Abenhaïm AI Sovereign Labs, Paris, France joel@aisovereignlabs.ai 31 July 2026 Abstract This paper reports a singl