Enum LeanWorkerRestartReason 

pub enum LeanWorkerRestartReason {
    Explicit,
    MaxRequests {
        limit: u64,
    },
    MaxImports {
        limit: u64,
    },
    RssCeiling {
        current_kib: u64,
        limit_kib: u64,
        last_import_stats: Option<LeanWorkerImportStats>,
    },
    RssHardLimit {
        operation: &'static str,
        current_kib: u64,
        limit_kib: u64,
        last_import_stats: Option<LeanWorkerImportStats>,
    },
    Idle {
        idle_for: Duration,
        limit: Duration,
    },
    Cancelled {
        operation: &'static str,
    },
    RequestTimeout {
        operation: &'static str,
        duration: Duration,
    },
    ChildAbort {
        operation: &'static str,
    },
}

Reason recorded for the latest worker cycle.

Variants

Explicit

The caller explicitly requested a process cycle.

MaxRequests

Request count reached the configured limit before the next request.

Fields

limit: u64

MaxImports

Import-like request count reached the configured limit before the next import.

Fields

limit: u64

RssCeiling

Child resident set size reached the configured limit.

Fields

current_kib: u64

limit_kib: u64

last_import_stats: Option<LeanWorkerImportStats>

RssHardLimit

Child resident set size crossed the hard in-flight kill limit.

Fields

operation: &'static str

current_kib: u64

limit_kib: u64

last_import_stats: Option<LeanWorkerImportStats>

Idle

Worker was idle at least as long as the configured limit.

Fields

idle_for: Duration

limit: Duration

Cancelled

Parent-side cancellation replaced the child during an in-flight request.

Fields

operation: &'static str

RequestTimeout

Parent-side request timeout replaced the child during an in-flight request.

Fields

operation: &'static str

duration: Duration

ChildAbort

The child aborted (SIGABRT / fatal panic) during an in-flight request and the supervisor respawned it. Used by the read-only verify/proof-state guard that converts such an abort into a degraded verdict instead of a hard error.

Fields

operation: &'static str

Implementations

impl LeanWorkerRestartReason

pub const fn stable_cause(&self) -> &'static str

Stable wire/policy cause name for this restart reason.

This is intentionally smaller than the full enum payload: callers can branch on the cause while still using the typed enum when they need details such as limits or durations.

Trait Implementations

impl Clone for LeanWorkerRestartReason

fn clone(&self) -> LeanWorkerRestartReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerRestartReason

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

Formats the value using the given formatter.

impl Eq for LeanWorkerRestartReason

impl PartialEq for LeanWorkerRestartReason

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LeanWorkerRestartReason