DC-CONSENSUS-02

Code

• crates/ade_core/src/consensus/leader_schedule.rs
• crates/ade_core/src/consensus/ledger_view.rs
• crates/ade_core/src/consensus/vrf_cert.rs
• crates/ade_ledger/src/consensus_view.rs

Tests 16

• consensus::leader_schedule::tests::query_uses_state_epoch_nonce_for_vrf_input
• consensus::leader_schedule::tests::query_returns_unknown_pool_when_no_vrf_key
• consensus::leader_schedule::tests::query_returns_outside_forecast_range_for_far_future
• consensus::leader_schedule::tests::query_does_not_mutate_state
• consensus::leader_check::tests::eligible_on_threshold_with_high_stake_emits_eligible_verdict
• consensus::leader_check::tests::not_eligible_with_zero_stake_emits_not_eligible_verdict
• corpus_returns_canonical_answer_for_known_pools
• corpus_rejects_unknown_pool
• corpus_rejects_out_of_forecast_horizon
• corpus_is_leader_helper_matches_pinned_probe
• corpus_is_deterministic_across_runs
• view_returns_corpus_pool_stake_and_vrf_keyhash
• view_unknown_pool_returns_none
• view_unknown_epoch_returns_none
• view_is_pure
• consensus_view::tests::pool_distr_view_no_hashmap

CI 0

no CI script — gap