adelic

This repository contains a fully unconditional and spectral proof of the Riemann Hypothesis using S-finite adelic systems, without invoking ζ(s) or the Euler product. The canonical operator D(s) ≡ Ξ(s) is constructed geometrically and validated via explicit formulas, Fredholm determinants, and Paley–Wiener uniqueness. Includes formalization in Lean

El repositorio adelic-bsd demuestra formalmente y computacionalmente el lado espectral-analítico de la conjetura BSD, reduciendo de forma rigurosa la prueba completa a dos compatibilidades aritméticas estándar. (QCAL ∞³)