VERA：联邦AI智能体工作流中保持授权关系的边撤销

现代代理框架将规划器、工具代理、远程服务和共享专家组成运行时委托图，但它们的撤销 API 仍然类似于词元或子树失效。当一个委托被撤销时，运行时必须知道哪些代理失去了权限，而独立授权的代理继续工作。我们研究了这个权限一致性问题，并引入了 VERA（可验证边缘撤销代理），这是一种可验证者检查的撤销合约和由代理运行时适配器发出的 API 作为签名证据。在析取授权下，撤销边 e 会使 T_intent(e,G) =reach(G)\reach(G\{e}) 完全无效，即每个授权根路径都使用 e 的代理。用作合约时，该目标暴露了两个运行时故障：树级联过度撤销共享代理，而部署者范围的级联撤销跨域后代。在 LangGraph 框架中，replt 单元重复 20 次，产生 500 个编译框架跟踪和 2,000 个有效的签名委托决策； 13/25 单元包含运行时多重共享，8/25 包含跨部署者屏蔽 500/500 目标证明，保留树级联撤销的所有 320 个备用父共享代理案例，并拒绝未经授权的签名者和遗漏攻击。超过 1,9 的基线重播表明持有者/节点和树型目标无法表达此行为。我们进一步验证 A2A、AutoGen 和 CrewAI 工件的架构可移植性：九个跟踪，包括五个通过架构和签名检查的可执行 Cregned 委托事件。