Manuscript XVI-L@1 · XVI-L.tex · section · 35081099
C. Jet bounds after contact
L.5 Local collision counterterms before attachment › C. Jet bounds after contact · lines 1009–1017
Write (source-slot order), (vertex order), so for an ordered placement contributing to label , and recall from L.1–L.2:
is linear in the residual-metric jet of order (XVI-K, Proposition prop:hess(1); Remark after Definition def:La);
the preparation jet of sits in , of order for respectively (Theorem thm:budget), and is not differentiated by ;
sits undifferentiated in before contact.