发表机构
University of Hong Kong; Jiangxi Science and Technology Normal University; The Hong Kong University of Science and Technology; Shenzhen University（香港大学; 江西科技师范大学; 香港科技大学; 深圳大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
针对多智能体系统中权限信息位于工作区与记忆之外的跨基底鸿沟，提出在执行边界进行确定性权限检查，实验证明该方法能有效阻止不安全动作并保证授权操作。
AI 中文摘要
智能体系统在持久化模型可见记忆的同时修改工作区，而运行时、注册表或审批服务可能在两者之外持有权限状态。相同的最终文件可能因此要求相反的安全操作。我们将此称为跨基底权限鸿沟：与决策相关的授权信息位于规划器可见的工作区或记忆状态之外。在两个受控的迷你基准测试家族中，三项实验比较了规划器观测增强与基于真实Git谱系的执行时权限检查，并使用了持久记录的智能体执行尝试、确定性预言机以及两条模型路径。实验1是一个128单元的受控证据消融：无视权限的候选证据获得0/32的最终语义成功，而原始收据和类型化关系均获得32/32。缺失的权限事实解释了这一增益；类型化封装相对于等量原始信息未提供可观测的规划精度增益。实验2使用96次规划调用：工作区可见证据导致12/16次不安全的发布决策，而使用类型化关系的规划仍不可靠（15/32首次动作正确；11/32无效或缺失）。实验3重放了相同的32个固定模型生成的首次动作意图，且零额外模型调用；确定性执行守卫阻止了所有六个不安全意图成为实际效果，并允许所有12个有效授权的发布意图。这些结果将权限执行定位在变更边界，作为记忆治理的操作终点。
英文摘要
Stateful agents reuse artifacts after producing executions and permissions change. We formalize authority-sufficient observations and durable effects bound to execution and material identities. WTB implements this interface through runtime adapters, shared evidence, and transactional publication/recovery. Six study families separate the mechanism from its integration. Raw and typed evidence both solve 32/32 authority cases, with model-dependent planning effects. Fixed-intent enforcement blocks six unsafe proposals and executes 12 eligible authorized intents. Complete controls match WTB's capability. Paid integration yields 176/210 accepted benchmark-source stages, including 19/30 publication stages, recovery on 8/8 primary SWE repositories, and the most complete continuous trajectories on each of three source tasks. The findings connect authority information, effect admission, and infrastructure reuse in stateful agents.
Comments36 pages, 4 figures, 22 tables
