The acceptance gate accepts equality and rejects below-minimum coverage. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Equality at the minimum accepts
The minimum is 3x, and the accepted row computes exactly 3x.
3≥3
Two-x coverage is below the same minimum
The rejected contrast uses 16 unique reads, giving 2x and accepted bit 0.