lean-ctx-engine 3.12.2

//! Property Graph Engine — SQLite-backed code knowledge graph.
//!
//! Stores nodes (File, Symbol, Module) and edges (imports, calls, defines,
//! exports) extracted by `deep_queries` + `import_resolver`.  Provides
//! efficient traversal queries for impact analysis, architecture discovery,
//! and graph-driven context loading.

mod cross_source;
mod edge;
pub mod file_catalog;
mod meta;
pub mod node;
mod path_id;
mod queries;
mod schema;
pub mod semantic_cache;
pub(crate) mod served;
pub mod snapshot;
mod sync;

pub use edge::{Edge, EdgeKind};
pub use file_catalog::FileCatalogEntry;
pub use meta::{PropertyGraphMetaV1, load_meta, meta_path, write_meta};
pub use node::{Node, NodeKind};
pub use queries::{
    DependencyChain, GraphQuery, ImpactResult, Served, edge_weight, file_connectivity,
    related_files,
};
pub use semantic_cache::CachedResolution;
pub use served::GraphSource;
pub use sync::{mirror_index, parse_symbol_metadata, populate_from_project_index};

use rusqlite::Connection;
use std::path::{Path, 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.
pub fn graph_dir(project_root: &str) -> PathBuf {
    if let Ok(data_dir) = crate::core::data_dir::lean_ctx_data_dir() {
        let normalized = crate::core::graph_index::normalize_project_root(project_root);
        let hash = crate::core::project_hash::hash_project_root(&normalized);
        data_dir.join("graphs").join(hash)
    } else {
        Path::new(project_root).join(".lean-ctx")
    }
}

/// Transparently migrate graph.db and graph.meta.json from the old
/// per-project `.lean-ctx/` directory to the new `$DATA_DIR/graphs/` path.
fn migrate_if_needed(project_root: &str, new_dir: &Path) {
    let old_dir = Path::new(project_root).join(".lean-ctx");
    if old_dir == new_dir {
        return;
    }
    for file in &["graph.db", "graph.meta.json"] {
        let old = old_dir.join(file);
        let new = new_dir.join(file);
        if old.exists()
            && !new.exists()
            && std::fs::rename(&old, &new).is_err()
            && std::fs::copy(&old, &new).is_ok()
        {
            let _ = std::fs::remove_file(&old);
        }
    }
}

/// Property-graph engine generation. Bump whenever edge extraction changes
/// (e.g. the `type_ref` edges that connect C#/Java same-namespace consumers to
/// their definers, GH #398) so an existing graph built by an older engine is
/// transparently rebuilt on the next query instead of being served without the
/// new edges. Graphs whose `graph.meta.json` predates this stamp deserialize to
/// engine version `0`, so the first query after an upgrade rebuilds once.
///
/// History:
/// - `2`: `type_ref` edges added to the `ctx_impact` builder (v3.8.3).
/// - `3`: `type_ref` edges moved into the durable `graph_index` mirror so a
///   background reindex can no longer wipe the C# blast radius (GH #398); every
///   graph stamped by an engine that predates the mirror fix must rebuild.
/// - `4`: same-package `type_ref` edges extended to Go (directory-scoped) and
///   Kotlin (GH #398 bug class); graphs built before they existed must rebuild.
/// - `5`: PropertyGraph file paths use interned IDs; pre-ID databases rebuild.
/// - `6`: `calls` edges carry typed evidence and are no longer guessed (the
///   `ctx_impact` builder bound ambiguous callees to the alphabetically first
///   definition); graphs holding unannotated guessed edges must rebuild.
/// - `7`: `calls` edges bind only within the caller's language family (a Rust
///   call no longer lands on a same-named shell function); graphs holding
///   such cross-language edges must rebuild.
/// - `8`: path calls (`crate::config_io::write(..)`) bind to the file their
///   own module path names; graphs built without those `calls` edges must
///   rebuild.
pub const GRAPH_ENGINE_VERSION: u32 = 8;

/// `true` when the persisted graph was built by another engine generation than
/// [`GRAPH_ENGINE_VERSION`] — older, NEWER, or before the version stamp existed
/// (missing or unreadable meta) — and must therefore be rebuilt before its
/// edges can be trusted. A newer stamp is what an installation finds after a
/// rollback to an earlier release: that graph holds edges this engine's rules
/// did not produce and cannot interpret, so it is rebuilt, not read. Callers
/// pair this with a node-count check: an empty graph is rebuilt regardless; a
/// non-empty graph of another generation is rebuilt by this gate.
pub fn engine_outdated(project_root: &str) -> bool {
    load_meta(project_root).is_none_or(|m| m.engine_version != GRAPH_ENGINE_VERSION)
}

/// How long a status read waits for a graph another process holds locked.
const STORED_COUNTS_BUSY: std::time::Duration = std::time::Duration::from_millis(250);

/// Row counts of a persisted graph, read for status reporting only.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct StoredCounts {
    /// Rows of the file catalog: the files the graph index holds.
    pub files: u64,
    /// Rows of the node table.
    pub nodes: u64,
}

/// What `project_root`'s persisted graph holds, without serving anything
/// from it (#2179). Status readers (`doctor`, `index status`) used to
/// rebuild the whole index through the serving surface just to count its
/// files — a source check per catalogued file — and to open the store
/// through [`CodeGraph::open`], which migrates and creates schema. This
/// opens the existing `graph.db` only (never creates it), reads no schema
/// it would change (`query_only`), and waits at most `STORED_COUNTS_BUSY`
/// for a lock another process holds: `None` when there is no graph, its
/// schema is not this engine's, or it stays busy.
pub fn stored_counts(project_root: &str) -> Option<StoredCounts> {
    let db_path = graph_dir(project_root).join("graph.db");
    if !db_path.is_file() {
        return None;
    }
    stored_counts_at(&db_path, STORED_COUNTS_BUSY)
}

fn stored_counts_at(db_path: &Path, busy: std::time::Duration) -> Option<StoredCounts> {
    use rusqlite::OpenFlags;
    let conn = Connection::open_with_flags(
        db_path,
        OpenFlags::SQLITE_OPEN_READ_WRITE | OpenFlags::SQLITE_OPEN_NO_MUTEX,
    )
    .ok()?;
    conn.busy_timeout(busy).ok()?;
    conn.execute_batch("PRAGMA query_only = ON;").ok()?;
    let count = |table: &str| {
        conn.query_row(&format!("SELECT count(*) FROM {table}"), [], |row| {
            row.get::<_, i64>(0)
        })
        .ok()
        .and_then(|n| u64::try_from(n).ok())
    };
    Some(StoredCounts {
        files: count("file_catalog")?,
        nodes: count("nodes")?,
    })
}

/// Whether an open error is a transient SQLite lock (BUSY/LOCKED) that a brief
/// retry can clear — notably the `PRAGMA journal_mode=WAL` and initial-DDL races
/// that SQLite reports *without* invoking the busy handler (so `busy_timeout`
/// does not cover them).
fn is_transient_lock(err: &anyhow::Error) -> bool {
    use rusqlite::ErrorCode;
    if let Some(rusqlite::Error::SqliteFailure(e, _)) = err.downcast_ref::<rusqlite::Error>()
        && matches!(e.code, ErrorCode::DatabaseBusy | ErrorCode::DatabaseLocked)
    {
        return true;
    }
    // The schema initializer may surface the same condition wrapped; match the
    // full error chain's text as a fallback.
    let msg = format!("{err:#}").to_ascii_lowercase();
    msg.contains("database is locked") || msg.contains("table is locked")
}

pub struct CodeGraph {
    conn: Connection,
    db_path: PathBuf,
    /// Serve-time source check of a graph opened for a project root
    /// (`served`, G04); `None` for an in-memory graph.
    gate: Option<served::GraphGate>,
}

impl CodeGraph {
    pub fn open(project_root: &str) -> anyhow::Result<Self> {
        let db_dir = graph_dir(project_root);
        std::fs::create_dir_all(&db_dir)?;
        migrate_if_needed(project_root, &db_dir);
        let db_path = db_dir.join("graph.db");

        // Concurrent opens race on `PRAGMA journal_mode=WAL` and the initial DDL,
        // which SQLite reports as SQLITE_BUSY without invoking the busy handler
        // (`busy_timeout` therefore does not apply). Deeper addon integration can
        // have a gateway ingest thread and the main session's graph build open
        // the same db at once (#1102); retry briefly so neither silently loses
        // its writes. Once WAL is recorded in the file header, opens stop racing.
        const MAX_ATTEMPTS: u32 = 12;
        let mut attempt = 0;
        loop {
            attempt += 1;
            match Self::try_open(&db_path) {
                Ok(mut graph) => {
                    graph.gate = Some(served::GraphGate::for_root(project_root));
                    return Ok(graph);
                }
                Err(e) if attempt < MAX_ATTEMPTS && is_transient_lock(&e) => {
                    std::thread::sleep(std::time::Duration::from_millis(40 * u64::from(attempt)));
                }
                Err(e) => return Err(e),
            }
        }
    }

    /// One open attempt: connect, register the busy handler, ensure the schema.
    fn try_open(db_path: &Path) -> anyhow::Result<Self> {
        let conn = Connection::open(db_path)?;
        conn.busy_timeout(std::time::Duration::from_secs(5))?;
        schema::initialize(&conn)?;
        Ok(Self {
            conn,
            db_path: db_path.to_path_buf(),
            gate: None,
        })
    }

    pub fn open_in_memory() -> anyhow::Result<Self> {
        let conn = Connection::open_in_memory()?;
        schema::initialize(&conn)?;
        Ok(Self {
            conn,
            db_path: PathBuf::from(":memory:"),
            gate: None,
        })
    }

    pub fn db_path(&self) -> &Path {
        &self.db_path
    }

    pub fn connection(&self) -> &Connection {
        &self.conn
    }

    pub fn upsert_node(&self, node: &Node) -> anyhow::Result<i64> {
        node::upsert(&self.conn, node)
    }

    pub fn upsert_edge(&self, edge: &Edge) -> anyhow::Result<()> {
        edge::upsert(&self.conn, edge)
    }

    pub fn get_node_by_path(&self, file_path: &str) -> anyhow::Result<Option<Node>> {
        node::get_by_path(&self.conn, file_path)
    }

    pub fn get_node_by_symbol(&self, name: &str, file_path: &str) -> anyhow::Result<Option<Node>> {
        node::get_by_symbol(&self.conn, name, file_path)
    }

    pub fn remove_file_nodes(&self, file_path: &str) -> anyhow::Result<()> {
        node::remove_by_file(&self.conn, file_path)
    }

    pub fn edges_from(&self, node_id: i64) -> anyhow::Result<Vec<Edge>> {
        edge::from_node(&self.conn, node_id)
    }

    pub fn edges_to(&self, node_id: i64) -> anyhow::Result<Vec<Edge>> {
        edge::to_node(&self.conn, node_id)
    }

    // The five queries below run under this graph's serve-time source check
    // (`served`, G04): a file that is not served now is neither returned nor
    // walked through, and contributes no weight, count or rank slot.

    pub fn dependents(&self, file_path: &str) -> anyhow::Result<Vec<String>> {
        Ok(self.served_neighbours(file_path, queries::dependents(&self.conn, file_path)?))
    }

    pub fn dependencies(&self, file_path: &str) -> anyhow::Result<Vec<String>> {
        Ok(self.served_neighbours(file_path, queries::dependencies(&self.conn, file_path)?))
    }

    pub fn impact_analysis(
        &self,
        file_path: &str,
        max_depth: usize,
    ) -> anyhow::Result<ImpactResult> {
        queries::impact_analysis(&self.conn, file_path, max_depth, &|path: &str| {
            self.serves_file(path)
        })
    }

    pub fn dependency_chain(
        &self,
        from: &str,
        to: &str,
    ) -> anyhow::Result<Option<DependencyChain>> {
        queries::dependency_chain(&self.conn, from, to, &|path: &str| self.serves_file(path))
    }

    pub fn related_files(
        &self,
        file_path: &str,
        limit: usize,
    ) -> anyhow::Result<Vec<(String, f64)>> {
        queries::related_files(&self.conn, file_path, limit, &|path: &str| {
            self.serves_file(path)
        })
    }

    pub fn file_connectivity(
        &self,
        file_path: &str,
    ) -> anyhow::Result<std::collections::HashMap<String, (usize, usize)>> {
        queries::file_connectivity(&self.conn, file_path, &|path: &str| self.serves_file(path))
    }

    pub fn node_count(&self) -> anyhow::Result<usize> {
        node::count(&self.conn)
    }

    pub fn edge_count(&self) -> anyhow::Result<usize> {
        edge::count(&self.conn)
    }

    /// Cached semantic answer for a call site, if the caller is unchanged and
    /// every file the answer derives from — the caller and each target — is
    /// served now (`semantic_cache::lookup_served`, G04). A withheld answer
    /// is a miss: the backend is asked again.
    pub fn semantic_lookup(
        &self,
        site: semantic_cache::SiteKey<'_>,
        caller_hash: &str,
    ) -> anyhow::Result<Option<CachedResolution>> {
        semantic_cache::lookup_served(&self.conn, site, caller_hash, |file| self.serves_file(file))
    }

    /// Keeps a semantic answer when its persisted text passes storage
    /// admission under `admission` — one policy snapshot per enrichment run,
    /// taken where the run starts, not per row. `Ok(false)`: admission
    /// refused the row and nothing was written.
    pub fn semantic_store(
        &self,
        site: semantic_cache::SiteKey<'_>,
        caller_hash: &str,
        value: &CachedResolution,
        admission: &crate::core::context_admission::stores::StoreAdmission,
    ) -> anyhow::Result<bool> {
        semantic_cache::store_admitted(&self.conn, site, caller_hash, value, admission)
    }

    /// Whether a semantic backend has answered for this graph at all.
    pub fn has_semantic_answers(&self) -> anyhow::Result<bool> {
        semantic_cache::any(&self.conn)
    }

    /// Removes cached answers for vanished or changed caller files.
    pub fn semantic_prune(
        &self,
        live_hashes: &std::collections::HashMap<String, String>,
    ) -> anyhow::Result<usize> {
        semantic_cache::prune(&self.conn, live_hashes)
    }

    /// File→file edges of `kind` with their metadata, as
    /// `(source path, target path, metadata)` — sorted for determinism.
    pub fn file_edges_of_kind(
        &self,
        kind: &EdgeKind,
    ) -> anyhow::Result<Vec<(String, String, Option<String>)>> {
        edge::file_edges_of_kind(&self.conn, kind)
    }

    /// Upserts an edge carrying typed evidence. The incoming producer's
    /// contribution replaces only its own earlier one; other producers'
    /// contributions on the same edge are kept
    /// ([`crate::core::semantic::EdgeEvidence::merge`]).
    pub fn upsert_edge_with_evidence(
        &self,
        source_id: i64,
        target_id: i64,
        kind: &EdgeKind,
        evidence: &crate::core::semantic::EdgeEvidence,
    ) -> anyhow::Result<()> {
        use crate::core::semantic::EdgeEvidence;
        self.atomically(|| {
            let existing = edge::metadata_of(&self.conn, source_id, target_id, kind)?;
            let merged = EdgeEvidence::merge(
                EdgeEvidence::from_metadata(existing.as_deref()),
                evidence.clone(),
            );
            edge::upsert(
                &self.conn,
                &Edge::new(source_id, target_id, kind.clone()).with_metadata(&merged.to_metadata()),
            )
        })
    }

    /// Runs a read-modify-write as one unit. Another process (daemon vs. MCP
    /// server) may update the same edge concurrently; `BEGIN IMMEDIATE` takes
    /// the write lock before the read, so no contribution is lost. Inside an
    /// outer transaction that one already provides atomicity.
    fn atomically<T>(&self, f: impl FnOnce() -> anyhow::Result<T>) -> anyhow::Result<T> {
        if !self.conn.is_autocommit() {
            return f();
        }
        self.conn.execute_batch("BEGIN IMMEDIATE")?;
        let outcome = f().and_then(|value| {
            self.conn.execute_batch("COMMIT")?;
            Ok(value)
        });
        // A failed body *or* a failed COMMIT must not leave the connection
        // inside a transaction: the next call would see !is_autocommit, skip
        // BEGIN and never commit, while holding the writer lock.
        if outcome.is_err() && !self.conn.is_autocommit() {
            let _ = self.conn.execute_batch("ROLLBACK");
        }
        outcome
    }

    /// Withdraws `origin`'s contribution from the file→file edge
    /// `source → target`: the edge is deleted only when no other producer
    /// still derives it. Edges without typed evidence are left untouched.
    pub fn withdraw_file_edge(
        &self,
        source: &str,
        target: &str,
        kind: &EdgeKind,
        origin: crate::core::semantic::EvidenceOrigin,
    ) -> anyhow::Result<()> {
        use crate::core::semantic::EdgeEvidence;
        let (Some(s), Some(t)) = (
            self.get_node_by_path(source)?.and_then(|n| n.id),
            self.get_node_by_path(target)?.and_then(|n| n.id),
        ) else {
            return Ok(());
        };
        self.atomically(|| {
            let existing = edge::metadata_of(&self.conn, s, t, kind)?;
            let Some(evidence) = EdgeEvidence::from_metadata(existing.as_deref()) else {
                return Ok(());
            };
            if !evidence.has(origin) {
                return Ok(());
            }
            match evidence.without(origin) {
                Some(rest) => edge::upsert(
                    &self.conn,
                    &Edge::new(s, t, kind.clone()).with_metadata(&rest.to_metadata()),
                ),
                None => edge::remove_file_edge(&self.conn, source, target, kind),
            }
        })
    }

    /// Persist a cross-source edge (code file ↔ external source URI) into the
    /// dedicated `cross_source_edges` table. Keeps the higher weight on conflict
    /// so repeated provider ingests don't downgrade an established link (#682).
    pub fn upsert_cross_source_edge(
        &self,
        from: &str,
        to: &str,
        kind: &str,
        weight: f32,
    ) -> anyhow::Result<()> {
        cross_source::upsert(&self.conn, from, to, kind, weight)
    }

    /// All cross-source edges as `IndexEdge`s, ready for `cross_source_hints`.
    pub fn all_cross_source_edges(&self) -> Vec<crate::core::graph_index::IndexEdge> {
        cross_source::all(&self.conn).unwrap_or_default()
    }

    pub fn cross_source_edge_count(&self) -> anyhow::Result<usize> {
        cross_source::count(&self.conn)
    }

    /// Delete every cross-source edge of a given `kind`. Used by the code-health
    /// fabric to replace its `health_hotspot` edges on each pass so resolved
    /// hotspots never persist as stale hints. Returns the number removed.
    pub fn delete_cross_source_edges_by_kind(&self, kind: &str) -> anyhow::Result<usize> {
        cross_source::delete_by_kind(&self.conn, kind)
    }

    /// Delete every cross-source edge with an end under the URI `prefix`
    /// (both directions), so a re-indexed source replaces its own edges.
    pub fn delete_cross_source_edges_with_uri_prefix(&self, prefix: &str) -> anyhow::Result<usize> {
        cross_source::delete_with_uri_prefix(&self.conn, prefix)
    }

    pub fn clear(&self) -> anyhow::Result<()> {
        self.conn.execute_batch(
            "DELETE FROM edges; DELETE FROM nodes; DELETE FROM file_catalog; DELETE FROM paths; \
             DELETE FROM cross_source_edges;",
        )?;
        Ok(())
    }

    /// Clear only the code graph (nodes, edges, file catalog), preserving
    /// provider `cross_source_edges`. Used by the graph_index→PG mirror (#682.1)
    /// so rebuilding the code graph never drops lateral provider hints, which
    /// live in their own table and are repopulated on a separate ingest cycle.
    pub fn clear_code_graph(&self) -> anyhow::Result<()> {
        self.conn.execute_batch(
            "DELETE FROM edges; DELETE FROM nodes; DELETE FROM file_catalog; DELETE FROM paths;",
        )?;
        Ok(())
    }

    pub fn upsert_file_catalog(&self, entry: &FileCatalogEntry) -> anyhow::Result<()> {
        file_catalog::upsert(&self.conn, entry)
    }

    pub fn get_file_catalog(&self, path: &str) -> anyhow::Result<Option<FileCatalogEntry>> {
        file_catalog::get(&self.conn, path)
    }

    pub fn file_catalog_count(&self) -> anyhow::Result<usize> {
        file_catalog::count(&self.conn)
    }

    pub fn file_catalog_paths(&self) -> anyhow::Result<Vec<String>> {
        file_catalog::all_paths(&self.conn)
    }

    pub fn find_symbols(
        &self,
        name: &str,
        file_filter: Option<&str>,
        kind_filter: Option<&str>,
    ) -> anyhow::Result<Vec<Node>> {
        node::find_symbols(&self.conn, name, file_filter, kind_filter)
    }

    /// Files that define a symbol named exactly `name` (GH #398 symbol-name
    /// `ctx_impact analyze` fallback). Backed by `node::resolve_symbol_def_files`.
    pub fn resolve_symbol_def_files(&self, name: &str) -> anyhow::Result<Vec<String>> {
        node::resolve_symbol_def_files(&self.conn, name)
    }

    pub fn symbol_count(&self) -> anyhow::Result<usize> {
        node::symbol_count(&self.conn)
    }

    /// Count of `file` nodes (accurate on both builder paths). Backed by
    /// `node::file_count`.
    pub fn file_node_count(&self) -> anyhow::Result<usize> {
        node::file_count(&self.conn)
    }

    /// Every symbol node with its line span (unfiltered). Backend for the
    /// call-graph symbol table after the `graph_index` teardown (#696).
    pub fn all_symbols(&self) -> anyhow::Result<Vec<Node>> {
        node::all_symbols(&self.conn)
    }

    pub fn all_edges_flat(&self) -> anyhow::Result<Vec<(String, String, String, f64)>> {
        node::all_edges_flat(&self.conn)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::core::data_dir::test_env_lock;

    fn test_graph() -> CodeGraph {
        CodeGraph::open_in_memory().unwrap()
    }

    #[test]
    fn create_and_query_nodes() {
        let g = test_graph();

        let id = g.upsert_node(&Node::file("src/main.rs")).unwrap();
        assert!(id > 0);

        let found = g.get_node_by_path("src/main.rs").unwrap();
        assert!(found.is_some());
        assert_eq!(found.unwrap().file_path, "src/main.rs");
    }

    #[test]
    fn create_and_query_edges() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("src/a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("src/b.rs")).unwrap();

        g.upsert_edge(&Edge::new(a, b, EdgeKind::Imports)).unwrap();

        let from_a = g.edges_from(a).unwrap();
        assert_eq!(from_a.len(), 1);
        assert_eq!(from_a[0].target_id, b);

        let to_b = g.edges_to(b).unwrap();
        assert_eq!(to_b.len(), 1);
        assert_eq!(to_b[0].source_id, a);
    }

    #[test]
    fn dependents_query() {
        let g = test_graph();

        let main = g.upsert_node(&Node::file("src/main.rs")).unwrap();
        let lib = g.upsert_node(&Node::file("src/lib.rs")).unwrap();
        let utils = g.upsert_node(&Node::file("src/utils.rs")).unwrap();

        g.upsert_edge(&Edge::new(main, lib, EdgeKind::Imports))
            .unwrap();
        g.upsert_edge(&Edge::new(utils, lib, EdgeKind::Imports))
            .unwrap();

        let deps = g.dependents("src/lib.rs").unwrap();
        assert_eq!(deps.len(), 2);
        assert!(deps.contains(&"src/main.rs".to_string()));
        assert!(deps.contains(&"src/utils.rs".to_string()));
    }

    #[test]
    fn dependencies_query() {
        let g = test_graph();

        let main = g.upsert_node(&Node::file("src/main.rs")).unwrap();
        let lib = g.upsert_node(&Node::file("src/lib.rs")).unwrap();
        let config = g.upsert_node(&Node::file("src/config.rs")).unwrap();

        g.upsert_edge(&Edge::new(main, lib, EdgeKind::Imports))
            .unwrap();
        g.upsert_edge(&Edge::new(main, config, EdgeKind::Imports))
            .unwrap();

        let deps = g.dependencies("src/main.rs").unwrap();
        assert_eq!(deps.len(), 2);
    }

    #[test]
    #[allow(clippy::many_single_char_names)] // graph test nodes: a, b, c, d, e
    fn impact_analysis_depth() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("b.rs")).unwrap();
        let c = g.upsert_node(&Node::file("c.rs")).unwrap();
        let d = g.upsert_node(&Node::file("d.rs")).unwrap();

        g.upsert_edge(&Edge::new(b, a, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(c, b, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(d, c, EdgeKind::Imports)).unwrap();

        let impact = g.impact_analysis("a.rs", 2).unwrap();
        assert!(impact.affected_files.contains(&"b.rs".to_string()));
        assert!(impact.affected_files.contains(&"c.rs".to_string()));
        assert!(!impact.affected_files.contains(&"d.rs".to_string()));

        let deep = g.impact_analysis("a.rs", 10).unwrap();
        assert!(deep.affected_files.contains(&"d.rs".to_string()));
    }

    /// Weighted propagation is exact and separates name-match-only reach:
    /// a heavier path found later still propagates, and a guess on a pair
    /// never lends its weight to that pair's evidence-backed edge.
    #[test]
    #[allow(clippy::many_single_char_names)] // graph test nodes
    fn impact_propagates_the_heaviest_path_and_marks_guess_only_reach() {
        use crate::core::semantic::{EdgeEvidence, EvidenceGrade, EvidenceOrigin};
        let g = test_graph();
        let id = |p: &str| g.upsert_node(&Node::file(p)).unwrap();
        let (a, b, c, x, y, z) = (id("a"), id("b"), id("c"), id("x"), id("y"), id("z"));
        let edge = |from, to, kind| g.upsert_edge(&Edge::new(from, to, kind)).unwrap();
        // b → a: a name-match call guess (0.8 × 0.5 = 0.4) plus a fact
        // (sibling, 0.25); c → b: co-change (0.35). Over all edges c gets
        // 0.4 × 0.35 = 0.14, over facts only 0.25 × 0.35 < 0.1.
        let guess = EdgeEvidence::new(
            EvidenceGrade::HeuristicStructural,
            EvidenceOrigin::Enrichment,
            None,
            1,
        );
        g.upsert_edge_with_evidence(b, a, &EdgeKind::Calls, &guess)
            .unwrap();
        edge(b, a, EdgeKind::Sibling);
        edge(c, b, EdgeKind::Cochange);
        // x is first reached lightly (sibling, 0.25), then fully via y at
        // depth 2; only the full weight carries on to z (0.35).
        edge(x, a, EdgeKind::Sibling);
        edge(y, a, EdgeKind::Imports);
        edge(x, y, EdgeKind::Imports);
        edge(z, x, EdgeKind::Cochange);

        let impact = g.impact_analysis("a", 5).unwrap();
        assert_eq!(impact.affected_files, ["b", "c", "x", "y", "z"]);
        assert_eq!(impact.weak_files, ["c"]);
        assert_eq!(impact.max_depth_reached, 3);
    }

    #[test]
    fn upsert_idempotent() {
        let g = test_graph();

        let id1 = g.upsert_node(&Node::file("src/main.rs")).unwrap();
        let id2 = g.upsert_node(&Node::file("src/main.rs")).unwrap();
        assert_eq!(id1, id2);
        assert_eq!(g.node_count().unwrap(), 1);
    }

    #[test]
    fn remove_file_cascades() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("src/a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("src/b.rs")).unwrap();
        let sym = g
            .upsert_node(&Node::symbol("MyStruct", "src/a.rs", NodeKind::Symbol))
            .unwrap();

        g.upsert_edge(&Edge::new(a, b, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(sym, b, EdgeKind::Calls)).unwrap();

        g.remove_file_nodes("src/a.rs").unwrap();

        assert!(g.get_node_by_path("src/a.rs").unwrap().is_none());
        assert_eq!(g.edge_count().unwrap(), 0);
    }

    #[test]
    fn dependency_chain_found() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("b.rs")).unwrap();
        let c = g.upsert_node(&Node::file("c.rs")).unwrap();

        g.upsert_edge(&Edge::new(a, b, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(b, c, EdgeKind::Imports)).unwrap();

        let chain = g.dependency_chain("a.rs", "c.rs").unwrap();
        assert!(chain.is_some());
        let chain = chain.unwrap();
        assert_eq!(chain.path, vec!["a.rs", "b.rs", "c.rs"]);
    }

    #[test]
    fn counts() {
        let g = test_graph();
        assert_eq!(g.node_count().unwrap(), 0);
        assert_eq!(g.edge_count().unwrap(), 0);

        let a = g.upsert_node(&Node::file("a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("b.rs")).unwrap();
        g.upsert_edge(&Edge::new(a, b, EdgeKind::Imports)).unwrap();

        assert_eq!(g.node_count().unwrap(), 2);
        assert_eq!(g.edge_count().unwrap(), 1);
    }

    #[test]
    fn multi_edge_dependents() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("src/a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("src/b.rs")).unwrap();
        let c = g.upsert_node(&Node::file("src/c.rs")).unwrap();

        g.upsert_edge(&Edge::new(b, a, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(c, a, EdgeKind::Calls)).unwrap();

        let deps = g.dependents("src/a.rs").unwrap();
        assert_eq!(deps.len(), 2);
        assert!(deps.contains(&"src/b.rs".to_string()));
        assert!(deps.contains(&"src/c.rs".to_string()));
    }

    #[test]
    fn multi_edge_impact_analysis() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("b.rs")).unwrap();
        let c = g.upsert_node(&Node::file("c.rs")).unwrap();

        g.upsert_edge(&Edge::new(b, a, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(c, b, EdgeKind::Calls)).unwrap();

        let impact = g.impact_analysis("a.rs", 10).unwrap();
        assert!(impact.affected_files.contains(&"b.rs".to_string()));
        assert!(impact.affected_files.contains(&"c.rs".to_string()));
    }

    #[test]
    fn related_files_scored() {
        let g = test_graph();

        let a = g.upsert_node(&Node::file("a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("b.rs")).unwrap();
        let c = g.upsert_node(&Node::file("c.rs")).unwrap();

        g.upsert_edge(&Edge::new(a, b, EdgeKind::Imports)).unwrap();
        g.upsert_edge(&Edge::new(a, b, EdgeKind::Calls)).unwrap();
        g.upsert_edge(&Edge::new(a, c, EdgeKind::TypeRef)).unwrap();

        let related = g.related_files("a.rs", 10).unwrap();
        assert_eq!(related.len(), 2);
        let b_score = related.iter().find(|(p, _)| p == "b.rs").unwrap().1;
        let c_score = related.iter().find(|(p, _)| p == "c.rs").unwrap().1;
        assert!(
            b_score > c_score,
            "b.rs has imports+calls, should rank higher than c.rs with type_ref"
        );
    }

    /// The same call relationship stored at file and symbol granularity must
    /// count once (at its strongest evidence), and a name-only guess must not
    /// outrank a verified relationship.
    #[test]
    fn related_files_counts_each_relationship_once_weighted_by_evidence() {
        use crate::core::semantic::{EdgeEvidence, EvidenceGrade, EvidenceOrigin};
        let g = test_graph();
        let a = g.upsert_node(&Node::file("a.rs")).unwrap();
        let b = g.upsert_node(&Node::file("b.rs")).unwrap();
        let c = g.upsert_node(&Node::file("c.rs")).unwrap();
        let evidence = |grade| EdgeEvidence::new(grade, EvidenceOrigin::Enrichment, None, 1);

        // a→b: one verified call, also mirrored by three symbol→symbol edges.
        g.upsert_edge_with_evidence(
            a,
            b,
            &EdgeKind::Calls,
            &evidence(EvidenceGrade::VerifiedSemantic),
        )
        .unwrap();
        for i in 0..3 {
            let caller = g
                .upsert_node(&Node::symbol(&format!("f{i}"), "a.rs", NodeKind::Symbol))
                .unwrap();
            let callee = g
                .upsert_node(&Node::symbol(&format!("g{i}"), "b.rs", NodeKind::Symbol))
                .unwrap();
            g.upsert_edge_with_evidence(
                caller,
                callee,
                &EdgeKind::Calls,
                &evidence(EvidenceGrade::ResolvedStructural),
            )
            .unwrap();
        }
        // a→c: a heuristic name match only.
        g.upsert_edge_with_evidence(
            a,
            c,
            &EdgeKind::Calls,
            &evidence(EvidenceGrade::HeuristicStructural),
        )
        .unwrap();

        let related = g.related_files("a.rs", 10).unwrap();
        let score = |p: &str| related.iter().find(|(f, _)| f == p).unwrap().1;
        assert!(
            (score("b.rs") - edge_weight("calls")).abs() < 1e-9,
            "counted once"
        );
        assert!(score("b.rs") > score("c.rs"), "verified outranks heuristic");
    }

    #[test]
    fn graph_dir_uses_data_dir_when_set() {
        let tmp = tempfile::tempdir().unwrap();
        let project = tmp.path().join("myproject");
        std::fs::create_dir_all(&project).unwrap();

        let data_dir = tmp.path().join("data");
        std::fs::create_dir_all(&data_dir).unwrap();

        let _guard = test_env_lock();
        crate::test_env::set_var("LEAN_CTX_DATA_DIR", data_dir.to_str().unwrap());

        let dir = graph_dir(project.to_str().unwrap());
        assert!(dir.starts_with(&data_dir));
        assert!(dir.to_string_lossy().contains("graphs"));

        crate::test_env::remove_var("LEAN_CTX_DATA_DIR");
    }

    #[test]
    fn graph_dir_returns_consistent_hash_dir() {
        let tmp = tempfile::tempdir().unwrap();
        let project = tmp.path().join("hash_project");
        std::fs::create_dir_all(&project).unwrap();

        let data_dir = tmp.path().join("data2");
        std::fs::create_dir_all(&data_dir).unwrap();

        let _guard = test_env_lock();
        crate::test_env::set_var("LEAN_CTX_DATA_DIR", data_dir.to_str().unwrap());

        let dir1 = graph_dir(project.to_str().unwrap());
        let dir2 = graph_dir(project.to_str().unwrap());
        assert_eq!(dir1, dir2, "graph_dir should be deterministic");
        assert!(dir1.to_string_lossy().contains("graphs"));

        crate::test_env::remove_var("LEAN_CTX_DATA_DIR");
    }

    #[test]
    fn migration_moves_old_files() {
        let tmp = tempfile::tempdir().unwrap();
        let project = tmp.path().join("migtest");
        let old_dir = project.join(".lean-ctx");
        std::fs::create_dir_all(&old_dir).unwrap();
        std::fs::write(old_dir.join("graph.db"), b"old-db-content").unwrap();
        std::fs::write(old_dir.join("graph.meta.json"), b"old-meta").unwrap();

        let new_dir = tmp.path().join("newloc");
        std::fs::create_dir_all(&new_dir).unwrap();

        migrate_if_needed(project.to_str().unwrap(), &new_dir);

        assert!(new_dir.join("graph.db").exists());
        assert!(new_dir.join("graph.meta.json").exists());
        assert!(!old_dir.join("graph.db").exists());
        assert!(!old_dir.join("graph.meta.json").exists());
        assert_eq!(
            std::fs::read_to_string(new_dir.join("graph.db")).unwrap(),
            "old-db-content"
        );
    }

    #[test]
    fn migration_skips_when_new_exists() {
        let tmp = tempfile::tempdir().unwrap();
        let project = tmp.path().join("skiptest");
        let old_dir = project.join(".lean-ctx");
        std::fs::create_dir_all(&old_dir).unwrap();
        std::fs::write(old_dir.join("graph.db"), b"old").unwrap();

        let new_dir = tmp.path().join("newloc2");
        std::fs::create_dir_all(&new_dir).unwrap();
        std::fs::write(new_dir.join("graph.db"), b"already-there").unwrap();

        migrate_if_needed(project.to_str().unwrap(), &new_dir);

        assert_eq!(
            std::fs::read_to_string(new_dir.join("graph.db")).unwrap(),
            "already-there"
        );
        assert!(old_dir.join("graph.db").exists());
    }

    #[test]
    fn open_with_data_dir() {
        let tmp = tempfile::tempdir().unwrap();
        let project = tmp.path().join("opentest");
        std::fs::create_dir_all(&project).unwrap();

        let data_dir = tmp.path().join("xdata");
        std::fs::create_dir_all(&data_dir).unwrap();

        let _guard = test_env_lock();
        crate::test_env::set_var("LEAN_CTX_DATA_DIR", data_dir.to_str().unwrap());

        let g = CodeGraph::open(project.to_str().unwrap()).unwrap();
        assert!(g.db_path().starts_with(&data_dir));
        assert!(g.db_path().to_string_lossy().contains("graph.db"));

        crate::test_env::remove_var("LEAN_CTX_DATA_DIR");
    }

    #[test]
    fn meta_path_uses_graph_dir() {
        let tmp = tempfile::tempdir().unwrap();
        let project = tmp.path().join("metatest");
        std::fs::create_dir_all(&project).unwrap();

        let data_dir = tmp.path().join("mdata");
        std::fs::create_dir_all(&data_dir).unwrap();

        let _guard = test_env_lock();
        crate::test_env::set_var("LEAN_CTX_DATA_DIR", data_dir.to_str().unwrap());

        let mp = meta::meta_path(project.to_str().unwrap());
        assert!(mp.starts_with(&data_dir));
        assert!(mp.to_string_lossy().contains("graph.meta.json"));

        crate::test_env::remove_var("LEAN_CTX_DATA_DIR");
    }

    #[test]
    fn engine_outdated_flags_old_and_missing_meta() {
        let _iso = crate::core::data_dir::isolated_data_dir();
        let proj = tempfile::tempdir().unwrap();
        let root = proj.path().to_str().unwrap();

        // No meta on disk yet -> outdated (an unbuilt graph forces a build).
        assert!(engine_outdated(root), "missing meta must read as outdated");

        // Meta from an engine generation before the version stamp -> outdated.
        let mut meta = PropertyGraphMetaV1 {
            built_at: "2026-01-01T00:00:00Z".to_string(),
            engine_version: 0,
            ..Default::default()
        };
        write_meta(root, &meta).unwrap();
        assert!(
            engine_outdated(root),
            "engine_version 0 must read as outdated"
        );

        // Meta stamped with the current engine -> up to date.
        meta.engine_version = GRAPH_ENGINE_VERSION;
        write_meta(root, &meta).unwrap();
        assert!(
            !engine_outdated(root),
            "current engine_version must read as up to date"
        );

        // Meta stamped by a later engine (the state after a rollback) -> rebuilt.
        meta.engine_version = GRAPH_ENGINE_VERSION + 1;
        write_meta(root, &meta).unwrap();
        assert!(
            engine_outdated(root),
            "a graph of a newer engine must not be read by this one"
        );
    }

    fn catalog_entry(path: &str) -> FileCatalogEntry {
        FileCatalogEntry {
            path: path.to_string(),
            hash: format!("hash-{path}"),
            language: "rs".to_string(),
            line_count: 1,
            token_count: 1,
            exports: Vec::new(),
            summary: String::new(),
        }
    }

    /// #2179: a status read counts what the store holds, never creates a
    /// graph that is not there.
    #[test]
    fn stored_counts_reads_rows_and_never_creates_a_graph() {
        let _iso = crate::core::data_dir::isolated_data_dir();
        let proj = tempfile::tempdir().unwrap();
        let root = proj.path().to_str().unwrap();

        assert_eq!(stored_counts(root), None);
        assert!(
            !graph_dir(root).join("graph.db").exists(),
            "a status read must not create graph.db"
        );

        let g = CodeGraph::open(root).unwrap();
        g.upsert_file_catalog(&catalog_entry("src/a.rs")).unwrap();
        g.upsert_file_catalog(&catalog_entry("src/b.rs")).unwrap();
        g.upsert_node(&Node::file("src/a.rs")).unwrap();
        drop(g);

        assert_eq!(
            stored_counts(root),
            Some(StoredCounts { files: 2, nodes: 1 })
        );
    }

    /// #2179: a graph another process holds locked is answered within the
    /// busy bound instead of waited out.
    #[test]
    fn stored_counts_gives_up_on_a_held_graph_within_its_bound() {
        let dir = tempfile::tempdir().unwrap();
        let db = dir.path().join("graph.db");
        {
            let conn = Connection::open(&db).unwrap();
            schema::initialize(&conn).unwrap();
        }
        assert_eq!(
            stored_counts_at(&db, STORED_COUNTS_BUSY),
            Some(StoredCounts { files: 0, nodes: 0 })
        );

        let holder = Connection::open(&db).unwrap();
        holder
            .execute_batch(
                "PRAGMA locking_mode = EXCLUSIVE;
                 BEGIN EXCLUSIVE;
                 INSERT INTO paths(path) VALUES ('held');",
            )
            .unwrap();

        let started = std::time::Instant::now();
        let busy = std::time::Duration::from_millis(100);
        assert_eq!(stored_counts_at(&db, busy), None, "a held graph is busy");
        assert!(
            started.elapsed() < std::time::Duration::from_secs(5),
            "waited {:?} on a held graph",
            started.elapsed()
        );
        holder.execute_batch("ROLLBACK;").unwrap();
    }

    /// #2179: reading a graph of an older schema reports nothing and leaves
    /// it as it is; `CodeGraph::open` would drop its tables.
    #[test]
    fn stored_counts_leaves_a_legacy_schema_untouched() {
        let dir = tempfile::tempdir().unwrap();
        let db = dir.path().join("graph.db");
        {
            let conn = Connection::open(&db).unwrap();
            conn.execute_batch(
                "CREATE TABLE nodes (id INTEGER PRIMARY KEY, file_path TEXT);
                 INSERT INTO nodes(file_path) VALUES ('src/a.rs');",
            )
            .unwrap();
        }
        assert_eq!(stored_counts_at(&db, STORED_COUNTS_BUSY), None);
        let conn = Connection::open(&db).unwrap();
        let kept: i64 = conn
            .query_row("SELECT count(*) FROM nodes", [], |r| r.get(0))
            .unwrap();
        assert_eq!(kept, 1, "the legacy table must survive a status read");
    }
}