論文の概要: When Does Authorization End? Effect Closure at Provider Boundaries
- arxiv url: http://arxiv.org/abs/2609.02866v1
- Date: Wed, 02 Sep 2026 17:50:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-03 17:53:18.485593
- Title: When Does Authorization End? Effect Closure at Provider Boundaries
- Title（参考訳）: 認可はいつ終わるのか? プロバイダ境界におけるエフェクトクロージャ
- Abstract要約: 既存の認可がそのようなパスを保持していない場合、認可は閉鎖され、新しいパスは発行されない。
ここでは、エビデンスに支えられた有限契約を用いて、必要な作業が完了する間、インターフェイスが真にクロージャを報告できるかどうかを判断する。
GitHub、NATS、Kafkaの3つの方法でクロージャが失敗する。インターフェースには必要なコントロールがない、クリーンな状態がアクティブな作業を隠す、エフェクトフロンティアの前にモデルが停止する、という方法だ。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Revocation completion, clean state, or operation success can leave authorized work able to cause an effect the application rejects while the provider stays within its contract. We call the absence of all such paths policy-relative effect closure, or effect closure for short. Thus, a grant is closed when its existing authorizations retain no such path, and it cannot issue any new ones. We present EFFECTBOUND, which uses an evidence-supported finite contract to decide whether an interface can truthfully report closure while required work completes. It reduces this to finite control with hidden state and returns a strategy, an impossibility certificate, or no verdict when evidence is insufficient. Machine-checked proofs establish the reduction and checker soundness; the checker derives closure results and validates certificates. Across GitHub, Kubernetes, NATS, and Kafka, closure fails in three ways: an interface lacks a needed control, clean visible state hides active work, or the model stops before the effect frontier---the last point where the effect can be prevented. The GitHub tool cannot bind a merge to the reviewed commit; a controlled run confirms that it may merge a different commit. NATS can report no stored or pending messages while dispatched work can still publish downstream. In Kafka, all fixed-set brokers had applied the revocation, yet an earlier authorized request could still append. We add a gate that blocks new use of revoked authority and delays return until earlier in-flight work completes. In a fixed-set Kafka~4.3.1 test deployment, this closes the studied synchronous, nontransactional write path without blocking unrelated requests. For a grant, authorization ends only when issuance stops and no earlier authorization can reach an effect the application rejects.
- Abstract（参考訳）: 呼び出し完了、クリーンステート、あるいは運用の成功は、プロバイダが契約内に留まっている間、アプリケーションが拒否する効果を生じさせる権限のある作業を残します。
我々は、政策関連効果の閉鎖、即ち効果の閉鎖など、すべての経路が存在しないことを訴える。
したがって、既存の認可がそのようなパスを保持していない場合、認可は閉鎖され、新しいパスは発行されない。
我々は、エビデンス支持有限契約を用いて、必要な作業が完了する間、インターフェイスが真にクロージャを報告できるかどうかを判断するエフェクトBOUNDを提案する。
これは、隠された状態を持つ有限の制御に還元され、戦略、不確実性証明、または証拠が不十分な場合の判断を返します。
マシンチェックされた証明は、リダクションとチェッカーの健全性を確立し、チェッカーはクロージャ結果を導出し、証明書を検証する。
GitHub、Kubernetes、NATS、Kafka全体で、クロージャは3つの方法で失敗する。インターフェースは必要なコントロールを欠いている、クリーンな可視状態はアクティブな作業を隠す、あるいはモデルがエフェクトフロンティアの前に停止する — 効果を防止できる最後のポイントだ。
GitHubツールは、レビューされたコミットにマージをバインドすることはできない。
NATSは保存または保留中のメッセージを報告できないが、派遣された作業は下流で発行できる。
Kafkaでは、すべての固定セットブローカがリコールを適用していたが、以前の承認されたリクエストがまだ追加可能だった。
取り消しされた権限の新たな使用をブロックするゲートを追加し、飛行中の作業が完了するまでリターンを遅らせます。
固定セットのKafka~4.3.1テストデプロイメントでは、無関係なリクエストをブロックすることなく、調査対象の同期非トランザクション書き込みパスをクローズする。
認可のために、認可は発行が停止し、アプリケーションが拒否する効果に到達できない場合にのみ終了する。
関連論文リスト
- 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) - ACLE-MCP: Attested Capability Leases for Execution-Time Trust in Remote LLM Tool Use [29.860376266824872]
OAuth認証だけでは、後続のツールコールが信頼を意図したプロバイダ側のワークロードによって実行されることを保証しません。
本稿では、委任承認、ワークロード評価、リソース側の実行許可を結合した呼び出しスコープアーキテクチャACLE-MCPを提案する。
論文 参考訳（メタデータ） (2026-09-02T14:58:17Z) - AID-Guard: Stateful Authorization for Delegated Agent Effects [0.0]
AID-Guardはステートフルな認可から効果のあるクロージャプロトコルである。
コミット時に承認された要求とプロバイダ状態を再検証し、曖昧さの下で1つの予約を保持し、端末結果の後にのみリリースまたは1つの後継を許可する。
論文 参考訳（メタデータ） (2026-08-21T14:31:29Z) - $Z^2$-ACT: End-to-End Verifiable Agentic Intent Control for Open 6G RAN [43.15181031994434]
本稿では,ゼロ知識監査制御とゼロ信頼検証エージェントインテントアーキテクチャを提案する。
実大規模言語モデルは、オペレータの意図をIntent Contractsに変換するために、非リアルタイムパスで使用される。
その結果、動作フィルタリングと攻撃レジリエンスを適度なレイテンシとシグナリングコストで改善したことが示唆された。
論文 参考訳（メタデータ） (2026-08-21T12:44:03Z) - From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。
生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。
本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-05T13:37:38Z) - 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) - Temporary Authority, Permanent Effects: Commit-Time Authorization for LLM Agents [0.0]
我々は、過去の権威の証拠がもはや耐久性のある効果を承認しないコミット境界について研究する。
永続的な効果は、その派生した国家をライセンスした証人が、故意に、同じ効果に縛られ、コミット時に資格がある場合にのみ認められる。
CommitGuardは、実行時に証人、依存性、バインディング、および可視性信号が発行される場合に、保護されたコミットサーフェスに対する永続的エフェクトの試みをブロックする。
論文 参考訳（メタデータ） (2026-07-11T21:48: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) - Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。
観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
論文 参考訳（メタデータ） (2026-05-18T07:52:13Z) - Compiling Activation Steering into Weights via Null-Space Constraints for Stealthy Backdoors [48.881343993730844]
安全性に整合した大規模言語モデル(LLM)は、現実世界のパイプラインにますますデプロイされている。
敵は通常の評価では動作しないバックドアのチェックポイントを配布することができる。
最近のポストホック重み付け法は、そのようなバックドアを注入するための効率的なアプローチを提供する。
論文 参考訳（メタデータ） (2026-04-14T06:48:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。