Accepted readout requests must fit the coherent source budget. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Accepted readouts cannot exceed the coherent budget

The upstream phase budget supplies the coherent count. The accepted readout request is checked against that source.

NacceptedNcohN_{\text{accepted}}\le N_{\text{coh}}
Accepted readout capacityAccepted readouts are compared with the coherent source budget.windowsignaloverlaptrue probabilitieszero 3/5one 2/5assignmentobserved probszero 3/5one 2/5over 30 shots18 zero reads12 one readsprep -> ctrl -> phase -> read

Three accepted-readout requests bracket the coherent count

The middle row uses the whole coherent budget. The final request is too large.

NrequestNcohmgate304515pass45450pass50455fail\begin{array}{c|c|c|c}N_{\text{request}}&N_{\text{coh}}&m&\text{gate}\\30&45&15&\text{pass}\\45&45&0&\text{pass}\\50&45&-5&\text{fail}\\\end{array}
Capacity boundaryAccepted readouts are compared with the coherent source budget.windowsignaloverlaptrue probabilitieszero 3/5one 2/5assignmentobserved probszero 3/5one 2/5over 45 shots27 zero reads18 one readsprep -> ctrl -> phase -> read

The final request is not passed to the audit helper

The prediction can be counted, but the source-bound audit would reject more accepted readouts than coherent shots.

m=5failm=-5\quad \text{fail}
Capacity failureAccepted readouts are compared with the coherent source budget.true probabilitieszero 3/5one 2/5assignmentobserved probszero 3/5one 2/5over 50 shots30 zero reads20 one reads