Recycling m=2: capacity infimum 3/2; design Phi=7/4.
Unit design kp=['3', '7'], km=['2', '6'], current=1.
Reverse-budget feasible: True; optimum=7/4.
Fixed equilibrium constants give reference state ['2', '3'].
Rooted counterexample: two global maxima; unit internal determinant=-15/2.
Second maximum Phi=96/25<4 but f=['10', '18', '-6'] is not forward.
Stationary production, uniqueness, and dynamical attraction are separate questions.
Exact algebraic witnesses and numerical trajectories; no Lean proof rerun.