Invariants / DC-PLUTUS-02
DC-PLUTUS-02
DC derived declaredBudget exhaustion produces deterministic structured error
- Source
Project constitution §3, T-ERR-01
Enforcement trace
Code
no enforcing code — gap
Tests 0
no tests named — gap
CI 0
no CI script — gap