Phase 2 全局包圍共識

Phase 2 的開篇裁決文件,角色對應 Phase 0 的 Global Enclosure,但範圍收窄到「非半穩定曲線」這個 Banwait–Huang 方法本身不覆蓋的區域。文件先砍掉三條候選主線:higher $2$-power descent 雖然一般重要,但 Banwait–Huang Remark 2.19 已指出所有真正走到 Algorithm 1 最後 check_BSD_at_2 的 LMFDB curves 都有 $\operatorname{ord}_2(\#\Sha_{\rm an})=0$,positive $v_2(\Sha_{\rm an})$ 根本沒在現行 500K frontier 出現過,裁決 HOLD / TOOLBOX ONLY;full rational $2$-torsion($E(\mathbb Q)[2]\cong(\mathbb Z/2)^2$)有價值但缺一般 strong-BSD family theorem 對應版本,裁決 HOLD;analytic rank 1 因為 Banwait–Huang 自己承認 (Im) 類 residual-image 條件難以算法判定,裁決 YELLOW,不是第一個工程。真正的結構性限制是 semistability 本身——Banwait–Huang Remark 2.10 直接稱其為「a strong restriction」,而 Fouquet–Wan 恰好能處理 arbitrary reduction type at $p$,只是 residual hypotheses 尚未算法化。文件把 Phase 2 主問題寫成一條精確蘊含式:$\mathrm{BH2}(E,d)+\forall p>2\,\mathrm{FW}(E_d,p)\Longrightarrow\mathrm{BSD}(E_d)$,並誠實點名真正的難題不是「大多數 $p$ 好」或「所有 $p\le B$ 好」,而是量詞本身——$\forall p>2$——必須找到 finite exceptional-prime reduction,否則只能承認這條路線只給「固定 finite prime set 的 $p$-part theorem」。最終裁決:GO 進 Fouquet–Wan Hypothesis Compiler,STOP 直接攻 higher 2-descent 主線,HOLD full 2-torsion 與 rank 1。