Finite-jet localization of the defect

For a positive-dimensional $Z$, the transverse jets are functions along $Z$, and supported coefficient defects can have distributional tangential dependence. They are not generally finite-dimensional data.

This formulation makes precise, for the stated module and natural lifts, the relation distinctions discussed in the supplied XV-E account CheungXVE. It does not evaluate the inherited graph's relative obstruction.