From Local Curvature to the Weil Functional: An Explicit Construction

This paper is the second in a series developing an operator-theoretic framework for studying the distribution of the non-trivial zeros of the Riemann zeta function. Building on the curvature decomposition of Paper 1, it constructs an explicit family of admissible Schwartz-class test functions for the Weil explicit formula and derives a prime-side decomposition connecting the zero sum to local curvature. The construction uses antisymmetrised Gaussian bumps adapted to the adelic zeta integral; no exotic test functions are needed. No hypothetical input is used: the Riemann Hypothesis, the GUE conjecture, and the Hilbert–Pólya postulate are explicitly avoided throughout. What is proved. The admissibility of the test functions in Lagarias' formulation of the Weil criterion (Lemma 2. 1). Strict positivity of the renormalized prime weights cₚʳen = fₚ^1/2 > 0, by an elementary algebraic argument (Lemma 4. 1). Convergence of the diagonal energy series D = Σₚ (cₚʳen) ² (Lemma 4. 2). The normalised Gaussian correlation K_ε localises the diagonal first-prime contribution exactly to Vₚ (σ) by an algebraic identity (Observation 3. 2). What is numerical. The diagonal energy D ≈ 9. 470 (Observation 4. 3). Finite-grid stability: Zᵣen − Hᵣen > 0 at every tested prime cutoff except κ = 20 (Observation 6. 1). What remains open. The Weil-normalised embedding: whether the diagonal localisation of Observation 3. 2 can be implemented inside the Lagarias–Weil functional including archimedean and zero-side contributions. The spectral inequality — does the zero sum grow at least as fast as Hₗocal (½, κ) ~ 2 (log κ) ²? Off-diagonal control of the zero sum. All three are stated precisely as open problems; none is used as a hypothesis. Paper 1 established the local curvature divergence Hₗocal (½, κ) ~ 2 (log κ) ² at the critical line. The present paper constructs the Weil functional framework that Papers 3–6 build upon.