@drzl/validation-core 3.22.6 → 3.23.0

package/dist/index.cjs

@@ -64,6 +64,7 @@ __export(index_exports, {
   columnMetaFacts: () => columnMetaFacts,
   comparisonWire: () => comparisonWire,
   describeSet: () => describeSet,
+  fieldFacts: () => fieldFacts,
   fileWriter: () => fileWriter,
   formatCode: () => formatCode,
   importSpecifier: () => importSpecifier,
@@ -75,6 +76,7 @@ __export(index_exports, {
   lengthMeasure: () => lengthMeasure,
   measureCompare: () => measureCompare,
   measureExpression: () => measureExpression,
+  metaSchemaId: () => metaSchemaId,
   moduleFileName: () => moduleFileName,
   moduleSpecifier: () => moduleSpecifier,
   needsNumericCanon: () => needsNumericCanon,
@@ -1461,6 +1463,60 @@ function fileWriter(sink) {
   };
 }
 
+// src/fields.ts
+var UUID_PATTERN = "[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}";
+function controlFor(c) {
+  if (c.enumValues?.length) return "select";
+  if (c.tsType === "boolean") return "checkbox";
+  if (c.tsType === "number" || c.tsType === "bigint") return "number";
+  if (c.tsType === "Date") return "datetime-local";
+  return "text";
+}
+function boundsFor(c, checks) {
+  let lo = c.min !== void 0 ? { value: c.min, exclusive: false } : void 0;
+  let hi = c.max !== void 0 ? { value: c.max, exclusive: false } : void 0;
+  for (const k of checks) {
+    if (k.column !== c.name || k.kind !== "number") continue;
+    if (k.operator === ">=") lo = { value: k.value, exclusive: false };
+    else if (k.operator === ">") lo = { value: k.value, exclusive: true };
+    else if (k.operator === "<=") hi = { value: k.value, exclusive: false };
+    else if (k.operator === "<") hi = { value: k.value, exclusive: true };
+  }
+  return {
+    ...lo ? { min: lo.value, ...lo.exclusive ? { exclusiveMin: true } : {} } : {},
+    ...hi ? { max: hi.value, ...hi.exclusive ? { exclusiveMax: true } : {} } : {}
+  };
+}
+function fieldFacts(table) {
+  const parsed = (table.checks ?? []).map(
+    (k) => parseCheck(k.expression, k.name, table.dialect)
+  );
+  const ok = parsed.filter((p) => !!p && p.ok);
+  const columnChecks = ok.flatMap((p) => p.checks ?? []);
+  const lengthChecks = ok.flatMap((p) => p.lengths ?? []);
+  return table.columns.filter((c) => !c.isGenerated).map((c) => ({
+    name: c.name,
+    control: controlFor(c),
+    // A column the database fills is not one a form has to supply, which is the insert-side
+    // question a form asks. `nullable` is reported beside it for a reader asking the other one.
+    required: !c.nullable && !c.hasDefault,
+    nullable: c.nullable,
+    ...(() => {
+      const declared = c.maxLength;
+      const fromCheck = lengthChecks.filter(
+        (l) => l.column === c.name && (l.unit ?? "characters") === "characters" && (l.operator === "<=" || l.operator === "<")
+      ).map((l) => l.operator === "<" ? Number(l.value) - 1 : Number(l.value)).filter((n) => Number.isFinite(n));
+      const all = [...declared !== void 0 ? [declared] : [], ...fromCheck];
+      return all.length ? { maxLength: Math.min(...all) } : {};
+    })(),
+    ...boundsFor(c, columnChecks),
+    ...c.integer ? { integer: true } : {},
+    ...c.enumValues?.length ? { options: [...c.enumValues] } : {},
+    ...c.format === "uuid" ? { pattern: UUID_PATTERN } : {},
+    ...c.defaultValue !== void 0 ? { defaultValue: c.defaultValue } : {}
+  }));
+}
+
 // src/files.ts
 var import_node_fs = __toESM(require("fs"), 1);
 var import_node_path = __toESM(require("path"), 1);
@@ -1521,6 +1577,11 @@ function withTsExtension(p) {
 }
 
 // src/meta.ts
+function metaSchemaId(table, mode) {
+  const qualified = table.schema ? `${table.schema}_${table.name}` : table.name;
+  const safe = qualified.replace(/[^A-Za-z0-9_]/g, "_");
+  return `${safe}${mode.charAt(0).toUpperCase()}${mode.slice(1)}`;
+}
 function classifyChecks(table) {
   const perColumn = /* @__PURE__ */ new Map();
   const rows = [];
@@ -1579,6 +1640,7 @@ function tableMetaFacts(table, opts) {
   const pk = table.primaryKey?.columns ?? [];
   const unique = (table.unique ?? []).map((k) => k.columns).filter((c) => c.length > 0);
   const facts = {
+    ...opts.id ? { id: opts.id } : {},
     table: table.name,
     ...table.schema ? { schema: table.schema } : {},
     ...opts.dialect ? { dialect: opts.dialect } : {},
@@ -2036,6 +2098,7 @@ async function formatCode(code, filePath, fmt) {
   columnMetaFacts,
   comparisonWire,
   describeSet,
+  fieldFacts,
   fileWriter,
   formatCode,
   importSpecifier,
@@ -2047,6 +2110,7 @@ async function formatCode(code, filePath, fmt) {
   lengthMeasure,
   measureCompare,
   measureExpression,
+  metaSchemaId,
   moduleFileName,
   moduleSpecifier,
   needsNumericCanon,

package/dist/index.d.cts

@@ -966,6 +966,65 @@ declare const CONSTRAINTS_MODULE = "constraints.ts";
  */
 declare function renderConstraintsModule(tables: Table$1[], opts?: ConstraintsModuleOptions): string;
 
+/**
+ * What one column is, in the terms a form control needs.
+ *
+ * Every validation generator already folds a table's `CHECK` constraints into the bounds it emits,
+ * and every one of them does it with a private copy of the same loop. A form generator reading
+ * `Column.min` and `Column.max` directly would be a fourth derivation and a wrong one: measured
+ * 2026-08-12, a column carrying `check('adult', age >= 18)` still reports
+ * `min: '-2147483648'`, the plain int32 range, because the analyzer leaves checks on the table and
+ * the generators fold them at emit time. An input rendered from that would carry
+ * `min="-2147483648"`, which looks like a bound and is not one.
+ *
+ * So the fold lives here, beside `classifyTableChecks` and `tableConstraints`, which are already
+ * the shared home for the same question. `fieldFacts` is what a form generator reads, and what the
+ * emitted schema's own bounds agree with by construction rather than by coincidence.
+ */
+interface FieldFacts {
+    /** The column, under the TypeScript name a generated schema spells. */
+    name: string;
+    /** The input type a control should use, derived from the column's TypeScript type. */
+    control: 'text' | 'number' | 'checkbox' | 'datetime-local' | 'select';
+    /**
+     * Whether a value has to be supplied on insert.
+     *
+     * False for a nullable column and for one carrying a default, since the database fills it. This
+     * is the insert-side answer; a select-side reader wants `nullable` instead.
+     */
+    required: boolean;
+    nullable: boolean;
+    /** `maxlength`, from a declared width. Absent on an unbounded text column. */
+    maxLength?: number;
+    /**
+     * `min` and `max`, as text.
+     *
+     * Text because a 64 bit bound is not representable as a JS number, which is the same reason the
+     * analyzer reports them that way. Narrowed by any `CHECK` on the column: a check replaces the end
+     * it constrains rather than sitting beside it, and it can never widen, because the declared range
+     * is the column's type and no check makes an int32 hold more.
+     */
+    min?: string;
+    max?: string;
+    /** Whether either bound is exclusive, which HTML cannot express and a validator can. */
+    exclusiveMin?: boolean;
+    exclusiveMax?: boolean;
+    /** `step="1"` for an integer column. */
+    integer?: boolean;
+    /** The options a `<select>` should carry, from a native enum or a declared set. */
+    options?: string[];
+    /** A `pattern` where the column's format implies one and HTML can state it. */
+    pattern?: string;
+    /** The default the database applies, for a form's initial value. */
+    defaultValue?: unknown;
+}
+/**
+ * Every column of a table, as the facts a form control needs.
+ *
+ * Generated columns are left out: the database computes them and no form supplies one.
+ */
+declare function fieldFacts(table: Table$1): FieldFacts[];
+
 /**
  * The facts a generated schema can carry beside itself.
  *
@@ -1037,6 +1096,15 @@ interface ColumnMetaFacts {
 }
 /** What a table's schema adds beside itself. */
 interface TableMetaFacts {
+    /**
+     * The registry id, present only when asked for.
+     *
+     * zod reads this key out of the same object and registers the schema under it, which is what
+     * makes `z.toJSONSchema` emit a `$ref` instead of inlining a copy, and what gives
+     * `z.toJSONSchema(z.globalRegistry)` a name to file each schema under. See `metaSchemaId` for why
+     * it is built from the qualified table name.
+     */
+    id?: string;
     /** The SQL table name, which is not the Drizzle export name the schema is named after. */
     table: string;
     /**
@@ -1085,7 +1153,33 @@ interface MetaFactOptions {
 interface TableMetaOptions extends MetaFactOptions {
     mode: string;
     dialect?: string;
+    /**
+     * Also give the schema an `id`, which is what puts it in zod's registry under a name.
+     *
+     * Off by default, because it is the one metadata key with a failure mode. Measured against zod
+     * 4.4.3: an `id` makes `z.toJSONSchema` emit `$ref: '#/$defs/<id>'` wherever one schema references
+     * another, and `z.toJSONSchema(z.globalRegistry)` return a `{ schemas: { <id>: ... } }` bundle,
+     * which is what makes a generated document self-describing. But two schemas sharing an id do not
+     * report the collision: measured, `z.toJSONSchema(registry)` keeps the last one and **silently
+     * drops the other**. Two tables, one entry, no warning, and nothing a consumer can check.
+     *
+     * So the id has to be unique across the whole analysis rather than within a file, which is why
+     * `metaSchemaId` builds it from the qualified table name.
+     */
+    id?: string;
 }
+/**
+ * The registry id for one table's schema, unique across an analysis.
+ *
+ * Built from the qualified name, because two tables in two SQL schemas share a bare one and zod
+ * does not report the collision: a registry dump silently keeps one of them. `reporting.users` becomes
+ * `reporting_usersSelect`; a table in the default schema keeps the short `usersSelect`, so the
+ * common case reads the way anybody would have written it by hand.
+ *
+ * Anything outside `[A-Za-z0-9_]` becomes `_`, because the id lands in a `$ref` as a JSON Pointer
+ * segment and a `/` or a `~` there means something else entirely.
+ */
+declare function metaSchemaId(table: Table$1, mode: string): string;
 /**
  * The metadata for one column.
  *
@@ -1736,4 +1830,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, 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, JSON_VALUE_TS_CONST, JSON_VALUE_TS_SOURCE, 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 };
+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 FieldFacts, type FileSink, type FormatOptions, type GeneratorFs, IMPORT_EXTENSIONS, type ImportExtension, JSON_VALUE_TS_CONST, JSON_VALUE_TS_SOURCE, 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, fieldFacts, fileWriter, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, isProjectInstallPath, lengthCheckLabel, lengthMeasure, measureCompare, measureExpression, metaSchemaId, 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

@@ -966,6 +966,65 @@ declare const CONSTRAINTS_MODULE = "constraints.ts";
  */
 declare function renderConstraintsModule(tables: Table$1[], opts?: ConstraintsModuleOptions): string;
 
+/**
+ * What one column is, in the terms a form control needs.
+ *
+ * Every validation generator already folds a table's `CHECK` constraints into the bounds it emits,
+ * and every one of them does it with a private copy of the same loop. A form generator reading
+ * `Column.min` and `Column.max` directly would be a fourth derivation and a wrong one: measured
+ * 2026-08-12, a column carrying `check('adult', age >= 18)` still reports
+ * `min: '-2147483648'`, the plain int32 range, because the analyzer leaves checks on the table and
+ * the generators fold them at emit time. An input rendered from that would carry
+ * `min="-2147483648"`, which looks like a bound and is not one.
+ *
+ * So the fold lives here, beside `classifyTableChecks` and `tableConstraints`, which are already
+ * the shared home for the same question. `fieldFacts` is what a form generator reads, and what the
+ * emitted schema's own bounds agree with by construction rather than by coincidence.
+ */
+interface FieldFacts {
+    /** The column, under the TypeScript name a generated schema spells. */
+    name: string;
+    /** The input type a control should use, derived from the column's TypeScript type. */
+    control: 'text' | 'number' | 'checkbox' | 'datetime-local' | 'select';
+    /**
+     * Whether a value has to be supplied on insert.
+     *
+     * False for a nullable column and for one carrying a default, since the database fills it. This
+     * is the insert-side answer; a select-side reader wants `nullable` instead.
+     */
+    required: boolean;
+    nullable: boolean;
+    /** `maxlength`, from a declared width. Absent on an unbounded text column. */
+    maxLength?: number;
+    /**
+     * `min` and `max`, as text.
+     *
+     * Text because a 64 bit bound is not representable as a JS number, which is the same reason the
+     * analyzer reports them that way. Narrowed by any `CHECK` on the column: a check replaces the end
+     * it constrains rather than sitting beside it, and it can never widen, because the declared range
+     * is the column's type and no check makes an int32 hold more.
+     */
+    min?: string;
+    max?: string;
+    /** Whether either bound is exclusive, which HTML cannot express and a validator can. */
+    exclusiveMin?: boolean;
+    exclusiveMax?: boolean;
+    /** `step="1"` for an integer column. */
+    integer?: boolean;
+    /** The options a `<select>` should carry, from a native enum or a declared set. */
+    options?: string[];
+    /** A `pattern` where the column's format implies one and HTML can state it. */
+    pattern?: string;
+    /** The default the database applies, for a form's initial value. */
+    defaultValue?: unknown;
+}
+/**
+ * Every column of a table, as the facts a form control needs.
+ *
+ * Generated columns are left out: the database computes them and no form supplies one.
+ */
+declare function fieldFacts(table: Table$1): FieldFacts[];
+
 /**
  * The facts a generated schema can carry beside itself.
  *
@@ -1037,6 +1096,15 @@ interface ColumnMetaFacts {
 }
 /** What a table's schema adds beside itself. */
 interface TableMetaFacts {
+    /**
+     * The registry id, present only when asked for.
+     *
+     * zod reads this key out of the same object and registers the schema under it, which is what
+     * makes `z.toJSONSchema` emit a `$ref` instead of inlining a copy, and what gives
+     * `z.toJSONSchema(z.globalRegistry)` a name to file each schema under. See `metaSchemaId` for why
+     * it is built from the qualified table name.
+     */
+    id?: string;
     /** The SQL table name, which is not the Drizzle export name the schema is named after. */
     table: string;
     /**
@@ -1085,7 +1153,33 @@ interface MetaFactOptions {
 interface TableMetaOptions extends MetaFactOptions {
     mode: string;
     dialect?: string;
+    /**
+     * Also give the schema an `id`, which is what puts it in zod's registry under a name.
+     *
+     * Off by default, because it is the one metadata key with a failure mode. Measured against zod
+     * 4.4.3: an `id` makes `z.toJSONSchema` emit `$ref: '#/$defs/<id>'` wherever one schema references
+     * another, and `z.toJSONSchema(z.globalRegistry)` return a `{ schemas: { <id>: ... } }` bundle,
+     * which is what makes a generated document self-describing. But two schemas sharing an id do not
+     * report the collision: measured, `z.toJSONSchema(registry)` keeps the last one and **silently
+     * drops the other**. Two tables, one entry, no warning, and nothing a consumer can check.
+     *
+     * So the id has to be unique across the whole analysis rather than within a file, which is why
+     * `metaSchemaId` builds it from the qualified table name.
+     */
+    id?: string;
 }
+/**
+ * The registry id for one table's schema, unique across an analysis.
+ *
+ * Built from the qualified name, because two tables in two SQL schemas share a bare one and zod
+ * does not report the collision: a registry dump silently keeps one of them. `reporting.users` becomes
+ * `reporting_usersSelect`; a table in the default schema keeps the short `usersSelect`, so the
+ * common case reads the way anybody would have written it by hand.
+ *
+ * Anything outside `[A-Za-z0-9_]` becomes `_`, because the id lands in a `$ref` as a JSON Pointer
+ * segment and a `/` or a `~` there means something else entirely.
+ */
+declare function metaSchemaId(table: Table$1, mode: string): string;
 /**
  * The metadata for one column.
  *
@@ -1736,4 +1830,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, 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, JSON_VALUE_TS_CONST, JSON_VALUE_TS_SOURCE, 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 };
+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 FieldFacts, type FileSink, type FormatOptions, type GeneratorFs, IMPORT_EXTENSIONS, type ImportExtension, JSON_VALUE_TS_CONST, JSON_VALUE_TS_SOURCE, 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, fieldFacts, fileWriter, formatCode, importSpecifier, insertColumns, isGeneratedColumn, isIntegerColumn, isProjectInstallPath, lengthCheckLabel, lengthMeasure, measureCompare, measureExpression, metaSchemaId, 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

@@ -1355,6 +1355,60 @@ function fileWriter(sink) {
   };
 }
 
+// src/fields.ts
+var UUID_PATTERN = "[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}";
+function controlFor(c) {
+  if (c.enumValues?.length) return "select";
+  if (c.tsType === "boolean") return "checkbox";
+  if (c.tsType === "number" || c.tsType === "bigint") return "number";
+  if (c.tsType === "Date") return "datetime-local";
+  return "text";
+}
+function boundsFor(c, checks) {
+  let lo = c.min !== void 0 ? { value: c.min, exclusive: false } : void 0;
+  let hi = c.max !== void 0 ? { value: c.max, exclusive: false } : void 0;
+  for (const k of checks) {
+    if (k.column !== c.name || k.kind !== "number") continue;
+    if (k.operator === ">=") lo = { value: k.value, exclusive: false };
+    else if (k.operator === ">") lo = { value: k.value, exclusive: true };
+    else if (k.operator === "<=") hi = { value: k.value, exclusive: false };
+    else if (k.operator === "<") hi = { value: k.value, exclusive: true };
+  }
+  return {
+    ...lo ? { min: lo.value, ...lo.exclusive ? { exclusiveMin: true } : {} } : {},
+    ...hi ? { max: hi.value, ...hi.exclusive ? { exclusiveMax: true } : {} } : {}
+  };
+}
+function fieldFacts(table) {
+  const parsed = (table.checks ?? []).map(
+    (k) => parseCheck(k.expression, k.name, table.dialect)
+  );
+  const ok = parsed.filter((p) => !!p && p.ok);
+  const columnChecks = ok.flatMap((p) => p.checks ?? []);
+  const lengthChecks = ok.flatMap((p) => p.lengths ?? []);
+  return table.columns.filter((c) => !c.isGenerated).map((c) => ({
+    name: c.name,
+    control: controlFor(c),
+    // A column the database fills is not one a form has to supply, which is the insert-side
+    // question a form asks. `nullable` is reported beside it for a reader asking the other one.
+    required: !c.nullable && !c.hasDefault,
+    nullable: c.nullable,
+    ...(() => {
+      const declared = c.maxLength;
+      const fromCheck = lengthChecks.filter(
+        (l) => l.column === c.name && (l.unit ?? "characters") === "characters" && (l.operator === "<=" || l.operator === "<")
+      ).map((l) => l.operator === "<" ? Number(l.value) - 1 : Number(l.value)).filter((n) => Number.isFinite(n));
+      const all = [...declared !== void 0 ? [declared] : [], ...fromCheck];
+      return all.length ? { maxLength: Math.min(...all) } : {};
+    })(),
+    ...boundsFor(c, columnChecks),
+    ...c.integer ? { integer: true } : {},
+    ...c.enumValues?.length ? { options: [...c.enumValues] } : {},
+    ...c.format === "uuid" ? { pattern: UUID_PATTERN } : {},
+    ...c.defaultValue !== void 0 ? { defaultValue: c.defaultValue } : {}
+  }));
+}
+
 // src/files.ts
 import nodeFs2 from "fs";
 import nodePath from "path";
@@ -1415,6 +1469,11 @@ function withTsExtension(p) {
 }
 
 // src/meta.ts
+function metaSchemaId(table, mode) {
+  const qualified = table.schema ? `${table.schema}_${table.name}` : table.name;
+  const safe = qualified.replace(/[^A-Za-z0-9_]/g, "_");
+  return `${safe}${mode.charAt(0).toUpperCase()}${mode.slice(1)}`;
+}
 function classifyChecks(table) {
   const perColumn = /* @__PURE__ */ new Map();
   const rows = [];
@@ -1473,6 +1532,7 @@ function tableMetaFacts(table, opts) {
   const pk = table.primaryKey?.columns ?? [];
   const unique = (table.unique ?? []).map((k) => k.columns).filter((c) => c.length > 0);
   const facts = {
+    ...opts.id ? { id: opts.id } : {},
     table: table.name,
     ...table.schema ? { schema: table.schema } : {},
     ...opts.dialect ? { dialect: opts.dialect } : {},
@@ -1929,6 +1989,7 @@ export {
   columnMetaFacts,
   comparisonWire,
   describeSet,
+  fieldFacts,
   fileWriter,
   formatCode,
   importSpecifier,
@@ -1940,6 +2001,7 @@ export {
   lengthMeasure,
   measureCompare,
   measureExpression,
+  metaSchemaId,
   moduleFileName,
   moduleSpecifier,
   needsNumericCanon,

package/package.json

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