AdeAtlas
Invariants / T-DET-01

T-DET-01

T true enforced

Same canonical inputs -> same authoritative bytes (per Byte Authority Model)

Source

Project constitution §2, Byte Authority Model §3

Cluster
CL-LEDGER-VERDICT
Authority surface
BLUE authoritative state transitions

Enforcement trace

Code

Tests 21

  • apply_block_deterministic
  • byron_determinism
  • shelley_determinism
  • allegra_determinism
  • mary_determinism
  • alonzo_determinism
  • babbage_determinism
  • conway_determinism
  • layout_is_stable
  • roundtrip_empty_state
  • roundtrip_genesis_state
  • roundtrip_populated_state
  • roundtrip_chain_event_all_variants
  • roundtrip_chain_selection_reject_all_variants
  • op_cert_counter_map_iteration_is_deterministic
  • synthetic_session_replays_identically
  • synthetic_session_event_kinds_match_corpus
  • synthetic_session_final_state_matches_corpus
  • op_cert_regression_header_rejected_mid_stream
  • verdict_stream_replays_identically
  • tx_verdict_stream_replays_identically

CI 3

Cross-references

CN-WIRE-01CN-WIRE-02CN-LEDGER-02CN-CONS-01DC-CONS-06DC-TXV-01DC-VAL-01DC-TXV-07DC-LEDGER-08DC-LEDGER-09DC-LEDGER-10DC-CRYPTO-03DC-CRYPTO-04DC-CONS-13DC-CONS-14

Strengthened in

PHASE4-N-BPHASE4-B1PHASE4-B2PHASE4-N-CPHASE4-N-GPHASE4-N-HPHASE4-N-IPHASE4-N-JPHASE4-N-KPHASE4-N-LPHASE4-N-M-APHASE4-N-M-BPHASE4-N-M-FRAGPHASE4-N-Y

Evidence

  • crates/ade_testkit/tests/ledger_determinism.rs uses ade_ledger::fingerprint for byte-identical state comparison across all 7 eras

  • crates/ade_testkit/tests/consensus_stream_replay.rs replays the canonical chain-selector stream twice and asserts byte-identical event lists and final orchestrator state — closes T-DET-01 for the consensus subset