@databehave/schema 0.1.2 → 0.1.4

package/dist/schema/conditional.js

@@ -0,0 +1,52 @@
+/**
+ * Discriminated union.
+ *
+ * `discriminated(key, map)` builds a schema whose branches are selected by
+ * the value of the named discriminator field, both during generation and
+ * during validation.
+ *
+ * Each entry in `map` must be an object-kind schema whose `key` field is a
+ * `literal(...)` matching the map key. This is enforced at build time so
+ * the discriminator is genuinely useful: generation picks one branch and
+ * sets the key; validation reads the key and dispatches to the matching
+ * branch (O(1), with errors keyed on the discriminator).
+ *
+ * ```ts
+ * const Variant = discriminated('kind', {
+ *   alpha: obj({ kind: literal('alpha'), score:  decimal(10, 4) }),
+ *   beta:  obj({ kind: literal('beta'),  weight: decimal(10, 4) }),
+ * })
+ * ```
+ */
+import { Schema } from '../foundation/types.js';
+const isObjectNode = (n) => n.kind === 'object';
+/**
+ * Build a discriminated union keyed on `key`. Each value in `map` must be a
+ * schema (typically `obj({...})`) whose `key` field is a `literal(...)`
+ * matching the map key.
+ */
+export const discriminated = (key, map) => {
+    const tags = Object.keys(map);
+    if (tags.length === 0) {
+        throw new RangeError(`discriminated("${key}"): map must contain at least one branch`);
+    }
+    const branches = {};
+    for (const tag of tags) {
+        const branch = map[tag]._node;
+        if (!isObjectNode(branch)) {
+            throw new RangeError(`discriminated("${key}"): branch ${JSON.stringify(tag)} must be an obj({...}) schema`);
+        }
+        const keyField = branch.fields[key];
+        if (keyField === undefined) {
+            throw new RangeError(`discriminated("${key}"): branch ${JSON.stringify(tag)} is missing the discriminator field "${key}"`);
+        }
+        if (keyField.kind !== 'literal' || keyField.value !== tag) {
+            throw new RangeError(`discriminated("${key}"): branch ${JSON.stringify(tag)} must declare ` +
+                `${key}: literal(${JSON.stringify(tag)})`);
+        }
+        branches[tag] = branch;
+    }
+    const node = { kind: 'discriminated', key, branches };
+    return new Schema(node);
+};
+//# sourceMappingURL=conditional.js.map

package/dist/schema/conditional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional.js","sourceRoot":"","sources":["../../src/schema/conditional.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,MAAM,EAAc,MAAM,wBAAwB,CAAA;AAE3D,MAAM,YAAY,GAAG,CAAC,CAAa,EAAgC,EAAE,CACnE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAA;AAErB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAM3B,GAAM,EACN,GAAM,EAC4C,EAAE;IACpD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,UAAU,CAAC,kBAAkB,GAAG,0CAA0C,CAAC,CAAA;IACvF,CAAC;IAED,MAAM,QAAQ,GAA+B,EAAE,CAAA;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,MAAM,GAAI,GAAG,CAAC,GAAG,CAAY,CAAC,KAAK,CAAA;QACzC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,UAAU,CAClB,kBAAkB,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,+BAA+B,CACtF,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,UAAU,CAClB,kBAAkB,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,wCAAwC,GAAG,GAAG,CACrG,CAAA;QACH,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YAC1D,MAAM,IAAI,UAAU,CAClB,kBAAkB,GAAG,cAAc,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB;gBACpE,GAAG,GAAG,aAAa,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAC5C,CAAA;QACH,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,MAAM,CAAA;IACxB,CAAC;IAED,MAAM,IAAI,GAAsB,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;IACxE,OAAO,IAAI,MAAM,CAAC,IAAI,CAAgE,CAAA;AACxF,CAAC,CAAA"}

package/dist/schema/decimal.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Decimal — fixed-point numeric represented as a string for precision safety.
+ *
+ * Targets Snowflake / Postgres NUMERIC(precision, scale). Generated values are
+ * always strings (e.g. `"123.4500000000000000000"` for scale=19) so callers
+ * never lose precision through JavaScript number coercion.
+ *
+ * The inferred type is `string` for ergonomic interop with the rest of the
+ * ecosystem. Callers needing a nominal brand can intersect via `Infer<typeof S>
+ * & Brand` themselves; databehave intentionally avoids forcing a brand to keep
+ * `decimal().default('0.0')` and JSON round-trips friction-free.
+ */
+import type { DecimalKind, Modifiers } from '../foundation/ir.js';
+import { Continuous, Numeric, Schema } from '../foundation/types.js';
+export declare class DecimalSchema extends Schema<string> {
+    readonly _node: DecimalKind & {
+        mods?: Modifiers;
+    };
+    readonly [Numeric]: true;
+    readonly [Continuous]: true;
+    /** Inclusive lower bound. Pass as a numeric string. */
+    min(value: string | number): DecimalSchema;
+    /** Inclusive upper bound. Pass as a numeric string. */
+    max(value: string | number): DecimalSchema;
+}
+/**
+ * Declare a fixed-point decimal column.
+ *
+ * @param precision total significant digits (1..38 for Snowflake)
+ * @param scale     digits after the decimal point (0..precision)
+ */
+export declare const decimal: (precision: number, scale: number) => DecimalSchema;
+//# sourceMappingURL=decimal.d.ts.map

package/dist/schema/decimal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decimal.d.ts","sourceRoot":"","sources":["../../src/schema/decimal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AACjE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAEpE,qBAAa,aAAc,SAAQ,MAAM,CAAC,MAAM,CAAC;IAC/C,SAAiB,KAAK,EAAE,WAAW,GAAG;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,CAAA;IAC1D,SAAiB,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;IAChC,SAAiB,CAAC,UAAU,CAAC,EAAE,IAAI,CAAA;IAEnC,uDAAuD;IACvD,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,aAAa;IAG1C,uDAAuD;IACvD,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,aAAa;CAG3C;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,WAAW,MAAM,EAAE,OAAO,MAAM,KAAG,aAQ1D,CAAA"}

package/dist/schema/decimal.js

@@ -0,0 +1,39 @@
+/**
+ * Decimal — fixed-point numeric represented as a string for precision safety.
+ *
+ * Targets Snowflake / Postgres NUMERIC(precision, scale). Generated values are
+ * always strings (e.g. `"123.4500000000000000000"` for scale=19) so callers
+ * never lose precision through JavaScript number coercion.
+ *
+ * The inferred type is `string` for ergonomic interop with the rest of the
+ * ecosystem. Callers needing a nominal brand can intersect via `Infer<typeof S>
+ * & Brand` themselves; databehave intentionally avoids forcing a brand to keep
+ * `decimal().default('0.0')` and JSON round-trips friction-free.
+ */
+import { Continuous, Numeric, Schema } from '../foundation/types.js';
+export class DecimalSchema extends Schema {
+    /** Inclusive lower bound. Pass as a numeric string. */
+    min(value) {
+        return new DecimalSchema({ ...this._node, min: String(value) });
+    }
+    /** Inclusive upper bound. Pass as a numeric string. */
+    max(value) {
+        return new DecimalSchema({ ...this._node, max: String(value) });
+    }
+}
+/**
+ * Declare a fixed-point decimal column.
+ *
+ * @param precision total significant digits (1..38 for Snowflake)
+ * @param scale     digits after the decimal point (0..precision)
+ */
+export const decimal = (precision, scale) => {
+    if (!Number.isInteger(precision) || precision < 1 || precision > 38) {
+        throw new RangeError(`decimal: precision must be integer in [1, 38], got ${precision}`);
+    }
+    if (!Number.isInteger(scale) || scale < 0 || scale > precision) {
+        throw new RangeError(`decimal: scale must be integer in [0, precision], got ${scale}`);
+    }
+    return new DecimalSchema({ kind: 'decimal', precision, scale });
+};
+//# sourceMappingURL=decimal.js.map

package/dist/schema/decimal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decimal.js","sourceRoot":"","sources":["../../src/schema/decimal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAEpE,MAAM,OAAO,aAAc,SAAQ,MAAc;IAK/C,uDAAuD;IACvD,GAAG,CAAC,KAAsB;QACxB,OAAO,IAAI,aAAa,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IACD,uDAAuD;IACvD,GAAG,CAAC,KAAsB;QACxB,OAAO,IAAI,aAAa,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,SAAiB,EAAE,KAAa,EAAiB,EAAE;IACzE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,EAAE,EAAE,CAAC;QACpE,MAAM,IAAI,UAAU,CAAC,sDAAsD,SAAS,EAAE,CAAC,CAAA;IACzF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;QAC/D,MAAM,IAAI,UAAU,CAAC,yDAAyD,KAAK,EAAE,CAAC,CAAA;IACxF,CAAC;IACD,OAAO,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;AACjE,CAAC,CAAA"}

package/dist/schema/primitives.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Primitive schema builders: str, num, int, bool, null_.
+ *
+ * Each returns a {@link Schema} instance whose phantom `_type` reflects the
+ * generated TypeScript type, and whose `_node` is the serializable IR.
+ */
+import type { Modifiers, NumberKind, StringKind } from '../foundation/ir.js';
+import { Continuous, Discrete, Numeric, Schema } from '../foundation/types.js';
+export declare class StringSchema extends Schema<string> {
+    readonly _node: StringKind & {
+        mods?: Modifiers;
+    };
+    readonly [Discrete]: true;
+    min(n: number): StringSchema;
+    max(n: number): StringSchema;
+    pattern(re: RegExp | string): StringSchema;
+}
+export declare const str: () => StringSchema;
+export declare class NumberSchema extends Schema<number> {
+    readonly _node: NumberKind & {
+        mods?: Modifiers;
+    };
+    min(n: number): this;
+    max(n: number): this;
+    protected cloneWithNode(node: NumberKind & {
+        mods?: Modifiers;
+    }): this;
+}
+/** `int()`-flavoured number — discrete, no Gaussian. Extends `NumberSchema`. */
+export declare class IntSchema extends NumberSchema {
+    readonly [Discrete]: true;
+}
+export declare const num: () => NumberSchema & {
+    readonly [Numeric]: true;
+    readonly [Continuous]: true;
+};
+export declare const int: () => IntSchema & {
+    readonly [Numeric]: true;
+};
+export declare class BooleanSchema extends Schema<boolean> {
+    readonly [Discrete]: true;
+}
+export declare class NullSchema extends Schema<null> {
+}
+export declare const bool: () => BooleanSchema;
+export declare const null_: () => NullSchema;
+//# sourceMappingURL=primitives.d.ts.map

package/dist/schema/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/schema/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAC5E,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAM9E,qBAAa,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC;IAC9C,SAAiB,KAAK,EAAE,UAAU,GAAG;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,CAAA;IACzD,SAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;IAEjC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY;IAG5B,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY;IAG5B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY;CAM3C;AAED,eAAO,MAAM,GAAG,QAAO,YACgC,CAAA;AA4BvD,qBAAa,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC;IAC9C,SAAiB,KAAK,EAAE,UAAU,GAAG;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,CAAA;IAEzD,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAGpB,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAIpB,SAAS,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI;CAKvE;AAED,gFAAgF;AAChF,qBAAa,SAAU,SAAQ,YAAY;IACzC,SAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CAClC;AAED,eAAO,MAAM,GAAG,QAAO,YAAY,GAAG;IACpC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,IAAI,CAAA;CAK1B,CAAA;AAEH,eAAO,MAAM,GAAG,QAAO,SAAS,GAAG;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;CAG1D,CAAA;AAMH,qBAAa,aAAc,SAAQ,MAAM,CAAC,OAAO,CAAC;IAChD,SAAiB,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CAClC;AAED,qBAAa,UAAW,SAAQ,MAAM,CAAC,IAAI,CAAC;CAAG;AAE/C,eAAO,MAAM,IAAI,QAAO,aAAuD,CAAA;AAE/E,eAAO,MAAM,KAAK,QAAO,UAA8C,CAAA"}

package/dist/schema/primitives.js

@@ -0,0 +1,78 @@
+/**
+ * Primitive schema builders: str, num, int, bool, null_.
+ *
+ * Each returns a {@link Schema} instance whose phantom `_type` reflects the
+ * generated TypeScript type, and whose `_node` is the serializable IR.
+ */
+import { Continuous, Discrete, Numeric, Schema } from '../foundation/types.js';
+// ──────────────────────────────────────────────────────────────────────────
+// string
+// ──────────────────────────────────────────────────────────────────────────
+export class StringSchema extends Schema {
+    min(n) {
+        return new StringSchema({ ...this._node, min: n });
+    }
+    max(n) {
+        return new StringSchema({ ...this._node, max: n });
+    }
+    pattern(re) {
+        return new StringSchema({
+            ...this._node,
+            pattern: typeof re === 'string' ? re : re.source,
+        });
+    }
+}
+export const str = () => new StringSchema({ kind: 'string', format: 'plain' });
+// ──────────────────────────────────────────────────────────────────────────
+// number / int
+//
+// `NumberSchema` is the base class for both float-shaped (`num()`) and
+// integer-shaped (`int()`) numeric schemas — the IR-level distinction is
+// `_node.int`, this hierarchy is just a type-system reflection of it.
+//
+// Capability markers are NOT declared on the `NumberSchema` class because
+// they need to differ between the two factories without violating subclass
+// override constraints:
+//   - `num()` returns `NumberSchema & { [Numeric]: true; [Continuous]: true }`
+//     — gets `.normal` / `.typically`, but NOT `.weighted` (continuous
+//     values can't be enumerated).
+//   - `int()` returns `IntSchema & { [Numeric]: true }` (with `[Discrete]`
+//     declared on the class) — gets `.weighted` and `.typically` (the
+//     latter clamps and rounds), but NOT `.normal` (Gaussian on integers
+//     would silently lose σ to rounding).
+//   - `decimal()` (in `./decimal.ts`) carries `[Numeric]` AND `[Continuous]`
+//     by class declaration, mirroring `num()`.
+//
+// `min` / `max` use `this`-typed returns (rather than the explicit class
+// type) so the marker intersection is preserved through chains:
+//   `num().min(0).normal(0, 1)`            ✓
+//   `int().min(1).max(5).weighted([...])`  ✓
+// ──────────────────────────────────────────────────────────────────────────
+export class NumberSchema extends Schema {
+    min(n) {
+        return this.cloneWithNode({ ...this._node, min: n });
+    }
+    max(n) {
+        return this.cloneWithNode({ ...this._node, max: n });
+    }
+    cloneWithNode(node) {
+        const next = Object.create(Object.getPrototypeOf(this));
+        Object.assign(next, this, { _node: node });
+        return next;
+    }
+}
+/** `int()`-flavoured number — discrete, no Gaussian. Extends `NumberSchema`. */
+export class IntSchema extends NumberSchema {
+}
+export const num = () => new NumberSchema({ kind: 'number', int: false });
+export const int = () => new IntSchema({ kind: 'number', int: true });
+// ──────────────────────────────────────────────────────────────────────────
+// boolean / null
+// ──────────────────────────────────────────────────────────────────────────
+export class BooleanSchema extends Schema {
+}
+export class NullSchema extends Schema {
+}
+export const bool = () => new BooleanSchema({ kind: 'boolean' });
+export const null_ = () => new NullSchema({ kind: 'null' });
+//# sourceMappingURL=primitives.js.map

package/dist/schema/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/schema/primitives.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE9E,6EAA6E;AAC7E,SAAS;AACT,6EAA6E;AAE7E,MAAM,OAAO,YAAa,SAAQ,MAAc;IAI9C,GAAG,CAAC,CAAS;QACX,OAAO,IAAI,YAAY,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACpD,CAAC;IACD,GAAG,CAAC,CAAS;QACX,OAAO,IAAI,YAAY,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACpD,CAAC;IACD,OAAO,CAAC,EAAmB;QACzB,OAAO,IAAI,YAAY,CAAC;YACtB,GAAG,IAAI,CAAC,KAAK;YACb,OAAO,EAAE,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM;SACjD,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,GAAiB,EAAE,CACpC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;AAEvD,6EAA6E;AAC7E,eAAe;AACf,EAAE;AACF,uEAAuE;AACvE,yEAAyE;AACzE,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,2EAA2E;AAC3E,wBAAwB;AACxB,+EAA+E;AAC/E,uEAAuE;AACvE,mCAAmC;AACnC,2EAA2E;AAC3E,sEAAsE;AACtE,yEAAyE;AACzE,0CAA0C;AAC1C,6EAA6E;AAC7E,+CAA+C;AAC/C,EAAE;AACF,yEAAyE;AACzE,gEAAgE;AAChE,6CAA6C;AAC7C,6CAA6C;AAC7C,6EAA6E;AAE7E,MAAM,OAAO,YAAa,SAAQ,MAAc;IAG9C,GAAG,CAAC,CAAS;QACX,OAAO,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACtD,CAAC;IACD,GAAG,CAAC,CAAS;QACX,OAAO,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACtD,CAAC;IAES,aAAa,CAAC,IAAuC;QAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAW,CAAS,CAAA;QACzE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QAC1C,OAAO,IAAI,CAAA;IACb,CAAC;CACF;AAED,gFAAgF;AAChF,MAAM,OAAO,SAAU,SAAQ,YAAY;CAE1C;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,GAGjB,EAAE,CACF,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAG9C,CAAA;AAEH,MAAM,CAAC,MAAM,GAAG,GAAG,GAA6C,EAAE,CAChE,IAAI,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAE1C,CAAA;AAEH,6EAA6E;AAC7E,iBAAiB;AACjB,6EAA6E;AAE7E,MAAM,OAAO,aAAc,SAAQ,MAAe;CAEjD;AAED,MAAM,OAAO,UAAW,SAAQ,MAAY;CAAG;AAE/C,MAAM,CAAC,MAAM,IAAI,GAAG,GAAkB,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;AAE/E,MAAM,CAAC,MAAM,KAAK,GAAG,GAAe,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA"}

package/dist/validator/parse.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Validator — verify that a value conforms to a schema.
+ *
+ * `parse` throws ConformError. `safeParse` returns a discriminated result.
+ *
+ * Behavioral axes are enforced in addition to shape:
+ *   - `domain` (`values` and `lookup`)
+ *   - `invariants` (single-record) and `correlate` (multi-field, same axis)
+ *   - `derived` (value must equal what `derivedFrom(...)` would compute)
+ */
+import { ConformError } from '../foundation/errors.js';
+import type { Infer, Schema } from '../foundation/types.js';
+export type SafeParseResult<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly error: ConformError;
+};
+export declare const parse: <S extends Schema>(schema: S, value: unknown) => Infer<S>;
+export declare const safeParse: <S extends Schema>(schema: S, value: unknown) => SafeParseResult<Infer<S>>;
+//# sourceMappingURL=parse.d.ts.map

package/dist/validator/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/validator/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAc,MAAM,yBAAyB,CAAA;AAElE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE3D,MAAM,MAAM,eAAe,CAAC,CAAC,IACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAA;AAExD,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,OAAO,KAAG,KAAK,CAAC,CAAC,CAK1E,CAAA;AAED,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,OAAO,KAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAK/F,CAAA"}