自主编码代理的保证信封：软件变更的最低成本证据

当编码代理返回到现有软件时，它会继承早期工程工作的证据：测试、类型检查、证明、静态分析和跟踪。重新加载所有内容是浪费的，但是删除更改所依赖的部分可能会使所需的属性不受支持。考虑到变更必须保留的属性及其义务，我们询问可用证据中哪个成本最低的子集可以重新建立它们，我们将这样的子集称为任务条件保证信封。证据和组合它的规则形成类型化的推理图；当来自选定证据的前向链接到达某个义务时，就满足了义务，并且我们通过该闭包而不是通过信任优化器来验证每个选择。我们评估中的软件派生图表来自先前人工智能编码代理运行的保留结果；我们冻结这些文物，并询问应该恢复哪些积累的证据以供以后的任务使用。 Rust、IronBlocks 和 Pong 结果的小图表明，最小信封取决于任务，当当前证据无法重新建立所需的属性时，可能不存在任何信封，某些属性需要多个证据在一起，并且扩展要求会添加证据而不是替换它。预先指定的 249 个实例的综合基准表征了计算：丢弃“几个部分组合在一起”结构的基准必然无法重新推导它们；每一次完成的精确交叉检查都与 CP-SAT 优化器一致；在 500 个证据图上，中值求解时间保持在 20 毫秒以下，但每个目标具有许多替代推导的图在小得多的尺寸下会超时，因此结构而不是原始尺寸会增加难度。贡献是已建立的优化的有限应用，以选择软件变更的保证上下文；发现义务和下游代理利益仍然开放。