A checked coupling map acts on the whole joint state. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Coupling changes the joint table
A controlled map sends the balanced control and zero target into a joint table with two nonzero cells.
CNOT(∣+⟩∣0⟩)
Only the matched joint cells carry probability
The coupled output is visible as two populated diagonal cells and two empty off-diagonal cells.