重建後的 Canonical Frontier

說明為什麼選 p5 最後稿手定義的範數矩陣作為本輪遠攻目標：phase1 只是有限來源一致性問題，phase2 最強族只是現有定理加算術證書的路由，兩者都沒有已證明的邊通往秩二複數主項。精確靶心是證明這個矩陣確實是實際擴張的上同調連接映射的指定局部化，不假設 Sha 有限、不假設 Selmer 維數為 2、不假設 IMC、不假設 canonical Kurihara witness，更不假設 BSD。文中附上 mermaid 依賴圖：實際 cyclotomic 擴張+精確局部範數資料 → 兩地 Bockstein 實現（已證）→ Selmer 複形與積整格比較（OPEN）→ 複數 GPR 比較（OPEN）→ 秩二 BSD 主項（OPEN）。明確講明這些箭頭只表示所需依賴，上游完成不自動證明下游。