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编码代理在717k行代码库中依据规范重构189个文件，无人工审查。

内容来源：arxiv.org，版权归原作者所有