Start the audit before readout error so the ideal state budget is visible. The
toy circuit uses probabilities 3/4 for zero and 1/4 for one, then carries that
budget into the calibrated 80-shot count check of 57 and 23; real hardware adds
preparation error, drift, decoherence, calibration limits, and shot uncertainty.
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=43,pone=41
The state budget becomes expected counts
The scan starts with ideal probabilities, then shows the calibrated count budget used by the audit.