A precise conservative counterterm class

The numerical bounds in this conservative class are definitions, not claims that power counting has classified all possible renormalizations. The class is frozen before any evaluation is used. It does not include arbitrary auxiliary or ghost corrections.

A smooth coefficient supported in the ramp is legal when it can be built from the listed ramp jets. The classical no-ramp companion lemma does not prohibit such a quantum counterterm.

Each counterterm in (eq:counterterms) is itself compact and microcausal: its quadratic local kernel has balanced covectors. This proves admission of the allowed ambiguities, not existence of a distribution to which they can be added.

In particular, an internal partial collision diagonal is not the total graph diagonal. If extension at a partial collision requires a larger ambiguity class, that class must be declared separately; it is not silently included in C_{tot}.