← BSD Conjecture · Phase 1

Phase 1: Banwait–Huang Reproduction

Strong-BSD Twist-Family Reproduction · 25 / 25 COMPLETE

Reproduces the work of Banwait–Huang 2026 (arXiv:2601.16044) compiling strong-BSD twist criteria into explicit algorithms and performing systematic identification on LMFDB elliptic curves with conductor<500,000. Does not claim to prove BSD—every document only answers "which curves and twists satisfy the verifiable conditions of known theorems", not "BSD holds for these curves".

v0.1 (7 pieces) + v0.2 (7 pieces) + v0.3 (4 pieces) + v0.4 (4 pieces) + v0.5 (1 exact census report piece, located in results/ instead of docs/, not in the original 24-piece estimate, supplemented after discovery) + v0.6 (2 pieces) are all online, 25/25. The final piece of v0.6 formally declares Banwait–Huang Reproduction = COMPLETE, and proposes three concrete routes for Phase 2.