三條攻擊路線與停止紀錄

登錄三條實際完成的攻擊路線。A：修復正規化依賴——判定 Corollary 1.6 引證無效，改用 Castella–Sano 定理修復，primitive 前提已閉合但指定 witness 仍缺檔。B：從範數矩陣到實際環境 Bockstein——重算兩個有限群、修補範數商證明、用杯積與 Hochschild–Serre 證 tame 同構、對實際擴張證交叉項消失：LOCAL-BOC-REALIZATION 已閉合，CANON-BocID 仍全 OPEN。C：嘗試搬到 canonical Selmer regulator，得到 no-go 邊界——證 kerλ≅S/U、構造相同殘餘複形但不同一階連接映射的反例，否定僅靠殘餘矩陣非零就能推 canonical regulator 的推論；FROZEN，需新的 filtered Selmer morphism 或直接處理兩個 anomalous 局部條件的定理才能重啟。驗證紀錄：python3 src/reproduce.py 產生 results/exact_results.json，unittest discovery 12 項測試全部通過，包含正向與破壞Witness的反向檢查。