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

该研究形式化定义了分布式多智能体委托场景下的容错预算守恒机制，通过独占托管信用和带隔离的签名调度许可防止超支。机制在超时、消息重复、分区及延迟完成等故障下，经 TLA+ 检查与 SQLite 实验验证，能确保预算边界、所有权分割及至多一次结算。