The same assignment matrix maps different true ledgers into different readout counts. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Prepared-zero reads are still not all zero
The assignment matrix row for true zero is 3/4 zero reads and 1/4 one reads. From 100 shots, expected counts are 75 and 25.
Nread=(75,25)
The audit mixture maps to sixty-five and thirty-five
The capstone true budget is 4/5 zero and 1/5 one. The same matrix predicts 65 zero reads and 35 one reads.
Nread=(65,35)
An even true mixture stays even after symmetric assignment
With true probabilities 1/2 and 1/2, the symmetric assignment matrix predicts 50 zero reads and 50 one reads.