Source symbolic/rational checks: 74 PASS
Candidate lists: [['2', '3'], ['1']] ; mixed/block order: [] / [1]
Loaded reactor: ('11/5', '17/10', '17/10') ; floor limit 29/1100 ; positive-branch limit 39/1100
Conditional concentration error: 1/50 micromolar; ellipsoid: certified_forward_invariant ; initial inside: True
Equilibrium floors do not automatically hold along transients. Private release preserves steady-state geometry, not trajectories or storage. Illustrative rates; Lean not rerun.