論文の概要: Runtime Authorization of Self-Generated Subgoals in Long-Horizon Tool-Using AI Agents

• arxiv url: http://arxiv.org/abs/2610.04975v1
• Date: Sun, 04 Oct 2026 05:43:47 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-11 07:24:30.066335
• Title: Runtime Authorization of Self-Generated Subgoals in Long-Horizon Tool-Using AI Agents
• Title（参考訳）: 長期ツール利用AIエージェントにおける自己生成サブゴールの実行許可
• Abstract要約: ツールごとのパーミッションチェックでは、変更したゴールグラフがプリンシパル承認されたタスク内に留まることを確認できない。 我々は、この認証ギャップを1つのプリンシパルと1つの認証ルートを持つ有限構造領域で解決する。 我々は、明示的な調停、抽象化、新鮮さ、原子性仮定の下で、トレース政治とモデル化された状態保存を証明した。
• 参考スコア（独自算出の注目度）: 4.805352087824778
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Long-horizon tool-using AI agents create subgoals, replan, delegate work, and compose sibling results. Per-tool permission checks cannot establish that a changing goal graph remains within the principal-approved task. We address this authorization gap in a finite structured domain with one principal and one authorization root. Each proposed goal-graph mutation carries a version-bound witness that its continuation traces, resources, obligations, invariants, and closing condition refine the active root contract; every protected effect is rechecked at an atomic commit boundary. Free-form goal text supplies no authority. We prove trace-policy and modeled forbidden-state preservation under explicit mediation, abstraction, freshness, and atomicity assumptions, plus conditional root-success preservation, a separation result for memoryless allowlists, exact finite-domain decidability, and universal-safety monotonicity under sound abstraction refinement. An executable model explores 340 states and 419 transitions. Across 96 matched cases covering 25 structural schemas, the complete mechanism commits zero forbidden states in 48 drifted cases and completes all 48 benign counterparts. Two public upstream runtime paths execute 258 native dispatches across 32 cases, with every case-level decision and receipt chain matching. A frozen host-local study covers 129 synthetic one-factor-at-a-time cells, all matching fixed decisions and reasons. A history-aware continuation comparator blocks every modeled bad trace prefix but commits all operations in 11 cases whose violations lie in typed resources, freshness, or explicit-join evidence outside its trace projection. Within the registered structured domains, runtime authorization preserves useful replanning while preventing self-generated subgoals from becoming a source of new authority.
• Abstract（参考訳）: ロングホライゾンツールを使用するAIエージェントは、サブゴールを作成し、計画し、仕事を委譲し、兄弟姉妹の結果を構成する。 ツールごとのパーミッションチェックでは、変更目標グラフがプリンシパル承認されたタスク内に留まることを確認できない。 我々は、この認証ギャップを1つのプリンシパルと1つの認証ルートを持つ有限構造領域で解決する。 提案された目標グラフの突然変異は、その継続トレース、リソース、義務、不変性、閉条件がアクティブなルート契約を洗練し、全ての保護された効果がアトミックコミット境界で再チェックされる、というバージョンバウンドの証人を運ぶ。 フリーフォームのゴールテキストは権限を提供しません。 我々は、明示的な調停、抽象化、新鮮さ、原子性仮定、条件付き根の保存、メモリレスレセプリストの分離結果、正確な有限領域決定性、および音の抽象的改善の下での普遍的安全な単調性、といった条件下でのトレースポリティとモデル化された状態保存を証明した。 実行可能モデルは340の状態と419の遷移を探索する。 25のスキーマを含む96のマッチしたケースで、完全なメカニズムは48のドリフトされたケースでゼロの禁制状態にコミットし、48の良質なスキーマすべてを完成させる。 2つのパブリックなアップストリームランタイムパスは、32ケースにまたがる258のネイティブディスパッチを実行する。 凍った宿主局所の研究は、129の1-factor-at-a-time細胞をカバーしている。 履歴対応継続コンパレータは、モデル化されたすべての悪いトレースプレフィックスをブロックするが、そのトレースプロジェクションの外にある、型付きリソース、鮮度、明示的な結合証拠に違反する11のケースで、すべての操作をコミットする。 登録された構造化ドメイン内では、実行時承認は有用なリプランニングを保持し、自己生成サブゴールが新たな権威の源になることを防ぐ。

関連論文リスト

• Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback [4.805352087824778]
  一人当たりの認可は、結果として生じる人口を制限しない。 単一親系森林のアクティブフロンティアにまたがる権限を保全する権限継承を定義する。
  論文  参考訳（メタデータ） (2026-09-29T20:09:59Z)
• Agora: Git as Shared Memory for Collective AutoResearch [54.31992252587096]
  別々のセッションで作業する調査エージェントは、他の人が試したことと、構築可能な結果を知る必要がある。 各コミットは結果、洞察、仮説、検証、報告を記録し、それを以前の作業とリンクする。 約12日間に渡り,13人の言語モデル労働者がアゴラを重み移動問題の解決に利用したことを報告した。
  論文  参考訳（メタデータ） (2026-09-16T04:00:54Z)
• Runtime Authorization for Resources Acquired by AI Agents [4.805352087824778]
  充足後のアクティベーションギャップは、ツールによる作成、エージェント間デリゲート、エージェントコマースにまたがる。 本稿では,実行時認証アーキテクチャを提案する。 検疫,バック,非増幅,非回避分割,クラッシュ/リトライ,返金,エポック,エフェクトの8つの安全性特性を実証する。
  論文  参考訳（メタデータ） (2026-09-13T19:16:44Z)
• Versioned Transitive Dependency-Closure Binding and Operation-Time Effect Governance for Agent Skills: ClosureBound [4.805352087824778]
  ClosureBoundは、正確なクロージャルート、エフェクト天井、目的/実績、妥当性、エポックをバインドする。 閉鎖と状態を再解決し、操作を外部効果IRに正規化し、共同証人がすべての境界を満たす場合にのみ承認する。 549 Public Skillsの語彙監査では、526のルートのうち21がバンドルされたファイル名であり、すべての非マニファストパスの動詞名であり、67はルートの外で解決されるリンクを含んでおり、ルートはフロントマッター依存フィールドを宣言しない。
  論文  参考訳（メタデータ） (2026-09-05T06:27:52Z)
• VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
  テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。 それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。 我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
  論文  参考訳（メタデータ） (2026-09-02T20:36:45Z)
• Object-to-Source Mapping under Optimization: What a Control-Flow Trace Can Show, and Where Source-Level Coverage Breaks [46.45816037744739]
  制御フロートレースは、マシンレベルの実行を再構築することができるが、ソースレベルの構造カバレッジに加えて、生成された命令からの検証された帰属と、ソースの義務への分岐結果が必要である。 本稿では,その境界を定義し,コンパイラの正確な出力を図示する。 付録では、実際のシリコン上でのエンド・ツー・エンドのメカニズムを例示している。
  論文  参考訳（メタデータ） (2026-08-29T17:06:10Z)
• Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agents [2.124730017640531]
  永続的なAIエージェントは、長期にわたってバージョン管理された状態を蓄積するが、ストレージ保持だけは権限のある状態を識別しない。 エージェント状態ガバナンスはインフラ上のアクティベーションの問題であり、継続性は承認されたブランチヘッドの非破壊的で公認された系統であると定義する。 本稿では、原子状態活性化からオフコミット候補評価を分離するアクティベーション契約であるContinuity Kernel(CK)を提案する。
  論文  参考訳（メタデータ） (2026-08-12T04:28:49Z)
• ClawForge: Generating Executable Interactive Benchmarks for Command-Line Agents [59.626170560327274]
  textbfClawForgeは、ステートコンフリクト下で実行可能なコマンドラインカテゴリのためのジェネレータベースのベンチマークフレームワークである。 私たちはこのフレームワークをClawForge-Bench(17のシナリオ、6の能力カテゴリ)としてインスタンス化します。
  論文  参考訳（メタデータ） (2026-05-13T21:34:08Z)
• interwhen: A Generalizable Framework for Verifiable Reasoning with Test-time Monitors [47.363850513075356]
  実験時間検証フレームワークであるInterwhenを提案し, 与えられた検証結果に対して, 推論モデルの出力が有効であることを保証する。 検証された推論は、物理的な世界にエージェントを配置するといった高度なシナリオにおいて重要な目標である。
  論文  参考訳（メタデータ） (2026-02-05T08:35:01Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。