Manuscript X-Enter@1 · X-Enter.tex · scope · 484b71bc
Option B status
Option B: conditional relational inputs › A two-qubit program without pre-combination · lines 1026–1031
B status{ The conditional programs and their selective maps are proved. A named physical , its witness charge, and, for whole-algebra closure, the matching condition (eq:matching) remain missing. The convolution application is unresolved. The ramp comparison does not supply the missing input.}