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