The strongest current lane is the restricted fiber/no-go package with descriptor-fiber diagnostics.
OCP-049 to OCP-053 (restricted anti-classifier and instability theorems)This lane combines theorem statements with explicit family scope, counterexample-driven falsification, and executable evidence under stable artifact paths.
docs/fiber-based-recoverability-and-impossibility/restricted-linear-fiber-theory.mddocs/restricted-results/descriptor-fiber-anti-classifier/overview.mdpapers/descriptor-fiber-anti-classifier-branch.mddata/generated/unified-recoverability/The lane is intentionally restricted. It does not assert a universal theory of information or a universal classifier.