@drzl/validation-core 3.22.4 → 3.22.5

package/dist/index.cjs

@@ -33,6 +33,7 @@ __export(index_exports, {
   AFFIX_PREFIX_PATTERN: () => AFFIX_PREFIX_PATTERN,
   AFFIX_PROBE_TABLE: () => AFFIX_PROBE_TABLE,
   AFFIX_SUFFIX_PATTERN: () => AFFIX_SUFFIX_PATTERN,
+  BIGINT_DIGITS_PATTERN: () => BIGINT_DIGITS_PATTERN,
   CODEPOINT_LENGTH: () => CODEPOINT_LENGTH,
   COERCIBLE_DATE_STRING: () => COERCIBLE_DATE_STRING,
   COLUMN_FORMATS: () => COLUMN_FORMATS,
@@ -48,6 +49,8 @@ __export(index_exports, {
   NESTED_PREFIX: () => NESTED_PREFIX,
   NUMERIC_CANON_NAME: () => NUMERIC_CANON_NAME,
   NUMERIC_CANON_SOURCE: () => NUMERIC_CANON_SOURCE,
+  VALIBOT_JSON_CONST: () => VALIBOT_JSON_CONST,
+  VALIBOT_JSON_SOURCE: () => VALIBOT_JSON_SOURCE,
   applyTableCase: () => applyTableCase,
   applyWirePolicy: () => applyWirePolicy,
   buildBrandPlan: () => buildBrandPlan,
@@ -1798,6 +1801,38 @@ function parsesToADate(expr) {
   return `!Number.isNaN(${expr}.getTime())`;
 }
 var CODEPOINT_LENGTH = "[...v].length";
+var BIGINT_DIGITS_PATTERN = String.raw`/^-?\d+$/`;
+var VALIBOT_JSON_CONST = "DrzlJsonValue";
+var VALIBOT_JSON_SOURCE = `type ${VALIBOT_JSON_CONST}Type =
+  | string
+  | number
+  | boolean
+  | null
+  | ${VALIBOT_JSON_CONST}Type[]
+  | { [key: string]: ${VALIBOT_JSON_CONST}Type };
+
+const ${VALIBOT_JSON_CONST}: v.GenericSchema<${VALIBOT_JSON_CONST}Type> = v.lazy(() =>
+  v.union([
+    v.string(),
+    v.pipe(v.number(), v.finite()),
+    v.boolean(),
+    v.null(),
+    v.array(${VALIBOT_JSON_CONST}),
+    v.pipe(
+      // The plain-object test comes before the record, not after it. A valibot pipe passes the
+      // *output* of each step onward, and \`v.record\` outputs a freshly built object, so a check
+      // placed after it inspects that new object and reports every input as plain. A Date sailed
+      // through: it has no own enumerable keys, so the record accepted it and rebuilt it as \`{}\`.
+      v.custom<Record<string, ${VALIBOT_JSON_CONST}Type>>((o) => {
+        if (typeof o !== 'object' || o === null || Array.isArray(o)) return false;
+        const p = Object.getPrototypeOf(o);
+        return p === Object.prototype || p === null;
+      }, 'not a plain object'),
+      v.record(v.string(), ${VALIBOT_JSON_CONST})
+    ),
+  ])
+);
+`;
 function isIntegerColumn(c) {
   if (typeof c.integer === "boolean") return c.integer;
   return c.dbType === "INTEGER" || c.min !== void 0 && c.max !== void 0;
@@ -1959,6 +1994,7 @@ async function formatCode(code, filePath, fmt) {
   AFFIX_PREFIX_PATTERN,
   AFFIX_PROBE_TABLE,
   AFFIX_SUFFIX_PATTERN,
+  BIGINT_DIGITS_PATTERN,
   CODEPOINT_LENGTH,
   COERCIBLE_DATE_STRING,
   COLUMN_FORMATS,
@@ -1974,6 +2010,8 @@ async function formatCode(code, filePath, fmt) {
   NESTED_PREFIX,
   NUMERIC_CANON_NAME,
   NUMERIC_CANON_SOURCE,
+  VALIBOT_JSON_CONST,
+  VALIBOT_JSON_SOURCE,
   applyTableCase,
   applyWirePolicy,
   buildBrandPlan,

package/dist/index.d.cts

@@ -1567,6 +1567,30 @@ declare function parsesToADate(expr: string): string;
  * MySQL 8 on utf8mb4: `varchar(10)` takes ten emoji, `tinytext` takes 63 of them and refuses 64.
  */
 declare const CODEPOINT_LENGTH = "[...v].length";
+/**
+ * The digits of an integer, as a regex literal for an emitted module.
+ *
+ * A bigint cannot cross JSON as a number: `JSON.stringify(1n)` throws on the way out, and a
+ * `number` loses precision past 2^53. So every generator that puts a bigint column on a wire spells
+ * it as its decimal digits, and they all spell it the same way from here.
+ */
+declare const BIGINT_DIGITS_PATTERN: string;
+/** The name of the recursive JSON schema a valibot module defines when it has a json column. */
+declare const VALIBOT_JSON_CONST = "DrzlJsonValue";
+/**
+ * The JSON value space for valibot, emitted once into any module that needs it.
+ *
+ * Valibot has no `json()` built-in, unlike zod 4, and `v.any()` accepts `undefined`, `NaN`, bigints
+ * and every class instance, none of which survive the round trip through a json column. So the
+ * space is spelled out, recursively, with `v.finite()` so `Infinity` is rejected rather than
+ * written out as `null`.
+ *
+ * Shared rather than copied because two kinds of generator need the same text: the standalone
+ * valibot generator, whose json column is a value the driver hands back, and the route generators,
+ * whose json column arrives from `JSON.parse` on a request body. The value space is the same in
+ * both directions, and two copies of it would be two things to keep in step.
+ */
+declare const VALIBOT_JSON_SOURCE = "type DrzlJsonValueType =\n  | string\n  | number\n  | boolean\n  | null\n  | DrzlJsonValueType[]\n  | { [key: string]: DrzlJsonValueType };\n\nconst DrzlJsonValue: v.GenericSchema<DrzlJsonValueType> = v.lazy(() =>\n  v.union([\n    v.string(),\n    v.pipe(v.number(), v.finite()),\n    v.boolean(),\n    v.null(),\n    v.array(DrzlJsonValue),\n    v.pipe(\n      // The plain-object test comes before the record, not after it. A valibot pipe passes the\n      // *output* of each step onward, and `v.record` outputs a freshly built object, so a check\n      // placed after it inspects that new object and reports every input as plain. A Date sailed\n      // through: it has no own enumerable keys, so the record accepted it and rebuilt it as `{}`.\n      v.custom<Record<string, DrzlJsonValueType>>((o) => {\n        if (typeof o !== 'object' || o === null || Array.isArray(o)) return false;\n        const p = Object.getPrototypeOf(o);\n        return p === Object.prototype || p === null;\n      }, 'not a plain object'),\n      v.record(v.string(), DrzlJsonValue)\n    ),\n  ])\n);\n";
 declare function isIntegerColumn(c: Column): boolean;
 /**
  * The non-finite doubles the emitted schema must admit beside the column's range, as the analyzer
@@ -1696,4 +1720,4 @@ declare function isProjectInstallPath(manifestPath: string): boolean;
  */
 declare function formatCode(code: string, filePath: string, fmt?: FormatOptions): Promise<any>;
 
-export { AFFIX_PREFIX_PATTERN, AFFIX_PROBE_TABLE, AFFIX_SUFFIX_PATTERN, type AffixIssue, type AffixOptions, type AffixValue, type BrandAlias, type BrandPlan, type BrandingOption, type BrandingOptions, CODEPOINT_LENGTH, COERCIBLE_DATE_STRING, COLUMN_FORMATS, CONSTRAINTS_MODULE, type CardinalityCheck, type CheckPart, type CheckPartPlace, type ClassifiedCheck, type ColumnCheck, type ColumnMetaFacts, type ColumnSet, type ComparisonWire, type ConstraintFacts, type ConstraintKind, type ConstraintsModuleOptions, type ConstraintsOption, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_NESTED_DEPTH, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FileSink, type FormatOptions, type GeneratorFs, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, type LengthMeasure, MAX_NESTED_DEPTH, type MetaFactOptions, NAME_MODES, NESTED_PREFIX, NUMERIC_CANON_NAME, NUMERIC_CANON_SOURCE, type NameMode, type NestedArm, type NestedMode, type NestedNode, type NullCheck, type ParsedCheck, type ResolvedAffix, type ResolvedBranding, type RowCheck, type Table, type TableCase, type TableConstraints, type TableMetaFacts, type TableMetaOptions, type UnenforcedLiteral, type UnenforcedPart, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, type WireLiteralFit, type WireLiteralQuestion, applyTableCase, applyWirePolicy, buildBrandPlan, buildNestedPlan, canonicalMembers, canonicalNumericText, classifyTableChecks, codePointCompare, columnMetaFacts, comparisonWire, describeSet, fileWriter, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, isProjectInstallPath, lengthCheckLabel, lengthMeasure, measureCompare, measureExpression, moduleFileName, moduleSpecifier, needsNumericCanon, nestedArmNotes, nestedNodeColumns, nestedSchemaName, nestedTypeName, nonFiniteAccepted, nonFiniteRefused, parseCheck, parsesToADate, pascalCase, renderConstraintsModule, renderDuplicateFinder, resolveAffix, resolveBranding, resolveConfiguredImport, resolveConstraints, resolveNestedDepth, schemaName, selectColumns, tableConstraints, tableMetaFacts, typeName, updateColumns, validateAffix, wireLiteralFit, wireNumberLiteral };
+export { AFFIX_PREFIX_PATTERN, AFFIX_PROBE_TABLE, AFFIX_SUFFIX_PATTERN, type AffixIssue, type AffixOptions, type AffixValue, BIGINT_DIGITS_PATTERN, type BrandAlias, type BrandPlan, type BrandingOption, type BrandingOptions, CODEPOINT_LENGTH, COERCIBLE_DATE_STRING, COLUMN_FORMATS, CONSTRAINTS_MODULE, type CardinalityCheck, type CheckPart, type CheckPartPlace, type ClassifiedCheck, type ColumnCheck, type ColumnMetaFacts, type ColumnSet, type ComparisonWire, type ConstraintFacts, type ConstraintKind, type ConstraintsModuleOptions, type ConstraintsOption, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_NESTED_DEPTH, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FileSink, type FormatOptions, type GeneratorFs, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, type LengthMeasure, MAX_NESTED_DEPTH, type MetaFactOptions, NAME_MODES, NESTED_PREFIX, NUMERIC_CANON_NAME, NUMERIC_CANON_SOURCE, type NameMode, type NestedArm, type NestedMode, type NestedNode, type NullCheck, type ParsedCheck, type ResolvedAffix, type ResolvedBranding, type RowCheck, type Table, type TableCase, type TableConstraints, type TableMetaFacts, type TableMetaOptions, type UnenforcedLiteral, type UnenforcedPart, VALIBOT_JSON_CONST, VALIBOT_JSON_SOURCE, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, type WireLiteralFit, type WireLiteralQuestion, applyTableCase, applyWirePolicy, buildBrandPlan, buildNestedPlan, canonicalMembers, canonicalNumericText, classifyTableChecks, codePointCompare, columnMetaFacts, comparisonWire, describeSet, fileWriter, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, isProjectInstallPath, lengthCheckLabel, lengthMeasure, measureCompare, measureExpression, moduleFileName, moduleSpecifier, needsNumericCanon, nestedArmNotes, nestedNodeColumns, nestedSchemaName, nestedTypeName, nonFiniteAccepted, nonFiniteRefused, parseCheck, parsesToADate, pascalCase, renderConstraintsModule, renderDuplicateFinder, resolveAffix, resolveBranding, resolveConfiguredImport, resolveConstraints, resolveNestedDepth, schemaName, selectColumns, tableConstraints, tableMetaFacts, typeName, updateColumns, validateAffix, wireLiteralFit, wireNumberLiteral };

package/dist/index.d.ts

@@ -1567,6 +1567,30 @@ declare function parsesToADate(expr: string): string;
  * MySQL 8 on utf8mb4: `varchar(10)` takes ten emoji, `tinytext` takes 63 of them and refuses 64.
  */
 declare const CODEPOINT_LENGTH = "[...v].length";
+/**
+ * The digits of an integer, as a regex literal for an emitted module.
+ *
+ * A bigint cannot cross JSON as a number: `JSON.stringify(1n)` throws on the way out, and a
+ * `number` loses precision past 2^53. So every generator that puts a bigint column on a wire spells
+ * it as its decimal digits, and they all spell it the same way from here.
+ */
+declare const BIGINT_DIGITS_PATTERN: string;
+/** The name of the recursive JSON schema a valibot module defines when it has a json column. */
+declare const VALIBOT_JSON_CONST = "DrzlJsonValue";
+/**
+ * The JSON value space for valibot, emitted once into any module that needs it.
+ *
+ * Valibot has no `json()` built-in, unlike zod 4, and `v.any()` accepts `undefined`, `NaN`, bigints
+ * and every class instance, none of which survive the round trip through a json column. So the
+ * space is spelled out, recursively, with `v.finite()` so `Infinity` is rejected rather than
+ * written out as `null`.
+ *
+ * Shared rather than copied because two kinds of generator need the same text: the standalone
+ * valibot generator, whose json column is a value the driver hands back, and the route generators,
+ * whose json column arrives from `JSON.parse` on a request body. The value space is the same in
+ * both directions, and two copies of it would be two things to keep in step.
+ */
+declare const VALIBOT_JSON_SOURCE = "type DrzlJsonValueType =\n  | string\n  | number\n  | boolean\n  | null\n  | DrzlJsonValueType[]\n  | { [key: string]: DrzlJsonValueType };\n\nconst DrzlJsonValue: v.GenericSchema<DrzlJsonValueType> = v.lazy(() =>\n  v.union([\n    v.string(),\n    v.pipe(v.number(), v.finite()),\n    v.boolean(),\n    v.null(),\n    v.array(DrzlJsonValue),\n    v.pipe(\n      // The plain-object test comes before the record, not after it. A valibot pipe passes the\n      // *output* of each step onward, and `v.record` outputs a freshly built object, so a check\n      // placed after it inspects that new object and reports every input as plain. A Date sailed\n      // through: it has no own enumerable keys, so the record accepted it and rebuilt it as `{}`.\n      v.custom<Record<string, DrzlJsonValueType>>((o) => {\n        if (typeof o !== 'object' || o === null || Array.isArray(o)) return false;\n        const p = Object.getPrototypeOf(o);\n        return p === Object.prototype || p === null;\n      }, 'not a plain object'),\n      v.record(v.string(), DrzlJsonValue)\n    ),\n  ])\n);\n";
 declare function isIntegerColumn(c: Column): boolean;
 /**
  * The non-finite doubles the emitted schema must admit beside the column's range, as the analyzer
@@ -1696,4 +1720,4 @@ declare function isProjectInstallPath(manifestPath: string): boolean;
  */
 declare function formatCode(code: string, filePath: string, fmt?: FormatOptions): Promise<any>;
 
-export { AFFIX_PREFIX_PATTERN, AFFIX_PROBE_TABLE, AFFIX_SUFFIX_PATTERN, type AffixIssue, type AffixOptions, type AffixValue, type BrandAlias, type BrandPlan, type BrandingOption, type BrandingOptions, CODEPOINT_LENGTH, COERCIBLE_DATE_STRING, COLUMN_FORMATS, CONSTRAINTS_MODULE, type CardinalityCheck, type CheckPart, type CheckPartPlace, type ClassifiedCheck, type ColumnCheck, type ColumnMetaFacts, type ColumnSet, type ComparisonWire, type ConstraintFacts, type ConstraintKind, type ConstraintsModuleOptions, type ConstraintsOption, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_NESTED_DEPTH, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FileSink, type FormatOptions, type GeneratorFs, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, type LengthMeasure, MAX_NESTED_DEPTH, type MetaFactOptions, NAME_MODES, NESTED_PREFIX, NUMERIC_CANON_NAME, NUMERIC_CANON_SOURCE, type NameMode, type NestedArm, type NestedMode, type NestedNode, type NullCheck, type ParsedCheck, type ResolvedAffix, type ResolvedBranding, type RowCheck, type Table, type TableCase, type TableConstraints, type TableMetaFacts, type TableMetaOptions, type UnenforcedLiteral, type UnenforcedPart, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, type WireLiteralFit, type WireLiteralQuestion, applyTableCase, applyWirePolicy, buildBrandPlan, buildNestedPlan, canonicalMembers, canonicalNumericText, classifyTableChecks, codePointCompare, columnMetaFacts, comparisonWire, describeSet, fileWriter, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, isProjectInstallPath, lengthCheckLabel, lengthMeasure, measureCompare, measureExpression, moduleFileName, moduleSpecifier, needsNumericCanon, nestedArmNotes, nestedNodeColumns, nestedSchemaName, nestedTypeName, nonFiniteAccepted, nonFiniteRefused, parseCheck, parsesToADate, pascalCase, renderConstraintsModule, renderDuplicateFinder, resolveAffix, resolveBranding, resolveConfiguredImport, resolveConstraints, resolveNestedDepth, schemaName, selectColumns, tableConstraints, tableMetaFacts, typeName, updateColumns, validateAffix, wireLiteralFit, wireNumberLiteral };
+export { AFFIX_PREFIX_PATTERN, AFFIX_PROBE_TABLE, AFFIX_SUFFIX_PATTERN, type AffixIssue, type AffixOptions, type AffixValue, BIGINT_DIGITS_PATTERN, type BrandAlias, type BrandPlan, type BrandingOption, type BrandingOptions, CODEPOINT_LENGTH, COERCIBLE_DATE_STRING, COLUMN_FORMATS, CONSTRAINTS_MODULE, type CardinalityCheck, type CheckPart, type CheckPartPlace, type ClassifiedCheck, type ColumnCheck, type ColumnMetaFacts, type ColumnSet, type ComparisonWire, type ConstraintFacts, type ConstraintKind, type ConstraintsModuleOptions, type ConstraintsOption, DEFAULT_IMPORT_EXTENSION, DEFAULT_MODE_PREFIX, DEFAULT_NESTED_DEPTH, DEFAULT_SCHEMA_SUFFIX, DEFAULT_TYPE_SUFFIX, type FileSink, type FormatOptions, type GeneratorFs, IMPORT_EXTENSIONS, type ImportExtension, type LengthCheck, type LengthMeasure, MAX_NESTED_DEPTH, type MetaFactOptions, NAME_MODES, NESTED_PREFIX, NUMERIC_CANON_NAME, NUMERIC_CANON_SOURCE, type NameMode, type NestedArm, type NestedMode, type NestedNode, type NullCheck, type ParsedCheck, type ResolvedAffix, type ResolvedBranding, type RowCheck, type Table, type TableCase, type TableConstraints, type TableMetaFacts, type TableMetaOptions, type UnenforcedLiteral, type UnenforcedPart, VALIBOT_JSON_CONST, VALIBOT_JSON_SOURCE, type ValidationGenerateOptions, type ValidationLibrary, type ValidationRenderer, type WireLiteralFit, type WireLiteralQuestion, applyTableCase, applyWirePolicy, buildBrandPlan, buildNestedPlan, canonicalMembers, canonicalNumericText, classifyTableChecks, codePointCompare, columnMetaFacts, comparisonWire, describeSet, fileWriter, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, isProjectInstallPath, lengthCheckLabel, lengthMeasure, measureCompare, measureExpression, moduleFileName, moduleSpecifier, needsNumericCanon, nestedArmNotes, nestedNodeColumns, nestedSchemaName, nestedTypeName, nonFiniteAccepted, nonFiniteRefused, parseCheck, parsesToADate, pascalCase, renderConstraintsModule, renderDuplicateFinder, resolveAffix, resolveBranding, resolveConfiguredImport, resolveConstraints, resolveNestedDepth, schemaName, selectColumns, tableConstraints, tableMetaFacts, typeName, updateColumns, validateAffix, wireLiteralFit, wireNumberLiteral };

package/dist/index.js

@@ -1697,6 +1697,38 @@ function parsesToADate(expr) {
   return `!Number.isNaN(${expr}.getTime())`;
 }
 var CODEPOINT_LENGTH = "[...v].length";
+var BIGINT_DIGITS_PATTERN = String.raw`/^-?\d+$/`;
+var VALIBOT_JSON_CONST = "DrzlJsonValue";
+var VALIBOT_JSON_SOURCE = `type ${VALIBOT_JSON_CONST}Type =
+  | string
+  | number
+  | boolean
+  | null
+  | ${VALIBOT_JSON_CONST}Type[]
+  | { [key: string]: ${VALIBOT_JSON_CONST}Type };
+
+const ${VALIBOT_JSON_CONST}: v.GenericSchema<${VALIBOT_JSON_CONST}Type> = v.lazy(() =>
+  v.union([
+    v.string(),
+    v.pipe(v.number(), v.finite()),
+    v.boolean(),
+    v.null(),
+    v.array(${VALIBOT_JSON_CONST}),
+    v.pipe(
+      // The plain-object test comes before the record, not after it. A valibot pipe passes the
+      // *output* of each step onward, and \`v.record\` outputs a freshly built object, so a check
+      // placed after it inspects that new object and reports every input as plain. A Date sailed
+      // through: it has no own enumerable keys, so the record accepted it and rebuilt it as \`{}\`.
+      v.custom<Record<string, ${VALIBOT_JSON_CONST}Type>>((o) => {
+        if (typeof o !== 'object' || o === null || Array.isArray(o)) return false;
+        const p = Object.getPrototypeOf(o);
+        return p === Object.prototype || p === null;
+      }, 'not a plain object'),
+      v.record(v.string(), ${VALIBOT_JSON_CONST})
+    ),
+  ])
+);
+`;
 function isIntegerColumn(c) {
   if (typeof c.integer === "boolean") return c.integer;
   return c.dbType === "INTEGER" || c.min !== void 0 && c.max !== void 0;
@@ -1857,6 +1889,7 @@ export {
   AFFIX_PREFIX_PATTERN,
   AFFIX_PROBE_TABLE,
   AFFIX_SUFFIX_PATTERN,
+  BIGINT_DIGITS_PATTERN,
   CODEPOINT_LENGTH,
   COERCIBLE_DATE_STRING,
   COLUMN_FORMATS,
@@ -1872,6 +1905,8 @@ export {
   NESTED_PREFIX,
   NUMERIC_CANON_NAME,
   NUMERIC_CANON_SOURCE,
+  VALIBOT_JSON_CONST,
+  VALIBOT_JSON_SOURCE,
   applyTableCase,
   applyWirePolicy,
   buildBrandPlan,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@drzl/validation-core",
-  "version": "3.22.4",
+  "version": "3.22.5",
   "private": false,
   "license": "Apache-2.0",
   "type": "module",
@@ -24,7 +24,7 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@drzl/analyzer": "^1.21.4"
+    "@drzl/analyzer": "^1.21.5"
   },
   "peerDependencies": {
     "prettier": ">=3"