This paper provides the technical proof carrier for the finite-R reconstruction of harmonic quantum variance for a Mellin-neutralized moving family of incomplete Eisenstein observables on the modular surface. Starting from the exact parity-complete Kuznetsov decomposition SR=DR-CR+KR, the paper develops a uniform moving-profile analysis of all three components. The main technical ingredients include finite-order Whittaker-to-physical-kernel transfer, unrestricted Eisenstein-depth localization, two-dimensional Poisson summation, exact dual arithmetic support, global three-variable nonstationarity, suppression of all nonzero Poisson aliases, mesoscopic low/high spectral assembly, exact Whittaker-defect closure, and demotion of all positive-order Whittaker zero modes. A central arithmetic result is the square-supported Poisson zero-mode identity Sc= 1₂=\, c^3/2 (c), which yields the normalized modulus weight (r) r=₃ ₑ (d) d after writing c=r². The diagonal, continuous, and Kloosterman components are shown to satisfy DR=RHwQD+O, ₖ, (R^3/5+T^-1e^BDT), CR=RHwQC+O, ₖ, (R^5/6+T^-1e^BCT), and KR=RHwQK^+O, ₖ, (R^3/10+T^-1e^BKT). After freezing one numerical profile and comparing the resulting scale-free component limits with the fixed-observable Sarnak–Zhao theorem, the main functionals are identified by QD-QC+QK^=Q ₒₙ. Consequently, the paper proves the effective aggregate trace theorem SR=RHwQ ₒₙ (AT, AT) +O, ₖ, (R^5/6+T^-1e^B_*T), giving the first explicit positive spectral saving =16. The limiting quadratic form is evaluated internally for the neutralized broad-window family: Q ₒₙ (AT, AT) =c ₈₄\|\|₂²+O_ (T^-2), where c ₈₄= (1/2) ² (1/4) ⁴576>0. It follows that, whenever T (R) and the logarithmic support radius satisfies ₓ (ₑ) c_* R for sufficiently small fixed c_*>0, one has the unconditional persistence law 1RSRwc ₈₄\|\|₂²>0. The paper is designed as a public quantitative proof and audit carrier. It records the detailed Whittaker, Poisson, arithmetic, spectral, and continuous-spectrum estimates underlying the integrated parent theorem while maintaining an acyclic proof provenance. The exact finite-R trace decomposition and moving Mellin ledger are restated and proved within the present manuscript, so no inaccessible internal theorem core is required as a proof input. The following are deliberately not claimed: a direct closed second-theta/Mellin formula for QK^, a unique intrinsic crossover scale, monotonicity in the moving width, a full two-parameter crossover law, or superlogarithmic reconstruction. These remain separate structural or crossover problems. Technical Proof Carrier Version v1. 0.
Byoungwoo Lee (2026) studied this question.