arXiv cs.AI· Lifei Liu, Haoran Yu, Danping Zhang·· 8 小时前AI 评分22
分布式 Agent 工具网关的撤销契约：C0-C5 可执行结果契约
Revocation Is Not Complete at Receipt: An Executable Outcome Contract for Distributed Agent-Tool Gateways
AI 导读
研究提出 C0-C5 有界结果契约，用于判定分布式 Agent 工具网关的撤销是否真正完成，并在 Keycloak 26.7、8 个物理网关、Filesystem 与 PostgreSQL 效果及 16 台 AWS 主机上验证。
来源：arXiv cs.AI · arxiv.org