AdeAtlas
Invariants / DC-PROTO-07

DC-PROTO-07

DC derived enforced

Given canonical inputs (negotiated_version, peer_message_sequence, broadcast_arrival_sequence, session_event_sequence), the producer-side chain-sync / block-fetch session orchestrator emits a byte-identical sequence of outgoing mini-protocol frames across replays. The per-session reducer is a pure deterministic transition.

Source

docs/planning/phase4-n-a-successor-invariants.md §3

Cluster
PHASE4-N-G
Authority surface
producer-side server-role session transcript

Enforcement trace

Code

Tests 4

  • producer_chain_sync_serve_replays_byte_identical_over_corpus
  • producer_block_fetch_serve_replays_byte_identical_over_corpus
  • drain_and_admit_is_deterministic_over_arrival_sequence
  • session_transcript_replay_byte_identical

CI 3

Cross-references

T-DET-01DC-PROTO-06

Strengthened in

PHASE4-N-F-G-H

Evidence

  • End-to-end test session_transcript_replay_byte_identical drives the full pipeline over identical canonical inputs twice and asserts byte-equal outgoing frame sequences.

  • Per-reducer determinism tests in chain_sync::server and block_fetch::server cover each reducer in isolation; the GREEN adapter's determinism test covers admission ordering.