Gate 5: physical normalization and scale transport

Determine $B(\ker L)$ and a physically calibrated quotient class or invariant test. Keep preparation fixed. Prove the total RG transport, including insertion and state transport, instead of reading a beta function from explicit $\mu$ dependence.

condition. A complete finite-renormalization ledger and a proved statement of what survives all compatible changes.

not release. A graph-specific curvature-span obstruction, divergence formula, or subtraction-scale family is not a full renormalizability theorem, physical beta function, or broad matched-scale release.