论文提出C0-C5契约检测Agent撤销未生效边界

Lifei Liu、Haoran Yu、Danping Zhang 在 arXiv 发布论文（2610.15991），提出 C0-C5 有界结果契约，用持久监控器判断分布式 Agent-Tool 网关在撤销授权后是否真正阻止受保护效果，覆盖从签发方提交到效果阻止的全过程。 主实验基于维护中的 Keycloak 26.6 身份服务器，在两个持久接收端、八个物理 Agent-Tool 网关、Filesystem 与 PostgreSQL 两种效果、三个可用区的 16 台 AWS 主机上测量契约，另一次独立部署复现了结果。摘要实验显示，正常投递和恢复路径未产生效果；但在接收端选择性不投递时，225 次调用中有 112 次被放行且效果均提交。 作者还在更窄的测试面上用 OPA/Toxiproxy 和带联网 MCP 工具的三角色 LLM 工作流（含 MCPMark Agent）复现了"持久化但未执行"的边界，即撤销已持久化但受保护效果仍被执行。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。