SCC — Current Research Status (May 2026, CV-1.17)
Active SCC status as of CV-1.17 (sealed 2026-05-15 — W7 close). Ledger: 68 Cat A + 19 B + 6 C + 5 Retracted = 98 claims, ~70% proved; 215 passed + 1 xfailed. H-COMP-KERNEL CLOSED Cat B. H-MORSE partially closed. First _archive/ cohort instantiated.