#智能体授权

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

论文形式化分布式多智能体委托中的容错预算守恒问题，用独占托管信用在委托 DAG 中传递量化资源向量，并通过签名调度许可与网关验证防止超支。作者证明所有权划分、账本与效果守恒、至多一次结算等性质，并用 TLA+ 检查与崩溃注入实验验证机制。