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.