λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript III@2 · III.tex · section · 82dad3e5

Conclusion and the sourced successor

Conclusion and the sourced successor · lines 2817–2843

Back to manuscript

The proved results concern their actual domains:

  1. The exhibited Poisson symbol is not constant on unchanged free-product fibers, with a regulator-stable gap.

  2. General compact scalar Lie derivatives are not tangent to the unchanged massive free shell. The preserving vector fields are exactly Killing fields.

  3. The forced scalar coefficient changes the equation space and gives a genuine coefficient action. A past-trivial retarded harmonic section makes the complete first-order functional descend.

  4. The C1 constrained harmonic data modulo residual waves have a Hausdorff, well-posed Cauchy quotient. The explicit compact coupled Ward pair is nonzero.

  5. Poisson compensation, canonical slice inversion, and compensator choice remain separate from descent.

None requires a represented observable or measurement construction.