The same source shots accept very different readout requests depending only on which upstream budget the audit checks against. 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 coherent shots are the physically honest cap

The same survival and phase source gives 50 coherent shots out of 80 retained shots. Requesting exactly the coherent count as accepted readouts is checked against that coherent budget.

Naccepted=50Ncoherent=50N_{\text{accepted}}=50\le N_{\text{coherent}}=50
Capped at the coherent budgetThe coherent shot count is the source for the accepted-readout cap.5/8coherent3/8dephasedvisible fringe

The same shots, checked against two different budgets

Nothing about the survival or phase source changes between these two rows. Only the budget the accepted-readout request is checked against changes, and that alone changes how many readouts the audit will accept.

sourceNacceptedNzNocoherent503020retained804832\begin{array}{c|c|c|c}\text{source}&N_{\text{accepted}}&N_z&N_o\\\text{coherent}&50&30&20\\\text{retained}&80&48&32\\\end{array}
Capped at the retained budgetThe retained count is the larger, less honest source budget.4/5retained1/5lostsurvival budget

Retained is a real count, but not all of it is coherent

The retained-sourced row accepts 80 readouts, but only 50 of the 80 retained shots were actually coherent. The extra accepted readouts this row allows are counted against dephased shots that never carried a visible phase signal.

NretainedNcoherent=30N_{\text{retained}}-N_{\text{coherent}}=30
The uncovered gapThe gap between the two budgets is dephased, not coherent, shots.5/8coherent3/8dephasedvisible fringe