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.
Naccepted≤Ncoh
Three accepted-readout requests bracket the coherent count
The middle row uses the whole coherent budget. The final request is too large.