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

RUN-089

RUN-089 — BSD Symbolic Rounds 026–030 (the web GPT's comparison-defect line; period–de Rham cancellation; the exact determinant comparison and its K1 residual; the residual neutral torsor; the PC-001 normalisation closure theorem and post-normalisation DAG): every boxed statement instantiated exactl