Blocked-arm loss is counted against a ceiling. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Path loss is compared with a ceiling

The unblocked row has no lost photons.

m=Nmax lostNlostm=N_{\max\ \text{lost}}-N_{\text{lost}}
No path lossSame-phase interference has no blocked arm.1/2upper1/2lower1bright0dark0lostphase

Blocked-arm rows bracket the loss ceiling

Blocking half of eight photons is the boundary. Blocking half of twelve exceeds it.

NinNlostmgate804pass840pass1262fail\begin{array}{c|c|c|c}N_{\text{in}}&N_{\text{lost}}&m&\text{gate}\\8&0&4&\text{pass}\\8&4&0&\text{pass}\\12&6&-2&\text{fail}\\\end{array}
Loss boundaryFour lost photons exactly meet the ceiling.1/2upper1/2lower1/4bright1/4dark1/2lostphase

The larger blocked packet exceeds the loss ceiling

The interferometer helper closes bright plus dark plus lost counts before the gate is checked.

m=2failm=-2\quad \text{fail}
Over loss ceilingSix lost photons are too many.1/2upper1/2lower1/4bright1/4dark1/2lostphase