← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-082
RUN-082 — BSD Symbolic Rounds 002–004 (the web GPT's determinant-line lift, anchored projective jet, higher projective jets): every boxed identity instantiated exactly on random instances and every one holds; the gauge weights 2 and 4 confirmed independent of the jet order; the one slip a reader cou
Loading…