Specification and verification sit inside the agent loop
当系统自己带着计划并检查自己的输出时,仓库规模的编码工作证据更强。ReCodeAgent 把翻译拆成分析、规划、翻译和验证,然后报告在 118 个项目和四种语言对上的 99.4% 编译成功率和 86.5% 测试通过率。REAgent 在修复问题时用的是同样的大体模式:先生成结构化需求,用生成的测试给它打分,再反复修改,直到需求足以驱动补丁。报告的改进幅度是在基线之上将已解决问题提高 9.17% 到 24.83%。核心很直接:仓库代理在规格和验证是循环中的一级步骤时表现更好,而不是把清理工作放到最后。