This map separates adopted backbone from branch-limited contribution lanes.
Theorem-core anchors are in docs/theorem-core/:
architecture-final.mdtheorem-spine-final.mdno-go-spine-final.mdThese files define shared language and baseline assumptions.
The strongest current lane is the restricted fiber/no-go package with executable witnesses:
docs/fiber-based-recoverability-and-impossibility/restricted-linear-fiber-theory.mddocs/restricted-results/descriptor-fiber-anti-classifier/overview.mdpapers/descriptor-fiber-anti-classifier-branch.mdThis lane establishes opposite exactness verdicts under matched amount descriptors.
docs/theory/advanced-directions/constrained-observation-formalism.mddocs/theorem-candidates/constrained-observation-theorems.mdpapers/recoverability_paper_final.mddocs/restricted-results/positive-recoverability/positive_class_definitions.mddocs/restricted-results/positive-recoverability/positive_theorem_candidates.mddocs/restricted-results/positive-recoverability/positive_no_go_boundaries.mddocs/methods-diagnostics/metric-instrument-index.mddocs/methods-diagnostics/invariant-lane/src/ocp/structural_information.pydocs/overview/proof-status-map.mddocs/overview/claim-registry.mddocs/validation/master_validation_report.mddata/generated/unified-recoverability/data/generated/structural-information-theory/docs/physics-translation/README.mddocs/physics-translation/translation-status-map.mddocs/physics/docs/app/workbench-overview.mddocs/workbench/index.html