Verified Tool Calls Improve LLM Agent Reliability Under Non-Atomic Failures

论文针对超时、延迟可见和部分写入这类“调用可能已生效、响应却不确定”的故障，在工具层加入后置条件、重试前验证和幂等语义。受控故障注入表明，该协议在保持相近任务成功率的同时显著减少重复副作用。它把可靠性责任从代理的猜测式重试下沉为可检查的调用契约，适合支付、消息发送和资源创建等不可随意重放的动作。