Finite-sample exclusion conditional on the cut

Repeated inspection with the unadjusted fixed-$N$ radius is not justified by Theorem thm:test. Multiple delays or protocols likewise need a confidence allocation or an independent assessment block.

If a pre-assessment calibration event has failure probability at most ${\delta }_{\mathrm{cal}}$, and the conditional assumptions hold on that event, total false-certificate probability is at most $\delta +{\delta }_{\mathrm{cal}}$.

A score array does not verify freshness, causal access, cut completeness, or capacity. It rejects their conjunction with the other null hypotheses at the stated level.