A single syndrome blip followed by a return to baseline is treated as a check fault, so the data qubits are not corrected. The classification is exact only for the stated three-round pattern; real hardware must estimate readout faults, transient noise, leakage, timing effects, and decoder confidence.
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.