Supported normal jets

The supplied XIV-J reference applies to $K_{\mathrm{supp}}$, not $K_{\mathrm{ret}}$, on $U\setminus N_U$ CheungXIVJ. Its reported wavefront bound adds response-normal covectors and the two traceable cross-line conormals. The hypotheses must be checked from the complete local chart; the source summary alone is not that check.