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