论文提出 Ledger 运行时层，把交互历史转为执行状态，提升长程编码智能体

论文提出 Ledger，一个确定性运行时层，将编码智能体的交互历史蒸馏为显式执行状态。它在模型行动前通过 inform 路径注入状态视图，在命令执行前通过 govern 路径复用有效结果并标记冗余操作。在 SWE-bench Verified 的 500 个实例上，Ledger 将 GPT-5 mini 的 Pass@1 从 56.2% 提升至 64.2%，将 MiniMax M2.5 从 75.8% 提升至 81.0%。成本分别降低 28.9% 和 31.8%；附加到 OpenAI Codex 后 Pass@1 提升 3.4 个百分点，成本降低 24.4%。消融实验显示 govern 贡献主要正确率提升，inform 贡献主要效率提升，两者结合效果最佳。