Stabilizer Audit

Accepted Stabilizer Audit

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=1m_{\mathrm{fixed}}=111\quad c=1
Phase bridge sourceThe round source is cited by the audit check.basis bridge

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.

s=11c=1wfixed=111a=1s=11\quad c=1\quad w_{\mathrm{fixed}}=111\quad a=1
Accepted stabilizer auditEvery required source ref matches its value.stabilizer auditbasis bridge