Tail of Suzuki's genuine upper source #
The two nonnegative parity source tails are dominated by their sum Q, whose
exponential decay was already obtained from the Section 13 source contract.
Consequently the genuine upper source tends to 2.
The genuine source sum Q=T⁺+T⁻ tends to zero.
Each parity source tail tends to zero separately.
The genuine upper source satisfies its forward integral DDE on every
2 ≤ x ≤ y, including both the switching endpoint and intervals crossing
s=3.
Closed production integral-DDE package for the genuine upper source.
The actual upper source tends to its Proposition 11.8 terminal value 2.
The genuine moving-window tail follows without any additional analytic premise.
The Section-13 source contract now supplies every source-side input to the
upper pairing, so the pairing is identically 2 on its legal range.
Final amplitude normalization for Suzuki's genuine production source.
On 4 ≤ s ≤ 6, the normalized source formula is exactly the standard
Jurkat--Richert dimension-one lower sieve factor.