Skip to main content

Module cache

lean_ctx::core

Module cache 

Source

Modules§

warming

Structs§

CacheEntry
A cached file read: zstd-compressed content, hash, token count, and access metadata.
CacheStats
Aggregated cache statistics: hits, reads, and token savings.
SessionCache
In-memory file cache with segmented LRU eviction (probationary vs protected), file references, and cross-file dedup.
SharedBlock
A block shared across multiple files, identified by its canonical source.
StoreResult
Result of a cache store operation, indicating whether it was a hit or new entry.

Functions§

eviction_scores_rrf
Compute Reciprocal Rank Fusion eviction scores for a batch of cache entries. Each signal (recency, frequency, size) produces an independent ranking. The final score is the sum of 1/(k + rank) across all signals. Higher score = more valuable = keep longer.
file_mtime
is_cache_entry_stale
is_cache_entry_stale_verified
Staleness with content verification: like is_cache_entry_stale, but when the mtime claims “unchanged”, additionally compares the md5 of the on-disk content against the cached hash.