CapLease：以持久授权状态防止Agent重试中的重复执行

使用工具的大语言模型代理频繁地重计划、重试失败的操作、委托任务和在崩溃后恢复。这些行为可以导致一个用户授权在新颁发的令牌标识符下被请求和执行多次，即使每个单独的令牌都是单次使用的。我们称之为失败语义重放：超越令牌独立授权实例的执行预算，而不是仅仅重用旧的令牌标识符。我们展示了令牌本地消费无法阻止新授权的重发，除非授权者保留持续的可逆状态，即确认事件和剩余的执行预算。我们引入了CapLease，这是一个授权-消费层，遵循提案-和授权级别防御，绑定一个认证用户确认到一个标准操作，并强制执行事务性的Issue-Prepare-Commit过渡。在LLM代理重计划、重试、委托、并发、确认重放和崩溃恢复场景下，令牌本地令牌允许新语义的重发，而CapLease和一个同样状态化的服务器账本阻止重复的接纳和，通过一个幂等的汇点，重复的外部效果。我们的结果表明，持久的授权状态，而不是令牌表示，是系统要求的防止重放的代理执行。