A three-row basis scan separates the state from the measurement question. 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 plus-x state is balanced in the z basis
The same physical state can be asked a z question first. For the plus-x state the answer row is balanced.
P↑=21,P↓=21
A basis scan changes the question, not the state by caption
The rows compare three checked questions. The x and y rows become definite only when the state and basis match.
The plus-y state also has balanced direct z probabilities, but its y-basis row is definite. The phase in the state decides which basis can read it cleanly.