Struct LeanWorkerModuleCacheLimits 

pub struct LeanWorkerModuleCacheLimits { /* private fields */ }

Typed limits for the worker child’s module snapshot cache.

The worker child still receives these values as environment variables at launch time, but the public API names the lifecycle policy rather than the transport mechanism. A field left unset uses the child default.

Implementations

impl LeanWorkerModuleCacheLimits

pub fn max_entries(self, max_entries: u64) -> Self

Set the maximum retained cache entries.

pub fn ttl(self, ttl: Duration) -> Self

Set the time-to-live for retained module snapshots.

pub fn max_bytes(self, max_bytes: u64) -> Self

Set the approximate retained-cache byte ceiling.

pub fn rss_guard_kib(self, rss_guard_kib: u64) -> Self

Set the child RSS guard above which the child clears retained snapshots before cacheable module-query requests.

pub fn verify_rss_taint_kib(self, verify_rss_taint_kib: u64) -> Self

Set the child RSS ceiling at or above which a non-positive verify_declaration verdict (e.g. NotFound) is relabeled to BudgetExceeded: near the cap the worker cannot distinguish a genuine “name absent” from an elaboration silently degraded by memory pressure. Leave unset (the default) to disable the taint; set it well above the warm mathlib baseline so genuine name-absent queries are not mislabeled.

Trait Implementations

impl Clone for LeanWorkerModuleCacheLimits

fn clone(&self) -> LeanWorkerModuleCacheLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LeanWorkerModuleCacheLimits

impl Debug for LeanWorkerModuleCacheLimits

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

Formats the value using the given formatter.

impl Default for LeanWorkerModuleCacheLimits

fn default() -> LeanWorkerModuleCacheLimits

Returns the “default value” for a type.

impl Eq for LeanWorkerModuleCacheLimits

impl PartialEq for LeanWorkerModuleCacheLimits

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