論文の概要: RAILS: Verification-Native Clearing For Agentic Commerce
- arxiv url: http://arxiv.org/abs/2606.08790v1
- Date: Sun, 07 Jun 2026 19:12:55 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-09 14:42:06.448992
- Title: RAILS: Verification-Native Clearing For Agentic Commerce
- Title（参考訳）: RAILS: エージェントコマースのための検証-Native Clearing
- Authors: Adrian de Valois-Franklin, Alex Bogdan,
- Abstract要約: クリア化は代理商取引の欠落した原始的存在である。
RAILSはエージェントコマースの整合性とクリア化レイヤであり、アウトプット毎の信頼性スコア、発行された信頼性記録、それらを消費するクリア化機能にまたがる。
7つのプリミティブが健全性特性を産み出す: 財政的に物質的解決は、義務の許容レベル以下の証拠によって支持されない。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: 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.
- Abstract（参考訳）: 自律的なエージェントは、交渉、購入、コードのデプロイ、資金の移動を行うが、中立的なメカニズムは、彼らが委任された義務を満たしているかどうか、不履行時に責任を負っているか、どの和解行動が続くかを判断しない。
これはエージェントクリーニングの問題です。
ツールプロトコル(MCP)、エージェント間通信(A2A)、支払いレール(x402)、管理者およびネットワークエージェントプロトコル(AP2、Visa、Mastercard)、決済リスク標準はそれぞれ決定を前提としており、それを生成していない。
クリアは欠落したプリミティブです。
支払いは明記されていない。
認可は明確ではない。
LLM-as-judgeの評価は明確ではない。
決済リスクのエスクローは明確ではありません。
RAILS(Real-Time Agent Integrity & Ledger Settlement)は、エージェントコマースの完全性とクリア化レイヤであり、アウトプット毎の信頼性スコア、発行された信頼性レコード、それらを消費するクリア化機能にまたがる。
その中核にあるクリアリングプロトコルは、そのギャップを埋めます。
7つのプリミティブ(Obligation Object, Evidence Envelope, Verification Mesh, Clearing Decision, Settlement Instruction, Clearing Passport, Finality Rules)は、許容度グレード検証の正式なモデルによって拘束され、健全性を持つ。
その性質は仕様に反する。
我々は、この種の特性を記述した以前のエージェントコマース検証メカニズムを知らない。
最寄りのアプローチは、パス、デリバリ保証、ベアスコア、あるいは均衡を出力する。
本稿では,そのクリアリングプロトコルについて述べる。
関連論文リスト
- TAPO: Tool-Aware Policy Optimization via Credit Transfer for Multimodal Search Agents [54.08846865906602]
ツール強化マルチモーダルサーチエージェントにおいて,クレジットミス割り当てをGRPOの系統的障害モードとして特徴付ける。
本稿では,情報取得ツールのパラメータ決定性を利用したツール・アウェア・ポリシー・オプティマイズ(TAPO)を提案する。
論文 参考訳（メタデータ） (2026-06-04T07:15:43Z) - Securing LLM Agents Need Intent-to-Execution Integrity [49.490963596514185]
我々は, LLMエージェントの確保には, エージェントの実行がユーザの意図を忠実に反映した場合に規定するエンドツーエンドの正当性を定義する必要があると主張している。
LLMエージェントはコンパイラと構造的に類似しており、セキュリティ違反はユーザ意図を保存しない誤った実行に対応する。
emphTool整合性、emph命令整合性、emphJudgment整合性、emphData整合性。
論文 参考訳（メタデータ） (2026-05-16T12:53:31Z) - PRISM: : Planning and Reasoning with Intent in Simulated Embodied Environments [59.07829883257003]
5つの集合住宅の上に建設され、PRISMは300の人間認証タスクを3つの能力レベルに構成する。
PRISMはエージェントに依存しない実行可能なアクションAPIを公開し、任意のエージェントをエンドツーエンドで評価できるようにする。
論文 参考訳（メタデータ） (2026-05-12T04:59:47Z) - IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。
IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
論文 参考訳（メタデータ） (2026-04-22T03:03:33Z) - MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation [1.7429038786735553]
MEV(Maximal Extractable Value)は、ブロックチェーンの公正性に対する構造的な脅威である。
本稿では,MEV の順序制御のための公平な順序付けプロトコル MEV ACE を提案する。
プロトコルはシングルスロットのままであり、しきい値復号化委員会を必要とせず、ML DSA 44のようなポスト量子署名スキームと互換性がある。
論文 参考訳（メタデータ） (2026-04-08T20:12:06Z) - TessPay: Verify-then-Pay Infrastructure for Trusted Agentic Commerce [0.0]
TessPayは、暗黙の信頼を'Verify-then-Pay'アーキテクチャに置き換える統合インフラストラクチャである。
実行中、エージェントがタスクを実行している間に資金がロックされ、PoTE(Proof of Task Execution)をサポートするための暗号証拠が生成される。
和解後、TessPayは、紛争解決の明確な説明責任を実現するために、未解決の監査証跡を保存している。
論文 参考訳（メタデータ） (2026-01-30T15:18:39Z) - SmartSnap: Proactive Evidence Seeking for Self-Verifying Agents [45.71333459905404]
SmartSnapは、受動的でポストホックな検証から、エージェント自身による積極的な自己検証へのパラダイムシフトである。
両ミッションで設計された新しいタイプのエージェントである「自己検証エージェント」を導入し、タスクを完了し、検証された証拠でその達成を証明した。
モデルファミリとスケールにわたるモバイルタスクの実験は、SmartSnapパラダイムによって、スケーラブルなLLM駆動エージェントのトレーニングが可能になることを実証しています。
論文 参考訳（メタデータ） (2025-12-26T14:51:39Z) - Operator: A Protocol for Trustless Verification Under Uncertainty [0.0]
検証ゲームにおいて,コラテラライズされたクレームによる正当性を強制するプロトコルを提案する。
タスクは意図として公開され、解決者はそれらを満たすために競います。
どんな挑戦者でも、検証プロセスのトリガーとして挑戦することで結果に挑戦することができる。
不正なエージェントがスラッシュされ、正しい反対が報われ、誤検証自体を罰するエスカレーションパスが設けられる。
論文 参考訳（メタデータ） (2025-07-01T10:22:35Z) - Formalizing the Problem of Side Effect Regularization [81.97441214404247]
本稿では,補助ゲームフレームワークを用いたサイドエフェクト正規化のための公式な基準を提案する。
これらのゲームでは、エージェントは部分的に観測可能なマルコフ決定プロセスを解決する。
このPOMDPは、エージェントが将来的なタスクをこなす能力と、プロキシ報酬を交換することで解決されることを示す。
論文 参考訳（メタデータ） (2022-06-23T16:36:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。