Invariants / CN-SESS-01
CN-SESS-01
CN release enforcedSingle 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.