General punctures: the relative estimate

None of the results of this section is transferred to ${\mathcal{P}}_{\mathrm{int}}$: the record does not say whether $\ker \mathsf{Rec}$ contains annihilator-type relations, nor whether the actual target carries a finite normal-jet structure along a puncture.