pub fn state_dir() -> Result<PathBuf, String>
State directory — events, stats, logs, journals, ledgers, captured keys. Override: LEAN_CTX_STATE_DIR; default $XDG_STATE_HOME/lean-ctx.
LEAN_CTX_STATE_DIR
$XDG_STATE_HOME/lean-ctx