分布式智能体工具网关的撤销未在接收时完成：一份可执行的结果契约

研究提出 C0-C5 有界结果契约，用于判定分布式智能体工具网关的撤销是否真正阻止了受保护效果，并实现为持久化监控器。在 Keycloak 26.7、8 个物理网关、Filesystem 与 PostgreSQL 效果及 16 台 AWS 主机的实验中，接收端选择性不投递时传输确认与接收端持久化仍成功，但 225 次调用中 112 次（49.78%）被放行且全部提交效果。