Enum LeanWorkerError 

pub enum LeanWorkerError {
    Spawn {
        executable: PathBuf,
        source: Error,
    },
    WorkerChildUnresolved {
        tried: Vec<PathBuf>,
    },
    WorkerChildNotExecutable {
        path: PathBuf,
        reason: String,
    },
    Bootstrap {
        code: LeanWorkerBootstrapDiagnosticCode,
        message: String,
    },
    CapabilityBuild {
        diagnostic: LinkDiagnostics,
    },
    Setup {
        message: String,
    },
    Handshake {
        message: String,
    },
    Protocol {
        message: String,
    },
    Worker {
        code: String,
        message: String,
    },
    ChildExited {
        exit: LeanWorkerExit,
    },
    ChildPanicOrAbort {
        exit: LeanWorkerExit,
    },
    Timeout {
        operation: &'static str,
        duration: Duration,
    },
    Cancelled {
        operation: &'static str,
    },
    ProgressPanic {
        message: String,
    },
    DataSinkPanic {
        message: String,
    },
    DiagnosticSinkPanic {
        message: String,
    },
    StreamExportFailed {
        status: u8,
    },
    StreamCallbackFailed {
        status: u8,
        description: String,
    },
    StreamRowMalformed {
        message: String,
    },
    CapabilityMetadataMalformed {
        message: String,
    },
    CapabilityMetadataMismatch {
        export: String,
        expected: Box<LeanWorkerCapabilityMetadata>,
        actual: Box<LeanWorkerCapabilityMetadata>,
    },
    CapabilityDoctorMalformed {
        message: String,
    },
    TypedCommandRequestEncode {
        export: String,
        message: String,
    },
    TypedCommandResponseDecode {
        export: String,
        message: String,
    },
    TypedCommandRowDecode {
        export: String,
        stream: String,
        sequence: u64,
        message: String,
    },
    TypedCommandSummaryDecode {
        export: String,
        message: String,
    },
    LeaseInvalidated {
        reason: String,
    },
    WorkerPoolExhausted {
        max_workers: usize,
    },
    WorkerPoolMemoryBudgetExceeded {
        current_kib: u64,
        limit_kib: u64,
    },
    WorkerPoolQueueTimeout {
        waited: Duration,
    },
    UnsupportedRequest {
        operation: &'static str,
    },
    Wait {
        source: Error,
    },
}

Errors reported by the worker supervisor.

Variants

Spawn

The worker child could not be spawned.

Fields

executable: PathBuf

source: Error

WorkerChildUnresolved

The default worker child executable could not be resolved.

Fields

tried: Vec<PathBuf>

Candidate paths checked by the default resolver.

WorkerChildNotExecutable

The resolved worker child is missing or is not executable.

Fields

path: PathBuf

reason: String

Bootstrap

Worker bootstrap preflight failed before a real command ran.

Fields

code: LeanWorkerBootstrapDiagnosticCode

message: String

CapabilityBuild

The capability Lake target could not be built.

Fields

diagnostic: LinkDiagnostics

Typed Lake/toolchain diagnostic from lean-toolchain.

Setup

The child process could not be prepared after spawning.

Fields

message: String

Handshake

The child did not complete the startup handshake.

Fields

message: String

Protocol

The worker protocol failed after the handshake.

Fields

message: String

Worker

The child returned a typed worker error.

Fields

code: String

message: String

ChildExited

The child exited while a request was in flight.

Fields

exit: LeanWorkerExit

ChildPanicOrAbort

The child exited fatally while a request was in flight.

Fields

exit: LeanWorkerExit

Timeout

A worker operation timed out.

Fields

operation: &'static str

duration: Duration

Cancelled

A parent-side cancellation token was observed.

Fields

operation: &'static str

ProgressPanic

A parent-side progress sink panicked while handling a worker event.

Fields

message: String

DataSinkPanic

A parent-side data sink panicked while handling a worker row.

Fields

message: String

DiagnosticSinkPanic

A parent-side diagnostic sink panicked while handling a worker diagnostic.

Fields

message: String

StreamExportFailed

A streaming export returned a nonzero downstream status byte.

Fields

status: u8

StreamCallbackFailed

The in-child string callback helper returned a callback failure status.

Fields

status: u8

description: String

StreamRowMalformed

A streaming callback emitted a malformed row envelope.

Fields

message: String

CapabilityMetadataMalformed

A capability metadata export returned malformed JSON.

Fields

message: String

CapabilityMetadataMismatch

Capability metadata did not match the caller’s requested expectation.

Fields

export: String

expected: Box<LeanWorkerCapabilityMetadata>

actual: Box<LeanWorkerCapabilityMetadata>

CapabilityDoctorMalformed

A capability doctor export returned malformed JSON.

Fields

message: String

TypedCommandRequestEncode

A typed command request could not be serialized as JSON.

Fields

export: String

message: String

TypedCommandResponseDecode

A typed non-streaming command response could not be decoded.

Fields

export: String

message: String

TypedCommandRowDecode

A typed streaming command row payload could not be decoded.

Fields

export: String

stream: String

sequence: u64

message: String

TypedCommandSummaryDecode

A typed streaming command terminal summary could not be decoded.

Fields

export: String

message: String

LeaseInvalidated

A pool session lease was invalidated by a worker lifecycle transition.

Fields

reason: String

WorkerPoolExhausted

A local worker pool cannot admit another distinct session key.

Fields

max_workers: usize

WorkerPoolMemoryBudgetExceeded

A local worker pool cannot admit work without exceeding its RSS budget.

Fields

current_kib: u64

limit_kib: u64

WorkerPoolQueueTimeout

Waiting for local worker-pool admission exceeded the configured limit.

Fields

waited: Duration

UnsupportedRequest

The public supervisor does not support the requested operation.

Fields

operation: &'static str

Wait

Waiting for a child process failed.

Fields

source: Error

Trait Implementations

impl Debug for LeanWorkerError

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

Formats the value using the given formatter.

impl Display for LeanWorkerError

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

Formats the value using the given formatter.

impl Error for LeanWorkerError

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.