code-auditor-mcp 5.0.2 → 5.3.3

package/dist/analyzers/universal/schema/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../../src/analyzers/universal/schema/config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,qBAAsB,CAAC;AACpD,eAAO,MAAM,gBAAgB,gCAAiC,CAAC;AAC/D,eAAO,MAAM,aAAa,wBAAyB,CAAC;AAEpD,eAAO,MAAM,qBAAqB,EAAE,oBAyBnC,CAAC;AAEF;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE7C"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../../src/analyzers/universal/schema/config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,qBAAsB,CAAC;AACpD,eAAO,MAAM,gBAAgB,gCAAiC,CAAC;AAC/D,eAAO,MAAM,aAAa,wBAAyB,CAAC;AAEpD,eAAO,MAAM,qBAAqB,EAAE,oBAuBnC,CAAC;AAEF;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE7C"}

package/dist/analyzers/universal/schema/config.js

@@ -23,7 +23,6 @@ export const DEFAULT_SCHEMA_CONFIG = {
     enableTableUsageTracking: true,
     checkMissingReferences: true,
     checkNamingConventions: true,
-    detectUnusedTables: false,
     validateQueryPatterns: true,
     reportUnresolvedQueries: true,
     maxQueriesPerFunction: 5,
@@ -36,7 +35,6 @@ export const DEFAULT_SCHEMA_CONFIG = {
     schemaFilePatterns: ['*.schema.json', '*-schema.json'],
     dataFilePatterns: ['*.data.json', '*.example.json'],
     strictMode: false,
-    allowAdditionalProperties: true,
     // Spec-17 R2 defaults
     sqlTagNames: [...SQL_TAG_NAMES],
     dbBindingNames: [...DB_BINDING_NAMES],

package/dist/analyzers/universal/schema/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../src/analyzers/universal/schema/config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,CAAU,CAAC;AACpD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAU,CAAC;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,IAAI,CAAU,CAAC;AAEpD,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,wBAAwB,EAAE,IAAI;IAC9B,sBAAsB,EAAE,IAAI;IAC5B,sBAAsB,EAAE,IAAI;IAC5B,kBAAkB,EAAE,KAAK;IACzB,qBAAqB,EAAE,IAAI;IAC3B,uBAAuB,EAAE,IAAI;IAC7B,qBAAqB,EAAE,CAAC;IACxB,aAAa,EAAE,IAAI;IACnB,eAAe,EAAE,EAAE;IACnB,OAAO,EAAE,EAAE;IACX,mBAAmB,EAAE,IAAI;IACzB,iBAAiB,EAAE,UAAU;IAC7B,gBAAgB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC;IACvF,kBAAkB,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;IACtD,gBAAgB,EAAE,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACnD,UAAU,EAAE,KAAK;IACjB,yBAAyB,EAAE,IAAI;IAC/B,sBAAsB;IACtB,WAAW,EAAE,CAAC,GAAG,aAAa,CAAC;IAC/B,cAAc,EAAE,CAAC,GAAG,gBAAgB,CAAC;IACrC,cAAc,EAAE,CAAC,GAAG,gBAAgB,CAAC;IACrC,aAAa,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC;IAC/C,WAAW,EAAE,EAAE;IACf,YAAY,EAAE,EAAE;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../src/analyzers/universal/schema/config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,CAAU,CAAC;AACpD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAU,CAAC;AAC/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,IAAI,CAAU,CAAC;AAEpD,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,wBAAwB,EAAE,IAAI;IAC9B,sBAAsB,EAAE,IAAI;IAC5B,sBAAsB,EAAE,IAAI;IAC5B,qBAAqB,EAAE,IAAI;IAC3B,uBAAuB,EAAE,IAAI;IAC7B,qBAAqB,EAAE,CAAC;IACxB,aAAa,EAAE,IAAI;IACnB,eAAe,EAAE,EAAE;IACnB,OAAO,EAAE,EAAE;IACX,mBAAmB,EAAE,IAAI;IACzB,iBAAiB,EAAE,UAAU;IAC7B,gBAAgB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC;IACvF,kBAAkB,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;IACtD,gBAAgB,EAAE,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACnD,UAAU,EAAE,KAAK;IACjB,sBAAsB;IACtB,WAAW,EAAE,CAAC,GAAG,aAAa,CAAC;IAC/B,cAAc,EAAE,CAAC,GAAG,gBAAgB,CAAC;IACrC,cAAc,EAAE,CAAC,GAAG,gBAAgB,CAAC;IACrC,aAAa,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC;IAC/C,WAAW,EAAE,EAAE;IACf,YAAY,EAAE,EAAE;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC"}

package/dist/analyzers/universal/schema/types.d.ts

@@ -15,7 +15,6 @@ export interface SchemaAnalyzerConfig {
     enableTableUsageTracking?: boolean;
     checkMissingReferences?: boolean;
     checkNamingConventions?: boolean;
-    detectUnusedTables?: boolean;
     validateQueryPatterns?: boolean;
     /** Spec 58 R1 — report DB-call SQL held in an unresolvable identifier as an
      *  `unresolved-query` coverage diagnostic (rather than silently skipping it).
@@ -47,7 +46,6 @@ export interface SchemaAnalyzerConfig {
         data: string | string[];
     }>;
     strictMode?: boolean;
-    allowAdditionalProperties?: boolean;
     sqlTagNames?: string[];
     dbBindingNames?: string[];
     dbWrapperNames?: string[];

package/dist/analyzers/universal/schema/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/analyzers/universal/schema/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wCAAwC,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAEnC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC;;;qCAGiC;IACjC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;iEAC6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAE3B,OAAO,CAAC,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,KAAK,CAAC;YACZ,IAAI,EAAE,MAAM,CAAC;YACb,OAAO,EAAE,KAAK,CAAC;gBAAE,IAAI,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;aAAE,CAAC,CAAC;SACjD,CAAC,CAAC;KACJ,CAAC,CAAC;IAGH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,iBAAiB,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;IACjF,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAG5B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe,CAAC,EAAE,KAAK,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;KACzB,CAAC,CAAC;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,yBAAyB,CAAC,EAAE,OAAO,CAAC;IAIpC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB,0EAA0E;IAC1E,YAAY,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAElC;;uCAEmC;IACnC,UAAU,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5B;;kFAE8E;IAC9E,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;IACzE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE,eAAe,GAAG,oBAAoB,CAAC;CACjD;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6CAA6C;IAC7C,IAAI,EAAE,QAAQ,GAAG,WAAW,CAAC;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,GAAG,EAAE,MAAM,CAAC;IACZ,wDAAwD;IACxD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,eAAe,GAAG,cAAc,GAAG,cAAc,GAAG,iBAAiB,CAAC;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,eAAe,EAAE,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,yBAAyB;IACxC,GAAG,EAAE,GAAG,CAAC;IACT,OAAO,EAAE,eAAe,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7C,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CACrE;AAED,+DAA+D;AAC/D,MAAM,MAAM,WAAW,GAAG;IACxB,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,QAAQ,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,uDAAuD;AACvD,MAAM,WAAW,QAAQ;IACvB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,gEAAgE;IAChE,IAAI,EAAE,OAAO,CAAC;IACd,uEAAuE;IACvE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/analyzers/universal/schema/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wCAAwC,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,oBAAoB;IAEnC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC;;;qCAGiC;IACjC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;iEAC6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAE3B,OAAO,CAAC,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,KAAK,CAAC;YACZ,IAAI,EAAE,MAAM,CAAC;YACb,OAAO,EAAE,KAAK,CAAC;gBAAE,IAAI,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;aAAE,CAAC,CAAC;SACjD,CAAC,CAAC;KACJ,CAAC,CAAC;IAGH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,iBAAiB,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;IACjF,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAG5B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe,CAAC,EAAE,KAAK,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;KACzB,CAAC,CAAC;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IAIrB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB,0EAA0E;IAC1E,YAAY,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAElC;;uCAEmC;IACnC,UAAU,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5B;;kFAE8E;IAC9E,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,CAAC;IACzE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE,eAAe,GAAG,oBAAoB,CAAC;CACjD;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6CAA6C;IAC7C,IAAI,EAAE,QAAQ,GAAG,WAAW,CAAC;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,GAAG,EAAE,MAAM,CAAC;IACZ,wDAAwD;IACxD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,eAAe,GAAG,cAAc,GAAG,cAAc,GAAG,iBAAiB,CAAC;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,eAAe,EAAE,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,yBAAyB;IACxC,GAAG,EAAE,GAAG,CAAC;IACT,OAAO,EAAE,eAAe,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7C,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CACrE;AAED,+DAA+D;AAC/D,MAAM,MAAM,WAAW,GAAG;IACxB,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,QAAQ,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,uDAAuD;AACvD,MAAM,WAAW,QAAQ;IACvB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,gEAAgE;IAChE,IAAI,EAAE,OAAO,CAAC;IACd,uEAAuE;IACvE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B"}

package/dist/analyzers/vendorSurfaces.d.ts

@@ -0,0 +1,126 @@
+/**
+ * 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.
+ */
+/**
+ * The eleven vendor surfaces the analyzer derives its method sets from. Each is a
+ * resolved member-name set, or `null` when the vendor's declaration could not be
+ * resolved from the tree. The names are exactly the declaration *types* the seven
+ * packages publish; the *selection* of which members are eager I/O / table verbs /
+ * join verbs is a documented judgment (specs/vendor-replica-probes.md).
+ */
+export interface VendorSurfaces {
+    kyselyQueryCreator: ReadonlySet<string> | null;
+    kyselySelectQueryBuilder: ReadonlySet<string> | null;
+    betterSqlite3Statement: ReadonlySet<string> | null;
+    betterSqlite3Database: ReadonlySet<string> | null;
+    nodeSqliteStatement: ReadonlySet<string> | null;
+    nodeSqliteDatabase: ReadonlySet<string> | null;
+    d1Database: ReadonlySet<string> | null;
+    d1PreparedStatement: ReadonlySet<string> | null;
+    /** The `Pool` declaration from `@types/pg` — `query` is its eager-execution member. */
+    pgPool: ReadonlySet<string> | null;
+    /** The `Connection` declaration from `mysql2` — `execute` is its eager-execution member. */
+    mysql2Connection: ReadonlySet<string> | null;
+    /** The union of generated `*Delegate` member names from `.prisma/client`, or null
+     *  when the generated client is not present in the analyzed tree. */
+    prismaVerbs: ReadonlySet<string> | null;
+    /** One record per (package, type) resolution attempt — the probe's evidence. */
+    resolutions: readonly VendorResolution[];
+}
+/** One (package, type) resolution attempt: where it resolved, at what version,
+ *  and — when it did not — the reason naming what could not be resolved. */
+export interface VendorResolution {
+    pkg: string;
+    type: string;
+    /** The resolved `.d.ts` path, or `null` when unresolvable. */
+    path: string | null;
+    /** The installed package version, or `null` when the package is absent. */
+    version: string | null;
+    /** Human-readable reason when `path` is null (empty when resolved). */
+    reason: string | null;
+}
+/** 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 declare const EMPTY_VENDOR_SURFACES: VendorSurfaces;
+/** The derived method sets the analyzer actually reads — the result of applying
+ *  the documented selection judgment to the resolved surfaces. Threaded on the
+ *  scan context so the loop-query / data-access discriminators read the resolved
+ *  sets rather than the module-level constants they replaced. */
+export interface DerivedVendorSets {
+    eagerMethods: ReadonlySet<string>;
+    ormTableVerbs: ReadonlySet<string>;
+    ormJoinVerbs: ReadonlySet<string>;
+    /** The Prisma model verbs derived from the generated `.prisma/client` `*Delegate`
+     *  declarations, or null when the generated client is absent. No hand-kept
+     *  fallback: an absent client means the Prisma object-form admitter cannot
+     *  confirm a verb and the site is `unproven` (never a stale snapshot). */
+    prismaVerbs: ReadonlySet<string> | null;
+    /** The cross-driver eager-execution surface — the union of the resolved
+     *  D1PreparedStatement / better-sqlite3 / node:sqlite statement+database
+     *  surfaces plus `query` (pg) and `execute` (mysql2). Null when no driver
+     *  resolves (the site is `unproven`), never a fallback list. */
+    eagerExecutionMethods: ReadonlySet<string> | null;
+}
+/**
+ * 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 declare function resolveVendorSurfaces(projectRoot: string): VendorSurfaces;
+/**
+ * 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 declare function deriveVendorSets(s: VendorSurfaces): DerivedVendorSets;
+//# sourceMappingURL=vendorSurfaces.d.ts.map

package/dist/analyzers/vendorSurfaces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vendorSurfaces.d.ts","sourceRoot":"","sources":["../../src/analyzers/vendorSurfaces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAOH;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC/C,wBAAwB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACrD,sBAAsB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACnD,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAClD,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAChD,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC/C,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACvC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAChD,uFAAuF;IACvF,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACnC,4FAA4F;IAC5F,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC7C;yEACqE;IACrE,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACxC,gFAAgF;IAChF,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC1C;AAED;4EAC4E;AAC5E,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,2EAA2E;IAC3E,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,uEAAuE;IACvE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;kEACkE;AAClE,eAAO,MAAM,qBAAqB,EAAE,cAanC,CAAC;AAEF;;;iEAGiE;AACjE,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC;;;8EAG0E;IAC1E,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACxC;;;oEAGgE;IAChE,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;CACnD;AA6aD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,cAAc,CA4BzE;AAYD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,cAAc,GAAG,iBAAiB,CAkDrE"}