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

RUN-085

RUN-085 — BSD Symbolic Rounds 008–009 (the web GPT's self-dual fundamental line and correct regulator exponent; the analytic leading-term line and order matching): every boxed statement instantiated exactly — and the two supplements the rounds ask for on 389.a1: the regulator as one Gram determinant