TEBAC Birch–Swinnerton–Dyer Program: Master Manuscript and Companion Referee Packets

This Zenodo record contains the main master manuscript of the TEBAC Birch–Swinnerton–Dyer program together with two companion referee packets. The main manuscript presents an internally unconditional modular TEBAC proof manuscript for the Birch–Swinnerton–Dyer conjecture for elliptic curves over Q. The proof is organized through the five-module chain BSD-I → BSD-II → BSD-III → BSD-IV → BSD-V. BSD-I fixes the centered operator package at s = 1. BSD-II supplies the determinant, parity, reference-factor, and completed-comparison package. BSD-III derives the analytic-rank identity. BSD-IV constructs the arithmetic bridge from the central spectral kernel to the Mordell–Weil free part and proves the height/regulator comparison through the H1–H5 hard-input discharge. BSD-V performs the terminal completed-to-classical leading-term assembly. The two companion referee packets are included to facilitate external verification of the two principal nonstandard cores of the argument: 1. The BSD-II referee packet isolates the determinant/comparison closure, including the centered determinant Dcen (σ), the reference factor Dᵣef (s), the completed determinant Dcomp (s), and the no-spurious-center comparison. 2. The BSD-IV referee packet isolates the arithmetic bridge, the Selmer/cohomological receptacle, the Mordell–Weil bridge, the Néron–Tate height comparison, and the H1–H5 hard-input discharge. The companion packets are intended as referee-facing verification aids. They are not separate journal submissions. The public status of this record is a complete internally closed TEBAC modular proof manuscript, prepared for external referee-level verification. A later polished version of the main manuscript may be submitted to the Annals of Mathematics for consideration after the appropriate submission window and final author review.