分布式多智能体委托中的容错预算守恒

该研究针对分布式多智能体委托形式化了容错预算守恒机制，防止在消息丢失、超时或分支分区时发生预算超支。该机制将预算建模为在委托 DAG 中流转的独占托管信用，在派发前转为绑定世系与幂等键的操作预留并经网关验证许可。经有界 TLA+ 检验和崩溃注入的 SQLite 实验验证，系统在崩溃、重试及分区等调度下均维持了预算上限。