Verifier tools and certification suite for Transcript Capacity, Entropy-Depth, and URF invariants.
-
Updated
Mar 22, 2026 - Python
#
entropy-depth
Here are 9 public repositories matching this topic...
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.
information-theory locality benchmarks computational-complexity complexity-theory foundations-of-computation unified-rigidity-framework entropy-depth capacity-locality urf-admissible cutstrings
-
Updated
Mar 22, 2026 - Python
Unified Capacity–Locality Problem (UCLP): a formal decision framework for bounded locality, information capacity, and progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE criteria.
information-theory locality benchmarks theoretical-computer-science computational-complexity complexity-theory foundations-of-computation unified-rigidity-framework entropy-depth capacity-locality urf-admissible cutstrings
-
Updated
Mar 22, 2026 - Python
Chronos–EntropyDepth — information-theoretic limits on refinement and computation; entropy depth bounds, certificates, and executable witnesses.
reproducible-research information-theory chronos formal-verification computational-complexity unified-rigidity-framework rigidity-theory entropy-depth refinement-limits
-
Updated
Mar 22, 2026 - TeX
Chronos–URF RR — reference implementation of Chronos entropy-depth bounds and rigidity results within the Unified Rigidity Framework.
reproducible-research information-theory graph-theory chronos reference-implementation formal-verification sat computational-complexity complexity-theory expanders rigidity unified-rigidity-framework rigidity-theory entropy-depth
-
Updated
Mar 29, 2026 - Python
Unified Rigidity Framework Textbook — Formal LaTeX/HTML/PDF build + release artifacts
math information-theory theorem-proving locality graph-theory lean navier-stokes urf formal-verification foundations computational-complexity mathematical-physics riemann-hypothesis spectral-graph-theory expanders rigidity yang-mills spectral-gap entropy-depth finite-model-theory
-
Updated
Mar 22, 2026 - TeX
Lean 4 development repository for overlap rigidity: local cycle-overlap invariants, FOᵏ locality interfaces, and executable proofs. Dev scaffold; authoritative artifacts released from the frozen repo.
proof-assistant locality graph-theory lean urf formal-verification lean4 rigidity entropy-depth finite-model-theory cycle-rank
-
Updated
Mar 22, 2026 - Lean
Canonical counterexamples and boundary constructions for OWC-style rigidity and capacity–locality claims. Includes explicit witnesses, verification scripts, and documented failure modes to delineate admissible vs. non-admissible regimes.
reproducible-research information-theory verification locality formal-methods certification complexity-theory counterexamples rigidity entropy-depth capacity-locality fo-k
-
Updated
Mar 22, 2026 - Python
Core theorems and certificates for Transcript Capacity and Entropy-Depth lower bounds in refinement systems.
information-theory rigidity computational-limits entropy-depth transcript-capacity refinement-systems
-
Updated
Mar 22, 2026 - TeX
Improve this page
Add a description, image, and links to the entropy-depth topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the entropy-depth topic, visit your repo's landing page and select "manage topics."