E2: transverse estimates, explicitly unfinished

For example, a partial collision $y=z$ has codimension four while an observation vertex $x$ remains tangential and may satisfy $x\ne z$. A degree-four point-contact classification at the total diagonal says nothing by itself about the singular dependence on this uncollapsed variable.

The inherited primitive statement is retained:

Its finite contact ambiguity has normal derivative order at most four XIIIC. That primitive extension is not repeated.

The graph expression $2E_I+D_I$ remains a superficial checklist. It is not substituted for the uniform estimates of Definition def:transverse.

The available submanifold extension theorems assume an already defined off-submanifold distribution and appropriate scaling and microlocal bounds BF,Dang (Sections 5–6). Here the prerequisite distribution at the characteristic configuration is missing. Those theorems cannot discharge E1.