Manuscript XVI-O@o70-sync · XVI-O.tex · proposition · bed49f2f

Proposition

Fixed scalar extension · lines 302–314

XVI-O@o70-sync#prop:Ww

Back to manuscript

The only active reference for the weighted kernel is the jet pullback

prescription W_w_jet_pullback_via_Pi_tr_o68. The old cutoff construction is archived. Equivalence of that cutoff with this pullback is not claimed. The false pointwise bound is removed. Annular seminorms replace it. The covariance spanning set remains a candidate list, so Gate 3 stays Partial even though Deliverables 1–3 are Constructed under this reference.

Displayed formulas in this passage

  • unlabeled · line 305

Nearby in this section