Struct LeanWorkerSessionKey 

pub struct LeanWorkerSessionKey { /* private fields */ }

Worker reuse key for a capability-backed session.

A session key answers only one pool question: can an already-open child session safely host compatible work? It is not a downstream cache key, and it does not encode row schemas, cache validity, ranking, reporting, or source provenance.

Implementations

impl LeanWorkerSessionKey

pub fn new( project_root: impl Into<PathBuf>, package: impl Into<String>, lib_name: impl Into<String>, imports: impl IntoIterator<Item = impl Into<String>>, ) -> Self

Create a session key from the caller-visible capability requirements.

pub fn metadata_expectation( self, export: impl Into<String>, request: Value, expected: Option<LeanWorkerCapabilityMetadata>, ) -> Self

Add the metadata expectation used to decide safe session reuse.

expected is downstream metadata transported by the generic metadata envelope. The pool compares it as opaque facts and does not interpret command names or semantic versions.

pub fn restart_policy_class(self, class: LeanWorkerRestartPolicyClass) -> Self

Set the coarse restart-policy class for this session key.

pub fn project_root(&self) -> &Path

Return the Lake project root for this session key.

pub fn package(&self) -> &str

Return the Lake package name for this session key.

pub fn lib_name(&self) -> &str

Return the Lake library target for this session key.

pub fn imports(&self) -> &[String]

Return the imports required by this session key.

pub fn toolchain_fingerprint(&self) -> &ToolchainFingerprint

Return the build-baked Lean toolchain fingerprint used by this key.

pub fn policy_class(&self) -> LeanWorkerRestartPolicyClass

Return the restart-policy class used by this key.

Trait Implementations

impl Clone for LeanWorkerSessionKey

fn clone(&self) -> LeanWorkerSessionKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerSessionKey

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

Formats the value using the given formatter.

impl PartialEq for LeanWorkerSessionKey

fn eq(&self, other: &LeanWorkerSessionKey) -> 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 Eq for LeanWorkerSessionKey

impl StructuralPartialEq for LeanWorkerSessionKey