論文の概要: Temporary Authority, Permanent Effects: Commit-Time Authorization for LLM Agents

• arxiv url: http://arxiv.org/abs/2607.10487v1
• Date: Sat, 11 Jul 2026 21:48:53 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-14 15:40:48.441691
• Title: Temporary Authority, Permanent Effects: Commit-Time Authorization for LLM Agents
• Title（参考訳）: 一時的権限, 永続的効果: LLM エージェントのコミット・タイム・オーソライゼーション
• Abstract要約: 我々は、過去の権威の証拠がもはや耐久性のある効果を承認しないコミット境界について研究する。 永続的な効果は、その派生した国家をライセンスした証人が、故意に、同じ効果に縛られ、コミット時に資格がある場合にのみ認められる。 CommitGuardは、実行時に証人、依存性、バインディング、および可視性信号が発行される場合に、保護されたコミットサーフェスに対する永続的エフェクトの試みをブロックする。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: LLM agents can commit durable effects from authority evidence that was valid earlier in execution: a DOM snapshot, approval epoch, version witness, branch token, or worker result. We study the commit boundary at which earlier authority evidence no longer authorizes a durable effect. We call this property commit-time authorization: a durable effect is authorized only if the witness that licensed its derived state remains fresh, causally prior, bound to the same effect, and eligible at commit time. We build a controlled-invalidation suite spanning browser, tool/API, and multi-agent workflows. The suite preserves the user goal and payload shape while invalidating the authority relation before durability. In the primary 54-task matrix, endpoint success remains high: 262/270 runs reach the visible result. Only 55/270 are authorized completions; among the 216 invalidating rows, 207 commit after the authorizing path has failed. All 54 clean controls remain authorized, and a separate 54-run authority-preserving check produces no unauthorized commits. We then evaluate mitigation families. Prompt caution and single-condition checks are insufficient because different hazards break different boundary conditions. Defenses work when they refresh, rebind, replan, or refuse at the durability boundary. CommitGuard, a fail-closed boundary monitor, blocks stale durable-effect attempts on protected commit surfaces when runtimes emit witness, dependency, binding, and eligibility signals. The result is a reporting and runtime-design lesson: endpoint success is a utility metric; authorized commit is a security property.
• Abstract（参考訳）: LLMエージェントは、DOMスナップショット、承認エポック、バージョン目撃者、ブランチトークン、ワーカー結果といった、実行初期に有効であった権限証拠から、耐久性のある効果をコミットすることができる。 我々は、過去の権威の証拠がもはや耐久性のある効果を承認しないコミット境界について研究する。 永続的な効果は、その派生した状態をライセンスした証人が、新しく、慎重に前もって、同じ効果に縛られ、コミット時に資格がある場合にのみ認められます。 ブラウザ、ツール/API、マルチエージェントワークフローにまたがる制御無効化スイートを構築します。 このスイートは、耐久性の前に権限関係を無効にしながら、ユーザ目標とペイロードの形状を保存する。 54タスクの行列では、エンドポイントの成功率は高く、262/270ランが可視結果に達する。 216行の無効化行のうち、承認パスが失敗した後207コミットは55/270のみである。 54のクリーンコントロールは引き続き承認され、54の権限保持チェックが別々に実行され、無許可のコミットは発生しない。 次に、緩和家族を評価します。 異なるハザードが異なる境界条件を破るため、急激な注意と単一条件チェックは不十分である。 ディフェンスは、耐久性境界でリフレッシュ、リバインド、リプラン、あるいは拒否するときに機能する。 フェールクロースされたバウンダリモニタであるCommitGuardは、実行時に証人、依存性、バインディング、および可視性信号が発行される場合に、保護されたコミットサーフェスに対する永続的エフェクトの試みをブロックする。 エンドポイントの成功はユーティリティメトリックであり、承認されたコミットはセキュリティプロパティである。

関連論文リスト

• 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)
• When Does Authorization End? Effect Closure at Provider Boundaries [0.0]
  既存の認可がそのようなパスを保持していない場合、認可は閉鎖され、新しいパスは発行されない。 ここでは、エビデンスに支えられた有限契約を用いて、必要な作業が完了する間、インターフェイスが真にクロージャを報告できるかどうかを判断する。 GitHub、NATS、Kafkaの3つの方法でクロージャが失敗する。インターフェースには必要なコントロールがない、クリーンな状態がアクティブな作業を隠す、エフェクトフロンティアの前にモデルが停止する、という方法だ。
  論文  参考訳（メタデータ） (2026-09-02T17:50:39Z)
• 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)
• Turning Interaction History into Execution State: A Runtime Layer for Long-Horizon Coding Agents [48.967927222079965]
  Ledgerは、エージェントの完了したインタラクションを明示的な実行状態に蒸留するランタイム層である。 Ledgerはこの状態をオンライン実行台帳に保持し、各ステップの2つのバウンダリに適用される。 500のSWE-bench検証インスタンス全体で、LedgerはPass@1を56.2%から64.2%に、GPT-5 miniを75.8%から81.0%に、MiniMax M2.5を81.0%に引き上げている。
  論文  参考訳（メタデータ） (2026-08-01T18:25:00Z)
• Towards Trustworthy Embodied Intelligence: A Systems Framework and Graded Trustworthiness Levels [53.63220028820581]
  身体的知性は、学習した知覚と意思決定をリアルタイムの計算、制御、物理的相互作用と統合する。 我々は,信頼に値するインテリジェンスを,特定のタスクを確実に実行するための持続能力として定義する。
  論文  参考訳（メタデータ） (2026-07-28T17:50:44Z)
• 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)
• Cordon: Semantic Transactions for Tool-Using LLM Agents [11.567293065381918]
  本稿では,コミット前にエージェント効果のステージングと検証を行うトランザクションランタイムシステムであるCordonを紹介する。 適度な承認とレイテンシのオーバーヘッドで、良質なタスク補完を保ちながら、不可逆的な効率の失敗を減らす。
  論文  参考訳（メタデータ） (2026-06-16T06:21:14Z)
• ChainCaps: Composition-Safe Tool-Using Agents via Monotonic Capability Attenuation [11.138472843474505]
  ChainCapsは透過的なMPPプロキシとして実装されており、エージェントやツールサーバの変更は必要ありません。 3つのプロバイダから5つのフロンティアモデルにまたがる82タスクにおいて、ChainCapsは攻撃成功率を25-68%から0-4.8%に下げる。 我々の主張は、信頼されたマニフェストとプロキシ可視のデータ移動の下での明示的なフロー構成の安全性に限られている。
  論文  参考訳（メタデータ） (2026-05-26T04:44:59Z)
• Your Agents Are Aging Too: Agent Lifespan Engineering for Deployed Systems [60.79651380135334]
  長寿命のAIエージェントは、永続的な運用システムとしてますますデプロイされる。 エージェントはデプロイ後、いつまで信頼できるのか? エージェントライフスパンエンジニアリングのための縦型信頼性ベンチマークであるAgingBenchを紹介する。
  論文  参考訳（メタデータ） (2026-05-25T19:55:12Z)
• Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
  制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。 観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
  論文  参考訳（メタデータ） (2026-05-18T07:52:13Z)
• ClawForge: Generating Executable Interactive Benchmarks for Command-Line Agents [59.626170560327274]
  textbfClawForgeは、ステートコンフリクト下で実行可能なコマンドラインカテゴリのためのジェネレータベースのベンチマークフレームワークである。 私たちはこのフレームワークをClawForge-Bench(17のシナリオ、6の能力カテゴリ)としてインスタンス化します。
  論文  参考訳（メタデータ） (2026-05-13T21:34:08Z)
• Compiling Activation Steering into Weights via Null-Space Constraints for Stealthy Backdoors [48.881343993730844]
  安全性に整合した大規模言語モデル(LLM)は、現実世界のパイプラインにますますデプロイされている。 敵は通常の評価では動作しないバックドアのチェックポイントを配布することができる。 最近のポストホック重み付け法は、そのようなバックドアを注入するための効率的なアプローチを提供する。
  論文  参考訳（メタデータ） (2026-04-14T06:48:33Z)
• CausalArmor: Efficient Indirect Prompt Injection Guardrails via Causal Attribution [49.689452243966315]
  ツールコール機能を備えたAIエージェントは、IPI(Indirect Prompt Injection)攻撃の影響を受けやすい。 本稿では,選択防衛フレームワークCausalArmorを提案する。 AgentDojoとDoomArenaの実験は、CausalArmorが攻撃的な防御のセキュリティと一致することを示した。
  論文  参考訳（メタデータ） (2026-02-08T11:34:08Z)
• SABER: Small Actions, Big Errors -- Safeguarding Mutating Steps in LLM Agents [52.20768003832476]
  我々は$$-Bench (Airline/Retail) および SWE-Bench Verified 上での実行トレースを分析する。 成功を失敗に戻すための、先進的な逸脱、最初期の行動、レベル分岐を形式化する。 モデルに依存しない,勾配のない,テスト時のセーフガードである cm を導入します。
  論文  参考訳（メタデータ） (2025-11-26T01:28:22Z)

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

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