Definition: Frozen class

The ambiguity class is exactly XIII-C's class of well-defined graphwise contacts

Here $r_I$ is transverse to ${\Delta }_I$, $S_{\Gamma /I}$ is the inherited spectator coefficient with the two remaining field slots, and $D_{\Gamma }$ is the fixed finite graph differential operator.

The external weights are those built from $g,\partial g,{\sigma }_{\epsilon },{\sigma }_{\epsilon }^{\prime },{\sigma }_{\epsilon }^{\prime \prime }$ and the already present smooth graph weights. Contacts are even, have ghost number zero and field degree two, and remain in the existing compact graph closure. They leave the tree datum and inherited observable-subgraph normalizations unchanged.

Only well-defined contact products and pushforwards belong to the class. The bound six is the copied conservative bound, not a new power-counting theorem. The parallel kinetic primitive has the smaller proved normal-order bound four.