openlore 2.0.7 → 2.0.9

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"test-impact.d.ts","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/test-impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAGtF,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAYD,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,YAAY,EAAE,CAW3F;AASD,mEAAmE;AACnE,wBAAgB,cAAc,CAAC,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,EAAE,CAOvF;AAOD;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC,CA+JjF"}

package/dist/core/services/mcp-handlers/test-impact.js

@@ -0,0 +1,221 @@
+/**
+ * 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 { validateDirectory, readCachedContext } from './utils.js';
+import { buildAdjacency } from './graph.js';
+import { SUBGRAPH_MAX_DEPTH_LIMIT } from '../../../constants.js';
+const CONF_RANK = { high: 3, medium: 2, low: 1 };
+/** Resolve changed symbols → seed production nodes (exact name preferred). */
+export function seedsFromSymbols(cg, symbols) {
+    const out = new Map();
+    for (const sym of symbols) {
+        const lower = sym.toLowerCase();
+        const exact = cg.nodes.filter(n => !n.isExternal && !n.isTest && n.name.toLowerCase() === lower);
+        const pick = exact.length > 0
+            ? exact
+            : cg.nodes.filter(n => !n.isExternal && !n.isTest && n.name.toLowerCase().includes(lower));
+        for (const n of pick)
+            out.set(n.id, n);
+    }
+    return [...out.values()];
+}
+/** Tolerant file match: exact or suffix either way. */
+function fileMatches(nodeFile, changed) {
+    if (nodeFile === changed)
+        return true;
+    const a = nodeFile.replace(/^\/+/, ''), b = changed.replace(/^\/+/, '');
+    return a === b || a.endsWith('/' + b) || b.endsWith('/' + a);
+}
+/** Resolve changed files (from a diff) → seed production nodes. */
+export function seedsFromFiles(cg, files) {
+    const out = new Map();
+    for (const n of cg.nodes) {
+        if (n.isExternal || n.isTest)
+            continue;
+        if (files.some(f => fileMatches(n.filePath, f)))
+            out.set(n.id, n);
+    }
+    return [...out.values()];
+}
+/** Test identity for dedup across the two discovery paths. */
+function testKey(file, name) {
+    return `${file}\0${name}`;
+}
+/**
+ * Select the tests that transitively reach a set of changed symbols/files.
+ * Read-only, deterministic, offline. Returns `unknown` (additive-by-cast).
+ */
+export async function handleSelectTests(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 maxDepth = Math.max(1, Math.min(input.maxDepth ?? 12, SUBGRAPH_MAX_DEPTH_LIMIT));
+    // ── Resolve the changed set ────────────────────────────────────────────────
+    let seeds = [];
+    let changedFiles = [];
+    if (input.changedSymbols && input.changedSymbols.length > 0) {
+        seeds = seedsFromSymbols(cg, input.changedSymbols);
+    }
+    else if (input.diffRef !== undefined) {
+        try {
+            const { getChangedFiles } = await import('../../drift/git-diff.js');
+            const diff = await getChangedFiles({ rootPath: absDir, baseRef: input.diffRef || 'HEAD', includeUnstaged: true });
+            changedFiles = diff.files.map(f => f.path);
+            seeds = seedsFromFiles(cg, changedFiles);
+        }
+        catch (err) {
+            return { error: `git diff failed: ${err instanceof Error ? err.message : String(err)}` };
+        }
+    }
+    else {
+        return { error: 'Provide changedSymbols (a list of names) or diffRef (a git ref to diff against).' };
+    }
+    if (seeds.length === 0) {
+        return {
+            changed: changedFiles,
+            selectedTests: [],
+            message: input.diffRef !== undefined
+                ? 'No changed production functions matched the call graph. The diff may touch only non-code files, or analyze_codebase is stale.'
+                : 'No matching production functions found for the given symbols.',
+            soundness: { posture: 'over-approximate', caveats: ['No seeds resolved — nothing to select.'] },
+            coverage: { languages: [], testDetection: 'none' },
+        };
+    }
+    // ── Backward reachability with path tracking (calls + inheritance) ──────────
+    const { nodeMap, backward } = buildAdjacency(cg);
+    const seedIds = new Set(seeds.map(s => s.id));
+    const depthOf = new Map();
+    const parent = new Map(); // node → next node toward a seed
+    const queue = [];
+    for (const s of seeds) {
+        depthOf.set(s.id, 0);
+        queue.push({ id: s.id, depth: 0 });
+    }
+    while (queue.length) {
+        const { id, depth } = queue.shift();
+        if (depth >= maxDepth)
+            continue;
+        for (const caller of [...(backward.get(id) ?? [])].sort()) {
+            if (!depthOf.has(caller)) {
+                depthOf.set(caller, depth + 1);
+                parent.set(caller, id);
+                queue.push({ id: caller, depth: depth + 1 });
+            }
+        }
+    }
+    // Path from a reached node down to its seed: [node, …, changedFn].
+    const pathToSeed = (id) => {
+        const names = [];
+        let cur = id;
+        const guard = new Set();
+        while (cur !== undefined && !guard.has(cur)) {
+            guard.add(cur);
+            names.push(nodeMap.get(cur)?.name ?? cur);
+            if (depthOf.get(cur) === 0)
+                break;
+            cur = parent.get(cur);
+        }
+        return names;
+    };
+    const byTest = new Map();
+    const add = (file, name, viaPath, confidence) => {
+        const key = testKey(file, name);
+        const existing = byTest.get(key);
+        if (!existing || CONF_RANK[confidence] > CONF_RANK[existing.confidence] ||
+            (CONF_RANK[confidence] === CONF_RANK[existing.confidence] && viaPath.length < existing.viaPath.length)) {
+            byTest.set(key, { test: name, file, viaPath, confidence });
+        }
+    };
+    // Source 1 — test nodes reached by the backward call-walk.
+    for (const [id, depth] of depthOf) {
+        if (depth === 0)
+            continue;
+        const n = nodeMap.get(id);
+        if (!n?.isTest || n.isExternal)
+            continue;
+        const confidence = depth === 1 ? 'high' : depth <= 3 ? 'medium' : 'low';
+        add(n.filePath, n.name, pathToSeed(id), confidence);
+    }
+    // Source 2 — `tested_by` edges on any reached production node (catches import-
+    // based associations whose test node isn't a real call-graph caller).
+    for (const e of cg.edges) {
+        if (e.kind !== 'tested_by')
+            continue;
+        if (!depthOf.has(e.callerId))
+            continue; // production node not in the impacted set
+        const testFile = e.calleeId.includes('::') ? e.calleeId.split('::')[0] : e.calleeId;
+        const onSeed = seedIds.has(e.callerId);
+        const confidence = onSeed ? 'high' : 'medium';
+        add(testFile, e.calleeName, [e.calleeName, ...pathToSeed(e.callerId)], confidence);
+    }
+    // Fallback — seeds with no reaching test at all: associate tests of sibling
+    // functions in the same file (newly-added / untested functions), low confidence.
+    let usedFileFallback = false;
+    const reachedSeedFiles = new Set([...byTest.values()].flatMap(t => t.viaPath));
+    for (const s of seeds) {
+        const seedHasTest = [...byTest.values()].some(t => t.viaPath.includes(s.name));
+        if (seedHasTest)
+            continue;
+        for (const e of cg.edges) {
+            if (e.kind !== 'tested_by')
+                continue;
+            const prod = nodeMap.get(e.callerId);
+            if (!prod || prod.filePath !== s.filePath)
+                continue;
+            const testFile = e.calleeId.includes('::') ? e.calleeId.split('::')[0] : e.calleeId;
+            add(testFile, e.calleeName, [e.calleeName, `(same file as ${s.name})`], 'low');
+            usedFileFallback = true;
+        }
+    }
+    void reachedSeedFiles;
+    const selectedTests = [...byTest.values()].sort((a, b) => CONF_RANK[b.confidence] - CONF_RANK[a.confidence] ||
+        a.file.localeCompare(b.file) || a.test.localeCompare(b.test));
+    // ── Coverage & soundness (honest, never falsely confident) ──────────────────
+    const seedLangs = [...new Set(seeds.map(s => s.language))].sort();
+    const graphHasTests = cg.nodes.some(n => n.isTest) || cg.edges.some(e => e.kind === 'tested_by');
+    const langsWithTests = new Set(cg.nodes.filter(n => n.isTest).map(n => n.language));
+    const testDetection = !graphHasTests ? 'none'
+        : seedLangs.every(l => langsWithTests.has(l)) ? 'full'
+            : 'partial';
+    const caveats = [
+        'Static call-graph selection is an over-approximate prioritizer, not a sound replacement for the full suite.',
+        'Dynamic dispatch, reflection, and dependency injection can under-select (a relevant test may be missed).',
+    ];
+    if (testDetection === 'none') {
+        caveats.push('No tests were detected in this graph — the selection is empty, not "no tests needed". Verify test-file detection for your languages.');
+    }
+    else if (testDetection === 'partial') {
+        caveats.push(`Test detection is incomplete for some changed languages (${seedLangs.join(', ')}); tests in undetected languages are missing.`);
+    }
+    if (usedFileFallback) {
+        caveats.push('Some seeds had no reaching test; sibling-file tests were included at low confidence (likely newly-added or untested functions).');
+    }
+    if (selectedTests.length === 0 && testDetection !== 'none') {
+        caveats.push('No test transitively reaches the change. It may be genuinely untested, or reached only via dynamic dispatch this static analysis cannot see.');
+    }
+    return {
+        changed: input.changedSymbols && input.changedSymbols.length > 0
+            ? seeds.map(s => s.name)
+            : changedFiles,
+        seeds: seeds.map(s => ({ name: s.name, file: s.filePath })),
+        selectedTests,
+        soundness: { posture: 'over-approximate', caveats },
+        coverage: { languages: seedLangs, testDetection },
+    };
+}
+//# sourceMappingURL=test-impact.js.map

package/dist/core/services/mcp-handlers/test-impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-impact.js","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/test-impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAajE,MAAM,SAAS,GAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAS7E,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,EAAuB,EAAE,OAAiB;IACzE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;QACjG,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,uDAAuD;AACvD,SAAS,WAAW,CAAC,QAAgB,EAAE,OAAe;IACpD,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACxE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAAC,EAAuB,EAAE,KAAe;IACrE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM;YAAE,SAAS;QACvC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,8DAA8D;AAC9D,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY;IACzC,OAAO,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAAuB;IAC7D,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,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAEvF,8EAA8E;IAC9E,IAAI,KAAK,GAAmB,EAAE,CAAC;IAC/B,IAAI,YAAY,GAAa,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,KAAK,GAAG,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;YACpE,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;YAClH,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,GAAG,cAAc,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,EAAE,KAAK,EAAE,oBAAoB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QAC3F,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,EAAE,KAAK,EAAE,kFAAkF,EAAE,CAAC;IACvG,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,KAAK,CAAC,OAAO,KAAK,SAAS;gBAClC,CAAC,CAAC,+HAA+H;gBACjI,CAAC,CAAC,+DAA+D;YACnE,SAAS,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,wCAAwC,CAAC,EAAE;YAC/F,QAAQ,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,MAAe,EAAE;SAC5D,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,iCAAiC;IAC3E,MAAM,KAAK,GAAyC,EAAE,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACpF,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QACrC,IAAI,KAAK,IAAI,QAAQ;YAAE,SAAS;QAChC,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC/B,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,MAAM,UAAU,GAAG,CAAC,EAAU,EAAY,EAAE;QAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,GAAG,GAAuB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,OAAO,GAAG,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,MAAM;YAClC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAiB,EAAE,UAAsB,EAAE,EAAE;QACpF,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC;YACnE,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3G,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC;IAEF,2DAA2D;IAC3D,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,UAAU;YAAE,SAAS;QACzC,MAAM,UAAU,GAAe,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;QACpF,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC;IAED,+EAA+E;IAC/E,sEAAsE;IACtE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,SAAS,CAAC,0CAA0C;QAClF,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpF,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,UAAU,GAAe,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1D,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACrF,CAAC;IAED,4EAA4E;IAC5E,iFAAiF;IACjF,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,IAAI,WAAW;YAAE,SAAS;QAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YACrC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;gBAAE,SAAS;YACpD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YACpF,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC/E,gBAAgB,GAAG,IAAI,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,KAAK,gBAAgB,CAAC;IAEtB,MAAM,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC7C,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;QACzD,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/D,CAAC;IAEF,+EAA+E;IAC/E,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClE,MAAM,aAAa,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACjG,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpF,MAAM,aAAa,GACjB,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM;QACvB,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;YACtD,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,OAAO,GAAa;QACxB,6GAA6G;QAC7G,0GAA0G;KAC3G,CAAC;IACF,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,sIAAsI,CAAC,CAAC;IACvJ,CAAC;SAAM,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,4DAA4D,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAChJ,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,iIAAiI,CAAC,CAAC;IAClJ,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,8IAA8I,CAAC,CAAC;IAC/J,CAAC;IAED,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YAC9D,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACxB,CAAC,CAAC,YAAY;QAChB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3D,aAAa;QACb,SAAS,EAAE,EAAE,OAAO,EAAE,kBAA2B,EAAE,OAAO,EAAE;QAC5D,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE;KAClD,CAAC;AACJ,CAAC"}

package/dist/core/services/mcp-handlers/tool-guard.d.ts

@@ -0,0 +1,45 @@
+/**
+ * MCP tool response hardening (spec-10).
+ *
+ * A single set of guards every tool runs through in the CallTool handler, so the
+ * whole surface has one uniform input-validation, timeout, output-cap, and
+ * error-normalization path:
+ *
+ *   - Input validation BEFORE the handler runs, against the tool's own declared
+ *     `inputSchema` (reusing the hand-written JSON-Schema-subset validator from
+ *     spec-05 — no Ajv). Invalid args map to JSON-RPC -32602 (spec-12).
+ *   - Per-tool timeout via Promise.race, with slow tools overridden.
+ *   - Output size cap: oversized results are truncated DETERMINISTICALLY with a
+ *     `truncated: true` note telling the agent how to narrow the query — never a
+ *     silent drop.
+ *   - Error normalization to a stable code taxonomy, distinguishing "repo not
+ *     analyzed yet" (actionable) from real failures.
+ */
+/** Stable MCP tool error-code taxonomy. */
+export type McpToolErrorCode = 'INVALID_ARGS' | 'NOT_ANALYZED' | 'TIMEOUT' | 'OUTPUT_TRUNCATED' | 'INTERNAL';
+/**
+ * Validate args against a tool's inputSchema. Returns a human-readable message on
+ * failure, or null when valid (or when no schema is declared).
+ */
+export declare function validateToolArgs(args: unknown, inputSchema: unknown): string | null;
+/** Thrown when a tool exceeds its timeout — classified as TIMEOUT downstream. */
+export declare class ToolTimeoutError extends Error {
+    readonly toolName: string;
+    readonly ms: number;
+    constructor(toolName: string, ms: number);
+}
+/** The timeout budget for a tool (per-tool override or the default). */
+export declare function toolTimeoutMs(toolName: string): number;
+/** Race a tool's work against its timeout. Rejects with ToolTimeoutError on expiry. */
+export declare function withToolTimeout<T>(work: Promise<T>, toolName: string, msOverride?: number): Promise<T>;
+/**
+ * Deterministically cap a result string to a byte budget. When over budget, cut on
+ * a UTF-8-safe boundary and append a note explaining how to narrow the query.
+ */
+export declare function capOutput(text: string, maxBytes: number): {
+    text: string;
+    truncated: boolean;
+};
+/** Map an error to the stable taxonomy code (actionable vs real failure). */
+export declare function classifyToolError(err: unknown): McpToolErrorCode;
+//# sourceMappingURL=tool-guard.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tool-guard.d.ts","sourceRoot":"","sources":["../../../../src/core/services/mcp-handlers/tool-guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH,2CAA2C;AAC3C,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG,cAAc,GAAG,SAAS,GAAG,kBAAkB,GAAG,UAAU,CAAC;AAE7G;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKnF;AAED,iFAAiF;AACjF,qBAAa,gBAAiB,SAAQ,KAAK;aACb,QAAQ,EAAE,MAAM;aAAkB,EAAE,EAAE,MAAM;gBAA5C,QAAQ,EAAE,MAAM,EAAkB,EAAE,EAAE,MAAM;CAIzE;AAED,wEAAwE;AACxE,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAOtG;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAS9F;AAED,6EAA6E;AAC7E,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,gBAAgB,CAOhE"}