論文の概要: ToolContractGate: Versioned Trusted Contracts for Drift-Safe Agent Tool Invocation
- arxiv url: http://arxiv.org/abs/2610.33108v1
- Date: Thu, 22 Oct 2026 19:01:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-27 22:27:13.246995
- Title: ToolContractGate: Versioned Trusted Contracts for Drift-Safe Agent Tool Invocation
- Title（参考訳）: ToolContractGate: Drift-Safe Agent Tool Invocationのためのバージョン管理されたTrusted Contracts
- Abstract要約: ToolContractGateは、OpenAPI由来のエージェントツールに対する決定論的ランタイムコントラクト評価を提供する。
それぞれバージョン管理されたToolContractは、格納されたOpenAPIフィンガープリントと、アクセス、スキーマ、行動宣言を組み合わせたものだ。
オープンソースアーティファクトには、7つのOpenAPI仕様、12のエンタープライズコントラクト、29のユニットテスト、900レコードの評価が含まれている。
- 参考スコア（独自算出の注目度）: 1.0152838128195467
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Agent tool approval and input validation do not, by themselves, bind a request to an approved source artifact. ToolContractGate provides a deterministic runtime contract evaluator for OpenAPI-derived agent tools. Each versioned ToolContract combines a stored OpenAPI fingerprint with access, schema, and behavioral declarations. The full evaluator applies ten checks, including a cached boot-time provenance result; four execution modes and five evaluation configurations support baseline, ablation, and non-blocking shadow analysis. On a synthetic benchmark of 45 cases (35 unsafe cases across 12 drift classes and 10 safe cases), the full pipeline detects all 35 faults: 29 BLOCK, 3 REVIEW, and 3 WARN decisions, with no false blocks on the safe cases. The archived run reports a mean gate latency of 0.18 ms and a 95th percentile (p95) of 2 ms using integer-millisecond measurements. The open-source artifact includes seven OpenAPI specifications, twelve enterprise contracts, 29 unit tests, and a 900-record evaluation. Results characterize contract-decision coverage; downstream enforcement requires a host that honors the returned decision. Production traffic, semantic backend drift, and dynamic provenance refresh remain evaluation and integration opportunities.
- Abstract（参考訳）: エージェントツールの承認と入力バリデーションは、それ自体が承認されたソースアーティファクトにリクエストをバインドしない。
ToolContractGateは、OpenAPI由来のエージェントツールに対する決定論的ランタイムコントラクト評価を提供する。
それぞれバージョン管理されたToolContractは、格納されたOpenAPIフィンガープリントと、アクセス、スキーマ、行動宣言を組み合わせたものだ。
4つの実行モードと5つの評価設定はベースライン、アブレーション、ノンブロッキングシャドウ分析をサポートする。
45のケース(12のドリフトクラスで35のアンセーフケースと10のセーフケース)の総合ベンチマークでは、完全なパイプラインが35の障害(29のBLOCK、3のREVIEW、3のWARN決定)をすべて検出し、安全ケースに偽のブロックはない。
アーカイブされたランでは平均ゲート遅延が0.18ms、95%のパーセンタイル(p95)が2ms、整数ミリ秒の測定で報告されている。
オープンソースアーティファクトには、7つのOpenAPI仕様、12のエンタープライズコントラクト、29のユニットテスト、900レコードの評価が含まれている。
結果として、契約決定のカバレッジが特徴づけられる。ダウンストリームの実施には、返却された決定を尊重するホストが必要である。
プロダクショントラフィック、セマンティックバックエンドのドリフト、動的前処理のリフレッシュは、評価と統合の機会のままである。
関連論文リスト
- Trust Mechanisms for Offline Generative AI at the Edge: A Connectivity-Regime Framework and an Empirical Study on a Raspberry Pi 5 [45.88028371034407]
ジェネレーティブAIと大規模言語モデル(LLM)がモノのインターネットに移行しつつある。
ほとんどのデプロイメントはクラウド接続を前提としており、多くのIoT設定は断続的、制限的、あるいは接続不能である。
提案するコネクティビティ・レジーム・フレームワーク (C0-C4) は, 推論時信頼機構の分類法であり, 署名されたバージョン付き知識パックである。
論文 参考訳（メタデータ） (2026-10-24T15:23:25Z) - VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance [26.73935855697832]
大規模な言語モデルは、RustプログラムのVerusコントラクトの生成にますます使用されている。
VerusEvalは、6次元に沿って生成されたコントラクトを評価するフレームワークである。
論文 参考訳（メタデータ） (2026-10-19T14:15:50Z) - AssetForge: Asset-Augmented Task Synthesis for Business Automation Agents [50.07771061768613]
ビジネス自動化エージェントのトレーニングには、自然に管理された要求をアプリケーション状態と終了状態に接続する実行可能なタスクが必要である。
従来のオートメーションでは、著者はアプリケーションインターフェース、初期記録、ポリシーエビデンス、各タスクの検証可能な結果チェックを再現する必要がある。
AssetForgeは、アセット拡張されたタスク言語パイプラインで、再利用可能なコンストラクション-アセスメントライブラリとタスク特化ライブラリをペアリングします。
論文 参考訳（メタデータ） (2026-10-13T13:06:16Z) - PACE: Provenance-Aware Capability Enforcement for Tool-Using LLM Agents [27.303145899045074]
本稿では、PACE(Provenance-Aware Capability Enforcement)を紹介し、実行直前にすべてのツールコールを仲介する。
PACEは、提案されたブロックの後に認証された呼び出しを復元したり、宣言された修復を適用することができる。
スケールの縮小された適応探索は、0/30の不正なターゲットで防御に成功している。
論文 参考訳（メタデータ） (2026-10-01T09:18:05Z) - AgentXploit: Autonomous Repository-to-Runtime Red-Teaming for AI Agents [44.02819189078546]
AgentXploitは,リポジトリレベルのアタックパス発見とランタイムのエクスプロイトを分離する2つのロール監査システムである。
3回のレースで、AgentXploitは59.3%のエンド・ツー・エンドで成功し、Codexは38.4%だった。
これらの結果は、エンドツーエンドのエージェントセキュリティ監査における個別の課題として、リポジトリの発見とランタイムのエクスプロイトを強調している。
論文 参考訳（メタデータ） (2026-09-25T14:26:04Z) - SWE-Test: Benchmarking LLM Vulnerability Discovery via Input Prediction [13.719725391379276]
脆弱性発見は、大規模言語モデル(LLM)エージェントの重要な機能である。
我々は、その測定を、クローズドな決定論的基底真理を持つ入力予測タスクとして再放送する。
これにより、発見は15ドメインにまたがる22の現実世界のC/C++プログラムで3つのタスクモードに分解される。
論文 参考訳（メタデータ） (2026-09-05T19:04:41Z) - Metis: Typed Runtime Mediation for Tool-Using Software Agents [13.543030296451661]
コールが外部効果に達する前に、プロバイダストリームを型付きイベントに変換するマルチプロジェクタランタイムであるMetisを提示する。
我々はこれらのメカニズムを凍結した原材料上で評価した。
論文 参考訳（メタデータ） (2026-08-26T03:10:03Z) - ADeptS-Bench: Measuring the Trustworthiness of Computer Use Agents Across Devices [48.36933831982682]
我々はADEPTS機能フレームワークを基盤とした信頼性ベンチマークであるADeptS-Benchを紹介する。
Safetyストリームは、視覚インターフェースに埋め込まれた脅威を伴うペアの良心/悪意のあるタスクを提供する。
曖昧さストリームは、意図が曖昧である場合、エージェントが明確化を求めるかどうかを評価する。
論文 参考訳（メタデータ） (2026-08-25T23:21:57Z) - From Traceability to Justifiability: Accountability Structures in Agentic Software Engineering [0.0]
公開資料のみから、AIレコードがクレームを表現できるかどうか、宣言された場所を保持できるかどうかを測定する。
188個の二重グレード細胞で、デフォルトレコードが行動システムのコンテンツアイデンティティを出力するプラットフォームは見つからなかった。
計器は、パイプラインが発行した排気のみからの保証深度を計算し、宣言された深さと比較する。
論文 参考訳（メタデータ） (2026-08-21T16:45:00Z) - Trace: Securing Smart Contract Repository Against Access Control Vulnerability [58.02691083789239]
GitHubはソースコード、ドキュメント、設定ファイルを含む多数のスマートコントラクトリポジトリをホストしている。
サードパーティの開発者は、カスタム開発中にこれらのリポジトリからコードを参照、再利用、フォークすることが多い。
スマートコントラクトの脆弱性を検出する既存のツールは、複雑なリポジトリを扱う能力に制限されている。
論文 参考訳（メタデータ） (2025-10-22T05:18:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。