An Explicit Non-Semistable Quadratic-Twist Family Satisfying the Strong BSD Conjecture

主線 00-28 篇一路建立的整個論證,在這裡被寫成一份完整、帶編號 Lemma/Proposition 與真實文獻引用的正式定理筆記,作者具名 Neo.K,狀態欄自陳「記錄一個引用定理的顯式衍生結論,不宣稱優先權,提交前應獨立覆核」。Theorem 1.1 陳述:對質數族 $\mathcal P=\{q: q\equiv1\pmod{24},\ (\frac q{29})=1,\ f_2\bmod q\text{ irreducible}\}$,密度 $\delta(\mathcal P)=\frac1{24}$,且 $\forall q\in\mathcal P$,$\operatorname{BSD}(E^{(q)})$ 成立。第 3-6 節用六條編號引理逐一封閉每個環節:Lemma 3.1/3.2(支持質數的分裂與 good ordinary 性質)、Proposition 4.1(Chebotarev 密度,附 Remark 4.2 列出前十個具體質數 241, 313, 457, 673, 937, 1009, 1153, 1753, 2017, 2089)、Proposition 5.1(2-part)、Lemma 6.1-6.5(irreducibility、加法扭轉質數 witness $\ell=29$、good ordinary、fixed multiplicative $3/29$ 互為 witness、good supersingular 用 FW Theorem 1.7+Corollary 1.10 並由 Česnavičius–Neururer–Saha 的 Manin constant 結果閉合 period 問題)、Proposition 6.6(四類窮盡)。第 8 節報告了全系列少見的真實數值檢查結果:掃描 $q<10^7$ 找到 $27{,}667$ 個支持質數,對照 $\pi(10^7)=664{,}579$,實測比例 $\approx0.041630867$,對照理論密度 $\frac1{24}\approx0.041666667$,兩者高度吻合——文件明確聲明這只是 sanity check,不是證明的一部分。結尾的 Concluding remarks 把整個結果的結構講成一句話:$2$-part + additive twist prime + ordinary/multiplicative parts + supersingular part,並提出一個明確未處理的延伸問題:尋找擁有兩個奇 multiplicative ramification reservoir(至少一個 nonsplit)且有相容 2-primary twist family 的其他非半穩定 rank-zero 曲線。附錄 A 給出完整的有限資料清單,供 SageMath/Magma 獨立重現,並特別設計成任何一項輸入若有誤,錯誤會被定位到單一引理,而不是隱藏在整體論證裡。