¶Document tag
#open-problems
5 documents indexed here. Formal results, specifications, proofs, registries, and other ways the material is written.
ℓNotes
4- Notes
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.
- Notes
SCC — Research Status Snapshot (April 2026, W5 Day 1 G0 close, CV-1.5) — HISTORICAL
Historical SCC snapshot at CV-1.5: 43 Cat A / 57 claims / 75% proved, W4 Critical-3 resolution and the σ-framework merge. Superseded by the final sealed CV-1.17 archive; current Main research is ULR.
- Notes
SCC — Final Sealed Status (May 2026, CV-1.17) — HISTORICAL
Final sealed SCC status at CV-1.17 (2026-05-15): 68 Cat A + 19 B + 6 C + 5 Retracted = 98 claims. Preserved as a historical archive after the 2026-07-24 ULR-only transition; it is not the current research ledger.
- Notes
Chapter 16 — Open Problems
All open problems and conjectures collected from throughout the theory. Organised by part and difficulty.