论文

声明平面:并行 编码智能体 的可执行变更意图和动态范围

Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents

智能体系统Agent 动作执行与治理

摘要

并行 编码智能体 可以独立生成本地有效的更改,同时仍然会干扰集成时间、超出计划范围或依赖于因并发工作而失效的前提。现有的响应强调沟通、隔离的工作空间、后期合并时修复、持续监督或事后运行时恢复。本文提出了索赔平面,这是一种与模型无关的协调架构,它将并发软件变更视为预写准入问题。在实现之前,每个工作人员都会声明一个版本化的 ChangeIntent,其中包含精确的基本提交、类型化资源、依赖项以及标记为已提交或有条件的操作。确定性控制平面以原子方式承认兼容意图,将同一文件并行性限制到声明的区域,序列化未解决的重叠,跟踪依赖项失效,并在权限不明确时关闭失败。在执行期间,偶然突变最初并不保留写入所有权;第一次尝试的突变会触发当前活动集的原子范围提升和重新准入。代理执行将功能与意图版本、租约、操作系统级工作树锁、单调防护词元和 Git 树来源绑定,而集成则验证不可变的补丁和证据。初步的六对 CooperBench 机制检查仅作为可行性证据进行报告:静态声明平面在完全序列化的情况下实现了 6/6 对通过,而动态范围保留了一半对的并行准入,执行了七次成功的范围提升,并在两个未声明的突变上失败了。样本故意太小,无法进行比较。我们认为,将概率规划与确定性权威分开,为未来学习语义依赖模型和仅在未解决的情况下进行前沿模型升级奠定了基础。