Invariants / T-CORE-04

T-CORE-04

T true declared

Illegal states unrepresentable via types where practical

Source: Project constitution §2, §5.1

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap