Manuscript Psy04-B@1 · Psy04-B-v1.tex · section · 62c2b6f0
Finite-sample exclusion conditional on the cut
Finite-sample exclusion conditional on the cut · lines 2051–2057
The record history can include the experimenter's scoring archive. Freshness must hold conditional on that pre-run history, not merely in an unconditional average.
Nearby in this section
- section: Finite-sample exclusion conditional on the cut
- assumption: Assumption: History-conditional fresh cut
- lemma: Lemma: Conditional bounded-score concentration
- theorem: Theorem: Fixed-sample exclusion certificate
- section: Finite-sample exclusion conditional on the cut
- proposition: Proposition: Prospective power
- section: Finite-sample exclusion conditional on the cut
- theorem: Theorem: Anytime-valid version