普罗米修斯计划：通过逆向工程可执行规范弥合代理程序修复的意图差距

从神经机器翻译到代理工作流程的转变彻底改变了自动化程序修复（APR）。然而，现有的代理尽管具有先进的推理能力，但经常遇到“意图差距”——生成的补丁与开发人员的原始意图之间的不一致。当前依赖自然语言摘要或对抗性采样的解决方案通常无法提供手术修复所需的确定性约束。在本文中，我们介绍了 \textsc{Prometheus}，这是一种新颖的框架，它通过将 \textit{规范推理} 优先于代码生成来弥补这一差距。我们采用行为驱动开发（BDD）作为可执行合约，利用多代理架构从运行时故障报告中对 Gherkin 规范进行逆向工程。为了解决“意图幻觉”，我们提出了一个 \textbf{需求质量保证 (RQA) 循环}，这是一种利用 真值 代码作为代理预言机来验证推断的规范的机制。我们针对 Defects4J 基准测试中的 680 个缺陷评估了 \textsc{Prometheus}。结果是革命性的：我们的框架实现了 \textbf{93.97\%} (639/680) 的总正确补丁率。更重要的是，它表现出了 \textbf{救援率 74.4\%}，成功修复了强盲代理无法解决的 119 个复杂错误。定性分析表明，明确的意图可以引导智能体远离结构性侵入性过度设计，转向精确、最小的修正。我们的研究结果表明，APR 的未来不在于更大的模型，而在于将代码与经过验证的\textbf{可执行规范}对齐的能力——无论是预先存在的还是逆向工程的。