Retained quantum identity

The symmetry-defect ledger keeps ST4a, local ${\Gamma }_1$ matching, separate from ST4b. They are tasks to be tested, not a forced reduction. The defect has ghost number $1$. An admitted counterterm has ghost number $0$. The organization D01+D02+D03 is a candidate only. The matched counterterm set is empty.

The counterterm ledgers are parameterized bookkeeping slots, not a certified independent basis. independence_proven stays false. The matched set stays empty. Three layers stay separate: frozen classical source vertices, which are excluded from one-loop free slots; calculated one-loop source amplitudes, which are Unresolved; and admitted counterterms with explicit $\hslash$ and $\kappa$ orders. The flag for an ST4a local-matching slot is true only when the grading contains ghost number $0$ and the role is not a tree seed. The unconditional escape or True is withdrawn.