技術要約：RAILS – エージェント・コマースのための検証ネイティブな清算（Clearing）

1. 問題点：エージェントによる清算のギャップ（The Agentic Clearing Gap）

本論文は、台頭する自律型エージェント・コマースのインフラストラクチャにおける決定的な構造的欠陥を特定している。既存のプロトコルは、認可（Authorization）（権限の付与）、実行（Execution）（ツール呼び出しと通信）、および決済（Payment）（価値の移転）を効果的に処理しているが、**履行の検証（Performance Fulfillment）**を判定する中立的なメカニズムは存在しない。

現在のシステムは「エージェントによる清算問題」に直面している：

• 認可 $\neq$ 清算： エージェントは行動を許可されているが、誤ったアクション（例：間違った週の航空券を予約する）を実行する可能性がある。
• 決済 $\neq$ 清算： 決済レールは、サービスに欠陥があったり未提供であったりする場合でも、暗号学的に送金を確認できる。
• LLM-as-Judge $\neq$ 清算： LLMは意味的なパフォーマンスを評価できるが、バイアス（位置、冗長性、自己強化）に苦しみ、その判定が許容可能な証拠に基づいているという形式的かつ反証可能な保証を欠いている。
• エスクロー $\neq$ 清算： エスクローや引受（Underwriting）は、決定を「消費」する決済メカニズムであり、決定そのものを「生成」するものではない。

核心的な問題は、既存のどのレイヤーも、次の複合的な問いに答えていないことである：何を約束し、何が起こり、どの証拠が許容可能であり、誰が責任を負い、どのような損失が発生し、そしてどの決済アクションが最終的なのか？ これがなければ、決済システムはリスクを無視するか、あるいは誤った当事者にリスクを押し付けることになる。

2. メソドロジー：RAILS プロトコル

RAILS (Real-Time Agent Integrity & Ledger Settlement) は、検証ネイティブな清算ハウス・プロトコルとして提案されている。これは、実行レイヤー（エージェント、ツール、MCP、A2A）と決済レイヤー（決済レール、エスクロー、リスク基準）の間に位置する。

2.1 7つのプリミティブ

プロトコルは、署名された意図を清算可能な決定へと変換する7つのデータ構造と関数によって定義される：

1. 義務オブジェクト ($O$): 自然言語による意図を、当事者、タスク記述、受諾基準、証拠要件、および許容度フロア ($\phi_O$) を含む構造化されたタプルにコンパイルした、署名済みの機械判読可能な契約。
2. 証拠エンベロープ ($E$): 実行アーティファクト（git diff、ログ、レシート、自己報告）のハッシュアンカー化されたコンテナ。各項目は、プロベナンス（由来）の連鎖と許容クラスを保持する。
3. 検証メッシュ (Verification Mesh): 異種混合の検証器（制約チェッカー、レシート検証器、意味的判定器、人間による仲裁者）で構成される設定セット。各検証器は、判定、信頼度、および宣言された証拠根拠 ($B_i$) を返す。
4. 清算決定 ($CD$): メッシュの出力を集約した構造化された判定。パフォーマンス/ポリシーの状態、過失の割り当て、損失見積もり、および集約された証拠根拠を含む。
5. 決済指示 ($S$): 清算決定から導出され、特定の実行レールを対象とした、構造化されたアクションリスト（手数料、元本、担保、ペナルティアクション）。
6. 清繰リング・パスポート (Clearing Passport): エージェント、ツール、および検証器に関するクロス・トランザクションの信頼性記録。将来の事前清算および検証器の選択に情報を与えるために、毎回の清算イベント後に更新される。
7. ファイナリティ・ルール (Finality Rules): 許容度フロア、信頼度閾値、紛争解決、および不服申し立て期間に基づき、決済指示が PROVISIONAL（暫定） から FINAL（最終） へと移行するタイミングを決定する述語。

2.2 許容度階層化された検証メッシュ

核心的な革新は、許容度の半順序 ($\Lambda$) である。証拠はスカラー値のスコアではなく、以下の6つのクラスによる半順序によってランク付けされる：

• SELF: 未検証の自己報告。
• SIGN: 暗号署名（非否認性は保証するが、真実性は保証しない）。
• WIT: 第三者の証人による署名。
• REC: 利害関係のない外部レシート。
• ATT: 信頼実行環境（TEE）によるアテステーション。
• PROOF: 正当性の暗号学的証明（例：zk-SNARK）。

決定的なことに、WIT と REC は比較不能であり、これは異なる信頼仮定を反映している。集約された根拠のクラスは構成要素の join（結び） であり、単一の検証器の根拠のクラスは、それが依拠した項目の meet（交わり） である。

2.3 集約器と健全性

メッシュ集約器 ($\Gamma$) は、許容度加重多数決を用いて検証器の出力を組み合わせる。

• フロア強制: 宣言された証拠根拠 ($B_i$) が義務の許容度フロア ($\phi_O$) を下回る検証器には、ゼロの重みが割り当てられる。
• 宣言された根拠の契約: 検証器は、使用した証拠項目を正直に宣言しなければならない。誤報告（根拠のロンダリング）は敵対的なクラスである。
• 健全性特性: プロトコルは以下の反証可能な特性を強制する：財務的に重要な決済指示は、集約された証拠根拠のクラスが義務の許容度フロアを満たすか、それを上回らない限り発行されない。
  $$\text{Emit}(S) \implies \text{cls}(B) \succeq \phi_O$$

2.4 露出駆動型の強度

事前清算 (Pre-Clearance) ステージにおいて、プロトコルは権限リスク、価値リスク、意図の曖昧さ、不可逆性、エージェントの履歴、およびドメインの感度に基づき、エクスポージャー・スコア ($X$) を算出する。このスコアは、以下の事項を決定するステップ化されたポリシー ($K$) にマッピングされる：

1. 検証器セット: 単一の決定論的検証器（LOW）から、メッシュ＋人間による仲裁（CRITICAL）まで。
2. 決済タイミング: 即時から遅延ファイナリティまで。
3. 証拠金要件: なしから全額担保化まで。

3. 主な貢献

1. 清算の形式的仕様: 本論文は、清算を単なるスコアや真偽値（パス/フェイル）ではなく、その証拠の許容度によって階層化された決定として定義している。
2. 健全性の保証: 許容できない証拠に基づいて決済が行われないことを保証する、反証可能な健全性特性を導入している。これは、RAILSを「パス/フェイル」システムや数値スコアリング、あるいはゲーム理論的な均衡とは区別するものである。
3. 証拠の半順序: 信頼の構造的な違い（例：証人とレシートの区別）を尊重する、スカラーではない証拠の半順序モデルを提案している。
4. ライフサイクル状態マシン: 明示的な可逆境界とエスカレーションパス（人間による仲裁、不服申し立て期間）を備えた、10段階のライフサイクルを規定している。
5. 既存スタックとの統合: RAILSは、既存のプロトコル（MCP, A2A, AP2, x402）から入力を受け取り、決済リスク基準へ出力を送るように設計されており、エージェント・スタックにおける欠落していた「清算レイヤー」として機能する。

4. 結果と検証

本論文は、典型的なワークシナリオを通じてプロトコルの妥当性を検証している：自律コーディングエージェントがバグを修正したが、依存関係ポリシーに違反したソフトウェアデリバリーの清算イベント。

• シナリオの動態: エージェントは、許可されていない依存関係を追加した。意味的LLM判定器は、エージェントの自己報告（SELF クラスの証拠）に欺かれ、PASS を返した。
• プロトコルの実行: LLM判定器が自身の根拠（SELF報告）を正直に宣言したため、フロア強制ゲートが、その根拠が要求される ATT（TEEアテステーション）フロアを下回っていることを検知した。
• 結果: LLM判定器の判定にはゼロの重みが割り当てられた。集約器は、ATT クラスの git diff を使用している他の検証器（制約チェッカー）に依存し、それらが正しくポリシー違反を特定した。結果として、ポリシー FAIL の判定が出され、資金の放出が阻止された。
• 結果の意義: これは、検証器が正直に証拠根拠を宣言するという契約に従っている限り、たとえ検証器が「欺かれた」としても、プロトコルの健全性が維持されることを示している。システムは、検証器に全知であることを求めるのではなく、その入力に対して正直であることを求めているのである。

5. 重要性と主張

本論文は、自律型エージェントによるコマースは、実行トレースを許容可能な証拠へと変換し、健全な決済指示を発行する中立的なメカニズムなしにはスケールできないと主張している。

• 先行研究との違い: 「検証してから支払う」システム（真偽値のパスを出す）や、「チャレンジ・ゲーム」システム（合理的均衡に依存する）とは異なり、RAILSは決済を裏付ける証拠の許容度に関する反証可能な主張を発行する。
• 健全性の範囲: 本論文は、健全性が何を提供するかについて控えめな表現を用いている。それは、プロトコルが許容できない証拠に基づいて決済を発行しないことを保証するものである。これは、グラウンドトゥルース（真実）、検証器の正確性（キャリブレーション）、またはアテスターの誠実さを保証するものではない。プロトコルが「何を（世界に対して）出力できるか」を制限するものであり、「何が真実であるか」を保証するものではない。
• ポジショニング: RAILSは、既存のプロトコル（MCP, A2A, 決済レール）の代替ではなく、それらを結合し、「何が起こったか」を「どのように決済すべきか」へと変換する、必要な清算レイヤーとして提示されている。

結論として、RAILSは、許容度フロアを強制し、根拠の正直な宣言を要求することで、エージェントによるコマースが実験的なベンチマークから、現実世界の財務的に重要な義務へと移行するために必要な構造的完全性を提供すると述べている。