Invariants / CN-CONS-02

CN-CONS-02

CN derived declared

Supported rollout skew must not allow a single adversarial input to induce persistent honest-node consensus divergence

Source: classification_table.md §D

Enforcement trace

Code

crates/ade_core/src/consensus/fork_choice.rs

Tests 2

reject_reason_bytes_are_stable
replay_is_deterministic

CI 2

Strengthened in

Attack rationale

Direct lesson from the November 2025 fork.

Evidence notes

Cardano-specific: addresses Cardano's multi-version deployment model and the November 2025 fork incident.