Manuscript XVI-O@o70-sync · XVI-O.tex · proposition · bed49f2f
Proposition
Fixed scalar extension · lines 302–314
XVI-O@o70-sync#prop:Ww
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