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