ade_runtime::chaindb::reduced_utxo_checkpoint
GREEN- Purpose
A disk-backed redb store of the reduced UTxO
TxIn → (Coin, ReducedStakeRef)— the "minimal native state": the single ledger authority's own reduced-UTxO projection, a GREEN durable CACHE of a BLUE-derivable projection, reconstructible by replay, NEVER authority and NEVER on the live follow/forge path.- Creates
ReducedUtxoCheckpoint,ReducedCheckpointError(closed),CheckpointReadinessError(closed). GREEN — not canonical-counted.- MUST NOT
Affect authoritative outputs; introduce nondeterminism (
BTreeMaponly; canonical fixed-width keys; the fingerprint folds inTxInorder).DC-EVIEW-04/DC-EPOCH-11: be treated as AUTHORITY — the AUTHORITATIVE candidate is always a FRESH durable window replay, never this live checkpoint; a partial build (no completeness marker) MUST NEVER be mistaken for complete;verify_ready_at/verify_advanced_throughfail closed on an unsealed / wrong-lineage / lagging / overshot checkpoint;reset_to_bootstraprestores from the sealed IMMUTABLE baseline; MUST NOT be promoted onto the hot follow/forge path.- Inbound deps
ade_runtime::chaindb::reduced_window_driver,ade_runtime::chaindb::epoch_accumulator_advance,ade_node::epoch_*(via re-export).- Outbound deps
ade_ledger::reduced_utxo::{encode_reduced_record, ReducedStakeRef},ade_crypto::blake2b::blake2b_256,ade_types::{Hash32, SlotNo, tx::{Coin, TxIn}},redb.- Entry points
ReducedUtxoCheckpoint::{build_from, apply_block_delta, verify_ready_at, verify_advanced_through, reset_to_bootstrap, is_complete}.
Depends on
—
Depended on by
—