Seven Clay endpoints
The Birch and Swinnerton-Dyer Endpoint by Exclusion of Analytic-Arithmetic Mismatch
Overview This record contains the AASC endpoint-closure manuscript for the Birch and Swinnerton-Dyer rank endpoint, together with the associated Lean 4 audit-facing project materials. The manuscript treats the BSD rank statement on the fixed elliptic-curve carrier. The proof route is not a conventional arithmetic-geometric construction by descent, Euler systems, Iwasawa theory, rational-point construction, Sha-finiteness proof, or analytic estimation. It is a kernel-first AASC endpoint proof. Main Claim Boundary...