Complete paper Step 4(A) endpoint producer

The residual endpoint-pattern theorem and the already closed full/full zero-shift theorem are the two branches of the refined schedule dichotomy. This file merely chooses their common support radius, enlarges the primitive constant once, and exposes the arbitrary-shift and physical endpoint bounds.

theorem Anderson4D.exists_r324PaperEndpointAllShiftWeightedMajorantBound (rho : SmoothCutoff) : ∃ (primitiveConstant : ℝ) (supportConstant : ℝ), 0 < primitiveConstant ∧ 0 < supportConstant ∧ R324PaperEndpointAllShiftWeightedMajorantBound rho primitiveConstant supportConstant

Complete arbitrary-shift endpoint majorant of paper Step 4(A).

theorem Anderson4D.exists_r324PaperEndpointAllShiftPhysicalBound (rho : SmoothCutoff) : ∃ (K : ℝ), 0 < K ∧ R324PaperEndpointAllShiftPhysicalBound rho K

Numerical conversion of the completed Step 4(A) majorant.

theorem Anderson4D.exists_r324PaperEndpointPhysicalBound (rho : SmoothCutoff) : ∃ (K : ℝ), 0 ≤ K ∧ R324PaperEndpointPhysicalBound rho K

The zero-conserved-shift endpoint input used by the Step 4 capstone.