BSD 命題、量詞與例外忠實性審計

把 BSD 拆成三層不能混寫的主張——弱式(秩等式 rank E(ℚ)=ord_{s=1}L(E,s))、有限性(Sha 有限)、首項公式(L^(r)(E,1)/r! 等於 Sha、週期、regulator、Tamagawa 因子的乘積除以撓量平方)。完整 BSD over ℚ 是 ∀E/ℚ 的全稱命題,例外單位是一條具體曲線,任何「正比例曲線成立」「平均 rank 低」「幾乎所有 twist 成立」都不能吞掉一條真正例外。列出三種反例型態——rank mismatch、無限 Sha、首項係數不符——並證明弱 BSD 成立不蘊含強 BSD 成立。特別提醒:對某質數 p 證明強 BSD 的 p-part,跟「∀p 的統一控制」是不同量詞,必須保存 reduction type、ordinary/supersingular、main-conjecture status 等 metadata;LMFDB 顯示的 Sha_an 是由 BSD 公式反推出的 analytic prediction,可以用來偵測異常、尋找候選、測試算法,但沒有獨立 descent/上同調證明前不能標成「已證」。