P5-E1 — ETNC / Determinant-Line Representation Escape Audit

02 篇把 P5 收斂成 B_∞(E) 的有理性問題後,本篇測試第一條可能捷徑:已證的等變 Tamagawa 數猜想(ETNC)機器能否不預設古典 rank-2 BSD 首項公式,就直接把這個純量放進有理格。稽核結果:Fouquet 的模動機 ETNC 框架在 fundamental line 存在性、整數 zeta 元素格、Hecke 族 specialization、ordinary 臨界值週期比較上都有強定理支持——但這些都是針對「非導出」的普通臨界纖維。389.a1 在平凡特徵處 central value 消失到二階,P5 的目標是一個 derived specialization,形狀是 ∂⁽¹⁾z_E ↔ L''(E,1)/2!,同時必須把導出行列式/Bockstein 物件與 Ω_E·Reg^NT(E) 識別起來——這正是 Generalized Perrin-Riou 一類公式想處理的額外資料。文件援引 Burns-Kurihara-Sano 自己的記錄:一般正秩時,cyclotomic Generalized Perrin-Riou 猜想在乘上 ℤ_p× 因子後,是從相關 BSD 命題本身加上廣義 Iwasawa 主猜想推出的——所以「ETNC/Iwasawa 主猜想 ⟹ B_∞(E)∈ℚ×」目前對 rank-2 平凡特徵首項並不成立,除非另有導出 archimedean 比較定理。缺口不是 fundamental line 不存在,而是缺少「導出 p-adic/行列式 specialization」與「archimedean Néron-Tate 首項正規化」之間已證的比較。文件因此把 P5-RAT 精煉成更明確的 P5-DERPER 閘門,並指出下一步文獻搜尋應精確瞄準四個候選之一,而不是廣泛地找「ETNC for elliptic curves」。