@mirnoorata/codexa 0.2.0

package/dist/query/graph-traversal.js

@@ -0,0 +1,218 @@
+import { isTestPath } from "../language.js";
+import { limitText, uniqueSorted } from "../util.js";
+import { indexGaps } from "./diff.js";
+import { edgeEvidenceForGraphEdges } from "./edge-evidence.js";
+import { confidenceTier } from "./formatting.js";
+import { formatGraphEdge, graphEdgeSort } from "./graph.js";
+import { nextTool } from "./next-tools.js";
+import { assessContextQuality, formatContextQuality } from "./quality.js";
+import { freshnessBanner } from "./runtime.js";
+import { ensureQuerySession } from "./session.js";
+import { graphNodeIdsForTarget, resolveGraphTarget } from "./targets.js";
+export async function callersQuery(input, graphInput, options = {}) {
+    const session = await ensureQuerySession(input, options);
+    const { index, freshness, refresh, repoRoot } = session;
+    const target = resolveGraphTarget(index, repoRoot, graphInput);
+    if ("result" in target) {
+        return { ...target.result, freshness, refresh };
+    }
+    const limit = Math.max(1, Math.min(graphInput.limit ?? 20, session.maxResults));
+    const targetIds = graphNodeIdsForTarget(index, target);
+    const incoming = index.graphEdges
+        .filter((edge) => targetIds.has(edge.toId) || (edge.toSymbolId && targetIds.has(edge.toSymbolId)) || (edge.toPath && target.paths.has(edge.toPath)))
+        .filter((edge) => isCallerGraphEdge(edge.edgeKind))
+        .sort(graphEdgeSort)
+        .slice(0, limit);
+    const files = uniqueSorted(incoming.flatMap((edge) => [edge.fromPath].filter((value) => Boolean(value))));
+    const quality = assessContextQuality({
+        freshness,
+        gaps: indexGaps(index, freshness),
+        tiers: edgeTierCounts(incoming),
+        selectedCount: files.length,
+        testCount: files.filter(isTestPath).length
+    });
+    const text = [
+        freshnessBanner(freshness, refresh),
+        formatContextQuality(quality),
+        `Callers/importers for ${target.label}:`,
+        ...incoming.map(formatGraphEdge),
+        "",
+        "Caller files:",
+        ...(files.length > 0 ? files.map((file) => `- ${file}`) : ["- none"])
+    ].join("\n");
+    const nextTools = [nextTool("impact", "inspect blast radius and verification for this caller set", target.symbol ? { symbol: target.symbol.id } : { file: target.file?.path ?? [...target.paths][0] })];
+    return { freshness, refresh, text: limitText(text, 6000), data: { mode: "callers", target, edges: incoming, edgeEvidence: edgeEvidenceForGraphEdges(incoming, freshness), files, quality, nextTools, systemMessage: nextTools[0]?.reason } };
+}
+export async function calleesQuery(input, graphInput, options = {}) {
+    const session = await ensureQuerySession(input, options);
+    const { index, freshness, refresh, repoRoot } = session;
+    const target = resolveGraphTarget(index, repoRoot, graphInput);
+    if ("result" in target) {
+        return { ...target.result, freshness, refresh };
+    }
+    const limit = Math.max(1, Math.min(graphInput.limit ?? 20, session.maxResults));
+    const targetIds = graphNodeIdsForTarget(index, target);
+    const outgoing = index.graphEdges
+        .filter((edge) => targetIds.has(edge.fromId) || (edge.fromSymbolId && targetIds.has(edge.fromSymbolId)) || (edge.fromPath && target.paths.has(edge.fromPath)))
+        .filter((edge) => isCalleeGraphEdge(edge.edgeKind))
+        .sort(graphEdgeSort)
+        .slice(0, limit);
+    const files = uniqueSorted(outgoing.flatMap((edge) => [edge.toPath].filter((value) => Boolean(value))));
+    const quality = assessContextQuality({
+        freshness,
+        gaps: indexGaps(index, freshness),
+        tiers: edgeTierCounts(outgoing),
+        selectedCount: files.length,
+        testCount: files.filter(isTestPath).length
+    });
+    const text = [
+        freshnessBanner(freshness, refresh),
+        formatContextQuality(quality),
+        `Callees/dependencies for ${target.label}:`,
+        ...outgoing.map(formatGraphEdge),
+        "",
+        "Dependency files:",
+        ...(files.length > 0 ? files.map((file) => `- ${file}`) : ["- none"])
+    ].join("\n");
+    const nextTools = [nextTool("impact", "inspect downstream dependency risk and verification", target.symbol ? { symbol: target.symbol.id } : { file: target.file?.path ?? [...target.paths][0] })];
+    return { freshness, refresh, text: limitText(text, 6000), data: { mode: "callees", target, edges: outgoing, edgeEvidence: edgeEvidenceForGraphEdges(outgoing, freshness), files, quality, nextTools, systemMessage: nextTools[0]?.reason } };
+}
+export async function dependencyPathQuery(input, graphInput, options = {}) {
+    const session = await ensureQuerySession(input, options);
+    const { index, freshness, refresh, repoRoot } = session;
+    const from = resolveGraphTarget(index, repoRoot, { file: graphInput.fromFile, symbol: graphInput.fromSymbol });
+    if ("result" in from) {
+        return { ...from.result, freshness, refresh };
+    }
+    const to = resolveGraphTarget(index, repoRoot, { file: graphInput.toFile, symbol: graphInput.toSymbol });
+    if ("result" in to) {
+        return { ...to.result, freshness, refresh };
+    }
+    const pathEdges = shortestDependencyPath(index, graphNodeIdsForTarget(index, from), graphNodeIdsForTarget(index, to), Math.max(1, Math.min(graphInput.maxDepth ?? 6, 10)));
+    const files = uniqueSorted(pathEdges.flatMap((edge) => [edge.fromPath, edge.toPath].filter((value) => Boolean(value))));
+    const quality = assessContextQuality({
+        freshness,
+        gaps: indexGaps(index, freshness),
+        tiers: edgeTierCounts(pathEdges),
+        selectedCount: pathEdges.length,
+        testCount: files.filter(isTestPath).length
+    });
+    const text = [
+        freshnessBanner(freshness, refresh),
+        formatContextQuality(quality),
+        `Dependency path: ${from.label} -> ${to.label}`,
+        ...(pathEdges.length > 0 ? pathEdges.map(formatGraphEdge) : ["- no dependency path found within depth budget"]),
+        "",
+        "Files on path:",
+        ...(files.length > 0 ? files.map((file) => `- ${file}`) : ["- none"])
+    ].join("\n");
+    return { freshness, refresh, text: limitText(text, 6000), data: { from, to, path: pathEdges, files, quality } };
+}
+export function edgeTierCounts(edges) {
+    const counts = { authoritative: 0, derived: 0, heuristic: 0, fallback: 0 };
+    for (const edge of edges) {
+        counts[confidenceTier(edge.confidence)] += 1;
+    }
+    return counts;
+}
+export function workflowTierCounts(workflows) {
+    const counts = { authoritative: 0, derived: 0, heuristic: 0, fallback: 0 };
+    for (const workflow of workflows) {
+        counts[confidenceTier(workflow.confidence)] += 1;
+    }
+    return counts;
+}
+function isCallerGraphEdge(kind) {
+    return [
+        "CALLS",
+        "REFERENCES",
+        "IMPORTS",
+        "TESTS",
+        "UI_CALLS_ENDPOINT",
+        "TEST_COVERS_WORKFLOW",
+        "IMPLEMENTS",
+        "EXTENDS",
+        "ADAPTER_REFERENCED_BY_MANIFEST"
+    ].includes(kind);
+}
+function isCalleeGraphEdge(kind) {
+    return [
+        "CALLS",
+        "REFERENCES",
+        "IMPORTS",
+        "TESTS",
+        "ROUTE",
+        "JOB",
+        "RISK",
+        "ROUTE_HANDLES",
+        "ROUTE_CALLS_STORE",
+        "STORE_DISPATCHES_ADAPTER",
+        "ADAPTER_REFERENCED_BY_MANIFEST",
+        "UI_CALLS_ENDPOINT",
+        "TEST_COVERS_WORKFLOW",
+        "IMPLEMENTS",
+        "EXTENDS",
+        "EXPORTS",
+        "TYPE_EXPORTS"
+    ].includes(kind);
+}
+function shortestDependencyPath(index, startIds, endIds, maxDepth) {
+    const allowed = new Set([
+        "DEFINES",
+        "IMPORTS",
+        "CALLS",
+        "REFERENCES",
+        "TESTS",
+        "ROUTE",
+        "JOB",
+        "ROUTE_HANDLES",
+        "ROUTE_CALLS_STORE",
+        "STORE_DISPATCHES_ADAPTER",
+        "ADAPTER_REFERENCED_BY_MANIFEST",
+        "UI_CALLS_ENDPOINT",
+        "TEST_COVERS_WORKFLOW",
+        "IMPLEMENTS",
+        "EXTENDS",
+        "EXPORTS",
+        "TYPE_EXPORTS"
+    ]);
+    const adjacency = new Map();
+    for (const edge of index.graphEdges.filter((candidate) => allowed.has(candidate.edgeKind))) {
+        const outgoing = adjacency.get(edge.fromId) ?? [];
+        outgoing.push(edge);
+        adjacency.set(edge.fromId, outgoing);
+        if (edge.toSymbolId && edge.toSymbolId !== edge.toId) {
+            const directToSymbol = { ...edge, toId: edge.toSymbolId };
+            const directOutgoing = adjacency.get(directToSymbol.fromId) ?? [];
+            directOutgoing.push(directToSymbol);
+            adjacency.set(directToSymbol.fromId, directOutgoing);
+        }
+        if (edge.edgeKind === "DEFINES" || edge.edgeKind === "IMPORTS" || edge.edgeKind === "ROUTE_HANDLES") {
+            const reverse = { ...edge, fromId: edge.toId, toId: edge.fromId, fromPath: edge.toPath, toPath: edge.fromPath, fromSymbolId: edge.toSymbolId, toSymbolId: edge.fromSymbolId };
+            const reverseOutgoing = adjacency.get(reverse.fromId) ?? [];
+            reverseOutgoing.push(reverse);
+            adjacency.set(reverse.fromId, reverseOutgoing);
+        }
+    }
+    const queue = [...startIds].map((id) => ({ id, path: [], depth: 0 }));
+    const seen = new Set([...startIds]);
+    for (let cursor = 0; cursor < queue.length; cursor += 1) {
+        const current = queue[cursor];
+        if (endIds.has(current.id)) {
+            return current.path;
+        }
+        if (current.depth >= maxDepth) {
+            continue;
+        }
+        const edges = (adjacency.get(current.id) ?? []).sort(graphEdgeSort);
+        for (const edge of edges) {
+            if (seen.has(edge.toId)) {
+                continue;
+            }
+            seen.add(edge.toId);
+            queue.push({ id: edge.toId, path: [...current.path, edge], depth: current.depth + 1 });
+        }
+    }
+    return [];
+}
+//# sourceMappingURL=graph-traversal.js.map

package/dist/query/graph-traversal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-traversal.js","sourceRoot":"","sources":["../../src/query/graph-traversal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAc,SAAS,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAuB,MAAM,cAAc,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAA0B,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAEzE,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAwB,EAAE,UAA8D,EAAE,UAAwB,EAAE;IACrJ,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACxD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/D,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;QACvB,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU;SAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SACnJ,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAClD,IAAI,CAAC,aAAa,CAAC;SACnB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnB,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3H,MAAM,OAAO,GAAG,oBAAoB,CAAC;QACnC,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC;QACjC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC;QAC/B,aAAa,EAAE,KAAK,CAAC,MAAM;QAC3B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM;KAC3C,CAAC,CAAC;IACH,MAAM,IAAI,GAAG;QACX,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,oBAAoB,CAAC,OAAO,CAAC;QAC7B,yBAAyB,MAAM,CAAC,KAAK,GAAG;QACxC,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;QAChC,EAAE;QACF,eAAe;QACf,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;KACtE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,2DAA2D,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxM,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,yBAAyB,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;AAC/O,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAwB,EAAE,UAA8D,EAAE,UAAwB,EAAE;IACrJ,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACxD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/D,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;QACvB,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU;SAC9B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;SAC7J,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SAClD,IAAI,CAAC,aAAa,CAAC;SACnB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnB,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,MAAM,OAAO,GAAG,oBAAoB,CAAC;QACnC,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC;QACjC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC;QAC/B,aAAa,EAAE,KAAK,CAAC,MAAM;QAC3B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM;KAC3C,CAAC,CAAC;IACH,MAAM,IAAI,GAAG;QACX,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,oBAAoB,CAAC,OAAO,CAAC;QAC7B,4BAA4B,MAAM,CAAC,KAAK,GAAG;QAC3C,GAAG,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;QAChC,EAAE;QACF,mBAAmB;QACnB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;KACtE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,qDAAqD,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClM,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,yBAAyB,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;AAC/O,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,KAAwB,EACxB,UAA6G,EAC7G,UAAwB,EAAE;IAE1B,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACxD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/G,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAChD,CAAC;IACD,MAAM,EAAE,GAAG,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzG,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC9C,CAAC;IACD,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,EAAE,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,qBAAqB,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3K,MAAM,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzI,MAAM,OAAO,GAAG,oBAAoB,CAAC;QACnC,SAAS;QACT,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC;QACjC,KAAK,EAAE,cAAc,CAAC,SAAS,CAAC;QAChC,aAAa,EAAE,SAAS,CAAC,MAAM;QAC/B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM;KAC3C,CAAC,CAAC;IACH,MAAM,IAAI,GAAG;QACX,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,oBAAoB,CAAC,OAAO,CAAC;QAC7B,oBAAoB,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC,KAAK,EAAE;QAC/C,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC;QAC/G,EAAE;QACF,gBAAgB;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;KACtE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;AAClH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAsB;IACnD,MAAM,MAAM,GAA6B,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACrG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,SAA8B;IAC/D,MAAM,MAAM,GAA6B,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACrG,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAmB;IAC5C,OAAO;QACL,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,mBAAmB;QACnB,sBAAsB;QACtB,YAAY;QACZ,SAAS;QACT,gCAAgC;KACjC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAmB;IAC5C,OAAO;QACL,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,OAAO;QACP,KAAK;QACL,MAAM;QACN,eAAe;QACf,mBAAmB;QACnB,0BAA0B;QAC1B,gCAAgC;QAChC,mBAAmB;QACnB,sBAAsB;QACtB,YAAY;QACZ,SAAS;QACT,SAAS;QACT,cAAc;KACf,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAkB,EAAE,QAAqB,EAAE,MAAmB,EAAE,QAAgB;IAC9G,MAAM,OAAO,GAAG,IAAI,GAAG,CAAgB;QACrC,SAAS;QACT,SAAS;QACT,OAAO;QACP,YAAY;QACZ,OAAO;QACP,OAAO;QACP,KAAK;QACL,eAAe;QACf,mBAAmB;QACnB,0BAA0B;QAC1B,gCAAgC;QAChC,mBAAmB;QACnB,sBAAsB;QACtB,YAAY;QACZ,SAAS;QACT,SAAS;QACT,cAAc;KACf,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC3F,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACrD,MAAM,cAAc,GAAG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1D,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAClE,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACpC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACpG,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;YAC9K,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC5D,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9B,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAgE,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACpC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,OAAO,OAAO,CAAC,IAAI,CAAC;QACtB,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/query/graph.d.ts

@@ -0,0 +1,14 @@
+import type { GraphEdgeFact, GraphEdgeKind, WorkflowTraceFact } from "../types.js";
+export declare function recommendNextCodexaCall(intents: string[], workflows: WorkflowTraceFact[], changedFileCount: number, task: string): {
+    tool: string;
+    reason: string;
+    arguments?: Record<string, unknown>;
+};
+export declare function formatWorkflowSummary(workflow: WorkflowTraceFact): string;
+export declare function isImpactGraphEdge(kind: GraphEdgeKind): boolean;
+export declare function graphEdgeSort(a: GraphEdgeFact, b: GraphEdgeFact): number;
+export declare function formatGraphEdge(edge: GraphEdgeFact): string;
+export declare function affectedWorkflowGraphEdges(index: {
+    graphEdges: GraphEdgeFact[];
+}, paths: string[]): GraphEdgeFact[];
+export declare function testsFromGraphEdges(edges: GraphEdgeFact[]): string[];

package/dist/query/graph.js

@@ -0,0 +1,102 @@
+import { isTestPath } from "../language.js";
+import { uniqueSorted } from "../util.js";
+export function recommendNextCodexaCall(intents, workflows, changedFileCount, task) {
+    const lowerTask = task.toLowerCase();
+    if (/\b(callers?|importers?)\b/.test(lowerTask)) {
+        return { tool: "callers", reason: "the task asks who uses a symbol or file" };
+    }
+    if (/\b(callees?|dependencies|uses)\b/.test(lowerTask)) {
+        return { tool: "callees", reason: "the task asks what a symbol or file depends on" };
+    }
+    if (/\b(path|between|connects?)\b/.test(lowerTask) && /\b(dependency|workflow|call)\b/.test(lowerTask)) {
+        return { tool: "dependency_path", reason: "the task asks for a path between code elements" };
+    }
+    if (intents.includes("workflow") && workflows.length > 0) {
+        return { tool: "workflow_path", reason: "the task maps to route/job/process flow evidence", arguments: { query: task } };
+    }
+    if (changedFileCount > 0 && intents.includes("testing")) {
+        return { tool: "test_plan", reason: "there are current changes and the task asks for verification", arguments: { diff: true } };
+    }
+    if (changedFileCount > 0) {
+        return { tool: "task_brief", reason: "there is a dirty tree; use task_brief to keep the read-first set target-led", arguments: { task, diff: true } };
+    }
+    return { tool: "task_brief", reason: "default Codexa first call before code edits", arguments: { task, diff: false } };
+}
+export function formatWorkflowSummary(workflow) {
+    return `- ${workflow.title}: ${workflow.workflowKind}, rank ${workflow.rank.toFixed(2)}, ${workflow.confidence}; ${workflow.summary}`;
+}
+export function isImpactGraphEdge(kind) {
+    return [
+        "CALLS",
+        "REFERENCES",
+        "IMPORTS",
+        "TESTS",
+        "ROUTE_HANDLES",
+        "ROUTE_CALLS_STORE",
+        "STORE_DISPATCHES_ADAPTER",
+        "ADAPTER_REFERENCED_BY_MANIFEST",
+        "UI_CALLS_ENDPOINT",
+        "TEST_COVERS_WORKFLOW",
+        "IMPLEMENTS",
+        "EXTENDS"
+    ].includes(kind);
+}
+export function graphEdgeSort(a, b) {
+    return (graphEdgeKindScore(a.edgeKind) - graphEdgeKindScore(b.edgeKind) ||
+        confidenceScore(a.confidence) - confidenceScore(b.confidence) ||
+        b.weight - a.weight ||
+        (a.fromPath ?? "").localeCompare(b.fromPath ?? "") ||
+        (a.toPath ?? "").localeCompare(b.toPath ?? ""));
+}
+export function formatGraphEdge(edge) {
+    const from = edge.fromSymbolId ? edge.fromSymbolId : edge.fromPath ?? edge.fromId;
+    const to = edge.toSymbolId ? edge.toSymbolId : edge.toPath ?? edge.toId;
+    const location = edge.range?.startLine ? ` at ${edge.fromPath ?? edge.path}:${edge.range.startLine}` : "";
+    return `- ${edge.edgeKind}: ${from} -> ${to}; ${edge.confidence}; ${edge.reason}${location}`;
+}
+export function affectedWorkflowGraphEdges(index, paths) {
+    const pathSet = new Set(paths);
+    return index.graphEdges
+        .filter((edge) => pathSet.has(edge.fromPath ?? "") || pathSet.has(edge.toPath ?? ""))
+        .filter((edge) => isImpactGraphEdge(edge.edgeKind) || edge.edgeKind === "ROUTE" || edge.edgeKind === "JOB")
+        .sort(graphEdgeSort);
+}
+export function testsFromGraphEdges(edges) {
+    return uniqueSorted(edges
+        .flatMap((edge) => [edge.fromPath, edge.toPath])
+        .filter((filePath) => Boolean(filePath))
+        .filter((filePath) => isTestPath(filePath)));
+}
+function graphEdgeKindScore(kind) {
+    const order = {
+        DEFINES: 0,
+        ROUTE: 1,
+        JOB: 1,
+        ROUTE_HANDLES: 1,
+        UI_CALLS_ENDPOINT: 2,
+        TEST_COVERS_WORKFLOW: 2,
+        ROUTE_CALLS_STORE: 3,
+        STORE_DISPATCHES_ADAPTER: 3,
+        ADAPTER_REFERENCED_BY_MANIFEST: 3,
+        CALLS: 4,
+        REFERENCES: 5,
+        IMPORTS: 6,
+        TESTS: 7,
+        EXTENDS: 8,
+        IMPLEMENTS: 8,
+        EXPORTS: 9,
+        TYPE_EXPORTS: 9,
+        RISK: 10
+    };
+    return order[kind];
+}
+function confidenceScore(confidence) {
+    if (confidence === "authoritative") {
+        return 0;
+    }
+    if (confidence === "derived") {
+        return 1;
+    }
+    return 2;
+}
+//# sourceMappingURL=graph.js.map

package/dist/query/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/query/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,UAAU,uBAAuB,CACrC,OAAiB,EACjB,SAA8B,EAC9B,gBAAwB,EACxB,IAAY;IAEZ,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,kCAAkC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gDAAgD,EAAE,CAAC;IACvF,CAAC;IACD,IAAI,8BAA8B,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,gCAAgC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACvG,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,gDAAgD,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,kDAAkD,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;IAC3H,CAAC;IACD,IAAI,gBAAgB,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,8DAA8D,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IAClI,CAAC;IACD,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,6EAA6E,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IACxJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,6CAA6C,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AACzH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAA2B;IAC/D,OAAO,KAAK,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,YAAY,UAAU,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;AACxI,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAmB;IACnD,OAAO;QACL,OAAO;QACP,YAAY;QACZ,SAAS;QACT,OAAO;QACP,eAAe;QACf,mBAAmB;QACnB,0BAA0B;QAC1B,gCAAgC;QAChC,mBAAmB;QACnB,sBAAsB;QACtB,YAAY;QACZ,SAAS;KACV,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,CAAgB,EAAE,CAAgB;IAC9D,OAAO,CACL,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC/D,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;QAC7D,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;QACnB,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAmB;IACjD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC;IAClF,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC;IACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1G,OAAO,KAAK,IAAI,CAAC,QAAQ,KAAK,IAAI,OAAO,EAAE,KAAK,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAsC,EAAE,KAAe;IAChG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,UAAU;SACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;SACpF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;SAC1G,IAAI,CAAC,aAAa,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAsB;IACxD,OAAO,YAAY,CACjB,KAAK;SACF,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;SAC/C,MAAM,CAAC,CAAC,QAAQ,EAAsB,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;SAC3D,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,MAAM,KAAK,GAAkC;QAC3C,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC;QACR,GAAG,EAAE,CAAC;QACN,aAAa,EAAE,CAAC;QAChB,iBAAiB,EAAE,CAAC;QACpB,oBAAoB,EAAE,CAAC;QACvB,iBAAiB,EAAE,CAAC;QACpB,wBAAwB,EAAE,CAAC;QAC3B,8BAA8B,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC;QACR,UAAU,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,UAAU,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;QACV,YAAY,EAAE,CAAC;QACf,IAAI,EAAE,EAAE;KACT,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,UAAuC;IAC9D,IAAI,UAAU,KAAK,eAAe,EAAE,CAAC;QACnC,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/query/impact.d.ts

@@ -0,0 +1,28 @@
+import type { ChangeType, CodexaIndex, Confidence, EvidenceTier, FileFact, QueryOptions, QueryResult } from "../types.js";
+import { type QuerySessionInput } from "./session.js";
+export type ImpactEntry = {
+    file: FileFact;
+    reasons: string[];
+    depth: number;
+    confidence: Confidence;
+};
+export declare function impactQuery(input: QuerySessionInput, impactInput: {
+    file?: string;
+    symbol?: string;
+    changeType?: ChangeType;
+    depth?: number;
+}, options?: QueryOptions): Promise<QueryResult>;
+export declare function diffImpactQuery(input: QuerySessionInput, options?: QueryOptions): Promise<QueryResult>;
+export declare function impactSortScore(entry: {
+    reasons: string[];
+}): number;
+export declare function evidenceTierForImpact(entry: ImpactEntry): EvidenceTier;
+export declare function tierImpactEntries(entries: ImpactEntry[]): Record<"authoritative" | "derived" | "heuristic", ImpactEntry[]>;
+export declare function formatTierEntries(entries: ImpactEntry[]): string[];
+export declare function addTransitiveImpact(index: CodexaIndex, affected: Map<string, ImpactEntry>, maxDepth: number, symbolScope?: {
+    initialPath: string;
+    symbolIds: Set<string>;
+}): void;
+export declare function verificationRecipes(index: CodexaIndex, paths: string[], changeType: ChangeType): string[];
+export declare function addContextPackImpactExpansion(index: CodexaIndex, seeds: Map<string, string>, changeType: ChangeType, limit: number, addFocus: (filePath: string, reason: string, rank?: number, tier?: EvidenceTier, source?: "graph_impact") => void): void;
+export declare function impactEntriesForFile(index: CodexaIndex, filePath: string, maxDepth: number): ImpactEntry[];