Revised Derived Theorem Candidate

全部六位 referee 稽核完成後的最終、乾淨定理陳述。令 $E:y^2=x^3+x^2+8x-16$,$\mathcal P=\{q\text{ prime}: q\equiv1\pmod{24},\ (\frac q{29})=1,\ x^3+x^2+8x-16\text{ irreducible mod }q\}$,則 $\delta(\mathcal P)=\frac1{24}$,derived theorem candidate 是 $\forall q\in\mathcal P,\ \operatorname{BSD}(E^{(q)})$,其中 $E^{(q)}$ 是 by $q$ 的 quadratic twist。文件附上一張完整、緊湊的 proof router 表,把每個質數類別精確對應到具名定理:$p=2$ 用 Banwait–Huang Theorem 2.14 加 Creutz–Miller 的 base full BSD;$p=q$ 用 BSTW Theorem 9.21(c) 的 quadratic-twist clause 加 rank-zero descent,witness 是 $29$;odd good ordinary $p$ 用 Skinner Theorem C,witness $29$;$p=3$ 同樣用 Skinner Theorem C,witness $29$;$p=29$ 用 Skinner Theorem C,witness $3$;odd good supersingular $p$ 用 Fouquet–Wan Theorem 1.7 加 Corollary 1.10,nonsplit Steinberg witness $29$——文件明確標註「所有 primes exhaustive」。Claim label 目前定為 DERIVED THEOREM CANDIDATE;若 novelty/citation referee(26 篇列出的四項功課)也通過,可以進到 PREPRINT CANDIDATE;而是否能稱「new theorem」,文件明確交代必須由 novelty audit 另外決定,不是這裡自己說了算。