ToolContractGate：版本化可信合约防Agent工具漂移

该论文提出 ToolContractGate，一种基于 OpenAPI 派生工具的确定性运行时合约评估器，旨在解决 Agent 工具批准和输入验证无法将请求绑定到已批准源工件的问题。系统通过结合存储的 OpenAPI 指纹与访问、模式及行为声明构建版本化工具合约，并执行十项检查以确保调用安全。 在包含 45 个案例的合成基准测试中（涵盖 12 种漂移类的 35 个不安全案例和 10 个安全案例），完整管道检测到了全部 35 个故障，决策分布为 29 次 BLOCK、3 次 REVIEW 和 3 次 WARN，且在安全案例上未出现误报。实测数据显示，归档运行的平均门控延迟为 0.18 毫秒，95 百分位延迟为 2 毫秒。开源 artifact 包含七个 OpenAPI 规范、十二个企业合约、29 个单元测试及 900 条评估记录。 事实层面，该系统已在特定基准下验证了检测能力与低延迟特性；推断层面，下游强制实施需要宿主系统尊重返回的决策结果；猜测层面，生产流量、语义后端漂移及动态来源刷新仍属于待评估与集成的机会。该成果已被 2026 年计算机与应用国际会议（ICCA）录用。