规范优先的 AI 编程代理协作：跨越 189 个文件拆解核心架构不变量的案例研究
论文报告了一项单一且完整记录的案例研究：AI 编程代理在一个拥有 717,725 行代码的生产级 TypeScript 应用中完成了大规模架构重构。任务是移除“AI 请求期间 UI 面板必须保持打开”这一不变量，使流式生成在面板关闭后仍能继续，并在重新打开时无丢失或重复地连接回同一条实时流。代理先生成形式化规范，经过 14 轮审计后实施变更，再进行 17 轮验证。在人类执行程序前的 31 次审计中，共修正 201 个缺陷。变更涉及 189 个文件，作者称耗时三天、成本为 2,430 美元。该研究还公开了规范和会话日志，但它仍是缺乏独立验证的单一案例，不能证明这种方法普遍适用。
本文来源：Hugging Face，仅供学习参考，版权归原作者所有。