A residual is a counted difference after calibration, not a rewrite of the quantum 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
The audit starts with one calibrated prediction
The calibrated baseline expects 57 zero reads and 23 one reads over 80 shots.
Nzero=57,None=23
A small drift is a counted difference
New counts 55 and 25 leave residuals 2 and 2.
ΔNzero=2,ΔNone=2
Three residual rows separate baseline from drift
The residual rows compare count differences only. They do not change the prepared state, the coupling map, or the readout assignment matrix.