CARVE-Q: 양자 제안, 클래스적으로 인증된 인터랙티브 드라이브 리퍼어

자동차 제어에 대한 검토와 veto(차량 제어를 거부) 이후의 문제는 단순히 안전한 조작이 불가능한지 여부가 아니라, 차량 제어를 거부한 상호작용이 법적, 감사 가능한, 책임을 부여 받은修리(수리)를 허용하는지 여부를 결정해야 한다. 예측과 게임 이론 기반 계획자는 합리적인 협력을 제안할 수 있지만, 수리(수리)가 어려운 규칙, 우선 순위, 비용 배분 및 이고(ego, 나) fallback(백업)을 준수하는지를 증명하지 못한다. 우리는 CARVE(구체화된 비용 효율적인 제어를 거부 한 조작의 수리(수리)를 위한velope)), prediction-free interactive repair를 위한 certificate architecture를 제시한다. 제어를 거부 한 조작이 주어졌을 때, CARVE는 유한한 수리(수리) 격자와 제어를 거부 한 조작의 수리(수리)를 위한 구조화된 certificate를 생성하고, 규칙, 선택된 공동 수리(수리), 우선 순위 스케일링 협력 envelope, 책임을 부여 받은 비용 분할, 이고(ego, 나) fallback를 기록한다. 이 certificate view는 algorithmic bottleneck를 드러낸다: 다중 소유자 수리(수리)는 product lattice $M = \prod_j |\mathcal{A}_j|$를 유도한다. 우리는 CARVE-Q(구체화된 제어를 거부 한 조작의 수리(수리)를 위한 CARVE의 verifier-shielded quantum-AI search layer를 소개한다. CARVE-Q는 quantum minimum finding을 black-box lattice에만 적용하고, 모든 안전 권한을 classical로 유지한다. conservatively verifier-oracle model에서, exact classical minimum finding은 최악의 경우 $\Theta(M)$ queries가 필요하지만, Durr-Hoyer/Grover minimum finding은 $O(\sqrt{M})$ oracle queries를 사용하며 high probability를 보인다. 우리는 verifier-shielded certificate soundness, priority non-elicitation, black-box query separation, finite-precision reversible-oracle constructibility를 증명한다. 다음으로, 우리는 CARVE repair oracles에서 state-vector minimum finding을 65,536 assignment까지 수행하고, Lanelet2-grounded INTERACTION replay에서 100% 우선 순위에 대한 존중, 100% 책임에 대한 일치, zero priority false positives를 보장한다. 결과는 신뢰할 수 있는 양자-AI 패턴으로, 양자-AI가 제안하고, CARVE가 인증한다.