A fixed nonzero gap

The theorem exhibits one fixed symbol. It does not assert that every scalar functional fails to descend; metric-independent scalar functionals already descend through the metric quotient.

The argument uses only $w_{\mathrm{P}}(K\xi )=-\xi$. Adding a linear compensator term annihilating $K\xi$ does not remove this particular gap.