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

RUN-107

RUN-107 — DAG-D, explicit reciprocity and nonannihilation: **DAG-D PASS**. All three layers land — the first nonzero projective class in `Q = H/L` is Loeffler–Rivero's own `X^n κ̂_d mod X`, the map is not merely nonzero but **injective** (that is literally Proposition C1.1), and the image is nonzero