AdeAtlas
Invariants / DC-LEDGER-02

DC-LEDGER-02

DC derived partial

Same genesis + same blocks = byte-identical ledger state

Source

Project constitution §3, T-DET-01

Cluster
CL-LEDGER-VERDICT
Authority surface
ledger state progression at boundary-snapshot precision; per-block live differential deferred to external harness

Enforcement trace

Code

Tests 5

  • utxo_state_deterministic
  • all_eras_determinism_summary
  • boundary_fingerprint_matches_pins
  • no_mutation_is_ever_valid
  • adversarial_replays_identically

CI 2

Cross-references

DC-TXV-03DC-TXV-04DC-VAL-02DC-VAL-04DC-VAL-05DC-VAL-06

Strengthened in

PHASE4-B1PHASE4-B2

Evidence

  • boundary fingerprint agreement at 12 proof-grade snapshots (CE-75 in-repo layer 2)