hoeffding matrix [0.3623756968764834, 1.497817961637643]
hoeffding cancelled [0.5034354334731796, 1.1907747008204304]
kl matrix [0.48094996966966147, 1.2691659349780189]
kl cancelled [0.5782587403550983, 1.0915852750775206]
Exact immediate population inverse works for all retained states; delayed inversion retains interruptions.
Prospective full-box 150000: {'null': [-0.144828694934, 0.144828694934], 'alt': [0.407270308787, 1.31356799607], 'ok': True}
All inputs are synthetic. Exact interval endpoints are audited at n*KL >= L. Numerical extinction is not an interval certificate; Lean not rerun.