CARVE-Q：量子提议、经典认证的交互式驾驶维修

arXiv:2606.06531v1 公告类型：新 摘要：正确驾驶否决后的关键问题不仅是操作是否不安全，还在于被阻止的交互是否允许合法、可审计且有责任限制的修复。预测和博弈论规划者可以提出看似合理的合作，但他们不会返回证明修复尊重硬性规则、通行权、成本分配和自我回退。我们推出了 CARVE，即通过信封对被否决的机动进行经认证且经济实惠的维修，这是一种用于无预测交互式维修的证书架构。在被否决的情况下，CARVE 构建一个有限修复网格，并发出一个结构化证书，记录绑定规则、选定的联合修复、通行权缩放合作范围、责任加权成本分割和仅自我回退。该证书视图揭示了算法瓶颈：多所有者修复导致产品格 $M = \prod_j |\mathcal{A}_j|$。因此，我们引入了 CARVE-Q，这是一个受验证者屏蔽的量子 AI 搜索层，它仅将量子最小发现应用于这个黑盒晶格，同时保留所有安全权威的经典。在保守的验证者-预言机模型中，精确的经典最小查找在最坏的情况下需要 $\Theta(M)$ 查询，而 Durr-Hoyer/Grover 最小查找在高概率下使用 $O(\sqrt{M})$ 预言机查询。我们证明了验证者屏蔽的证书健全性、优先级非引出、黑盒查询分离以及有限精度可逆预言机的可构造性。然后，我们展示了 CARVE 修复预言机上最多 65,536 个分配的状态向量最小发现，并在基于 Lanelet2 的交互重放上验证证书保存，并具有 100% 通行权尊重、100% 责备一致性和零优先级误报。结果是一种用于认证自治的受信任限制的量子人工智能模式：量子提出； CARVE 认证。