This file lists promoted positive theorems with scope boundaries.
OCP-002, OCP-019, and OCP-016 anchor exact finite-dimensional recovery on declared classes.
OCP-013, OCP-014, and OCP-004 anchor asymptotic generator behavior.
These results define the baseline operator architecture used by later branches.
OCP-044 is promoted as a restricted bounded-domain exactness theorem on a finite-mode, boundary-compatible Hodge class.
Assumptions: boundary-compatible basis and declared protected class.
Applicability: restricted class only.
Promoted results:
OCP-030: observation-fiber exactness.OCP-031: restricted linear kernel and row-space exactness criterion.OCP-043: collision-gap threshold law on declared families.OCP-045: minimal augmentation law.OCP-046: exact-regime stability envelope.Together, this block provides the operational chain from diagnosis to augmentation on restricted classes.
OCP-048 shows that weaker targets can remain exactly recoverable when stronger targets fail on the same record map.
DFMI, IDELB, and CL are retained as branch-limited diagnostics with artifact-backed support. They are not promoted as universal theorem families.
The spine excludes universal amount-only classifiers, universal scalar capacity laws, unrestricted bounded-domain exactness claims, and branch-agnostic universal narratives.
Read together with docs/theorem-core/no-go-spine-final.md.