将需求到修复的中间产物作为可观测轨迹用于基于大语言模型的程序修复

在仓库级别进行修复不仅需要正确的补丁，还需要可检查的记录，以解释需求如何转化为代码变更及后编辑证据。我们提出了THEMIS，一种阶段感知的修复工作流，通过语义解析、运行时需求-代码图、图导出的开发指导、保留的修复理由和补丁、以及后编辑审计记录，将需求到修复的过程外部化。对300个SWE-bench Lite案例的回顾审计显示，这些产物为跨阶段检查提供了广泛支持：288个案例完整保留了开发理由，71.3%的案例（214个）保留了完整审计字段集，连接选定阶段。保留的记录进一步支持了跨阶段对应性的系统性测量：目标符号出现在62.6%的开发理由和62.8%的补丁中，当包含相关符号时，比例升至75.8%。在一对100个案例的对比中，关系型工作流解决了19个案例，而直接相同输入条件仅解决9个；由于两种条件在分析器输出、图导出的摘要和判断记录上也存在差异，我们将其视为初步的工作流层面证据，而非图组件因果效应。总体而言，这些结果表明THEMIS使原本隐性的需求到修复转换变得可观察，从而支持对修复决策在各阶段的持续性、一致性与演进过程进行系统性考察。