Stabilizer Audit
A stabilizer audit is a source-ref chain, not a final caption. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
The code source says the protected word is 111.
The error word is 101 with syndrome 11.
The lookup repairs the word to 111.