The separate characteristic-composition programme

The long supplied excerpts also describe six analytic obligations: a full joint characteristic map, a joint section and controlled remainder, uniform transverse estimates, contact compatibility, an output wavefront theorem, and quantum admission. They concern a different retained gravitational coefficient.

This section records the relevant algebraic interface and the precise non-transfer. It does not rename an FPP construction as one of those analytic objects.