A Finite-Exception Witness-Network Criterion for Strong BSD in Non-Semistable Quadratic-Twist Families

把 30 篇結尾點名的兩個推廣方向一次做完,是整條側線數學密度最高的一篇。第一個推廣:用 $g_{\mathrm{mult}}=\gcd_{\ell\in\mathcal M}n_\ell$ 與 $g_-=\gcd_{\ell\in\mathcal M^-}n_\ell$ 取代舊版的 valuation-one witness,Lemma 2.1、2.2 證明奇質因子不會拒絕整條曲線,只會產生一個有限例外質數集合 $R_{\mathrm{mult}}\cup R_-$——文件明確聲明這嚴格強於舊條件「兩個 gcd 都是 2 的冪」。第二個推廣:從單一質數 twist 擴大到支持在精煉後質數集 $\mathcal P_E^\circ$ 上的任意 squarefree 乘積 $d$,且有限刪除不改變 Chebotarev 密度。第 6 節给出完整的 Route Q/O/M/S 質數路由,Route O 特別引入 Burungale–Castella–Skinner 的 good-ordinary 定理處理例外質數,用其 (im) residual-image 條件取代舊的 multiplicative-ramification 假設。第 7-8 節是全文最大突破,也是整個側線第一次真正超越「唯一 additive 質數是 2」的限制:允許固定的奇 additive 質數,給出 (A1)-(A4) 四條局部證書,並引用 Edixhoven 定理(經 Česnavičius–Neururer–Saha 整理)的已發表結果——$p\ge11$ 且局部化簡不是 potentially ordinary Kodaira type II/III/IV 時,$p$ 自動不整除 Manin constant——同時誠實提醒:additive 質數 $3,5,7$ 或被排除的 Kodaira type,period compatibility 仍需要明確的有限證書,「不可默默假設成立」。Theorem Schema 9.1 是全篇的最終一般定理,六條件涵蓋所有前述機制。第 10 節用一張三階遞進圖收束整個進展:valuation-one witnesses ⇓ power-of-two gcd witnesses ⇓ arbitrary witness gcds + finite exceptional-prime routing——並明確標註最後一步是最強的一步:一個奇質因子不再意味著「拒絕這條曲線」,只意味著「把這個質數放進有限例外表」。結尾第 11 節把整條研究線的處境濃縮成一句話:數學瓶頸不再是一個無窮質數量詞,而是一個有限的 local-certificate compiler。