← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-087

RUN-087

RUN-087 — BSD Symbolic Rounds 017–020 (the web GPT's flatness from naturality with H¹ and H² obstructions; the normalisation fibration for cross-rank calibration; the universal normalisation line versus partner factors; the character-lattice one-calibrator criterion): every boxed statement instantia