Enum LeanLoaderDiagnosticCode 

pub enum LeanLoaderDiagnosticCode {
    MissingManifest,
    MalformedManifest,
    UnsupportedManifestSchema,
    MissingPrimaryDylib,
    MissingTransitiveDependency,
    UnsupportedArchitecture,
    UnsupportedToolchainFingerprint,
    StaleManifest,
    MissingInitializer,
    MissingImportedSymbol,
}

Stable preflight diagnostic codes for manifest-backed capability loading.

Single source of truth shared between the runtime preflight in lean-rs and the wire payloads in the worker-protocol crate.

Variants

MissingManifest

The manifest path was absent, unreadable, or pointed at a missing file.

MalformedManifest

The manifest was not valid JSON or missed required fields.

UnsupportedManifestSchema

The manifest schema version is newer or otherwise unsupported.

MissingPrimaryDylib

The manifest’s primary capability dylib is missing.

MissingTransitiveDependency

A dependency dylib named by the manifest is missing.

UnsupportedArchitecture

A dylib could not be parsed as a native object for this platform.

UnsupportedToolchainFingerprint

The manifest was produced by an unsupported or mismatched Lean toolchain.

StaleManifest

A manifest appears older than the build artifact it describes.

MissingInitializer

The root module initializer named by the manifest is not exported.

MissingImportedSymbol

A Lean/imported symbol is not supplied by the manifest dependency set.

Implementations

impl LeanLoaderDiagnosticCode

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

Stable string identifier suitable for logs and support reports.

Trait Implementations

impl Clone for LeanLoaderDiagnosticCode

fn clone(&self) -> LeanLoaderDiagnosticCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LeanLoaderDiagnosticCode

impl Debug for LeanLoaderDiagnosticCode

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

Formats the value using the given formatter.

impl Display for LeanLoaderDiagnosticCode

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

Formats the value using the given formatter.

impl Eq for LeanLoaderDiagnosticCode

impl Hash for LeanLoaderDiagnosticCode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LeanLoaderDiagnosticCode

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LeanLoaderDiagnosticCode