Exact interfaces for modular autocatalytic networks
All certificates, chain balances and finite messages use rational/finite arithmetic.
At q=4: N1+N1 infeasible; N2+N1 feasible
Two-port coefficients: {'forward': '800/1489', 'backward': '400/4467', 'left_leak': '888/1489', 'right_leak': '587/4467'}
Internal steady residuals: (Fraction(0, 1), Fraction(0, 1), Fraction(0, 1))
Star states: {1: 'extinction', 2: 'growth', 3: 'growth', 4: 'growth'}
Valid finite message: [(0,), (1,)]
Invalid join tree: Running intersection fails at left
Cardinality-summary collision, context verdicts: [True, False]
Not a re-execution of the Lean proofs; not a nonlinear kinetic model.