#open-problems

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 — Research Status Snapshot (April 2026, W5 Day 1 G0 close, CV-1.5) — HISTORICAL

Historical SCC status snapshot frozen at W5 Day 1 G0 close (2026-04-27, CV-1.5) — 43 Cat A / 57 claims / 75% proved, the W4 resolution of the 3 Critical OPs (F-1, M-1, MO-1), and the W5 Day 1 G0 σ-framework canonical merge. Superseded; for the active living status page see scc-status-2026-05.

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.

Chapter 16 — Open Problems

All open problems and conjectures collected from throughout the theory. Organised by part and difficulty.