https://github.com/inaciovasquez2020/overlap-rigidity-lean

Unified Capacity–Locality Problem (UCLP): a decision framework for bounded locality, bounded information injection, and valid progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE predicate.

benchmarks capacity-locality complexity-theory computational-complexity cutstrings entropy-depth foundations-of-computation information-theory locality unified-rigidity-framework urf-admissible

Last synced: 23 Feb 2026