The audit starts with the ideal state budget before classical readout error. 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 ideal state budget comes first

Before readout error, the ideal probabilities are 3/4 for zero and 1/4 for one.

pzero=34,pone=14p_{\text{zero}}=\frac{3}{4},\quad p_{\text{one}}=\frac{1}{4}
Audit stage orderThe stage order is checked before the counts.true probabilitieszero 3/4one 1/4assignmentobserved probszero 57/80one 23/80over 80 shots57 zero reads23 one readsprep -> ctrl -> couple -> read

The state budget becomes expected counts

The scan starts with ideal probabilities, then shows the calibrated count budget used by the audit.

rowzeroonetotalideal p34141observed p578023801expected N572380\begin{array}{c|c|c|c}\text{row}&\text{zero}&\text{one}&\text{total}\\\text{ideal }p&\frac{3}{4}&\frac{1}{4}&1\\\text{observed }p&\frac{57}{80}&\frac{23}{80}&1\\\text{expected }N&57&23&80\\\end{array}
State-to-count scanThe audit diagram supplies the ordered source rows.true probabilitieszero 3/4one 1/4assignmentobserved probszero 57/80one 23/80over 80 shots57 zero reads23 one readsprep -> ctrl -> couple -> read

The expected counts follow from the budget

After the channel, the expected counts over 80 shots are 57 and 23.

Nzero=57,None=23N_{\text{zero}}=57,\quad N_{\text{one}}=23
Expected count budgetThe counts are the checked matrix product.true probabilitieszero 3/4one 1/4assignmentobserved probszero 57/80one 23/80over 80 shots57 zero reads23 one readsprep -> ctrl -> couple -> read