Manuscript X-Enter@1 · X-Enter.tex · section · 484b71bc
A two-qubit program without pre-combination
Option B: conditional relational inputs › A two-qubit program without pre-combination · lines 1010–1025
Failure has probability and remains reported. No branch is removed. The invariant boundary is the declared coarse record and unit residual, not an exported log of every raw bit.
The circuit is informative about , not globally faithful to : phase periodicity and the evenness of cosine create aliases. Physical informativeness requires admissible invariant values with different cosines. Classical pre-combination avoids those statistical aliases. Neither realization is an exact single-run decoder of a real coefficient.