Invariants / CN-PROTO-01

CN-PROTO-01

CN derived declared

Each miniprotocol must be an explicit deterministic state machine with legal typed transitions only

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 protocol confusion and transcript drift.

Evidence notes

Cardano-specific: miniprotocol is Cardano's specific protocol architecture. Evidence: ouroboros-network protocol modules define typed state machines with agency.