Manuscript XV-E@1 · XV-E.tex · section · a3dc45f5

Correction class, contacts, and graph-level estimates

Correction class, contacts, and graph-level estimates · lines 1068–1084

Back to manuscript

For the actual graph, is undefined (D0.16–D0.17), so neither nor is evaluable; XV-B's relative-lifting criterion cannot be instantiated. For the jet module, Corollary cor:relob records the exact situation. No obstruction and no cancellation is asserted for the graph.

The complete-graph estimates require the equations of , , , the collision strata, and the observable diagonals (D0.5–D0.9), of which the record supplies only dimensions and codimensions Grelease,Crelease,record. No statement is made about a complete-graph wavefront bound, transverse estimates, contact compatibility, output operations, or (eq:admission). Gate E4 is not entered.