Odd Prime Source Audit

Referee B 的實際稽核結果,把 17 篇 Case A/B/C 的三個分支逐一追溯到具名定理來源,而不是信任先前的自我推導。$p=q$ additive:Banwait–Huang Proposition 2.9 Item 1 把這個 case 直接歸到 BSTW Theorem 9.21(c),其 proof 列出五個條件($p\ge5$、$p\nmid6N$、$p$ good ordinary for base $E$、$\bar\rho_{E,p}$ irreducible、存在 $\ell\parallel N$ 使 $\ell\nmid D_K$ 且 residual ramified);對 696.e1 逐條核對(support inertness 推出 ordinary、base mod-$q$ image maximal 給出 irreducible、取 $\ell=29$、$v_{29}(\Delta)=1$ 故 $q\nmid1$、$29\nmid D_K=q$)全部 PASS,並引用 Banwait Remark 2.10 確認 semistability 在這個 Item 只是用來自動產生 ramified witness,non-semistable 時把 witness 當 hypothesis 即可。Good ordinary $p$:直接套用 Skinner Theorem C 的五個條件,witness 取 $\ell=29$,PASS。Multiplicative $p=3$ 與 $p=29$:Skinner Theorem C 明確寫 $p\ge3$,兩者互相取對方當 witness($p=3$ 取 $\ell=29$;$p=29$ 取 $\ell=3$,因 $v_3(\Delta)=1$),PASS。文件給出一個重要簡化,直接影響後續文件的複雜度:因為 base curve 對所有 $\ell$ 的 mod-$\ell$ image 都是 maximal,quadratic twist 只 tensor 一個 scalar character,irreducibility 自動保持,所以 ordinary branch 完全不需要再拆 reducible/irreducible 子情況。