Monitor with a rule whose error guarantee survives stopping
Contrast naïve repeated fixed-horizon tests with predeclared multiple looks and valid confidence sequences.
On this page
The question for today
What you’ll understand
- Explain why repeated ordinary significance checks alter error rates.
- Apply a finite predeclared look budget with valid per-look tests.
- State a simultaneous confidence-sequence guarantee and its assumptions.
Operational dashboards update continuously, but a fixed-horizon p-value is calibrated for its specified analysis, not for stopping whenever a promising fluctuation appears. Repeatedly peeking and then reporting the first ordinary significant result can inflate false positives. Monitoring can still be valid when its inference procedure and stopping rules are designed for that use. Choose the estimand, allocation, outcome maturity, analysis opportunities, and decision boundaries before looking at treatment lift, and keep emergency operational protection distinct from a claim of statistically established benefit.
A fixed-time guarantee is not an anytime guarantee
At one prespecified valid analysis, a level-α test bounds its false-positive probability under the null. Testing the same accumulating experiment at many times creates multiple chances to cross the threshold. Those tests are usually dependent, so an independence formula is not a universal description of peeking. The important point is that marginal validity at each time does not imply that the probability of any rejection over the run stays below α.
One simple conservative solution declares a finite set of L look times and assigns each look a portion of the total error budget. If every per-look p-value is valid under the null at its declared analysis time, the union bound controls the probability of any false rejection without requiring the looks to be independent. Arbitrarily adding more looks after seeing an almost-significant result is outside that declared guarantee unless the design already reserves and allocates the necessary error.
Confidence sequences target simultaneous coverage
A confidence sequence is built to cover the target parameter simultaneously across the allowed observation times with a stated probability. Its construction must match the data process: boundedness or moment conditions, randomization or sampling assumptions, dependence, and any adaptive allocation. A fixed-sample confidence interval printed at every timestamp is not a confidence sequence merely because the chart is animated. Use a validated construction rather than changing the label on an ordinary interval.
A valid sequential method can support a stopping rule based on its bounds, such as stopping for benefit when the lower bound exceeds a practical threshold. It still needs an appropriate causal estimand and complete or modeled outcomes. Delayed feedback, treatment-dependent missingness, and a changing user population are not repaired automatically by optional-stopping validity. Multiple metrics, model variants, and repeated experiment restarts also need an error-control plan if the decision claims rely on them.
Predeclare statistical and operational stopping separately
An experiment may have a safety stop for severe latency, error, or other operational regressions even when it is not ready to claim benefit. Record such a stop and its reason, and do not present the truncated result as though the originally planned fixed-horizon analysis completed unchanged. Likewise, a futility rule can save resources without proving the effect is exactly zero. The interpretation depends on the rule and the available uncertainty.
Document what counts as a look, when outcomes are mature enough to enter, what happens when a data-quality alarm fires, and how a stopped experiment is reported. Preserve the entire trajectory and the procedure version, not only the most favorable timestamp. A good monitoring system makes it easy to protect users while being honest about which statistical conclusions the stopped data support.
Work it through
Five planned looks share one false-positive budget
Before enrollment, declare five fixed analysis opportunities and a total two-sided false-positive budget α=0.05. Allocate it equally with valid per-look tests. The first two observed p-values are 0.020 and 0.009.
Equal allocation gives a per-look threshold 0.05/5=0.01. By the union bound, five null-valid look-specific rejection events have total false-positive probability at most 5×0.01=0.05, even when the looks are dependent.
The first p-value 0.020 is below an ordinary 0.05 threshold but above the declared 0.01 boundary, so it does not reject. Reporting success there would contradict the experiment’s planned monitoring rule.
The second p-value 0.009 is below 0.01, so the declared rule permits rejection at that look. The conclusion retains its stated design assumptions and metric definition; it does not authorize unbudgeted extra variants or arbitrary new outcome searches.
The valid stopping decision follows the predeclared 0.01 boundaries, not the first timestamp where p happens to fall below 0.05.
The living notebook
Explore the model
Interactive lab · probability
Repeated opportunities accumulate false-alarm risk in a toy
Reset, set Success probability p to 0.05 and Trials n to 1. Predict chance of at least one success 0.05 before Step. Reset, set p to 0.05 and n to 10; predict 1−0.95¹⁰≈0.401263 before Step. Playback highlights exact binomial outcomes. This assumes independent alarm opportunities and does not model the dependent looks of one A/B test or implement a sequential-valid procedure.
- Mean · np
- 5
- Variance · np(1−p)
- 2.5
- Total probability
- 1
These are exact binomial probabilities for independent trials with one fixed success probability. Playback tours the distribution; it does not resample outcomes. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forMany chances to cross a threshold need a calibrated joint rule; the exact 40.13% number belongs only to this independent toy.
Pause & reason
Check your understanding
Your turn
Try it yourself
Four fixed looks share total α=0.04 equally. Their valid p-values arrive as 0.018,0.013,0.009,0.020. Under a stop-at-first-rejection rule, identify the threshold and stopping look.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Divide the total budget by the declared number of looks, without treating the looks as independent.
Compare with the solution
Each boundary is 0.04/4=0.01. The first two p-values do not reject, and the third, 0.009, crosses the boundary, so the rule stops at look 3. The unused fourth opportunity does not allow retroactively loosening earlier thresholds; the four-look union bound is already part of the planned guarantee.
Keep the idea
Take it with you
- Fixed-time validity does not automatically survive optional stopping.
- Finite look budgets and valid confidence sequences offer explicit alternatives.
- Sequential validity does not repair bad logging, censoring, or causal design.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.