← AMRAL · BSD Conjecture · Layer 2 · Recomputation · 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