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

RUN-079

RUN-079 — BSD Symbolic Round 001 (the web GPT's "General Cross-Rank Projective Calibration"): every boxed identity instantiated with exact formal series and checked on 126 random instances over 21 rank patterns; two supplements the document leaves implicit — Theorem 4.1 is t-covariant, and the oracl