← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-068

RUN-068

RUN-068 — the RUGZPB P4 certificate's one proof-critical computation, done a third time from scratch: mod-11 modular symbols for Γ₀(389) built here, the 389.a1 plus-eigenline found at 65 → 2 → 1, and the Kurihara number δ₃₉₇·₉₉₁ = 5 ≠ 0 at the disclosed scale — the manuscript's 6 still unreproduced,