外部研究路線矩陣

用一張表比較十條可能路線的最強自然輸出、累積性、共同瓶頸與 Phase 1 裁決。Gross–Zagier–Kolyvagin 是基線;p-adic zeta/Iwasawa、p-converse、exact computational BSD 都判綠燈;Strong-BSD twist families 是首選——2024 年外部定理已有、2026 年已有算法化論文、LMFDB conductor≤500,000 域完整、結果可逐條重播;generalized Kato/higher GZ 是黃燈;Selmer 算術統計是輔助路線;數值 BSD atlas 只作資料層(evidence/anomaly detection,不等於 proof);Neo.K 自己的舊「格點秩收斂」路線被判**紅燈**,瓶頸是隱藏 equality 與離散量不連續(詳細審計見下一批文件);Faithful certificate frontier 是控制層,提供全域研究控制但不提供 BSD 定理。對高秩線,本文主張正確問法不是「證 rank 2 BSD」,而是先問哪個 higher Kato class 必須非零、哪個 Selmer rank equality 已知、哪個 p-converse 可用——輸出一張 dependency DAG,而不是一篇假裝閉合的證明。文末給出 MCDM 初評,並強調這是研究路由評估,不是數學定理。