Manuscript VII-J-ST@1 · VII-J-ST.tex · lemma · f1f1d82c
Lemma: Estimates used by the causal certificate
Prescribed spacetime, support, and the incidence input › The prescribed transverse event · lines 334–386 · proof included or linked
VII-J-ST@1#lem:slices, VII-J-ST@1#eq:time-order
Set
On every regular developed region, is spatially -Lipschitz, including the axial variable. For ,
The graphs are embedded, and their regular affine pieces are spacelike with induced dimensionless metric bounded below by .
The prescribed transverse cellulation has one incidence-event parameter, , where its singular transverse link changes from three incident faces to six.
Proof. The active gradients are
up to sector rotations. Minima and maxima preserve their common Lipschitz bound. The graph metric is ; its least eigenvalue is at least . Graph projection gives embeddedness. For fixed , the term after the initial in (eq:family) is nondecreasing and 1-Lipschitz in , proving (eq:time-order).
For the incidence, use
When , the -branch dominates and one face in each sector meets the apex. When , in the half-sector , the new boundary is ; its symmetric counterpart is . Their vertices are
They define two distinct new apex triangles in each sector. Their outermost radial coordinate is , so they do not meet the persistent crest . Within each open epoch these boundaries have fixed combinatorics, and all new coordinates vanish only at zero. Thus the normal transverse link changes exactly once from three to six.
Displayed formulas in this passage
VII-J-ST@1#eq:time-order · line 342
unlabeled · line 337
unlabeled · line 357
unlabeled · line 368
unlabeled · line 376