Files
2026-07-13 12:42:18 +08:00

542 lines
20 KiB
Python

"""Tool 1: build_or_update_graph + run_postprocess."""
from __future__ import annotations
import logging
import sqlite3
import time
from typing import Any
from ..incremental import full_build, incremental_update
from ._common import _get_store
logger = logging.getLogger(__name__)
def _run_postprocess(
store: Any,
build_result: dict[str, Any],
postprocess: str,
full_rebuild: bool = False,
changed_files: list[str] | None = None,
) -> list[str]:
"""Run post-build steps based on *postprocess* level.
When *full_rebuild* is False and *changed_files* are available,
uses incremental flow/community detection for faster updates.
Returns a list of warning strings (empty on success).
"""
warnings: list[str] = []
build_result["postprocess_level"] = postprocess
if postprocess == "none":
return warnings
# -- Signatures + FTS (fast, always run unless "none") --
try:
rows = store.get_nodes_without_signature()
for row in rows:
node_id, name, kind, params, ret = (
row[0],
row[1],
row[2],
row[3],
row[4],
)
if kind in ("Function", "Test"):
sig = f"def {name}({params or ''})"
if ret:
sig += f" -> {ret}"
elif kind == "Class":
sig = f"class {name}"
else:
sig = name
store.update_node_signature(node_id, sig[:512])
store.commit()
build_result["signatures_updated"] = True
except (sqlite3.OperationalError, TypeError, KeyError) as e:
logger.warning("Signature computation failed: %s", e)
warnings.append(f"Signature computation failed: {type(e).__name__}: {e}")
try:
from code_review_graph.search import rebuild_fts_index
fts_count = rebuild_fts_index(store)
build_result["fts_indexed"] = fts_count
build_result["fts_rebuilt"] = True
except (sqlite3.OperationalError, ImportError) as e:
logger.warning("FTS index rebuild failed: %s", e)
warnings.append(f"FTS index rebuild failed: {type(e).__name__}: {e}")
if postprocess == "minimal":
return warnings
# -- Expensive: flows + communities (only for "full") --
use_incremental = not full_rebuild and bool(changed_files)
try:
if use_incremental:
from code_review_graph.flows import incremental_trace_flows
count = incremental_trace_flows(store, changed_files)
else:
from code_review_graph.flows import store_flows as _store_flows
from code_review_graph.flows import trace_flows as _trace_flows
flows = _trace_flows(store)
count = _store_flows(store, flows)
build_result["flows_detected"] = count
except (sqlite3.OperationalError, ImportError) as e:
logger.warning("Flow detection failed: %s", e)
warnings.append(f"Flow detection failed: {type(e).__name__}: {e}")
try:
if use_incremental:
from code_review_graph.communities import (
incremental_detect_communities,
)
count = incremental_detect_communities(store, changed_files)
else:
from code_review_graph.communities import (
detect_communities as _detect_communities,
)
from code_review_graph.communities import (
store_communities as _store_communities,
)
comms = _detect_communities(store)
count = _store_communities(store, comms)
build_result["communities_detected"] = count
except (sqlite3.OperationalError, ImportError) as e:
logger.warning("Community detection failed: %s", e)
warnings.append(f"Community detection failed: {type(e).__name__}: {e}")
# -- Compute pre-computed summary tables --
try:
_compute_summaries(store)
build_result["summaries_computed"] = True
except (sqlite3.OperationalError, Exception) as e:
logger.warning("Summary computation failed: %s", e)
warnings.append(f"Summary computation failed: {type(e).__name__}: {e}")
store.set_metadata(
"last_postprocessed_at",
time.strftime("%Y-%m-%dT%H:%M:%S"),
)
store.set_metadata("postprocess_level", postprocess)
return warnings
def _compute_summaries(store: Any) -> None:
"""Populate community_summaries, flow_snapshots, and risk_index tables.
Uses batched aggregate queries and in-memory grouping instead of
per-community/per-node loops. On graphs with ~100k edges this
reduces the work from ``O(nodes + communities)`` SQLite round trips
each doing their own B-tree scan to a handful of ``GROUP BY``
queries, turning what used to be an effective hang into a few
seconds.
Each summary block (community_summaries, flow_snapshots, risk_index)
is wrapped in an explicit transaction so the DELETE + INSERT sequence
is atomic. If a table doesn't exist yet the block is silently skipped.
"""
import json as _json
from collections import defaultdict
from os.path import commonprefix
conn = store._conn
# -- community_summaries --
try:
conn.execute("BEGIN IMMEDIATE")
conn.execute("DELETE FROM community_summaries")
# Pre-compute per-qualified_name edge counts once. Previously
# this section ran a per-community triple-JOIN aggregate query
# (nodes LEFT JOIN edges LEFT JOIN edges), which on graphs with
# thousands of communities was the second-biggest hang.
edge_counts: dict[str, int] = defaultdict(int)
for row in conn.execute(
"SELECT source_qualified, COUNT(*) FROM edges GROUP BY source_qualified"
):
edge_counts[row[0]] += row[1]
for row in conn.execute(
"SELECT target_qualified, COUNT(*) FROM edges GROUP BY target_qualified"
):
edge_counts[row[0]] += row[1]
# Group non-File nodes per community for top-symbol selection.
nodes_by_comm: dict[int, list[tuple[str, int]]] = defaultdict(list)
for row in conn.execute(
"SELECT community_id, name, qualified_name FROM nodes "
"WHERE community_id IS NOT NULL AND kind != 'File'"
):
cid, name, qn = row[0], row[1], row[2]
nodes_by_comm[cid].append((name, edge_counts.get(qn, 0)))
# Group distinct file paths per community (preserving first-seen
# order for stable output, same as DISTINCT in the old query).
files_by_comm: dict[int, list[str]] = defaultdict(list)
seen_files: dict[int, set[str]] = defaultdict(set)
for row in conn.execute(
"SELECT community_id, file_path FROM nodes WHERE community_id IS NOT NULL"
):
cid, fp = row[0], row[1]
if fp not in seen_files[cid]:
seen_files[cid].add(fp)
files_by_comm[cid].append(fp)
community_rows = conn.execute(
"SELECT id, name, size, dominant_language FROM communities"
).fetchall()
for r in community_rows:
cid, cname, csize, clang = r[0], r[1], r[2], r[3]
# Top 5 symbols by total edge count (in + out). Python's
# sorted() is stable so ties break by original row order.
members = sorted(
nodes_by_comm.get(cid, []),
key=lambda nc: nc[1],
reverse=True,
)
key_syms = _json.dumps([m[0] for m in members[:5]])
# Auto-generate purpose from common file path prefix.
paths = files_by_comm.get(cid, [])[:20]
purpose = ""
if paths:
prefix = commonprefix(paths)
if "/" in prefix:
purpose = prefix.rsplit("/", 1)[0].split("/")[-1] if "/" in prefix else ""
conn.execute(
"INSERT OR REPLACE INTO community_summaries "
"(community_id, name, purpose, key_symbols, size, dominant_language) "
"VALUES (?, ?, ?, ?, ?, ?)",
(cid, cname, purpose, key_syms, csize, clang or ""),
)
conn.commit()
except sqlite3.OperationalError:
conn.rollback() # Table may not exist yet
# -- flow_snapshots --
try:
conn.execute("BEGIN IMMEDIATE")
conn.execute("DELETE FROM flow_snapshots")
flow_rows = conn.execute(
"SELECT id, name, entry_point_id, criticality, node_count, "
"file_count, path_json FROM flows"
).fetchall()
# Collect every node id referenced by any flow, then fetch
# their qualified_names in one batched query instead of per-flow
# per-node lookups.
needed_ids: set[int] = set()
parsed_paths: list[list[int]] = []
for r in flow_rows:
needed_ids.add(r[2]) # entry_point_id
path_ids = _json.loads(r[6]) if r[6] else []
parsed_paths.append(path_ids)
# Match the old semantics: entry + up to 3 intermediates + last
for nid in path_ids[1:4]:
needed_ids.add(nid)
if path_ids:
needed_ids.add(path_ids[-1])
id_to_name: dict[int, str] = {}
if needed_ids:
# Batch the IN clause in chunks of 450 to stay under SQLite's
# default SQLITE_MAX_VARIABLE_NUMBER (999), same strategy as
# GraphStore.get_edges_among.
id_list = list(needed_ids)
for i in range(0, len(id_list), 450):
batch = id_list[i : i + 450]
placeholders = ",".join("?" for _ in batch)
node_rows = conn.execute(
f"SELECT id, qualified_name FROM nodes WHERE id IN ({placeholders})", # nosec B608
batch,
).fetchall()
for nr in node_rows:
id_to_name[nr[0]] = nr[1]
for r, path_ids in zip(flow_rows, parsed_paths):
fid, fname, ep_id = r[0], r[1], r[2]
crit, ncount, fcount = r[3], r[4], r[5]
ep_name = id_to_name.get(ep_id, str(ep_id))
critical_path: list[str] = []
if path_ids:
critical_path.append(ep_name)
if len(path_ids) > 2:
for nid in path_ids[1:4]:
nm = id_to_name.get(nid)
if nm:
critical_path.append(nm)
if len(path_ids) > 1:
last = id_to_name.get(path_ids[-1])
if last and last not in critical_path:
critical_path.append(last)
conn.execute(
"INSERT OR REPLACE INTO flow_snapshots "
"(flow_id, name, entry_point, critical_path, criticality, "
"node_count, file_count) VALUES (?, ?, ?, ?, ?, ?, ?)",
(fid, fname, ep_name, _json.dumps(critical_path), crit, ncount, fcount),
)
conn.commit()
except sqlite3.OperationalError:
conn.rollback()
# -- risk_index --
try:
conn.execute("BEGIN IMMEDIATE")
conn.execute("DELETE FROM risk_index")
# Pre-compute caller and test-coverage counts in two aggregate
# queries. Previously this section ran two COUNT(*) queries per
# candidate node; on a ~100k-edge graph with tens of thousands
# of Function/Class/Test nodes that was the primary hang
# observed during Godot builds.
caller_counts: dict[str, int] = {}
for row in conn.execute(
"SELECT target_qualified, COUNT(*) FROM edges "
"WHERE kind = 'CALLS' GROUP BY target_qualified"
):
caller_counts[row[0]] = row[1]
tested_counts: dict[str, int] = {}
for row in conn.execute(
"SELECT source_qualified, COUNT(*) FROM edges "
"WHERE kind = 'TESTED_BY' GROUP BY source_qualified"
):
tested_counts[row[0]] = row[1]
risk_nodes = conn.execute(
"SELECT id, qualified_name, name FROM nodes WHERE kind IN ('Function', 'Class', 'Test')"
).fetchall()
security_kw = {
"auth",
"login",
"password",
"token",
"session",
"crypt",
"secret",
"credential",
"permission",
"sql",
"execute",
}
for n in risk_nodes:
nid, qn, name = n[0], n[1], n[2]
caller_count = caller_counts.get(qn, 0)
tested = tested_counts.get(qn, 0)
coverage = "tested" if tested > 0 else "untested"
name_lower = name.lower()
sec_relevant = 1 if any(kw in name_lower for kw in security_kw) else 0
risk = 0.0
if caller_count > 10:
risk += 0.3
elif caller_count > 3:
risk += 0.15
if coverage == "untested":
risk += 0.3
if sec_relevant:
risk += 0.4
risk = min(risk, 1.0)
conn.execute(
"INSERT OR REPLACE INTO risk_index "
"(node_id, qualified_name, risk_score, caller_count, "
"test_coverage, security_relevant, last_computed) "
"VALUES (?, ?, ?, ?, ?, ?, datetime('now'))",
(nid, qn, risk, caller_count, coverage, sec_relevant),
)
conn.commit()
except sqlite3.OperationalError:
conn.rollback()
def build_or_update_graph(
full_rebuild: bool = False,
repo_root: str | None = None,
base: str = "HEAD~1",
postprocess: str = "full",
recurse_submodules: bool | None = None,
) -> dict[str, Any]:
"""Build or incrementally update the code knowledge graph.
Args:
full_rebuild: If True, re-parse every file. If False (default),
only re-parse files changed since ``base``.
repo_root: Path to the repository root. Auto-detected if omitted.
base: Git ref for incremental diff (default: HEAD~1).
postprocess: Post-processing level after build:
``"full"`` (default) — signatures, FTS, flows, communities.
``"minimal"`` — signatures + FTS only (fast, keeps search working).
``"none"`` — skip all post-processing (raw parse only).
recurse_submodules: If True, include files from git submodules
via ``git ls-files --recurse-submodules``. When None
(default), falls back to the CRG_RECURSE_SUBMODULES
environment variable. Default: disabled.
Returns:
Summary with files_parsed/updated, node/edge counts, and errors.
"""
store, root = _get_store(repo_root)
try:
if full_rebuild:
result = full_build(root, store, recurse_submodules)
build_result = {
"status": "ok",
"build_type": "full",
"summary": (
f"Full build complete: parsed {result['files_parsed']} files, "
f"created {result['total_nodes']} nodes and "
f"{result['total_edges']} edges."
),
**result,
}
else:
result = incremental_update(root, store, base=base)
if result["files_updated"] == 0:
return {
"status": "ok",
"build_type": "incremental",
"summary": "No changes detected. Graph is up to date.",
"postprocess_level": postprocess,
**result,
}
build_result = {
"status": "ok",
"build_type": "incremental",
"summary": (
f"Incremental update: {result['files_updated']} files re-parsed, "
f"{result['total_nodes']} nodes and "
f"{result['total_edges']} edges updated. "
f"Changed: {result['changed_files']}. "
f"Dependents also updated: {result['dependent_files']}."
),
**result,
}
# Pass changed_files for incremental flow/community detection
changed = result.get("changed_files") if not full_rebuild else None
warnings = _run_postprocess(
store,
build_result,
postprocess,
full_rebuild=full_rebuild,
changed_files=changed,
)
if warnings:
build_result["warnings"] = warnings
return build_result
finally:
store.close()
def run_postprocess(
flows: bool = True,
communities: bool = True,
fts: bool = True,
repo_root: str | None = None,
) -> dict[str, Any]:
"""Run post-processing steps on an existing graph.
Useful for running expensive steps (flows, communities) separately
from the build, or for re-running after the graph has been updated
with ``postprocess="none"``.
Args:
flows: Run flow detection. Default: True.
communities: Run community detection. Default: True.
fts: Rebuild FTS index. Default: True.
repo_root: Repository root path. Auto-detected if omitted.
Returns:
Summary of what was computed.
"""
store, _root = _get_store(repo_root)
result: dict[str, Any] = {"status": "ok"}
warnings: list[str] = []
try:
try:
rows = store.get_nodes_without_signature()
for row in rows:
node_id, name, kind, params, ret = (
row[0],
row[1],
row[2],
row[3],
row[4],
)
if kind in ("Function", "Test"):
sig = f"def {name}({params or ''})"
if ret:
sig += f" -> {ret}"
elif kind == "Class":
sig = f"class {name}"
else:
sig = name
store.update_node_signature(node_id, sig[:512])
store.commit()
result["signatures_updated"] = True
except (sqlite3.OperationalError, TypeError, KeyError) as e:
logger.warning("Signature computation failed: %s", e)
warnings.append(f"Signature computation failed: {type(e).__name__}: {e}")
if fts:
try:
from code_review_graph.search import rebuild_fts_index
fts_count = rebuild_fts_index(store)
result["fts_indexed"] = fts_count
except (sqlite3.OperationalError, ImportError) as e:
store.rollback()
logger.warning("FTS index rebuild failed: %s", e)
warnings.append(f"FTS index rebuild failed: {type(e).__name__}: {e}")
if flows:
try:
from code_review_graph.flows import store_flows as _store_flows
from code_review_graph.flows import trace_flows as _trace_flows
traced = _trace_flows(store)
count = _store_flows(store, traced)
result["flows_detected"] = count
except (sqlite3.OperationalError, ImportError) as e:
store.rollback()
logger.warning("Flow detection failed: %s", e)
warnings.append(f"Flow detection failed: {type(e).__name__}: {e}")
if communities:
try:
from code_review_graph.communities import (
detect_communities as _detect_communities,
)
from code_review_graph.communities import (
store_communities as _store_communities,
)
comms = _detect_communities(store)
count = _store_communities(store, comms)
result["communities_detected"] = count
except (sqlite3.OperationalError, ImportError) as e:
store.rollback()
logger.warning("Community detection failed: %s", e)
warnings.append(f"Community detection failed: {type(e).__name__}: {e}")
store.set_metadata(
"last_postprocessed_at",
time.strftime("%Y-%m-%dT%H:%M:%S"),
)
result["summary"] = "Post-processing complete."
if warnings:
result["warnings"] = warnings
return result
finally:
store.close()