ade_core

The functional core (consensus half): Praos VRF leader-check + the expected-VRF-input recipe; the chain-selection authority consensus::fork_choice::select_best_chain (the sole DC-CONS-03 selector); the BLUE candidate/header-validation authorities the live SELECT path reuses; the PraosChainDepState / Nonce evolution (incl. overlay_recovered_eta0 and the rolling live-follow nonce transition DC-EPOCH-16); the HFC era-schedule EraSchedule (locate — the deterministic slot→epoch authority every boundary decision uses) + the freeze-window helper praos_rsw_slots (= ceil(4k/f), the single RSW derivation shared by the genesis parser, rsw_for_cli, and the S2 sidecar_freeze_rsw); the closed LeaderCheckVerdict; the SecurityParam (k = 2160); consensus::ledger_view::LedgerView. +1 type since cdcd9397 — LeaderEligibility (the new closed leader-eligibility classification). Otherwise byte-stable across the span; the native next-epoch derivation lives in ade_ledger/ade_runtime/ade_node, consumed THROUGH the existing ledger_view authority, never a parallel selector.

PraosChainDepState, Nonce, EraSchedule, ExpectedVrfInput, LeaderCheckVerdict (closed), LeaderEligibility (closed — NEW), CandidateFragment, TiebreakerView, ValidatedHeaderSummary, HeaderInput, HeaderVrf, Point, BlockDistance, SecurityParam, ActiveSlotsCoeff, LedgerView, candidate/VRF-input/leader-threshold types. 50 public types.

Praos header VRF/leader inputs; candidate chain summaries for select_best_chain. validate_and_apply_header validates one HeaderInput → ValidatedHeaderSummary. consensus::praos_state evolves the nonce + overlays the recovered eta0 + drives the rolling live-follow transition (one indivisible transition per validated followed header over {slot, prev_block_hash, vrf_nonce_output, freeze_boundary}; boundary tick → combine + rotation, no reset). EraSchedule::locate maps a SlotNo to its protocol epoch.

(1) Perform I/O / read a clock / use float / HashMap. (2) Be the home of a SECOND chain selector — select_best_chain is the sole DC-CONS-03 fork-choice authority; arrival-order-independent (CN-CONS-01). validate_and_apply_header is the sole candidate-summary source — a RED-minted ValidatedHeaderSummary MUST NOT reach select_best_chain (DC-NODE-35). (3) Construct semantic types from raw bytes. (4) Depend on any RED/GREEN crate (only ade_types, ade_crypto, minicbor). (5) Add a SECOND expected-VRF-input authority. (6, T-REC-06) PraosChainDepState::overlay_recovered_eta0 — the SINGLE eta0-overlay authority; stays pure. (7, DC-EPOCH-16) the rolling nonce evolution is ONE indivisible BLUE transition; the RSW freeze boundary is derived from era geometry via the single praos_rsw_slots — ade_core MUST NOT accept a freeze boundary from a wall-clock or a second RSW formula, and the freeze rule stays None ⇒ CANDIDATE_FREEZE_INERT. (8, MEM cross-ref DC-MEM-05/06) the consensus authority MUST stay independent of the process allocator + any UTxO storage-backend iteration order. (9, ECA cross-ref DC-EPOCH-03/12/14, DC-EVIEW-11) ade_core MUST NOT gain a SECOND leader schedule or nonce authority for the next epoch — the promoted view is consumed THROUGH the existing ledger_view / leader-check authorities, never by a parallel selector inside ade_core; the SAME EraSchedule::locate answers the boundary for BOTH the activation predicate and the forge epoch-match guard.

ade_ledger, ade_testkit, ade_core_interop, ade_runtime (window driver + native Mithril assembly + the live-follow nonce tick), ade_node (epoch-activation orchestration + the sidecar_freeze_rsw RSW derivation).

ade_types, ade_crypto, minicbor. Dev-dep: ade_testkit.

ade_core::consensus::{fork_choice::select_best_chain, header_validate::validate_and_apply_header, leader_check::*, praos_state::{PraosChainDepState, Nonce}, candidate::*, header_summary::*, events::{Point, BlockDistance}, ledger_view::LedgerView, vrf_cert::ActiveSlotsCoeff, era_schedule::{EraSchedule, praos_rsw_slots}, praos_leader_value, SecurityParam}.

consensus/ (fork_choice.rs, header_validate.rs, candidate.rs, header_summary.rs, events.rs, rollback.rs, leader_check.rs, praos_state.rs, nonce.rs, vrf_cert.rs, ledger_view.rs, era_schedule.rs, encoding.rs).