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

RUN-103

RUN-103 — DAG-A through RUN-069's determinantal Bockstein: `B_N` typed as the canonical localization map dressed with chosen augmentation generators — hand-built, not a connecting morphism — so P5-CANON-BocID closes negatively: it is not the Burns–Kurihara–Sano Bockstein regulator (a different objec