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

RUN-106

RUN-106 — DAG-C, cut in two as instructed: **C_NT PASS** — `P, Q` are proved here to be a *global primitive* basis (`m = 1`: Hermite's cap, one cited height bound, an exhaustive box of 27 points, and an ℓ-sieve that needs no citation at all), the Néron–Tate convention is fixed and discriminated by t