AdeAtlas
Invariants / CN-PROTO-03

CN-PROTO-03

CN derived declared

Agency must be enforced strictly; impossible messages must fail deterministically

Source

classification_table.md §F

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents invalid recovery or fallback behavior.

Evidence notes

Cardano-specific: agency is Cardano's mini-protocol concept.