Invariants / T-CORE-03

T-CORE-03

T true declared

Explicit state transitions: consume old state, produce new state

Source: Project constitution §2, §5.2

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references