Three named-pulse rows keep map domains and output probabilities source-bound. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The flip pulse maps zero to one
The first row uses the reviewed flip-pulse domain: zero in, one out.
X∣0⟩=∣1⟩
Three named-pulse rows keep the domain explicit
The balance-from-one row is not the same as the balance-from-zero row. Its output probabilities are still checked exactly.
rFzFoBoz0121o1021
Signed balance from one is a separate reviewed name
The signed balance row outputs equal probabilities but keeps its own pulse name and input-domain rule.