Submission / Publication Gate

Phase 2 主線(docs 00-28,29 篇)的最終收尾文件。在正式寫 theorem paper 之前,列出還要再過的五項:獨立專家 referee 重現所有 source mapping;檢查 BSTW 與 Fouquet–Wan 兩篇關鍵論文的最新版本與發表狀態;做一次真正的 MathSciNet/zbMATH/Scholar novelty sweep;為 696.e1 產出一份機器可驗證的算術證書;在有精確來源或計算可用的地方,把證明改寫成不依賴 LMFDB 散文描述。文件最有價值的部分是「建議論文措辭」:明確示範不要一開始就寫「We prove a fundamentally new BSD theorem」這種宣稱,較安全的寫法是「We isolate and verify an explicit non-semistable quadratic-twist family obtained by combining recent 2-primary twist results with ordinary/multiplicative Iwasawa results and the arbitrary-reduction theorem of Fouquet–Wan」——把成果精確定位成「組合既有結果分離出一個顯式家族」,而不是誇大成全新定理。文件甚至準備好退路:若 novelty search 最終證明這個結果已被某個一般定理涵蓋,文章仍然可以轉換框架繼續有價值——變成 explicit corollary、theorem-applicability note、proof-engineering/演算法延伸,或是 Banwait–Huang 證書路由器的非半穩定延伸版本。