論文の概要: Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution

• arxiv url: http://arxiv.org/abs/2609.21284v1
• Date: Fri, 18 Sep 2026 03:52:46 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-21 18:40:16.852889
• Title: Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution
• Title（参考訳）: 長時間稼働するAIエージェントの認可取り消し:デリゲーションと非同期実行下でのルートスコープクイズ
• Abstract要約: 長時間実行されるAIエージェントは、認証、委譲されたタスク、キュー、コールバック、予約、プロバイダ側の操作を通じて、プロセスの開始を先導する。 我々は、ルートスコープによる認証クイセンスを定義し、各シンクに対して、ルートエポック原子の下でのカット関連受け入れ毎に証明書を割り当てる。 ルートスコープクイネッセンスプロトコルは、ルートカットを線形化し、古いルート拡張と保護されたシンクを束縛し、プロバイダ・フロンティア証明書を登録された古いルートパスのカットセットに構成する。
• 参考スコア（独自算出の注目度）: 4.805352087824778
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Long-running AI agents outlive initiating processes through credentials, delegated tasks, queues, callbacks, reservations, and provider-side operations. Cancellation, process exit, and credential revocation neither close every pre-cut carrier nor distinguish independently authorized shared work. We define root-scoped authorization quiescence: for each manifested sink, a certificate accounts for every cut-relevant acceptance under the retired root-epoch atom that precedes its local fence and excludes protected acceptance under that atom after the fence, while permitting exact rebind to a current, independently sufficient support. The root-scoped quiescence protocol linearizes a root cut, fences old-root expansion and protected sinks, represents alternative and conjunctive authority as antichains of minimal sufficient root sets, and composes provider-frontier certificates into a cutset over registered old-root paths. Exact channel-token accounting reconciles transfers; missing or conflicting evidence remains indeterminate. Under stated assumptions, we prove post-cut issuer non-expansion, support-sound projection, compositional soundness under exact channel conservation, independent-support preservation, merge-order independence, and crash/replay stability. A provider-free late-effect test suite matches 17/17 registered outcomes. Two cancellation-only and one cut-only execution accept the same class of already scheduled late effect; two cut-plus-fence executions, one restart, and one stale-process execution reject it. A separately implemented checker verifies 17/17 traces and rejects 44/44 consistently rehashed semantic regressions. The certificate establishes root-relative authorization quiescence within its bound manifest and configuration, not global idleness, rollback, or business completion.
• Abstract（参考訳）: 長時間実行されるAIエージェントは、認証、委譲されたタスク、キュー、コールバック、予約、プロバイダ側の操作を通じて、プロセスの開始を先導する。 キャンセル、プロセスの終了、クレデンシャルの取り消しは、すべてのプレカットされたキャリアを閉じたり、独立した承認された共有作業と区別したりしない。 我々は,各シンクについて,局所的なフェンスに先行して保護された受容を排除し,かつ,独立に十分な支持を許すとともに,局所的フェンスに先行するルートエポック原子の下でのカット関連受容のすべてに証明書を割り当てる。 ルートスコープクイネッセンスプロトコルは、ルートカットを線形化し、古いルート拡張と保護されたシンクを束縛し、最小限のルートセットのアンチチェーンとして代替的かつ結合的な権威を表現し、プロバイダ-フロント証明書を登録された古いルートパスのカットセットに構成する。 明確なチャンネル・ツー・ケン・カウンセリングは、取引を和解するが、行方不明または矛盾する証拠は、いまだに不確定である。 提案する前提の下では,ポストカット後の発行者による非膨張,サポート音予測,正確なチャネル保存下における構成音性,独立保存,マージオーダー独立,クラッシュ/再生安定性を実証する。 プロバイダフリーのレイトエフェクトテストスイートは17/17の登録結果と一致します。 2つのキャンセルオンリーと1つのカットオンリーの実行は、すでに予定されていた遅延のクラスを受け入れている。 個別に実装されたチェッカーは17/17のトレースを検証し、44/44のセマンティックレグレッションを一貫してリハする。 この証明書は、グローバルなアイドルネスやロールバック、ビジネスコンプリートではなく、そのバウンドマニフェストと構成の中で、ルート相対的な認証クイセンスを確立する。

関連論文リスト

• Recoverability as a System Primitive for Long-Horizon AI Agents [5.008310199603767]
  再利用を明示的な決定とするシステムプリミティブとして,リカバリビリティを導入する。 4つの決定論的ファイルと20のペアファイルの課題は、正確な復元と完了が許可されていない開始点を隠蔽できることを示している。
  論文  参考訳（メタデータ） (2026-09-12T02:54:33Z)
• 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)
• ROPE: Routed Origin Policy Enforcement against Indirect Prompt Injection [61.4148196085256]
  本稿では,信頼という構造概念に根ざしたROPE(Routed Origin Policy Enforcement)について述べる。 提案手法では,(1)軌道の各段階において,攻撃可能コンテンツのみを起点とする値が,原点保護パラメータに到達しない,(2)注入のリワードがない,という2つの保証が認められている。
  論文  参考訳（メタデータ） (2026-08-27T01:22:14Z)
• AID-Guard: Stateful Authorization for Delegated Agent Effects [0.0]
  AID-Guardはステートフルな認可から効果のあるクロージャプロトコルである。 コミット時に承認された要求とプロバイダ状態を再検証し、曖昧さの下で1つの予約を保持し、端末結果の後にのみリリースまたは1つの後継を許可する。
  論文  参考訳（メタデータ） (2026-08-21T14:31:29Z)
• Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agents [2.124730017640531]
  永続的なAIエージェントは、長期にわたってバージョン管理された状態を蓄積するが、ストレージ保持だけは権限のある状態を識別しない。 エージェント状態ガバナンスはインフラ上のアクティベーションの問題であり、継続性は承認されたブランチヘッドの非破壊的で公認された系統であると定義する。 本稿では、原子状態活性化からオフコミット候補評価を分離するアクティベーション契約であるContinuity Kernel(CK)を提案する。
  論文  参考訳（メタデータ） (2026-08-12T04:28:49Z)
• Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework [49.16055123488827]
  大規模言語モデルを利用したコーディングエージェントは、バグレポートから直接コードパッチを生成することができる。 報告された問題を真に解決するかどうかを独立に検証するメカニズムは存在しない。 本稿では,RETRACE をトレーニング不要なポストジェネレーション検証フレームワークとして提案する。
  論文  参考訳（メタデータ） (2026-08-09T22:59:13Z)
• 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)
• Affordance Agent Harness: Verification-Gated Skill Orchestration [45.231685718099264]
  Affordance groundingは、オープンワールドのシーンでエージェントがどこでどのように対話すべきかを特定する必要がある。 本稿では,エビデンスストアとコストコントロールを備えたクローズドループランタイムであるAffordance Agent Harnessを提案する。
  論文  参考訳（メタデータ） (2026-05-01T13:45:16Z)
• 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)

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

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