assertloom 0.0.0-stage → 0.2.0

package/dist/analyzer/usage.js

@@ -0,0 +1,159 @@
+import traverse from "@babel/traverse";
+/** Globals Assertloom replaces with mocks when the source uses them. */
+export const MOCKABLE_GLOBALS = ["fetch"];
+const MAX_DEPTH = 6;
+export function emptyShape() {
+    return { called: false, constructed: false, instanceOf: false, members: {}, resultNames: [], createdAtLoad: false };
+}
+/** True for a reference to a mockable global that the code does not declare itself. */
+export function isMockableGlobal(path) {
+    if (!path.isReferencedIdentifier() || path.node.type !== "Identifier")
+        return false;
+    const name = path.node.name;
+    return MOCKABLE_GLOBALS.includes(name) && !path.scope.hasBinding(name, { noGlobals: true });
+}
+function memberName(node) {
+    if (node.type !== "MemberExpression" && node.type !== "OptionalMemberExpression")
+        return undefined;
+    if (!node.computed && node.property.type === "Identifier")
+        return node.property.name;
+    if (node.property.type === "StringLiteral")
+        return node.property.value;
+    return undefined;
+}
+const TRANSPARENT = new Set(["TSNonNullExpression", "TSAsExpression", "TSSatisfiesExpression", "ParenthesizedExpression"]);
+/** Records how the expression at `path`, whose value is described by `shape`, is used. */
+function follow(path, shape, depth) {
+    if (depth > MAX_DEPTH)
+        return;
+    let current = path;
+    let cur = shape;
+    for (;;) {
+        const parent = current.parentPath;
+        if (!parent)
+            return;
+        const node = parent.node;
+        if (TRANSPARENT.has(node.type)) {
+            current = parent;
+            continue;
+        }
+        if ((node.type === "MemberExpression" || node.type === "OptionalMemberExpression") && node.object === current.node) {
+            const name = memberName(node);
+            if (!name)
+                return;
+            cur = cur.members[name] ??= emptyShape();
+            current = parent;
+            continue;
+        }
+        const isCall = (node.type === "CallExpression" || node.type === "OptionalCallExpression") && node.callee === current.node;
+        const isNew = node.type === "NewExpression" && node.callee === current.node;
+        if (isCall || isNew) {
+            if (isCall)
+                cur.called = true;
+            else
+                cur.constructed = true;
+            let resultPath = parent;
+            if (resultPath.parentPath?.isAwaitExpression())
+                resultPath = resultPath.parentPath;
+            const declarator = resultPath.parentPath;
+            if (declarator?.isVariableDeclarator() && declarator.node.init === resultPath.node && declarator.node.id.type === "Identifier") {
+                const name = declarator.node.id.name;
+                const result = (cur.result ??= emptyShape());
+                if (!cur.resultNames.includes(name))
+                    cur.resultNames.push(name);
+                if (declarator.scope.block.type === "Program")
+                    cur.createdAtLoad = true;
+                for (const ref of declarator.scope.getBinding(name)?.referencePaths ?? [])
+                    follow(ref, result, depth + 1);
+                return;
+            }
+            const next = resultPath.parentPath?.node;
+            if (next && (next.type === "MemberExpression" || next.type === "OptionalMemberExpression") && next.object === resultPath.node) {
+                cur = cur.result ??= emptyShape();
+                current = resultPath;
+                continue;
+            }
+            return;
+        }
+        if (node.type === "BinaryExpression" && node.operator === "instanceof" && node.right === current.node) {
+            cur.instanceOf = true;
+        }
+        return;
+    }
+}
+function stringValue(node) {
+    if (node?.type === "StringLiteral")
+        return node.value;
+    if (node?.type === "TemplateLiteral" && node.expressions.length === 0)
+        return node.quasis[0].value.cooked ?? undefined;
+    return undefined;
+}
+function propertyKey(node) {
+    if (node.type === "Identifier")
+        return node.name;
+    if (node.type === "StringLiteral")
+        return node.value;
+    return undefined;
+}
+/**
+ * Finds every runtime binding created by `import` or `require()` and records how the code uses it
+ * (calls, `new`, member access, stored results), plus references to mockable globals.
+ */
+export function collectImportUsage(ast) {
+    const importUsage = [];
+    const globals = new Set();
+    const track = (entry, binding) => {
+        const shape = emptyShape();
+        for (const ref of binding?.referencePaths ?? [])
+            follow(ref, shape, 0);
+        importUsage.push({ ...entry, shape });
+    };
+    traverse(ast, {
+        ImportDeclaration(path) {
+            if (path.node.importKind === "type" || path.node.importKind === "typeof")
+                return;
+            const source = path.node.source.value;
+            for (const s of path.node.specifiers) {
+                if (s.type === "ImportSpecifier" && (s.importKind === "type" || s.importKind === "typeof"))
+                    continue;
+                const imported = s.type === "ImportDefaultSpecifier" ? "default" : s.type === "ImportNamespaceSpecifier" ? "*" : propertyKey(s.imported) ?? "";
+                track({ source, local: s.local.name, imported, style: "esm" }, path.scope.getBinding(s.local.name));
+            }
+        },
+        CallExpression(path) {
+            const callee = path.node.callee;
+            if (callee.type !== "Identifier" || callee.name !== "require" || path.scope.hasBinding("require"))
+                return;
+            const source = stringValue(path.node.arguments[0]);
+            if (!source)
+                return;
+            const declarator = path.parentPath;
+            if (declarator.isVariableDeclarator() && declarator.node.init === path.node) {
+                const id = declarator.node.id;
+                if (id.type === "Identifier") {
+                    track({ source, local: id.name, imported: "*", style: "commonjs" }, declarator.scope.getBinding(id.name));
+                }
+                else if (id.type === "ObjectPattern") {
+                    for (const prop of id.properties) {
+                        if (prop.type !== "ObjectProperty" || prop.value.type !== "Identifier")
+                            continue;
+                        const imported = propertyKey(prop.key);
+                        if (imported)
+                            track({ source, local: prop.value.name, imported, style: "commonjs" }, declarator.scope.getBinding(prop.value.name));
+                    }
+                }
+                return;
+            }
+            // `require("x").get(...)`: follow the call itself.
+            const shape = emptyShape();
+            follow(path, shape, 0);
+            importUsage.push({ source, local: "", imported: "*", style: "commonjs", shape });
+        },
+        Identifier(path) {
+            if (isMockableGlobal(path))
+                globals.add(path.node.name);
+        },
+    });
+    return { importUsage, globals: [...globals].sort() };
+}
+//# sourceMappingURL=usage.js.map

package/dist/analyzer/usage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"usage.js","sourceRoot":"","sources":["../../src/analyzer/usage.ts"],"names":[],"mappings":"AAAA,OAAO,QAA2B,MAAM,iBAAiB,CAAC;AAI1D,wEAAwE;AACxE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAO,CAAU,CAAC;AAEnD,MAAM,SAAS,GAAG,CAAC,CAAC;AAEpB,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AACtH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,gBAAgB,CAAC,IAAc;IAC7C,IAAI,CAAC,IAAI,CAAC,sBAAsB,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IACpF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,OAAQ,gBAAsC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,UAAU,CAAC,IAAU;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B;QAAE,OAAO,SAAS,CAAC;IACnG,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACrF,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;IACvE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,yBAAyB,CAAC,CAAC,CAAC;AAE3H,0FAA0F;AAC1F,SAAS,MAAM,CAAC,IAAc,EAAE,KAAiB,EAAE,KAAa;IAC9D,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO;IAC9B,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,GAAG,GAAG,KAAK,CAAC;IAEhB,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;QAClC,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QAEzB,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YACnH,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;QAC1H,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC;QAC5E,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,IAAI,MAAM;gBAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC;;gBACzB,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC;YAE5B,IAAI,UAAU,GAAa,MAAM,CAAC;YAClC,IAAI,UAAU,CAAC,UAAU,EAAE,iBAAiB,EAAE;gBAAE,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;YACnF,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;YACzC,IAAI,UAAU,EAAE,oBAAoB,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/H,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;gBACrC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC,CAAC;gBAC7C,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;oBAAE,GAAG,CAAC,aAAa,GAAG,IAAI,CAAC;gBACxE,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,cAAc,IAAI,EAAE;oBAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC1G,OAAO;YACT,CAAC;YAED,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC;YACzC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;gBAC9H,GAAG,GAAG,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAClC,OAAO,GAAG,UAAU,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YACtG,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,OAAO;IACT,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAsB;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACtD,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC;IACvH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACrD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAS;IAC1C,MAAM,WAAW,GAAkB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,KAAiC,EAAE,OAAmD,EAAE,EAAE;QACvG,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,cAAc,IAAI,EAAE;YAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACvE,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC;IAEF,QAAQ,CAAC,GAAG,EAAE;QACZ,iBAAiB,CAAC,IAAI;YACpB,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,QAAQ;gBAAE,OAAO;YACjF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrC,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC;oBAAE,SAAS;gBACrG,MAAM,QAAQ,GACZ,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAChI,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACtG,CAAC;QACH,CAAC;QAED,cAAc,CAAC,IAAI;YACjB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAChC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,OAAO;YAC1G,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAqB,CAAC,CAAC;YACvE,IAAI,CAAC,MAAM;gBAAE,OAAO;YAEpB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YACnC,IAAI,UAAU,CAAC,oBAAoB,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5E,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC7B,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5G,CAAC;qBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACvC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;wBACjC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;4BAAE,SAAS;wBACjF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBACvC,IAAI,QAAQ;4BAAE,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;oBACrI,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,CAAC;YAED,mDAAmD;YACnD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACvB,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACnF,CAAC;QAED,UAAU,CAAC,IAAI;YACb,IAAI,gBAAgB,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;KACF,CAAC,CAAC;IAEH,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACvD,CAAC"}

package/dist/ci/report.d.ts

@@ -0,0 +1,88 @@
+import type { FileReport } from "./run.js";
+export declare const FAIL_ON: readonly ["never", "errors", "tests"];
+export type FailOn = (typeof FAIL_ON)[number];
+export interface CiReport {
+    schemaVersion: 1;
+    assertloom: string;
+    startedAt: string;
+    finishedAt: string;
+    mode: "pull-request" | "files";
+    base?: string;
+    head?: string;
+    provider: string;
+    model: string;
+    limits: {
+        maxFiles: number;
+        maxCostUsd: number | null;
+        maxTokens: number | null;
+        maxAttempts: number;
+        timeoutSeconds: number;
+    };
+    budget: {
+        exhausted: boolean;
+        costKnown: boolean;
+        spentUsd: number | null;
+        tokens: {
+            input: number;
+            output: number;
+        };
+    };
+    totals: Totals;
+    policy: {
+        failOn: FailOn;
+        failed: boolean;
+        reasons: string[];
+    };
+    files: FileReport[];
+    /** Set when the run stopped before every file was handled. */
+    error?: string;
+}
+export interface Totals {
+    files: {
+        changed: number;
+        selected: number;
+        processed: number;
+        skipped: number;
+        failed: number;
+    };
+    tests: {
+        generated: number;
+        accepted: number;
+        rejected: number;
+        initial: {
+            passed: number;
+            failed: number;
+            skipped: number;
+        };
+        final: {
+            passed: number;
+            failed: number;
+            skipped: number;
+        };
+        repaired: number;
+        flaggedAsSourceBugs: number;
+        removed: number;
+        gaveUp: number;
+    };
+    regressions: number;
+    infrastructureFailures: number;
+    durationMs: number;
+}
+export declare function computeTotals(files: FileReport[]): Totals;
+/**
+ * `errors`: fail if any selected file could not be processed (generation error, tests that could not run, timeout).
+ * `tests`: also fail unless every generated test passes, with none skipped or removed by repair.
+ * `never`: only configuration errors fail the run.
+ */
+export declare function evaluatePolicy(failOn: FailOn, files: FileReport[]): {
+    failed: boolean;
+    reasons: string[];
+};
+/**
+ * Removes credentials from text that leaves the process (reports, summaries, logs): the exact values of the
+ * configured secrets, plus anything that looks like a key or token.
+ */
+export declare function createRedactor(secrets: Array<string | undefined>): (text: string) => string;
+/** Escapes untrusted text (file names, error messages) for a Markdown table cell. Not for code spans, which show entities literally. */
+export declare function cell(text: string): string;
+export declare function renderSummary(report: CiReport): string;

package/dist/ci/report.js

@@ -0,0 +1,139 @@
+import { formatUsd } from "../ai/pricing.js";
+import { redactSecrets } from "../ai/redact.js";
+export const FAIL_ON = ["never", "errors", "tests"];
+const sum = (values) => values.reduce((a, b) => a + b, 0);
+/** Skip reasons decided after a file passed selection. */
+const LATE_SKIPS = new Set(["file-limit", "budget", "no-exported-functions", "preview-exists", "dry-run", "not-processed"]);
+export function computeTotals(files) {
+    const ran = files.filter((f) => f.initial && f.final);
+    return {
+        files: {
+            changed: files.length,
+            selected: files.filter((f) => f.status !== "skipped" || LATE_SKIPS.has(f.skipReason ?? "")).length,
+            processed: files.filter((f) => f.status === "processed").length,
+            skipped: files.filter((f) => f.status === "skipped").length,
+            failed: files.filter((f) => f.status === "failed").length,
+        },
+        tests: {
+            generated: sum(files.map((f) => f.generated)),
+            accepted: sum(files.map((f) => f.accepted)),
+            rejected: sum(files.map((f) => f.rejected)),
+            initial: {
+                passed: sum(ran.map((f) => f.initial.passed)),
+                failed: sum(ran.map((f) => f.initial.failed)),
+                skipped: sum(ran.map((f) => f.initial.skipped)),
+            },
+            final: {
+                passed: sum(ran.map((f) => f.final.passed)),
+                failed: sum(ran.map((f) => f.final.failed)),
+                skipped: sum(ran.map((f) => f.final.skipped)),
+            },
+            repaired: sum(files.map((f) => f.repaired)),
+            flaggedAsSourceBugs: sum(files.map((f) => f.flaggedAsSourceBugs)),
+            removed: sum(files.map((f) => f.removed)),
+            gaveUp: sum(files.map((f) => f.gaveUp)),
+        },
+        regressions: sum(files.map((f) => f.regressions)),
+        infrastructureFailures: files.filter((f) => f.infra).length,
+        durationMs: sum(files.map((f) => f.durationMs)),
+    };
+}
+/**
+ * `errors`: fail if any selected file could not be processed (generation error, tests that could not run, timeout).
+ * `tests`: also fail unless every generated test passes, with none skipped or removed by repair.
+ * `never`: only configuration errors fail the run.
+ */
+export function evaluatePolicy(failOn, files) {
+    const reasons = [];
+    if (failOn === "never")
+        return { failed: false, reasons };
+    const failed = files.filter((f) => f.status === "failed");
+    if (failed.length)
+        reasons.push(`${failed.length} file${failed.length === 1 ? "" : "s"} could not be processed`);
+    if (failOn === "tests") {
+        const notPassing = files.filter((f) => f.status === "processed" && f.final && (f.final.failed > 0 || f.final.skipped > 0 || f.removed > 0 || f.final.status !== "passed"));
+        if (notPassing.length)
+            reasons.push(`${notPassing.length} file${notPassing.length === 1 ? "" : "s"} ended with failing, skipped, or removed tests`);
+    }
+    return { failed: reasons.length > 0, reasons };
+}
+/**
+ * Removes credentials from text that leaves the process (reports, summaries, logs): the exact values of the
+ * configured secrets, plus anything that looks like a key or token.
+ */
+export function createRedactor(secrets) {
+    const values = [...new Set(secrets.filter((s) => !!s && s.length >= 6))].sort((a, b) => b.length - a.length);
+    return (text) => {
+        let result = text;
+        for (const value of values)
+            result = result.split(value).join("<redacted>");
+        return redactSecrets(result).code;
+    };
+}
+/** Escapes untrusted text (file names, error messages) for a Markdown table cell. Not for code spans, which show entities literally. */
+export function cell(text) {
+    return text
+        .replace(/[\r\n]+/g, " ")
+        .replace(/[\\`*_[\]<>|#!~&]/g, (c) => `&#${c.charCodeAt(0)};`)
+        .slice(0, 300);
+}
+const pct = (value) => (value === null || value === undefined ? "–" : `${Math.round(value * 10) / 10}%`);
+const seconds = (ms) => `${(ms / 1000).toFixed(1)}s`;
+const counts = (s) => (s ? `${s.passed} / ${s.failed} / ${s.skipped}` : "–");
+const SKIP_LABELS = {
+    deleted: "deleted",
+    unsupported: "unsupported type",
+    excluded: "excluded",
+    "not-included": "not included",
+    generated: "generated file",
+    "not-a-file": "not a regular file",
+    "outside-workspace": "outside the repository",
+    "too-large": "too large",
+    "file-limit": "file limit reached",
+    budget: "budget exhausted",
+    "no-exported-functions": "no exported functions",
+    "preview-exists": "preview file already exists",
+    "dry-run": "eligible (dry run)",
+    "not-processed": "eligible, not reached",
+};
+export function renderSummary(report) {
+    const t = report.totals;
+    const lines = [];
+    const verdict = report.error
+        ? "⚠️ Stopped early"
+        : report.policy.failed
+            ? `❌ Failed (fail-on: ${report.policy.failOn})`
+            : `✅ Completed (fail-on: ${report.policy.failOn})`;
+    lines.push(`## Assertloom: generated tests for changed files`, "");
+    lines.push(`**${verdict}.** Generated tests are previews for review. A completed run does not mean every generated test passed.`, "");
+    if (report.error)
+        lines.push(`> **Error:** ${cell(report.error)}`, "");
+    for (const reason of report.policy.reasons)
+        lines.push(`- ${cell(reason)}`);
+    if (report.policy.reasons.length)
+        lines.push("");
+    if (report.budget.exhausted)
+        lines.push("> **Budget exhausted.** The shared spending limit was reached; remaining files were not processed.", "");
+    const cost = report.budget.costKnown && report.budget.spentUsd !== null ? `≈${formatUsd(report.budget.spentUsd)}` : "unknown (no price for this model)";
+    lines.push("| | |", "| --- | --- |", `| Files | ${t.files.changed} changed, ${t.files.selected} selected, ${t.files.processed} processed, ${t.files.skipped} skipped, ${t.files.failed} failed |`, `| Test cases | ${t.tests.generated} generated, ${t.tests.accepted} accepted, ${t.tests.rejected} rejected by validation |`, `| First run (passed / failed / skipped) | ${counts(t.tests.initial)} |`, `| Final run (passed / failed / skipped) | ${counts(t.tests.final)} |`, `| Repair | repaired: ${t.tests.repaired}; skipped as suspected source bugs: ${t.tests.flaggedAsSourceBugs}; skipped after repair gave up: ${t.tests.gaveUp}; removed: ${t.tests.removed} |`, `| Regressions (reverted repair rounds) | ${t.regressions} |`, `| Infrastructure failures | ${t.infrastructureFailures} |`, `| Runtime | ${seconds(t.durationMs)} |`, `| Model | ${report.model ? `${cell(report.model)} (${cell(report.provider)})` : "none (no model was called)"} |`, `| Tokens (in / out) | ${report.budget.tokens.input.toLocaleString("en-US")} / ${report.budget.tokens.output.toLocaleString("en-US")} |`, `| Estimated cost | ${cost} |`, "");
+    const evaluated = report.files.filter((f) => f.status !== "skipped" || f.generated > 0);
+    if (evaluated.length) {
+        lines.push("### Files", "", "| File | Status | Cases | First run | Final run | Repaired | Skipped / removed | Lines | Branches | Time | Cost |", "| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |");
+        for (const f of evaluated) {
+            const status = f.status === "processed" ? "processed" : `${f.status}: ${cell(f.detail ?? "")}`;
+            const fileCost = f.costUsd === null ? (f.usage.inputTokens + f.usage.outputTokens > 0 ? "unknown" : "–") : formatUsd(f.costUsd);
+            lines.push(`| ${cell(f.path)} | ${status} | ${f.accepted}/${f.generated} | ${counts(f.initial)} | ${counts(f.final)} | ${f.repaired} | ${f.flaggedAsSourceBugs + f.gaveUp} / ${f.removed} | ${pct(f.final?.coverage?.lines)} | ${pct(f.final?.coverage?.branches)} | ${seconds(f.durationMs)} | ${fileCost} |`);
+        }
+        lines.push("");
+    }
+    const skipped = report.files.filter((f) => f.status === "skipped" && f.generated === 0);
+    if (skipped.length) {
+        lines.push("<details><summary>Skipped files (" + skipped.length + ")</summary>", "", "| File | Reason |", "| --- | --- |");
+        for (const f of skipped)
+            lines.push(`| ${cell(f.path)} | ${cell(SKIP_LABELS[f.skipReason ?? ""] ?? f.skipReason ?? "")} |`);
+        lines.push("", "</details>", "");
+    }
+    lines.push("Generated tests, `report.json`, and this summary are in the workflow artifact. Nothing was committed or pushed.", "");
+    return lines.join("\n");
+}
+//# sourceMappingURL=report.js.map

package/dist/ci/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/ci/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGhD,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAU,CAAC;AAwC7D,MAAM,GAAG,GAAG,CAAC,MAAgB,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpE,0DAA0D;AAC1D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,QAAQ,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC;AAE5H,MAAM,UAAU,aAAa,CAAC,KAAmB;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO;QACL,KAAK,EAAE;YACL,OAAO,EAAE,KAAK,CAAC,MAAM;YACrB,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM;YAClG,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM;YAC/D,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YAC3D,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;SAC1D;QACD,KAAK,EAAE;YACL,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7C,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3C,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,EAAE;gBACP,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9C,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9C,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAQ,CAAC,OAAO,CAAC,CAAC;aACjD;YACD,KAAK,EAAE;gBACL,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC;gBAC5C,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC;gBAC5C,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,OAAO,CAAC,CAAC;aAC/C;YACD,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3C,mBAAmB,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YACjE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;SACxC;QACD,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACjD,sBAAsB,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM;QAC3D,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;KAChD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,KAAmB;IAChE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC1D,IAAI,MAAM,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC;IACjH,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAC1I,CAAC;QACF,IAAI,UAAU,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,QAAQ,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,gDAAgD,CAAC,CAAC;IACtJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,OAAkC;IAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1H,OAAO,CAAC,IAAI,EAAE,EAAE;QACd,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5E,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;IACpC,CAAC,CAAC;AACJ,CAAC;AAED,wIAAwI;AACxI,MAAM,UAAU,IAAI,CAAC,IAAY;IAC/B,OAAO,IAAI;SACR,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC;SAC7D,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,KAAgC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACpI,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;AAC7D,MAAM,MAAM,GAAG,CAAC,CAAuD,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAEnI,MAAM,WAAW,GAA2B;IAC1C,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,kBAAkB;IAC/B,QAAQ,EAAE,UAAU;IACpB,cAAc,EAAE,cAAc;IAC9B,SAAS,EAAE,gBAAgB;IAC3B,YAAY,EAAE,oBAAoB;IAClC,mBAAmB,EAAE,wBAAwB;IAC7C,WAAW,EAAE,WAAW;IACxB,YAAY,EAAE,oBAAoB;IAClC,MAAM,EAAE,kBAAkB;IAC1B,uBAAuB,EAAE,uBAAuB;IAChD,gBAAgB,EAAE,6BAA6B;IAC/C,SAAS,EAAE,oBAAoB;IAC/B,eAAe,EAAE,uBAAuB;CACzC,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,MAAgB;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK;QAC1B,CAAC,CAAC,kBAAkB;QACpB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;YACpB,CAAC,CAAC,sBAAsB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG;YAC/C,CAAC,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,kDAAkD,EAAE,EAAE,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,yGAAyG,EAAE,EAAE,CAAC,CAAC;IACtI,IAAI,MAAM,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACvE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,oGAAoG,EAAE,EAAE,CAAC,CAAC;IAElJ,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,mCAAmC,CAAC;IACxJ,KAAK,CAAC,IAAI,CACR,OAAO,EACP,eAAe,EACf,aAAa,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC,KAAK,CAAC,QAAQ,cAAc,CAAC,CAAC,KAAK,CAAC,SAAS,eAAe,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,EAC5J,kBAAkB,CAAC,CAAC,KAAK,CAAC,SAAS,eAAe,CAAC,CAAC,KAAK,CAAC,QAAQ,cAAc,CAAC,CAAC,KAAK,CAAC,QAAQ,2BAA2B,EAC3H,6CAA6C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EACxE,6CAA6C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EACtE,wBAAwB,CAAC,CAAC,KAAK,CAAC,QAAQ,uCAAuC,CAAC,CAAC,KAAK,CAAC,mBAAmB,mCAAmC,CAAC,CAAC,KAAK,CAAC,MAAM,cAAc,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,EAC5L,4CAA4C,CAAC,CAAC,WAAW,IAAI,EAC7D,+BAA+B,CAAC,CAAC,sBAAsB,IAAI,EAC3D,eAAe,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EACxC,aAAa,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,4BAA4B,IAAI,EACjH,yBAAyB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EACxI,sBAAsB,IAAI,IAAI,EAC9B,EAAE,CACH,CAAC;IAEF,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IACxF,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CACR,WAAW,EACX,EAAE,EACF,mHAAmH,EACnH,qEAAqE,CACtE,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;YAC/F,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChI,KAAK,CAAC,IAAI,CACR,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,SAAS,MAAM,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,mBAAmB,GAAG,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,OAAO,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,QAAQ,IAAI,CACpS,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,mCAAmC,GAAG,OAAO,CAAC,MAAM,GAAG,aAAa,EAAE,EAAE,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAC;QAC3H,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5H,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,IAAI,CACR,iHAAiH,EACjH,EAAE,CACH,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/ci/run.d.ts

@@ -0,0 +1,70 @@
+import { type Budget } from "../ai/pricing.js";
+import type { LLMProvider, TokenUsage } from "../ai/provider.js";
+import type { RunSummary } from "../repair/repairLoop.js";
+import { type RunResult } from "../runner/index.js";
+import type { Candidate, ChangedFile, SkipReason } from "./select.js";
+export interface FileReport {
+    path: string;
+    from?: string;
+    change: ChangedFile["status"];
+    status: "processed" | "skipped" | "failed";
+    skipReason?: SkipReason;
+    /** Why the file was skipped or failed. */
+    detail?: string;
+    generated: number;
+    accepted: number;
+    rejected: number;
+    initial?: RunSummary;
+    final?: RunSummary;
+    /** Tests that failed on the first run and pass at the end. Skips and removals are counted separately. */
+    repaired: number;
+    /** Tests the model marked `it.skip` as suspected source bugs. */
+    flaggedAsSourceBugs: number;
+    /** Tests removed by repair because they could not be made reliable. */
+    removed: number;
+    /** Tests still failing after repair, kept as `it.skip`. */
+    gaveUp: number;
+    repairRounds: number;
+    /** Repair rounds that broke passing tests and were reverted. */
+    regressions: number;
+    stopReason?: string;
+    infra?: {
+        kind: string;
+        message: string;
+    };
+    durationMs: number;
+    usage: TokenUsage;
+    costUsd: number | null;
+    /** Path of the generated tests inside the artifact directory. */
+    artifact?: string;
+}
+export interface RunFilesOptions {
+    /** Repository root; candidate paths are relative to it. */
+    root: string;
+    candidates: Candidate[];
+    provider: LLMProvider;
+    /** One budget shared by every model call in the run. */
+    budget: Budget;
+    maxFiles: number;
+    maxAttempts: number;
+    /** Time limit for each Jest run. */
+    timeoutMs: number;
+    /** Where generated tests are copied for review. */
+    testsDir: string;
+    /** Called after every file, so partial results survive a crash or cancellation. */
+    onProgress?: (files: FileReport[]) => Promise<void>;
+    /** For tests: replaces Jest. */
+    runTests?: (testPath: string, sourcePath: string) => Promise<RunResult>;
+    log?: (line: string) => void;
+}
+export interface RunFilesResult {
+    files: FileReport[];
+    budgetExhausted: boolean;
+}
+/** Tests that failed in the first run and pass in the final run. */
+export declare function countRepaired(initial: RunResult, final: RunResult): number;
+/**
+ * Generates, runs, and repairs tests for each eligible file in turn, with one shared budget.
+ * Never writes outside generated preview files, which are removed from the tree once copied to `testsDir`.
+ */
+export declare function runFiles(options: RunFilesOptions): Promise<RunFilesResult>;