Exact Counterexamples and Interface Gaps in Quantum Oracle Sketching

This record contains the main manuscript and technical supplement for a version-specific mathematical audit of arXiv:2604.07639v1. The manuscript analyzes the quantum-oracle-sketching proof chain in the public v1 version and identifies exact counterexamples, proof gaps, and interface gaps concerning Theorem D.16/D.99, limited-independence requirements, repeated-use oracle composition, sparse-access interfaces, block-encoding interfaces, and related constructions. The accompanying technical supplement provides exact certificates, repeated-use lemmas, F.23 diagnostics, and a reproducibility protocol. The scope of this record is limited to arXiv:2604.07639v1 and does not assess any later revised version.