Invariants / T-COLL-01

T-COLL-01

T true declared

Deterministic iteration order for all semantically meaningful collections

Source: Project constitution §2, D-5

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap