Small Circuit Audit

Audit Residual Flags Drift

mismatch is a separate number

A residual compares new counts with the calibrated prediction without changing the state model. 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 baseline prediction is exact

The calibrated baseline expects 57 zero reads and 23 one reads.

Nzero=57,None=23N_{\text{zero}}=57,\quad N_{\text{one}}=23
Baseline predictionThe audit uses one checked prediction source.true probabilitieszero 3/4one 1/4assignmentobserved probszero 57/80one 23/80over 80 shots57 zero reads23 one readsprep -> ctrl -> couple -> read

Residual rows compare expected and new counts

The residual is computed as a count difference; it does not rewrite the quantum state model.

rowNzeroNoneexpected5723new5228residual55\begin{array}{c|c|c}\text{row}&N_{\text{zero}}&N_{\text{one}}\\\text{expected}&57&23\\\text{new}&52&28\\\text{residual}&5&5\\\end{array}
Residual scanThe difference row is outside the state claim.true probabilitieszero 3/4one 1/4assignmentobserved probszero 57/80one 23/80over 80 shots57 zero reads23 one readsprep -> ctrl -> couple -> read

New counts leave a residual

New counts 52 and 28 differ by residuals 5 and 5.

ΔNzero=5,ΔNone=5\Delta N_{\text{zero}}=5,\quad \Delta N_{\text{one}}=5
Residual flags driftThe residual is computed outside the quantum state claim.true probabilitieszero 3/4one 1/4assignmentobserved probszero 57/80one 23/80over 80 shots57 zero reads23 one readsprep -> ctrl -> couple -> read