The coherent fraction can pass, meet, or fail a visible-count floor. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Visibility is an ideal count scaled by coherent fraction
The ideal count is fixed while the coherent share changes across the rows.
Nvisible=Nidealfcoh
Three coherent shares bracket the minimum visible signal
The boundary row is accepted by equality; the final row is below the minimum.
Ncoh805020fcoh18541Nvis402510m150−15
The low-coherence row fails the visible-count minimum
The phase-visibility helper computes the smaller count; the lesson gate only compares it with the minimum.