TEBAC BSD-V: Terminal Assembly of the Birch--Swinnerton--Dyer Formula

This preprint presents Module BSD-V of the TEBAC Birch--Swinnerton--Dyer program. BSD-V is the terminal assembly module: it imports the upstream BSD-II determinant/comparison export, the BSD-III analytic-rank export, and the BSD-IV arithmetic-bridge export, and then performs the completed-to-classical leading-term assembly. The manuscript records the terminal dependency package\ D₁ₒ₃ₕ (E) = (E₈₈ (E), E₈₈₈ (E), E₈ₕ (E), Cₓ₄ₑ₌ (E) ), the BSD-IV export includes the arithmetic bridgeE^: (-1) (Q) ₙ R, rank bridge\ (-1) =rankE (Q), raw height comparison^₄, =BE^, *\, , \, _, the regulator identity\_ (E) = (E). \ The terminal BSD-V assembly derives the classical BSD rank identityₒ=₁L (E, s) =rankE (Q) the classical leading-term formula^ (r) (E, 1) r!=E\, (E) \, | (E) |ₚ cₚ (E) |E (Q) ₓ₎ₑₒ|². \ The manuscript is status-explicit. BSD-V does not prove the upstream BSD-II determinant package, BSD-III analytic-rank package, or BSD-IV arithmetic-bridge hard inputs; it imports them as already established in the preceding modules. Its role is terminal assembly, completed-to-classical transfer, constant routing, and non-circularity verification.