Enum BlockVerifyError 

#[non_exhaustive]
pub enum BlockVerifyError {
    SstFileUnreadable {
        table_id: TableId,
        path: PathBuf,
        error: Error,
    },
    HeaderCorrupted {
        table_id: TableId,
        path: PathBuf,
        offset: u64,
        reason: String,
    },
    DataCorrupted {
        table_id: TableId,
        path: PathBuf,
        offset: u64,
        data_length: u32,
        expected: Checksum,
        got: Checksum,
    },
    DataReadError {
        table_id: TableId,
        path: PathBuf,
        offset: u64,
        data_length: u32,
        error: Error,
    },
    TocCorrupted {
        table_id: TableId,
        path: PathBuf,
        section_name: Vec<u8>,
        section_offset: u64,
        reason: String,
    },
}

Per-block verification error.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

SstFileUnreadable

SST file could not be opened or its trailer parsed.

Fields

table_id: TableId

Table ID.

path: PathBuf

Path to the SST file.

error: Error

Underlying I/O / format error.

HeaderCorrupted

A block header at the given offset failed to parse — either XXH3 mismatch on the header itself, or invalid magic bytes / length fields that point at on-disk corruption.

Fields

table_id: TableId

Table ID.

path: PathBuf

Path to the SST file.

offset: u64

File offset where the corrupt header was read from.

reason: String

Short description of the failure surfaced by header decoding.

DataCorrupted

A block’s data XXH3 did not match the value stored in its header. Indicates bit-rot or torn write on the block payload.

Fields

table_id: TableId

Table ID.

path: PathBuf

Path to the SST file.

offset: u64

File offset where the block header sits (the data follows it).

data_length: u32

Length of the on-disk data segment, in bytes.

expected: Checksum

Checksum stored in the block header.

got: Checksum

Checksum computed from the on-disk bytes.

DataReadError

The block header was successfully decoded (its own XXH3 matched) but the subsequent fixed-length read of the data segment failed at the filesystem layer — truncated file, unexpected EOF, transient I/O error. Distinct from HeaderCorrupted because the header itself was clean: the failure is on the bytes that should follow it.

Fields

table_id: TableId

Table ID.

path: PathBuf

Path to the SST file.

offset: u64

File offset where the (clean) header sits; the read for its data segment started at offset + Header::header_len(block_type).

data_length: u32

Length the (clean) header advertised for the data segment.

error: Error

Underlying I/O error from the failed data-segment read. Kept as std::io::Error (matching SstFileUnreadable) so ErrorKind / OS code stay available to callers and so Error::source() produces a coherent chain.

TocCorrupted

SFA TOC-level corruption: a named section’s length / position fields are inconsistent (overflow on addition), or seeking to its declared start offset fails before any block is read. Distinct from HeaderCorrupted (which is per-block) so callers can tell “the section catalogue itself is bad” apart from “block N inside an otherwise-walkable section is bad” — e.g. a TocCorrupted makes the whole section unreachable, while a HeaderCorrupted only stops that section’s walk.

Fields

table_id: TableId

Table ID.

path: PathBuf

Path to the SST file.

section_name: Vec<u8>

Section name from the TOC entry (e.g. b"data", b"tli"). Stored verbatim, not lossy-decoded, because SFA section names are byte strings.

section_offset: u64

File offset where the section would start per the TOC entry. Useful for forensics even when the start is unreachable.

reason: String

Short description of the failure (overflow on start+length, seek error, etc.).

Trait Implementations

impl Debug for BlockVerifyError

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

Formats the value using the given formatter.

impl Display for BlockVerifyError

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

Formats the value using the given formatter.

impl Error for BlockVerifyError

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.