Protected-State-Correction-Theory

Main Contributions

This map separates adopted backbone from branch-limited contribution lanes.

Foundational OCP Spine

Theorem-core anchors are in docs/theorem-core/:

These files define shared language and baseline assumptions.

Descriptor-Fiber Quantitative Lane

The strongest current lane is the restricted fiber/no-go package with executable witnesses:

This lane establishes opposite exactness verdicts under matched amount descriptors.

Constrained-Observation Theorem Lane

Positive Recoverability and Augmentation Lane

Methods and Diagnostics Lane

Validation and Evidence Lane

Physics Translation Lane

Workbench Lane