Gaussian control: 10k draws, seed 20260905, coverage=0.8000.
Seed: 20260905 (fixed, recorded) Draws: 10,000 standard-normal
q10 = -1.2673
q90 = 1.2796
Bound | Simulated Coverage | Expected | Outside-Band Rate |
|---|---|---|---|
q10/q90 (nominal 80%) | 0.8000 | 0.80 | 0.2000 |
Code: rng = np.random.default_rng(seed=20260905); draws = rng.standard_normal(10000)
Quantiles: np.percentile(draws, [10, 90])
Coverage: fraction of draws within [q10, q90]