AID-Guard：用于委托代理效应的有状态授权

使用工具的 AI 代理会将委托任务转化为提供方效应，但授权往往止步于准入，而提供方状态、交付、重试和恢复仍在演化。请求可能在提交前发生变化，或者响应丢失可能导致替代请求从一次批准中产生第二个效应。我们提出 AID-Guard，一种有状态的授权到效应闭合协议。它会在提交时重新验证已批准的请求和提供方状态，在存在歧义时保留一个预留，并且只有在出现终止结果或带有交付栅栏的经认证无效应之后，才允许释放或一个后继。对于受支持的提供方契约，一个预留在重试和恢复过程中最多产生一个效应。据我们所知，这是首个经过评估的代理授权协议，将这些控制统一到一个生命周期中。 我们实现了一个 Python/SQLite 原型。在声明的回环 MCP 域中，13 次实时变更未造成任何未授权的提供方效应，三个并发历史是可线性化的，并且证据包支持公开验证和重放。全部 210 次 Stripe 提供方契约试验均与预先声明的结果一致。在 Stripe 和 Resend 上，40 个终止化后继调度、30 个重叠竞争以及 10 个崩溃恢复调度均在没有重复效应的情况下完成。在提议者完全被攻陷的情况下，AID-Guard 阻止了 44/44 次攻击，并接纳了 44/44 个匹配的合法提议。其严格的精确清单配置使良性效用降低了 35.4 到 43.8 个百分点；类型化前沿在未观察到不安全效应的情况下恢复了 9–10 次完成。组合研究阻止了 20/20 次准入后生命周期攻击，并保留了 8/8 次有效或精确重试执行。结果支持在所评估的效应路径清单、提供方契约和故障调度下进行授权到效应绑定。