The observed readout distribution is a checked matrix-vector product. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Calibration changes the visible probabilities
The assignment matrix maps true probabilities to observed probabilities 29/40 and 11/40.
pobs=(4029,4011)
Observed is not the same as true
The true zero probability is 3/4, while the observed zero probability is 29/40.