pub fn key_path() -> Result<PathBuf, String>
Resolves through the XDG data dir (not a hardcoded ~/.lean-ctx) so the key follows the migrated layout and never re-creates the legacy dir (GH #436).
~/.lean-ctx