This preprint consolidates Core X of the TEBAC Birch--Swinnerton-Dyer program into a single expanded constructor-closure manuscript. The paper develops the determinant--Selmer proof chain for elliptic curves over \ (Q\) through actual primitive trace state spaces, row projectors, local packet constructors, endpoint finite-part legality, residual Schur gap execution, Selmer--Kummer and trace-to-cocycle comparison, finite residual/Sha/Cassels--Tate/Tamagawa/torsion ledger execution, and the terminal Core X no-certificate BSD implication. The resulting BSD leading-coefficient ledger is expressed by \ (EReg (E) | (E/ Q) |ₚ cₚ (E) |E (Q) ₓ₎ₑₒ|²\), with \ (r=rankE (Q) \). The manuscript should be read as a constructor-level hardening and consolidation of the TEBAC BSD program, not as an already externally refereed final proof of BSD. Its purpose is to replace earlier certificate-dependent modules by explicit execution criteria and expanded proof chains. The remaining proof burden is isolated into concrete execution rows, including the residual Schur gap, the central-to-etale compatibility obstruction, the residual Noetherian presentation, and the residual trace-energy bound.
Tosho Lazarov Karadzhov (Sun,) studied this question.