#registry

SCC Canonical Spec — Part 5: Proved Results Registry & Closing Notes

Sections 13–15 of the SCC canonical specification. Canonical is now CV-1.17 (68 Cat A / 98 claims, sealed 2026-05-15); this part is the CV-1.11 (W6) snapshot — 54 Category A + 14 B + 5 C + 5 retracted = 78 claims, ~69% proved. W6 additions: T-ST-5a (Stereo-SCC), T-OP6-B (OP-0006 RESOLVED), P-F-A1 Package I fully Cat A, OMS-2.0 Full.

SCC Theorem Registry

Canonical is now CV-1.17 (68 Cat A + 19 B + 6 C + 5 Retracted = 98 claims, ~70% proved, sealed 2026-05-15); this registry is the CV-1.11 (W6) snapshot — 54 Cat A / 78 claims, ~69% proved. The CV-1.12–1.17 additions are logged in the status page. W6 additions: T-ST-5a (CV-1.6), T-OP6-B/OP-0006 RESOLVED (CV-1.7), P-F-A1 Package I fully Cat A (CV-1.8–CV-1.9), OMS-2.0 Full.