@drzl/validation-core 3.22.3 → 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,
@@ -153,7 +156,7 @@ function measureExpression(measure, variable) {
   }
 }
 function lengthCheckLabel(check) {
-  const fn = check.unit === "bytes" ? "octet_length" : "length";
+  const fn = check.fn ? check.fn === "char_length" ? "length" : check.fn : check.unit === "bytes" ? "octet_length" : "length";
   const rule = `${fn}(${check.column}) ${check.operator} ${check.value}`;
   return check.name ? `${check.name}: ${rule}` : rule;
 }
@@ -404,7 +407,13 @@ function foldDisjunctionToSet(branches, name) {
     sets: [{ column, values, kind, name }]
   };
 }
-function parseCheck(expression, name) {
+function lengthUnit(fn, dialect) {
+  const name = fn.toLowerCase();
+  if (name === "octet_length") return "bytes";
+  if (name === "char_length") return "characters";
+  return dialect === "mysql" ? "bytes" : "characters";
+}
+function parseCheck(expression, name, dialect) {
   const expr = unwrap((expression ?? "").trim());
   if (!expr) return { ok: false, reason: "empty expression" };
   if (expr.includes("?")) return { ok: false, reason: "expression contains an unresolved value" };
@@ -481,11 +490,12 @@ function parseCheck(expression, name) {
   const lengthOf = expr.match(LENGTH_OF);
   if (lengthOf) {
     const op2 = lengthOf[3] === "!=" ? "<>" : lengthOf[3];
-    const unit = lengthOf[1].toLowerCase() === "octet_length" ? "bytes" : "characters";
+    const fn = lengthOf[1].toLowerCase();
+    const unit = lengthUnit(fn, dialect);
     return {
       ok: true,
       checks: [],
-      lengths: [{ column: lengthOf[2], operator: op2, value: lengthOf[4], unit, name }]
+      lengths: [{ column: lengthOf[2], operator: op2, value: lengthOf[4], unit, fn, name }]
     };
   }
   const cardinalityOf = expr.match(CARDINALITY_OF);
@@ -992,7 +1002,7 @@ function classifyTableChecks(table) {
   const out = [];
   for (const k of table.checks ?? []) {
     const expression = (k.expression ?? "").trim();
-    const parsed = parseCheck(k.expression, k.name);
+    const parsed = parseCheck(k.expression, k.name, table.dialect);
     if (!parsed.ok) {
       out.push({
         ...k.name ? { name: k.name } : {},
@@ -1791,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;
@@ -1952,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,
@@ -1967,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

@@ -452,6 +452,15 @@ interface LengthCheck {
      * a given column.
      */
     unit?: 'characters' | 'bytes';
+    /**
+     * The function as written, before the engine decided what it counts.
+     *
+     * `unit` used to imply this, because the two were the same question: `octet_length` meant bytes
+     * and everything else meant characters. On MySQL `length()` also means bytes, so deriving the
+     * name back from the unit relabelled a user's `length(name) <= 5` as `octet_length(name) <= 5`,
+     * which is a constraint they did not write. The label the ledger matches on has to be theirs.
+     */
+    fn?: 'length' | 'char_length' | 'octet_length';
     name?: string;
 }
 /**
@@ -587,21 +596,11 @@ type ParsedCheck = {
     reason: string;
 };
 /**
- * Parse one check expression.
- *
- * Deliberately narrow. `BETWEEN` is included because it is common and means exactly two
- * inclusive bounds; `AND` of arbitrary predicates is not, because getting its scope wrong would
- * silently change what is enforced.
- *
- * **The order below is load bearing, in both directions.** `BETWEEN` is matched before the `AND`
- * split because it *holds* an `AND`; splitting first turned every `BETWEEN` into an unparseable
- * pair and dropped a constraint that had been enforced. The unary `IS` predicates are matched
- * *after* the splits for the mirror-image reason: none of them holds an `AND` or an `OR`, and
- * their trailing operand is greedy, so matching first would let `a IS DISTINCT FROM 5 AND b > 0`
- * swallow the second predicate. `OR` is split before `AND` because SQL binds `AND` tighter, and
- * no SQL operator spells an `OR` inside itself the way `BETWEEN` spells an `AND`.
+ * `dialect` decides what `length()` counts, and nothing else in this parser. Optional, and absent
+ * means the Postgres reading, which is what every caller got before it existed: a caller that does
+ * not know its dialect keeps the answer it already had rather than being given a new one.
  */
-declare function parseCheck(expression: string | undefined, name?: string): ParsedCheck;
+declare function parseCheck(expression: string | undefined, name?: string, dialect?: string): ParsedCheck;
 /**
  * A number-kind literal, spelled for the wire type of the column it constrains.
  *
@@ -1568,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
@@ -1697,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

@@ -452,6 +452,15 @@ interface LengthCheck {
      * a given column.
      */
     unit?: 'characters' | 'bytes';
+    /**
+     * The function as written, before the engine decided what it counts.
+     *
+     * `unit` used to imply this, because the two were the same question: `octet_length` meant bytes
+     * and everything else meant characters. On MySQL `length()` also means bytes, so deriving the
+     * name back from the unit relabelled a user's `length(name) <= 5` as `octet_length(name) <= 5`,
+     * which is a constraint they did not write. The label the ledger matches on has to be theirs.
+     */
+    fn?: 'length' | 'char_length' | 'octet_length';
     name?: string;
 }
 /**
@@ -587,21 +596,11 @@ type ParsedCheck = {
     reason: string;
 };
 /**
- * Parse one check expression.
- *
- * Deliberately narrow. `BETWEEN` is included because it is common and means exactly two
- * inclusive bounds; `AND` of arbitrary predicates is not, because getting its scope wrong would
- * silently change what is enforced.
- *
- * **The order below is load bearing, in both directions.** `BETWEEN` is matched before the `AND`
- * split because it *holds* an `AND`; splitting first turned every `BETWEEN` into an unparseable
- * pair and dropped a constraint that had been enforced. The unary `IS` predicates are matched
- * *after* the splits for the mirror-image reason: none of them holds an `AND` or an `OR`, and
- * their trailing operand is greedy, so matching first would let `a IS DISTINCT FROM 5 AND b > 0`
- * swallow the second predicate. `OR` is split before `AND` because SQL binds `AND` tighter, and
- * no SQL operator spells an `OR` inside itself the way `BETWEEN` spells an `AND`.
+ * `dialect` decides what `length()` counts, and nothing else in this parser. Optional, and absent
+ * means the Postgres reading, which is what every caller got before it existed: a caller that does
+ * not know its dialect keeps the answer it already had rather than being given a new one.
  */
-declare function parseCheck(expression: string | undefined, name?: string): ParsedCheck;
+declare function parseCheck(expression: string | undefined, name?: string, dialect?: string): ParsedCheck;
 /**
  * A number-kind literal, spelled for the wire type of the column it constrains.
  *
@@ -1568,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
@@ -1697,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

@@ -52,7 +52,7 @@ function measureExpression(measure, variable) {
   }
 }
 function lengthCheckLabel(check) {
-  const fn = check.unit === "bytes" ? "octet_length" : "length";
+  const fn = check.fn ? check.fn === "char_length" ? "length" : check.fn : check.unit === "bytes" ? "octet_length" : "length";
   const rule = `${fn}(${check.column}) ${check.operator} ${check.value}`;
   return check.name ? `${check.name}: ${rule}` : rule;
 }
@@ -303,7 +303,13 @@ function foldDisjunctionToSet(branches, name) {
     sets: [{ column, values, kind, name }]
   };
 }
-function parseCheck(expression, name) {
+function lengthUnit(fn, dialect) {
+  const name = fn.toLowerCase();
+  if (name === "octet_length") return "bytes";
+  if (name === "char_length") return "characters";
+  return dialect === "mysql" ? "bytes" : "characters";
+}
+function parseCheck(expression, name, dialect) {
   const expr = unwrap((expression ?? "").trim());
   if (!expr) return { ok: false, reason: "empty expression" };
   if (expr.includes("?")) return { ok: false, reason: "expression contains an unresolved value" };
@@ -380,11 +386,12 @@ function parseCheck(expression, name) {
   const lengthOf = expr.match(LENGTH_OF);
   if (lengthOf) {
     const op2 = lengthOf[3] === "!=" ? "<>" : lengthOf[3];
-    const unit = lengthOf[1].toLowerCase() === "octet_length" ? "bytes" : "characters";
+    const fn = lengthOf[1].toLowerCase();
+    const unit = lengthUnit(fn, dialect);
     return {
       ok: true,
       checks: [],
-      lengths: [{ column: lengthOf[2], operator: op2, value: lengthOf[4], unit, name }]
+      lengths: [{ column: lengthOf[2], operator: op2, value: lengthOf[4], unit, fn, name }]
     };
   }
   const cardinalityOf = expr.match(CARDINALITY_OF);
@@ -891,7 +898,7 @@ function classifyTableChecks(table) {
   const out = [];
   for (const k of table.checks ?? []) {
     const expression = (k.expression ?? "").trim();
-    const parsed = parseCheck(k.expression, k.name);
+    const parsed = parseCheck(k.expression, k.name, table.dialect);
     if (!parsed.ok) {
       out.push({
         ...k.name ? { name: k.name } : {},
@@ -1690,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;
@@ -1850,6 +1889,7 @@ export {
   AFFIX_PREFIX_PATTERN,
   AFFIX_PROBE_TABLE,
   AFFIX_SUFFIX_PATTERN,
+  BIGINT_DIGITS_PATTERN,
   CODEPOINT_LENGTH,
   COERCIBLE_DATE_STRING,
   COLUMN_FORMATS,
@@ -1865,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.3",
+  "version": "3.22.5",
   "private": false,
   "license": "Apache-2.0",
   "type": "module",
@@ -24,7 +24,7 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@drzl/analyzer": "^1.21.3"
+    "@drzl/analyzer": "^1.21.5"
   },
   "peerDependencies": {
     "prettier": ">=3"