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

RUN-044

RUN-044 — The Chebotarev audit, every field-theoretic step computed, and the compatibility that could have failed