Claims 1-4: at-scale sharp empirical-Bernstein variance CS — no-independence coverage (4 dependent processes), 5-law anytime coverage, Cor 4.8 fixed-horizon sharpness converging to oracle constant (rel.err 0.018 at n=3e5), R^{5,10,20} Bennett CS; two negative controls
cff11f0 verified 
