Base BSD Anchor Repair

把 20 篇裁決的那個引用錯誤,實際修復乾淨。v0.3 的問題精確陳述:Banwait–Huang 的 historical review 原文是「Miller verified full BSD for **most** rank 0/1 curves below conductor 5000」——關鍵字是 most,不是 all——所以不能只因為 $696<5000$ 就直接推論 Miller 本人已經驗證過 696.e1。文件改用精確的正確來源:Creutz–Miller,《Second Isogeny Descents and the BSD Conjectural Formula》Theorem 1.1,這條定理**無條件**給出 $N<5000,\ r_{\rm an}\le1\Rightarrow\text{full BSD}$——不是「most」,是全稱。而 696.e1 恰好滿足 $N=696,\ r_{\rm an}=0$,所以 full $\operatorname{BSD}(E)$ 成立,特別是 $\operatorname{BSD}(E,2)$。文件最後強調這是嚴格的 source-level repair,不再依賴「analytic Sha 冒充 actual Sha」這種循環推論——呼應 15 篇一開始就已經刻意避開的陷阱,這裡再次確認整個 anchor 是乾淨的。