The frozen ambiguity class

For an inventory graph let $y$ be the interaction vertex. Connected collision subsets $I$ containing $y$ define

The inherited class includes their relevant intersections and contracted loci, while observable-only subgraph normalizations are retained.

Before pushforward, an allowed contact change has the form

subject to XIII-C's conditions: inherited smooth external weights, retained spectator graph, even parity, ghost number zero, two residual field slots, compact graph closure, and unchanged tree and observable-subgraph normalizations. Only defined products and pushforwards belong to ${\mathfrak{C}}_{\mathrm{part}}$.

The spectator need not be smooth in tangential variables. The bound six is the frozen conservative bound; an established degree can impose a smaller locus-specific bound.

The class controls permitted differences of constructions. It does not by itself select a reference distribution across the noncoincident characteristic set.