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

RUN-095

RUN-095 — Round 030's certificate re-judged with the theorem closures fed back in: **C1, C2 and C4 turn PASS** because RUN-090 applied one rule to ten criteria that are not all of one kind — and "the first blocker" turns out to be a **frontier, {C5, C8}**, not a single item