Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
Time-only universal Helmholtz classification (work package C)
M.4 Contact collapse and Helmholtz conditions › Time-only universal Helmholtz classification (work package C) · lines 1411–1435
of the time-only analysis.
Constructed (Gate V; on the current coherent presentation): the intertwining lemma and its tests; exact route 1 / route 2 agreement; the time-only classification (Theorem thm:to-timeonly): injective, variational image the ultralocal directions, all regression-preserving, no direction; the time-only -plateau classification with its exact spatial-operator identification; the matching probes and divergence identities (Proposition prop:to-match); the linear independence of on open subintervals of (Lemma lem:to-indep).
Proposition with explicit hypotheses (not Constructed): the transfer to the actual XII-C ramp with a universal switch on , and to open parts of in the slab (Proposition prop:to-actual, hypotheses (H1)–(H3)).
Unresolved: the actual fixed pair wherever is non-constant, because is not given explicitly; transition neighbourhoods of and of . Sufficient test (recorded): on an open , a full-rank exact evaluation matrix, on , of the external-data coefficient functions that occur in (i) the graph map, (ii) and (iii) the adjoint-defect map . Full rank for (iii) gives . The condition concerns the joint family ; it is not verified for any concrete , and it does not follow from separate linear independence of the (Lemma lem:to-indep) and of the (Remark rem:to-joint).
Non-claims: the spatial -plateau directions are not gravitational (Lorentz-scalar) counterterms and are not matched to any curvature functional; no statement is made after other diagrams are added, and none about a completed gravitational sector; no limit is taken; preimage coefficients are not Wilson coefficients; the double-plateau matchings (Theorem thm:M5-plateau-R2) are unchanged as double-plateau statements, but they do not admit the stated universal time-only completion (Proposition prop:to-match(3)); the actual-ramp conclusion holds under Proposition prop:to-actual.
Nearby in this section
- section: Time-only universal Helmholtz classification (work package C)
- definition: Definition: Time-only formal reading and the specialization S t
- lemma: Lemma: Intertwining
- section: Time-only universal Helmholtz classification (work package C)
- theorem: Theorem: Time-only classification
- proposition: Proposition: Time-only χ -plateau: new spatial variational directions
- proposition: Proposition: Time-only matching probes
- lemma: Lemma: Linear independence of the actual ramp derivatives