論文の概要: Matoi: Selective Revalidation of Consequence Evidence for Agent Authorization
- arxiv url: http://arxiv.org/abs/2610.21394v1
- Date: Thu, 15 Oct 2026 07:13:17 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-16 19:13:16.245563
- Title: Matoi: Selective Revalidation of Consequence Evidence for Agent Authorization
- Title（参考訳）: Matoi: エージェント認証のためのコンシークエンス証拠の選択的検証
- Abstract要約: マトイは、再利用可能な結果の証拠を現在の実行権限から分離する。
2つの研究は、コスト貢献とドメイン評価を強化する。
結果は、バウンダリで監査可能な再利用および実行契約をサポートする。
- 参考スコア（独自算出の注目度）: 0.6526824510982799
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Matoi separates reusable consequence evidence from current execution authority and durable occurrence history. Its finite query-aware contract covers branches, ordered collections and negative lookups. A consumer reuses only its own checked evidence whose observations remain valid; signed requests, live grants, quota and uncertain outcomes remain separate obligations. Conditional correctness arguments distinguish locally serialized claims from nontransactional remote effects. Two studies strengthen cost attribution and domain evaluation. A 1,440-cell matched-wire study repeats 144 authored inputs. With compact input bytes identical, reuse reduces complete lifecycle cost by 3.49 percent in JS and 1.79 percent in Python. Combined representation/reuse reductions against full proof are 10.87 and 16.53 percent; five of twelve family intervals for the matched comparison cross one in each language. A prospectively frozen AgentDojo Banking mapping covers 5/16 user plans and 7/9 attack plans. Both governed strategies preserve five exact benign transfers and refuse 35 reused attack-plan/policy crosses. Pre-satisfied utility predicates are reported separately from completed work. These are original scripted synthetic tools, not autonomous agents or a real bank. Earlier studies retain cheaper protected-cache alternatives, policy-compatible phishing, provider duplication and post-claim revocation. Separate JS/Python consumers establish finite-profile interoperability within the same project; durable recovery rechecks evidence and retains uncertain reservations. The results support a bounded, auditable reuse and execution contract, not a new general incremental algorithm, arbitrary-tool closure, atomic third-party commitment or production superiority.
- Abstract（参考訳）: マトイは、再利用可能な結果の証拠を、現在の実行権限と耐久性のある発生履歴から切り離している。
その有限クエリ対応契約は、ブランチ、順序付けられたコレクション、ネガティブなルックアップをカバーしている。
消費者は、観察が有効である検査済みの証拠のみを再利用する。署名された要求、ライブの許可、クォータ、不確実な成果は別個の義務のままである。
条件付き正当性引数は、局所的シリアライズされたクレームと非作用的リモートエフェクトを区別する。
2つの研究は、コスト貢献とドメイン評価を強化する。
1,440セルのMatched-wire研究は144の著者による入力を繰り返す。
コンパクトな入力バイトが同一であれば、ライフサイクル全体のコストはJSで3.9%、Pythonで1.79パーセント削減される。
完全な証明に対する表現/再利用の削減は10.87と16.53パーセントであり、一致した比較比較のための12の家族間隔のうち5つは、各言語で1つである。
AgentDojoバンキングマッピングは,5/16ユーザプランと7/9アタックプランを対象としている。
どちらの戦略も、5つの正確な良心的移動を保持し、35の再利用可能な攻撃計画/政治クロスを拒否する。
満足度の高いユーティリティ述語は、完了した作業とは別々に報告される。
これらはオリジナルのスクリプト化された合成ツールで、自律的なエージェントや本物の銀行ではない。
初期の研究は、より安価な保護された代替品、ポリシー互換のフィッシング、プロバイダの重複、そして後払いの取り消しを維持していた。
JS/Pythonの別々のコンシューマは、同じプロジェクト内で有限のインターオペラビリティを確立する。
結果は、新しい一般的なインクリメンタルアルゴリズム、任意のツールクロージャ、アトミックなサードパーティのコミットメント、生産上の優位性ではなく、バウンダリで監査可能な再利用と実行の契約をサポートする。
関連論文リスト
- When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus [0.12062777974093623]
正当性フィードバックは、仕様完全性監査が明らかになるように設計されていることを示す。
提案手法は、4つのモデルファミリーを対象とした12のVerus/Rustタスクにおいて、一致したコール予算の下で、この目的を逆転させるものである。
論文 参考訳（メタデータ） (2026-10-14T14:43:24Z) - Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replay [0.0]
セマンティック実行ツリーに基づいたフレームワークに依存しないランタイムであるPollardを紹介します。
ステップアイデンティティは、標準入力、型、試行、親IDにコミットする。同じツリーは、完了、拒否、リソースの解決、ブランチ履歴を記録する。
Strict replayは、ラップされた操作を呼び出すことなく、認証された保存された結果を返す。
論文 参考訳（メタデータ） (2026-10-12T04:06:47Z) - Relic: From Multi-Agent Collaboration to Persistent Organizational Capability [37.80629799707573]
繰り返し発生するコラボレーションの失敗を組織所有の実行可能なプロトコルに変えるRelicを紹介します。
メンバーは目に見える仕事を反映し、ルールを提案し、採用を管理します。
新たなメンバ転送では、動作の正確性は25.4%で、継承されたプロトコルが無く、34.6%が可読性テキストと同じルールで、41.2%が実行可能バインディングである。
論文 参考訳（メタデータ） (2026-09-26T21:55:49Z) - Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution [4.805352087824778]
長時間実行されるAIエージェントは、認証、委譲されたタスク、キュー、コールバック、予約、プロバイダ側の操作を通じて、プロセスの開始を先導する。
我々は、ルートスコープによる認証クイセンスを定義し、各シンクに対して、ルートエポック原子の下でのカット関連受け入れ毎に証明書を割り当てる。
ルートスコープクイネッセンスプロトコルは、ルートカットを線形化し、古いルート拡張と保護されたシンクを束縛し、プロバイダ・フロンティア証明書を登録された古いルートパスのカットセットに構成する。
論文 参考訳（メタデータ） (2026-09-18T03:52:46Z) - From Experiments to Decisions: Reusing Evidence in Autonomous Coding Research [0.0]
我々は400タスクのNeuroGolfキャンペーンでエビデンスをどのように再利用するかを再構築する。
数値的な反例は、オーバーブロード排除を公開する。
他のエピソードでは、失敗、不完全、そして修正されたプログラムが次に行うことを正当化する。
論文 参考訳（メタデータ） (2026-09-10T03:48:31Z) - Selection-Aware Stress Testing for Interactive Agents [40.135301960368906]
SASSTは、発見タスクの事前実行機能からタスクの重み付けを学習し、別個の確認タスクで同じペア比較を評価する。
プロトコルはサポートと安定性をチェックし、計画されたすべてのクレームにジョイントバウンドを使用し、クレームを返さない。
論文 参考訳（メタデータ） (2026-08-31T14:58:04Z) - AID-Guard: Stateful Authorization for Delegated Agent Effects [0.0]
AID-Guardはステートフルな認可から効果のあるクロージャプロトコルである。
コミット時に承認された要求とプロバイダ状態を再検証し、曖昧さの下で1つの予約を保持し、端末結果の後にのみリリースまたは1つの後継を許可する。
論文 参考訳（メタデータ） (2026-08-21T14:31:29Z) - Preventing Premature Commitment in Coding Agents with an Evidence-Conditioned Execution Layer [38.62073085926841]
LLMベースのコーディングエージェントはソースコードを編集したり、変更を正当化するための十分なリポジトリ証拠を調べる前にパッチを提出する。
我々は、エビデンス条件付き実行を実行するために、エージェントとレポジトリの間を介在する実行層であるECLoopを提案する。
論文 参考訳（メタデータ） (2026-07-30T20:16:35Z) - Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair [36.56438114281786]
正しいパッチの発見と保持、検証、提出のギャップについて検討する。
我々はエビデンスバウンド型ループ契約を導出し、その機械的に強制可能なサブセットを参照実装でインスタンス化する。
論文 参考訳（メタデータ） (2026-07-27T16:05:23Z) - SNARE: Adaptive Scenario Synthesis for Eliciting Overeager Behavior in Coding Agents [40.270213696031625]
符号化エージェントは、シェル、ファイル、ネットワークアクションのシーケンスとして良質なタスクを実行する。
プロンプトは敵ではなく、実行は成功しますが、スコープ外ステップでは認証情報をリークしたり、ファイルを削除することができます。
既存のベンチマークでは、タスク補完スイートは、完了した実行を承認し、jailbreakスイートは、逆のプロンプトをプローブし、以前のオーバーイーガーベンチマークは、各エージェントモデルペアに単一の固定プロンプトを適用する。
再利用可能なスコープから良性シナリオを構成するパイプラインであるSNAREを提案する。
論文 参考訳（メタデータ） (2026-05-27T08:14:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。