Rebuilding the two-site rational risk and covariance-response boxes...
Rebuilding 41 smooth-readout slope cells, with full 153-state witnesses...
Reintegrating both 300-time-unit PGFs with outward integer Taylor arithmetic...
Two-site AA eventual risks: J 0.2207216..0.2207253; I 0.3351447..0.3351496.
Hit 300 by time 300: J > 0.765045; I < 0.680881.
N=16, slope 7..9: extinction gap > 0.012848; hit-2000 gap > 0.012243.
Edited scenario covered by fixed two-site source: True. All exact certificates rebuilt; numerical sweeps are diagnostics; Lean not rerun.