Exact material, inventory, guarded-growth, thermochemical and backward-weight identities passed.
Each node, each routine cycle: I output >= 1/28 and free X >= 1/160; these outputs overlap.
32 cycles plus conditioning: actual net synthesis 203.871; theorem lower bound 11/35.
Global inventory residual 0; independent solver difference 1.13e-09.
Worked mission requires 11 cycles; budgets fund 12.
Selective-X witness has negative Y drift at a shared minimum; no extinction conclusion follows.