← AMRAL · BSD 猜想 · 二 · 計算與重現 · 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