A phase-flip training case uses only finite labels and a checked bridge token. 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 bridge is an explicit finite basis flag

The checked basis flag is phase, and the mapped parity word is 110.

basis=phasem=110\mathrm{basis}=\mathrm{phase}\quad m=110
Basis bridgeA visible basis-bridge token is required.basis bridge

The mapped word reuses the same syndrome table

The mapped word has syndrome 01, so correction index 2 restores mapped word 111.

s=01c=2mfixed=111s=01\quad c=2\quad m_{\mathrm{fixed}}=111
Phase correctionThe helper does not compute a Hadamard transform.basis bridge