Provisional Derived Family Theorem

整條 Phase 2 線第一次把候選定理正式寫成陳述:令 $E:y^2=x^3+x^2+8x-16$,$\mathcal P$ 為 15、16 篇定義的質數族($q\equiv1\pmod{24}$、$(\frac q{29})=1$、$f_2$ mod $q$ 不可約,自然密度 $\frac1{24}$),候選結論是 $\forall q\in\mathcal P,\ \operatorname{BSD}(E_q)$,其中 $E_q$ 是 $E$ by $q$ 的 quadratic twist。文件把目前的證明狀態切成兩塊:CLOSED 的部分列出 11 項(質數族無限/正密度、所有 conductor-prime 分裂條件、2-division inertness、support-prime ordinarity、base $\operatorname{BSD}(E,2)$、Theorem 2.14 的 2-part/nonvanishing、support-prime additive 分支、good ordinary 分支、fixed multiplicative $3/29$ 分支、FW supersingular residual 條件、窮盡質數分割);NEEDS INDEPENDENT REFEREE AUDIT 的部分列出 5 項(FW modular representation 與橢圓曲線 $E[p]$ 在 nonsplit multiplicative witness 處的 convention 精確對應、每個 twist $E_q$ 的 period normalization 陳述、period comparison 用到的 isogeny/optimality 精確措辭、所有 ordinary/additive/multiplicative $p$-part 結果的精確引用鏈、novelty search)。文件對 claim level 的判斷極為精確:目前應稱 Provisional Derived Theorem,不是 Established New Theorem——原因不是仍看到明顯的數學缺口,而是已經進入「需要獨立 referee 逐行核對引用與 conventions」的階段,這是兩件不同的事。