规范优先协议下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 revie
AI 摘要
本文报告了一项由AI编码代理在规范优先协议下完成的大规模架构重构案例研究。该任务涉及在717,725行代码的TypeScript应用中拆除核心生命周期不变量，跨越189个文件，且无测试预言机或人工代码审查。代理通过14轮规范细化、17轮验证循环，在31次审计中修正了201个缺陷，最终在三天内以2,430美元成本成功完成，软件行为符合规范且未观察到错误。完整规范和原始会话日志已发布以供独立验证。
正文节选
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 Abstract This paper reports a single, fully instrumented case study of a large-scale architectural refactoring by an AI coding agent under a specification-first protocol, with no human review of the generated code and no pre-existing oracle to validate the target behaviour. The task, dismantling a