A balanced control followed by a coupling stage acts on the whole two-qubit amplitude table, not on two isolated ledgers. The table update is exact only for the declared control, target, and coupling map; real gates carry pulse error, decoherence, leakage, cross-talk, and readout uncertainty.
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.