Finite-sample exclusion conditional on the cut

Let ${\mathcal{F}}_i$ contain the completed attempted-run history through run $i$. Scores are finalized by the predeclared complete-record rule. The unit of assessment is the attempted run, not each gate, storage step, or within-run observation.