The joint-state coupling claim and the readout channel claim stay separate. 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 state before readout

The coupling stage creates a non-product joint table before any classical assignment matrix is applied.

couple before readout\text{couple before readout}
Couple before readoutThe determinant checks the joint-state claim.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The coupling claim is checked before calibration

The determinant row belongs to the quantum stage; the readout row belongs to the later classical stage.

stagenumberclaimcoupling12det0readout80countsorder2separate\begin{array}{c|c|c}\text{stage}&\text{number}&\text{claim}\\\text{coupling}&\frac{1}{2}&\det\neq0\\\text{readout}&80&\text{counts}\\\text{order}&2&\text{separate}\\\end{array}
Coupling-before-readout scanThe determinant is read before calibration rows.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The determinant closes the coupling claim

The determinant is 1/2, so the state is not product before readout.

det=12\det=\frac{1}{2}
Coupling auditThe non-product flag follows the determinant.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product