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

RUN-100

RUN-100 — C7, determinant coherence: the category fixed first (RUN-098's `R_S`, nothing more inverted, both ends in it), every object on the route a rank-1 module in degree 0 with `det(L) = L` and no hidden shift, the theorem-induced routes counted — **one**: the regulator-on-the-leading-term descri