The recovered partial-diagonal class

The supplied XIII-C definition allows graphwise contact changes, before pushforward, of the form

The relative coordinates $r_I$ are transverse to the declared partial diagonal. The spectator coefficient $S_{\Gamma /I}$ retains the remaining field slots and can be singular. The smooth weights are built from the already prescribed switches and graph weights. The class retains the specified compact graph support, parity, ghost number, field degree, tree datum, and observable subgraph normalizations. Only well-defined products and pushforwards of (eq:partialcontacts) belong to the class CheungXIIIC.

This recovered definition prevents treating the entire ambiguity as missing merely because it was not transcribed in the original XV-B excerpt. It does not identify (eq:jetambiguity) or (eq:pointmapcorrection) with an allowed graphwise correction.

Moreover, a support statement before pushforward in graph variables is not automatically the contact-support hypothesis in the attachment space $W$. Applying Theorem thm:contact requires an explicit transport of the relevant supports and operations to one declared ambient interface.