Three source sizes run through the same checked channel, leakage, phase, and readout chain. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Fifty input shots close as forty retained shots
The full audit starts from 50 shots. After bit flip and leakage, 40 retained shots feed readout, predicting 26 zero reads and 14 one reads.
Nread=(26,14)
One hundred input shots close as eighty retained shots
The base audit starts from 100 shots and retains 80. Readout predicts 52 zero reads and 28 one reads.
Nread=(52,28)
One hundred fifty input shots close as one hundred twenty retained shots
Scaling the source to 150 shots retains 120 after leakage. The readout ledger becomes 78 zero and 42 one reads.