提出新模型解决部分可观测下执行有效性的验证难题
Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability

- 分离完整性与覆盖范围,通过重建门判断执行是否充分
- 合成实验显示在所有覆盖水平下无效执行率归零
- 适合需要高可靠性的自动驾驶等自主系统
自主系统在部分可观测环境下运行,执行相关状态始终无法完全获取。现有治理机制(可信执行环境、预言机签名状态证明、密码学证明)仅保证计算和状态推断的完整性。本文指出:经认证的状态推断是必要但不充分的。提出重构权威模型(RAM),将完整性与覆盖范围分离。RAM定义重建门,基于显式覆盖区间——已验证状态、声明假设及承认的不可观测残差——决定执行权限。当覆盖不足时,动态缩减权限或拒绝执行。证明中说明:仅依赖证明无法保证执行有效性,且RAM是必要的。构建混合架构(RAM+证明),实现权限收缩。合成实验(N=100,000,seed=42)表明,RAM在所有覆盖水平下均实现无效执行率=0;而基于证明的系统在低覆盖下无效执行率(IER)达0.423,在全覆盖下仍为0.233,源于完整性检查无法发现未定义状态处理失败。该研究将执行有效性重新定义为覆盖重构问题,与完整性保障互补。
原文摘要 · Abstract (English)
Autonomous systems increasingly operate under partial observability where execution-relevant state is never fully accessible. Existing governance mechanisms -- trusted execution environments, oracle-signed state proofs, cryptographic attestation -- enforce the integrity of computation and state projections. We show this is structurally insufficient: an authenticated projection of state is necessary but never sufficient for execution validity. We introduce the Reconstructive Authority Model (RAM), which separates integrity from coverage. RAM defines a reconstruction gate that reasons over an explicit coverage envelope -- comprising proven state, declared assumptions, and an acknowledged unobservable residual -- and permits execution only when coverage is adequate for the action class. When coverage is insufficient, RAM narrows privileges dynamically or fails closed. Attestation proves trust in measurement; RAM proves adequacy of what is measured. We formalize RAM, prove necessity via two theorems (attestation insufficiency and RAM necessity) and three corollaries, and present a hybrid RAM+Attestation architecture with privilege-narrowing. Synthetic experiments (N=100,000, seed=42) show RAM achieves zero invalid execution rates at all coverage levels. Attestation-based systems exhibit IER=0.423 at low coverage and IER=0.233 even at full coverage, the latter arising from undefined-state handling failures undetectable by integrity checks alone. This reframes execution validity as a coverage reconstruction problem, distinct from and complementary to integrity guarantees provided by attestation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。