Autonomous agents negotiate, purchase, deploy code, and move funds, but no neutral mechanism determines whether they met their delegated obligation, who is responsible when they did not, or which settlement action follows. This is the agentic clearing problem. Tool protocols (MCP), inter-agent communication (A2A), payment rails (x402), mandate and network agent protocols (AP2, Visa, Mastercard), and settlement-risk standards each assume that determination and none produce it. Clearing is the missing primitive. Payment is not clearing. Authorization is not clearing. LLM-as-judge evaluation is not clearing. Settlement-risk escrow is not clearing: it consumes clearing decisions. RAILS (Real-Time Agent Integrity & Ledger Settlement) is the integrity and clearing layer for agentic commerce, spanning a per-output reliability score, a published reliability record, and a clearing function that consumes them. The clearing protocol at its core closes that gap. Seven primitives (Obligation Object, Evidence Envelope, Verification Mesh, Clearing Decision, Settlement Instruction, Clearing Passport, Finality Rules), bound by a formal model of admissibility-graded verification, together yield a soundness property: no financially material settlement is supported by evidence below the obligation's admissibility floor. The property is falsifiable against the spec. We are not aware of a prior agent-commerce verification mechanism that states a property of this kind. The approaches nearest to it emit a pass, a delivery guarantee, a bare score, or an equilibrium. This paper specifies that clearing protocol.


翻译:自主代理进行谈判、购买、部署代码和转移资金,但缺乏一种中立机制来确定它们是否履行了委托义务、在未履行时谁应承担责任、或后续应执行何种结算行动。这就是代理清算问题。工具协议(MCP)、代理间通信(A2A)、支付轨道(x402)、委托与网络代理协议(AP2、Visa、Mastercard)以及结算风险标准均假设存在这种判定,而实际上无一能产生它。清算正是缺失的基元。支付不是清算。授权不是清算。将LLM作为评判者的评估不是清算。结算风险托管不是清算:它消耗清算决策。RAILS(实时代理完整性与账本结算)是面向代理型商业的完整性与清算层,涵盖每个输出的可靠性评分、已发布的可靠性记录,以及消耗它们的清算函数。其核心的清算协议填补了这一空白。七个基元(义务对象、证据封套、验证网格、清算决策、结算指令、清算护照、终局性规则),由形式化模型(可采纳性分级验证)约束,共同产生一个可靠性属性:没有任何关键财务结算得到低于义务可采纳性下限的证据支持。该属性可通过规范进行证伪。据我们所知,此前没有代理商业验证机制能声明此类属性。最接近的方法要么输出“通过”,要么提供交付保证、简单评分或平衡态。本文对该清算协议进行了详细说明。

0
下载
关闭预览

相关内容

以盈利为导向的组织,在法律框架下向社会提供商品和服务进而在自愿前提下进行的交易行为被称之商业
《软件定义网络元素与机器代码的形式化验证》
专知会员服务
14+阅读 · 2025年11月18日
一种Agent自主性风险评估框架 | 最新文献
专知会员服务
24+阅读 · 2025年10月24日
《“边缘计算+”技术白皮书》,82页pdf
专知
11+阅读 · 2022年8月28日
OpenNRE 2.0:可一键运行的开源关系抽取工具包
PaperWeekly
22+阅读 · 2019年10月30日
【数据中台】什么是数据中台?
产业智能官
18+阅读 · 2019年7月30日
React Native 分包哪家强?看这文就够了!
程序人生
13+阅读 · 2019年1月16日
NetworkMiner - 网络取证分析工具
黑白之道
16+阅读 · 2018年6月29日
【干货】深入理解自编码器(附代码实现)
边缘计算:万物互联时代新型计算模型
计算机研究与发展
15+阅读 · 2017年5月19日
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
Arxiv
0+阅读 · 5月24日
VIP会员
最新内容
学习数据的几何:形状空间分析数学综述
专知会员服务
7+阅读 · 6月17日
定向能反无人机系统最新发展动态
专知会员服务
8+阅读 · 6月17日
从燃煤战舰到算法战争:水面指挥的永恒要求
专知会员服务
6+阅读 · 6月17日
相关资讯
《“边缘计算+”技术白皮书》,82页pdf
专知
11+阅读 · 2022年8月28日
OpenNRE 2.0:可一键运行的开源关系抽取工具包
PaperWeekly
22+阅读 · 2019年10月30日
【数据中台】什么是数据中台?
产业智能官
18+阅读 · 2019年7月30日
React Native 分包哪家强?看这文就够了!
程序人生
13+阅读 · 2019年1月16日
NetworkMiner - 网络取证分析工具
黑白之道
16+阅读 · 2018年6月29日
【干货】深入理解自编码器(附代码实现)
边缘计算:万物互联时代新型计算模型
计算机研究与发展
15+阅读 · 2017年5月19日
相关基金
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员