Function graph_dir 

pub fn graph_dir(project_root: &str) -> PathBuf

Resolve the directory for graph.db and graph.meta.json.

Uses $LEAN_CTX_DATA_DIR/graphs/<project_hash>/ (consistent with ProjectIndex::index_dir). Falls back to <project>/.lean-ctx/ only when the global data directory cannot be resolved.