@ultimat3/schema 1.0.0

package/src/standard.js

@@ -0,0 +1,71 @@
+// Single responsibility: the Standard Schema v1 interface plus library-agnostic helpers.
+// This is the swap point: every Ultimate primitive accepts any conforming schema, so ArkType,
+// Zod and Valibot are all first-class without a line of adapter code.
+import { SchemaUnsupportedError, ValidationFailedError } from './errors';
+/** `['items', 0, 'price']` -> `items[0].price` */
+export function formatPath(path) {
+    if (path === undefined || path.length === 0)
+        return '';
+    let out = '';
+    for (const segment of path) {
+        const key = typeof segment === 'object' ? segment.key : segment;
+        if (typeof key === 'number') {
+            out += `[${key}]`;
+        }
+        else {
+            out += out === '' ? String(key) : `.${String(key)}`;
+        }
+    }
+    return out;
+}
+/** Normalise any conforming library's issues into Ultimate's path-annotated shape. */
+export function toValidationIssues(issues) {
+    return issues.map((issue) => ({
+        path: formatPath(issue.path),
+        expected: issue.message,
+        received: '',
+        message: issue.message,
+    }));
+}
+function assertSync(result, vendor) {
+    if (result instanceof Promise) {
+        throw new SchemaUnsupportedError({
+            cause: `${vendor} validated asynchronously in a synchronous call site`,
+            fix: 'call validateAsync()/parseAsync() instead of validate()/parse()',
+            meta: { vendor },
+        });
+    }
+    return result;
+}
+/** Validate against ANY conforming schema. Never throws on invalid input. */
+export function validate(schema, value) {
+    const props = schema['~standard'];
+    return assertSync(props.validate(value), props.vendor);
+}
+export async function validateAsync(schema, value) {
+    const result = await schema['~standard'].validate(value);
+    return result;
+}
+/** Validate or throw `X_VALIDATION_FAILED` with a path-annotated issue list. */
+export function parse(schema, value, root = 'value') {
+    const result = validate(schema, value);
+    if (result.issues === undefined)
+        return result.value;
+    throw new ValidationFailedError(toValidationIssues(result.issues), root);
+}
+export async function parseAsync(schema, value, root = 'value') {
+    const result = await validateAsync(schema, value);
+    if (result.issues === undefined)
+        return result.value;
+    throw new ValidationFailedError(toValidationIssues(result.issues), root);
+}
+export function isStandardSchema(value) {
+    if (typeof value !== 'object' || value === null || !('~standard' in value))
+        return false;
+    const props = value['~standard'];
+    return (typeof props === 'object' &&
+        props !== null &&
+        props.version === 1 &&
+        typeof props.validate === 'function');
+}
+//# sourceMappingURL=standard.js.map

package/src/standard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"standard.js","sourceRoot":"","sources":["standard.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,8FAA8F;AAC9F,sEAAsE;AAEtE,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAwB,MAAM,UAAU,CAAC;AA6C/F,kDAAkD;AAClD,MAAM,UAAU,UAAU,CACxB,IAAgE;IAEhE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QAChE,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,GAAG,IAAI,IAAI,GAAG,GAAG,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,kBAAkB,CAAC,MAAgC;IACjE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,QAAQ,EAAE,KAAK,CAAC,OAAO;QACvB,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CACjB,MAAgE,EAChE,MAAc;IAEd,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;QAC9B,MAAM,IAAI,sBAAsB,CAAC;YAC/B,KAAK,EAAE,GAAG,MAAM,sDAAsD;YACtE,GAAG,EAAE,iEAAiE;YACtE,IAAI,EAAE,EAAE,MAAM,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,QAAQ,CACtB,MAAS,EACT,KAAc;IAEd,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAClC,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAmC,CAAC;AAC3F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,MAAS,EACT,KAAc;IAEd,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzD,OAAO,MAAwC,CAAC;AAClD,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,KAAK,CACnB,MAAS,EACT,KAAc,EACd,IAAI,GAAG,OAAO;IAEd,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC;IACrD,MAAM,IAAI,qBAAqB,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,MAAS,EACT,KAAc,EACd,IAAI,GAAG,OAAO;IAEd,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC;IACrD,MAAM,IAAI,qBAAqB,CAAC,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzF,MAAM,KAAK,GAAI,KAAkC,CAAC,WAAW,CAAC,CAAC;IAC/D,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA+B,CAAC,OAAO,KAAK,CAAC;QAC9C,OAAQ,KAAgC,CAAC,QAAQ,KAAK,UAAU,CACjE,CAAC;AACJ,CAAC"}

package/src/standard.ts

@@ -0,0 +1,160 @@
+// Single responsibility: the Standard Schema v1 interface plus library-agnostic helpers.
+// This is the swap point: every Ultimate primitive accepts any conforming schema, so ArkType,
+// Zod and Valibot are all first-class without a line of adapter code.
+
+import { SchemaUnsupportedError, ValidationFailedError, type ValidationIssue } from './errors';
+
+export interface StandardSchemaV1<Input = unknown, Output = Input> {
+  readonly '~standard': StandardSchemaProps<Input, Output>;
+}
+
+export interface StandardSchemaProps<Input, Output> {
+  readonly version: 1;
+  /** Library name, e.g. `ultimate`, `arktype`, `zod`. */
+  readonly vendor: string;
+  readonly validate: (value: unknown) => StandardResult<Output> | Promise<StandardResult<Output>>;
+  readonly types?: StandardTypes<Input, Output> | undefined;
+}
+
+export interface StandardTypes<Input, Output> {
+  readonly input: Input;
+  readonly output: Output;
+}
+
+export interface StandardSuccessResult<Output> {
+  readonly value: Output;
+  readonly issues?: undefined;
+}
+
+export interface StandardFailureResult {
+  readonly issues: readonly StandardIssue[];
+}
+
+export type StandardResult<Output> = StandardSuccessResult<Output> | StandardFailureResult;
+
+export interface StandardPathSegment {
+  readonly key: PropertyKey;
+}
+
+export interface StandardIssue {
+  readonly message: string;
+  readonly path?: readonly (PropertyKey | StandardPathSegment)[] | undefined;
+}
+
+export type InferInput<S extends StandardSchemaV1> = NonNullable<S['~standard']['types']>['input'];
+
+export type InferOutput<S extends StandardSchemaV1> = NonNullable<
+  S['~standard']['types']
+>['output'];
+
+/** `['items', 0, 'price']` -> `items[0].price` */
+export function formatPath(
+  path: readonly (PropertyKey | StandardPathSegment)[] | undefined,
+): string {
+  if (path === undefined || path.length === 0) return '';
+  let out = '';
+  for (const segment of path) {
+    const key = typeof segment === 'object' ? segment.key : segment;
+    if (typeof key === 'number') {
+      out += `[${key}]`;
+    } else {
+      out += out === '' ? String(key) : `.${String(key)}`;
+    }
+  }
+  return out;
+}
+
+/**
+ * Any issue list this package or its consumers produce, whatever shape the path takes —
+ * a `StandardIssue`'s segment array, or an already-flattened dotted string.
+ */
+export interface FormattableIssue {
+  readonly message: string;
+  readonly path?: string | readonly (PropertyKey | StandardPathSegment)[] | undefined;
+}
+
+/**
+ * The one issue-to-text renderer for the whole framework: `x_validation_failed`,
+ * MCP arg errors and action input/output errors all read the same `path: message`
+ * line so a human or an agent parses one format everywhere. Callers join or index
+ * the array however their surface needs it.
+ */
+export function formatIssues(issues: readonly FormattableIssue[]): readonly string[] {
+  return issues.map((issue) => {
+    const path = typeof issue.path === 'string' ? issue.path : formatPath(issue.path);
+    return path === '' ? issue.message : `${path}: ${issue.message}`;
+  });
+}
+
+/** Normalise any conforming library's issues into Ultimate's path-annotated shape. */
+export function toValidationIssues(issues: readonly StandardIssue[]): readonly ValidationIssue[] {
+  return issues.map((issue) => ({
+    path: formatPath(issue.path),
+    expected: issue.message,
+    received: '',
+    message: issue.message,
+  }));
+}
+
+function assertSync<Output>(
+  result: StandardResult<Output> | Promise<StandardResult<Output>>,
+  vendor: string,
+): StandardResult<Output> {
+  if (result instanceof Promise) {
+    throw new SchemaUnsupportedError({
+      cause: `${vendor} validated asynchronously in a synchronous call site`,
+      fix: 'call validateAsync()/parseAsync() instead of validate()/parse()',
+      meta: { vendor },
+    });
+  }
+  return result;
+}
+
+/** Validate against ANY conforming schema. Never throws on invalid input. */
+export function validate<S extends StandardSchemaV1>(
+  schema: S,
+  value: unknown,
+): StandardResult<InferOutput<S>> {
+  const props = schema['~standard'];
+  return assertSync(props.validate(value), props.vendor) as StandardResult<InferOutput<S>>;
+}
+
+export async function validateAsync<S extends StandardSchemaV1>(
+  schema: S,
+  value: unknown,
+): Promise<StandardResult<InferOutput<S>>> {
+  const result = await schema['~standard'].validate(value);
+  return result as StandardResult<InferOutput<S>>;
+}
+
+/** Validate or throw `X_VALIDATION_FAILED` with a path-annotated issue list. */
+export function parse<S extends StandardSchemaV1>(
+  schema: S,
+  value: unknown,
+  root = 'value',
+): InferOutput<S> {
+  const result = validate(schema, value);
+  if (result.issues === undefined) return result.value;
+  throw new ValidationFailedError(toValidationIssues(result.issues), root);
+}
+
+export async function parseAsync<S extends StandardSchemaV1>(
+  schema: S,
+  value: unknown,
+  root = 'value',
+): Promise<InferOutput<S>> {
+  const result = await validateAsync(schema, value);
+  if (result.issues === undefined) return result.value;
+  throw new ValidationFailedError(toValidationIssues(result.issues), root);
+}
+
+export function isStandardSchema(value: unknown): value is StandardSchemaV1 {
+  if (typeof value !== 'object' || value === null || !('~standard' in value)) return false;
+  const props = (value as { '~standard': unknown })['~standard'];
+  return (
+    typeof props === 'object' &&
+    props !== null &&
+    (props as { version?: unknown }).version === 1 &&
+    typeof (props as { validate?: unknown }).validate === 'function'
+  );
+}

package/src/t.d.ts

@@ -0,0 +1,6 @@
+import type { InferOutput, StandardSchemaV1 } from './standard';
+import type { TNamespace } from './validators';
+export declare const t: TNamespace;
+/** `type PublishInput = Infer<typeof publishInput>` */
+export type Infer<S extends StandardSchemaV1> = InferOutput<S>;
+//# sourceMappingURL=t.d.ts.map

package/src/t.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"t.d.ts","sourceRoot":"","sources":["t.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAc,WAAW,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,KAAK,EAKV,UAAU,EACX,MAAM,cAAc,CAAC;AAMtB,eAAO,MAAM,CAAC,EAAE,UA8Ef,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,gBAAgB,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC"}

package/src/t.js

@@ -0,0 +1,79 @@
+// Single responsibility: the blessed `t` namespace. One import, one way to declare a schema.
+// Every member delegates to the active provider, so `configureSchemaProvider()` takes effect
+// even for modules that captured `t` at import time.
+import { schemaProvider } from './provider';
+function provider() {
+    return schemaProvider().t;
+}
+export const t = {
+    get string() {
+        return provider().string;
+    },
+    get number() {
+        return provider().number;
+    },
+    get boolean() {
+        return provider().boolean;
+    },
+    get uuid() {
+        return provider().uuid;
+    },
+    get email() {
+        return provider().email;
+    },
+    get url() {
+        return provider().url;
+    },
+    get date() {
+        return provider().date;
+    },
+    get money() {
+        return provider().money;
+    },
+    get timezone() {
+        return provider().timezone;
+    },
+    get locale() {
+        return provider().locale;
+    },
+    get slug() {
+        return provider().slug;
+    },
+    get cursor() {
+        return provider().cursor;
+    },
+    object(shape) {
+        return provider().object(shape);
+    },
+    array(items) {
+        return provider().array(items);
+    },
+    enum(values) {
+        return provider().enum(values);
+    },
+    /**
+     * Variadic form of `enum`, and the blessed spelling: it spreads a `const` tuple of codes
+     * straight from the domain package (`t.enumerated(...PLAN_CODES)`) and avoids the reserved
+     * word at the call site.
+     */
+    enumerated(...values) {
+        return provider().enum(values);
+    },
+    literal(value) {
+        return provider().literal(value);
+    },
+    union(...members) {
+        return provider().union(...members);
+    },
+    record(values) {
+        return provider().record(values);
+    },
+    /** `t.nullable(t.url)` — the column may hold null, which is not the same as being absent. */
+    nullable(schema) {
+        return schema.nullable();
+    },
+    optional(schema) {
+        return provider().optional(schema);
+    },
+};
+//# sourceMappingURL=t.js.map

package/src/t.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"t.js","sourceRoot":"","sources":["t.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,6FAA6F;AAC7F,qDAAqD;AAGrD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAU5C,SAAS,QAAQ;IACf,OAAO,cAAc,EAAE,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,MAAM,CAAC,GAAe;IAC3B,IAAI,MAAM;QACR,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,IAAI,MAAM;QACR,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,IAAI,OAAO;QACT,OAAO,QAAQ,EAAE,CAAC,OAAO,CAAC;IAC5B,CAAC;IACD,IAAI,IAAI;QACN,OAAO,QAAQ,EAAE,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,IAAI,KAAK;QACP,OAAO,QAAQ,EAAE,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,IAAI,GAAG;QACL,OAAO,QAAQ,EAAE,CAAC,GAAG,CAAC;IACxB,CAAC;IACD,IAAI,IAAI;QACN,OAAO,QAAQ,EAAE,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,IAAI,KAAK;QACP,OAAO,QAAQ,EAAE,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,IAAI,QAAQ;QACV,OAAO,QAAQ,EAAE,CAAC,QAAQ,CAAC;IAC7B,CAAC;IACD,IAAI,MAAM;QACR,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,IAAI,IAAI;QACN,OAAO,QAAQ,EAAE,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,IAAI,MAAM;QACR,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,MAAM,CAAkB,KAAQ;QAC9B,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,CAAsB,KAAQ;QACjC,OAAO,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAiD,MAAS;QAC5D,OAAO,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD;;;;OAIG;IACH,UAAU,CACR,GAAG,MAAS;QAEZ,OAAO,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,CAA4C,KAAQ;QACzD,OAAO,QAAQ,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,CACH,GAAG,OAAU;QAEb,OAAO,QAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,CACJ,MAAS;QAET,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,6FAA6F;IAC7F,QAAQ,CAAsB,MAAS;QACrC,OAAO,MAAM,CAAC,QAAQ,EAAyD,CAAC;IAClF,CAAC;IACD,QAAQ,CACN,MAAS;QAET,OAAO,QAAQ,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;CACF,CAAC"}

package/src/t.ts

@@ -0,0 +1,101 @@
+// Single responsibility: the blessed `t` namespace. One import, one way to declare a schema.
+// Every member delegates to the active provider, so `configureSchemaProvider()` takes effect
+// even for modules that captured `t` at import time.
+
+import type { AnySchema, Schema, Shape } from './builder';
+import { schemaProvider } from './provider';
+import type { InferInput, InferOutput, StandardSchemaV1 } from './standard';
+import type {
+  MoneyValue,
+  NumberSchema,
+  ObjectSchema,
+  StringSchema,
+  TNamespace,
+} from './validators';
+
+function provider(): TNamespace {
+  return schemaProvider().t;
+}
+
+export const t: TNamespace = {
+  get string(): StringSchema {
+    return provider().string;
+  },
+  get number(): NumberSchema {
+    return provider().number;
+  },
+  get boolean(): Schema<boolean, boolean> {
+    return provider().boolean;
+  },
+  get uuid(): StringSchema {
+    return provider().uuid;
+  },
+  get email(): StringSchema {
+    return provider().email;
+  },
+  get url(): StringSchema {
+    return provider().url;
+  },
+  get date(): Schema<Date | string | number, Date> {
+    return provider().date;
+  },
+  get money(): Schema<MoneyValue, MoneyValue> {
+    return provider().money;
+  },
+  get timezone(): StringSchema {
+    return provider().timezone;
+  },
+  get locale(): StringSchema {
+    return provider().locale;
+  },
+  get slug(): StringSchema {
+    return provider().slug;
+  },
+  get cursor(): StringSchema {
+    return provider().cursor;
+  },
+  object<S extends Shape>(shape: S): ObjectSchema<S> {
+    return provider().object(shape);
+  },
+  array<S extends AnySchema>(items: S): Schema<readonly InferInput<S>[], InferOutput<S>[]> {
+    return provider().array(items);
+  },
+  enum<const V extends readonly [string, ...string[]]>(values: V): Schema<V[number], V[number]> {
+    return provider().enum(values);
+  },
+  /**
+   * Variadic form of `enum`, and the blessed spelling: it spreads a `const` tuple of codes
+   * straight from the domain package (`t.enumerated(...PLAN_CODES)`) and avoids the reserved
+   * word at the call site.
+   */
+  enumerated<const V extends readonly [string, ...string[]]>(
+    ...values: V
+  ): Schema<V[number], V[number]> {
+    return provider().enum(values);
+  },
+  literal<const V extends string | number | boolean>(value: V): Schema<V, V> {
+    return provider().literal(value);
+  },
+  union<S extends readonly [AnySchema, ...AnySchema[]]>(
+    ...members: S
+  ): Schema<InferInput<S[number]>, InferOutput<S[number]>> {
+    return provider().union(...members);
+  },
+  record<S extends AnySchema>(
+    values: S,
+  ): Schema<Readonly<Record<string, InferInput<S>>>, Record<string, InferOutput<S>>> {
+    return provider().record(values);
+  },
+  /** `t.nullable(t.url)` — the column may hold null, which is not the same as being absent. */
+  nullable<S extends AnySchema>(schema: S): Schema<InferInput<S> | null, InferOutput<S> | null> {
+    return schema.nullable() as Schema<InferInput<S> | null, InferOutput<S> | null>;
+  },
+  optional<S extends AnySchema>(
+    schema: S,
+  ): Schema<InferInput<S> | undefined, InferOutput<S> | undefined> {
+    return provider().optional(schema);
+  },
+};
+
+/** `type PublishInput = Infer<typeof publishInput>` */
+export type Infer<S extends StandardSchemaV1> = InferOutput<S>;

package/src/validators.d.ts

@@ -0,0 +1,63 @@
+import { type AnySchema, type Schema, type Shape, type ShapeInput, type ShapeOutput } from './builder';
+import type { InferInput, InferOutput } from './standard';
+/** Structurally identical to `Money` in `@ultimat3/money`. Never a float. */
+export interface MoneyValue {
+    readonly minor: number;
+    readonly currency: string;
+}
+export interface StringSchema extends Schema<string, string> {
+    min(length: number): StringSchema;
+    max(length: number): StringSchema;
+    pattern(regex: RegExp): StringSchema;
+}
+export interface NumberSchema extends Schema<number, number> {
+    min(value: number): NumberSchema;
+    max(value: number): NumberSchema;
+    int(): NumberSchema;
+}
+export interface ObjectSchema<S extends Shape> extends Schema<ShapeInput<S>, ShapeOutput<S>> {
+    readonly shape: S;
+    extend<E extends Shape>(extra: E): ObjectSchema<Simplified<S & E>>;
+    pick<K extends keyof S & string>(...keys: readonly K[]): ObjectSchema<Pick<S, K>>;
+    omit<K extends keyof S & string>(...keys: readonly K[]): ObjectSchema<Omit<S, K>>;
+}
+type Simplified<S> = {
+    [K in keyof S]: S[K];
+} & {};
+export declare function objectSchema<S extends Shape>(shape: S): ObjectSchema<S>;
+export declare function arraySchema<S extends AnySchema>(items: S): Schema<readonly InferInput<S>[], InferOutput<S>[]>;
+export declare function enumSchema<const V extends readonly [string, ...string[]]>(values: V): Schema<V[number], V[number]>;
+export declare function literalSchema<const V extends string | number | boolean>(value: V): Schema<V, V>;
+export declare function unionSchema<S extends readonly [AnySchema, ...AnySchema[]]>(...members: S): Schema<InferInput<S[number]>, InferOutput<S[number]>>;
+export declare function recordSchema<S extends AnySchema>(values: S): Schema<Readonly<Record<string, InferInput<S>>>, Record<string, InferOutput<S>>>;
+export declare function nullableSchema<S extends AnySchema>(schema: S): Schema<InferInput<S> | null, InferOutput<S> | null>;
+export declare function optionalSchema<S extends AnySchema>(schema: S): Schema<InferInput<S> | undefined, InferOutput<S> | undefined>;
+/** The shape a schema provider must implement to back `t`. */
+export interface TNamespace {
+    readonly string: StringSchema;
+    readonly number: NumberSchema;
+    readonly boolean: Schema<boolean, boolean>;
+    readonly uuid: StringSchema;
+    readonly email: StringSchema;
+    readonly url: StringSchema;
+    readonly date: Schema<Date | string | number, Date>;
+    readonly money: Schema<MoneyValue, MoneyValue>;
+    readonly timezone: StringSchema;
+    readonly locale: StringSchema;
+    readonly slug: StringSchema;
+    readonly cursor: StringSchema;
+    object<S extends Shape>(shape: S): ObjectSchema<S>;
+    array<S extends AnySchema>(items: S): Schema<readonly InferInput<S>[], InferOutput<S>[]>;
+    enum<const V extends readonly [string, ...string[]]>(values: V): Schema<V[number], V[number]>;
+    /** Variadic `enum`; the blessed spelling at call sites. */
+    enumerated<const V extends readonly [string, ...string[]]>(...values: V): Schema<V[number], V[number]>;
+    literal<const V extends string | number | boolean>(value: V): Schema<V, V>;
+    union<S extends readonly [AnySchema, ...AnySchema[]]>(...members: S): Schema<InferInput<S[number]>, InferOutput<S[number]>>;
+    record<S extends AnySchema>(values: S): Schema<Readonly<Record<string, InferInput<S>>>, Record<string, InferOutput<S>>>;
+    /** Null is a value the column holds; `optional` is the caller omitting the field. */
+    nullable<S extends AnySchema>(schema: S): Schema<InferInput<S> | null, InferOutput<S> | null>;
+    optional<S extends AnySchema>(schema: S): Schema<InferInput<S> | undefined, InferOutput<S> | undefined>;
+}
+export declare const builtinT: TNamespace;
+export {};
+//# sourceMappingURL=validators.d.ts.map

package/src/validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators.d.ts","sourceRoot":"","sources":["validators.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,SAAS,EAQd,KAAK,MAAM,EACX,KAAK,KAAK,EACV,KAAK,UAAU,EACf,KAAK,WAAW,EACjB,MAAM,WAAW,CAAC;AAEnB,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAiB,MAAM,YAAY,CAAC;AAEzE,6EAA6E;AAC7E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAQD,MAAM,WAAW,YAAa,SAAQ,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAC1D,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAAC;IAClC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAAC;IAClC,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC;CACtC;AAED,MAAM,WAAW,YAAa,SAAQ,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAC1D,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC;IACjC,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC;IACjC,GAAG,IAAI,YAAY,CAAC;CACrB;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,KAAK,CAAE,SAAQ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1F,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,MAAM,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACnF;AAED,KAAK,UAAU,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AA+DnD,wBAAgB,YAAY,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CA6CvE;AAED,wBAAgB,WAAW,CAAC,CAAC,SAAS,SAAS,EAC7C,KAAK,EAAE,CAAC,GACP,MAAM,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAepD;AAED,wBAAgB,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,EACvE,MAAM,EAAE,CAAC,GACR,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAQ9B;AAED,wBAAgB,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAK/F;AAED,wBAAgB,WAAW,CAAC,CAAC,SAAS,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,EACxE,GAAG,OAAO,EAAE,CAAC,GACZ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAYvD;AAED,wBAAgB,YAAY,CAAC,CAAC,SAAS,SAAS,EAC9C,MAAM,EAAE,CAAC,GACR,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAkBjF;AAED,wBAAgB,cAAc,CAAC,CAAC,SAAS,SAAS,EAChD,MAAM,EAAE,CAAC,GACR,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAErD;AAED,wBAAgB,cAAc,CAAC,CAAC,SAAS,SAAS,EAChD,MAAM,EAAE,CAAC,GACR,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAE/D;AAoED,8DAA8D;AAC9D,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,MAAM,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACnD,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzF,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9F,2DAA2D;IAC3D,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,EACvD,GAAG,MAAM,EAAE,CAAC,GACX,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,EAClD,GAAG,OAAO,EAAE,CAAC,GACZ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,CAAC,SAAS,SAAS,EACxB,MAAM,EAAE,CAAC,GACR,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,qFAAqF;IACrF,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC9F,QAAQ,CAAC,CAAC,SAAS,SAAS,EAC1B,MAAM,EAAE,CAAC,GACR,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;CAClE;AAED,eAAO,MAAM,QAAQ,EAAE,UAqCrB,CAAC"}