audit-tools 0.28.0

package/dist/shared/tooling/repoConventions.js

@@ -0,0 +1,177 @@
+import { existsSync, readFileSync, readdirSync } from "node:fs";
+import { join } from "node:path";
+import { scanStringAware } from "../parsing/stringAwareScanner.js";
+const SAMPLE_DIRECTORIES = ["src", "lib", "app", "."];
+const SAMPLE_EXTENSIONS = [".ts", ".tsx", ".js", ".mjs", ".py", ".go"];
+const SAMPLE_MAX_LINES = 24;
+function readJson(path) {
+    try {
+        return JSON.parse(readFileSync(path, "utf8"));
+    }
+    catch {
+        return undefined;
+    }
+}
+function readText(path) {
+    try {
+        return readFileSync(path, "utf8");
+    }
+    catch {
+        return undefined;
+    }
+}
+function hasDependency(pkg, name) {
+    if (!pkg)
+        return false;
+    for (const field of ["dependencies", "devDependencies", "peerDependencies"]) {
+        const deps = pkg[field];
+        if (deps && typeof deps === "object" && name in deps) {
+            return true;
+        }
+    }
+    return false;
+}
+function detectNodeConventions(root, pkg, conventions) {
+    conventions.module_style = pkg.type === "module" ? "esm" : "commonjs";
+    if (hasDependency(pkg, "prettier") ||
+        ["", ".json", ".js", ".cjs", ".yaml", ".yml"].some((extension) => existsSync(join(root, `.prettierrc${extension}`)))) {
+        conventions.formatter = "prettier";
+    }
+    if (hasDependency(pkg, "eslint") ||
+        [".eslintrc", ".eslintrc.json", ".eslintrc.cjs", ".eslintrc.js", "eslint.config.js", "eslint.config.mjs"].some((file) => existsSync(join(root, file)))) {
+        conventions.linter = "eslint";
+    }
+    else if (hasDependency(pkg, "biome") || hasDependency(pkg, "@biomejs/biome")) {
+        conventions.linter = "biome";
+    }
+    for (const framework of ["vitest", "jest", "mocha", "ava"]) {
+        if (hasDependency(pkg, framework)) {
+            conventions.test_framework = framework;
+            break;
+        }
+    }
+    const scripts = pkg.scripts;
+    const testScript = typeof scripts?.test === "string" ? scripts.test : "";
+    if (!conventions.test_framework && /node\s+--test|node:test/.test(testScript)) {
+        conventions.test_framework = "node:test";
+    }
+}
+function detectPythonConventions(root, conventions) {
+    const pyproject = readText(join(root, "pyproject.toml")) ?? "";
+    if (/\[tool\.black\]/.test(pyproject))
+        conventions.formatter = "black";
+    else if (/\[tool\.ruff(?:\.format)?\]/.test(pyproject))
+        conventions.formatter = "ruff";
+    if (/\[tool\.ruff\b/.test(pyproject))
+        conventions.linter = "ruff";
+    else if (existsSync(join(root, ".flake8")) || /\[tool\.flake8\]/.test(pyproject))
+        conventions.linter = "flake8";
+    if (/\[tool\.pytest/.test(pyproject) ||
+        existsSync(join(root, "pytest.ini")) ||
+        existsSync(join(root, "conftest.py"))) {
+        conventions.test_framework = "pytest";
+    }
+}
+/** Find one representative source file and sample its leading lines. */
+function sampleSourceFile(root) {
+    for (const directory of SAMPLE_DIRECTORIES) {
+        const absolute = directory === "." ? root : join(root, directory);
+        let entries;
+        try {
+            entries = readdirSync(absolute);
+        }
+        catch {
+            continue;
+        }
+        const match = entries
+            .filter((name) => SAMPLE_EXTENSIONS.some((extension) => name.endsWith(extension)))
+            .filter((name) => !/\.(test|spec|d)\./.test(name))
+            .sort()[0];
+        if (match) {
+            const content = readText(join(absolute, match));
+            if (content) {
+                return content.split(/\r?\n/).slice(0, SAMPLE_MAX_LINES).join("\n");
+            }
+        }
+    }
+    return undefined;
+}
+function detectStyleFromSnippet(snippet, conventions) {
+    const lines = snippet.split(/\r?\n/);
+    const indented = lines.filter((line) => /^\s+\S/.test(line));
+    if (indented.some((line) => line.startsWith("\t"))) {
+        conventions.indentation = "tabs";
+    }
+    else {
+        const widths = indented
+            .map((line) => line.match(/^ +/)?.[0].length ?? 0)
+            .filter((width) => width > 0);
+        if (widths.length > 0) {
+            conventions.indentation = `${Math.min(...widths)} spaces`;
+        }
+    }
+    // Count string-opening quote characters using the string-aware scanner with
+    // backtick support so that double-quoted HTML attributes inside template
+    // literals (e.g. `<div class="foo">`) do not skew the tally toward "double"
+    // when the file's actual string literals use single quotes (COR-a1786327).
+    let singleOpenCount = 0;
+    let doubleOpenCount = 0;
+    scanStringAware(snippet, { quoteChars: ['"', "'", "`"], escapedQuotes: ['"', "'"] }, {
+        onQuoteOpen(quoteChar) {
+            if (quoteChar === "'")
+                singleOpenCount += 1;
+            else if (quoteChar === '"')
+                doubleOpenCount += 1;
+            // backtick template literal openings are not counted — they don't
+            // indicate the file's string-quoting convention.
+        },
+    });
+    if (singleOpenCount > 0 || doubleOpenCount > 0) {
+        conventions.quote_style = singleOpenCount >= doubleOpenCount ? "single" : "double";
+    }
+}
+export function detectRepoConventions(root) {
+    const conventions = {};
+    const pkg = readJson(join(root, "package.json"));
+    if (pkg) {
+        detectNodeConventions(root, pkg, conventions);
+    }
+    if (existsSync(join(root, "pyproject.toml")) ||
+        existsSync(join(root, "pytest.ini")) ||
+        existsSync(join(root, "setup.py"))) {
+        detectPythonConventions(root, conventions);
+    }
+    const snippet = sampleSourceFile(root);
+    if (snippet) {
+        conventions.sample_snippet = snippet;
+        detectStyleFromSnippet(snippet, conventions);
+    }
+    return conventions;
+}
+/** Render a prompt block from detected conventions, or "" if nothing detected. */
+export function formatRepoConventions(conventions, options) {
+    const lines = [];
+    if (conventions.formatter)
+        lines.push(`- Formatter: ${conventions.formatter}`);
+    if (conventions.linter)
+        lines.push(`- Linter: ${conventions.linter}`);
+    if (conventions.test_framework)
+        lines.push(`- Test framework: ${conventions.test_framework}`);
+    if (conventions.module_style)
+        lines.push(`- Module style: ${conventions.module_style}`);
+    if (conventions.indentation)
+        lines.push(`- Indentation: ${conventions.indentation}`);
+    if (conventions.quote_style)
+        lines.push(`- String quotes: ${conventions.quote_style}`);
+    if (lines.length === 0 && !conventions.sample_snippet) {
+        return "";
+    }
+    let block = "REPOSITORY CONVENTIONS (match the surrounding code):\n";
+    if (lines.length > 0)
+        block += `${lines.join("\n")}\n`;
+    if (conventions.sample_snippet && options?.includeSnippet) {
+        block += `\nRepresentative house-style snippet:\n\`\`\`\n${conventions.sample_snippet}\n\`\`\`\n`;
+    }
+    return block.trim();
+}
+//# sourceMappingURL=repoConventions.js.map

package/dist/shared/tooling/repoConventions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repoConventions.js","sourceRoot":"","sources":["../../../src/shared/tooling/repoConventions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAqBnE,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAU,CAAC;AAC/D,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAU,CAAC;AAChF,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAA4B,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,GAAwC,EAAE,IAAY;IAC3E,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACvB,KAAK,MAAM,KAAK,IAAI,CAAC,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAK,IAAe,EAAE,CAAC;YACjE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAY,EACZ,GAA4B,EAC5B,WAA4B;IAE5B,WAAW,CAAC,YAAY,GAAG,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;IAEtE,IACE,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC;QAC9B,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC/D,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,SAAS,EAAE,CAAC,CAAC,CAClD,EACD,CAAC;QACD,WAAW,CAAC,SAAS,GAAG,UAAU,CAAC;IACrC,CAAC;IACD,IACE,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC5B,CAAC,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC,IAAI,CAC5G,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACvC,EACD,CAAC;QACD,WAAW,CAAC,MAAM,GAAG,QAAQ,CAAC;IAChC,CAAC;SAAM,IAAI,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,aAAa,CAAC,GAAG,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC/E,WAAW,CAAC,MAAM,GAAG,OAAO,CAAC;IAC/B,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3D,IAAI,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,CAAC;YAClC,WAAW,CAAC,cAAc,GAAG,SAAS,CAAC;YACvC,MAAM;QACR,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,OAA8C,CAAC;IACnE,MAAM,UAAU,GAAG,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,IAAI,CAAC,WAAW,CAAC,cAAc,IAAI,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9E,WAAW,CAAC,cAAc,GAAG,WAAW,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAY,EACZ,WAA4B;IAE5B,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/D,IAAI,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,WAAW,CAAC,SAAS,GAAG,OAAO,CAAC;SAClE,IAAI,6BAA6B,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,WAAW,CAAC,SAAS,GAAG,MAAM,CAAC;IAEvF,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC;SAC7D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;QAC9E,WAAW,CAAC,MAAM,GAAG,QAAQ,CAAC;IAEhC,IACE,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,EACrC,CAAC;QACD,WAAW,CAAC,cAAc,GAAG,QAAQ,CAAC;IACxC,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,gBAAgB,CAAC,IAAY;IACpC,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClE,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,OAAO;aAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACf,iBAAiB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAChE;aACA,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACjD,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACb,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YAChD,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAe,EAAE,WAA4B;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACnD,WAAW,CAAC,WAAW,GAAG,MAAM,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,QAAQ;aACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;aACjD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,WAAW,CAAC,WAAW,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,eAAe,CACb,OAAO,EACP,EAAE,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAC1D;QACE,WAAW,CAAC,SAAS;YACnB,IAAI,SAAS,KAAK,GAAG;gBAAE,eAAe,IAAI,CAAC,CAAC;iBACvC,IAAI,SAAS,KAAK,GAAG;gBAAE,eAAe,IAAI,CAAC,CAAC;YACjD,kEAAkE;YAClE,iDAAiD;QACnD,CAAC;KACF,CACF,CAAC;IACF,IAAI,eAAe,GAAG,CAAC,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QAC/C,WAAW,CAAC,WAAW,GAAG,eAAe,IAAI,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC;IACjD,IAAI,GAAG,EAAE,CAAC;QACR,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IACD,IACE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAClC,CAAC;QACD,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,OAAO,EAAE,CAAC;QACZ,WAAW,CAAC,cAAc,GAAG,OAAO,CAAC;QACrC,sBAAsB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CACnC,WAA4B,EAC5B,OAAsC;IAEtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IACtE,IAAI,WAAW,CAAC,cAAc;QAC5B,KAAK,CAAC,IAAI,CAAC,qBAAqB,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;IAChE,IAAI,WAAW,CAAC,YAAY;QAC1B,KAAK,CAAC,IAAI,CAAC,mBAAmB,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;IAC5D,IAAI,WAAW,CAAC,WAAW;QACzB,KAAK,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1D,IAAI,WAAW,CAAC,WAAW;QACzB,KAAK,CAAC,IAAI,CAAC,oBAAoB,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;IAE5D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACtD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,KAAK,GAAG,wDAAwD,CAAC;IACrE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACvD,IAAI,WAAW,CAAC,cAAc,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1D,KAAK,IAAI,kDAAkD,WAAW,CAAC,cAAc,YAAY,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC"}

package/dist/shared/tooling/testCommand.d.ts

@@ -0,0 +1,17 @@
+export interface ProjectCommands {
+    test?: string[];
+    e2e?: string[];
+    build?: string[];
+    lint?: string[];
+}
+/**
+ * Discover the test/e2e/build/lint commands for a repository as argv arrays.
+ *
+ * Node detection (package.json) takes precedence for e2e/build/lint. The test
+ * command prefers `npm test`, but — matching the auditor's prior behavior —
+ * falls through to Go (`go test ./...`) then Python (`python -m pytest`) when
+ * package.json has no usable `test` script or is absent. Absent roles are
+ * omitted from the result.
+ */
+export declare function discoverProjectCommands(root: string): ProjectCommands;
+//# sourceMappingURL=testCommand.d.ts.map

package/dist/shared/tooling/testCommand.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"testCommand.d.ts","sourceRoot":"","sources":["../../../src/shared/tooling/testCommand.ts"],"names":[],"mappings":"AASA,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AA0ED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CA8BrE"}

package/dist/shared/tooling/testCommand.js

@@ -0,0 +1,106 @@
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+// npm script names, in preference order, for each command role.
+//
+// Ordering is significant: pickScript() returns the FIRST match, so entries
+// earlier in the list win over later ones.
+//
+// PLACEMENT RULE (applies to every list below):
+//   1. Generic / widely-adopted names first.
+//   2. Framework-specific or rarely-used names last.
+//
+// E2E_SCRIPT_NAMES: generic/framework-neutral names appear first (e.g.
+// "test:e2e") so that a project using a standard naming convention is
+// discovered before a framework-specific alias. Framework-specific runner
+// names ("cypress:run", "playwright", "playwright:test") come last because
+// they are only present when a project has opted into that particular runner.
+//
+// LINT_SCRIPT_NAMES: "lint" (standard) precedes "lint:check" (less common).
+//
+// When adding a new entry: verify that it is more generic than the entry
+// immediately after it and more specific than the entry immediately before it.
+// The ordering is regression-tested in tests/maintainability-split-rules.test.mjs.
+/** E2E script names in discovery preference order (most generic first). */
+const E2E_SCRIPT_NAMES = [
+    // --- generic / framework-neutral ---
+    "e2e",
+    "test:e2e",
+    "test:e2e:run",
+    "test:integration",
+    // --- framework-specific ---
+    "cypress:run",
+    "playwright",
+    "playwright:test",
+];
+const BUILD_SCRIPT_NAMES = ["build"];
+/** Lint script names in discovery preference order (most generic first). */
+const LINT_SCRIPT_NAMES = [
+    // --- generic / standard ---
+    "lint",
+    // --- variants / less common ---
+    "lint:check",
+];
+function readPackageScripts(root) {
+    const packageJsonPath = join(root, "package.json");
+    if (!existsSync(packageJsonPath))
+        return null;
+    try {
+        const parsed = JSON.parse(readFileSync(packageJsonPath, "utf8"));
+        return parsed && typeof parsed === "object" && parsed.scripts
+            ? parsed.scripts
+            : {};
+    }
+    catch {
+        // Unreadable / malformed package.json: treat as a non-Node project.
+        return null;
+    }
+}
+function pickScript(scripts, names) {
+    for (const name of names) {
+        if (scripts[name] && scripts[name].trim().length > 0) {
+            return ["npm", "run", name];
+        }
+    }
+    return undefined;
+}
+/**
+ * Discover the test/e2e/build/lint commands for a repository as argv arrays.
+ *
+ * Node detection (package.json) takes precedence for e2e/build/lint. The test
+ * command prefers `npm test`, but — matching the auditor's prior behavior —
+ * falls through to Go (`go test ./...`) then Python (`python -m pytest`) when
+ * package.json has no usable `test` script or is absent. Absent roles are
+ * omitted from the result.
+ */
+export function discoverProjectCommands(root) {
+    const result = {};
+    const scripts = readPackageScripts(root);
+    if (scripts) {
+        const testScript = scripts.test?.trim();
+        if (testScript && !/no test specified/i.test(testScript)) {
+            result.test = ["npm", "test"];
+        }
+        const e2e = pickScript(scripts, E2E_SCRIPT_NAMES);
+        if (e2e)
+            result.e2e = e2e;
+        const build = pickScript(scripts, BUILD_SCRIPT_NAMES);
+        if (build)
+            result.build = build;
+        const lint = pickScript(scripts, LINT_SCRIPT_NAMES);
+        if (lint)
+            result.lint = lint;
+    }
+    if (!result.test) {
+        if (existsSync(join(root, "go.mod"))) {
+            result.test = ["go", "test", "./..."];
+            if (!result.build)
+                result.build = ["go", "build", "./..."];
+        }
+        else if (existsSync(join(root, "pyproject.toml")) ||
+            existsSync(join(root, "pytest.ini"))) {
+            result.test = ["python", "-m", "pytest"];
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=testCommand.js.map

package/dist/shared/tooling/testCommand.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testCommand.js","sourceRoot":"","sources":["../../../src/shared/tooling/testCommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAejC,gEAAgE;AAChE,EAAE;AACF,4EAA4E;AAC5E,2CAA2C;AAC3C,EAAE;AACF,gDAAgD;AAChD,6CAA6C;AAC7C,qDAAqD;AACrD,EAAE;AACF,uEAAuE;AACvE,sEAAsE;AACtE,0EAA0E;AAC1E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,4EAA4E;AAC5E,EAAE;AACF,yEAAyE;AACzE,+EAA+E;AAC/E,mFAAmF;AAEnF,2EAA2E;AAC3E,MAAM,gBAAgB,GAAsB;IAC1C,sCAAsC;IACtC,KAAK;IACL,UAAU;IACV,cAAc;IACd,kBAAkB;IAClB,6BAA6B;IAC7B,aAAa;IACb,YAAY;IACZ,iBAAiB;CAClB,CAAC;AAEF,MAAM,kBAAkB,GAAsB,CAAC,OAAO,CAAC,CAAC;AAExD,4EAA4E;AAC5E,MAAM,iBAAiB,GAAsB;IAC3C,6BAA6B;IAC7B,MAAM;IACN,iCAAiC;IACjC,YAAY;CACb,CAAC;AAEF,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAE9D,CAAC;QACF,OAAO,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO;YAC3D,CAAC,CAAC,MAAM,CAAC,OAAO;YAChB,CAAC,CAAC,EAAE,CAAC;IACT,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,OAA+B,EAC/B,KAAwB;IAExB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAEzC,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;QACxC,IAAI,UAAU,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAClD,IAAI,GAAG;YAAE,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC;QAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;QACtD,IAAI,KAAK;YAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QAChC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QACpD,IAAI,IAAI;YAAE,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,KAAK;gBAAE,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7D,CAAC;aAAM,IACL,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,EACpC,CAAC;YACD,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/shared/types/accessDeclaration.d.ts

@@ -0,0 +1,16 @@
+import { z } from "zod";
+export declare const AccessDeclarationSchema: z.ZodObject<{
+    read_paths: z.ZodArray<z.ZodString, "many">;
+    write_paths: z.ZodArray<z.ZodString, "many">;
+    forbidden_patterns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    read_paths: string[];
+    write_paths: string[];
+    forbidden_patterns?: string[] | undefined;
+}, {
+    read_paths: string[];
+    write_paths: string[];
+    forbidden_patterns?: string[] | undefined;
+}>;
+export type AccessDeclaration = z.infer<typeof AccessDeclarationSchema>;
+//# sourceMappingURL=accessDeclaration.d.ts.map

package/dist/shared/types/accessDeclaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessDeclaration.d.ts","sourceRoot":"","sources":["../../../src/shared/types/accessDeclaration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,uBAAuB;;;;;;;;;;;;EAMzB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC"}

package/dist/shared/types/accessDeclaration.js

@@ -0,0 +1,9 @@
+import { z } from "zod";
+export const AccessDeclarationSchema = z
+    .object({
+    read_paths: z.array(z.string()),
+    write_paths: z.array(z.string()),
+    forbidden_patterns: z.array(z.string()).optional(),
+})
+    .strict();
+//# sourceMappingURL=accessDeclaration.js.map

package/dist/shared/types/accessDeclaration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessDeclaration.js","sourceRoot":"","sources":["../../../src/shared/types/accessDeclaration.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACnD,CAAC;KACD,MAAM,EAAE,CAAC"}

package/dist/shared/types/contractPipeline/design.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Contract-pipeline artifact: design phase.
+ *
+ * DesignSpec — proposed design for satisfying the goal.
+ * ConceptualDesignCritique — philosophy/alternatives/directions critique.
+ */
+import type { FindingSeverity } from "../finding.js";
+export declare const CONTRACT_PIPELINE_DESIGN_SPEC_VERSION: "remediate-code-contract-pipeline/design-spec/v1alpha1";
+export declare const CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION: "remediate-code-contract-pipeline/conceptual-design-critique/v1alpha1";
+export type { FindingSeverity };
+/** Proposed design for satisfying the goal. */
+export interface DesignSpecInvariant {
+    id: string;
+    description: string;
+}
+/** Optional structured annotation: one module with declared inputs and outputs. */
+export interface DesignSpecModule {
+    id: string;
+    inputs: string[];
+    outputs: string[];
+}
+/** Optional structured annotation: one side effect with a declared owner. */
+export interface DesignSpecSideEffect {
+    id: string;
+    owner: string;
+}
+/** Optional structured annotation: one external dependency with failure semantics. */
+export interface DesignSpecExternalDependency {
+    id: string;
+    failure_semantics: string;
+}
+/** Optional structured annotation: one trust boundary with untrusted inputs and a validation ref. */
+export interface DesignSpecTrustBoundary {
+    id: string;
+    untrusted_inputs: string[];
+    validation_ref: string;
+}
+export interface DesignSpec {
+    contract_version: typeof CONTRACT_PIPELINE_DESIGN_SPEC_VERSION;
+    goal_id: string;
+    /** High-level narrative description of the proposed design. */
+    design_narrative: string;
+    /** Public/module boundaries this design must preserve. */
+    invariants: DesignSpecInvariant[];
+    /** Affected source paths identified by the design. */
+    affected_paths: string[];
+    /** ISO-8601 timestamp when this design was created. */
+    created_at: string;
+    /** Optional: structured module annotations (id, inputs, outputs). */
+    modules?: DesignSpecModule[];
+    /** Optional: structured side-effect annotations (id, owner). */
+    side_effects?: DesignSpecSideEffect[];
+    /** Optional: structured external-dependency annotations (id, failure_semantics). */
+    external_dependencies?: DesignSpecExternalDependency[];
+    /** Optional: structured trust-boundary annotations (id, untrusted_inputs, validation_ref). */
+    trust_boundaries?: DesignSpecTrustBoundary[];
+}
+/** Philosophy/alternatives/directions critique of the proposed design. */
+export interface DesignCritiqueItem {
+    id: string;
+    kind: "concern" | "alternative" | "suggestion";
+    description: string;
+    severity: "blocking" | "advisory";
+}
+export interface ConceptualDesignCritique {
+    contract_version: typeof CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION;
+    goal_id: string;
+    items: DesignCritiqueItem[];
+    /** Overall assessment of the design. */
+    verdict: "approved" | "approved_with_concerns" | "rejected";
+    /** ISO-8601 timestamp when this critique was created. */
+    created_at: string;
+}
+//# sourceMappingURL=design.d.ts.map

package/dist/shared/types/contractPipeline/design.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"design.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/design.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD,eAAO,MAAM,qCAAqC,EAChD,uDAAgE,CAAC;AAEnE,eAAO,MAAM,oDAAoD,EAC/D,sEAA+E,CAAC;AAGlF,YAAY,EAAE,eAAe,EAAE,CAAC;AAIhC,+CAA+C;AAC/C,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,mFAAmF;AACnF,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,6EAA6E;AAC7E,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;CACf;AAED,sFAAsF;AACtF,MAAM,WAAW,4BAA4B;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,qGAAqG;AACrG,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,gBAAgB,EAAE,OAAO,qCAAqC,CAAC;IAC/D,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,gBAAgB,EAAE,MAAM,CAAC;IACzB,0DAA0D;IAC1D,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,sDAAsD;IACtD,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,OAAO,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC7B,gEAAgE;IAChE,YAAY,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACtC,oFAAoF;IACpF,qBAAqB,CAAC,EAAE,4BAA4B,EAAE,CAAC;IACvD,8FAA8F;IAC9F,gBAAgB,CAAC,EAAE,uBAAuB,EAAE,CAAC;CAC9C;AAID,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,GAAG,aAAa,GAAG,YAAY,CAAC;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;CACnC;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,OAAO,oDAAoD,CAAC;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAC5B,wCAAwC;IACxC,OAAO,EAAE,UAAU,GAAG,wBAAwB,GAAG,UAAU,CAAC;IAC5D,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/design.js

@@ -0,0 +1,10 @@
+/**
+ * Contract-pipeline artifact: design phase.
+ *
+ * DesignSpec — proposed design for satisfying the goal.
+ * ConceptualDesignCritique — philosophy/alternatives/directions critique.
+ */
+// ── Version constants ────────────────────────────────────────────────────────
+export const CONTRACT_PIPELINE_DESIGN_SPEC_VERSION = "remediate-code-contract-pipeline/design-spec/v1alpha1";
+export const CONTRACT_PIPELINE_CONCEPTUAL_DESIGN_CRITIQUE_VERSION = "remediate-code-contract-pipeline/conceptual-design-critique/v1alpha1";
+//# sourceMappingURL=design.js.map

package/dist/shared/types/contractPipeline/design.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"design.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/design.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,qCAAqC,GAChD,uDAAgE,CAAC;AAEnE,MAAM,CAAC,MAAM,oDAAoD,GAC/D,sEAA+E,CAAC"}

package/dist/shared/types/contractPipeline/goal.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Contract-pipeline artifact: goal phase.
+ *
+ * GoalSpec — normalized, bounded description of the remediation objective.
+ * ContextBundle — relevant code and documentation context collected for the goal.
+ */
+export declare const CONTRACT_PIPELINE_GOAL_SPEC_VERSION: "remediate-code-contract-pipeline/goal-spec/v1alpha1";
+export declare const CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION: "remediate-code-contract-pipeline/context-bundle/v1alpha1";
+/** Normalized, bounded description of the remediation objective. */
+export interface GoalSpec {
+    contract_version: typeof CONTRACT_PIPELINE_GOAL_SPEC_VERSION;
+    /** Stable identifier for this goal normalization run. */
+    goal_id: string;
+    /** Single-sentence primary objective. */
+    objective: string;
+    /** What explicitly lies outside the scope of this change. */
+    non_goals: string[];
+    /** Success criteria the implementation must satisfy. */
+    success_criteria: string[];
+    /** Source type that produced this goal spec. */
+    source_type: "conversation" | "document" | "structured_audit" | "mixed";
+    /** ISO-8601 timestamp when this goal spec was created. */
+    created_at: string;
+}
+/** Relevant code and documentation context collected for the goal. */
+export interface ContextBundleEntry {
+    path: string;
+    kind: "source" | "test" | "config" | "doc";
+    /** Brief rationale for why this file is relevant to the goal. */
+    relevance_reason: string;
+}
+export interface ContextBundle {
+    contract_version: typeof CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION;
+    goal_id: string;
+    entries: ContextBundleEntry[];
+    /** Free-text summary of the collected context landscape. */
+    context_summary: string;
+    /** ISO-8601 timestamp when this bundle was created. */
+    created_at: string;
+}
+//# sourceMappingURL=goal.d.ts.map

package/dist/shared/types/contractPipeline/goal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/goal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,eAAO,MAAM,mCAAmC,EAC9C,qDAA8D,CAAC;AAEjE,eAAO,MAAM,wCAAwC,EACnD,0DAAmE,CAAC;AAItE,oEAAoE;AACpE,MAAM,WAAW,QAAQ;IACvB,gBAAgB,EAAE,OAAO,mCAAmC,CAAC;IAC7D,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;IAChB,yCAAyC;IACzC,SAAS,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,wDAAwD;IACxD,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,gDAAgD;IAChD,WAAW,EAAE,cAAc,GAAG,UAAU,GAAG,kBAAkB,GAAG,OAAO,CAAC;IACxE,0DAA0D;IAC1D,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,sEAAsE;AACtE,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC3C,iEAAiE;IACjE,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,4DAA4D;IAC5D,eAAe,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/goal.js

@@ -0,0 +1,10 @@
+/**
+ * Contract-pipeline artifact: goal phase.
+ *
+ * GoalSpec — normalized, bounded description of the remediation objective.
+ * ContextBundle — relevant code and documentation context collected for the goal.
+ */
+// ── Version constants ────────────────────────────────────────────────────────
+export const CONTRACT_PIPELINE_GOAL_SPEC_VERSION = "remediate-code-contract-pipeline/goal-spec/v1alpha1";
+export const CONTRACT_PIPELINE_CONTEXT_BUNDLE_VERSION = "remediate-code-contract-pipeline/context-bundle/v1alpha1";
+//# sourceMappingURL=goal.js.map

package/dist/shared/types/contractPipeline/goal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/goal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,mCAAmC,GAC9C,qDAA8D,CAAC;AAEjE,MAAM,CAAC,MAAM,wCAAwC,GACnD,0DAAmE,CAAC"}

package/dist/shared/types/contractPipeline/implementation.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Contract-pipeline artifact: implementation phase.
+ *
+ * ImplementationDAG — directed acyclic graph of implementation tasks.
+ */
+import type { FindingSeverity } from "../finding.js";
+export declare const CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION: "remediate-code-contract-pipeline/implementation-dag/v1alpha1";
+export type { FindingSeverity };
+/** One node in the implementation DAG. */
+export interface ImplementationDAGNode {
+    id: string;
+    title: string;
+    description: string;
+    /** Obligation IDs this task satisfies. */
+    satisfies_obligations: string[];
+    /** Accepted counterexample IDs (from the judge report) this task addresses. */
+    addresses_counterexamples?: string[];
+    /** Task IDs that must complete before this task starts. */
+    depends_on: string[];
+    /** Verification obligation IDs that must pass after this task. */
+    verification_obligation_ids: string[];
+    /** Commands to run to verify this task's output. */
+    targeted_commands: string[];
+    /** Current status of this task. */
+    status: "pending" | "in_progress" | "resolved" | "blocked";
+    /** Repo-relative paths this node will modify (write scope). */
+    affected_files?: string[];
+    /**
+     * Repo-relative paths this node will create or modify (declared outputs).
+     * Written by the implementation-planning LLM. Promoted to `affected_files`
+     * in the extracted plan so the document worker gets a non-degenerate read
+     * allowlist. Optional: existing DAGs without it remain valid.
+     */
+    output_files?: string[];
+    /** Repo-relative paths the worker must read (context scope). */
+    read_scope?: string[];
+    /** Audit lens this node targets (mirrors Finding.lens). */
+    lens?: string;
+    /** Severity inherited from the driving finding. */
+    severity?: FindingSeverity;
+    /** Repo-relative files this node is expected to touch (from finalized module contract scope). */
+    files_likely_touched?: string[];
+    /** Upstream contracts' declared outputs this node depends on (preconditions). */
+    preconditions?: string[];
+    /** Human-readable description of the concrete changes this node is expected to produce. */
+    expected_changes?: string;
+    /** Human-readable verification checks beyond targeted_commands. */
+    verification?: string[];
+}
+/** One directed edge in the implementation DAG. */
+export interface ImplementationDAGEdge {
+    from: string;
+    to: string;
+    kind: "dependency" | "verification";
+}
+export interface ImplementationDAG {
+    contract_version: typeof CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION;
+    goal_id: string;
+    nodes: ImplementationDAGNode[];
+    edges: ImplementationDAGEdge[];
+    /** ISO-8601 timestamp when this DAG was created. */
+    created_at: string;
+}
+//# sourceMappingURL=implementation.d.ts.map

package/dist/shared/types/contractPipeline/implementation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation.d.ts","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/implementation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD,eAAO,MAAM,4CAA4C,EACvD,8DAAuE,CAAC;AAG1E,YAAY,EAAE,eAAe,EAAE,CAAC;AAIhC,0CAA0C;AAC1C,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,+EAA+E;IAC/E,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;IACrC,2DAA2D;IAC3D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,kEAAkE;IAClE,2BAA2B,EAAE,MAAM,EAAE,CAAC;IACtC,oDAAoD;IACpD,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mCAAmC;IACnC,MAAM,EAAE,SAAS,GAAG,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC;IAC3D,+DAA+D;IAC/D,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,gEAAgE;IAChE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,iGAAiG;IACjG,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,iFAAiF;IACjF,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,2FAA2F;IAC3F,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,GAAG,cAAc,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,4CAA4C,CAAC;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,oDAAoD;IACpD,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/shared/types/contractPipeline/implementation.js

@@ -0,0 +1,8 @@
+/**
+ * Contract-pipeline artifact: implementation phase.
+ *
+ * ImplementationDAG — directed acyclic graph of implementation tasks.
+ */
+// ── Version constants ────────────────────────────────────────────────────────
+export const CONTRACT_PIPELINE_IMPLEMENTATION_DAG_VERSION = "remediate-code-contract-pipeline/implementation-dag/v1alpha1";
+//# sourceMappingURL=implementation.js.map

package/dist/shared/types/contractPipeline/implementation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation.js","sourceRoot":"","sources":["../../../../src/shared/types/contractPipeline/implementation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,gFAAgF;AAEhF,MAAM,CAAC,MAAM,4CAA4C,GACvD,8DAAuE,CAAC"}