论文

分布式多Agent委派中的容错预算保护

Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegation

智能体系统Agent HarnessAgent Runtime

摘要

资源限制正在成为人工智能Agent的授权边界,这些Agent将工作委托给并发和容易失败的工作人员。父子分配约束、仿射对象和分布式托管本身并不能防止答复丢失、超时后效果完成、消息重复、分支分区或 DAG 连接别名一世系时的超支。我们将分布式多Agent委托的容错预算保护形式化。预算是量化的资源向量,由通过委托 DAG 移动的专有托管信用表示。在调度之前,分支将信用转换为与沿袭、纪元、规范化效果、最大费用、接收者和幂等密钥绑定的操作预留。持有已签署并带有检疫的派遣许可证;网关在首次接受之前验证该许可。不确定的影响仍然会被收取,直到经过身份验证的结算、受保护的权威无影响证明或永久退休。我们证明了所有权分区、账本和效果保存、后代非放大、至多一次结算、后期完成安全性以及在显式调解、持久性、身份验证、标准化和网关假设下的分区限制。不可区分性结果表明分区本地可用性需要独占预分配。有界 TLA+ 检查、独立的 JavaScript 浏览器和崩溃注入的双进程 SQLite 实验执行声明的范围并检测超时退款和历史证书验证突变体。该机制在评估的崩溃、重试、复制、分区、连接和延迟完成计划中保留已发布的预算范围。