AdeAtlas
Invariants / CN-SESS-03

CN-SESS-03

CN release enforced

Single session step authority: ade_network::session::core::step is the SOLE pub fn reducing (SessionState, ByteChunkIn) -> (SessionState, Vec). No parallel session reducers. Mirrors CN-NODE-01 (single bootstrap) and CN-STORE-07 (single materialize) for the wire-session layer.

Source

docs/planning/phase4-n-l-wire-protocol-invariants.md §5

Enforcement trace

Code

Tests 3

  • crates/ade_network/src/session/core.rs::tests::session_step_two_runs_byte_identical
  • crates/ade_network/src/session/core.rs::tests::session_handshake_completion_transitions_state
  • crates/ade_network/src/session/core.rs::tests::session_outbound_frame_encodes_via_encode_frame

CI 1

Cross-references

CN-SESS-01CN-SESS-02CN-NODE-01

Strengthened in

PHASE4-N-L

Evidence notes

PHASE4-N-L S2 (2026-05-26) shipped session::core::step as the SOLE pub fn in session/core.rs. ci/ci_check_session_core_closure.sh enforces the single-pub-fn constraint + the SessionState type-state (Handshaking/Connected variants).