Enum ReplayError 

#[non_exhaustive]
pub enum ReplayError {
    HeaderIncompatible(String),
    KernelSemverMismatch {
        expected: (u16, u16, u16),
        got: (u16, u16, u16),
    },
    AbiVersionMismatch {
        expected: (u16, u16),
        got: (u16, u16),
    },
    PostcardVersionMismatch {
        expected: u32,
        got: u32,
    },
    Blake3VersionMismatch {
        expected: u32,
        got: u32,
    },
    WalCorrupted(WalError),
    SubmitFailed(String),
    StepUnderflow {
        instance: InstanceId,
    },
    PoppedIdDivergence {
        seq: u64,
    },
    VerdictDivergence {
        seq: u64,
        expected: StepVerdict,
        got: StepVerdict,
    },
    StateDigestDivergence {
        seq: u64,
    },
    ChainTipDivergence {
        expected: [u8; 32],
        measured: [u8; 32],
    },
    ManifestDigestMismatch {
        expected: [u8; 32],
        got: [u8; 32],
    },
}

Failure modes for replay_into.

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.

HeaderIncompatible(String)

WAL header magic doesn’t match WalHeader::MAGIC.

KernelSemverMismatch

kernel_semver differs between WAL header and the running kernel.

Fields

expected: (u16, u16, u16)

Semver pinned in the WAL header.

got: (u16, u16, u16)

Current running kernel semver.

AbiVersionMismatch

abi_version differs between WAL header and the running kernel.

Fields

expected: (u16, u16)

ABI version pinned in the WAL header.

got: (u16, u16)

Current running kernel ABI version.

PostcardVersionMismatch

postcard_version differs between WAL header and the running build.

Fields

expected: u32

Postcard major pinned in the WAL header.

got: u32

Current running postcard major.

Blake3VersionMismatch

blake3_version differs between WAL header and the running build.

Fields

expected: u32

BLAKE3 major pinned in the WAL header.

got: u32

Current running BLAKE3 major.

WalCorrupted(WalError)

Underlying WAL chain/signature verification failure.

SubmitFailed(String)

Kernel::submit_with_id failed during replay (carries the formatted upstream error).

StepUnderflow

A Step record was reached but the instance had no due action to pop — the re-derived scheduler diverged from the recorded history.

Fields

instance: InstanceId

Instance the absent step targeted.

PoppedIdDivergence

A re-executed step popped a different ScheduledActionId than recorded — the re-derived scheduler order diverged.

Fields

seq: u64

Sequence of the offending Step record.

VerdictDivergence

A re-executed step reached a different verdict than recorded — the re-derived authorization/budget outcome diverged.

Fields

seq: u64

Sequence of the offending Step record.

expected: StepVerdict

Verdict pinned in the WAL.

got: StepVerdict

Verdict re-derived on replay.

StateDigestDivergence

A re-executed step produced a different full-state digest than recorded — the re-derived state diverged bit-for-bit (A1 failure).

Fields

seq: u64

Sequence of the offending Step record.

ChainTipDivergence

The chain tip re-measured from the replayed records does not equal the sealed WAL’s tip — the replay was not bit-identical end-to-end.

Fields

expected: [u8; 32]

Tip sealed in the source WAL.

measured: [u8; 32]

Tip re-measured from the replayed records.

ManifestDigestMismatch

The WAL header’s manifest_digest does not equal the replaying kernel’s declared manifest (A14) — the WAL was written under a different ModuleManifest. Closes the otherwise-vacuous default-path manifest gate without requiring a TrustAnchor.

Fields

expected: [u8; 32]

Digest pinned in the WAL header.

got: [u8; 32]

Digest the replaying kernel declares.

Trait Implementations

impl Clone for ReplayError

fn clone(&self) -> ReplayError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplayError

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

Formats the value using the given formatter.

impl Display for ReplayError

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

Formats the value using the given formatter.

impl Error for ReplayError

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<WalError> for ReplayError

fn from(e: WalError) -> Self

Converts to this type from the input type.