@matteeh/osq 0.2.0 → 0.2.2

package/dist/core/status/verification.js

@@ -0,0 +1,111 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { parseSpecMdFromFolder } from '../spec/parser.js';
+import { compareNumericPrefix } from './state.js';
+const EMPTY = {
+    required: false,
+    afterLanding: false,
+    check: null,
+    outcome: null,
+    checkRanSinceArchive: false,
+};
+function asRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value)
+        ? value
+        : null;
+}
+/** Parse append-only jsonl, skipping blank and malformed lines. */
+function parseEventLines(content) {
+    const events = [];
+    for (const line of content.split('\n')) {
+        const trimmed = line.trim();
+        if (!trimmed)
+            continue;
+        try {
+            const parsed = JSON.parse(trimmed);
+            if (parsed !== null && typeof parsed === 'object')
+                events.push(parsed);
+        }
+        catch { }
+    }
+    return events;
+}
+function readRequirement(value) {
+    const record = asRecord(value);
+    if (!record || typeof record.afterLanding !== 'boolean')
+        return null;
+    const check = record.check;
+    if (check !== null && typeof check !== 'string')
+        return null;
+    return { afterLanding: record.afterLanding, check: check ?? null };
+}
+async function readArchivedTitle(folderPath, fallback) {
+    const spec = await parseSpecMdFromFolder(folderPath).catch(() => null);
+    return spec?.title || fallback;
+}
+/**
+ * Read an archived change's verification state from its change-level event
+ * stream. The latest `archived` event decides whether verification is required;
+ * the latest `verification_recorded` event supplies the outcome; a check counts
+ * only when it follows the archive event.
+ */
+export async function readVerification(folderPath) {
+    const content = await fs
+        .readFile(path.join(folderPath, '.run', 'events', 'change.jsonl'), 'utf8')
+        .catch(() => null);
+    if (content === null)
+        return EMPTY;
+    const events = parseEventLines(content);
+    let requirement = null;
+    let archivedIndex = -1;
+    let outcome = null;
+    for (let index = 0; index < events.length; index++) {
+        const event = events[index];
+        if (event.type === 'archived') {
+            requirement = readRequirement(asRecord(event.data)?.verification);
+            archivedIndex = index;
+        }
+        else if (event.type === 'verification_recorded') {
+            const value = asRecord(event.data)?.outcome;
+            if (value === 'passed' || value === 'failed')
+                outcome = value;
+        }
+    }
+    return {
+        required: requirement !== null,
+        afterLanding: requirement?.afterLanding ?? false,
+        check: requirement?.check ?? null,
+        outcome,
+        checkRanSinceArchive: events.some((event, index) => index > archivedIndex && event.type === 'check_ran'),
+    };
+}
+/** Every archived change that requires verification and is not passed. */
+export async function listPendingVerifications(archiveDir) {
+    let entries = [];
+    try {
+        entries = await fs.readdir(archiveDir);
+    }
+    catch {
+        return [];
+    }
+    const folders = [];
+    for (const entry of entries) {
+        if (entry.startsWith('.') || entry.startsWith('_'))
+            continue;
+        const stat = await fs.stat(path.join(archiveDir, entry)).catch(() => null);
+        if (stat?.isDirectory())
+            folders.push(entry);
+    }
+    folders.sort(compareNumericPrefix);
+    const pending = [];
+    for (const folderName of folders) {
+        const folderPath = path.join(archiveDir, folderName);
+        const verification = await readVerification(folderPath);
+        if (!verification.required || verification.outcome === 'passed')
+            continue;
+        const title = await readArchivedTitle(folderPath, folderName);
+        pending.push({ folderName, folderPath, title, verification });
+    }
+    return pending;
+}
+//# sourceMappingURL=verification.js.map

package/dist/core/status/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/core/status/verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AA2BlD,MAAM,KAAK,GAAsB;IAC/B,QAAQ,EAAE,KAAK;IACf,YAAY,EAAE,KAAK;IACnB,KAAK,EAAE,IAAI;IACX,OAAO,EAAE,IAAI;IACb,oBAAoB,EAAE,KAAK;CAC5B,CAAC;AAEF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,mEAAmE;AACnE,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAY,CAAC;YAC9C,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,MAAkB,CAAC,CAAC;QACrF,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;IACZ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,IAAI,IAAI,EAAE,CAAC;AACrE,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,UAAkB,EAAE,QAAgB;IACnE,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACvE,OAAO,IAAI,EAAE,KAAK,IAAI,QAAQ,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,UAAkB;IACvD,MAAM,OAAO,GAAG,MAAM,EAAE;SACrB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC;SACzE,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAEnC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,WAAW,GAAmC,IAAI,CAAC;IACvD,IAAI,aAAa,GAAG,CAAC,CAAC,CAAC;IACvB,IAAI,OAAO,GAA+B,IAAI,CAAC;IAE/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,WAAW,GAAG,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,CAAC;YAClE,aAAa,GAAG,KAAK,CAAC;QACxB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;YAC5C,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ;gBAAE,OAAO,GAAG,KAAK,CAAC;QAChE,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,WAAW,KAAK,IAAI;QAC9B,YAAY,EAAE,WAAW,EAAE,YAAY,IAAI,KAAK;QAChD,KAAK,EAAE,WAAW,EAAE,KAAK,IAAI,IAAI;QACjC,OAAO;QACP,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAC/B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CACtE;KACF,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,UAAkB;IAC/D,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7D,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,IAAI,EAAE,WAAW,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAEnC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAC;QACxD,IAAI,CAAC,YAAY,CAAC,QAAQ,IAAI,YAAY,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS;QAC1E,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/core/trace/function-ranges.d.ts

@@ -0,0 +1,30 @@
+/** A top-level function declaration and its line range. */
+export interface TopLevelFunction {
+    readonly file: string;
+    readonly name: string;
+    /** 1-based declaration line. */
+    readonly line: number;
+    /** 1-based last line of the range. */
+    readonly endLine: number;
+    readonly exported: boolean;
+    /** False when the range text's `(`, `[`, and `{` do not balance. */
+    readonly known: boolean;
+}
+/** Every top-level function in `text`, in declaration order. */
+export declare function findTopLevelFunctions(file: string, text: string): TopLevelFunction[];
+/**
+ * A covered function's mutation ranges: its own range plus the range of every
+ * non-exported top-level function in the same file it reaches through such
+ * functions. Sorted by start line and written `<file>:<start>-<end>`. Unknown
+ * when the function or any range is not known.
+ */
+export declare function mutationRanges(file: string, text: string, name: string): string[] | null;
+/** `sha256:` of a function's own range text, or null when it is absent or unknown. */
+export declare function hashFunctionRange(file: string, text: string, name: string): string | null;
+/**
+ * The `functionHashes` baseline: for each exported function with a `@scenario`
+ * tag in a scoped JavaScript or TypeScript file, `<file>#<name>` to the hash of
+ * its own range, or null when that range is unknown.
+ */
+export declare function readScopedFunctionHashes(projectRoot: string, scope: readonly string[]): Promise<Record<string, string | null>>;
+//# sourceMappingURL=function-ranges.d.ts.map

package/dist/core/trace/function-ranges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-ranges.d.ts","sourceRoot":"","sources":["../../../src/core/trace/function-ranges.ts"],"names":[],"mappings":"AAWA,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sCAAsC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAwID,gEAAgE;AAChE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAkBpF;AAUD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,CAoBxF;AAED,sFAAsF;AACtF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGzF;AAED;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAmBxC"}

package/dist/core/trace/function-ranges.js

@@ -0,0 +1,250 @@
+/**
+ * Function ranges for mutation checks: each top-level function's range, the
+ * ranges a covered function's mutants may touch, and a function's own hash.
+ * A line-based scan is used; no TypeScript parser is involved.
+ */
+import crypto from 'node:crypto';
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { resolveScope } from '../run/scope.js';
+import { scanSource } from './tag-scan.js';
+const FUNCTION_DECL = /^(export\s+)?(?:async\s+)?function\s+([A-Za-z_$][\w$]*)/;
+const CONST_DECL = /^(export\s+)?const\s+([A-Za-z_$][\w$]*)(?::(?:=>|[^=])*)?\s*=\s*(?:async\s*)?(?:function\b|(?:\([^)]*\)|[A-Za-z_$][\w$]*)\s*=>)/;
+const JS_TS = new Set(['.ts', '.tsx', '.mts', '.cts', '.js', '.jsx', '.mjs', '.cjs']);
+/** The declaration a column-0 line opens, or null. */
+function declaration(line) {
+    const match = FUNCTION_DECL.exec(line) ?? CONST_DECL.exec(line);
+    return match === null ? null : { name: match[2] ?? '', exported: match[1] !== undefined };
+}
+function isRangeBoundary(line) {
+    if (line === '')
+        return false;
+    const first = line[0] ?? '';
+    if (first === ' ' || first === '\t' || first === '\r')
+        return false;
+    return first !== '}' && first !== ')' && first !== ']' && first !== ';';
+}
+function lastNonBlank(lines, start, end) {
+    for (let index = end; index >= start; index -= 1) {
+        if ((lines[index] ?? '').trim() !== '')
+            return index;
+    }
+    return start;
+}
+function endLineFor(lines, start) {
+    for (let index = start + 1; index < lines.length; index += 1) {
+        if (isRangeBoundary(lines[index] ?? ''))
+            return lastNonBlank(lines, start, index - 1) + 1;
+    }
+    return lastNonBlank(lines, start, lines.length - 1) + 1;
+}
+function skipLine(text, at) {
+    const end = text.indexOf('\n', at);
+    return end === -1 ? text.length : end;
+}
+function skipBlock(text, at) {
+    const end = text.indexOf('*/', at + 2);
+    return end === -1 ? text.length : end + 2;
+}
+function skipQuoted(text, at, quote) {
+    let index = at + 1;
+    while (index < text.length && text[index] !== quote)
+        index += text[index] === '\\' ? 2 : 1;
+    return index < text.length ? index + 1 : text.length;
+}
+function skipTemplate(text, at) {
+    let index = at + 1;
+    while (index < text.length) {
+        const char = text[index];
+        if (char === '\\')
+            index += 2;
+        else if (char === '`')
+            return index + 1;
+        else if (char === '$' && text[index + 1] === '{')
+            index = skipInterpolation(text, index + 2);
+        else
+            index += 1;
+    }
+    return text.length;
+}
+function skipInterpolation(text, at) {
+    let depth = 1;
+    let index = at;
+    while (index < text.length) {
+        const char = text[index];
+        if (char === '\\')
+            index += 2;
+        else if (char === '`')
+            index = skipTemplate(text, index);
+        else if (char === "'" || char === '"')
+            index = skipQuoted(text, index, char);
+        else if (char === '/' && text[index + 1] === '/')
+            index = skipLine(text, index);
+        else if (char === '/' && text[index + 1] === '*')
+            index = skipBlock(text, index);
+        else if (char === '{') {
+            depth += 1;
+            index += 1;
+        }
+        else if (char === '}') {
+            depth -= 1;
+            if (depth === 0)
+                return index + 1;
+            index += 1;
+        }
+        else {
+            index += 1;
+        }
+    }
+    return text.length;
+}
+const isIdent = (char) => char !== undefined && /[\w$]/.test(char);
+/** Balance delimiters and collect `name(` calls in one pass, skipping literals and comments. */
+function scanCode(text, candidates) {
+    let paren = 0;
+    let bracket = 0;
+    let brace = 0;
+    const called = new Set();
+    let index = 0;
+    while (index < text.length) {
+        const char = text[index];
+        if (char === '/' && text[index + 1] === '/') {
+            index = skipLine(text, index);
+            continue;
+        }
+        if (char === '/' && text[index + 1] === '*') {
+            index = skipBlock(text, index);
+            continue;
+        }
+        if (char === "'" || char === '"') {
+            index = skipQuoted(text, index, char);
+            continue;
+        }
+        if (char === '`') {
+            index = skipTemplate(text, index);
+            continue;
+        }
+        if (!isIdent(text[index - 1])) {
+            for (const name of candidates) {
+                if (!text.startsWith(name, index) || isIdent(text[index + name.length]))
+                    continue;
+                let after = index + name.length;
+                while (text[after] === ' ' || text[after] === '\t')
+                    after += 1;
+                // A second `(` directly after the call's `(` is a parenthesized first
+                // argument; the traceability scenarios count only simple calls.
+                if (text[after] !== '(' || text[after + 1] === '(')
+                    continue;
+                called.add(name);
+                break;
+            }
+        }
+        if (char === '(')
+            paren += 1;
+        else if (char === ')')
+            paren -= 1;
+        else if (char === '[')
+            bracket += 1;
+        else if (char === ']')
+            bracket -= 1;
+        else if (char === '{')
+            brace += 1;
+        else if (char === '}')
+            brace -= 1;
+        if (paren < 0 || bracket < 0 || brace < 0)
+            return { balanced: false, called };
+        index += 1;
+    }
+    return { balanced: paren === 0 && bracket === 0 && brace === 0, called };
+}
+/** Every top-level function in `text`, in declaration order. */
+export function findTopLevelFunctions(file, text) {
+    const lines = text.split('\n');
+    const functions = [];
+    for (let index = 0; index < lines.length; index += 1) {
+        const decl = declaration(lines[index] ?? '');
+        if (decl === null)
+            continue;
+        const endLine = endLineFor(lines, index);
+        const body = lines.slice(index, endLine).join('\n');
+        functions.push({
+            file,
+            name: decl.name,
+            line: index + 1,
+            endLine,
+            exported: decl.exported,
+            known: scanCode(body, []).balanced,
+        });
+    }
+    return functions;
+}
+/** The exact range text of one function. */
+function rangeText(text, fn) {
+    const lines = text.split('\n');
+    return lines.slice(fn.line - 1, fn.endLine).join('\n');
+}
+function hashText(text) {
+    return `sha256:${crypto.createHash('sha256').update(text, 'utf8').digest('hex')}`;
+}
+/**
+ * A covered function's mutation ranges: its own range plus the range of every
+ * non-exported top-level function in the same file it reaches through such
+ * functions. Sorted by start line and written `<file>:<start>-<end>`. Unknown
+ * when the function or any range is not known.
+ */
+export function mutationRanges(file, text, name) {
+    const functions = findTopLevelFunctions(file, text);
+    const target = functions.find((fn) => fn.name === name);
+    if (target === undefined)
+        return null;
+    const byName = new Map(functions.filter((fn) => !fn.exported).map((fn) => [fn.name, fn]));
+    const candidates = [...byName.keys()];
+    const selected = new Map([[target.line, target]]);
+    const queue = [target];
+    while (queue.length > 0) {
+        const current = queue.shift();
+        for (const callee of scanCode(rangeText(text, current), candidates).called) {
+            const fn = byName.get(callee);
+            if (fn === undefined || selected.has(fn.line))
+                continue;
+            selected.set(fn.line, fn);
+            queue.push(fn);
+        }
+    }
+    const ranges = [...selected.values()].sort((a, b) => a.line - b.line);
+    if (ranges.some((fn) => !fn.known))
+        return null;
+    return ranges.map((fn) => `${file}:${fn.line}-${fn.endLine}`);
+}
+/** `sha256:` of a function's own range text, or null when it is absent or unknown. */
+export function hashFunctionRange(file, text, name) {
+    const fn = findTopLevelFunctions(file, text).find((entry) => entry.name === name);
+    return fn === undefined || !fn.known ? null : hashText(rangeText(text, fn));
+}
+/**
+ * The `functionHashes` baseline: for each exported function with a `@scenario`
+ * tag in a scoped JavaScript or TypeScript file, `<file>#<name>` to the hash of
+ * its own range, or null when that range is unknown.
+ */
+export async function readScopedFunctionHashes(projectRoot, scope) {
+    const hashes = {};
+    for (const entry of await resolveScope(projectRoot, scope)) {
+        if (entry.absolutePath === null || !JS_TS.has(path.extname(entry.relativePath)))
+            continue;
+        const text = await fs.readFile(entry.absolutePath, 'utf8').catch(() => null);
+        if (text === null)
+            continue;
+        const tagged = scanSource(entry.relativePath, text).functions.filter((fn) => fn.scenarios.length > 0);
+        if (tagged.length === 0)
+            continue;
+        const ranges = findTopLevelFunctions(entry.relativePath, text);
+        for (const fn of tagged) {
+            const match = ranges.find((range) => range.name === fn.name);
+            hashes[`${entry.relativePath}#${fn.name}`] = match?.known
+                ? hashText(rangeText(text, match))
+                : null;
+        }
+    }
+    return hashes;
+}
+//# sourceMappingURL=function-ranges.js.map

package/dist/core/trace/function-ranges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-ranges.js","sourceRoot":"","sources":["../../../src/core/trace/function-ranges.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAe3C,MAAM,aAAa,GAAG,yDAAyD,CAAC;AAChF,MAAM,UAAU,GACd,iIAAiI,CAAC;AACpI,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEtF,sDAAsD;AACtD,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACpE,OAAO,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,CAAC;AAC1E,CAAC;AAED,SAAS,YAAY,CAAC,KAAwB,EAAE,KAAa,EAAE,GAAW;IACxE,KAAK,IAAI,KAAK,GAAG,GAAG,EAAE,KAAK,IAAI,KAAK,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAwB,EAAE,KAAa;IACzD,KAAK,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,EAAU;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;AACxC,CAAC;AACD,SAAS,SAAS,CAAC,IAAY,EAAE,EAAU;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC5C,CAAC;AACD,SAAS,UAAU,CAAC,IAAY,EAAE,EAAU,EAAE,KAAa;IACzD,IAAI,KAAK,GAAG,EAAE,GAAG,CAAC,CAAC;IACnB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK;QAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;AACvD,CAAC;AACD,SAAS,YAAY,CAAC,IAAY,EAAE,EAAU;IAC5C,IAAI,KAAK,GAAG,EAAE,GAAG,CAAC,CAAC;IACnB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,IAAI;YAAE,KAAK,IAAI,CAAC,CAAC;aACzB,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,KAAK,GAAG,CAAC,CAAC;aACnC,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;;YACxF,KAAK,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC;AACD,SAAS,iBAAiB,CAAC,IAAY,EAAE,EAAU;IACjD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,IAAI;YAAE,KAAK,IAAI,CAAC,CAAC;aACzB,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACpD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;aACxE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aAC3E,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aAC5E,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACtB,KAAK,IAAI,CAAC,CAAC;YACX,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,KAAK,GAAG,CAAC,CAAC;YAClC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,CAAC;YACN,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,IAAwB,EAAW,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEhG,gGAAgG;AAChG,SAAS,QAAQ,CACf,IAAY,EACZ,UAA6B;IAE7B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5C,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC5C,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;oBAAE,SAAS;gBAClF,IAAI,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;gBAChC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI;oBAAE,KAAK,IAAI,CAAC,CAAC;gBAC/D,sEAAsE;gBACtE,gEAAgE;gBAChE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG;oBAAE,SAAS;gBAC7D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACxB,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aAC7B,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,CAAC;aAC/B,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,CAAC;aAC/B,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aAC7B,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC9E,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAC3E,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,IAAY;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,SAAS,CAAC,IAAI,CAAC;YACb,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,KAAK,GAAG,CAAC;YACf,OAAO;YACP,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ;SACnC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,4CAA4C;AAC5C,SAAS,SAAS,CAAC,IAAY,EAAE,EAAoB;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AACD,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,UAAU,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACpF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY;IACrE,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA2B,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAuB,CAAC,MAAM,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAsB,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC;YAC3E,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,EAAE,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY;IACxE,MAAM,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClF,OAAO,EAAE,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,WAAmB,EACnB,KAAwB;IAExB,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3D,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAAE,SAAS;QAC1F,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAClE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAChC,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/D,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;YAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,KAAK;gBACvD,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAClC,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/trace/mutation-pick.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Mutation picks: the covered functions a passing task changed or newly tested.
+ * Built from the scenario index, the function ranges, and the task's latest
+ * start and end `measures` event data that the caller passes in. Nothing is
+ * persisted.
+ */
+import type { TraceabilityConfig } from '../foundation/config-traceability.js';
+import type { ScenarioIndex } from './scenario-index.js';
+/**
+ * The `measures` event fields a pick reads. It is structural so core needs no
+ * harness type import.
+ */
+export interface MeasuresView {
+    readonly functionHashes?: Record<string, string | null>;
+    readonly scopeHashes?: Record<string, {
+        before: string | null;
+        after: string | null;
+    }>;
+}
+/** One covered function picked for a mutation run. */
+export interface MutationPick {
+    readonly file: string;
+    readonly function: string;
+    /** 1-based declaration line; picks order by file and then this line. */
+    readonly line: number;
+    /** The mutation ranges, or null when any is unknown. */
+    readonly ranges: readonly string[] | null;
+    /** The tagged opted-in scenarios as `<capability>: <name>`, sorted. */
+    readonly scenarios: readonly string[];
+    /** The sorted, distinct scenario test files naming those scenarios. */
+    readonly tests: readonly string[];
+}
+/** Inputs for `pickMutations`. */
+export interface MutationPickOptions {
+    readonly projectRoot: string;
+    readonly index: ScenarioIndex;
+    readonly traceability: TraceabilityConfig;
+    /** The task's raw scope entries; this resolves them exactly as the runner does. */
+    readonly scope: readonly string[];
+    /** The task's latest start `measures` data, or null. */
+    readonly start: MeasuresView | null;
+    /** The task's latest end `measures` data, or null. */
+    readonly end: MeasuresView | null;
+}
+/**
+ * Pick every covered function the task changed or newly tested. A covered
+ * function is an exported function with a `@scenario` tag naming an opted-in
+ * capability and at least one scenario test file naming that tagged scenario.
+ * It is picked when its scoped own range hash differs from the start event's
+ * `functionHashes` entry, a missing entry counting as different, or when a
+ * scenario test file the end event shows with a different before and after hash
+ * covers it. Picks order by file, then start line.
+ */
+export declare function pickMutations(options: MutationPickOptions): Promise<MutationPick[]>;
+//# sourceMappingURL=mutation-pick.d.ts.map

package/dist/core/trace/mutation-pick.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-pick.d.ts","sourceRoot":"","sources":["../../../src/core/trace/mutation-pick.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAG/E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGzD;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;CACxF;AAED,sDAAsD;AACtD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAC1C,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,kCAAkC;AAClC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;IACpC,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,YAAY,GAAG,IAAI,CAAC;CACnC;AAuED;;;;;;;;GAQG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CA0BzF"}

package/dist/core/trace/mutation-pick.js

@@ -0,0 +1,96 @@
+/**
+ * Mutation picks: the covered functions a passing task changed or newly tested.
+ * Built from the scenario index, the function ranges, and the task's latest
+ * start and end `measures` event data that the caller passes in. Nothing is
+ * persisted.
+ */
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { resolveScope } from '../run/scope.js';
+import { hashFunctionRange, mutationRanges } from './function-ranges.js';
+/** True when the configuration opts a capability into traceability. */
+function isOptedIn(traceability, capability) {
+    return traceability.capabilities === 'all' || traceability.capabilities.includes(capability);
+}
+/** A function's `@scenario` tags whose capability is opted in, sorted. */
+function optedScenarios(fn, traceability) {
+    return fn.scenarios
+        .filter((scenario) => isOptedIn(traceability, scenario.capability))
+        .sort((a, b) => a.capability.localeCompare(b.capability) || a.name.localeCompare(b.name));
+}
+/** The scenarios as `<capability>: <name>` strings. */
+function scenarioLabels(scenarios) {
+    return scenarios.map((scenario) => `${scenario.capability}: ${scenario.name}`);
+}
+/** The sorted, distinct scenario test files naming any of `scenarios`. */
+function pickTests(index, scenarios) {
+    const tests = new Set();
+    for (const scenario of scenarios) {
+        for (const file of index.testsNaming(scenario.capability, scenario.name))
+            tests.add(file);
+    }
+    return [...tests].sort();
+}
+/** True when a scoped function's own range hash differs from the stored baseline. */
+function rangeChanged(file, name, text, start, scoped) {
+    if (!scoped)
+        return false;
+    const stored = start?.functionHashes?.[`${file}#${name}`];
+    return stored === undefined || stored !== hashFunctionRange(file, text, name);
+}
+/** True when a test file naming a tagged scenario changed and covers the function. */
+function testChanged(index, fn, tests, end) {
+    const hashes = end?.scopeHashes;
+    if (hashes === undefined)
+        return false;
+    return tests.some((test) => {
+        const entry = hashes[test];
+        return (entry !== undefined && entry.before !== entry.after && index.covers(test, fn.file, fn.name));
+    });
+}
+/** Read a source file once, caching the text across functions in the same file. */
+async function sourceText(projectRoot, file, cache) {
+    const cached = cache.get(file);
+    if (cached !== undefined)
+        return cached;
+    const text = await fs.readFile(path.join(projectRoot, file), 'utf8').catch(() => '');
+    cache.set(file, text);
+    return text;
+}
+/**
+ * Pick every covered function the task changed or newly tested. A covered
+ * function is an exported function with a `@scenario` tag naming an opted-in
+ * capability and at least one scenario test file naming that tagged scenario.
+ * It is picked when its scoped own range hash differs from the start event's
+ * `functionHashes` entry, a missing entry counting as different, or when a
+ * scenario test file the end event shows with a different before and after hash
+ * covers it. Picks order by file, then start line.
+ */
+export async function pickMutations(options) {
+    const scoped = new Set((await resolveScope(options.projectRoot, options.scope)).map((entry) => entry.relativePath));
+    const cache = new Map();
+    const picks = [];
+    for (const fn of options.index.functions) {
+        const scenarios = optedScenarios(fn, options.traceability);
+        if (scenarios.length === 0)
+            continue;
+        const tests = pickTests(options.index, scenarios);
+        if (tests.length === 0)
+            continue;
+        const text = await sourceText(options.projectRoot, fn.file, cache);
+        const changed = rangeChanged(fn.file, fn.name, text, options.start, scoped.has(fn.file)) ||
+            testChanged(options.index, fn, tests, options.end);
+        if (!changed)
+            continue;
+        picks.push({
+            file: fn.file,
+            function: fn.name,
+            line: fn.line,
+            ranges: mutationRanges(fn.file, text, fn.name),
+            scenarios: scenarioLabels(scenarios),
+            tests,
+        });
+    }
+    return picks.sort((a, b) => a.file.localeCompare(b.file) || a.line - b.line);
+}
+//# sourceMappingURL=mutation-pick.js.map

package/dist/core/trace/mutation-pick.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-pick.js","sourceRoot":"","sources":["../../../src/core/trace/mutation-pick.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAwCzE,uEAAuE;AACvE,SAAS,SAAS,CAAC,YAAgC,EAAE,UAAkB;IACrE,OAAO,YAAY,CAAC,YAAY,KAAK,KAAK,IAAI,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC/F,CAAC;AAED,0EAA0E;AAC1E,SAAS,cAAc,CAAC,EAAmB,EAAE,YAAgC;IAC3E,OAAO,EAAE,CAAC,SAAS;SAChB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;SAClE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,uDAAuD;AACvD,SAAS,cAAc,CAAC,SAAoC;IAC1D,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,0EAA0E;AAC1E,SAAS,SAAS,CAAC,KAAoB,EAAE,SAAoC;IAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,qFAAqF;AACrF,SAAS,YAAY,CACnB,IAAY,EACZ,IAAY,EACZ,IAAY,EACZ,KAA0B,EAC1B,MAAe;IAEf,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,MAAM,GAAG,KAAK,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;IAC1D,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,sFAAsF;AACtF,SAAS,WAAW,CAClB,KAAoB,EACpB,EAAmB,EACnB,KAAwB,EACxB,GAAwB;IAExB,MAAM,MAAM,GAAG,GAAG,EAAE,WAAW,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,CACL,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAC5F,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mFAAmF;AACnF,KAAK,UAAU,UAAU,CACvB,WAAmB,EACnB,IAAY,EACZ,KAA0B;IAE1B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAA4B;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAC5F,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QAC3D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnE,MAAM,OAAO,GACX,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACxE,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,QAAQ,EAAE,EAAE,CAAC,IAAI;YACjB,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;YAC9C,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC;YACpC,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC"}

package/dist/core/trace/scenario-index.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The scenario index: every scenario call, every exported function with its
+ * tags, and every unreadable form, built once from the import graph's files.
+ * Nothing is persisted.
+ */
+import type { ImportGraph } from '../spec/import-graph.js';
+import { type ScannedFunction, type ScenarioCall, type TaggedScenario, type UnreadableForm } from './tag-scan.js';
+/** The scanner's results across a project, with the lookups lint, report, and show need. */
+export interface ScenarioIndex {
+    readonly files: readonly string[];
+    /** Files that import `@matteeh/osq/testing`. */
+    readonly scenarioTestFiles: readonly string[];
+    readonly functions: readonly ScannedFunction[];
+    readonly calls: readonly ScenarioCall[];
+    readonly unreadable: readonly UnreadableForm[];
+    /** Distinct test files whose calls name the scenario, sorted. */
+    testsNaming(capability: string, name: string): readonly string[];
+    /** Distinct scenario pairs named by a file's calls, sorted by capability and name. */
+    scenariosInFile(file: string): readonly TaggedScenario[];
+    /** Test files directly importing `functionFile` with a call covering `name`, sorted. */
+    coveringTests(functionFile: string, name: string): readonly string[];
+    /** True when `testFile` imports `functionFile` directly and a call covers `name`. */
+    covers(testFile: string, functionFile: string, name: string): boolean;
+}
+/** Read each of `graph.files` once and index its tags, scenario calls, and unreadable forms. */
+export declare function buildScenarioIndex(projectRoot: string, graph: ImportGraph): ScenarioIndex;
+//# sourceMappingURL=scenario-index.d.ts.map

package/dist/core/trace/scenario-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scenario-index.d.ts","sourceRoot":"","sources":["../../../src/core/trace/scenario-index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,cAAc,EAEpB,MAAM,eAAe,CAAC;AAEvB,4FAA4F;AAC5F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,gDAAgD;IAChD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,iEAAiE;IACjE,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IACjE,sFAAsF;IACtF,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,cAAc,EAAE,CAAC;IACzD,wFAAwF;IACxF,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IACrE,qFAAqF;IACrF,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CACvE;AA6DD,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,aAAa,CAwBzF"}