A phase stage can change the state relation while leaving direct zero/one probabilities unchanged, so a first readout can miss the stored phase. The equality of counts is exact only for the declared balanced state, ideal phase stage, and chosen basis; real devices add phase noise, decoherence, gate error, drift, and finite-shot uncertainty.
A phase stage can preserve direct probabilities while changing what later stages do. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A phase stage can hide from direct counts
After the phase stage, the direct zero and one probabilities remain 1/2 and 1/2.
pzero=21,pone=21
Direct counts stay fixed across the phase stage
The phase row changes the state relation, but the directly measured zero and one budgets still match the balanced row.