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.