Enum FoldError 

pub enum FoldError {
    RunIdMismatch {
        seq: u64,
        expected: String,
        actual: String,
    },
    NonMonotonicSeq {
        prev: u64,
        seq: u64,
    },
    EventBeforeRunStarted {
        seq: u64,
        event_type: &'static str,
    },
    DuplicateRunStarted {
        seq: u64,
    },
    EventOutsideStep {
        seq: u64,
        event_type: &'static str,
    },
    StepExitedWithoutEntry {
        seq: u64,
    },
    VerdictWithoutTarget {
        seq: u64,
    },
    PoppedRootFrame {
        seq: u64,
    },
    NoActiveFrame {
        seq: u64,
    },
    RebaseWithoutFrame {
        seq: u64,
        level: usize,
        depth: usize,
    },
    UnpairedHumanResponse {
        seq: u64,
        request_id: String,
    },
}

A structural violation detected while folding a RunLog into a pointlock_ir::CheckpointView.

The fold is deliberately not lenient about impossible sequences (M0 iron rule: events the fold does not understand or cannot anchor are surfaced, never silently ignored) — a fold error inside crate::Store::append_event rolls the whole append back, so a log that cannot fold is never persisted.

Variants

RunIdMismatch

An event in the fold input belongs to a different run.

Fields

seq: u64

Sequence number of the offending event.

expected: String

The run the fold input is for.

actual: String

The run the event claims.

NonMonotonicSeq

Event sequence numbers must be strictly increasing.

Fields

prev: u64

The previous sequence number.

seq: u64

The offending sequence number.

EventBeforeRunStarted

Any event other than runStarted arrived before runStarted.

Fields

seq: u64

Sequence number of the offending event.

event_type: &'static str

Wire discriminant of the offending event.

DuplicateRunStarted

A second runStarted was appended (later segments start with runResumed).

Fields

seq: u64

Sequence number of the offending event.

EventOutsideStep

A step-scoped event arrived with no in-flight step to anchor to.

Fields

seq: u64

Sequence number of the offending event.

event_type: &'static str

Wire discriminant of the offending event.

StepExitedWithoutEntry

stepExited arrived without a matching stepEntered.

Fields

seq: u64

Sequence number of the offending event.

VerdictWithoutTarget

verdictRecorded targets neither the in-flight step nor any completed record at its run path.

Fields

seq: u64

Sequence number of the offending event.

PoppedRootFrame

callFramePopped would pop the root flow frame (or an empty stack).

Fields

seq: u64

Sequence number of the offending event.

NoActiveFrame

stepExited with no active call frame to advance (structurally impossible after a well-formed runStarted).

Fields

seq: u64

Sequence number of the offending event.

RebaseWithoutFrame

A callFramePushed marked rebase names a stack level that is not open (07 §5.2: a rebase re-enters an already-open frame; it never creates one).

Fields

seq: u64

Sequence number of the offending event.

level: usize

The stack level the event’s run path addresses.

depth: usize

The number of frames currently open.

UnpairedHumanResponse

humanResponded pairs no pending request.

Fields

seq: u64

Sequence number of the offending event.

request_id: String

The unpaired request id.

Trait Implementations

impl Clone for FoldError

fn clone(&self) -> FoldError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FoldError

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

Formats the value using the given formatter.

impl Display for FoldError

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

Formats the value using the given formatter.

impl Eq for FoldError

impl Error for FoldError

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<FoldError> for StoreError

fn from(source: FoldError) -> Self

Converts to this type from the input type.

impl PartialEq for FoldError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FoldError