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

RUN-102

RUN-102 — C10, the canonical-section audit: fifteen choices listed with what each depends on, its tag, how it was quotiented and whether it survives — none survives; each of R0's four arrows canonical in the reduced category at a named layer (C1.10's unique `ω_f`, A6.1's forced exponent, C1.13 lifte