@drzl/validation-core 3.5.0 → 3.7.0

package/dist/index.cjs

@@ -84441,6 +84441,7 @@ ${codeblock}`, options7);
 var index_exports2 = {};
 __export(index_exports2, {
   AFFIX_PROBE_TABLE: () => AFFIX_PROBE_TABLE,
+  COLUMN_FORMATS: () => COLUMN_FORMATS,
   DEFAULT_IMPORT_EXTENSION: () => DEFAULT_IMPORT_EXTENSION,
   DEFAULT_MODE_PREFIX: () => DEFAULT_MODE_PREFIX,
   DEFAULT_SCHEMA_SUFFIX: () => DEFAULT_SCHEMA_SUFFIX,
@@ -84674,6 +84675,12 @@ function validateAffix(affix, schemaSuffix) {
 function isGeneratedColumn(c5, _primaryKeyColumns = []) {
   return c5.isGenerated;
 }
+var COLUMN_FORMATS = {
+  // Sign, decimals, exponents, NaN/Infinity, surrounding whitespace, and the underscore digit
+  // separators and 0x/0o/0b integer literals Postgres 16 added. Agrees with Postgres on all 43
+  // probes, `1_000` and `0xDEAD_beef` through to `1__0`, `_1`, `0x` and `1e+`.
+  numeric: "^\\s*([+-]?(0[xX][0-9a-fA-F](_?[0-9a-fA-F])*|0[oO][0-7](_?[0-7])*|0[bB][01](_?[01])*)|[+-]?(\\d(_?\\d)*(\\.(\\d(_?\\d)*)?)?|\\.\\d(_?\\d)*)([eE][+-]?\\d(_?\\d)*)?|[+-]?(NaN|Infinity))\\s*$"
+};
 function isIntegerColumn(c5) {
   if (typeof c5.integer === "boolean") return c5.integer;
   return c5.dbType === "INTEGER" || c5.min !== void 0 && c5.max !== void 0;
@@ -84716,6 +84723,7 @@ async function formatCode(code, filePath, fmt) {
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   AFFIX_PROBE_TABLE,
+  COLUMN_FORMATS,
   DEFAULT_IMPORT_EXTENSION,
   DEFAULT_MODE_PREFIX,
   DEFAULT_SCHEMA_SUFFIX,

package/dist/index.d.cts

@@ -264,6 +264,23 @@ interface ValidationGenerateOptions {
      * should be a choice rather than a surprise.
      */
     typedJson?: boolean;
+    /**
+     * Take every column's static type from Drizzle's inference, not just the untyped ones.
+     *
+     * `typedJson` covers the columns that have no runtime type worth checking. This covers the
+     * rest, and exists for `.$type<T>()`, which is a compile-time cast on any column at all:
+     * `text().$type<'admin' | 'member'>()` is a `string` to every runtime-derived validator, so
+     * `drizzle-orm/zod` and DRZL alike emitted a plain `z.string()` and the narrowing was lost.
+     *
+     * The runtime schema is untouched. The reference is appended with `.pipe()` rather than
+     * replacing anything, so a `varchar(50)` keeps its length check and only its *type* narrows
+     * from `string` to the union you declared. Nothing can narrow it at runtime, since the cast
+     * leaves no trace there.
+     *
+     * Implies `typedJson`, since both need the schema imported back. Off by default: it adds a
+     * `.pipe()` to every field, which is noise unless you use `.$type<T>()`.
+     */
+    typedColumns?: boolean;
     format?: FormatOptions;
     /**
      * What every generated file is called after the Drizzle export name, e.g. `.zod.ts`
@@ -321,10 +338,29 @@ declare function isGeneratedColumn(c: Column, _primaryKeyColumns?: string[]): bo
  * was true only while integers were the sole bounded type, so it is kept strictly for an
  * analysis produced before `Column.integer` existed, and never consulted when the flag is set.
  */
+/**
+ * Patterns for string columns whose contents the database constrains.
+ *
+ * Every entry was validated against Postgres through PGlite rather than reasoned about: the
+ * pattern and the database agree on a pool built to include the awkward *valid* forms, because
+ * the real hazard is over-rejection. A check that turns away something Postgres accepts breaks
+ * working code, which is worse than the bare `string` it replaces.
+ *
+ * That is why there is exactly one entry. Candidates for `date`, `timestamp`, `time`, `interval`,
+ * `inet`, `cidr` and `macaddr` were all built and all rejected, each by a value Postgres accepts
+ * and the pattern did not:
+ *
+ *   date      `today`, `January 8, 1999`, `20200101`, `01/02/2020`, `infinity`
+ *   time      `allballs`, `12:00:00+02`
+ *   macaddr   `2020-01-01`, which Postgres pads into `20:20:00:01:00:01`
+ *   inet      `10.1/16`, `::ffff:1.2.3.4`
+ *   cidr      parses as `inet` and then demands zero host bits, which no regex can state
+ */
+declare const COLUMN_FORMATS: Record<string, string>;
 declare function isIntegerColumn(c: Column): boolean;
 declare function insertColumns(table: Table): Column[];
 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, type ColumnCheck, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, 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, COLUMN_FORMATS, type ColumnCheck, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };

package/dist/index.d.ts

@@ -264,6 +264,23 @@ interface ValidationGenerateOptions {
      * should be a choice rather than a surprise.
      */
     typedJson?: boolean;
+    /**
+     * Take every column's static type from Drizzle's inference, not just the untyped ones.
+     *
+     * `typedJson` covers the columns that have no runtime type worth checking. This covers the
+     * rest, and exists for `.$type<T>()`, which is a compile-time cast on any column at all:
+     * `text().$type<'admin' | 'member'>()` is a `string` to every runtime-derived validator, so
+     * `drizzle-orm/zod` and DRZL alike emitted a plain `z.string()` and the narrowing was lost.
+     *
+     * The runtime schema is untouched. The reference is appended with `.pipe()` rather than
+     * replacing anything, so a `varchar(50)` keeps its length check and only its *type* narrows
+     * from `string` to the union you declared. Nothing can narrow it at runtime, since the cast
+     * leaves no trace there.
+     *
+     * Implies `typedJson`, since both need the schema imported back. Off by default: it adds a
+     * `.pipe()` to every field, which is noise unless you use `.$type<T>()`.
+     */
+    typedColumns?: boolean;
     format?: FormatOptions;
     /**
      * What every generated file is called after the Drizzle export name, e.g. `.zod.ts`
@@ -321,10 +338,29 @@ declare function isGeneratedColumn(c: Column, _primaryKeyColumns?: string[]): bo
  * was true only while integers were the sole bounded type, so it is kept strictly for an
  * analysis produced before `Column.integer` existed, and never consulted when the flag is set.
  */
+/**
+ * Patterns for string columns whose contents the database constrains.
+ *
+ * Every entry was validated against Postgres through PGlite rather than reasoned about: the
+ * pattern and the database agree on a pool built to include the awkward *valid* forms, because
+ * the real hazard is over-rejection. A check that turns away something Postgres accepts breaks
+ * working code, which is worse than the bare `string` it replaces.
+ *
+ * That is why there is exactly one entry. Candidates for `date`, `timestamp`, `time`, `interval`,
+ * `inet`, `cidr` and `macaddr` were all built and all rejected, each by a value Postgres accepts
+ * and the pattern did not:
+ *
+ *   date      `today`, `January 8, 1999`, `20200101`, `01/02/2020`, `infinity`
+ *   time      `allballs`, `12:00:00+02`
+ *   macaddr   `2020-01-01`, which Postgres pads into `20:20:00:01:00:01`
+ *   inet      `10.1/16`, `::ffff:1.2.3.4`
+ *   cidr      parses as `inet` and then demands zero host bits, which no regex can state
+ */
+declare const COLUMN_FORMATS: Record<string, string>;
 declare function isIntegerColumn(c: Column): boolean;
 declare function insertColumns(table: Table): Column[];
 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, type ColumnCheck, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, 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, COLUMN_FORMATS, type ColumnCheck, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FormatOptions, IMPORT_EXTENSIONS, type ImportExtension, NAME_MODES, type NameMode, type ParsedCheck, type ResolvedAffix, type Table, type TableCase, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, applyTableCase, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, moduleFileName, moduleSpecifier, parseCheck, pascalCase, resolveAffix, resolveConfiguredImport, schemaName, selectColumns, typeName, updateColumns, validateAffix };

package/dist/index.js

@@ -207,6 +207,12 @@ function validateAffix(affix, schemaSuffix) {
 function isGeneratedColumn(c, _primaryKeyColumns = []) {
   return c.isGenerated;
 }
+var COLUMN_FORMATS = {
+  // Sign, decimals, exponents, NaN/Infinity, surrounding whitespace, and the underscore digit
+  // separators and 0x/0o/0b integer literals Postgres 16 added. Agrees with Postgres on all 43
+  // probes, `1_000` and `0xDEAD_beef` through to `1__0`, `_1`, `0x` and `1e+`.
+  numeric: "^\\s*([+-]?(0[xX][0-9a-fA-F](_?[0-9a-fA-F])*|0[oO][0-7](_?[0-7])*|0[bB][01](_?[01])*)|[+-]?(\\d(_?\\d)*(\\.(\\d(_?\\d)*)?)?|\\.\\d(_?\\d)*)([eE][+-]?\\d(_?\\d)*)?|[+-]?(NaN|Infinity))\\s*$"
+};
 function isIntegerColumn(c) {
   if (typeof c.integer === "boolean") return c.integer;
   return c.dbType === "INTEGER" || c.min !== void 0 && c.max !== void 0;
@@ -248,6 +254,7 @@ async function formatCode(code, filePath, fmt) {
 }
 export {
   AFFIX_PROBE_TABLE,
+  COLUMN_FORMATS,
   DEFAULT_IMPORT_EXTENSION,
   DEFAULT_MODE_PREFIX,
   DEFAULT_SCHEMA_SUFFIX,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@drzl/validation-core",
-  "version": "3.5.0",
+  "version": "3.7.0",
   "private": false,
   "license": "Apache-2.0",
   "type": "module",
@@ -11,7 +11,7 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@drzl/analyzer": "^1.8.0"
+    "@drzl/analyzer": "^1.9.0"
   },
   "devDependencies": {
     "tsup": "^8.5.1",