{"id":"arxiv/2609.13839","url":"https://arxiv.org/abs/2609.13839","tags":["quant-ph","cs.SE"],"score":0,"title":"What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers","domain":"quant-ph","source":"arxiv","authors":["Furqan Nasir","Arif Shah","Iftikhar Alam"],"reviews":0,"subject":"quant-ph","summary":"Quantum compilers face the test oracle problem, judged by an output-equivalence oracle: the compiled circuit must compute the same unitary as the original, modulo global phase and a qubit-layout permutation. This oracle, by construction, checks only that semantic map, not the circuit's own layout, permutation, or phase records: a defect there, or in a fixed-seed run's determinism, can pass unseen though the record is public. This empirical software engineering study of quantum transpiler correctness uses repository mining to measure how often this happens in real merged compiler fixes: a…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}