Explanation-Bound Tool Execution for AI Agents: Server-Verified Action Claims Without Trusting Model Rationales

EBTE 将解释文本转换为类型化行动声明，由参考监视器把声明和服务器持有的意图、策略、工具、风险、来源、新鲜度事实对齐；冲突拒绝，缺失信息转人工审查，声明不能扩大基线权限。profile 在 136 个一致性场景、96 个硬冲突和 232 个变形检查中全部符合预期，草稿集成挡住 48/48 个硬案例。作者也限定了证据范围：这些是 profile 的一致性结果，不是解释忠实性、攻击覆盖或生产安全证明。