Repairs made in the final formulation

Outcome selection. The manuscript takes the plan's unresolved alternative. It does not turn a proposed title or target into a proved construction.

Numbering. XV-B denotes the supplied technical-continuation manuscript. Older downstream exit language is retained only as an admission boundary.

Evidence. A broad retrieval inventory is not treated as the complete text of every retrieved manuscript.

Branch counting. $K_{47}$ groups two original branches; the two $K_5$ placements belong to one original branch. The supported sector is not the full retained sum.

Local versus full relations. The normal-jet null criterion is complete for its explicitly defined module only. No complete generating claim about the inherited $\ker \mathsf{Rec}$ is made.

Tangential annihilators. Coefficient equations remain equations in ${\mathcal{D}}^{\prime }(X)$. Smooth multiplication of a fixed nonzero distribution is not assumed injective.

Extendability versus admissibility. The test-function estimate is equivalent to unrestricted distributional extension. It is not equivalent to membership in the frozen graph prescription class.

Simultaneous maps. Pointwise extension of every displayed coefficient does not itself construct a continuous linear operation on the entire inherited presentation space.

Support. The supported coefficient theorem explicitly requires support on the response incidence. Additional characteristic terms outside that incidence are not silently discarded.

Domain. The canonical open domain is not identified with an entire characteristic complement.

Estimates. Ordinary finite distributional order, response-normal order, internal frequency degree, and target transverse degree remain distinct.

Prescription. The retarded pole, propagators, carrier, ambiguity class, and normalization are not changed. Hahn–Banach choices are not selected as a graph regulator or finite part.

Obstruction. A separated-contact witness is stated as a conditional test. No witness or exhaustive no-go class for the actual graph is invented.

Admission. The coefficient is not asserted to be nonexistent. It is not constructed or admitted in this release.