Enum StoreError 

pub enum StoreError {
    Sqlite(Error),
    Io(Error),
    Serde(Error),
    UnknownRun(String),
    DuplicateRun(String),
    NoCheckpoint(String),
    Fold(FoldError),
    StaleCheckpoint {
        run_id: String,
        materialized_seq: u64,
        log_seq: u64,
    },
    CheckpointMismatch {
        run_id: String,
        log_seq: u64,
        materialized: String,
        rebuilt: String,
    },
    StatusMismatch {
        run_id: String,
        stored: String,
        folded: String,
    },
    Corrupt {
        run_id: String,
        reason: String,
    },
    HumanResponseRejected {
        run_id: String,
        request_id: String,
        reason: HumanResponseRejection,
    },
    UnknownStepInstance {
        run_id: String,
        path: String,
    },
    AmbiguousStep {
        run_id: String,
        step: String,
        candidates: Vec<String>,
    },
    JournalModeNotWal {
        root: String,
        mode: String,
    },
    BadRunPath {
        input: String,
        message: String,
    },
}

Store-level error: SQLite / filesystem / serialization failures, fold errors surfaced through the write path, and the self-check verdicts of crate::Store::verify_checkpoint.

Variants

Sqlite(Error)

SQLite error.

Io(Error)

Filesystem error (evidence area, store directory).

Serde(Error)

JSON (de)serialization error.

UnknownRun(String)

The referenced run does not exist.

DuplicateRun(String)

begin_run was called with a run id that already exists.

NoCheckpoint(String)

The run has no materialized checkpoint row yet (no events appended).

Fold(FoldError)

A fold error (see FoldError for the rollback semantics on the write path).

StaleCheckpoint

The checkpoint row lags the log head — rule 2 of 07 §3.3 (same- transaction materialization) was violated; a store-layer bug.

Fields

run_id: String

The run whose checkpoint is stale.

materialized_seq: u64

checkpoint.log_seq as stored.

log_seq: u64

The actual MAX(seq) of the run’s log.

CheckpointMismatch

The materialized view differs from the full-log refold — I1’s runtime self-check tripped; a store-layer bug (07 §3.3).

Fields

run_id: String

The run whose checkpoint mismatches.

log_seq: u64

The log_seq the stored view claims.

materialized: String

Canonical JSON of the stored view.

rebuilt: String

Canonical JSON of the rebuilt view.

StatusMismatch

The run.status column differs from the folded status.

Fields

run_id: String

The run whose status mismatches.

stored: String

run.status as stored.

folded: String

Status produced by the fold.

Corrupt

A stored row failed to parse back into its typed shape.

Fields

run_id: String

The run whose stored data is corrupt.

reason: String

What failed to parse.

HumanResponseRejected

crate::Store::submit_human_response refused the response. Typed and side-effect free: a rejected response never becomes a humanResponded event (06 §4.3 — bad data does not enter the ledger).

Fields

run_id: String

The run the response targeted.

request_id: String

The request the response tried to pair with.

reason: HumanResponseRejection

Why the arbitration refused it.

UnknownStepInstance

A locate/dossier query referenced a step instance the ledger never entered (spine §9: locate resolves recorded instances only).

Fields

run_id: String

The queried run.

path: String

The canonical path (or bare step id) that failed to resolve.

AmbiguousStep

A bare step id matched several instances (iterations/hook entries); the caller must pick one canonical path.

Fields

run_id: String

The queried run.

step: String

The bare step id.

candidates: Vec<String>

Canonical strings of every matching instance.

JournalModeNotWal

PRAGMA journal_mode = WAL did not take at open (e.g. a network or read-only filesystem): the durability contract (actionIntent fsync under synchronous=FULL in WAL) cannot be honoured, so the store refuses to open rather than run silently in another journal mode.

Fields

root: String

The store root that failed to open.

mode: String

The journal mode sqlite actually reported.

BadRunPath

A canonical run-path string failed to parse (spine §9 grammar).

Fields

input: String

The offending input.

message: String

Parser message with offset context.

Trait Implementations

impl Debug for StoreError

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

Formats the value using the given formatter.

impl Display for StoreError

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

Formats the value using the given formatter.

impl Error for StoreError

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.

impl From<Error> for StoreError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<Error> for StoreError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<Error> for StoreError

fn from(source: Error) -> Self

Converts to this type from the input type.

impl From<FoldError> for StoreError

fn from(source: FoldError) -> Self

Converts to this type from the input type.