Manuscript XVI-M@1 · XVI-M.tex · proposition · 7346c909

Proposition: Time-only matching probes

M.4 Contact collapse and Helmholtz conditions › Time-only universal Helmholtz classification (work package C) · lines 1348–1363

XVI-M@1#prop:to-match

Back to manuscript

Assume Gate V. Take the weight , or in the -plateau variant, with all preparation and switch derivatives retained in the Euler tensors.

  1. : is one-dimensional, spanned by , with preimage (regression-preserving), in both and . Neither nor is an image by itself. The Helmholtz check is verified by two independent routes (time-only jets; euler_equations with , , ).

  2. : the weighted Einstein–Hilbert Euler tensor is not in , in either or .

  3. : , in both and . The double-plateau matchings of Proposition prop:match(3) and Theorem thm:M5-plateau-R2 therefore do not survive the time-only reading: once , are retained, the weighted and Euler tensors are not images, even with .

  4. Divergence identities (upper-index , no metric factor; time-only jets): for and ; ; nonzero for the ultralocal .

Each weighted target is checked to be self-adjoint under . Membership is decided by the exact verified kernel of the block augmented by the targets.

Nearby in this section