@mirnoorata/codexa 0.2.0

package/dist/query/session.js

@@ -0,0 +1,90 @@
+import path from "node:path";
+import { createCommandBudget, runCommand } from "../command.js";
+import { getChangedFileEntries, getChangedSymbols } from "./worktree.js";
+import { requireIndex } from "./runtime.js";
+const DEFAULT_COMMAND_BUDGET_MS = 10_000;
+const DEFAULT_MAX_RESULT_BYTES = 64 * 1024;
+const DEFAULT_MAX_RESULTS = 50;
+export async function createQuerySession(repoRoot, options = {}) {
+    const repo = path.resolve(repoRoot);
+    return createQuerySessionFromIndexState(repo, await requireIndex(repo, options), options);
+}
+export function createQuerySessionFromIndexState(repoRoot, state, options = {}) {
+    const repo = path.resolve(repoRoot);
+    const { index, freshness, refresh } = state;
+    const gitState = gitStateFromFreshness(repo, freshness);
+    const warnings = [];
+    const provenance = [
+        `index:${index.freshness.indexedAt}`,
+        `freshness:${freshness.reason}`,
+        `git:${gitState.headCommit ?? "none"}`
+    ];
+    if (freshness.stale) {
+        warnings.push(`index stale: ${freshness.reason}`);
+    }
+    const commandBudget = createCommandBudget(positiveInt(options.commandBudgetMs, DEFAULT_COMMAND_BUDGET_MS), warnings, provenance);
+    let changedEntriesPromise;
+    let changedSymbolsPromise;
+    const worktreeDegradationReasons = [];
+    const recordWorktreeDegradation = (reason, subject) => {
+        if (!reason) {
+            return;
+        }
+        worktreeDegradationReasons.push(reason);
+        warnings.push(`worktree ${subject} unavailable: ${reason}`);
+        provenance.push(`worktree-degraded:${subject}:${reason}`);
+    };
+    const session = {
+        repoRoot: repo,
+        options,
+        index,
+        freshness,
+        refresh,
+        gitState,
+        commandBudgetMs: commandBudget.totalMs,
+        commandBudget,
+        commandBudgetUsedMs: () => commandBudget.usedMs,
+        commandBudgetRemainingMs: () => commandBudget.remainingMs(),
+        maxResultBytes: positiveInt(options.maxResultBytes, DEFAULT_MAX_RESULT_BYTES),
+        maxResults: positiveInt(options.maxResults, DEFAULT_MAX_RESULTS),
+        warnings,
+        provenance,
+        worktreeDegradationReasons,
+        runCommand: async (command, args, runOptions = {}) => runCommand(command, args, { ...runOptions, budget: runOptions.budget ?? commandBudget }),
+        getChangedFileEntries: async () => {
+            changedEntriesPromise ??= getChangedFileEntries(repo, session.runCommand).then((result) => {
+                recordWorktreeDegradation(result.degradedReason, "status");
+                provenance.push(`changed-files:${result.entries.length}`);
+                return result.entries;
+            });
+            return changedEntriesPromise;
+        },
+        getChangedFiles: async () => (await session.getChangedFileEntries()).map((entry) => entry.path),
+        getChangedSymbols: async () => {
+            changedSymbolsPromise ??= getChangedSymbols(repo, index, session.runCommand).then((result) => {
+                recordWorktreeDegradation(result.degradedReason, "diff");
+                provenance.push(`changed-symbols:${result.symbols.length}`);
+                return result.symbols;
+            });
+            return changedSymbolsPromise;
+        }
+    };
+    return session;
+}
+export async function ensureQuerySession(input, options = {}) {
+    return typeof input === "string" ? createQuerySession(input, options) : input;
+}
+function positiveInt(value, fallback) {
+    return Number.isFinite(value) && value !== undefined && value > 0 ? Math.trunc(value) : fallback;
+}
+function gitStateFromFreshness(repoRoot, freshness) {
+    return {
+        repoRoot,
+        gitRoot: freshness.gitRoot,
+        headCommit: freshness.headCommit,
+        files: [],
+        dirtyFiles: freshness.dirtyFiles,
+        churnByPath: new Map()
+    };
+}
+//# sourceMappingURL=session.js.map

package/dist/query/session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../../src/query/session.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAkE,MAAM,eAAe,CAAC;AAGhI,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAuC5C,MAAM,yBAAyB,GAAG,MAAM,CAAC;AACzC,MAAM,wBAAwB,GAAG,EAAE,GAAG,IAAI,CAAC;AAC3C,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAE/B,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,QAAgB,EAAE,UAAwB,EAAE;IACnF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,OAAO,gCAAgC,CAAC,IAAI,EAAE,MAAM,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,QAAgB,EAAE,KAA6B,EAAE,UAAwB,EAAE;IAC1H,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAa;QAC3B,SAAS,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE;QACpC,aAAa,SAAS,CAAC,MAAM,EAAE;QAC/B,OAAO,QAAQ,CAAC,UAAU,IAAI,MAAM,EAAE;KACvC,CAAC;IACF,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC,gBAAgB,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,aAAa,GAAG,mBAAmB,CAAC,WAAW,CAAC,OAAO,CAAC,eAAe,EAAE,yBAAyB,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAEjI,IAAI,qBAA8D,CAAC;IACnE,IAAI,qBAA2D,CAAC;IAChE,MAAM,0BAA0B,GAAa,EAAE,CAAC;IAChD,MAAM,yBAAyB,GAAG,CAAC,MAAqB,EAAE,OAAe,EAAE,EAAE;QAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;QACT,CAAC;QACD,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,YAAY,OAAO,iBAAiB,MAAM,EAAE,CAAC,CAAC;QAC5D,UAAU,CAAC,IAAI,CAAC,qBAAqB,OAAO,IAAI,MAAM,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,MAAM,OAAO,GAAiB;QAC5B,QAAQ,EAAE,IAAI;QACd,OAAO;QACP,KAAK;QACL,SAAS;QACT,OAAO;QACP,QAAQ;QACR,eAAe,EAAE,aAAa,CAAC,OAAO;QACtC,aAAa;QACb,mBAAmB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM;QAC/C,wBAAwB,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,WAAW,EAAE;QAC3D,cAAc,EAAE,WAAW,CAAC,OAAO,CAAC,cAAc,EAAE,wBAAwB,CAAC;QAC7E,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,UAAU,EAAE,mBAAmB,CAAC;QAChE,QAAQ;QACR,UAAU;QACV,0BAA0B;QAC1B,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC;QAC9I,qBAAqB,EAAE,KAAK,IAAI,EAAE;YAChC,qBAAqB,KAAK,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;gBACxF,yBAAyB,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC1D,OAAO,MAAM,CAAC,OAAO,CAAC;YACxB,CAAC,CAAC,CAAC;YACH,OAAO,qBAAqB,CAAC;QAC/B,CAAC;QACD,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/F,iBAAiB,EAAE,KAAK,IAAI,EAAE;YAC5B,qBAAqB,KAAK,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC3F,yBAAyB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5D,OAAO,MAAM,CAAC,OAAO,CAAC;YACxB,CAAC,CAAC,CAAC;YACH,OAAO,qBAAqB,CAAC;QAC/B,CAAC;KACF,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAAwB,EAAE,UAAwB,EAAE;IAC3F,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAChF,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB,EAAE,QAAgB;IAC9D,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACnG,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB,EAAE,SAAwB;IACvE,OAAO;QACL,QAAQ;QACR,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}

package/dist/query/targets.d.ts

@@ -0,0 +1,25 @@
+import type { CodexaIndex, FileFact, QueryResult, SymbolFact } from "../types.js";
+export type ResolvedGraphTarget = {
+    label: string;
+    paths: Set<string>;
+    file?: FileFact;
+    symbol?: SymbolFact;
+};
+export declare function resolveSymbolTarget(index: CodexaIndex, symbolIdOrName: string): {
+    symbol?: SymbolFact;
+    ambiguous: SymbolFact[];
+};
+export declare function findFile(index: CodexaIndex, filePath: string): FileFact | undefined;
+export declare function resolveFileTarget(index: CodexaIndex, filePath: string, repoRoot: string): {
+    file?: FileFact;
+    ambiguous: FileFact[];
+};
+export declare function normalizeInputPath(filePath: string, repoRoot: string): string | undefined;
+export declare function normalizeInputPaths(filePaths: string[], repoRoot: string): string[];
+export declare function resolveGraphTarget(index: CodexaIndex, repoRoot: string, input: {
+    file?: string;
+    symbol?: string;
+}): ResolvedGraphTarget | {
+    result: QueryResult;
+};
+export declare function graphNodeIdsForTarget(index: CodexaIndex, target: ResolvedGraphTarget): Set<string>;

package/dist/query/targets.js

@@ -0,0 +1,97 @@
+import path from "node:path";
+import { freshnessBanner, ambiguityResult } from "./runtime.js";
+import { normalizePath } from "../util.js";
+export function resolveSymbolTarget(index, symbolIdOrName) {
+    const byId = index.symbols.find((symbol) => symbol.id === symbolIdOrName);
+    if (byId) {
+        return { symbol: byId, ambiguous: [] };
+    }
+    const byQualified = index.symbols.filter((symbol) => symbol.qualifiedName === symbolIdOrName);
+    if (byQualified.length === 1) {
+        return { symbol: byQualified[0], ambiguous: [] };
+    }
+    if (byQualified.length > 1) {
+        return { ambiguous: byQualified };
+    }
+    const byName = index.symbols.filter((symbol) => symbol.name === symbolIdOrName);
+    if (byName.length === 1) {
+        return { symbol: byName[0], ambiguous: [] };
+    }
+    return { ambiguous: byName };
+}
+export function findFile(index, filePath) {
+    return index.files.find((file) => file.path === filePath);
+}
+export function resolveFileTarget(index, filePath, repoRoot) {
+    const normalized = normalizeInputPath(filePath, repoRoot);
+    if (!normalized) {
+        return { ambiguous: [] };
+    }
+    const exact = findFile(index, normalized);
+    if (exact) {
+        return { file: exact, ambiguous: [] };
+    }
+    return { ambiguous: index.files.filter((file) => file.path.endsWith(normalized)) };
+}
+export function normalizeInputPath(filePath, repoRoot) {
+    const normalized = filePath.split(path.sep).join("/");
+    if (path.isAbsolute(filePath)) {
+        const relative = path.relative(repoRoot, filePath).split(path.sep).join("/");
+        return relative && !relative.startsWith("..") ? relative : undefined;
+    }
+    return normalized && !normalized.startsWith("..") ? normalized : undefined;
+}
+export function normalizeInputPaths(filePaths, repoRoot) {
+    return filePaths.flatMap((filePath) => {
+        const normalized = normalizeInputPath(filePath, repoRoot);
+        return normalized ? [normalizePath(normalized)] : [];
+    });
+}
+export function resolveGraphTarget(index, repoRoot, input) {
+    if (input.symbol) {
+        const resolved = resolveSymbolTarget(index, input.symbol);
+        if (resolved.ambiguous.length > 0) {
+            return { result: ambiguityResult(index.freshness, undefined, "symbol", input.symbol, resolved.ambiguous) };
+        }
+        if (resolved.symbol) {
+            return { label: `symbol ${resolved.symbol.qualifiedName}`, paths: new Set(), symbol: resolved.symbol };
+        }
+    }
+    if (input.file) {
+        const resolved = resolveFileTarget(index, input.file, repoRoot);
+        if (resolved.ambiguous.length > 0) {
+            return { result: ambiguityResult(index.freshness, undefined, "file", input.file, resolved.ambiguous) };
+        }
+        if (resolved.file) {
+            return { label: `file ${resolved.file.path}`, paths: new Set([resolved.file.path]), file: resolved.file };
+        }
+    }
+    return {
+        result: {
+            freshness: index.freshness,
+            text: `${freshnessBanner(index.freshness)}\nNo graph target matched. Provide a file or symbol.`,
+            data: { target: null },
+            refresh: { refreshed: false }
+        }
+    };
+}
+export function graphNodeIdsForTarget(index, target) {
+    const ids = new Set();
+    if (target.file) {
+        ids.add(target.file.id);
+        for (const symbol of index.symbols.filter((candidate) => candidate.path === target.file.path)) {
+            ids.add(symbol.id);
+        }
+    }
+    if (target.symbol) {
+        ids.add(target.symbol.id);
+    }
+    for (const filePath of target.paths) {
+        const file = findFile(index, filePath);
+        if (file) {
+            ids.add(file.id);
+        }
+    }
+    return ids;
+}
+//# sourceMappingURL=targets.js.map

package/dist/query/targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"targets.js","sourceRoot":"","sources":["../../src/query/targets.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEhE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAS3C,MAAM,UAAU,mBAAmB,CAAC,KAAkB,EAAE,cAAsB;IAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;IAC1E,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,KAAK,cAAc,CAAC,CAAC;IAC9F,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAChF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAkB,EAAE,QAAgB;IAC3D,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAkB,EAAE,QAAgB,EAAE,QAAgB;IACtF,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,QAAgB;IACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7E,OAAO,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,SAAmB,EAAE,QAAgB;IACvE,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,KAAkB,EAClB,QAAgB,EAChB,KAAyC;IAEzC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7G,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpB,OAAO,EAAE,KAAK,EAAE,UAAU,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACzG,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACzG,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,EAAE,KAAK,EAAE,QAAQ,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC5G,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,IAAI,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,sDAAsD;YAC/F,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;YACtB,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE;SAC9B;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAkB,EAAE,MAA2B;IACnF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/F,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvC,IAAI,IAAI,EAAE,CAAC;YACT,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/query/test-commands.d.ts

@@ -0,0 +1,10 @@
+import type { Confidence } from "../types.js";
+export interface CandidateTestCommand {
+    command: string;
+    commandCwd: string;
+    commandExecutable: string;
+    commandArgs: string[];
+    source: string;
+    confidence: Confidence;
+}
+export declare function candidateTestCommand(repoRoot: string, testPath: string): CandidateTestCommand | undefined;

package/dist/query/test-commands.js

@@ -0,0 +1,110 @@
+import { existsSync, readFileSync } from "node:fs";
+import path from "node:path";
+import { shellQuote } from "./verification/shell.js";
+export function candidateTestCommand(repoRoot, testPath) {
+    if (/\.py$/.test(testPath)) {
+        return pythonTestCommand(repoRoot, testPath);
+    }
+    if (/\.(test|spec)\.[cm]?[jt]sx?$/.test(testPath)) {
+        const packageRoot = nearestPackageRoot(repoRoot, testPath);
+        const relativeTestPath = packageRoot === "." ? testPath : path.posix.relative(packageRoot, testPath);
+        return packageTestCommand(repoRoot, packageRoot, relativeTestPath);
+    }
+    return undefined;
+}
+function nearestPackageRoot(repoRoot, testPath) {
+    let dir = path.posix.dirname(testPath);
+    while (dir && dir !== ".") {
+        if (existsSync(path.join(repoRoot, dir, "package.json"))) {
+            return dir;
+        }
+        dir = path.posix.dirname(dir);
+    }
+    return ".";
+}
+function packageTestCommand(repoRoot, packageDir, relativeTestPath) {
+    const packageRoot = path.join(repoRoot, packageDir);
+    const packageJsonPath = path.join(packageRoot, "package.json");
+    if (!existsSync(packageJsonPath)) {
+        return undefined;
+    }
+    try {
+        const parsed = JSON.parse(readFileSync(packageJsonPath, "utf8"));
+        const scripts = parsed.scripts ?? {};
+        const scriptName = scripts.test && /\b(vitest|jest|node --test|tsx|tsc)\b/.test(scripts.test)
+            ? "test"
+            : Object.keys(scripts).find((name) => /^test:/u.test(name) && /\b(vitest|jest|node --test|tsx|tsc)\b/.test(scripts[name])) ?? (scripts.test ? "test" : undefined);
+        if (!scriptName) {
+            return undefined;
+        }
+        const packageManager = packageManagerFor(packageRoot, repoRoot);
+        const cwd = packageDir === "." ? repoRoot : path.join(repoRoot, packageDir);
+        const runner = packageManager === "npm" ? ["npm", "run", scriptName] : [packageManager, "run", scriptName];
+        const args = [...runner.slice(1), "--", relativeTestPath];
+        return {
+            command: shellJoin(["cd", cwd]) + " && " + shellJoin([runner[0], ...args]),
+            commandCwd: cwd,
+            commandExecutable: runner[0],
+            commandArgs: args,
+            source: `${packageDir === "." ? "" : `${packageDir}/`}package.json#scripts.${scriptName}`,
+            confidence: "heuristic"
+        };
+    }
+    catch {
+        return undefined;
+    }
+}
+function packageManagerFor(packageRoot, repoRoot) {
+    if (existsSync(path.join(packageRoot, "pnpm-lock.yaml"))) {
+        return "pnpm";
+    }
+    if (existsSync(path.join(packageRoot, "yarn.lock"))) {
+        return "yarn";
+    }
+    if (packageRoot !== repoRoot && existsSync(path.join(repoRoot, "pnpm-lock.yaml"))) {
+        return "pnpm";
+    }
+    if (packageRoot !== repoRoot && existsSync(path.join(repoRoot, "yarn.lock"))) {
+        return "yarn";
+    }
+    return "npm";
+}
+function pythonTestCommand(repoRoot, testPath) {
+    const pyprojectPath = path.join(repoRoot, "pyproject.toml");
+    const pytestIniPath = path.join(repoRoot, "pytest.ini");
+    const toxIniPath = path.join(repoRoot, "tox.ini");
+    const setupCfgPath = path.join(repoRoot, "setup.cfg");
+    const requirements = ["requirements.txt", "requirements-dev.txt", "requirements-test.txt"]
+        .map((file) => path.join(repoRoot, file))
+        .filter((file) => existsSync(file));
+    const metadataSources = [];
+    let hasPytestEvidence = false;
+    for (const candidate of [pyprojectPath, pytestIniPath, toxIniPath, setupCfgPath, ...requirements]) {
+        if (!existsSync(candidate)) {
+            continue;
+        }
+        const relative = path.relative(repoRoot, candidate) || path.basename(candidate);
+        const text = readFileSync(candidate, "utf8");
+        if (/pytest/i.test(text) || path.basename(candidate) === "pytest.ini") {
+            hasPytestEvidence = true;
+            metadataSources.push(relative);
+        }
+    }
+    if (!hasPytestEvidence) {
+        return undefined;
+    }
+    const runner = existsSync(path.join(repoRoot, "uv.lock")) ? ["uv", "run", "pytest"] : ["pytest"];
+    const args = [...runner.slice(1), testPath];
+    return {
+        command: shellJoin(["cd", repoRoot]) + " && " + shellJoin([runner[0], ...args]),
+        commandCwd: repoRoot,
+        commandExecutable: runner[0],
+        commandArgs: args,
+        source: metadataSources.slice(0, 3).join(", "),
+        confidence: "heuristic"
+    };
+}
+function shellJoin(parts) {
+    return parts.map(shellQuote).join(" ");
+}
+//# sourceMappingURL=test-commands.js.map

package/dist/query/test-commands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-commands.js","sourceRoot":"","sources":["../../src/query/test-commands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAWrD,MAAM,UAAU,oBAAoB,CAAC,QAAgB,EAAE,QAAgB;IACrE,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3B,OAAO,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,MAAM,WAAW,GAAG,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC3D,MAAM,gBAAgB,GAAG,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACrG,OAAO,kBAAkB,CAAC,QAAQ,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,QAAgB;IAC5D,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,GAAG,IAAI,GAAG,KAAK,GAAG,EAAE,CAAC;QAC1B,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;YACzD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,UAAkB,EAAE,gBAAwB;IACxF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACjC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAAyC,CAAC;QACzG,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;QACrC,MAAM,UAAU,GACd,OAAO,CAAC,IAAI,IAAI,uCAAuC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YACxE,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,uCAAuC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACtK,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,cAAc,GAAG,iBAAiB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,cAAc,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAC3G,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC1D,OAAO;YACL,OAAO,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;YAC1E,UAAU,EAAE,GAAG;YACf,iBAAiB,EAAE,MAAM,CAAC,CAAC,CAAC;YAC5B,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,GAAG,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,wBAAwB,UAAU,EAAE;YACzF,UAAU,EAAE,WAAW;SACxB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAmB,EAAE,QAAgB;IAC9D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QACpD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,WAAW,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC;QAClF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,WAAW,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB,EAAE,QAAgB;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IAC5D,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,uBAAuB,CAAC;SACvF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;SACxC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,KAAK,MAAM,SAAS,IAAI,CAAC,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC;QAClG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAChF,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,YAAY,EAAE,CAAC;YACtE,iBAAiB,GAAG,IAAI,CAAC;YACzB,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5C,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;QAC/E,UAAU,EAAE,QAAQ;QACpB,iBAAiB,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5B,WAAW,EAAE,IAAI;QACjB,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9C,UAAU,EAAE,WAAW;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAe;IAChC,OAAO,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzC,CAAC"}

package/dist/query/test-plan.d.ts

@@ -0,0 +1,6 @@
+import { type QuerySessionInput } from "./session.js";
+import type { ChangeType, QueryOptions, QueryResult } from "../types.js";
+export interface TestPlanOptions extends QueryOptions {
+    changeType?: ChangeType;
+}
+export declare function testPlanQuery(input: QuerySessionInput, diff?: boolean, options?: TestPlanOptions): Promise<QueryResult>;

package/dist/query/test-plan.js

@@ -0,0 +1,104 @@
+import { formatDiffGroups, formatGaps, groupDiffImpact, indexGaps } from "./diff.js";
+import { freshnessBanner } from "./runtime.js";
+import { ensureQuerySession } from "./session.js";
+import { formatOutcomeLearningRecommendations, formatTestRecommendations, outcomeLearningRecommendations, recommendTests } from "./tests.js";
+import { compactChangedSymbol, compactDiffGroup } from "./compact-data.js";
+import { compactWorktreeState, getWorktreeState, worktreeStateGaps, worktreeStateText } from "./worktree-state.js";
+import { formatVerificationCoverage, formatVerificationLedger, verificationCommandPlan, verificationCommandsForContext, verificationLedgerForPostEdit } from "./verification.js";
+import { CURRENT_VERIFICATION_PROVENANCE } from "../types.js";
+import { limitText } from "../util.js";
+export async function testPlanQuery(input, diff = true, options = {}) {
+    const session = await ensureQuerySession(input, options);
+    const { index, freshness, refresh, repoRoot } = session;
+    const indexedPaths = new Set(index.files.map((file) => file.path));
+    const worktree = diff ? await getWorktreeState(session) : undefined;
+    const changedEntries = worktree?.entries ?? [];
+    const changed = worktree?.files ?? [];
+    const changedSymbols = worktree?.symbols ?? [];
+    const unindexedChanged = changed.filter((file) => !indexedPaths.has(file));
+    const groups = groupDiffImpact(index, changedEntries, changedSymbols, unindexedChanged);
+    const gaps = [...indexGaps(index, freshness, unindexedChanged), ...(worktree ? worktreeStateGaps(worktree) : [])];
+    const changeType = options.changeType ?? "unknown";
+    const tests = recommendTests(index, changed.length > 0 ? changed : index.files.slice(0, 10).map((file) => file.path), repoRoot, changeType);
+    const outcomeLearning = outcomeLearningRecommendations(tests, 8);
+    const verificationCommands = verificationCommandsForContext(index, repoRoot, changed.length > 0 ? changed : index.files.slice(0, 10).map((file) => file.path), tests, 16);
+    const verificationPreview = verificationLedgerForPostEdit({
+        index,
+        tests,
+        ranTests: [],
+        ranCommands: verificationCommands,
+        repoRoot
+    });
+    const missingVerification = verificationLedgerForPostEdit({
+        index,
+        tests,
+        ranTests: [],
+        ranCommands: [],
+        repoRoot
+    });
+    const verificationCoverage = verificationPreview.coverage;
+    const commandPlan = verificationCommandPlan(verificationCoverage);
+    const verificationLedgerPreview = markLedgerAsPreview(verificationPreview.ledger);
+    const text = [
+        freshnessBanner(freshness, refresh),
+        `Test plan for ${changed.length > 0 ? `${changed.length} changed files` : "top-ranked files"}:`,
+        ...(groups.length > 0 ? ["", "Change groups:", ...formatDiffGroups(groups.slice(0, 12))] : []),
+        "",
+        ...(changedSymbols.length > 0
+            ? [
+                "Changed symbols:",
+                ...changedSymbols
+                    .slice(0, 20)
+                    .map((entry) => `- ${entry.symbol.qualifiedName} (${entry.symbol.kind}) at ${entry.symbol.path}:${entry.symbol.range?.startLine ?? 1}`)
+            ]
+            : []),
+        ...formatTestRecommendations(tests.slice(0, 30)),
+        ...(outcomeLearning.length > 0 ? ["", "Outcome learning:", ...formatOutcomeLearningRecommendations(outcomeLearning)] : []),
+        "",
+        "If run, these commands would cover:",
+        ...formatVerificationCoverage(verificationCoverage),
+        "",
+        "Verification ledger preview if recommended commands are run:",
+        ...formatVerificationLedger(verificationLedgerPreview),
+        ...(unindexedChanged.length > 0 ? ["", "Changed but not indexed:", ...unindexedChanged.slice(0, 20).map((file) => `- ${file}`)] : []),
+        "",
+        "Known gaps:",
+        ...formatGaps(gaps),
+        ...(worktree ? worktreeStateText(worktree) : [])
+    ].join("\n");
+    return {
+        freshness,
+        refresh,
+        text: limitText(text, 6000),
+        data: {
+            mode: "test_plan",
+            changedFiles: changed.slice(0, 120),
+            changedEntries: changedEntries.slice(0, 120),
+            changedSymbols: changedSymbols.slice(0, 80).map(compactChangedSymbol),
+            unindexedChanged: unindexedChanged.slice(0, 80),
+            worktree: worktree ? compactWorktreeState(worktree) : undefined,
+            worktreeDegradationReasons: worktree?.degradedReasons ?? [],
+            groups: groups.slice(0, 20).map(compactDiffGroup),
+            tests: tests.slice(0, 30),
+            outcomeLearning,
+            verificationCommands: verificationCommands.slice(0, 30),
+            verificationCoverage: verificationCoverage.slice(0, 60),
+            commandEnvelopes: verificationPreview.commandEnvelopes.slice(0, 60),
+            verificationCommandPlan: commandPlan.slice(0, 40),
+            verificationLedgerPreview: verificationLedgerPreview.slice(0, 60),
+            verificationProvenance: CURRENT_VERIFICATION_PROVENANCE,
+            testsNotRun: missingVerification.testsNotRun.slice(0, 30),
+            gaps
+        }
+    };
+}
+function markLedgerAsPreview(ledger) {
+    return ledger.map((entry) => entry.status === "covered"
+        ? {
+            ...entry,
+            status: "would_cover",
+            evidence: entry.evidence.map((item) => `would cover if run: ${item}`)
+        }
+        : entry);
+}
+//# sourceMappingURL=test-plan.js.map

package/dist/query/test-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-plan.js","sourceRoot":"","sources":["../../src/query/test-plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAA0B,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,oCAAoC,EAAE,yBAAyB,EAAE,8BAA8B,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC7I,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACnH,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,uBAAuB,EACvB,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,+BAA+B,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAMvC,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAwB,EAAE,IAAI,GAAG,IAAI,EAAE,UAA2B,EAAE;IACtG,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,YAAY,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,MAAM,cAAc,GAAG,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAG,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC;IACtC,MAAM,cAAc,GAAG,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;IAC/C,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClH,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC;IAC/D,MAAM,KAAK,GAAG,cAAc,CAC1B,KAAK,EACL,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAChF,QAAQ,EACR,UAAU,CACX,CAAC;IACF,MAAM,eAAe,GAAG,8BAA8B,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,oBAAoB,GAAG,8BAA8B,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1K,MAAM,mBAAmB,GAAG,6BAA6B,CAAC;QACxD,KAAK;QACL,KAAK;QACL,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,oBAAoB;QACjC,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG,6BAA6B,CAAC;QACxD,KAAK;QACL,KAAK;QACL,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,EAAE;QACf,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,QAAQ,CAAC;IAC1D,MAAM,WAAW,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,CAAC;IAClE,MAAM,yBAAyB,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAClF,MAAM,IAAI,GAAG;QACX,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,iBAAiB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,GAAG;QAC/F,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,gBAAgB,EAAE,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,EAAE;QACF,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC;gBACE,kBAAkB;gBAClB,GAAG,cAAc;qBACd,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;qBACZ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,QAAQ,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;aAC1I;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,mBAAmB,EAAE,GAAG,oCAAoC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1H,EAAE;QACF,qCAAqC;QACrC,GAAG,0BAA0B,CAAC,oBAAoB,CAAC;QACnD,EAAE;QACF,8DAA8D;QAC9D,GAAG,wBAAwB,CAAC,yBAAyB,CAAC;QACtD,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,0BAA0B,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrI,EAAE;QACF,aAAa;QACb,GAAG,UAAU,CAAC,IAAI,CAAC;QACnB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO;QACL,SAAS;QACT,OAAO;QACP,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;QAC3B,IAAI,EAAE;YACJ,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;YACnC,cAAc,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;YAC5C,cAAc,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC;YACrE,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC/C,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;YAC/D,0BAA0B,EAAE,QAAQ,EAAE,eAAe,IAAI,EAAE;YAC3D,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC;YACjD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACzB,eAAe;YACf,oBAAoB,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACvD,oBAAoB,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACrD,gBAAgB,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACjE,uBAAuB,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACjD,yBAAyB,EAAE,yBAAyB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YACjE,sBAAsB,EAAE,+BAA+B;YACvD,WAAW,EAAE,mBAAmB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC7D,IAAI;SACL;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAiC;IAC5D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,KAAK,CAAC,MAAM,KAAK,SAAS;QACxB,CAAC,CAAC;YACE,GAAG,KAAK;YACR,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,IAAI,EAAE,CAAC;SACtE;QACH,CAAC,CAAC,KAAK,CACV,CAAC;AACJ,CAAC"}

package/dist/query/tests.d.ts

@@ -0,0 +1,48 @@
+import type { ChangeType, CodexaIndex, TestRecommendation, TestRecommendationProvenanceSource } from "../types.js";
+export interface OutcomeLearningRecommendation {
+    path: string;
+    rank: number;
+    reason: string;
+    command?: string;
+    targetPaths: string[];
+    sources: TestRecommendationProvenanceSource[];
+    evidence: string[];
+}
+/**
+ * Recommend tests to run for a set of changed paths.
+ *
+ * `changeType` narrows cross-language recommendations so editorial noise
+ * stays low:
+ *
+ *   - "style"  — the edit is a cosmetic/presentation change (CSS,
+ *     Tailwind-class swap, template-only markup). Python pytest files are
+ *     dropped from the recommendation list when no Python source was
+ *     actually edited, because a style diff cannot break Python behavior.
+ *     Likewise, TypeScript test files are dropped when no TS/JS source
+ *     was edited.
+ *   - "rename" / "delete" / "api" / "behavior" / "unknown" — today's
+ *     behavior: surface everything the graph indicates.
+ *
+ * The filter only prunes authoritative/derived entries whose language
+ * demonstrably cannot be affected by the edited files. Heuristic/fallback
+ * entries already go through `compatibleKindWithTest()` for the same
+ * reason.
+ */
+export declare function recommendTests(index: CodexaIndex, paths: string[], repoRoot?: string, changeType?: ChangeType): TestRecommendation[];
+/**
+ * Apply change-type narrowing to an already-merged test recommendation
+ * set (e.g. snapshot-planned + context-derived + freshly-recommended).
+ * Safe to run on any list; it's a no-op for change types other than
+ * style and it never drops authoritative/derived tier entries.
+ *
+ * Used by post-edit review to ensure that a snapshot saved WITHOUT a
+ * change-type — the common case when `/codexa-plan` runs before the
+ * user decides the edit is cosmetic — still produces a clean
+ * recommendation set when the user later runs `--change-type style`.
+ */
+export declare function narrowTestRecommendationsByChangeType(results: TestRecommendation[], paths: string[], changeType: ChangeType): TestRecommendation[];
+export declare function formatTestRecommendations(tests: TestRecommendation[]): string[];
+export declare function outcomeLearningRecommendations(tests: TestRecommendation[], limit?: number): OutcomeLearningRecommendation[];
+export declare function formatOutcomeLearningRecommendations(recommendations: OutcomeLearningRecommendation[]): string[];
+export declare function uniqueTests(tests: TestRecommendation[]): TestRecommendation[];
+export declare function wasTestRun(test: TestRecommendation, ranTests: string[]): boolean;