Invariants / T-BUILD-02
T-BUILD-02
T true declaredOne semantic interpretation per protocol version and input set
- Source
Project constitution §2
Enforcement trace
Code
no enforcing code — gap
Tests 0
no tests named — gap
CI 0
no CI script — gap
One semantic interpretation per protocol version and input set
Project constitution §2
no enforcing code — gap
no tests named — gap
no CI script — gap