Invariants / T-ERR-02
T-ERR-02
T true declaredSafety violations fail-fast deterministically
- Source
Project constitution §2, E-1
Enforcement trace
Code
no enforcing code — gap
Tests 0
no tests named — gap
CI 0
no CI script — gap
Safety violations fail-fast deterministically
Project constitution §2, E-1
no enforcing code — gap
no tests named — gap
no CI script — gap