Certified Localized Weil Positivity Through Support 0.72: Multiband Schur Complements and a Complete Stieltjes Hierarchy
Suzuki's localized Weil form is represented by a lower-bounded self-adjoint operator A_a on L2(-a,a); nonnegativity for every a > 0 is equivalent to the Riemann hypothesis, while positivity at one fixed support is an unconditional and strictly weaker problem. We give a source-level interval certificate proving A_0.72 >= 5.890 x 10^-17 I > 0. Nested-core monotonicity gives the same scalar lower bound for every 0 < a <= 0.72. The proof decomposes the exact prime-power translation graph through n = 4 into thirteen intervals and bounds its infinite complement by a mode-sensitive Schur estimate. It isolates degrees 12 through 23 before controlling [24,176) and [176,infinity); both parity Schur matrices have 78 certified positive directions and no unresolved direction at 512-bit Arb precision. We also prove an exact Gauss-Stieltjes hierarchy for the logarithmic boundary potential, complete for strict positivity at every fixed support, and a multiband Loewner majorant requiring only O_epsilon(log log M) bands through degree M. The revised manuscript prints a formula-level source-to-Gram specification. A separately written program importing neither project modules nor python-flint reconstructs the prime-power graph and parity maps and independently reassembles the exported Schur balls with positive Weyl margins in both sectors. This is a bounded-support theorem, not a proof of the Riemann hypothesis.