停止規則與 Claim Ladder

v0.1 系列的收尾文件,把整個 Phase 2 odd-$p$ 問題收進一把自己的七級證書階梯,角色對應 Phase 0 為整個 BSD 研究線定義的 C0-C10 階梯,但精確縮放到 Phase 2 這一個子問題:C0(文獻地圖,只知道哪些定理可能相關)→ C1(假設編譯器,每條 FW hypothesis 有 exact executable meaning)→ C2(固定 $(E,p)$ 嚴格證出 $\mathrm{FW}(E,p)$)→ C3(twist-uniform 固定 $p$,證 $\forall d\in\mathcal D(E),\ \mathrm{FW}(E_d,p)$)→ C4(有限例外質數化約,證 $p\notin P_E\Rightarrow\mathrm{FW}(E,p)$ 且 $P_E$ 有限可計算)→ C5(逐項關閉 $p\in P_E$ 後得到 $\forall p>2$)→ C6(與 Banwait 的 2-part/nonvanishing 拼接,得到完整 $\forall d,\ \operatorname{BSD}(E_d)$)。文件把最容易犯的五種偷換概念直接列成「禁止升級」清單:測 $p<1000$ 不等於 C4/C5;99.9% 質數不等於 C5;residual image「看起來 generic」不等於定理;non-semistable 樣本成功不等於所有 non-semistable 曲線;Fouquet–Wan 定理存在不等於它已經被算法化。最後一條「三輪停止規則」是全篇最實用的研究流程設計:若連續三輪只是增加已檢查的質數、增加曲線數量,而 H2/H3 的 exact meaning 沒有進展、finite exceptional set 沒有被定理化,就要凍結資料庫規模擴張,退回 local Galois lemma 工作——文件明確點名這是為了避免重演「資料越跑越多,但全域量詞完全沒縮」的失敗模式。