Invariants / CN-CONS-01

CN-CONS-01

CN true enforced

Chain selection must be deterministic for the same candidate chains and protocol observables

Source: classification_table.md §D

Enforcement trace

Code

crates/ade_core/src/consensus/fork_choice.rs
crates/ade_core/src/consensus/candidate.rs

Tests 6

replay_is_deterministic
reject_reason_bytes_are_stable
higher_block_no_wins
equal_block_no_tiebreaker_decides
select_best_chain_arrival_order_independent_distinct_heights
select_best_chain_arrival_order_independent_tiebreaker

CI 2

ci_check_no_density_in_fork_choice.sh
ci_check_chain_selection_arrival_order_independent.sh

Cross-references

Strengthened in

Attack rationale

Prevents fork-choice drift.

Evidence notes

Universal: any consensus system must have deterministic fork choice. Evidence: SelectView in ouroboros-consensus depends only on BlockNo + TiebreakerView.