Invariants / CN-SESS-01

CN-SESS-01

CN release enforced

Single mux frame authority: ade_network::mux::frame::{encode_frame, decode_frame} is the SOLE pub fn pair encoding/decoding MuxFrame to/from bytes in the workspace. No parallel mux codecs. Type-level

  • CI grep enforcement (mirrors CN-STORE-08).

Source

docs/planning/phase4-n-l-wire-protocol-invariants.md §1 (I-7)

Enforcement trace

Tests 1

  • crates/ade_network/src/mux/frame.rs::tests::frame_roundtrip_byte_identical

Cross-references

Strengthened in

Evidence notes

PHASE4-N-L S1 (2026-05-26) added ci/ci_check_mux_frame_closure.sh — searches every .rs in crates/ for a pub fn encode_frame or decode_frame, asserts the only site is mux/frame.rs. Positive grep: mux/frame.rs contains both pub fns.