Newest papers

Beyond Policy Engines: Binding-Complete Execution Admission

Lin Wang, Mengting Wu, Yong Zhang, Jiang Deng · 2026 · arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.29701 · cited by 0 works (OpenAlex) · open-access PDF

Japanese

ポリシーエンジンは現在、評価されたポリシーがリクエストを許可するかどうかを決定しますが、正しい ALLOW決定は、完全なガバナンスソース参加、正確なコンテキスト拘束、または実行承認のための十分な根拠を確立しません。この論文は、ポリシー評価と実行承認の間のギャップを検討します。我々は、Binding-Complete Execution Admission Contract(BCEAC)を導入します、独立的に決定されたソース証明義務、正確なポリシーおよびコンテキスト拘束のためのガバナンス関連契約、および印刷された承認の結果を明示的な信念の仮定下で選択します。我々は、参加バックエンドが宣言されたセマン

Machine translation (Meta M2M100); the English original follows.

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.

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Topics: Computer science, Syntax, Context (archaeology), Corporate governance, Defeasible estate, Programming language

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange