@drzl/validation-core 3.13.0 → 3.14.0

package/dist/index.cjs

@@ -84460,6 +84460,7 @@ __export(index_exports2, {
   moduleSpecifier: () => moduleSpecifier,
   parseCheck: () => parseCheck,
   pascalCase: () => pascalCase,
+  renderDuplicateFinder: () => renderDuplicateFinder,
   resolveAffix: () => resolveAffix,
   resolveConfiguredImport: () => resolveConfiguredImport,
   schemaName: () => schemaName,
@@ -84849,6 +84850,54 @@ function validateAffix(affix, schemaSuffix) {
   return issues;
 }
 
+// src/duplicates.ts
+function usableKeys(table) {
+  return (table.unique ?? []).filter((k5) => k5.columns.length > 0);
+}
+function renderDuplicateFinder(table, fnName, rowType) {
+  const keys = usableKeys(table);
+  if (!keys.length) return void 0;
+  const constraints = keys.map((k5, i) => {
+    const name = k5.name ?? k5.columns.join("_");
+    return `  { name: ${JSON.stringify(name)}, columns: ${JSON.stringify(k5.columns)} }${i === keys.length - 1 ? "" : ","}`;
+  }).join("\n");
+  return `/**
+ * Rows in \`rows\` that collide with an earlier row on a unique constraint.
+ *
+ * Uniqueness is a fact about the table rather than about a row, so no schema can check it. This
+ * checks the half that needs no database: whether the batch collides with itself. A batch that
+ * passes here can still collide with rows already stored.
+ *
+ * A constraint is skipped for any row where one of its columns is null or absent, matching SQL,
+ * where NULL is not equal to NULL and a unique index therefore permits repeats.
+ */
+export function ${fnName}(
+  rows: readonly ${rowType}[]
+): Array<{ index: number; constraint: string; firstIndex: number }> {
+  const constraints = [
+${constraints}
+  ] as const;
+  const seen = constraints.map(() => new Map<string, number>());
+  const out: Array<{ index: number; constraint: string; firstIndex: number }> = [];
+
+  for (let i = 0; i < rows.length; i++) {
+    const row = rows[i] as Record<string, unknown>;
+    for (let c = 0; c < constraints.length; c++) {
+      const cols = constraints[c].columns;
+      const values = cols.map((col) => row?.[col]);
+      if (values.some((v) => v === null || v === undefined)) continue;
+      // JSON, so a composite key compares by value and \`[1, "2"]\` never collides with
+      // \`["1", 2]\`. A join on a separator would.
+      const key = JSON.stringify(values);
+      const first = seen[c].get(key);
+      if (first === undefined) seen[c].set(key, i);
+      else out.push({ index: i, constraint: constraints[c].name, firstIndex: first });
+    }
+  }
+  return out;
+}`;
+}
+
 // src/index.ts
 function isGeneratedColumn(c5, _primaryKeyColumns = []) {
   return c5.isGenerated;
@@ -84921,6 +84970,7 @@ async function formatCode(code, filePath, fmt) {
   moduleSpecifier,
   parseCheck,
   pascalCase,
+  renderDuplicateFinder,
   resolveAffix,
   resolveConfiguredImport,
   schemaName,

package/dist/index.d.cts

@@ -1,4 +1,4 @@
-import { Column, Analysis } from '@drzl/analyzer';
+import { Table as Table$1, Column, Analysis } from '@drzl/analyzer';
 
 /**
  * One place that decides what a generated module is called, on disk and in an import.
@@ -284,6 +284,30 @@ declare function parseCheck(expression: string | undefined, name?: string): Pars
  */
 declare function describeSet(set: ColumnSet): string;
 
+/**
+ * A duplicate finder for a batch of rows, emitted beside the schemas.
+ *
+ * A validator checks one row at a time, so uniqueness is the one constraint it structurally
+ * cannot see: whether a value is unique is a fact about the table, not about the row. That is
+ * fine for a single insert, where the database answers immediately. It is not fine for a bulk
+ * insert, where a batch of a thousand rows fails whole on one collision and the error names a
+ * constraint rather than a row.
+ *
+ * What *is* checkable without the database is whether a batch collides with **itself**, and that
+ * is worth checking, because it is the half a user can fix before sending anything.
+ *
+ * The emitted function is plain TypeScript with no reference to any validation library, so all
+ * four generators emit the same thing. It is rendered from one place for that reason.
+ */
+
+/**
+ * `findDuplicate<Table>s` for a table with unique constraints, or nothing.
+ *
+ * `rowType` is the name of the insert type, which is what a caller has in hand before an insert.
+ * Passed in rather than derived, because each generator names its types differently.
+ */
+declare function renderDuplicateFinder(table: Table$1, fnName: string, rowType: string): string | undefined;
+
 interface Table {
     name: string;
     tsName: string;
@@ -461,4 +485,4 @@ declare function updateColumns(table: Table): Column[];
 declare function selectColumns(table: Table): Column[];
 declare function formatCode(code: string, filePath: string, fmt?: FormatOptions): Promise<any>;
 
-export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, CODEPOINT_LENGTH, COLUMN_FORMATS, type CardinalityCheck, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type RowCheck, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };
+export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, CODEPOINT_LENGTH, COLUMN_FORMATS, type CardinalityCheck, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type RowCheck, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, renderDuplicateFinder, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };

package/dist/index.d.ts

@@ -1,4 +1,4 @@
-import { Column, Analysis } from '@drzl/analyzer';
+import { Table as Table$1, Column, Analysis } from '@drzl/analyzer';
 
 /**
  * One place that decides what a generated module is called, on disk and in an import.
@@ -284,6 +284,30 @@ declare function parseCheck(expression: string | undefined, name?: string): Pars
  */
 declare function describeSet(set: ColumnSet): string;
 
+/**
+ * A duplicate finder for a batch of rows, emitted beside the schemas.
+ *
+ * A validator checks one row at a time, so uniqueness is the one constraint it structurally
+ * cannot see: whether a value is unique is a fact about the table, not about the row. That is
+ * fine for a single insert, where the database answers immediately. It is not fine for a bulk
+ * insert, where a batch of a thousand rows fails whole on one collision and the error names a
+ * constraint rather than a row.
+ *
+ * What *is* checkable without the database is whether a batch collides with **itself**, and that
+ * is worth checking, because it is the half a user can fix before sending anything.
+ *
+ * The emitted function is plain TypeScript with no reference to any validation library, so all
+ * four generators emit the same thing. It is rendered from one place for that reason.
+ */
+
+/**
+ * `findDuplicate<Table>s` for a table with unique constraints, or nothing.
+ *
+ * `rowType` is the name of the insert type, which is what a caller has in hand before an insert.
+ * Passed in rather than derived, because each generator names its types differently.
+ */
+declare function renderDuplicateFinder(table: Table$1, fnName: string, rowType: string): string | undefined;
+
 interface Table {
     name: string;
     tsName: string;
@@ -461,4 +485,4 @@ declare function updateColumns(table: Table): Column[];
 declare function selectColumns(table: Table): Column[];
 declare function formatCode(code: string, filePath: string, fmt?: FormatOptions): Promise<any>;
 
-export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, CODEPOINT_LENGTH, COLUMN_FORMATS, type CardinalityCheck, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type RowCheck, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };
+export { AFFIX_PROBE_TABLE, type AffixIssue, type AffixOptions, type AffixValue, CODEPOINT_LENGTH, COLUMN_FORMATS, type CardinalityCheck, type ColumnCheck, type ColumnSet, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type RowCheck, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, describeSet, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, renderDuplicateFinder, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };

package/dist/index.js

@@ -379,6 +379,54 @@ function validateAffix(affix, schemaSuffix) {
   return issues;
 }
 
+// src/duplicates.ts
+function usableKeys(table) {
+  return (table.unique ?? []).filter((k) => k.columns.length > 0);
+}
+function renderDuplicateFinder(table, fnName, rowType) {
+  const keys = usableKeys(table);
+  if (!keys.length) return void 0;
+  const constraints = keys.map((k, i) => {
+    const name = k.name ?? k.columns.join("_");
+    return `  { name: ${JSON.stringify(name)}, columns: ${JSON.stringify(k.columns)} }${i === keys.length - 1 ? "" : ","}`;
+  }).join("\n");
+  return `/**
+ * Rows in \`rows\` that collide with an earlier row on a unique constraint.
+ *
+ * Uniqueness is a fact about the table rather than about a row, so no schema can check it. This
+ * checks the half that needs no database: whether the batch collides with itself. A batch that
+ * passes here can still collide with rows already stored.
+ *
+ * A constraint is skipped for any row where one of its columns is null or absent, matching SQL,
+ * where NULL is not equal to NULL and a unique index therefore permits repeats.
+ */
+export function ${fnName}(
+  rows: readonly ${rowType}[]
+): Array<{ index: number; constraint: string; firstIndex: number }> {
+  const constraints = [
+${constraints}
+  ] as const;
+  const seen = constraints.map(() => new Map<string, number>());
+  const out: Array<{ index: number; constraint: string; firstIndex: number }> = [];
+
+  for (let i = 0; i < rows.length; i++) {
+    const row = rows[i] as Record<string, unknown>;
+    for (let c = 0; c < constraints.length; c++) {
+      const cols = constraints[c].columns;
+      const values = cols.map((col) => row?.[col]);
+      if (values.some((v) => v === null || v === undefined)) continue;
+      // JSON, so a composite key compares by value and \`[1, "2"]\` never collides with
+      // \`["1", 2]\`. A join on a separator would.
+      const key = JSON.stringify(values);
+      const first = seen[c].get(key);
+      if (first === undefined) seen[c].set(key, i);
+      else out.push({ index: i, constraint: constraints[c].name, firstIndex: first });
+    }
+  }
+  return out;
+}`;
+}
+
 // src/index.ts
 function isGeneratedColumn(c, _primaryKeyColumns = []) {
   return c.isGenerated;
@@ -450,6 +498,7 @@ export {
   moduleSpecifier,
   parseCheck,
   pascalCase,
+  renderDuplicateFinder,
   resolveAffix,
   resolveConfiguredImport,
   schemaName,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@drzl/validation-core",
-  "version": "3.13.0",
+  "version": "3.14.0",
   "private": false,
   "license": "Apache-2.0",
   "type": "module",
@@ -11,7 +11,7 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@drzl/analyzer": "^1.11.0"
+    "@drzl/analyzer": "^1.14.0"
   },
   "devDependencies": {
     "tsup": "^8.5.1",
@@ -36,6 +36,6 @@
   },
   "scripts": {
     "build": "tsup src/index.ts --dts --format esm,cjs",
-    "test": "vitest run"
+    "test": "vitest run --testTimeout=20000"
   }
 }