arXiv cs.AI· Lifei Liu, Haoran Yu, Danping Zhang·· 3 天前AI 评分22
分布式智能体工具网关的撤销完成判定：C0-C5 可执行结果契约
Revocation Is Not Complete at Receipt: An Executable Outcome Contract for Distributed Agent-Tool Gateways
AI 导读
论文提出 C0-C5 有界结果契约，用于判定分布式智能体工具网关的撤销是否真正完成，并以持久化监控在冻结网关集上实现。在 Keycloak 26.7、8 个物理网关、Filesystem 与 PostgreSQL 效果及 16 台 AWS 主机的实验中，接收端选择性不投递时传输确认与接收端持久化仍成功，但 225 次调用中 112 次（49.78%）被放行且效果全部提交。
正文 · AI 翻译
摘要：分布式智能体工作流在工具网关处缓存委托权限。撤销可能在签发者提交、传输确认或接收者持久化时被报告，然而这些观察均无法确立所有网关都已执行该变更，或受保护的效果已停止。我们定义 C0-C5，一个跨越从签发者提交到效果阻止的有界结果契约，并将其实现为在冻结的网关集、调用集和观察窗口上的持久监控器。一个包含 14 个案例的故障矩阵检验了保守分类、粘性违规、重启持久性和证据不可变性。在对其八个语义案例的派生审计中，将 C3 或 C4 视为完成分别产生七个或五个假阳性；而有界的 C0-C5 判定不产生任何假阳性。描述性扩展覆盖 1,024 个网关和 10,000 个效果向量。主要实验使用维护中的 Keycloak 26.7 身份服务器，并在两个持久接收者、八个物理智能体-工具网关、Filesystem 和 PostgreSQL 效果以及三个可用区中的 16 台 AWS 主机上测量该契约。正常投递和恢复不提交任何效果。在接收者选择性不投递下，传输确认和接收者持久化仍然成功，但 225 次调用中有 112 次（49.78%）被准入，且所有 112 个效果在每个处理块中均被提交。单独配置的执行重复了该结果。OPA/Toxiproxy 以及一个带有网络化 MCP 工具的实时三角色 LLM 工作流在更窄的表面上复现了已持久化但未执行的边界。最后，一个未经修改的外部 MCPMark 智能体执行了 60 个闭环任务臂。正常 C4 拒绝所有 31 次暴露的屏障后调用，且不提交任何效果；选择性 C3 允许 344 次调用，并在 Filesystem 和 PostgreSQL 上提交 145 个效果。因此，传输成功是进展的证据，而非撤销完成的判定。
| 主题： | 人工智能（cs.AI）；密码学与安全（cs.CR） |
| 引用为： | arXiv:2610.15991 [cs.AI] |
| （或 arXiv:2610.15991v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.15991 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Lifei Liu [查看电子邮件]
[v1]
2026年10月11日星期日 23:41:18 UTC（137 KB）
来源：arXiv cs.AI · arxiv.org