RAILS：面向智能体商务的验证原生清算

自治代理进行谈判、购买、部署代码和转移资金，但没有中立机制确定他们是否履行了委托义务、未履行义务时由谁负责，或者采取何种结算行动。这就是代理清算问题。工具协议（MCP）、代理间通信（A2A）、支付轨道（x402）、授权和网络代理协议（AP2、Visa、Mastercard）以及结算风险标准均假设有决心，但没有一个标准能产生这种决心。清除是缺失的原语。付款不结算。授权未清除。 LLM法官评估未明确。结算风险托管不是清算：它消耗清算决策。 RAILS（实时代理完整性和账本结算）是代理商务的完整性和清算层，涵盖每个输出的可靠性评分、已发布的可靠性记录以及使用它们的清算功能。清算协议的核心弥补了这一差距。七个原语（义务对象、证据信封、验证网格、清算决策、结算指令、清算护照、最终规则），受可受理性分级验证的正式模型的约束，共同产生健全性属性：低于义务可受理性底线的证据不会支持财务上重大的结算。该属性可以根据规范进行伪造。我们不知道先前的代理商务验证机制声明了这种属性。最接近它的方法会发出通过、交付保证、裸分数或平衡。本文详细说明了该清算协议。