Invariants / DC-CONS-06

DC-CONS-06

DC derived enforced

rollback(state, depth) produces state byte-identical to truncated replay from the nearest checkpoint. Rollback that would cross the immutable tip (≥ k deep) returns ForkBeforeImmutableTip and never alters state.

Source: Project constitution §3, T-DET-01

Enforcement trace

Code

crates/ade_core/src/consensus/rollback.rs

Tests 7

rollback_equivalent_to_truncated_replay
rollback_is_deterministic
rollback_within_k_succeeds
rollback_before_immutable_tip_rejected
rollback_event_bytes_are_stable
consensus::rollback::tests::rollback_to_one_below_immutable_rejected
consensus::rollback::tests::rollback_preserves_immutable_tip

CI 1

ci_check_consensus_closed_enums.sh

Cross-references

Strengthened in