Terminal Rigidity Witness (ERB) — executable certificates demonstrating terminal rigidity and no-escape obstructions under bounded locality and capacity.
-
Updated
Feb 13, 2026 - TeX
Terminal Rigidity Witness (ERB) — executable certificates demonstrating terminal rigidity and no-escape obstructions under bounded locality and capacity.
Capacity–Locality Certification — executable certification framework validating systems against capacity bounds and locality constraints.
AIV Verifier (Public) — public, read-only verifier for AIV executable certificates with deterministic signature and integrity checks.
URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.
Add a description, image, and links to the executable-certificates topic page so that developers can more easily learn about it.
To associate your repository with the executable-certificates topic, visit your repo's landing page and select "manage topics."