The supported-sector result remains a copied partial result

XIV-J constructs a grouped reference for $K_{\mathrm{supp}}$ on $U\setminus N_U$, with an exact normal-jet formula. It also proves a conditional equivalence between a supported normal-order-preserving extension and extensions of its collected coefficient array. Neither result supplies the full $\mathsf{M}$ of Definition def:mapclass.

No new estimate from those results is made here. In particular, the finite normal-jet count is not a transverse degree of the full coefficient, and a conditional coefficient interface is not an extension prescription. The class still includes $K_{47}$ and both $K_5$ placements.

P4 closes the documentary target and clause gaps, and fixes the patch stress convention. It does not close the characteristic-map gate which those clauses define.