Modules / ade_runtime::chaindb::reduced_utxo_checkpoint

ade_runtime::chaindb::reduced_utxo_checkpoint

GREEN
GREEN submodule GREEN by content — DC-EVIEW-04 / DC-EPOCH-11
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 (BTreeMap only; canonical fixed-width keys; the fingerprint folds in TxIn order). 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_through fail closed on an unsealed / wrong-lineage / lagging / overshot checkpoint; reset_to_bootstrap restores 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

—