Invariants / CN-CRYPTO-03
CN-CRYPTO-03
CN true declaredAll collections with consensus meaning must be ordered deterministically before hashing or comparison
- Source
classification_table.md §J
Enforcement trace
Code
no enforcing code — gap
Tests 0
no tests named — gap
CI 0
no CI script — gap
Attack rationale
Prevents set and map iteration nondeterminism.
Evidence notes
Universal: direct consequence of T-COLL-01 + T-DET-01.