Replaying exact construction, all rational witnesses, and local interval bounds.
Exact benchmark unstable counts: [0, 1, 0, 1, 0]
Fresh independent-parameter certificate: True ; tenfold envelope seconds: [356051, 32917295, 23432516]
Source checks: 2365 ; equilibrium capacity is 2n-1, stable-equilibrium capacity n. Neither theorem bounds periodic attractors or stochastic memory retention. Lean not rerun.