Enum BlockError 

pub enum BlockError {
    InvalidData(String),
    InvalidVersion {
        expected: u16,
        actual: u16,
    },
    TooLarge {
        size: u32,
        max: u32,
    },
    CostExceeded {
        cost: u64,
        max: u64,
    },
    SpendBundleCountMismatch {
        header: u32,
        actual: u32,
    },
    InvalidSpendsRoot {
        expected: Bytes32,
        computed: Bytes32,
    },
    InvalidReceiptsRoot {
        expected: Bytes32,
        computed: Bytes32,
    },
    InvalidParent {
        expected: Bytes32,
        got: Bytes32,
    },
    InvalidSlashProposalsRoot,
    SlashProposalPayloadTooLarge,
    TooManySlashProposals,
    InvalidAdditionsRoot,
    InvalidRemovalsRoot,
    InvalidFilterHash,
    DuplicateOutput {
        coin_id: Bytes32,
    },
    DoubleSpendInBlock {
        coin_id: Bytes32,
    },
    AdditionsCountMismatch {
        header: u32,
        actual: u32,
    },
    RemovalsCountMismatch {
        header: u32,
        actual: u32,
    },
    SlashProposalCountMismatch {
        header: u32,
        actual: u32,
    },
    TimestampTooFarInFuture {
        timestamp: u64,
        max_allowed: u64,
    },
    PuzzleHashMismatch {
        coin_id: Bytes32,
        expected: Bytes32,
        computed: Bytes32,
    },
    ClvmExecutionFailed {
        coin_id: Bytes32,
        reason: String,
    },
    ClvmCostExceeded {
        coin_id: Bytes32,
        cost: u64,
        remaining: u64,
    },
    AssertionFailed {
        condition: String,
        reason: String,
    },
    AnnouncementNotFound {
        announcement_hash: Bytes32,
    },
    SignatureFailed {
        bundle_index: u32,
    },
    CoinMinting {
        removed: u64,
        added: u64,
    },
    FeesMismatch {
        header: u64,
        computed: u64,
    },
    ReserveFeeFailed {
        required: u64,
        actual: u64,
    },
    CostMismatch {
        header: u64,
        computed: u64,
    },
    InvalidProposerSignature,
    NotFound(Bytes32),
    InvalidStateRoot {
        expected: Bytes32,
        computed: Bytes32,
    },
    CoinNotFound {
        coin_id: Bytes32,
    },
    CoinAlreadySpent {
        coin_id: Bytes32,
        spent_height: u64,
    },
    CoinAlreadyExists {
        coin_id: Bytes32,
    },
}

Block validation failures across three tiers on one enum (ERR-001, ERR-002).

Tier 1 — structural: cheapest checks first on crate::L2BlockHeader / crate::L2Block (SVL-*); no CLVM, no crate::CoinLookup. BlockError::InvalidData is also used for SVL-002 DFSP pre-activation root policy (crate::L2BlockHeader::validate_with_dfsp_activation).

Tier 2 — execution: CLVM / puzzle / signature / fee invariants for validate_execution (EXE-*; execution_validation NORMATIVE). Prefer mapping dig-clvm errors into these variants rather than BlockError::InvalidData.

Tier 3 — state: coin set and proposer checks in validate_state (STV-*; state_validation NORMATIVE).

Derivation: Debug + Clone + thiserror::Error — same rationale as ERR-001 (acceptance criteria).

Semantic links: Bincode decode failures from crate::L2BlockHeader::from_bytes, crate::L2Block::from_bytes, and crate::AttestedBlock::from_bytes map to BlockError::InvalidData (SER-002; wire serde in SER-001).

Variants

InvalidData(String)

Opaque structural failure (e.g. bincode parse, policy text); prefer specific variants when available.

InvalidVersion

Header version does not match the height / DFSP activation rule (SVL-001).

Fields

expected: u16

actual: u16

TooLarge

Serialized block size exceeds crate::MAX_BLOCK_SIZE or configured limit.

Fields

size: u32

max: u32

CostExceeded

Sum of spend costs exceeds crate::MAX_COST_PER_BLOCK or header-declared budget.

Fields

cost: u64

max: u64

SpendBundleCountMismatch

header.spend_bundle_count does not match spend_bundles.len().

Fields

header: u32

actual: u32

InvalidSpendsRoot

Merkle root of spends does not match header.spends_root.

Fields

expected: Bytes32

computed: Bytes32

InvalidReceiptsRoot

Merkle root of receipts does not match header.receipts_root.

Fields

expected: Bytes32

computed: Bytes32

InvalidParent

header.prev_hash chain link failure (wrong parent).

Fields

expected: Bytes32

got: Bytes32

InvalidSlashProposalsRoot

Slash proposals Merkle root does not match commitment in header.

SlashProposalPayloadTooLarge

Single slash proposal payload exceeds max serialized size.

TooManySlashProposals

More slash proposals than protocol allows.

InvalidAdditionsRoot

Additions set root mismatch (see SVL-006).

InvalidRemovalsRoot

Removals set root mismatch.

InvalidFilterHash

Gossip / filter hash in header does not match computed filter.

DuplicateOutput

Two outputs mint the same coin id within the block.

Fields

coin_id: Bytes32

DoubleSpendInBlock

Same coin id spent more than once in removals.

Fields

coin_id: Bytes32

AdditionsCountMismatch

Header additions_count vs computed additions from the body (SVL-005).

Fields

header: u32

actual: u32

RemovalsCountMismatch

Header removals_count vs total coin spends in the body (SVL-005).

Fields

header: u32

actual: u32

SlashProposalCountMismatch

Header slash_proposal_count vs slash_proposal_payloads.len() (SVL-005).

Fields

header: u32

actual: u32

TimestampTooFarInFuture

Block timestamp too far ahead of local wall clock (SVL-004).

Fields

timestamp: u64

max_allowed: u64

PuzzleHashMismatch

On-chain puzzle hash does not match hash of serialized puzzle revealed in the spend (EXE NORMATIVE).

Fields

coin_id: Bytes32

expected: Bytes32

computed: Bytes32

ClvmExecutionFailed

dig-clvm / CLVM runtime rejected the spend; reason preserves the engine diagnostic (start.md — use dig-clvm, not raw chia-consensus entrypoints).

Fields

coin_id: Bytes32

reason: String

ClvmCostExceeded

Single spend exceeded the remaining per-block CLVM budget after prior spends.

Fields

coin_id: Bytes32

cost: u64

remaining: u64

AssertionFailed

ASSERT_* or concurrent-spend assertion failed; condition names the opcode class, reason is validator-local detail (ERR-002 notes).

Fields

condition: String

reason: String

AnnouncementNotFound

Spend expected an announcement that was not present in the ephemeral announcement set.

Fields

announcement_hash: Bytes32

SignatureFailed

Aggregate or AGG_SIG verification failed for the spend bundle at bundle_index.

Fields

bundle_index: u32

CoinMinting

Value conservation failure: outputs (added) exceed destroyed value (removed) without minting authority (ERR-002 notes).

Fields

removed: u64

added: u64

FeesMismatch

Header total_fees does not match summed fees from execution / receipts.

Fields

header: u64

computed: u64

ReserveFeeFailed

Reserve-fee condition not satisfied by available fees in the bundle.

Fields

required: u64

actual: u64

CostMismatch

Header total_cost does not match summed CLVM costs from spends.

Fields

header: u64

computed: u64

InvalidProposerSignature

Proposer BLS signature over the block hash did not verify (STV-006).

NotFound(Bytes32)

Looked up a block by hash (e.g. parent) that is not in the local view (ERR-002 notes).

InvalidStateRoot

State transition Merkle root after applying removals/additions does not match header state_root (STV-007).

Fields

expected: Bytes32

computed: Bytes32

CoinNotFound

Removal references a coin id absent from crate::CoinLookup and not ephemeral in-block (STV-002).

Fields

coin_id: Bytes32

CoinAlreadySpent

Removal targets a coin already marked spent at spent_height.

Fields

coin_id: Bytes32

spent_height: u64

CoinAlreadyExists

Addition would create a coin id that already exists in the live coin set (STV NORMATIVE).

Fields

coin_id: Bytes32

Trait Implementations

impl Clone for BlockError

fn clone(&self) -> BlockError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockError

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

Formats the value using the given formatter.

impl Display for BlockError

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

Formats the value using the given formatter.

impl Error for BlockError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.