Invariants / CN-PROD-01

CN-PROD-01

CN derived enforced

Producer-mode listener completes the N2N handshake (CN-SESS-02) on every accepted inbound connection before any mini-protocol traffic is exchanged. Pre-handshake socket bytes never reach the n2n_server reducers; handshake failure fail-closes the connection. Bytes from a peer that has not completed handshake are dropped at the boundary.

Source

docs/planning/phase4-n-q-invariants.md §1 (I1, I6); §2 (N1, N15)

Cluster
PHASE4-N-Q
Introduced in
PHASE4-N-Q

Enforcement trace

Cross-references

Strengthened in

Open obligation