論文の概要: Beyond Policy Engines: Binding-Complete Execution Admission

• arxiv url: http://arxiv.org/abs/2610.29701v1
• Date: Wed, 21 Oct 2026 13:14:33 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-23 00:40:06.369222
• Title: Beyond Policy Engines: Binding-Complete Execution Admission
• Title（参考訳）: ポリシーエンジンを超えて: バインディング・コンプリート実行承認
• Abstract要約: 本稿では,政策評価と実行許可のギャップについて検討する。 我々はBinding-Complete Execution Admission Contract (BCEAC)を紹介する。 提案する条件付きエンジンに依存しないアーキテクチャでは,提案するバックエンドが宣言されたセマンティックプロファイルを満たす必要がある。
• 参考スコア（独自算出の注目度）: 9.27474112226667
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Policy engines determine whether evaluated policies permit a request, but a correct ALLOW decision does not establish complete governance-source participation, exact context binding, or sufficient grounds for execution admission. This paper examines the gap between policy evaluation and execution admission. We introduce the Binding-Complete Execution Admission Contract (BCEAC), a governance-relative contract for independently determined source obligations, exact policy and contextual binding, and typed admission outcomes under explicit trust assumptions. We propose a conditionally engine-agnostic architecture in which participating backends must satisfy declared semantic profiles, adapter contracts, and contextual correspondence obligations; an Execution Boundary Language (EBL) authoring syntax remains optional. The architecture separates governance resolution, policy evaluation, independent admission verification, and downstream execution mediation. We investigate two distinct experimental tracks: a finite Governance Source Completeness study and an OPA/Cedar experiment with archived native-engine records examined by offline review. The OPA/Cedar archive comprises 72 scenarios and 144 strict case-engine records (120 native-invoked and 24 pre-native), with eight additional permissive controls outside the strict denominator. The offline review did not rerun the original native OPA/Cedar executables. The results provide bounded evidence while retaining historical failures and unresolved implementation defects. The work does not establish constitutional adequacy, general semantic refinement, authenticated currentness, machine-checked execution-safety theorems, or protected external effects. Its contribution is an explicit, falsifiable framework for determining what must be established between a policy decision and an execution-admission judgment.
• Abstract（参考訳）: ポリシーエンジンは、評価されたポリシーが要求を許可するかどうかを決定するが、正しいALLOW決定は、完全なガバナンスソースの参加、正確なコンテキストバインディング、実行許可のための十分な根拠を確立するものではない。 本稿では,政策評価と実行許可のギャップについて検討する。 本稿では,BCEAC(Binding-Complete Execution Admission Contract)について紹介する。 本稿では,記述されたセマンティックプロファイル,アダプタ契約,コンテキスト対応義務を満たさなければならない条件付きエンジンに依存しないアーキテクチャを提案する。 このアーキテクチャは、ガバナンスの解決、ポリシー評価、独立した受け入れ検証、下流実行仲介を分離する。 本研究は, 有限ガバナンスソース完全性研究と, オフラインレビューによるアーカイブされたネイティブエンジン記録を用いたOPA/Cedar実験の2つの異なる実験トラックについて検討する。 OPA/Cedarアーカイブは72のシナリオと144の厳格なケースエンジンレコード(120のネイティブ呼び出しと24のプレネイティブ)から構成され、厳格な分母の外側に8つのパーミッシブコントロールが加えられている。 オフラインレビューは、オリジナルのネイティブOPA/Cedar実行ファイルを再実行しなかった。 結果は、歴史的失敗と未解決の実装欠陥を維持しながら、有界な証拠を提供する。 この研究は、憲法の妥当性、一般的な意味の洗練、認証された電流、マシンチェックされた実行安全定理、または保護された外部効果を確立していない。 その貢献は、政策決定と実行許可判決の間に何を確立する必要があるかを決定するための、明示的で偽造可能なフレームワークである。

関連論文リスト

• AIPOCH Open-Science: An Open-Source AI Research Workbench with Reproducible .science Packages [45.605119451149]
  AIPOCH Open-Scienceは、ポータブルサイエンスセッションパッケージを備えたオープンソースのリサーチワークベンチである。 バージョンとアセスメントのターゲットは、受信-ワークスペース識別子が再マップされる間、帰結可能なままである。 コントロールされたセッションでは、誤った最初のバージョン、レビューされた修正、未レビューの修正、計画されたが実行されていないステップがテストされた。
  論文  参考訳（メタデータ） (2026-10-12T17:03:23Z)
• Beyond Corrected Memory: Execution Consistency in Multi-Agent Systems [42.90481302321822]
  我々は、国家利用、情報ハンドオフ、そして最終状態合意を管理する義務を通じて、実行の一貫性を定義します。 私たちの主張の中核は、同じ保持されたレコードは、同じタスクルールの下での実行に準拠し違反する可能性がある、ということです。 整合性診断と回復のためのフレームワークであるCAVERTを用いて、ログからサポート対象の関係を抽出する。
  論文  参考訳（メタデータ） (2026-10-06T10:29:41Z)
• Trust Is Not a Score: Runtime Assurance Contracts for High-Risk AI Agents [0.0]
  本稿では,ポリシーレベルの形式的スキーマバインディング境界,コンポーネントの適性,エビデンス状態,遷移ポリシ,ヒューマンレビュー能力,非補償ゲートを提案する。 調整された保証契約(RAC)の下では、ソフトメトリクスはルーティングを通知するが、失敗または未知の強制ゲートフォースはリトライ、スイッチ、エスカレーション、デフェラル、ストップを行う。
  論文  参考訳（メタデータ） (2026-09-30T13:28:42Z)
• From Intent to Execution Grant: An Execution-Boundary Conformance Profile for High-Risk AI Actions [9.27474112226667]
  EBL-Coreは、1つの標準的な、完全に実体化されたAI生成候補が、明示的な条件下でアクションスコープ実行権限を受け取ることができるかどうかを決定する。 拘束力、政策非監視、エビデンス処理、決定論的判断、検証、ライフサイクル行動の付与などである。 100回の試験で32回の同時再空輸試験が成功し、1回の試行で完全に1回成功し、テスト効果が保護された。
  論文  参考訳（メタデータ） (2026-09-10T14:21:45Z)
• Context Is Not Authority: Structured Runtime Governance for Financial Market Agents [13.810351865063632]
  SAGE-Finは金融特有の権限取扱契約である。 提案を型付きアダプタバウンド候補にコンパイルする。 それは、名目上の型が消費する応答、実行、またはポリシーアダプタと一致する正確なアーティファクトレシートを必要とする。
  論文  参考訳（メタデータ） (2026-08-10T02:26:07Z)
• Explanation-Bound Tool Execution for AI Agents: Server-Verified Action Claims Without Trusting Model Rationales [4.805352087824778]
  説明境界ツール実行(Explanation-Bound Tool Execution)は、意思決定に関連する合理的なコンテンツを型付けされたアクションクレームに変換し、それらをサーバが所有するインテント、ポリシー、ペイロード、ツール、リスク、証明、新鮮な事実に対してチェックする。 我々は,この構成を明示的な調停と信頼性のある仮定の下で形式化し,最小限の監査パケットを用いたバージョン付き参照プロファイルを実装した。
  論文  参考訳（メタデータ） (2026-07-28T07:16:12Z)
• When Verification Fails: How Compositionally Infeasible Claims Escape Rejection [30.404615085122046]
  既存の検証ベンチマークでは,厳密なクレーム検証と簡易な塩分制約依存を区別できないことを示す。 有意な制約が支持されるが、非有意な制約が矛盾する場合に、構成的に不可能なクレームを構築する。 モデル間の差は,基礎的推論能力よりも検証しきい値の差を反映していることを示す。
  論文  参考訳（メタデータ） (2026-04-13T04:48:20Z)
• Verification of Robust Properties for Access Control Policies [51.736723807086385]
  既存のアクセス制御ポリシーの検証方法は、検証が進む前に、ポリシーを完全かつ完全に決定する必要がある。 本稿では,政策構造がどのような決定を下すか,どのような決定を下すか,あるいはその後の拡張に拘わらず,その決定を行うかという課題について,ロバストなプロパティ検証を導入する。 可能なすべてのポリシー拡張を普遍的に定量化しているにもかかわらず、判断は二階述語論理プログラミング言語における探索の証明に還元されることを示す。
  論文  参考訳（メタデータ） (2026-03-13T17:14:38Z)
• Preventing the Collapse of Peer Review Requires Verification-First AI [49.995126139461085]
  我々は、真理結合、すなわち、過度に科学的真理をトラックする場所のスコアの厳密さを提案する。 プロキシ・ソブリン評価に向けた相転移を駆動する2つの力の形式化を行う。
  論文  参考訳（メタデータ） (2026-01-23T17:17:32Z)
• Few-shot Policy (de)composition in Conversational Question Answering [54.259440408606515]
  本稿では,大規模言語モデル(LLM)を用いて数ショット設定でポリシーコンプライアンスを検出するニューラルシンボリックフレームワークを提案する。 提案手法は,回答すべきサブクエストを抽出し,文脈情報から真理値を割り当て,与えられたポリシーから論理文の集合を明示的に生成することで,政策コンプライアンスに関する会話に対して健全な理由を示す。 本手法は,PCDおよび会話機械読解ベンチマークであるShARCに適用し,タスク固有の微調整を伴わずに競合性能を示す。
  論文  参考訳（メタデータ） (2025-01-20T08:40:15Z)

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

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