Invariants / DC-LEDGER-01

DC-LEDGER-01

DC derived enforced

apply_block(state, block) is pure and deterministic

Source: Project constitution §3, T-CORE-01, T-CORE-03
Cluster: CL-LEDGER-VERDICT
Authority surface: block application verdicts across all 7 eras

Enforcement trace

Code

crates/ade_ledger/src/rules.rs

Tests 3

apply_block_byron_ebb_passes_through
apply_block_deterministic
all_eras_determinism_summary

CI 1

ci_check_ledger_determinism.sh

Evidence

crates/ade_ledger/src/fingerprint.rs provides canonical per-component state hash used by ledger_determinism.rs