code-auditor-mcp 5.0.2 → 5.3.3

package/dist/analyzers/vendorSurfaces.js

@@ -0,0 +1,580 @@
+/**
+ * Vendor surface resolution — Item B (reissued).
+ *
+ * The data-access analyzer once hand-maintained five method-name lists
+ * (`EAGER_DB_METHODS`, `ORM_TABLE_VERBS`, `ORM_JOIN_VERBS`, `PRISMA_VERBS`, and
+ * `D1_CONVENIENCE`) plus the `COLLECTION_TRANSFORM_METHODS` runtime probe. A
+ * hand-copied vendor list drifts: the vendor adds, renames, or removes a method
+ * and the replica silently goes stale (the `.get()` gap, the deferred `.iterate()`,
+ * the missing lateral joins, the missing `…AndReturn` verbs). The reissued
+ * directive deletes the committed snapshot and resolves each vendor's declaration
+ * **from the tree under analysis, per run** — the `node_modules` (or workspace)
+ * path the tree's *own* imports resolve to, at the version that tree actually
+ * installs. Nothing about a vendor's API is committed here, and nothing is fetched
+ * from the network at analysis time.
+ *
+ * Three of the five vendor lists (`eagerMethods`, `ormTableVerbs`, `ormJoinVerbs`)
+ * are the union of the analyzer's irreducible cross-vendor grammar (the baseline,
+ * present regardless of what resolves) and the per-run probe — the methods only a
+ * specific vendor publishes. Two (`prismaVerbs`, `eagerExecutionMethods`) are
+ * resolved **entirely** from the tree, with no baseline. `COLLECTION_TRANSFORM_METHODS`
+ * is a runtime probe over `Array.prototype` and has no vendor declaration. When a
+ * vendor declaration cannot be resolved, the corresponding surface is `null` and
+ * its probe methods are absent (not a fallback list, not a stale snapshot); the
+ * resolution record carries the *reason* naming what could not be resolved, so a
+ * site whose classification depends on a probe-only method is `unproven`, never
+ * silent.
+ */
+import { readFileSync, existsSync, readdirSync } from 'node:fs';
+import path from 'node:path';
+import { parseFile, getNodeText } from '../languages/adapterBridge.js';
+/** The every-surface-null surface set — used when there is no project root (the
+ *  vertical slice tests, the raw extractor's direct-call API). */
+export const EMPTY_VENDOR_SURFACES = {
+    kyselyQueryCreator: null,
+    kyselySelectQueryBuilder: null,
+    betterSqlite3Statement: null,
+    betterSqlite3Database: null,
+    nodeSqliteStatement: null,
+    nodeSqliteDatabase: null,
+    d1Database: null,
+    d1PreparedStatement: null,
+    pgPool: null,
+    mysql2Connection: null,
+    prismaVerbs: null,
+    resolutions: [],
+};
+// Package specifiers shared by VENDOR_TYPE_SPECS (what to probe) and SURFACE_FIELDS
+// (the resolved field name per probe). Extracted so a rename lands in one place and
+// the duplicate-string-literal rule stays quiet on the three driver package names.
+const PKG_BETTER_SQLITE3_TYPES = '@types/better-sqlite3';
+const PKG_NODE_TYPES = '@types/node';
+const PKG_CLOUDFLARE_WORKERS_TYPES = '@cloudflare/workers-types';
+// The Prisma probe's target type name, and the version fallback rendered when a
+// package carries no resolvable version. Each repeats across every
+// `resolvePrismaSurface` / `resolveType` return branch, so a single constant names it.
+const PRISMA_DELEGATE_TYPE = '*Delegate';
+const VERSION_UNKNOWN = 'version unknown';
+const VENDOR_TYPE_SPECS = [
+    { pkg: PKG_BETTER_SQLITE3_TYPES, entry: 'index.d.ts', types: ['Database', 'Statement'] },
+    { pkg: PKG_NODE_TYPES, entry: 'sqlite.d.ts', types: ['DatabaseSync', 'StatementSync'] },
+    { pkg: PKG_CLOUDFLARE_WORKERS_TYPES, entry: 'index.d.ts', types: ['D1Database', 'D1PreparedStatement'] },
+    { pkg: 'kysely', entry: null, types: ['QueryCreator', 'SelectQueryBuilder'] },
+    // `@types/pg` and `mysql2` contribute only their single eager-execution member
+    // (`query` / `execute` respectively) — a Pool/Connection surface is a *client*
+    // surface (connect/end/on), not an eager-execution surface, so the whole
+    // declaration is not unioned the way the statement/database surfaces are.
+    { pkg: '@types/pg', entry: null, types: ['Pool'] },
+    { pkg: 'mysql2', entry: null, types: ['Connection'] },
+];
+/**
+ * Resolve a package's directory under `projectRoot`'s `node_modules`, walking up
+ * ancestor directories so a package hoisted to a workspace root still resolves.
+ * Returns the package root, or `null` when the package is not installed anywhere
+ * up the tree.
+ */
+function resolvePackageRoot(pkg, projectRoot) {
+    const segments = pkg.split('/');
+    let dir = path.resolve(projectRoot);
+    for (;;) {
+        const candidate = path.join(dir, 'node_modules', ...segments);
+        if (existsSync(path.join(candidate, 'package.json')))
+            return candidate;
+        const parent = path.dirname(dir);
+        if (parent === dir)
+            return null;
+        dir = parent;
+    }
+}
+/** Read a package's `version` field, or null when the package.json is absent or
+ *  unparseable. */
+function packageVersion(pkgRoot) {
+    try {
+        const parsed = JSON.parse(readFileSync(path.join(pkgRoot, 'package.json'), 'utf8'));
+        return typeof parsed.version === 'string' ? parsed.version : null;
+    }
+    catch {
+        return null;
+    }
+}
+/** Recursively collect every `.d.ts` under `dir`, skipping nested `node_modules`. */
+function walkDts(dir, out = []) {
+    let entries;
+    try {
+        entries = readdirSync(dir, { withFileTypes: true });
+    }
+    catch {
+        return out;
+    }
+    for (const e of entries) {
+        if (e.name === 'node_modules')
+            continue;
+        const p = path.join(dir, e.name);
+        if (e.isDirectory())
+            walkDts(p, out);
+        else if (p.endsWith('.d.ts'))
+            out.push(p);
+    }
+    return out;
+}
+/**
+ * The declaration kinds a named type may take: interfaces and classes (with an
+ * `interface_body`/`class_body`), plus type aliases (a `type_alias_declaration`
+ * whose body is an `object_type` or an `intersection_type` of `object_type`s).
+ * tree-sitter renders a declaration name as a leading `type_identifier` child
+ * for all three.
+ */
+const TYPE_DECLARATION_KINDS = new Set([
+    'interface_declaration',
+    'class_declaration',
+    'abstract_class_declaration',
+    'type_alias_declaration',
+]);
+/**
+ * Find every `interface_declaration` / `class_declaration` /
+ * `abstract_class_declaration` / `type_alias_declaration` named `typeName` in a
+ * parsed `.d.ts`.
+ *
+ * A name is not unique in a real declaration file: `@types/better-sqlite3`
+ * declares both `interface Statement` (the surface) and a *conditional*
+ * `type Statement<…> = …` alias (a tuple-parameter helper), in the same
+ * namespace. Returning the first match — whichever a depth-first walk reaches
+ * first — would let the helper alias shadow the interface and read an empty
+ * surface. Collect *all* matches and let the caller union their member surfaces.
+ */
+function findTypeDecls(root, typeName, sourceCode) {
+    const decls = [];
+    const stack = [root];
+    while (stack.length > 0) {
+        const node = stack.pop();
+        if (TYPE_DECLARATION_KINDS.has(node.type)) {
+            const nameNode = node.children?.find((c) => c.type === 'type_identifier');
+            if (nameNode && getNodeText(nameNode, sourceCode) === typeName)
+                decls.push(node);
+        }
+        if (node.children)
+            for (const c of node.children)
+                stack.push(c);
+    }
+    return decls;
+}
+/** A member node of a type body: a callable method/property signature or
+ *  definition. */
+function isMemberNode(t) {
+    return (t === 'method_signature' ||
+        t === 'property_signature' ||
+        t === 'method_definition' ||
+        t === 'public_field_definition' ||
+        t === 'property_definition');
+}
+/** Extract the identifier-name surface from a list of member nodes. Non-identifier
+ *  members (`[Symbol.dispose]`, string-literal keys) are dropped. */
+function collectCallableMembers(memberNodes, sourceCode) {
+    const members = new Set();
+    for (const m of memberNodes) {
+        if (!isMemberNode(m.type))
+            continue;
+        const nameNode = m.children?.find((c) => c.type === 'property_identifier');
+        if (!nameNode)
+            continue;
+        const name = getNodeText(nameNode, sourceCode);
+        if (name && /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name))
+            members.add(name);
+    }
+    return members;
+}
+/**
+ * Read the member surface of a `type_alias_declaration` whose body is an
+ * `object_type` or an `intersection_type` of `object_type`s — e.g.
+ * `type X = { a(): void } & { b(): void }`. Only the top-level members of each
+ * `object_type` are collected; a nested `object_type` inside a member's own type
+ * annotation (an index signature's value type, a method's return type) is NOT
+ * descended into — those are member *types*, not members of the alias.
+ */
+function readTypeAliasMembers(decl, sourceCode) {
+    const typeNode = decl.children?.find((c) => c.type === 'intersection_type' || c.type === 'object_type');
+    if (!typeNode)
+        return new Set();
+    const memberNodes = [];
+    if (typeNode.type === 'object_type') {
+        memberNodes.push(...(typeNode.children ?? []));
+    }
+    else if (typeNode.type === 'intersection_type') {
+        for (const part of typeNode.children ?? []) {
+            if (part.type === 'object_type')
+                memberNodes.push(...(part.children ?? []));
+            // A named-type reference (`type_identifier`) inside an intersection is a
+            // cross-declaration alias this single-file reader does not chase — the
+            // generated Prisma client never uses it for model delegates.
+        }
+    }
+    return collectCallableMembers(memberNodes, sourceCode);
+}
+/**
+ * Read the callable member-name surface of one declared type from a `.d.ts` file.
+ * Method and property members both count — a vendor may declare `all(...)` as a
+ * method or as a `(...args) => Result` property, and both are part of the callable
+ * surface. Non-identifier members (`[Symbol.dispose]`, string-literal keys) are
+ * dropped. Returns null when the file is unreadable, unparseable, or does not
+ * declare the named type.
+ *
+ * When a name is declared more than once (an interface shadowed by a helper type
+ * alias, as in `@types/better-sqlite3`'s `Statement`), the surface is the union of
+ * every declaration's members — a conditional-type alias contributes none, so the
+ * interface's surface wins rather than being masked by the helper.
+ */
+function readTypeMemberSurface(dtsPath, typeName) {
+    let content;
+    try {
+        content = readFileSync(dtsPath, 'utf8');
+    }
+    catch {
+        return null;
+    }
+    const ast = parseFile(dtsPath, content);
+    if (!ast)
+        return null;
+    const decls = findTypeDecls(ast.root, typeName, content);
+    if (decls.length === 0)
+        return null;
+    const members = new Set();
+    for (const decl of decls) {
+        const body = decl.children?.find((c) => c.type === 'interface_body' || c.type === 'class_body');
+        if (body) {
+            for (const m of collectCallableMembers(body.children ?? [], content))
+                members.add(m);
+        }
+        else if (decl.type === 'type_alias_declaration') {
+            for (const m of readTypeAliasMembers(decl, content))
+                members.add(m);
+        }
+    }
+    return members;
+}
+/**
+ * Enumerate every `*Delegate` declaration in a parsed generated Prisma client and
+ * return the union of their callable member names — the model verb set. Prisma 6
+ * generates one delegate *interface* per model (`export interface UserDelegate<…>`)
+ * whose members are exactly the model verbs; the `[K: symbol]` index signature the
+ * generator adds is not a callable member and is dropped. Returns null when no
+ * `*Delegate` declaration is found (so an empty client is `unproven`, not an empty
+ * verb set).
+ */
+function readDelegateUnion(root, sourceCode) {
+    const verbs = new Set();
+    let found = false;
+    const stack = [root];
+    while (stack.length > 0) {
+        const node = stack.pop();
+        if (TYPE_DECLARATION_KINDS.has(node.type)) {
+            const nameNode = node.children?.find((c) => c.type === 'type_identifier');
+            const name = nameNode ? getNodeText(nameNode, sourceCode) : null;
+            if (name && /Delegate$/.test(name)) {
+                found = true;
+                const body = node.children?.find((c) => c.type === 'interface_body' || c.type === 'class_body');
+                const members = body
+                    ? collectCallableMembers(body.children ?? [], sourceCode)
+                    : node.type === 'type_alias_declaration'
+                        ? readTypeAliasMembers(node, sourceCode)
+                        : new Set();
+                for (const m of members)
+                    verbs.add(m);
+            }
+        }
+        if (node.children)
+            for (const c of node.children)
+                stack.push(c);
+    }
+    return found ? verbs : null;
+}
+/**
+ * Resolve the generated Prisma client's model verb set from the analyzed tree.
+ *
+ * Prisma generates its client into a dot-prefixed *virtual* package —
+ * `node_modules/.prisma/client/index.d.ts` — re-exported by the `@prisma/client`
+ * shim. The verbs live on the generated `*Delegate` declarations (one per model),
+ * identical across models by construction, so the union of their member names is
+ * exactly the verb set the repo's own schema generated. A tree without a generated
+ * client (no `node_modules/.prisma/client`) is `unproven` with that reason — never
+ * a committed snapshot, never a network fetch.
+ */
+function resolvePrismaSurface(projectRoot) {
+    const pkgRoot = resolvePackageRoot('.prisma/client', projectRoot);
+    if (!pkgRoot) {
+        return {
+            verbs: null,
+            resolution: {
+                pkg: '.prisma/client',
+                type: PRISMA_DELEGATE_TYPE,
+                path: null,
+                version: null,
+                reason: `generated Prisma client \`.prisma/client\` is not present under ${path.join(path.resolve(projectRoot), 'node_modules')} (run \`prisma generate\` in the analyzed tree)`,
+            },
+        };
+    }
+    const version = packageVersion(pkgRoot);
+    const indexDts = path.join(pkgRoot, 'index.d.ts');
+    if (!existsSync(indexDts)) {
+        return {
+            verbs: null,
+            resolution: {
+                pkg: '.prisma/client',
+                type: PRISMA_DELEGATE_TYPE,
+                path: null,
+                version,
+                reason: `generated Prisma client has no index.d.ts (${version ?? VERSION_UNKNOWN})`,
+            },
+        };
+    }
+    let content;
+    try {
+        content = readFileSync(indexDts, 'utf8');
+    }
+    catch {
+        return {
+            verbs: null,
+            resolution: {
+                pkg: '.prisma/client',
+                type: PRISMA_DELEGATE_TYPE,
+                path: null,
+                version,
+                reason: `could not read ${indexDts}`,
+            },
+        };
+    }
+    const ast = parseFile(indexDts, content);
+    if (!ast) {
+        return {
+            verbs: null,
+            resolution: {
+                pkg: '.prisma/client',
+                type: PRISMA_DELEGATE_TYPE,
+                path: null,
+                version,
+                reason: `could not parse ${indexDts}`,
+            },
+        };
+    }
+    const verbs = readDelegateUnion(ast.root, content);
+    if (verbs === null) {
+        return {
+            verbs: null,
+            resolution: {
+                pkg: '.prisma/client',
+                type: PRISMA_DELEGATE_TYPE,
+                path: null,
+                version,
+                reason: `no \`*Delegate\` declaration found in the generated client (${version ?? VERSION_UNKNOWN})`,
+            },
+        };
+    }
+    return {
+        verbs,
+        resolution: { pkg: '.prisma/client', type: PRISMA_DELEGATE_TYPE, path: indexDts, version, reason: null },
+    };
+}
+/**
+ * Resolve one (package, type) surface from the tree's `node_modules`. Reads the
+ * named entry file when the spec names one; otherwise walks the package's shipped
+ * `.d.ts` files for the declaration (kysely's builders are split across subpath
+ * files, so its barrel index does not re-declare them). Returns a resolution
+ * record plus the member set (or null).
+ */
+function resolveType(spec, type, projectRoot) {
+    const pkgRoot = resolvePackageRoot(spec.pkg, projectRoot);
+    if (!pkgRoot) {
+        return {
+            members: null,
+            resolution: {
+                pkg: spec.pkg,
+                type,
+                path: null,
+                version: null,
+                reason: `package \`${spec.pkg}\` is not installed under ${path.join(path.resolve(projectRoot), 'node_modules')}`,
+            },
+        };
+    }
+    const version = packageVersion(pkgRoot);
+    // Named entry first; if the type is not declared there, fall back to a walk.
+    const candidates = [];
+    if (spec.entry)
+        candidates.push(path.join(pkgRoot, spec.entry));
+    if (!spec.entry)
+        walkDts(pkgRoot, candidates);
+    for (const dts of candidates) {
+        if (!existsSync(dts))
+            continue;
+        const members = readTypeMemberSurface(dts, type);
+        if (members !== null) {
+            return {
+                members,
+                resolution: { pkg: spec.pkg, type, path: dts, version, reason: null },
+            };
+        }
+    }
+    // The entry (if named) may exist but not declare the type — walk as a fallback.
+    if (spec.entry) {
+        const walked = [];
+        walkDts(pkgRoot, walked);
+        for (const dts of walked) {
+            const members = readTypeMemberSurface(dts, type);
+            if (members !== null) {
+                return {
+                    members,
+                    resolution: { pkg: spec.pkg, type, path: dts, version, reason: null },
+                };
+            }
+        }
+    }
+    return {
+        members: null,
+        resolution: {
+            pkg: spec.pkg,
+            type,
+            path: null,
+            version,
+            reason: `type \`${type}\` is not declared in the shipped \`${spec.pkg}\` declarations (${version ?? VERSION_UNKNOWN})`,
+        },
+    };
+}
+/** The per-surface field names, in resolution order, keyed by the (pkg, type)
+ *  pair they correspond to. */
+const SURFACE_FIELDS = [
+    { pkg: PKG_BETTER_SQLITE3_TYPES, type: 'Database', field: 'betterSqlite3Database' },
+    { pkg: PKG_BETTER_SQLITE3_TYPES, type: 'Statement', field: 'betterSqlite3Statement' },
+    { pkg: PKG_NODE_TYPES, type: 'DatabaseSync', field: 'nodeSqliteDatabase' },
+    { pkg: PKG_NODE_TYPES, type: 'StatementSync', field: 'nodeSqliteStatement' },
+    { pkg: PKG_CLOUDFLARE_WORKERS_TYPES, type: 'D1Database', field: 'd1Database' },
+    { pkg: PKG_CLOUDFLARE_WORKERS_TYPES, type: 'D1PreparedStatement', field: 'd1PreparedStatement' },
+    { pkg: 'kysely', type: 'QueryCreator', field: 'kyselyQueryCreator' },
+    { pkg: 'kysely', type: 'SelectQueryBuilder', field: 'kyselySelectQueryBuilder' },
+    { pkg: '@types/pg', type: 'Pool', field: 'pgPool' },
+    { pkg: 'mysql2', type: 'Connection', field: 'mysql2Connection' },
+];
+/**
+ * Resolve every vendor surface from the tree under analysis. One pass per run;
+ * nothing is cached across runs and nothing is fetched — a tree on a given
+ * vendor version is judged by that version's own declarations.
+ *
+ * @param projectRoot - The root of the tree under analysis; its `node_modules`
+ *   (walked upward to the workspace root) is where each vendor's declarations resolve.
+ * @returns Every vendor surface, each either the resolved member set or `null`
+ *   with a per-surface `resolution` record carrying the reason.
+ */
+export function resolveVendorSurfaces(projectRoot) {
+    const surfaces = {};
+    const resolutions = [];
+    for (const { pkg, type, field } of SURFACE_FIELDS) {
+        const spec = VENDOR_TYPE_SPECS.find((s) => s.pkg === pkg && s.types.includes(type));
+        const { members, resolution } = resolveType(spec, type, projectRoot);
+        surfaces[field] = members;
+        resolutions.push(resolution);
+    }
+    // Prisma is resolved separately: it is not a single named declaration type but
+    // the union of every generated `*Delegate` declaration in `.prisma/client`.
+    const prisma = resolvePrismaSurface(projectRoot);
+    surfaces.prismaVerbs = prisma.verbs;
+    resolutions.push(prisma.resolution);
+    return {
+        kyselyQueryCreator: surfaces.kyselyQueryCreator ?? null,
+        kyselySelectQueryBuilder: surfaces.kyselySelectQueryBuilder ?? null,
+        betterSqlite3Statement: surfaces.betterSqlite3Statement ?? null,
+        betterSqlite3Database: surfaces.betterSqlite3Database ?? null,
+        nodeSqliteStatement: surfaces.nodeSqliteStatement ?? null,
+        nodeSqliteDatabase: surfaces.nodeSqliteDatabase ?? null,
+        d1Database: surfaces.d1Database ?? null,
+        d1PreparedStatement: surfaces.d1PreparedStatement ?? null,
+        pgPool: surfaces.pgPool ?? null,
+        mysql2Connection: surfaces.mysql2Connection ?? null,
+        prismaVerbs: surfaces.prismaVerbs ?? null,
+        resolutions,
+    };
+}
+/** Add every member of `names` that the surface publishes into `out`. */
+function addIfPublished(surface, names, out) {
+    if (!surface)
+        return;
+    for (const name of names)
+        if (surface.has(name))
+            out.add(name);
+}
+/**
+ * Derive the method sets the analyzer reads. Three of them (`eagerMethods`,
+ * `ormTableVerbs`, `ormJoinVerbs`) are the union of the analyzer's irreducible
+ * cross-vendor grammar (the baseline, present regardless of what resolves) and the
+ * per-run *probe* — the methods only a specific vendor publishes that the baseline
+ * lacks. Two more are resolved *entirely* from the tree, with no baseline:
+ *
+ *   - `prismaVerbs` — the union of the generated `.prisma/client` `*Delegate`
+ *     member names. No hand-kept fallback: where `.prisma/client` is not generated,
+ *     the set is null and the site is `unproven` with that reason.
+ *   - `eagerExecutionMethods` — the cross-driver eager-execution surface, the union
+ *     of whichever driver surfaces resolve (D1PreparedStatement; better-sqlite3 and
+ *     node:sqlite statement+database; `query` from pg; `execute` from mysql2).
+ *     Null when no driver resolves, never a fallback list.
+ *
+ * The baseline is not a copy of any single vendor's declaration: it is the
+ * analyzer's accumulated judgment of the generic SQL-driver/builder grammar, the
+ * cross-vendor union no one vendor is the authority for (the same criterion that
+ * keeps the seven irreducible lists). The probe supplies exactly what that grammar
+ * misses and only a vendor publishes — `iterate` (better-sqlite3), `mergeInto` /
+ * `replaceInto` and `fullJoin` / `*JoinLateral` (Kysely).
+ *
+ * @param s - The resolved vendor surfaces to derive the analyzer's method sets from.
+ * @returns The derived method sets (`eagerMethods`, `ormTableVerbs`, `ormJoinVerbs`,
+ *   `prismaVerbs`, `eagerExecutionMethods`) the data-access analyzer reads.
+ */
+export function deriveVendorSets(s) {
+    // Irreducible baseline: the generic eager-I/O and builder-verb grammar.
+    const eagerMethods = new Set([
+        'query', // generic driver abstraction (handle.query)
+        'run', 'all', 'get', 'first', 'raw', 'exec', 'batch', // generic eager I/O
+    ]);
+    const ormTableVerbs = new Set(['selectFrom', 'deleteFrom', 'insertInto', 'updateTable']);
+    const ormJoinVerbs = new Set(['join', 'leftJoin', 'rightJoin', 'innerJoin']);
+    // Per-run probe additions — absent when the vendor is unresolvable (unproven).
+    addIfPublished(s.betterSqlite3Statement, ['iterate'], eagerMethods);
+    addIfPublished(s.kyselyQueryCreator, ['mergeInto', 'replaceInto'], ormTableVerbs);
+    if (s.kyselySelectQueryBuilder) {
+        for (const m of s.kyselySelectQueryBuilder) {
+            if (m.endsWith('Join') || m.endsWith('JoinLateral'))
+                ormJoinVerbs.add(m);
+        }
+    }
+    // Eager-execution surface — the cross-driver union of resolved statement/database
+    // surfaces, plus pg's `query` and mysql2's `execute`. Null when nothing resolves
+    // (the site is `unproven`); a tree with only better-sqlite3 gets better-sqlite3's
+    // methods and nothing else.
+    const eagerExecutionMethods = new Set();
+    let anyEagerDriverResolved = false;
+    const unionSurface = (surface) => {
+        if (!surface)
+            return;
+        anyEagerDriverResolved = true;
+        for (const m of surface)
+            eagerExecutionMethods.add(m);
+    };
+    unionSurface(s.d1PreparedStatement);
+    unionSurface(s.betterSqlite3Statement);
+    unionSurface(s.betterSqlite3Database);
+    unionSurface(s.nodeSqliteStatement);
+    unionSurface(s.nodeSqliteDatabase);
+    if (s.pgPool) {
+        anyEagerDriverResolved = true;
+        if (s.pgPool.has('query'))
+            eagerExecutionMethods.add('query');
+    }
+    if (s.mysql2Connection) {
+        anyEagerDriverResolved = true;
+        if (s.mysql2Connection.has('execute'))
+            eagerExecutionMethods.add('execute');
+    }
+    return {
+        eagerMethods,
+        ormTableVerbs,
+        ormJoinVerbs,
+        prismaVerbs: s.prismaVerbs,
+        eagerExecutionMethods: anyEagerDriverResolved ? eagerExecutionMethods : null,
+    };
+}
+//# sourceMappingURL=vendorSurfaces.js.map

package/dist/analyzers/vendorSurfaces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vendorSurfaces.js","sourceRoot":"","sources":["../../src/analyzers/vendorSurfaces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AA2CvE;kEACkE;AAClE,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,kBAAkB,EAAE,IAAI;IACxB,wBAAwB,EAAE,IAAI;IAC9B,sBAAsB,EAAE,IAAI;IAC5B,qBAAqB,EAAE,IAAI;IAC3B,mBAAmB,EAAE,IAAI;IACzB,kBAAkB,EAAE,IAAI;IACxB,UAAU,EAAE,IAAI;IAChB,mBAAmB,EAAE,IAAI;IACzB,MAAM,EAAE,IAAI;IACZ,gBAAgB,EAAE,IAAI;IACtB,WAAW,EAAE,IAAI;IACjB,WAAW,EAAE,EAAE;CAChB,CAAC;AAgCF,oFAAoF;AACpF,oFAAoF;AACpF,mFAAmF;AACnF,MAAM,wBAAwB,GAAG,uBAAuB,CAAC;AACzD,MAAM,cAAc,GAAG,aAAa,CAAC;AACrC,MAAM,4BAA4B,GAAG,2BAA2B,CAAC;AAEjE,gFAAgF;AAChF,mEAAmE;AACnE,uFAAuF;AACvF,MAAM,oBAAoB,GAAG,WAAW,CAAC;AACzC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAE1C,MAAM,iBAAiB,GAA8B;IACnD,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE;IACxF,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC,EAAE;IACvF,EAAE,GAAG,EAAE,4BAA4B,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,qBAAqB,CAAC,EAAE;IACxG,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC,EAAE;IAC7E,+EAA+E;IAC/E,+EAA+E;IAC/E,yEAAyE;IACzE,0EAA0E;IAC1E,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE;IAClD,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE;CACtD,CAAC;AAEF;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,GAAW,EAAE,WAAmB;IAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpC,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC,CAAC;QAC9D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAChC,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC;AAED;mBACmB;AACnB,SAAS,cAAc,CAAC,OAAe;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAEjF,CAAC;QACF,OAAO,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,qFAAqF;AACrF,SAAS,OAAO,CAAC,GAAW,EAAE,MAAgB,EAAE;IAC9C,IAAI,OAAmC,CAAC;IACxC,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAA+B,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC;IACb,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;YAAE,SAAS;QACxC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,WAAW,EAAE;YAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,uBAAuB;IACvB,mBAAmB;IACnB,4BAA4B;IAC5B,wBAAwB;CACzB,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CAAC,IAAa,EAAE,QAAgB,EAAE,UAAkB;IACxE,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;YAC1E,IAAI,QAAQ,IAAI,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;kBACkB;AAClB,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CACL,CAAC,KAAK,kBAAkB;QACxB,CAAC,KAAK,oBAAoB;QAC1B,CAAC,KAAK,mBAAmB;QACzB,CAAC,KAAK,yBAAyB;QAC/B,CAAC,KAAK,qBAAqB,CAC5B,CAAC;AACJ,CAAC;AAED;qEACqE;AACrE,SAAS,sBAAsB,CAAC,WAA+B,EAAE,UAAkB;IACjF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACpC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC/C,IAAI,IAAI,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,IAAa,EAAE,UAAkB;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAClE,CAAC;IACF,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,WAAW,GAAc,EAAE,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;gBAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;YAC5E,yEAAyE;YACzE,uEAAuE;YACvE,6DAA6D;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,sBAAsB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,qBAAqB,CAAC,OAAe,EAAE,QAAgB;IAC9D,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAChG,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,OAAO,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvF,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAClD,KAAK,MAAM,CAAC,IAAI,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,IAAa,EAAE,UAAkB;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAc,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjE,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,KAAK,GAAG,IAAI,CAAC;gBACb,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC9D,CAAC;gBACF,MAAM,OAAO,GAAG,IAAI;oBAClB,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,UAAU,CAAC;oBACzD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB;wBACtC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC;wBACxC,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;gBACxB,KAAK,MAAM,CAAC,IAAI,OAAO;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ;YAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,oBAAoB,CAAC,WAAmB;IAI/C,MAAM,OAAO,GAAG,kBAAkB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,KAAK,EAAE,IAAI;YACX,UAAU,EAAE;gBACV,GAAG,EAAE,gBAAgB;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,mEAAmE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,iDAAiD;aACjL;SACF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,IAAI;YACX,UAAU,EAAE;gBACV,GAAG,EAAE,gBAAgB;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,IAAI;gBACV,OAAO;gBACP,MAAM,EAAE,8CAA8C,OAAO,IAAI,eAAe,GAAG;aACpF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,KAAK,EAAE,IAAI;YACX,UAAU,EAAE;gBACV,GAAG,EAAE,gBAAgB;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,IAAI;gBACV,OAAO;gBACP,MAAM,EAAE,kBAAkB,QAAQ,EAAE;aACrC;SACF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO;YACL,KAAK,EAAE,IAAI;YACX,UAAU,EAAE;gBACV,GAAG,EAAE,gBAAgB;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,IAAI;gBACV,OAAO;gBACP,MAAM,EAAE,mBAAmB,QAAQ,EAAE;aACtC;SACF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO;YACL,KAAK,EAAE,IAAI;YACX,UAAU,EAAE;gBACV,GAAG,EAAE,gBAAgB;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,IAAI,EAAE,IAAI;gBACV,OAAO;gBACP,MAAM,EAAE,+DAA+D,OAAO,IAAI,eAAe,GAAG;aACrG;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK;QACL,UAAU,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE;KACzG,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAClB,IAAoB,EACpB,IAAY,EACZ,WAAmB;IAEnB,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,IAAI;YACb,UAAU,EAAE;gBACV,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,IAAI;gBACJ,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,aAAa,IAAI,CAAC,GAAG,6BAA6B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,EAAE;aACjH;SACF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAExC,6EAA6E;IAC7E,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,IAAI,CAAC,KAAK;QAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAE9C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,OAAO,GAAG,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO;gBACL,OAAO;gBACP,UAAU,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE;aACtE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACjD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,OAAO;oBACL,OAAO;oBACP,UAAU,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE;iBACtE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,UAAU,EAAE;YACV,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,IAAI;YACJ,IAAI,EAAE,IAAI;YACV,OAAO;YACP,MAAM,EAAE,UAAU,IAAI,uCAAuC,IAAI,CAAC,GAAG,oBAAoB,OAAO,IAAI,eAAe,GAAG;SACvH;KACF,CAAC;AACJ,CAAC;AAED;+BAC+B;AAC/B,MAAM,cAAc,GAId;IACJ,EAAE,GAAG,EAAE,wBAAwB,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,uBAAuB,EAAE;IACnF,EAAE,GAAG,EAAE,wBAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,wBAAwB,EAAE;IACrF,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,oBAAoB,EAAE;IAC1E,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE;IAC5E,EAAE,GAAG,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE;IAC9E,EAAE,GAAG,EAAE,4BAA4B,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,qBAAqB,EAAE;IAChG,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,oBAAoB,EAAE;IACpE,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,0BAA0B,EAAE;IAChF,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE;IACnD,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,EAAE;CACjE,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAAmB;IACvD,MAAM,QAAQ,GAA+C,EAAE,CAAC;IAChE,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,cAAc,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAE,CAAC;QACrF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,QAAQ,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IACD,+EAA+E;IAC/E,4EAA4E;IAC5E,MAAM,MAAM,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC;IACpC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACpC,OAAO;QACL,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,IAAI,IAAI;QACvD,wBAAwB,EAAE,QAAQ,CAAC,wBAAwB,IAAI,IAAI;QACnE,sBAAsB,EAAE,QAAQ,CAAC,sBAAsB,IAAI,IAAI;QAC/D,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB,IAAI,IAAI;QAC7D,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB,IAAI,IAAI;QACzD,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,IAAI,IAAI;QACvD,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,IAAI;QACvC,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB,IAAI,IAAI;QACzD,MAAM,EAAE,QAAQ,CAAC,MAAM,IAAI,IAAI;QAC/B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,IAAI,IAAI;QACnD,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,IAAI;QACzC,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,cAAc,CACrB,OAAmC,EACnC,KAAwB,EACxB,GAAgB;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAiB;IAChD,wEAAwE;IACxE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;QACnC,OAAO,EAAE,4CAA4C;QACrD,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB;KAC3E,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;IACjG,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAErF,+EAA+E;IAC/E,cAAc,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAC;IACpE,cAAc,CAAC,CAAC,CAAC,kBAAkB,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,CAAC;IAClF,IAAI,CAAC,CAAC,wBAAwB,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,wBAAwB,EAAE,CAAC;YAC3C,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,iFAAiF;IACjF,kFAAkF;IAClF,4BAA4B;IAC5B,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;IAChD,IAAI,sBAAsB,GAAG,KAAK,CAAC;IACnC,MAAM,YAAY,GAAG,CAAC,OAAmC,EAAQ,EAAE;QACjE,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,sBAAsB,GAAG,IAAI,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC;IACF,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IACpC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;IACvC,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IACtC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IACpC,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACb,sBAAsB,GAAG,IAAI,CAAC;QAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;QACvB,sBAAsB,GAAG,IAAI,CAAC;QAC9B,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,qBAAqB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,YAAY;QACZ,aAAa;QACb,YAAY;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,qBAAqB,EAAE,sBAAsB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI;KAC7E,CAAC;AACJ,CAAC"}

package/dist/auditRunner.d.ts

@@ -49,8 +49,12 @@ export declare function resolveFilesScope(options: AuditRunnerOptions, scopeFile
  * @param analyzerResults per-analyzer results, keyed by analyzer name
  * @param filesAnalyzed total number of files processed this run
  * @param unprovenSitesByAnalyzer per-analyzer count of unproven (cannot-fire) sites
+ * @param unprovenSitesByRule per-rule count + cause of unproven (cannot-fire) sites (K9)
  */
-export declare function generateSummary(analyzerResults: Record<string, AnalyzerResult>, filesAnalyzed: number, unprovenSitesByAnalyzer?: ReadonlyMap<string, number>): {
+export declare function generateSummary(analyzerResults: Record<string, AnalyzerResult>, filesAnalyzed: number, unprovenSitesByAnalyzer?: ReadonlyMap<string, number>, unprovenSitesByRule?: ReadonlyMap<string, {
+    count: number;
+    causes: ReadonlyMap<string, number>;
+}>): {
     totalFiles: number;
     totalViolations: number;
     criticalIssues: number;
@@ -68,6 +72,10 @@ export declare function generateSummary(analyzerResults: Record<string, Analyzer
         count: number;
     }[];
     unprovenSites: number;
+    unprovenSitesByRule: Record<string, {
+        count: number;
+        causes: Record<string, number>;
+    }>;
     heldOut: number;
 };
 export interface DiagnosticWarning {

package/dist/auditRunner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"auditRunner.d.ts","sourceRoot":"","sources":["../src/auditRunner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,cAAc,EAoBf,MAAM,YAAY,CAAC;AAiDpB,OAAO,EAAoC,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AA4iC1F;;;;;;;;;GASG;AACH,wBAAsB,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA4B1F;AAyoBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,GAAE,kBAAuB;oCAInB,MAAM,KAAG,OAAO,CAAC,kBAAkB,CAAC;uBAQjD,kBAAkB,KAAG,OAAO,CAAC,WAAW,CAAC;6BAiK1B,WAAW,UAAU,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;EAS7F;AAoGD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAAE,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsCnB;AAMD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,aAAa,EAAE,MAAM,EACrB,uBAAuB,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa;;;;;;;;oBAQjB,MAAM;wBAAkB,MAAM;qBAAe,MAAM;uBAAiB,MAAM;;;;;;;;EAyD1H;AA2FD,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,WAAW,GAAG,YAAY,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,MAAM,EAAE,EACnB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,OAAO,GACnB,iBAAiB,EAAE,CAoDrB;AAED;;GAEG;AACH,wBAAsB,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC,CAGjF;AAED,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"auditRunner.d.ts","sourceRoot":"","sources":["../src/auditRunner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,cAAc,EAoBf,MAAM,YAAY,CAAC;AAgDpB,OAAO,EAAoC,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAymC1F;;;;;;;;;GASG;AACH,wBAAsB,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA4B1F;AA+mBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,GAAE,kBAAuB;oCAInB,MAAM,KAAG,OAAO,CAAC,kBAAkB,CAAC;uBAQjD,kBAAkB,KAAG,OAAO,CAAC,WAAW,CAAC;6BA2K1B,WAAW,UAAU,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;EAS7F;AAoGD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAAE,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsCnB;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,aAAa,EAAE,MAAM,EACrB,uBAAuB,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAChE,mBAAmB,GAAE,WAAW,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,CAAa;;;;;;;;oBAQ7D,MAAM;wBAAkB,MAAM;qBAAe,MAAM;uBAAiB,MAAM;;;;;;;;eAiDnE,MAAM;gBAAU,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;;;EAkB7F;AA2FD,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,WAAW,GAAG,YAAY,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,MAAM,EAAE,EACnB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,OAAO,GACnB,iBAAiB,EAAE,CAoDrB;AAED;;GAEG;AACH,wBAAsB,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC,CAGjF;AAED,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}