Terminal Rigidity Witness (ERB) — executable certificates demonstrating terminal rigidity and no-escape obstructions under bounded locality and capacity.
reproducible-research information-theory locality formal-methods formal-verification computational-complexity lean4 unified-rigidity-framework terminal-rigidity rigidity-witness executable-certificates
-
Updated
Feb 15, 2026 - TeX