openlore 2.0.6 → 2.0.8

package/dist/core/services/mcp-handlers/reachability.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Reachability & Dead-Code Analysis (spec-20) — cross-language mark-and-sweep
+ * over the unified call graph.
+ *
+ * "Is this reachable from any entry point?", "what is dead?", and "what becomes
+ * dead if I delete X?" — graph reachability questions grep can't answer (it sees
+ * text, not reach) and the model burns tokens guessing at. Reachability is forward
+ * BFS from roots; candidate-dead is the unreached remainder; "dead if I delete X"
+ * is the set reachable only through X.
+ *
+ * Prior art: knip / ts-prune do mark-and-sweep, but TS/JS-only. This is the
+ * cross-language version over the tree-sitter graph (15+ languages).
+ *
+ * HONEST LIMITS — output is *candidates*, never deletion authority. Dynamic entry
+ * points, framework magic (routes, DI, plugin registries), reflection, and
+ * externally-consumed public exports all produce false "dead" positives. Roots
+ * therefore include tests, imported symbols, and detected framework entries; every
+ * candidate carries a confidence level and a reason; nothing is ever auto-deleted.
+ */
+export interface FindDeadCodeInput {
+    directory: string;
+    /** "What becomes dead if I delete this symbol?" — switches to delete-impact mode. */
+    ifDeleted?: string;
+    /** Limit candidate-dead results (default 100). */
+    maxResults?: number;
+    /** Only report candidates whose file path contains this substring. */
+    filePattern?: string;
+}
+export declare function handleFindDeadCode(input: FindDeadCodeInput): Promise<unknown>;
+//# sourceMappingURL=reachability.d.ts.map

package/dist/core/services/mcp-handlers/reachability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reachability.d.ts","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/reachability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAUH,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,qFAAqF;IACrF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAmFD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC,CAsHnF"}

package/dist/core/services/mcp-handlers/reachability.js

@@ -0,0 +1,222 @@
+/**
+ * Reachability & Dead-Code Analysis (spec-20) — cross-language mark-and-sweep
+ * over the unified call graph.
+ *
+ * "Is this reachable from any entry point?", "what is dead?", and "what becomes
+ * dead if I delete X?" — graph reachability questions grep can't answer (it sees
+ * text, not reach) and the model burns tokens guessing at. Reachability is forward
+ * BFS from roots; candidate-dead is the unreached remainder; "dead if I delete X"
+ * is the set reachable only through X.
+ *
+ * Prior art: knip / ts-prune do mark-and-sweep, but TS/JS-only. This is the
+ * cross-language version over the tree-sitter graph (15+ languages).
+ *
+ * HONEST LIMITS — output is *candidates*, never deletion authority. Dynamic entry
+ * points, framework magic (routes, DI, plugin registries), reflection, and
+ * externally-consumed public exports all produce false "dead" positives. Roots
+ * therefore include tests, imported symbols, and detected framework entries; every
+ * candidate carries a confidence level and a reason; nothing is ever auto-deleted.
+ */
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { validateDirectory, readCachedContext } from './utils.js';
+import { buildAdjacency } from './graph.js';
+import { isIacLanguage } from '../../analyzer/iac/types.js';
+import { OPENLORE_DIR, OPENLORE_ANALYSIS_SUBDIR, ARTIFACT_DEPENDENCY_GRAPH } from '../../../constants.js';
+// Languages where export is explicit and dispatch mostly static — deadness is
+// more reliable. Dynamic languages (implicit exports, runtime dispatch) cap low.
+const STATIC_LANGS = new Set([
+    'TypeScript', 'JavaScript', 'Go', 'Rust', 'Java', 'Kotlin', 'C#', 'Swift', 'C++', 'C', 'Scala', 'Dart',
+]);
+const DYNAMIC_LANGS = new Set(['Python', 'Ruby', 'PHP', 'Lua', 'Elixir', 'Bash']);
+/** A code node we can reason about (not external, not infrastructure). */
+function isCodeNode(n) {
+    return !n.isExternal && !isIacLanguage(n.language);
+}
+/** Load the cross-file import signals from the dependency graph. */
+async function loadDepSignals(absDir) {
+    try {
+        const raw = await readFile(join(absDir, OPENLORE_DIR, OPENLORE_ANALYSIS_SUBDIR, ARTIFACT_DEPENDENCY_GRAPH), 'utf-8');
+        const g = JSON.parse(raw);
+        const names = new Set();
+        const idToPath = new Map((g.nodes ?? []).map(n => [n.id, n.file?.path ?? '']));
+        const files = new Set();
+        for (const e of g.edges ?? []) {
+            for (const n of e.importedNames ?? [])
+                names.add(n);
+            const path = e.target ? idToPath.get(e.target) : undefined;
+            if (path)
+                files.add(path);
+        }
+        return { names, files };
+    }
+    catch {
+        return null;
+    }
+}
+/** A candidate's module is imported somewhere → tolerant path match against the dep-graph file set. */
+function fileImported(filePath, importedFiles) {
+    if (importedFiles.has(filePath))
+        return true;
+    const a = filePath.replace(/^\/+/, '');
+    for (const f of importedFiles) {
+        const b = f.replace(/^\/+/, '');
+        if (a === b || a.endsWith('/' + b) || b.endsWith('/' + a))
+            return true;
+    }
+    return false;
+}
+/**
+ * Compute the live (reachable) node-id set by forward BFS from seed roots.
+ * `excludeId` removes a node from both the seeds and the traversal (delete mode).
+ */
+function reachableFrom(seeds, forward, excludeId) {
+    const live = new Set();
+    const queue = [];
+    for (const s of seeds) {
+        if (s === excludeId || live.has(s))
+            continue;
+        live.add(s);
+        queue.push(s);
+    }
+    while (queue.length) {
+        const id = queue.shift();
+        for (const next of forward.get(id) ?? []) {
+            if (next === excludeId || live.has(next))
+                continue;
+            live.add(next);
+            queue.push(next);
+        }
+    }
+    return live;
+}
+export async function handleFindDeadCode(input) {
+    const absDir = await validateDirectory(input.directory);
+    const ctx = await readCachedContext(absDir);
+    if (!ctx)
+        return { error: 'No analysis found. Run analyze_codebase first.' };
+    if (!ctx.callGraph)
+        return { error: 'Call graph not available. Re-run analyze_codebase.' };
+    const cg = ctx.callGraph;
+    const dep = await loadDepSignals(absDir);
+    const importedNames = dep?.names ?? null;
+    const importedFiles = dep?.files ?? null;
+    const { nodeMap, forward } = buildAdjacency(cg);
+    // ── Roots (liveness seeds) — conservative: prefer false-live over false-dead ──
+    // tests (they invoke code) · symbols imported by another file · HTTP route
+    // handlers · main-like entry functions.
+    const httpHandlerIds = new Set(cg.edges.filter(e => e.confidence === 'http_endpoint' && e.calleeId).map(e => e.calleeId));
+    const isMainLike = (n) => n.name === 'main' || n.name === 'default';
+    const isRoot = (n) => !!n.isTest ||
+        httpHandlerIds.has(n.id) ||
+        isMainLike(n) ||
+        (importedNames !== null && importedNames.has(n.name));
+    const codeNodes = cg.nodes.filter(isCodeNode);
+    const roots = codeNodes.filter(isRoot);
+    const seedIds = [...roots].map(r => r.id).sort();
+    const live = reachableFrom(seedIds, forward);
+    const exportSignal = importedNames !== null ? 'dependency-graph' : 'none';
+    const languages = [...new Set(codeNodes.map(n => n.language))].sort();
+    // ── Delete-impact mode: "what becomes dead if I delete X?" ──────────────────
+    if (input.ifDeleted !== undefined) {
+        const target = codeNodes.find(n => n.name === input.ifDeleted)
+            ?? codeNodes.find(n => n.name.toLowerCase() === input.ifDeleted.toLowerCase());
+        if (!target)
+            return { error: `Symbol "${input.ifDeleted}" not found in the code graph.` };
+        const liveWithout = reachableFrom(seedIds, forward, target.id);
+        const becomesDead = [...live]
+            .filter(id => id !== target.id && !liveWithout.has(id))
+            .map(id => nodeMap.get(id))
+            .filter((n) => !!n && isCodeNode(n) && !n.isTest)
+            .map(n => ({ name: n.name, file: n.filePath, language: n.language, fanIn: n.fanIn }))
+            .sort((a, b) => a.file.localeCompare(b.file) || a.name.localeCompare(b.name));
+        return {
+            target: target.name,
+            file: target.filePath,
+            becomesDeadIfDeleted: becomesDead,
+            count: becomesDead.length,
+            note: becomesDead.length === 0
+                ? 'Nothing else becomes unreachable — every other node has an independent path to a root (or is itself a root).'
+                : 'These nodes are reachable only through the target. Deleting it orphans them — verify before removing (dynamic callers are invisible here).',
+            soundness: deadCodeSoundness(exportSignal, languages),
+        };
+    }
+    // ── Candidate dead-code report ──────────────────────────────────────────────
+    let candidates = codeNodes.filter(n => !n.isTest && !live.has(n.id));
+    if (input.filePattern)
+        candidates = candidates.filter(n => n.filePath.includes(input.filePattern));
+    const ranked = candidates
+        .map(n => {
+        const noCaller = (n.fanIn ?? 0) === 0;
+        const dynamic = DYNAMIC_LANGS.has(n.language) || !STATIC_LANGS.has(n.language);
+        const moduleUsed = importedFiles !== null && fileImported(n.filePath, importedFiles);
+        const reasons = [];
+        if (noCaller)
+            reasons.push('no internal caller');
+        else
+            reasons.push('reachable only from other candidate-dead code');
+        if (importedNames !== null && !importedNames.has(n.name))
+            reasons.push('not imported by name from any other file');
+        if (moduleUsed)
+            reasons.push('but its module IS imported elsewhere (symbol-level usage unresolved — e.g. namespace/default import or external API)');
+        reasons.push('not a test, route handler, or main entry');
+        // Conservative: a symbol whose module is consumed elsewhere can't be high —
+        // named-import detection misses namespace/default/re-export usage.
+        let confidence;
+        if (dynamic)
+            confidence = 'low';
+        else if (moduleUsed)
+            confidence = 'low';
+        else if (exportSignal === 'none')
+            confidence = 'medium';
+        else
+            confidence = noCaller ? 'high' : 'medium';
+        return {
+            name: n.name, file: n.filePath, language: n.language, className: n.className ?? null,
+            fanIn: n.fanIn ?? 0, startLine: n.startLine ?? null,
+            confidence, reason: reasons.join('; '),
+        };
+    })
+        .sort((a, b) => ({ high: 0, medium: 1, low: 2 })[a.confidence] - ({ high: 0, medium: 1, low: 2 })[b.confidence] ||
+        a.file.localeCompare(b.file) || a.name.localeCompare(b.name));
+    const limit = Math.max(1, Math.min(input.maxResults ?? 100, 1000));
+    const byConfidence = {
+        high: ranked.filter(r => r.confidence === 'high').length,
+        medium: ranked.filter(r => r.confidence === 'medium').length,
+        low: ranked.filter(r => r.confidence === 'low').length,
+    };
+    return {
+        stats: {
+            analyzed: codeNodes.filter(n => !n.isTest).length,
+            roots: roots.length,
+            reachable: [...live].filter(id => { const n = nodeMap.get(id); return !!n && isCodeNode(n) && !n.isTest; }).length,
+            candidateDead: ranked.length,
+        },
+        rootKinds: {
+            tests: roots.filter(r => r.isTest).length,
+            imported: importedNames !== null ? roots.filter(r => !r.isTest && importedNames.has(r.name)).length : 0,
+            httpHandlers: roots.filter(r => httpHandlerIds.has(r.id)).length,
+        },
+        byConfidence,
+        candidateDead: ranked.slice(0, limit),
+        truncated: ranked.length > limit ? ranked.length - limit : 0,
+        coverage: { languages, exportSignal },
+        soundness: deadCodeSoundness(exportSignal, languages),
+    };
+}
+function deadCodeSoundness(exportSignal, languages) {
+    const caveats = [
+        'These are CANDIDATES, not deletion authority — never auto-delete based on this.',
+        'Dynamic dispatch, reflection, DI, plugin registries, and framework routing invoke code invisibly to static analysis; such symbols can be flagged dead falsely.',
+        'Public API consumed OUTSIDE this repo is not visible as a root and may appear dead — treat exported library symbols with caution.',
+    ];
+    if (exportSignal === 'none') {
+        caveats.push('No dependency graph found — the "imported elsewhere" liveness signal is unavailable, so confidence is reduced. Run analyze_codebase to generate it.');
+    }
+    const dynamic = languages.filter(l => DYNAMIC_LANGS.has(l));
+    if (dynamic.length > 0) {
+        caveats.push(`Dynamic languages present (${dynamic.join(', ')}): implicit exports and runtime dispatch make deadness unreliable — those candidates are capped at low confidence.`);
+    }
+    return { posture: 'candidates-not-authority', caveats };
+}
+//# sourceMappingURL=reachability.js.map

package/dist/core/services/mcp-handlers/reachability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reachability.js","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/reachability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAe1G,8EAA8E;AAC9E,iFAAiF;AACjF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM;CACvG,CAAC,CAAC;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAElF,0EAA0E;AAC1E,SAAS,UAAU,CAAC,CAAe;IACjC,OAAO,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC;AAWD,oEAAoE;AACpE,KAAK,UAAU,cAAc,CAAC,MAAc;IAC1C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,wBAAwB,EAAE,yBAAyB,CAAC,EAAE,OAAO,CAAC,CAAC;QACrH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAGvB,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,IAAI,EAAE;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACpD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3D,IAAI,IAAI;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,SAAS,YAAY,CAAC,QAAgB,EAAE,aAA0B;IAChE,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACzE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,KAAe,EACf,OAAiC,EACjC,SAAkB;IAElB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACnD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAAwB;IAC/D,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,KAAK,EAAE,gDAAgD,EAAE,CAAC;IAC7E,IAAI,CAAC,GAAG,CAAC,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,oDAAoD,EAAE,CAAC;IAE3F,MAAM,EAAE,GAAG,GAAG,CAAC,SAAgC,CAAC;IAChD,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,GAAG,EAAE,KAAK,IAAI,IAAI,CAAC;IACzC,MAAM,aAAa,GAAG,GAAG,EAAE,KAAK,IAAI,IAAI,CAAC;IACzC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IAEhD,iFAAiF;IACjF,2EAA2E;IAC3E,wCAAwC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,eAAe,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC1F,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;IAClF,MAAM,MAAM,GAAG,CAAC,CAAe,EAAW,EAAE,CAC1C,CAAC,CAAC,CAAC,CAAC,MAAM;QACV,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,UAAU,CAAC,CAAC,CAAC;QACb,CAAC,aAAa,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAExD,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAE7C,MAAM,YAAY,GAAgC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC;IACvG,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtE,+EAA+E;IAC/E,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAAC;eACzD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,SAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAClF,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,KAAK,EAAE,WAAW,KAAK,CAAC,SAAS,gCAAgC,EAAE,CAAC;QAE1F,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC;aAC1B,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aACtD,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aAC1B,MAAM,CAAC,CAAC,CAAC,EAAqB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;aACnE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;aACpF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEhF,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,IAAI,EAAE,MAAM,CAAC,QAAQ;YACrB,oBAAoB,EAAE,WAAW;YACjC,KAAK,EAAE,WAAW,CAAC,MAAM;YACzB,IAAI,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;gBAC5B,CAAC,CAAC,8GAA8G;gBAChH,CAAC,CAAC,4IAA4I;YAChJ,SAAS,EAAE,iBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC;SACtD,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,IAAI,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,IAAI,KAAK,CAAC,WAAW;QAAE,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAY,CAAC,CAAC,CAAC;IAEpG,MAAM,MAAM,GAAG,UAAU;SACtB,GAAG,CAAC,CAAC,CAAC,EAAE;QACP,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC/E,MAAM,UAAU,GAAG,aAAa,KAAK,IAAI,IAAI,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACrF,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;;YAC5C,OAAO,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QACnE,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACnH,IAAI,UAAU;YAAE,OAAO,CAAC,IAAI,CAAC,sHAAsH,CAAC,CAAC;QACrJ,OAAO,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QAEzD,4EAA4E;QAC5E,mEAAmE;QACnE,IAAI,UAAsB,CAAC;QAC3B,IAAI,OAAO;YAAE,UAAU,GAAG,KAAK,CAAC;aAC3B,IAAI,UAAU;YAAE,UAAU,GAAG,KAAK,CAAC;aACnC,IAAI,YAAY,KAAK,MAAM;YAAE,UAAU,GAAG,QAAQ,CAAC;;YACnD,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE/C,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI;YACpF,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI;YACnD,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;SACvC,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QAC/F,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG;QACnB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,MAAM;QACxD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,MAAM;QAC5D,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,MAAM;KACvD,CAAC;IAEF,OAAO;QACL,KAAK,EAAE;YACL,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM;YACjD,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;YAClH,aAAa,EAAE,MAAM,CAAC,MAAM;SAC7B;QACD,SAAS,EAAE;YACT,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM;YACzC,QAAQ,EAAE,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvG,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM;SACjE;QACD,YAAY;QACZ,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QACrC,SAAS,EAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5D,QAAQ,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE;QACrC,SAAS,EAAE,iBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,YAAyC,EAAE,SAAmB;IAGvF,MAAM,OAAO,GAAG;QACd,iFAAiF;QACjF,gKAAgK;QAChK,mIAAmI;KACpI,CAAC;IACF,IAAI,YAAY,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,qJAAqJ,CAAC,CAAC;IACtK,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,8BAA8B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,oHAAoH,CAAC,CAAC;IACrL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,0BAA0B,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC"}

package/dist/core/services/mcp-handlers/structural-diff.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Structural Change Analysis — graph diff (spec-21).
+ *
+ * Given a change (working tree vs a ref, or two refs), compute what changed
+ * *structurally*: which functions/edges were added or removed, which signatures
+ * changed, and which existing callers are now STALE because a callee's signature
+ * moved under them. A review/refactor agent gets a precise structural changelog
+ * instead of re-deriving consequences from a raw text diff.
+ *
+ * The difference between "these 40 lines changed" (git diff) and "this removed
+ * function C, altered the signature of D, and 5 of D's callers are now stale"
+ * (graph diff) — a computed consequence (Layer 3), not retrieval.
+ *
+ * Bounded: only the changed files are re-parsed (old content via `git show`, new
+ * via the working tree / ref), so two in-memory snapshots are cheap. The canonical
+ * graph is never mutated. Stale callers come from the cached graph (all callers).
+ *
+ * Honest limits: rename/move detection is heuristic — a renamed function looks like
+ * delete + add — so both interpretations are reported, never silently guessed.
+ */
+export interface StructuralDiffInput {
+    directory: string;
+    /** Old state (default "HEAD"). */
+    baseRef?: string;
+    /** New state. Omit to use the working tree. */
+    headRef?: string;
+    /** Cap reported items per category (default 200). */
+    maxResults?: number;
+}
+export declare function handleStructuralDiff(input: StructuralDiffInput): Promise<unknown>;
+//# sourceMappingURL=structural-diff.d.ts.map

package/dist/core/services/mcp-handlers/structural-diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-diff.d.ts","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/structural-diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAcH,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+CAA+C;IAC/C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA2BD,wBAAsB,oBAAoB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAAC,OAAO,CAAC,CA+KvF"}

package/dist/core/services/mcp-handlers/structural-diff.js

@@ -0,0 +1,268 @@
+/**
+ * Structural Change Analysis — graph diff (spec-21).
+ *
+ * Given a change (working tree vs a ref, or two refs), compute what changed
+ * *structurally*: which functions/edges were added or removed, which signatures
+ * changed, and which existing callers are now STALE because a callee's signature
+ * moved under them. A review/refactor agent gets a precise structural changelog
+ * instead of re-deriving consequences from a raw text diff.
+ *
+ * The difference between "these 40 lines changed" (git diff) and "this removed
+ * function C, altered the signature of D, and 5 of D's callers are now stale"
+ * (graph diff) — a computed consequence (Layer 3), not retrieval.
+ *
+ * Bounded: only the changed files are re-parsed (old content via `git show`, new
+ * via the working tree / ref), so two in-memory snapshots are cheap. The canonical
+ * graph is never mutated. Stale callers come from the cached graph (all callers).
+ *
+ * Honest limits: rename/move detection is heuristic — a renamed function looks like
+ * delete + add — so both interpretations are reported, never silently guessed.
+ */
+import { execFile } from 'node:child_process';
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { promisify } from 'node:util';
+import { validateDirectory, readCachedContext } from './utils.js';
+import { isGitRepository, resolveBaseRef, validateGitRef, getChangedFiles } from '../../drift/git-diff.js';
+import { CallGraphBuilder, serializeCallGraph } from '../../analyzer/call-graph.js';
+import { detectLanguage } from '../../analyzer/signature-extractor.js';
+const execFileAsync = promisify(execFile);
+/** Content of a file at a git ref, or '' if it didn't exist there. */
+async function fileAtRef(rootPath, ref, path) {
+    try {
+        const { stdout } = await execFileAsync('git', ['show', `${ref}:${path}`], {
+            cwd: rootPath, maxBuffer: 32 * 1024 * 1024,
+        });
+        return stdout;
+    }
+    catch {
+        return '';
+    }
+}
+/** Signature shape with the identifier removed — for rename matching. */
+function signatureShape(signature) {
+    if (!signature)
+        return '';
+    const paren = signature.indexOf('(');
+    return (paren >= 0 ? signature.slice(paren) : signature).replace(/\s+/g, ' ').trim();
+}
+function nodeRef(n) {
+    return { name: n.name, file: n.filePath, className: n.className ?? null, signature: n.signature ?? n.name };
+}
+export async function handleStructuralDiff(input) {
+    const absDir = await validateDirectory(input.directory);
+    if (!(await isGitRepository(absDir))) {
+        return { error: 'Not a git repository. Structural diff requires git.' };
+    }
+    const baseRaw = input.baseRef ?? 'HEAD';
+    try {
+        validateGitRef(baseRaw);
+        if (input.headRef)
+            validateGitRef(input.headRef);
+    }
+    catch (err) {
+        return { error: `Invalid git ref: ${err instanceof Error ? err.message : String(err)}` };
+    }
+    const resolvedBase = await resolveBaseRef(absDir, baseRaw);
+    // ── Changed files ───────────────────────────────────────────────────────────
+    let changed;
+    try {
+        if (input.headRef) {
+            const { stdout } = await execFileAsync('git', ['diff', '--name-status', '--diff-filter=ACDMR', `${resolvedBase}..${input.headRef}`], { cwd: absDir, maxBuffer: 16 * 1024 * 1024 });
+            changed = stdout.split('\n').filter(Boolean).map(line => {
+                const parts = line.split('\t');
+                const s = parts[0].charAt(0);
+                const status = s === 'A' ? 'added' : s === 'D' ? 'deleted' : s === 'R' ? 'renamed' : 'modified';
+                return status === 'renamed' && parts.length >= 3
+                    ? { path: parts[2], status, oldPath: parts[1] }
+                    : { path: parts[1], status };
+            });
+        }
+        else {
+            const diff = await getChangedFiles({ rootPath: absDir, baseRef: resolvedBase, includeUnstaged: true });
+            changed = diff.files.map(f => ({ path: f.path, status: f.status, oldPath: f.oldPath }));
+            // git diff excludes untracked files; a brand-new file's functions are all
+            // structural additions, so fold them in for the working-tree comparison.
+            try {
+                const { stdout } = await execFileAsync('git', ['ls-files', '--others', '--exclude-standard'], {
+                    cwd: absDir, maxBuffer: 16 * 1024 * 1024,
+                });
+                const seen = new Set(changed.map(c => c.path));
+                for (const path of stdout.split('\n').map(s => s.trim()).filter(Boolean)) {
+                    if (!seen.has(path))
+                        changed.push({ path, status: 'added' });
+                }
+            }
+            catch { /* untracked enumeration is best-effort */ }
+        }
+    }
+    catch (err) {
+        return { error: `git diff failed: ${err instanceof Error ? err.message : String(err)}` };
+    }
+    // Code files only; logical path = the new path (so a file move doesn't explode
+    // into all-removed + all-added at the function level).
+    const codeChanged = changed.filter(c => {
+        const lang = detectLanguage(c.path);
+        return lang && lang !== 'Unknown' && lang !== 'unknown';
+    });
+    if (codeChanged.length === 0) {
+        return {
+            base: resolvedBase, head: input.headRef ?? 'working tree',
+            message: 'No changed code files between the two states (only non-code or no changes).',
+            summary: emptySummary(),
+            soundness: diffSoundness(true),
+        };
+    }
+    // ── Build old + new snapshots from just the changed files ───────────────────
+    const oldFiles = [];
+    const newFiles = [];
+    for (const c of codeChanged) {
+        const lang = detectLanguage(c.path);
+        const oldSrcPath = c.oldPath ?? c.path;
+        const oldContent = c.status === 'added' ? '' : await fileAtRef(absDir, resolvedBase, oldSrcPath);
+        let newContent = '';
+        if (c.status !== 'deleted') {
+            newContent = input.headRef
+                ? await fileAtRef(absDir, input.headRef, c.path)
+                : await readFile(join(absDir, c.path), 'utf-8').catch(() => '');
+        }
+        if (oldContent)
+            oldFiles.push({ path: c.path, content: oldContent, language: lang });
+        if (newContent)
+            newFiles.push({ path: c.path, content: newContent, language: lang });
+    }
+    const oldGraph = await safeBuild(oldFiles);
+    const newGraph = await safeBuild(newFiles);
+    const oldNodes = new Map(oldGraph.nodes.filter(isCode).map(n => [n.id, n]));
+    const newNodes = new Map(newGraph.nodes.filter(isCode).map(n => [n.id, n]));
+    // ── Node-level delta ────────────────────────────────────────────────────────
+    const added = [];
+    const removed = [];
+    const signatureChanged = [];
+    for (const [id, n] of newNodes)
+        if (!oldNodes.has(id))
+            added.push(n);
+    for (const [id, n] of oldNodes) {
+        const nu = newNodes.get(id);
+        if (!nu) {
+            removed.push(n);
+            continue;
+        }
+        if ((n.signature ?? '') !== (nu.signature ?? '')) {
+            signatureChanged.push({ node: nu, before: n.signature ?? n.name, after: nu.signature ?? n.name });
+        }
+    }
+    // ── Rename/move candidates — removed↔added with matching signature shape ─────
+    const renameCandidates = [];
+    for (const r of removed) {
+        for (const a of added) {
+            const sameShape = signatureShape(r.signature) && signatureShape(r.signature) === signatureShape(a.signature);
+            const sameFile = r.filePath === a.filePath;
+            if (!sameShape)
+                continue;
+            const confidence = sameFile ? 'high' : 'medium';
+            renameCandidates.push({
+                from: nodeRef(r), to: nodeRef(a), confidence,
+                note: `"${r.name}" may have been renamed/moved to "${a.name}" (matching signature shape${sameFile ? ', same file' : ''}). Reported as both remove+add and this rename candidate — verify.`,
+            });
+        }
+    }
+    // ── Edge delta (calls among / out of the changed files) ─────────────────────
+    const edgeKey = (e) => `${e.callerId}\0${e.calleeName}`;
+    const oldEdges = new Map(oldGraph.edges.filter(isCallEdge).map(e => [edgeKey(e), e]));
+    const newEdges = new Map(newGraph.edges.filter(isCallEdge).map(e => [edgeKey(e), e]));
+    const addedEdges = [...newEdges].filter(([k]) => !oldEdges.has(k)).map(([, e]) => edgePair(e, newGraph));
+    const removedEdges = [...oldEdges].filter(([k]) => !newEdges.has(k)).map(([, e]) => edgePair(e, oldGraph));
+    // ── Stale callers — callers (in the canonical graph) of a node whose signature
+    //    changed or that was removed, that are NOT themselves in the changed set ──
+    const ctx = await readCachedContext(absDir);
+    const changedPaths = new Set(codeChanged.map(c => c.path));
+    const staleCallerNote = ctx?.edgeStore
+        ? undefined
+        : 'No cached graph — stale-caller analysis skipped. Run analyze_codebase to enable it.';
+    const collectStaleCallers = (nodeId) => {
+        if (!ctx?.edgeStore)
+            return [];
+        const out = new Map();
+        for (const e of ctx.edgeStore.getCallers(nodeId)) {
+            if (e.kind && e.kind !== 'calls')
+                continue;
+            const caller = ctx.edgeStore.getNode(e.callerId);
+            if (!caller || caller.isExternal)
+                continue;
+            if (changedPaths.has(caller.filePath))
+                continue; // updated in this change
+            out.set(caller.id, { name: caller.name, file: caller.filePath });
+        }
+        return [...out.values()].sort((a, b) => a.file.localeCompare(b.file) || a.name.localeCompare(b.name));
+    };
+    const limit = Math.max(1, Math.min(input.maxResults ?? 200, 1000));
+    const sigChangedOut = signatureChanged
+        .map(s => ({ ...nodeRef(s.node), before: s.before, after: s.after, staleCallers: collectStaleCallers(s.node.id) }))
+        .sort((a, b) => b.staleCallers.length - a.staleCallers.length || a.file.localeCompare(b.file));
+    const removedOut = removed
+        .map(n => ({ ...nodeRef(n), staleCallers: collectStaleCallers(n.id) }))
+        .sort((a, b) => b.staleCallers.length - a.staleCallers.length || a.file.localeCompare(b.file));
+    const totalStale = new Set([...sigChangedOut, ...removedOut].flatMap(x => x.staleCallers.map(c => `${c.file}::${c.name}`))).size;
+    return {
+        base: resolvedBase,
+        head: input.headRef ?? 'working tree',
+        changedFiles: codeChanged.map(c => ({ path: c.path, status: c.status, ...(c.oldPath ? { oldPath: c.oldPath } : {}) })),
+        summary: {
+            addedFunctions: added.length,
+            removedFunctions: removed.length,
+            signatureChanges: signatureChanged.length,
+            addedEdges: addedEdges.length,
+            removedEdges: removedEdges.length,
+            staleCallers: totalStale,
+            renameCandidates: renameCandidates.length,
+        },
+        added: added.map(nodeRef).sort(byFileName).slice(0, limit),
+        removed: removedOut.slice(0, limit),
+        signatureChanged: sigChangedOut.slice(0, limit),
+        renameCandidates: renameCandidates.slice(0, limit),
+        edges: { added: addedEdges.slice(0, limit), removed: removedEdges.slice(0, limit) },
+        ...(staleCallerNote ? { note: staleCallerNote } : {}),
+        soundness: diffSoundness(false),
+    };
+}
+// ── helpers ────────────────────────────────────────────────────────────────────
+function isCode(n) { return !n.isExternal; }
+function isCallEdge(e) {
+    return (!e.kind || e.kind === 'calls') && !!e.calleeId;
+}
+function byFileName(a, b) {
+    return a.file.localeCompare(b.file) || a.name.localeCompare(b.name);
+}
+function edgePair(e, g) {
+    const caller = g.nodes.find(n => n.id === e.callerId);
+    return { caller: caller?.name ?? e.callerId, callee: e.calleeName, file: caller?.filePath ?? '' };
+}
+async function safeBuild(files) {
+    if (files.length === 0)
+        return emptyGraph();
+    try {
+        return serializeCallGraph(await new CallGraphBuilder().build(files));
+    }
+    catch {
+        return emptyGraph();
+    }
+}
+function emptyGraph() {
+    return { nodes: [], edges: [], classes: [], inheritanceEdges: [], hubFunctions: [], entryPoints: [], layerViolations: [],
+        stats: { totalNodes: 0, totalEdges: 0, avgFanIn: 0, avgFanOut: 0 } };
+}
+function emptySummary() {
+    return { addedFunctions: 0, removedFunctions: 0, signatureChanges: 0, addedEdges: 0, removedEdges: 0, staleCallers: 0, renameCandidates: 0 };
+}
+function diffSoundness(empty) {
+    const caveats = [
+        'Rename/move detection is heuristic — a renamed function appears as remove+add. Candidates are reported separately; never assume a rename without verifying.',
+        'Signature-change detection is limited to what the analyzer extracts per language; cross-language signature notions differ.',
+        'Edge deltas cover calls among/out of the changed files; calls into unchanged files resolve against the canonical graph for stale callers only.',
+    ];
+    if (empty)
+        caveats.push('No code files changed — the structural delta is empty.');
+    return { posture: 'structural-complement-to-git-diff', caveats };
+}
+//# sourceMappingURL=structural-diff.js.map

package/dist/core/services/mcp-handlers/structural-diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-diff.js","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/structural-diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC3G,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAGvE,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAc1C,sEAAsE;AACtE,KAAK,UAAU,SAAS,CAAC,QAAgB,EAAE,GAAW,EAAE,IAAY;IAClE,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,EAAE;YACxE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC3C,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,cAAc,CAAC,SAA6B;IACnD,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,OAAO,CAAC,CAAe;IAC9B,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC9G,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAA0B;IACnE,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,KAAK,EAAE,qDAAqD,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC;IACxC,IAAI,CAAC;QACH,cAAc,CAAC,OAAO,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO;YAAE,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,oBAAoB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IAC3F,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAE3D,+EAA+E;IAC/E,IAAI,OAAkE,CAAC;IACvE,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CACpC,KAAK,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,qBAAqB,EAAE,GAAG,YAAY,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,EAC5F,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,CAC7C,CAAC;YACF,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBACtD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,MAAM,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;gBAChG,OAAO,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;oBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;oBAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;YACjC,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;YACvG,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACxF,0EAA0E;YAC1E,yEAAyE;YACzE,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,oBAAoB,CAAC,EAAE;oBAC5F,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;iBACzC,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBACzE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;wBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC/D,CAAC;YACH,CAAC;YAAC,MAAM,CAAC,CAAC,0CAA0C,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,oBAAoB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;IAC3F,CAAC;IAED,+EAA+E;IAC/E,uDAAuD;IACvD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;QACrC,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,IAAI,cAAc;YACzD,OAAO,EAAE,6EAA6E;YACtF,OAAO,EAAE,YAAY,EAAE;YACvB,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC;SAC/B,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC;QACvC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;QACjG,IAAI,UAAU,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3B,UAAU,GAAG,KAAK,CAAC,OAAO;gBACxB,CAAC,CAAC,MAAM,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;gBAChD,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACrF,IAAI,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;IAE3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5E,+EAA+E;IAC/E,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,gBAAgB,GAAiE,EAAE,CAAC;IAC1F,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,QAAQ;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACvC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;YACjD,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpG,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,MAAM,gBAAgB,GAAkH,EAAE,CAAC;IAC3I,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7G,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;YAC3C,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;YAChD,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU;gBAC5C,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,qCAAqC,CAAC,CAAC,IAAI,8BAA8B,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,oEAAoE;aAC3L,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,MAAM,OAAO,GAAG,CAAC,CAA2C,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,EAAE,CAAC;IAClG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzG,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAE3G,gFAAgF;IAChF,gFAAgF;IAChF,MAAM,GAAG,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,eAAe,GAAG,GAAG,EAAE,SAAS;QACpC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,qFAAqF,CAAC;IAC1F,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAyC,EAAE;QACpF,IAAI,CAAC,GAAG,EAAE,SAAS;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0C,CAAC;QAC9D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACjD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACjD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU;gBAAE,SAAS;YAC3C,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,yBAAyB;YAC1E,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxG,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,gBAAgB;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAClH,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,OAAO;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACtE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEjG,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,GAAG,aAAa,EAAE,GAAG,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAChG,CAAC,IAAI,CAAC;IAEP,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,KAAK,CAAC,OAAO,IAAI,cAAc;QACrC,YAAY,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACtH,OAAO,EAAE;YACP,cAAc,EAAE,KAAK,CAAC,MAAM;YAC5B,gBAAgB,EAAE,OAAO,CAAC,MAAM;YAChC,gBAAgB,EAAE,gBAAgB,CAAC,MAAM;YACzC,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,YAAY,EAAE,YAAY,CAAC,MAAM;YACjC,YAAY,EAAE,UAAU;YACxB,gBAAgB,EAAE,gBAAgB,CAAC,MAAM;SAC1C;QACD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QAC1D,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QACnC,gBAAgB,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QAC/C,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QAClD,KAAK,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;QACnF,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,SAAS,MAAM,CAAC,CAAe,IAAa,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AACnE,SAAS,UAAU,CAAC,CAAuC;IACzD,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACzD,CAAC;AACD,SAAS,UAAU,CAAC,CAAiC,EAAE,CAAiC;IACtF,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACtE,CAAC;AACD,SAAS,QAAQ,CAAC,CAA6D,EAAE,CAAsB;IACrG,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;AACpG,CAAC;AACD,KAAK,UAAU,SAAS,CAAC,KAAe;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,EAAE,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,MAAM,IAAI,gBAAgB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AACD,SAAS,UAAU;IACjB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE;QACtH,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;AACzE,CAAC;AACD,SAAS,YAAY;IACnB,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;AAC/I,CAAC;AACD,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,OAAO,GAAG;QACd,6JAA6J;QAC7J,4HAA4H;QAC5H,gJAAgJ;KACjJ,CAAC;IACF,IAAI,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IAClF,OAAO,EAAE,OAAO,EAAE,mCAAmC,EAAE,OAAO,EAAE,CAAC;AACnE,CAAC"}

package/dist/core/services/mcp-handlers/test-impact.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Deterministic Test Impact Selection (spec-19) — static, call-graph-based
+ * regression test selection (RTS) served to the agent at edit time.
+ *
+ * "I changed parseConfig() — which tests should I run?" is answered by walking the
+ * call graph *backward* from the change to every test that transitively reaches it.
+ * grep can't (the reach is through indirect calls); the model is slow and guesses;
+ * a deterministic graph does it instantly over edges we already store (`calls`,
+ * `tested_by`, inheritance).
+ *
+ * Soundness is stated honestly: this is an OVER-APPROXIMATE PRIORITIZER, not a
+ * sound replacement for the full suite. Direct/static dispatch is safely
+ * over-approximated; dynamic dispatch, reflection, and DI can under-select.
+ */
+import type { SerializedCallGraph, FunctionNode } from '../../analyzer/call-graph.js';
+export interface SelectTestsInput {
+    directory: string;
+    /** Explicit changed symbols (function/method names). */
+    changedSymbols?: string[];
+    /** Git ref to diff the working tree against (e.g. "HEAD", "main"). */
+    diffRef?: string;
+    /** Max backward-reachability depth (default 12, capped). */
+    maxDepth?: number;
+}
+/** Resolve changed symbols → seed production nodes (exact name preferred). */
+export declare function seedsFromSymbols(cg: SerializedCallGraph, symbols: string[]): FunctionNode[];
+/** Resolve changed files (from a diff) → seed production nodes. */
+export declare function seedsFromFiles(cg: SerializedCallGraph, files: string[]): FunctionNode[];
+/**
+ * Select the tests that transitively reach a set of changed symbols/files.
+ * Read-only, deterministic, offline. Returns `unknown` (additive-by-cast).
+ */
+export declare function handleSelectTests(input: SelectTestsInput): Promise<unknown>;
+//# sourceMappingURL=test-impact.d.ts.map