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=00s_{0}=00\quad s_{1}=11\quad s_{2}=00
One-round blipThe later round returns to baseline.syndrome rounds

A blip keeps the no-correction index

The single-blip readings keep correction index -1.

c=1c=-1
Check-fault decisionNo data carrier is corrected from one blip.syndrome rounds