#commitments

SCC Canonical Spec — Part 4: Structural Interpretation, Commitments & Open Problems

Sections 10–12 of the SCC canonical spec (CV-1.5.2): structural interpretation, fixed commitments vs open design choices, and open problems by foundational/bridging/extension layer. W4 close (2026-04-24) resolved Critical-3 (F-1, M-1, MO-1); CV-1.5.2 promoted T-L1-F as the first multi-formation Cat A theorem.

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.