DC-SESS-03

DC derived enforced

Per-mini-protocol ordering + session replay equivalence: replaying the same byte chunks through session::core::step yields byte-identical outbound frames and an identical sequence of SessionEffect::DeliverPeerFrame values. Within a single (peer, mini_protocol_id) pair, frame ordering is preserved.

Source: docs/planning/phase4-n-l-wire-protocol-invariants.md §1 (I-3) + §3

Enforcement trace

Code

Tests 3

crates/ade_network/tests/session_replay_equivalence.rs::session_replay_equivalence_holds
crates/ade_network/tests/session_replay_equivalence.rs::session_replay_corpus_builds_deterministically
crates/ade_network/src/session/demux.rs::tests::frame_buffer_two_runs_deterministic

CI 1

ci_check_session_core_closure.sh

Cross-references

Strengthened in

Evidence notes

PHASE4-N-L S3+S9 (2026-05-26): FrameBuffer is byte-FIFO + deterministic per-protocol fanout. Integration test session_replay_equivalence.rs proves two-run byte-identity across a handshake-phase and a connected-phase corpus.