Numerical closure of paper Step 4(B) at one fixed operator slot

The physical proof of Step 4(B) keeps the complete fixed-slot source signed, extracts the one high projected covariance, and repeats Steps 2--3. Its natural endpoint is therefore one inserted primitive majorant multiplied by the endpoint and central-frequency decays. This file names that endpoint and performs only the common scalar conversion.

def Anderson4D.SmoothCutoff.R324PaperFixedSlotWeightedMajorantBound (rho : SmoothCutoff) (primitiveConstant supportConstant : ℝ) : Prop

Paper Step 4(B)'s physical producer boundary for a single fixed operator slot. The norm is outside the complete signed slot series; no contraction, pairing, route, or Fourier-configuration norm occurs here.

Equations

• One or more equations did not get rendered due to their size.

theorem Anderson4D.SmoothCutoff.R324PaperFixedSlotWeightedMajorantBound.toOperatorSlotCollapseBound {rho : SmoothCutoff} {primitiveConstant supportConstant : ℝ} (hprimitive : 0 < primitiveConstant) (hsupport : 0 < supportConstant) (h : rho.R324PaperFixedSlotWeightedMajorantBound primitiveConstant supportConstant) : ∃ (K : ℝ), 0 < K ∧ rho.R324RefinedQuadOperatorSlotCollapseBound K

The complete weighted-majorant producer at one fixed slot implies the literal operator-slot collapse bound used by the Step 4 capstone.