Why zero invalid acceptances is non-informative here

This is $8613$ attempted shots across the three settings on an all-pass dataset. It is not a claim of laboratory execution, and noisy datasets can require more shots or fail this certificate. An actual outward-bracket implementation should check acceptance on its returned $F_L$, rather than assume acceptance solely from the analytic integer threshold.