A single inconsistent round is treated as a check fault, not a carrier repair. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A single blip is not a data correction
The readings are 00, 11, and 00.
s0=00s1=11s2=00
A blip keeps the no-correction index
The single-blip readings keep correction index -1.