Executable Rigidity Bound (ERB) witnesses for terminal rigidity.
A terminal rigidity witness certifies that a configuration admits no admissible escape transformation under bounded locality and capacity constraints.
Formally, a witness W verifies
R(X) = True
where X is a terminal configuration satisfying
- Local admissibility constraints
- Capacity bounds
- No escape morphism
The witness therefore proves that the system is terminally rigid.
A rigidity witness consists of
W = (C, B, V)
C configuration
B capacity bound
V verification procedure
The witness verifies
¬∃ T : X → Y
such that T preserves locality constraints and capacity bounds.
src/ core witness verification code
docs/ formal witness definitions
proofs/ example rigidity certificates
tests/ verification tests
examples/ demonstration witnesses