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

RUN-096

RUN-096 — The frontier {C5, C8} attacked: the defect ledger delivered with the `b_f⁺` gauge derived rather than fixed — **`C_π` is gauge-invariant, `c_lead` and `q_f` are G, RUN-090's tags corrected** — yet **C5 stays UNMEASURED** because the comparison route does not exist as a map; **C8 PASS**, th