greenbump 0.4.0 → 0.6.0

package/dist/engine/sandbox/template-generator.js

@@ -0,0 +1,241 @@
+import { existsSync } from "fs";
+import { join } from "path";
+import { readFile } from "fs/promises";
+/**
+ * Detect project type based on files present
+ */
+export async function detectProjectType(cwd) {
+    if (existsSync(join(cwd, "package.json"))) {
+        return "nodejs";
+    }
+    if (existsSync(join(cwd, "requirements.txt")) ||
+        existsSync(join(cwd, "pyproject.toml")) ||
+        existsSync(join(cwd, "setup.py"))) {
+        return "python";
+    }
+    return "unknown";
+}
+/**
+ * Generate Dockerfile for project
+ */
+export async function generateDockerfile(projectType, cwd) {
+    if (projectType === "nodejs") {
+        return await generateNodeJsDockerfile(cwd);
+    }
+    if (projectType === "python") {
+        return await generatePythonDockerfile(cwd);
+    }
+    // Fallback to Node.js
+    return await generateNodeJsDockerfile(cwd);
+}
+/**
+ * Generate Node.js Dockerfile
+ */
+async function generateNodeJsDockerfile(cwd) {
+    const hasPnpm = existsSync(join(cwd, "pnpm-lock.yaml"));
+    const hasYarn = existsSync(join(cwd, "yarn.lock"));
+    let installCmd = "npm ci";
+    let copyLockFile = "COPY package*.json ./";
+    if (hasPnpm) {
+        installCmd = "corepack enable && pnpm install --frozen-lockfile";
+        copyLockFile = "COPY package*.json pnpm-lock.yaml ./";
+    }
+    else if (hasYarn) {
+        installCmd = "yarn install --frozen-lockfile";
+        copyLockFile = "COPY package*.json yarn.lock ./";
+    }
+    return `FROM node:20-slim
+
+WORKDIR /workspace
+
+# Copy package files
+${copyLockFile}
+
+# Install dependencies
+RUN ${installCmd}
+
+# Copy source code
+COPY . .
+
+# Build if build script exists
+RUN if grep -q '"build":' package.json; then npm run build || true; fi
+
+# Default command: run tests
+CMD ["npm", "test"]
+`;
+}
+/**
+ * Generate Python Dockerfile
+ */
+async function generatePythonDockerfile(cwd) {
+    const hasRequirements = existsSync(join(cwd, "requirements.txt"));
+    const hasPyproject = existsSync(join(cwd, "pyproject.toml"));
+    let installCmd = "";
+    let copyFiles = "";
+    if (hasRequirements) {
+        copyFiles = "COPY requirements*.txt ./";
+        installCmd = "pip install --no-cache-dir -r requirements.txt";
+    }
+    else if (hasPyproject) {
+        copyFiles = "COPY pyproject.toml setup.py* ./";
+        installCmd = "pip install --no-cache-dir -e .";
+    }
+    return `FROM python:3.11-slim
+
+WORKDIR /workspace
+
+# Copy dependency files
+${copyFiles}
+
+# Install dependencies
+RUN ${installCmd}
+
+# Copy source code
+COPY . .
+
+# Default command: run tests
+CMD ["pytest"]
+`;
+}
+/**
+ * Generate docker-compose.yml for services
+ */
+export async function generateComposeFile(services) {
+    const serviceConfigs = services.map(getServiceConfig).filter((config) => config !== null);
+    if (serviceConfigs.length === 0) {
+        return "";
+    }
+    const servicesYaml = serviceConfigs.map(formatServiceConfig).join("\n");
+    return `version: '3.8'
+
+services:
+${servicesYaml}
+
+networks:
+  default:
+    name: greenbump_network
+`;
+}
+/**
+ * Get service configuration
+ */
+function getServiceConfig(serviceName) {
+    const configs = {
+        postgres: {
+            name: "postgres",
+            image: "postgres:16-alpine",
+            ports: ["5432:5432"],
+            environment: {
+                POSTGRES_USER: "test",
+                POSTGRES_PASSWORD: "test",
+                POSTGRES_DB: "test",
+            },
+            healthcheck: {
+                test: ["CMD-SHELL", "pg_isready -U test"],
+                interval: "5s",
+                timeout: "5s",
+                retries: 5,
+            },
+        },
+        mysql: {
+            name: "mysql",
+            image: "mysql:8",
+            ports: ["3306:3306"],
+            environment: {
+                MYSQL_ROOT_PASSWORD: "test",
+                MYSQL_DATABASE: "test",
+            },
+            healthcheck: {
+                test: ["CMD", "mysqladmin", "ping", "-h", "localhost"],
+                interval: "5s",
+                timeout: "5s",
+                retries: 5,
+            },
+        },
+        redis: {
+            name: "redis",
+            image: "redis:7-alpine",
+            ports: ["6379:6379"],
+            healthcheck: {
+                test: ["CMD", "redis-cli", "ping"],
+                interval: "5s",
+                timeout: "5s",
+                retries: 5,
+            },
+        },
+        mongodb: {
+            name: "mongodb",
+            image: "mongo:7",
+            ports: ["27017:27017"],
+            environment: {
+                MONGO_INITDB_ROOT_USERNAME: "test",
+                MONGO_INITDB_ROOT_PASSWORD: "test",
+            },
+            healthcheck: {
+                test: ["CMD", "mongosh", "--eval", "db.adminCommand('ping')"],
+                interval: "5s",
+                timeout: "5s",
+                retries: 5,
+            },
+        },
+    };
+    return configs[serviceName] || null;
+}
+/**
+ * Format service config as YAML
+ */
+function formatServiceConfig(config) {
+    const lines = [`  ${config.name}:`];
+    lines.push(`    image: ${config.image}`);
+    if (config.environment) {
+        lines.push("    environment:");
+        for (const [key, value] of Object.entries(config.environment)) {
+            lines.push(`      ${key}: ${value}`);
+        }
+    }
+    if (config.ports.length > 0) {
+        lines.push("    ports:");
+        for (const port of config.ports) {
+            lines.push(`      - "${port}"`);
+        }
+    }
+    lines.push("    healthcheck:");
+    lines.push(`      test: ${JSON.stringify(config.healthcheck.test)}`);
+    lines.push(`      interval: ${config.healthcheck.interval}`);
+    lines.push(`      timeout: ${config.healthcheck.timeout}`);
+    lines.push(`      retries: ${config.healthcheck.retries}`);
+    return lines.join("\n");
+}
+/**
+ * Check if project has build script
+ */
+export async function hasBuildScript(cwd) {
+    const pkgPath = join(cwd, "package.json");
+    if (!existsSync(pkgPath))
+        return false;
+    try {
+        const content = await readFile(pkgPath, "utf-8");
+        const pkg = JSON.parse(content);
+        return pkg.scripts?.build !== undefined;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Check if project has test script
+ */
+export async function hasTestScript(cwd) {
+    const pkgPath = join(cwd, "package.json");
+    if (!existsSync(pkgPath))
+        return false;
+    try {
+        const content = await readFile(pkgPath, "utf-8");
+        const pkg = JSON.parse(content);
+        return pkg.scripts?.test !== undefined;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=template-generator.js.map

package/dist/engine/sandbox/template-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-generator.js","sourceRoot":"","sources":["../../../src/engine/sandbox/template-generator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAiBvC;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,GAAW;IACjD,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;QAC1C,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IACE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACzC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EACjC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,WAAwB,EACxB,GAAW;IAEX,IAAI,WAAW,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,MAAM,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,WAAW,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,MAAM,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED,sBAAsB;IACtB,OAAO,MAAM,wBAAwB,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,wBAAwB,CAAC,GAAW;IACjD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;IAEnD,IAAI,UAAU,GAAG,QAAQ,CAAC;IAC1B,IAAI,YAAY,GAAG,uBAAuB,CAAC;IAE3C,IAAI,OAAO,EAAE,CAAC;QACZ,UAAU,GAAG,mDAAmD,CAAC;QACjE,YAAY,GAAG,sCAAsC,CAAC;IACxD,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACnB,UAAU,GAAG,gCAAgC,CAAC;QAC9C,YAAY,GAAG,iCAAiC,CAAC;IACnD,CAAC;IAED,OAAO;;;;;EAKP,YAAY;;;MAGR,UAAU;;;;;;;;;;CAUf,CAAC;AACF,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,wBAAwB,CAAC,GAAW;IACjD,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAE7D,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,SAAS,GAAG,EAAE,CAAC;IAEnB,IAAI,eAAe,EAAE,CAAC;QACpB,SAAS,GAAG,2BAA2B,CAAC;QACxC,UAAU,GAAG,gDAAgD,CAAC;IAChE,CAAC;SAAM,IAAI,YAAY,EAAE,CAAC;QACxB,SAAS,GAAG,kCAAkC,CAAC;QAC/C,UAAU,GAAG,iCAAiC,CAAC;IACjD,CAAC;IAED,OAAO;;;;;EAKP,SAAS;;;MAGL,UAAU;;;;;;;CAOf,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAkB;IAElB,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAA2B,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IAEnH,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExE,OAAO;;;EAGP,YAAY;;;;;CAKb,CAAC;AACF,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,WAAmB;IAC3C,MAAM,OAAO,GAAkC;QAC7C,QAAQ,EAAE;YACR,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,oBAAoB;YAC3B,KAAK,EAAE,CAAC,WAAW,CAAC;YACpB,WAAW,EAAE;gBACX,aAAa,EAAE,MAAM;gBACrB,iBAAiB,EAAE,MAAM;gBACzB,WAAW,EAAE,MAAM;aACpB;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,CAAC,WAAW,EAAE,oBAAoB,CAAC;gBACzC,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,CAAC;aACX;SACF;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,CAAC,WAAW,CAAC;YACpB,WAAW,EAAE;gBACX,mBAAmB,EAAE,MAAM;gBAC3B,cAAc,EAAE,MAAM;aACvB;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC;gBACtD,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,CAAC;aACX;SACF;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,gBAAgB;YACvB,KAAK,EAAE,CAAC,WAAW,CAAC;YACpB,WAAW,EAAE;gBACX,IAAI,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC;gBAClC,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,CAAC;aACX;SACF;QACD,OAAO,EAAE;YACP,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,CAAC,aAAa,CAAC;YACtB,WAAW,EAAE;gBACX,0BAA0B,EAAE,MAAM;gBAClC,0BAA0B,EAAE,MAAM;aACnC;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,yBAAyB,CAAC;gBAC7D,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,CAAC;aACX;SACF;KACF,CAAC;IAEF,OAAO,OAAO,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,MAAqB;IAChD,MAAM,KAAK,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAEzC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,GAAW;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO,GAAG,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAW;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO,GAAG,CAAC,OAAO,EAAE,IAAI,KAAK,SAAS,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/engine/verifiers/ast-analyzer.js

@@ -0,0 +1,212 @@
+import { readFile, readdir, stat } from "node:fs/promises";
+import { join } from "node:path";
+import ts from "typescript";
+const ANALYZABLE_EXT = new Set([".ts", ".tsx", ".mts", ".cts"]);
+const MAX_FILE_SIZE = 500_000;
+/** Extract the exported symbol table from a TS/TSX file. */
+function extractExports(code, filename) {
+    const symbols = new Map();
+    let sourceFile;
+    try {
+        sourceFile = ts.createSourceFile(filename, code, ts.ScriptTarget.Latest, true);
+    }
+    catch {
+        return symbols;
+    }
+    const hasExportModifier = (node) => {
+        const mods = ts.canHaveModifiers(node) ? ts.getModifiers(node) : undefined;
+        return mods?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) ?? false;
+    };
+    const isDefault = (node) => {
+        const mods = ts.canHaveModifiers(node) ? ts.getModifiers(node) : undefined;
+        return mods?.some((m) => m.kind === ts.SyntaxKind.DefaultKeyword) ?? false;
+    };
+    const visit = (node) => {
+        // export function foo(...) / export class Foo / export const foo
+        if ((ts.isFunctionDeclaration(node) ||
+            ts.isClassDeclaration(node) ||
+            ts.isInterfaceDeclaration(node) ||
+            ts.isTypeAliasDeclaration(node) ||
+            ts.isEnumDeclaration(node)) &&
+            hasExportModifier(node)) {
+            const name = isDefault(node) ? "default" : node.name?.getText(sourceFile);
+            if (name) {
+                symbols.set(name, {
+                    name,
+                    kind: ts.isFunctionDeclaration(node)
+                        ? "function"
+                        : ts.isClassDeclaration(node)
+                            ? "class"
+                            : ts.isInterfaceDeclaration(node)
+                                ? "interface"
+                                : ts.isTypeAliasDeclaration(node)
+                                    ? "type"
+                                    : "enum",
+                    signature: ts.isFunctionDeclaration(node) ? signatureOf(node, sourceFile) : undefined,
+                });
+            }
+        }
+        // export const foo = ...
+        if (ts.isVariableStatement(node) && hasExportModifier(node)) {
+            for (const decl of node.declarationList.declarations) {
+                const name = decl.name.getText(sourceFile);
+                symbols.set(name, {
+                    name,
+                    kind: "const",
+                    signature: decl.type?.getText(sourceFile),
+                });
+            }
+        }
+        // export { a, b } / export { a as b }
+        if (ts.isExportDeclaration(node) && node.exportClause && ts.isNamedExports(node.exportClause)) {
+            for (const el of node.exportClause.elements) {
+                const name = el.name.getText(sourceFile);
+                symbols.set(name, { name, kind: "unknown" });
+            }
+        }
+        // export default <expr>
+        if (ts.isExportAssignment(node) && !node.isExportEquals) {
+            symbols.set("default", { name: "default", kind: "unknown" });
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return symbols;
+}
+function signatureOf(fn, sf) {
+    const params = fn.parameters.map((p) => {
+        const type = p.type ? p.type.getText(sf) : "any";
+        return `${p.name.getText(sf)}: ${type}`;
+    });
+    const ret = fn.type ? fn.type.getText(sf) : "void";
+    return `(${params.join(", ")}) => ${ret}`;
+}
+/**
+ * Compare the exported API surface before vs after the fix.
+ * `changedFiles` are the files the fix agent touched (project-relative).
+ * For each, we compare git HEAD content (pre-upgrade... actually pre-fix)
+ * against current working-tree content.
+ */
+export async function analyzeApiChanges(cwd, changedFiles, readBefore) {
+    const changes = [];
+    for (const file of changedFiles) {
+        const ext = file.slice(file.lastIndexOf("."));
+        if (!ANALYZABLE_EXT.has(ext))
+            continue;
+        const abs = join(cwd, file);
+        let after;
+        try {
+            const s = await stat(abs);
+            if (s.size > MAX_FILE_SIZE)
+                continue;
+            after = await readFile(abs, "utf8");
+        }
+        catch {
+            continue; // file deleted or unreadable — covered by change-detector
+        }
+        const before = await readBefore(file);
+        if (before === null)
+            continue; // new file — nothing to compare
+        const beforeExports = extractExports(before, file);
+        const afterExports = extractExports(after, file);
+        // Removed exports
+        for (const [name, sym] of beforeExports) {
+            if (!afterExports.has(name)) {
+                changes.push({
+                    kind: sym.kind === "type" || sym.kind === "interface" ? "export-type-removed" : "export-removed",
+                    file,
+                    symbol: name,
+                    detail: `${sym.kind} \`${name}\` was exported before the fix but is no longer exported`,
+                    severity: name === "default" ? "critical" : "warning",
+                });
+                continue;
+            }
+            // Signature changes on functions
+            const afterSym = afterExports.get(name);
+            if (sym.kind === "function" &&
+                afterSym.kind === "function" &&
+                sym.signature &&
+                afterSym.signature &&
+                sym.signature !== afterSym.signature) {
+                changes.push({
+                    kind: "signature-changed",
+                    file,
+                    symbol: name,
+                    detail: `\`${name}\` signature changed: ${sym.signature} → ${afterSym.signature}`,
+                    severity: "warning",
+                });
+            }
+        }
+        // Newly-loosened types: any introduced where a concrete type existed
+        const loosened = detectTypeLoosening(before, after, file);
+        changes.push(...loosened);
+    }
+    const hasCritical = changes.some((c) => c.severity === "critical");
+    const criticalCount = changes.filter((c) => c.severity === "critical").length;
+    const warningCount = changes.filter((c) => c.severity === "warning").length;
+    const summary = changes.length === 0
+        ? "no API surface changes detected"
+        : `${criticalCount} critical, ${warningCount} warning(s) — exported API changed`;
+    return { changes, hasCritical, summary };
+}
+/** Detect `any` annotations introduced by the fix (silencing the compiler). */
+function detectTypeLoosening(before, after, file) {
+    const out = [];
+    const countAny = (code) => {
+        const m = code.match(/:\s*any\b|<any>|as any\b/g);
+        return m ? m.length : 0;
+    };
+    const beforeCount = countAny(before);
+    const afterCount = countAny(after);
+    if (afterCount > beforeCount) {
+        out.push({
+            kind: "type-loosened-to-any",
+            file,
+            symbol: "(multiple)",
+            detail: `fix introduced ${afterCount - beforeCount} new \`any\` annotation(s) — may be masking a real type error`,
+            severity: "warning",
+        });
+    }
+    return out;
+}
+/** Read a file's content from git HEAD (used as the "before" state). */
+export async function readFromGitHead(cwd, path) {
+    const { execFile } = await import("node:child_process");
+    return new Promise((resolve) => {
+        execFile("git", ["show", `HEAD:${path}`], { cwd, maxBuffer: 10 * 1024 * 1024 }, (err, stdout) => {
+            if (err)
+                resolve(null);
+            else
+                resolve(stdout);
+        });
+    });
+}
+/** List TS/TSX files in the project (for full-project scans, if needed). */
+export async function listAnalyzableFiles(cwd, root = ".") {
+    const IGNORE = new Set(["node_modules", ".git", "dist", "build", ".next", "coverage"]);
+    const out = [];
+    async function walk(dir) {
+        let entries;
+        try {
+            entries = await readdir(join(cwd, dir), { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const e of entries) {
+            if (IGNORE.has(e.name))
+                continue;
+            const rel = dir === "." ? e.name : `${dir}/${e.name}`;
+            if (e.isDirectory())
+                await walk(rel);
+            else {
+                const ext = e.name.slice(e.name.lastIndexOf("."));
+                if (ANALYZABLE_EXT.has(ext))
+                    out.push(rel);
+            }
+        }
+    }
+    await walk(root);
+    return out;
+}
+//# sourceMappingURL=ast-analyzer.js.map

package/dist/engine/verifiers/ast-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-analyzer.js","sourceRoot":"","sources":["../../../src/engine/verifiers/ast-analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAY,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,MAAM,YAAY,CAAC;AAwC5B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAChE,MAAM,aAAa,GAAG,OAAO,CAAC;AAE9B,4DAA4D;AAC5D,SAAS,cAAc,CAAC,IAAY,EAAE,QAAgB;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,IAAI,UAAyB,CAAC;IAC9B,IAAI,CAAC;QACH,UAAU,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAW,EAAE;QACnD,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,OAAO,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;IAC5E,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAAC,IAAa,EAAW,EAAE;QAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,OAAO,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;IAC7E,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,iEAAiE;QACjE,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC7B,iBAAiB,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC1E,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;oBAChB,IAAI;oBACJ,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;wBAClC,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;4BAC3B,CAAC,CAAC,OAAO;4BACT,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gCAC/B,CAAC,CAAC,WAAW;gCACb,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;oCAC/B,CAAC,CAAC,MAAM;oCACR,CAAC,CAAC,MAAM;oBAChB,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAC3C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;oBAChB,IAAI;oBACJ,IAAI,EAAE,OAAO;oBACb,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;iBAC1C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9F,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBACzC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;YACxD,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,EAA0B,EAAE,EAAiB;IAChE,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACjD,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,GAAW,EACX,YAAsB,EACtB,UAAoD;IAEpD,MAAM,OAAO,GAAgB,EAAE,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAEvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,GAAG,aAAa;gBAAE,SAAS;YACrC,KAAK,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS,CAAC,0DAA0D;QACtE,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS,CAAC,gCAAgC;QAE/D,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAEjD,kBAAkB;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,gBAAgB;oBAChG,IAAI;oBACJ,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,IAAI,0DAA0D;oBACvF,QAAQ,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;iBACtD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,iCAAiC;YACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACzC,IACE,GAAG,CAAC,IAAI,KAAK,UAAU;gBACvB,QAAQ,CAAC,IAAI,KAAK,UAAU;gBAC5B,GAAG,CAAC,SAAS;gBACb,QAAQ,CAAC,SAAS;gBAClB,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,EACpC,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI;oBACJ,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,KAAK,IAAI,yBAAyB,GAAG,CAAC,SAAS,MAAM,QAAQ,CAAC,SAAS,EAAE;oBACjF,QAAQ,EAAE,SAAS;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAC9E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAE5E,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,iCAAiC;QACnC,CAAC,CAAC,GAAG,aAAa,cAAc,YAAY,oCAAoC,CAAC;IAErF,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAC3C,CAAC;AAED,+EAA+E;AAC/E,SAAS,mBAAmB,CAAC,MAAc,EAAE,KAAa,EAAE,IAAY;IACtE,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAClD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,UAAU,GAAG,WAAW,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,sBAAsB;YAC5B,IAAI;YACJ,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,kBAAkB,UAAU,GAAG,WAAW,+DAA+D;YACjH,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wEAAwE;AACxE,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAW,EAAE,IAAY;IAC7D,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,CAAC;IACxD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,QAAQ,CACN,KAAK,EACL,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,EACxB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI,EAAE,EACpC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;YACd,IAAI,GAAG;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;;gBAClB,OAAO,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4EAA4E;AAC5E,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,GAAW,EAAE,IAAI,GAAG,GAAG;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IACvF,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,UAAU,IAAI,CAAC,GAAW;QAC7B,IAAI,OAAO,CAAC;QACZ,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjC,MAAM,GAAG,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,WAAW,EAAE;gBAAE,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;iBAChC,CAAC;gBACJ,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;gBAClD,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/engine/verifiers/ast-analyzer.test.js

@@ -0,0 +1,96 @@
+import { test } from "node:test";
+import assert from "node:assert/strict";
+import { mkdtemp, writeFile, rm } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { analyzeApiChanges } from "./ast-analyzer.js";
+async function withFile(content, before, fn) {
+    const dir = await mkdtemp(join(tmpdir(), "greenbump-ast-"));
+    await writeFile(join(dir, "api.ts"), content, "utf8");
+    try {
+        const result = await analyzeApiChanges(dir, ["api.ts"], async () => before);
+        fn(result);
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+test("ast-analyzer: detects removed exported function", async () => {
+    const before = `export function renderApp(el: Element): void {}
+export function cleanup(): void {}
+`;
+    const after = `export function cleanup(): void {}
+`;
+    await withFile(after, before, (result) => {
+        assert.equal(result.changes.length, 1);
+        assert.equal(result.changes[0].kind, "export-removed");
+        assert.equal(result.changes[0].symbol, "renderApp");
+        assert.equal(result.hasCritical, false); // warning, not critical
+    });
+});
+test("ast-analyzer: removed default export is critical", async () => {
+    const before = `export default function App() { return null; }
+`;
+    const after = `function App() { return null; }
+`;
+    await withFile(after, before, (result) => {
+        const removed = result.changes.find((c) => c.kind === "export-removed");
+        assert.ok(removed);
+        assert.equal(removed.severity, "critical");
+        assert.equal(result.hasCritical, true);
+    });
+});
+test("ast-analyzer: detects function signature changes", async () => {
+    const before = `export function fetchData(url: string): Promise<Response> { throw 0; }
+`;
+    const after = `export function fetchData(url: string, opts: object): Promise<Response> { throw 0; }
+`;
+    await withFile(after, before, (result) => {
+        const sig = result.changes.find((c) => c.kind === "signature-changed");
+        assert.ok(sig);
+        assert.equal(sig.symbol, "fetchData");
+        assert.equal(sig.severity, "warning");
+    });
+});
+test("ast-analyzer: unchanged exports produce no changes", async () => {
+    const code = `export function stable(x: number): number { return x * 2; }
+`;
+    await withFile(code, code, (result) => {
+        assert.equal(result.changes.length, 0);
+        assert.equal(result.hasCritical, false);
+    });
+});
+test("ast-analyzer: flags newly introduced any annotations", async () => {
+    const before = `export function parse(input: string): object { return JSON.parse(input); }
+`;
+    const after = `export function parse(input: any): any { return JSON.parse(input); }
+`;
+    await withFile(after, before, (result) => {
+        const loosened = result.changes.find((c) => c.kind === "type-loosened-to-any");
+        assert.ok(loosened);
+        assert.equal(loosened.severity, "warning");
+    });
+});
+test("ast-analyzer: skips non-TS files", async () => {
+    const dir = await mkdtemp(join(tmpdir(), "greenbump-ast-"));
+    await writeFile(join(dir, "style.css"), "body { color: red }", "utf8");
+    try {
+        const result = await analyzeApiChanges(dir, ["style.css"], async () => "body { color: blue }");
+        assert.equal(result.changes.length, 0);
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+});
+test("ast-analyzer: new file (no before) is skipped silently", async () => {
+    const dir = await mkdtemp(join(tmpdir(), "greenbump-ast-"));
+    await writeFile(join(dir, "api.ts"), "export const x = 1;", "utf8");
+    try {
+        const result = await analyzeApiChanges(dir, ["api.ts"], async () => null);
+        assert.equal(result.changes.length, 0);
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+});
+//# sourceMappingURL=ast-analyzer.test.js.map

package/dist/engine/verifiers/ast-analyzer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-analyzer.test.js","sourceRoot":"","sources":["../../../src/engine/verifiers/ast-analyzer.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,KAAK,UAAU,QAAQ,CACrB,OAAe,EACf,MAAc,EACd,EAAmE;IAEnE,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC5D,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;QAC5E,EAAE,CAAC,MAAM,CAAC,CAAC;IACb,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,IAAI,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;IACjE,MAAM,MAAM,GAAG;;CAEhB,CAAC;IACA,MAAM,KAAK,GAAG;CACf,CAAC;IACA,MAAM,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,wBAAwB;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;IAClE,MAAM,MAAM,GAAG;CAChB,CAAC;IACA,MAAM,KAAK,GAAG;CACf,CAAC;IACA,MAAM,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;IAClE,MAAM,MAAM,GAAG;CAChB,CAAC;IACA,MAAM,KAAK,GAAG;CACf,CAAC;IACA,MAAM,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;QACvE,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACf,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;IACpE,MAAM,IAAI,GAAG;CACd,CAAC;IACA,MAAM,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;IACtE,MAAM,MAAM,GAAG;CAChB,CAAC;IACA,MAAM,KAAK,GAAG;CACf,CAAC;IACA,MAAM,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC;QAC/E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;IAClD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC5D,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACvE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC;QAC/F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC5D,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC,CAAC"}