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