論文の概要: When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agents
- arxiv url: http://arxiv.org/abs/2609.35088v1
- Date: Mon, 28 Sep 2026 13:04:04 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-02 17:06:47.731179
- Title: When Valid Tool Calls Change Meaning: Formation-Consistent Dispatch for LLM Agents
- Title（参考訳）: 評価ツールが変化を呼ぶとき: LLM エージェントの生成-持続的分散
- Abstract要約: ツール対応エージェントはモデル可視インターフェイスからの呼び出しを形成し、ホストは後に実装を選択する。
本稿では,実装分析と実行権限を結合した生成一貫性ディスパッチを提案する。
- 参考スコア（独自算出の注目度）: 5.6792942938842055
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Tool-enabled agents form calls from model-visible interfaces, while hosts later select their implementation. Standard dispatch omits the descriptor-handler relation. An unchanged and schema-valid call can therefore acquire a different security effect during rollout, reconnect, or delayed approval. We call this failure schema-epoch drift. We present formation-consistent dispatch (FCD), which connects implementation analysis to execution authority. Reviewed profiles produce provenance-bound over-approximations of declared in-scope effects from official source. Under a closed-target approval policy, a verifier applies each formed call to a summary and captures a successor only when its effects fit the call's security contract. Atomic admission and a final-hop fence preserve this decision to the effect. The exact source retains priority, and the captured successor becomes eligible only after source retirement. Stock releases and deployment changes reproduced the failure. Four profiles covered 32 official releases: 29 required no release-specific change and three escalated. A frozen 16-release expansion matched a separate source oracle. In a preregistered stock comparison, FCD completed all three pending calls whose effect remained private and blocked all three whose omission became public. Exact pinning and release-wide denial stopped all six calls, while release-wide approval completed all six but produced three public effects. A separate lifecycle experiment carried a formation-captured certificate across source retirement. The same safe certificate installed later governed new formations without expanding the pending call's authority.
- Abstract（参考訳）: ツール対応エージェントはモデル可視インターフェイスからの呼び出しを形成し、ホストは後に実装を選択する。
標準ディスパッチはディスクリプタとハンドラの関係を省略する。
そのため、変更のないスキーマ無効な呼び出しは、ロールアウト、再接続、あるいは遅延承認の間、異なるセキュリティ効果を得ることができる。
私たちはこの失敗をスキーマエポックドリフトと呼んでいる。
本稿では,FCD(Formation-Consistent dispatch)を提案し,実装分析と実行権限を結合する。
レビューされたプロファイルは、公式ソースから宣言された顕微鏡内効果の証明バウンドオーバー近似を生成する。
クローズドターゲットの承認ポリシーの下で、検証者は、各構成された呼び出しを要約に適用し、その影響が呼び出しのセキュリティ契約に適合した場合のみ、後継をキャプチャする。
原子の入場とファイナルホップフェンスは、この決定を有効に維持する。
正確な情報源は優先順位を保ち、捕獲された後継者はソースの引退後にのみ資格を持つ。
ストックリリースとデプロイメントの変更は失敗を再現した。
4つのプロファイルが32の公式リリースをカバーし、29はリリース固有の変更を必要とせず、3つはエスカレートされた。
凍結した16リリース拡張は、別のソースオラクルと一致した。
事前登録された株式比較において、FCDは、効力を秘めている3つの保留中の通話を全て完了し、欠席した3つ全てをブロックした。
厳格なピンニングとリリースワイドの拒否は6回の呼び出しを全て停止し、リリースワイドの承認は6回すべて完了したが、公開効果は3回あった。
別個のライフサイクル実験では、ソースリタイアをまたいだフォーメーションキャプチャー証明書が実施された。
後に設置された同じ安全証明書が、保留中の電話の権限を拡大することなく、新しい組織を統治した。
関連論文リスト
- Relic: From Multi-Agent Collaboration to Persistent Organizational Capability [37.80629799707573]
繰り返し発生するコラボレーションの失敗を組織所有の実行可能なプロトコルに変えるRelicを紹介します。
メンバーは目に見える仕事を反映し、ルールを提案し、採用を管理します。
論文 参考訳（メタデータ） (2026-09-26T21:55:49Z) - Agent Approval Laundering: Transitive Effects Beyond the Approved Invocation [4.976922673853743]
コーディングエージェントの承認インターフェースは、人間の決定をコマンドやツールコールに結び付ける。
私たちは、結果として生じる記録的障害承認洗浄を呼んでいます。
エージェントシステムにおけるこの記録-閉鎖関係の最初の系統的セキュリティ解析について述べる。
論文 参考訳（メタデータ） (2026-09-23T13:47:35Z) - Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution [4.805352087824778]
長時間実行されるAIエージェントは、認証、委譲されたタスク、キュー、コールバック、予約、プロバイダ側の操作を通じて、プロセスの開始を先導する。
我々は、ルートスコープによる認証クイセンスを定義し、各シンクに対して、ルートエポック原子の下でのカット関連受け入れ毎に証明書を割り当てる。
ルートスコープクイネッセンスプロトコルは、ルートカットを線形化し、古いルート拡張と保護されたシンクを束縛し、プロバイダ・フロンティア証明書を登録された古いルートパスのカットセットに構成する。
論文 参考訳（メタデータ） (2026-09-18T03:52:46Z) - AgentProv: Auditing Agentic LLM API Providers via Tool-use Policy Probes [38.37599802008238]
商用LLM APIは特定の基盤モデルを宣伝するが、提供されたバックボーンは静かに代用され、定量化され、あるいはラップされることがある。
既存の監査はすべて、テキスト出力チャネルからバックボーンアイデンティティを決定する。
本稿では,AgentProv(AgentProv)について紹介する。
論文 参考訳（メタデータ） (2026-08-30T08:22:12Z) - LMSM: LLM Security Framework Inspired by Linux Security Modules [56.93644694627783]
大規模言語モデル(LLM)は階層化されたディフェンスでデプロイされることが多いが、悪意のあるプロンプトはそれらをバイパスすることができる。
我々は,Language Model Security Modules (LMSM) という,Linux Security Modules (LSM) の背後にある分離を LLM サービスに適応させるセキュリティフレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-26T12:13:05Z) - AID-Guard: Stateful Authorization for Delegated Agent Effects [0.0]
AID-Guardはステートフルな認可から効果のあるクロージャプロトコルである。
コミット時に承認された要求とプロバイダ状態を再検証し、曖昧さの下で1つの予約を保持し、端末結果の後にのみリリースまたは1つの後継を許可する。
論文 参考訳（メタデータ） (2026-08-21T14:31:29Z) - Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents [1.4721615285883427]
本稿では,同時ソフトウェア変更をプリライト入力問題として扱うモデルに依存しない協調アーキテクチャであるClim Planeを提案する。
決定論的制御プレーンは、互換性のある意図をアトミックに認め、宣言された領域に同ファイルの並列性を制約し、未解決の重複をシリアライズし、依存性の無効性を追跡し、曖昧な権限で閉じる。
最初に試みられた突然変異は、現在のアクティブセットに対するアトミックスコープの促進と再許可を引き起こす。
論文 参考訳（メタデータ） (2026-07-24T02:30:50Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - Lingering Authority: Revocable Resource-and-Effect Capabilities for Coding Agents [0.0]
PortICOは、プランナーに露出する機能のリファレンスモニターである。
明示的なタスクコントラクトを初期機能にコンパイルし、ルールを付与し、信頼できるクロージャ述語、グローバルな否定ルールを付与する。
論文 参考訳（メタデータ） (2026-06-21T13:52:37Z) - MOSS: Self-Evolution through Source-Level Rewriting in Autonomous Agent Systems [36.221246203666745]
MOSSは、生産エージェント基板上でソースレベルで自己書き換えを行うシステムである。
平均成績は0.25から0.61に上昇し、人間の介入なしに1サイクルで上昇する。
論文 参考訳（メタデータ） (2026-05-21T17:48:33Z) - When to Think, When to Speak: Learning Disclosure Policies for LLM Reasoning [60.714416943748866]
シングルストリームの自己回帰インターフェースでは、同じトークンがモデル状態を更新し、不可逆的な公約を構成する。
そこで我々は,Side-by-Side (SxS) Interleaved Reasoningを導入する。
論文 参考訳（メタデータ） (2026-05-05T02:59:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。