← BSD 猜想 · Phase 2

Phase 2:非半穩定家族

曲線 696.e1 顯式 Twist 家族 · 40 / 40 COMPLETE

Banwait–Huang 方法本身需要 semistability 這個結構性限制。Phase 2 的目標是為它不覆蓋的非半穩定 (non-semistable)曲線,用 Fouquet–Wan 的 arbitrary-reduction Iwasawa Main Conjecture 構造顯式的 strong-BSD twist family。核心難題是把「$\forall p>2$ 都要驗證」這個無窮量詞,壓縮成有限、可重播的 exceptional-prime certificate——不宣稱證明 BSD,每一篇都只回答已編譯清楚的條件對哪些曲線/質數成立。

40 / 40 COMPLETE。依原始文件順序閱讀。真實總數是 40 篇(修正自原先估計的 33):主線 29 篇(v0.1 NonSemistable Bridge → v0.2 FW Compiler → v0.3 First NonSemistable Family → v0.4 696e1 Referee Audit, 連續編號 00-28),加上一條獨立的「Witness-Network / FW_H2」輔助支線 11 篇(三篇 Neo.K 具名 theorem-note 論文 + FW-H2 條件的 local isogeny compiler)——這條支線在最初估計時完全被漏算,發現後補齊。主線收在 「DERIVED THEOREM CANDIDATE」(696.e1 顯式 twist 家族,novelty 待查),側線收在把 FW_H2 判準規格化成 一支要求完整可 replay 輸出的可執行函式。