Phase 1 封頂與 Phase 2 接口

Phase 1 全系列的正式封頂文件。列出八項已完成工作:Theorem 2.18 predicate map、Algorithm 2 獨立重現、paper/current-code soundness audit、<150 版本迴歸、13 條移除曲線 first-failure closure、500K exact artifact census、Algorithm 1 的 4,062 條移除原因閉合、stable-domain OLD→CURRENT 的 Algorithm 2 語義重播——並在一個方框裡正式宣告:Banwait–Huang Reproduction = COMPLETE。文件同樣誠實地劃出「不值得再主攻」的邊界:1,355 條 OLD-only 歷史曲線的 twist reconstruction 可以做,但它們已不在 CURRENT Algorithm 1 accepted universe 內,除非研究目的轉為 repository history paper、proof-engineering case study 或完整歷史可重現性檔案,否則對 BSD 本身的邊際收益低。最後為 Phase 2 提出三條具體路線,不是含糊的「未來工作」:Route A「高秩 wall atlas」,從 rank $\ge2$ 曲線開始逐分量建立 rigorous analytic rank、Mordell–Weil rank 上下界、Selmer、$\Sha$ 有限性/$p$-parts、leading coefficient;Route B「strong-BSD 覆蓋範圍擴張」,問能否用 2024–2026 已知定理把 Banwait–Huang Algorithm 1 的 eligible family 再擴張而非只重現原演算法,文件特別註記這才開始可能產生新的外部數學結果;Route C「2-primary 未解前沿」,現行程式對正的 analytic $v_2(\Sha)$ 保守拒絕,可研究哪些拒絕只是計算/證書不足,能否用現成定理或 Magma/Sage exact descent 擴大 certified set——文件稱這是 Phase 1 最自然留下的新數學接口。