Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change

Assurance envelope 把代码变更表示为带类型的推理图，根据变更属性选择满足义务的最低成本证据集合；Rust、IronBlocks 和 Pong 原型用 CP-SAT 精确求解器交叉核对。249 个合成实例中，除备选证据组合极多的情况外，500 条证据规模的中位求解时间低于 20 ms，三套实现结论一致。论文把“需要多少测试才够”转成可计算的证据选择问题，不过义务发现和真实仓库中的开放世界事实仍未完全解决。