pub fn cache_dir() -> Result<PathBuf, String>
Cache directory — semantic cache, models, learned patterns. tmpfs-safe. Override: LEAN_CTX_CACHE_DIR; default $XDG_CACHE_HOME/lean-ctx.
LEAN_CTX_CACHE_DIR
$XDG_CACHE_HOME/lean-ctx