An accepted audit is the boring case where every source agrees. The pinned
ledger has syndrome 11, correction index 1, phase mapping back to 111, and
fixed word 111, so the accepted bit is 1; hardware runs still need repeated
rounds because stabilizer measurements and gates are noisy.
The final acceptance token appears only after code, correction, phase, and rounds agree. 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 phase bridge source is part of the audit
The phase source restores mapped word 111, and the round source gives correction index 1.
mfixed=111c=1
All cited fields agree in the accepted audit
The accepted audit has syndrome 11, correction index 1, and fixed word 111. The accepted bit is 1.