AdeAtlas
Invariants / CN-PROTO-02

CN-PROTO-02

CN derived declared

For the same peer transcript, authoritative state and outbound transcript must be identical

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

Transcript equivalence for interoperability.

Evidence notes

Cardano-specific: transcript equivalence is a Cardano interoperability requirement.