對 Neo.K 舊「格點秩收斂」路線的審計

逐項拆解舊稿的邏輯鏈:格點化橢圓曲線、計算格點 L-函數、定義格點秩與零點階數、取 a→0、主張「連續性保證等式成立」。審計指出至少兩層循環風險:若格點 BSD 不等式(rank_a(E)≤ord_{s=1}L_a(E,s))的證明本身已用古典 BSD 型連結,即為循環。第二層是技術層面——rank 是整數值全域算術不變量,數值格點上的「近似點數」「矩陣秩」不會因 a→0 自動收斂成 Mordell-Weil rank,必須先建立「格點證書 ⟺ 有理點獨立性/Selmer 界」的等價;即使 L_a(E,s)→L(E,s) 在某區域收斂,也不自動推出消失階收斂,因為消失階對微小擾動非連續;「兩邊都收斂」不推出「極限相等」,除非每個 a 有合法關係 A_a=B_a——但若這正是格點 BSD,難題只是搬進格點層,沒有真正解決。挽救需要四個獨立定理:GR-1(忠實離散化,格點對象須保留 rational points/group law/torsion/height/local reduction)、GR-2(rank 證書等價,不是視覺/數值 rank)、GR-3(解析階穩定性,格點 L-函數零點階需被 rigorous analytic certificate 保存)、GR-4(非循環橋接,GR-2 與 GR-3 之間的等式不能預設 BSD)。目前四項皆未完成。