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

After Document 02 converged P5 into the rationality problem of B_∞(E), this piece tests the first possible shortcut: can the proven Equivariant Tamagawa Number Conjecture (ETNC) machinery directly place this scalar into the rational lattice without presupposing the classical rank-2 BSD leading coefficient formula? Audit results: Fouquet's ETNC framework for modular motives has strong theorem support on fundamental line existence, integral zeta element lattices, Hecke family specialization, and ordinary critical value period comparisons—but these are all for "non-derived" ordinary critical fibers. For 389.a1, the central value vanishes to order two at the trivial character; P5's goal is a derived specialization, shaped as ∂⁽¹⁾z_E ↔ L''(E,1)/2!, and it must simultaneously identify the derived determinant/Bockstein object with Ω_E·Reg^NT(E)—this is exactly the extra data that Generalized Perrin-Riou type formulas aim to handle. The document cites Burns-Kurihara-Sano's own records: for general positive rank, the cyclotomic Generalized Perrin-Riou conjecture, up to a ℤ_p× factor, is deduced from the relevant BSD proposition itself plus the generalized Iwasawa Main Conjecture—so "ETNC/Iwasawa Main Conjecture ⟹ B_∞(E)∈ℚ×" currently does not hold for the rank-2 trivial character leading coefficient, unless there is another derived archimedean comparison theorem. The gap is not that the fundamental line does not exist, but the lack of a proven comparison between the "derived p-adic/determinant specialization" and the "archimedean Néron-Tate leading coefficient normalization". The document therefore refines P5-RAT into the more explicit P5-DERPER gate, pointing out that the next literature search should precisely target one of four candidates, rather than broadly searching for "ETNC for elliptic curves".