Purpose, inputs, and the essential qualification

VII-D's strong finite-part construction and VII-H's explicitly restricted counterterm space are methodological comparisons CheungVIID,CheungVIIH. Their numerical kernels and contact classes are not imported. Similarly, the relative-lifting and normal-jet distinctions in XV-B motivate a compatibility check, not an identification with its characteristic graph CheungXVB.

dependencies. The displayed regular coefficients in Section sec:data are the input identified with the Friedrichs state by the cited companions. Every assertion about their distributional extension, cutoff limit, Ward repair, scaling, and contact classification is proved below. No missing interacting product or characteristic composition is used.