Phase 2 路線矩陣

把 00 篇的裁決攤成一張完整的八路線比較表,每條路線標出自然輸出、全域增益、主要 barrier 與裁決:higher $2$-power descent(STOP as mainline,現行 pipeline 幾乎零增益,frontier 中根本沒有這類曲線)、non-semistable + 既有 odd-$p$ 拼裝法(GO as baseline,中等增益,barrier 是 supersingular/irreducible hypotheses)、Fouquet–Wan arbitrary reduction(**PRIMARY GO**,增益「高」,barrier 是 residual hypotheses 算法化 + $\forall p$)、BCS ordinary non-semistable(supporting route,不覆蓋所有 reduction types)、full rational $2$-torsion 與 analytic rank 1(都 HOLD,潛力高但各缺一般 family theorem 或 (Im) 條件算法化)、prime conductor(niche)、high rank $2+$(獨立到「entirely different theorem layer」,留給更後面的 Phase)。文件把整體排序收成一條方框公式:FW non-semistable compiler > full 2-torsion > rank 1 > higher 2-descent,並特別註記這是「對現行 Banwait–Huang family theorem 的可擴張性」排序,不是對數學猜想本身絕對難度的排序——擴張的容易度與問題的深度是兩件事,文件刻意不把兩者混為一談。