Invariants / DC-ADMIT-07
DC-ADMIT-07
DC true enforcedAdmit-replay-equivalence (true-tier): for every successful WalEntry::AdmitBlock transition, replay from the prior checkpoint plus WAL produces (a) the same post-admit LedgerState fingerprint AND (b) the same emitted AgreementVerdict from a re-run of verdict::derive over the replayed (admit_outcome, peer_tip) pair.
This is a true-tier property strengthening CN-STORE-03 (replay-equivalent recovery), not merely a logging property. The integration test asserts both halves.
- Source
docs/planning/phase4-n-m-b-admission-invariants.md §1 (I-B7)
Enforcement trace
Tests 4
- admission_replay_equivalence::admission_replay_equivalence_byte_identical_wal_after_two_runs
- admission_replay_equivalence::admission_signal_shutdown_returns_clean_exit
- admission_replay_equivalence::admission_disconnect_to_zero_peers_exits_clean
- admission_replay_equivalence::admission_tip_update_does_not_emit_wal_entry