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编码Agent无人工审查拆除核心架构不变量案例（189文件/71.7万行）
🧭 AI 编码 Agent 规格化重构
AI Sovereign Labs, Paris, France
规格优先协议让AI编码Agent在无人工审查和测试oracle下成功重构71.7万行代码，31轮审计收敛201缺陷
📌 工作参考价值（4 点）
- 规格优先协议：让 Agent 先写正式规格并反复对照源码审计，可迁移到用 Agent 生成推荐系统特征/模型代码时，先规格化业务不变量（如流式生成生命周期、面板状态机），降低幻觉与遗漏。
- 审计收敛判据：要求连续两次验证审计零发现才认定完成，避免单次通过假阴性；可用于 Agent 生成的推荐服务代码或配置的验证循环（如参数搜索空间、离线评估脚本）。
- 原子实现与编译/测试反馈循环：把大改动拆小，冻结规格后再审计；在推荐系统中用 Agent 重构特征管道或在线服务时，可借鉴“编译测试反馈 + 规格冻结再审计”流程，减少人工 review 负担。
- 成本与耗时参考：三天、2430美元完成无 oracle 的跨文件架构级重构，适合用于长期欠维护的推荐系统模块解耦，但需注意该案例无人工执行前实际运行验证，仍需谨慎评估风险。