Certified selective interventions and closed-RAF structure in a pooled prokaryotic network

We give a source-specific, computer-assisted analysis of catalytic food-generated reaction structure in a pooled prokaryotic network with 6,039 reaction actions and 9,231 directed reactions. A three-action intervention prevents structural L-valine production while preserving L-methionine production. Ranked restoration witnesses prove inclusion-minimality. An 18species siphon makes the obstruction independent of catalyst annotations and robust to food additions outside the siphon; with catalyst weakening, the same witnesses establish robust selective minimality. In a ten-reaction valine subsystem, the irreducible RAFs are two singleton seeds, the sole valine-producing RAF is the full subsystem, and there are exactly two closed RAFs. Adding one food-enabled pooling operation collapses this closed-RAF catalogue to one element and identifies the parent closed extensions of the two closed subsets. We also give a constructive lower-bound/RAF upper-bound criterion for parent closed-RAF uniqueness and reproduce equality of the corresponding reaction sets before and after intervention. Conventional proofs are accompanied by Lean certificates for the stated formalized results and a separate audit against the pinned source. The conclusions concern structural generation under an explicit medium, not reactor depletion or concentration equilibria.