Invariants / T-ENC-02

T-ENC-02

T true declared

Non-canonical bytes rejected deterministically

Source

Project constitution §2

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap