Permanence and composition control for self-limited consumers coupled to a dynamic resource network

We study finitely many consumers that copy themselves from a shared resource, are each separately self-limited, and are coupled to a four-variable mass-action network that produces the resource. We prove positive global existence and uniform permanence from every strictly positive initial state, first with a maintained copying precursor and then with an explicitly consumed, replenished reservoir. The conclusions hold for every number $n\ge2$ of consumers, on a reference parameter interval, and on a full neighborhood in which every directed reaction rate varies independently. No equilibrium, convergence, invasion-rate, or fast-reservoir assumption is imposed on the resource network. The proof combines a bounded resident potential, a quadratic reservoir correction, and a scalar quotient comparison that converts persistence of the total consumer abundance into persistence of every individual consumer; the comparison yields an individual floor that is linear in the aggregate floor. For the reference normalization, composition restoration then gives a floor of order $1/n$ with a constant independent of $n$. We also establish a source-level extension in which arbitrary positive self-limitation coefficients prescribe arbitrary target proportions, time-averaged supply and finite-inventory bounds, a small-supply stationary branch, an exact rational local operating certificate, and a negative control showing that removing self-limitation restores competitive exclusion. The five source endpoints, the sharpened recovery bounds, the composition consequences and the negative control are checked in Lean 4 against the literal mass-action field; the remaining analytic consequences and rational certificates have conventional proofs given here. The model is an effective, externally supplied reaction system, not a thermodynamic or finite-population realization.