Enum BlockStateStatus 

pub enum BlockStateStatus {
    Verified,
    Failed {
        message: String,
    },
    NotEvaluated {
        blocked_by: ObjectId,
    },
}

Outcome of attempting to verify one CurrentV6 Block’s state root during [verify_blocks_topological]’s whole-batch pass (DC-95 Stage 2 Level 2). Distinct from verify::StageOutcome/StageStatus (Level 1): there is no operator-requested halt at block granularity, so there is no Halted analogue — a block’s non-evaluation is always because its own state-derivation parent did not itself evaluate, never because an unrelated walk stopped.

Variants

Verified

The block’s state root was independently re-derived and matches its recorded value.

Failed

The block’s own state-root check failed.

Fields

message: String

The error the check raised.

NotEvaluated

This block’s state-derivation parent did not itself evaluate (Failed or NotEvaluated), so this block’s own state is undefined by construction and [verify_block_v2_state] was never attempted for it — attempting anyway would mean either trusting an unsound parent or re-deriving from genesis per descendant, defeating DC-92’s whole memoization point. blocked_by names this block’s immediate state-derivation parent, not the root cause (implementation review v1 §4 / Level 2 handoff §7 Q2: each record asserts only what it knows — a reader follows the chain one hop at a time, exactly as StageStatus::NotEvaluated requires at the stage level).

Fields

blocked_by: ObjectId

This block’s own state-derivation parent.

Trait Implementations

impl Clone for BlockStateStatus

fn clone(&self) -> BlockStateStatus

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BlockStateStatus

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for BlockStateStatus

impl PartialEq for BlockStateStatus

fn eq(&self, other: &BlockStateStatus) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BlockStateStatus