pub fn state_path(savings_dir: &Path) -> PathBuf
Expose the state path for ops/debugging (lean-ctx team … status later).
lean-ctx team … status