Replaying the original and final source: roots, full-class stability, operating contracts and integer preparations...
{
 "checks_passed": 776,
 "seconds": 48.3,
 "admissible_equilibria": 7,
 "final_log10_Omega": 100.1182378153436,
 "final_worst_recovery_bound": 0.0089868125,
 "final_min_normalized_gap": 0.11168008847494394,
 "free_substrate_lower": 149053322082.6957,
 "final_log10_eps_driving": -101.3973979199173,
 "final_log10_rate_box": -98.37400264507606,
 "original_local_gain": 4997966.209240554
}
ALL CHECKS PASSED
Seven positive equilibria, four exact full-class sinks; minimum normalized readout gap 0.111680.
Final sufficient log10(substrate molecules) 111.541; log10(recovery seconds) 31.152.
Illustrative full-network aggregation residual 1.4139480697394902e-09; inventory residual 3.2e-14; SSA {'events': 12634, 'seed': 72, 'system_size': 20, 'exact_inventories_preserved': True, 'completed_horizon': 50.0}.
Sufficient resources are not minimum requirements. No writing protocol or finite-count reversible guarantee is claimed; Lean not rerun.