Invariants / DC-CONS-05
DC-CONS-05
DC derived enforcedAuthoritative rollback must never exceed the security parameter k measured in blocks (mainnet k = 2160). Rollback requests deeper than k return ExceededRollback. Forecast/stability windows may be slot-based but must accommodate at least k+1 blocks.
- Source
Project constitution §3, ouroboros-consensus consensus report
Enforcement trace
Tests 11
- consensus::rollback::tests::rollback_preserves_immutable_tip
- consensus::rollback::tests::rollback_preserves_security_param
- consensus::rollback::tests::rollback_with_zero_depth_is_noop
- consensus::rollback::tests::rollback_to_equal_block_no_as_immutable_succeeds
- consensus::rollback::tests::rollback_to_one_below_immutable_rejected
- rollback_within_k_succeeds
- rollback_exceeding_k_rejected_with_typed_reason
- rollback_before_immutable_tip_rejected
- rollback_event_bytes_are_stable
- rollback_is_deterministic
- rollback_equivalent_to_truncated_replay