smokin 0.1.0

package/dist/index.js

@@ -0,0 +1,37 @@
+/**
+ * smokin — Zero-dependency data schema DSL.
+ *
+ * Public surface:
+ *   - schema DSL (primitives, composites, decimal, conditional)
+ *   - data-schema axes (distribution, derived, invariants, domain,
+ *     discriminated unions, dataset with identity, eventually, correlate)
+ *   - generator (`mock`) + validator (`parse`/`safeParse`)
+ *   - debug / determinism (`createTrace`, `replay`, `expectStable`)
+ *   - cross-dataset FK (`relate`)
+ *   - extensibility (`walkSchema`, `fromIR`, low-level PRNG, IR types) for
+ *     third-party packages (CLI, OpenAPI ingestion, zod adapters, …)
+ *
+ * smokin intentionally ships NO HTTP/server/framework integration. Wire it
+ * into your transport of choice (Fastify/Express/msw/node:http) in ~80 LOC.
+ */
+// ── schema DSL ────────────────────────────────────────────────────────────
+export { str, num, int, bool, null_, StringSchema, NumberSchema } from './schema/primitives.js';
+export { decimal, DecimalSchema } from './schema/decimal.js';
+export { obj, arr, tuple, union, literal, enum_, ObjectSchema, ArraySchema, TupleSchema, UnionSchema, LiteralSchema, EnumSchema, } from './schema/composites.js';
+export { discriminated } from './schema/conditional.js';
+// ── generator + validator ─────────────────────────────────────────────────
+export { mock } from './generator/engine.js';
+export { parse, safeParse } from './validator/parse.js';
+export { createTrace, } from './generator/trace.js';
+export { replay, expectStable } from './generator/replay.js';
+// ── dataset ───────────────────────────────────────────────────────────────
+export { mockDataset, identityFor } from './dataset/dataset.js';
+export { relate } from './dataset/relate.js';
+// ── foundation types & axes ───────────────────────────────────────────────
+export { Schema } from './foundation/types.js';
+// ── errors ────────────────────────────────────────────────────────────────
+export { ConformError, SchemaConflictError } from './foundation/errors.js';
+// ── extensibility (for third-party plugins) ───────────────────────────────
+export { walkSchema, fromIR } from './foundation/walk.js';
+export { mulberry32, rngFromString, seedFromString } from './foundation/prng.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,6EAA6E;AAC7E,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC/F,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAC5D,OAAO,EACL,GAAG,EACH,GAAG,EACH,KAAK,EACL,KAAK,EACL,OAAO,EACP,KAAK,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,WAAW,EACX,aAAa,EACb,UAAU,GACX,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,6EAA6E;AAC7E,OAAO,EAAE,IAAI,EAAqC,MAAM,uBAAuB,CAAA;AAC/E,OAAO,EAAE,KAAK,EAAE,SAAS,EAAwB,MAAM,sBAAsB,CAAA;AAC7E,OAAO,EACL,WAAW,GAIZ,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,MAAM,EAAE,YAAY,EAAe,MAAM,uBAAuB,CAAA;AAEzE,6EAA6E;AAC7E,OAAO,EAAE,WAAW,EAAE,WAAW,EAAuB,MAAM,sBAAsB,CAAA;AACpF,OAAO,EAAE,MAAM,EAAsB,MAAM,qBAAqB,CAAA;AAEhE,6EAA6E;AAC7E,OAAO,EAAE,MAAM,EAA+C,MAAM,uBAAuB,CAAA;AAe3F,6EAA6E;AAC7E,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAc,MAAM,wBAAwB,CAAA;AAEtF,6EAA6E;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,EAAqC,MAAM,sBAAsB,CAAA;AAC5F,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,cAAc,EAAY,MAAM,sBAAsB,CAAA"}

package/dist/schema/composites.d.ts

@@ -0,0 +1,91 @@
+/**
+ * Composite schema builders: obj, arr, tuple, union, literal, enum_.
+ *
+ * These produce TS types derived from their inputs via mapped / conditional
+ * types so that {@link Infer} yields the exact composite shape.
+ */
+import type { ArrayKind, EnumKind, LiteralKind, ObjectKind, TupleKind, UnionKind } from '../foundation/ir.js';
+import { Schema, type Infer } from '../foundation/types.js';
+type Fields = Record<string, Schema>;
+/** Keys whose schema carries `optional: true` become optional in the output. */
+type OptionalKeys<F extends Fields> = {
+    [K in keyof F]: F[K]['_node']['mods'] extends {
+        optional: true;
+    } ? K : never;
+}[keyof F];
+type RequiredKeys<F extends Fields> = Exclude<keyof F, OptionalKeys<F>>;
+export type InferObject<F extends Fields> = {
+    [K in RequiredKeys<F>]: Infer<F[K]>;
+} & {
+    [K in OptionalKeys<F>]?: Infer<F[K]>;
+};
+export declare class ObjectSchema<F extends Fields = Fields> extends Schema<{
+    [K in keyof InferObject<F>]: InferObject<F>[K];
+}> {
+    readonly _node: ObjectKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+    readonly _fields: F;
+    constructor(fields: F);
+    /**
+     * Multi-field invariant (A5) — a predicate over the whole assembled object.
+     *
+     * Equivalent to `.invariant(...)` but typed against the object's inferred
+     * shape, so cross-field rules (e.g. `start <= end`) get full type-checking.
+     * The engine rejection-samples the object up to MAX_ATTEMPTS until the
+     * predicate holds.
+     */
+    correlate(fn: (row: InferObject<F>) => boolean): this;
+}
+export declare const obj: <F extends Fields>(fields: F) => ObjectSchema<F>;
+export declare class ArraySchema<S extends Schema> extends Schema<Infer<S>[]> {
+    readonly _node: ArrayKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+    readonly _item: S;
+    constructor(item: S, opts?: {
+        length?: number;
+        minLength?: number;
+        maxLength?: number;
+    });
+    length(n: number): ArraySchema<S>;
+    min(n: number): ArraySchema<S>;
+    max(n: number): ArraySchema<S>;
+}
+export declare const arr: <S extends Schema<unknown>>(item: S) => ArraySchema<S>;
+type InferTuple<T extends readonly Schema[]> = {
+    [K in keyof T]: T[K] extends Schema ? Infer<T[K]> : never;
+};
+export declare class TupleSchema<T extends readonly Schema[]> extends Schema<InferTuple<T>> {
+    readonly _node: TupleKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+    readonly _items: T;
+    constructor(items: T);
+}
+export declare const tuple: <T extends readonly Schema<unknown>[]>(...items: T) => TupleSchema<T>;
+type InferUnion<T extends readonly Schema[]> = T[number] extends Schema ? Infer<T[number]> : never;
+export declare class UnionSchema<T extends readonly Schema[]> extends Schema<InferUnion<T>> {
+    readonly _node: UnionKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+    readonly _options: T;
+    constructor(options: T);
+}
+export declare const union: <T extends readonly Schema<unknown>[]>(...options: T) => UnionSchema<T>;
+export declare class LiteralSchema<V extends string | number | boolean | null> extends Schema<V> {
+    readonly _node: LiteralKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+}
+export declare const literal: <V extends string | number | boolean | null>(value: V) => LiteralSchema<V>;
+export declare class EnumSchema<V extends string | number> extends Schema<V> {
+    readonly _node: EnumKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+    readonly _values: readonly V[];
+    constructor(values: readonly V[]);
+}
+export declare const enum_: <V extends string | number>(values: readonly V[]) => EnumSchema<V>;
+export {};
+//# sourceMappingURL=composites.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composites.d.ts","sourceRoot":"","sources":["../../src/schema/composites.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EACR,WAAW,EACX,UAAU,EACV,SAAS,EACT,SAAS,EACV,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,KAAK,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAM3D,KAAK,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAEpC,gFAAgF;AAChF,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,IAAI;KACnC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CAC7E,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvE,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI;KACzC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpC,GAAG;KACD,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACrC,CAAA;AAED,qBAAa,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,MAAM,CAEjE;KAAG,CAAC,IAAI,MAAM,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CACnD;IACC,SAAiB,KAAK,EAAE,UAAU,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IACvF,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;gBAEP,MAAM,EAAE,CAAC;IASrB;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,IAAI;CAGtD;AAED,eAAO,MAAM,GAAG,6BAA8B,CAAC,KAAG,aAAa,CAAC,CAA6B,CAAA;AAM7F,qBAAa,WAAW,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,SAAiB,KAAK,EAAE,SAAS,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IACtF,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;gBAEL,IAAI,EAAE,CAAC,EAAE,IAAI,GAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAO;IAY3F,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;IAGjC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;IAG9B,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;CAG/B;AAED,eAAO,MAAM,GAAG,oCAA4B,CAAC,KAAG,YAAY,CAAC,CAA0B,CAAA;AAMvF,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;KAC5C,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC1D,CAAA;AAED,qBAAa,WAAW,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,CAAE,SAAQ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACjF,SAAiB,KAAK,EAAE,SAAS,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IACtF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;gBAEN,KAAK,EAAE,CAAC;CAIrB;AAED,eAAO,MAAM,KAAK,mDAA2C,CAAC,KAAG,YAAY,CAAC,CACtD,CAAA;AAMxB,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,MAAM,GACnE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAChB,KAAK,CAAA;AAET,qBAAa,WAAW,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,CAAE,SAAQ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACjF,SAAiB,KAAK,EAAE,SAAS,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IACtF,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;gBAER,OAAO,EAAE,CAAC;CAOvB;AAED,eAAO,MAAM,KAAK,qDAA6C,CAAC,KAAG,YAAY,CAAC,CACtD,CAAA;AAM1B,qBAAa,aAAa,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAE,SAAQ,MAAM,CAAC,CAAC,CAAC;IACtF,SAAiB,KAAK,EAAE,WAAW,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;CACzF;AAED,eAAO,MAAM,OAAO,sDAAuD,CAAC,KAAG,cAAc,CAAC,CAC/C,CAAA;AAE/C,qBAAa,UAAU,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,MAAM,CAAC,CAAC,CAAC;IAClE,SAAiB,KAAK,EAAE,QAAQ,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IACrF,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAA;gBAElB,MAAM,EAAE,SAAS,CAAC,EAAE;CAOjC;AAED,eAAO,MAAM,KAAK,sCAAuC,SAAS,CAAC,EAAE,KAAG,WAAW,CAAC,CAC5D,CAAA"}

package/dist/schema/composites.js

@@ -0,0 +1,94 @@
+/**
+ * Composite schema builders: obj, arr, tuple, union, literal, enum_.
+ *
+ * These produce TS types derived from their inputs via mapped / conditional
+ * types so that {@link Infer} yields the exact composite shape.
+ */
+import { Schema } from '../foundation/types.js';
+export class ObjectSchema extends Schema {
+    _fields;
+    constructor(fields) {
+        const irFields = {};
+        for (const k of Object.keys(fields)) {
+            irFields[k] = fields[k]._node;
+        }
+        super({ kind: 'object', fields: irFields });
+        this._fields = fields;
+    }
+    /**
+     * Multi-field invariant (A5) — a predicate over the whole assembled object.
+     *
+     * Equivalent to `.invariant(...)` but typed against the object's inferred
+     * shape, so cross-field rules (e.g. `start <= end`) get full type-checking.
+     * The engine rejection-samples the object up to MAX_ATTEMPTS until the
+     * predicate holds.
+     */
+    correlate(fn) {
+        return this.invariant((v) => fn(v));
+    }
+}
+export const obj = (fields) => new ObjectSchema(fields);
+// ──────────────────────────────────────────────────────────────────────────
+// array
+// ──────────────────────────────────────────────────────────────────────────
+export class ArraySchema extends Schema {
+    _item;
+    constructor(item, opts = {}) {
+        const base = {
+            kind: 'array',
+            item: item._node,
+            ...(opts.length !== undefined ? { length: opts.length } : {}),
+            ...(opts.minLength !== undefined ? { minLength: opts.minLength } : {}),
+            ...(opts.maxLength !== undefined ? { maxLength: opts.maxLength } : {}),
+        };
+        super(base);
+        this._item = item;
+    }
+    length(n) {
+        return new ArraySchema(this._item, { length: n });
+    }
+    min(n) {
+        return new ArraySchema(this._item, { minLength: n });
+    }
+    max(n) {
+        return new ArraySchema(this._item, { maxLength: n });
+    }
+}
+export const arr = (item) => new ArraySchema(item);
+export class TupleSchema extends Schema {
+    _items;
+    constructor(items) {
+        super({ kind: 'tuple', items: items.map((s) => s._node) });
+        this._items = items;
+    }
+}
+export const tuple = (...items) => new TupleSchema(items);
+export class UnionSchema extends Schema {
+    _options;
+    constructor(options) {
+        if (options.length === 0) {
+            throw new RangeError('union: requires at least one option');
+        }
+        super({ kind: 'union', options: options.map((s) => s._node) });
+        this._options = options;
+    }
+}
+export const union = (...options) => new UnionSchema(options);
+// ──────────────────────────────────────────────────────────────────────────
+// literal / enum
+// ──────────────────────────────────────────────────────────────────────────
+export class LiteralSchema extends Schema {
+}
+export const literal = (value) => new LiteralSchema({ kind: 'literal', value });
+export class EnumSchema extends Schema {
+    _values;
+    constructor(values) {
+        if (values.length === 0) {
+            throw new RangeError('enum: requires at least one value');
+        }
+        super({ kind: 'enum', values });
+        this._values = values;
+    }
+}
+export const enum_ = (values) => new EnumSchema(values);
+//# sourceMappingURL=composites.js.map

package/dist/schema/composites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composites.js","sourceRoot":"","sources":["../../src/schema/composites.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,EAAE,MAAM,EAAc,MAAM,wBAAwB,CAAA;AAqB3D,MAAM,OAAO,YAAwC,SAAQ,MAG5D;IAEU,OAAO,CAAG;IAEnB,YAAY,MAAS;QACnB,MAAM,QAAQ,GAA6D,EAAE,CAAA;QAC7E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,CAAC,CAAC,GAAI,MAAM,CAAC,CAAC,CAAY,CAAC,KAAK,CAAA;QAC3C,CAAC;QACD,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC3C,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;IACvB,CAAC;IAED;;;;;;;OAOG;IACH,SAAS,CAAC,EAAoC;QAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAmB,CAAC,CAAC,CAAA;IACvD,CAAC;CACF;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,CAAmB,MAAS,EAAmB,EAAE,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,CAAA;AAE7F,6EAA6E;AAC7E,QAAQ;AACR,6EAA6E;AAE7E,MAAM,OAAO,WAA8B,SAAQ,MAAkB;IAE1D,KAAK,CAAG;IAEjB,YAAY,IAAO,EAAE,OAAoE,EAAE;QACzF,MAAM,IAAI,GAAc;YACtB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI,CAAC,KAAK;YAChB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvE,CAAA;QACD,KAAK,CAAC,IAAI,CAAC,CAAA;QACX,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;IACnB,CAAC;IAED,MAAM,CAAC,CAAS;QACd,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAA;IACnD,CAAC;IACD,GAAG,CAAC,CAAS;QACX,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAA;IACtD,CAAC;IACD,GAAG,CAAC,CAAS;QACX,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAA;IACtD,CAAC;CACF;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,CAAmB,IAAO,EAAkB,EAAE,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;AAUvF,MAAM,OAAO,WAAyC,SAAQ,MAAqB;IAExE,MAAM,CAAG;IAElB,YAAY,KAAQ;QAClB,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC1D,IAAI,CAAC,MAAM,GAAG,KAAK,CAAA;IACrB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAA8B,GAAG,KAAQ,EAAkB,EAAE,CAChF,IAAI,WAAW,CAAC,KAAK,CAAC,CAAA;AAUxB,MAAM,OAAO,WAAyC,SAAQ,MAAqB;IAExE,QAAQ,CAAG;IAEpB,YAAY,OAAU;QACpB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,UAAU,CAAC,qCAAqC,CAAC,CAAA;QAC7D,CAAC;QACD,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC9D,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAA;IACzB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAA8B,GAAG,OAAU,EAAkB,EAAE,CAClF,IAAI,WAAW,CAAC,OAAO,CAAC,CAAA;AAE1B,6EAA6E;AAC7E,iBAAiB;AACjB,6EAA6E;AAE7E,MAAM,OAAO,aAA0D,SAAQ,MAAS;CAEvF;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAA6C,KAAQ,EAAoB,EAAE,CAChG,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;AAE/C,MAAM,OAAO,UAAsC,SAAQ,MAAS;IAEzD,OAAO,CAAc;IAE9B,YAAY,MAAoB;QAC9B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAAC,mCAAmC,CAAC,CAAA;QAC3D,CAAC;QACD,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;QAC/B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;IACvB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAA4B,MAAoB,EAAiB,EAAE,CACtF,IAAI,UAAU,CAAC,MAAM,CAAC,CAAA"}

package/dist/schema/conditional.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Discriminated union (Z_PLAN §4.5.6 — Conditional).
+ *
+ * `discriminated(key, map)` builds a union schema whose branches are selected
+ * by the value of the named discriminator field, both during generation and
+ * during validation.
+ *
+ * ```ts
+ * const Fuel = discriminated('kind', {
+ *   gas:    obj({ kind: literal('gas'),    heating_value: decimal(10, 4) }),
+ *   liquid: obj({ kind: literal('liquid'), density: decimal(10, 4) }),
+ * })
+ * ```
+ */
+import type { Infer, Schema } from '../foundation/types.js';
+/**
+ * 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 declare const discriminated: <K extends string, M extends Readonly<Record<string, Schema<unknown>>>>(key: K, map: M) => Schema<{ [P in keyof M]: Infer<M[P]>; }[keyof M]>;
+//# sourceMappingURL=conditional.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conditional.d.ts","sourceRoot":"","sources":["../../src/schema/conditional.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAG3D;;;;GAIG;AACH,eAAO,MAAM,aAAa,+EAMnB,CAAC,OACD,CAAC,sDAQP,CAAA"}

package/dist/schema/conditional.js

@@ -0,0 +1,29 @@
+/**
+ * Discriminated union (Z_PLAN §4.5.6 — Conditional).
+ *
+ * `discriminated(key, map)` builds a union schema whose branches are selected
+ * by the value of the named discriminator field, both during generation and
+ * during validation.
+ *
+ * ```ts
+ * const Fuel = discriminated('kind', {
+ *   gas:    obj({ kind: literal('gas'),    heating_value: decimal(10, 4) }),
+ *   liquid: obj({ kind: literal('liquid'), density: decimal(10, 4) }),
+ * })
+ * ```
+ */
+import { UnionSchema } from './composites.js';
+/**
+ * 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 options = Object.values(map);
+    if (options.length === 0) {
+        throw new Error(`discriminated("${key}"): map must contain at least one branch`);
+    }
+    void key;
+    return new UnionSchema(options);
+};
+//# 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;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAE7C;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAM3B,GAAM,EACN,GAAM,EAC4C,EAAE;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAA+B,CAAA;IAChE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,kBAAkB,GAAG,0CAA0C,CAAC,CAAA;IAClF,CAAC;IACD,KAAK,GAAG,CAAA;IACR,OAAO,IAAI,WAAW,CAAC,OAAO,CAAgE,CAAA;AAChG,CAAC,CAAA"}

package/dist/schema/decimal.d.ts

@@ -0,0 +1,31 @@
+/**
+ * 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; smokin 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 { Schema } from '../foundation/types.js';
+export declare class DecimalSchema extends Schema<string> {
+    readonly _node: DecimalKind & {
+        mods?: Modifiers;
+    };
+    /** 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,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE/C,qBAAa,aAAc,SAAQ,MAAM,CAAC,MAAM,CAAC;IAC/C,SAAiB,KAAK,EAAE,WAAW,GAAG;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,CAAA;IAE1D,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,cAAe,MAAM,SAAS,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; smokin intentionally avoids forcing a brand to keep
+ * `decimal().default('0.0')` and JSON round-trips friction-free.
+ */
+import { 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,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE/C,MAAM,OAAO,aAAc,SAAQ,MAAc;IAG/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,29 @@
+/**
+ * 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 { NumberKind, StringKind } from '../foundation/ir.js';
+import { Schema } from '../foundation/types.js';
+export declare class StringSchema extends Schema<string> {
+    readonly _node: StringKind & {
+        mods?: import('../foundation/ir.js').Modifiers;
+    };
+    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?: import('../foundation/ir.js').Modifiers;
+    };
+    min(n: number): NumberSchema;
+    max(n: number): NumberSchema;
+}
+export declare const num: () => NumberSchema;
+export declare const int: () => NumberSchema;
+export declare const bool: () => Schema<boolean>;
+export declare const null_: () => Schema<null>;
+//# 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,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAM/C,qBAAa,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC;IAC9C,SAAiB,KAAK,EAAE,UAAU,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IAEvF,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;AAMvD,qBAAa,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC;IAC9C,SAAiB,KAAK,EAAE,UAAU,GAAG;QAAE,IAAI,CAAC,EAAE,OAAO,qBAAqB,EAAE,SAAS,CAAA;KAAE,CAAA;IAEvF,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY;IAG5B,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,YAAY;CAG7B;AAED,eAAO,MAAM,GAAG,QAAO,YAC2B,CAAA;AAElD,eAAO,MAAM,GAAG,QAAO,YAC0B,CAAA;AAMjD,eAAO,MAAM,IAAI,QAAO,OAAO,OAAO,CAA6C,CAAA;AAEnF,eAAO,MAAM,KAAK,QAAO,OAAO,IAAI,CAAuC,CAAA"}

package/dist/schema/primitives.js

@@ -0,0 +1,44 @@
+/**
+ * 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 { 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
+// ──────────────────────────────────────────────────────────────────────────
+export class NumberSchema extends Schema {
+    min(n) {
+        return new NumberSchema({ ...this._node, min: n });
+    }
+    max(n) {
+        return new NumberSchema({ ...this._node, max: n });
+    }
+}
+export const num = () => new NumberSchema({ kind: 'number', int: false });
+export const int = () => new NumberSchema({ kind: 'number', int: true });
+// ──────────────────────────────────────────────────────────────────────────
+// boolean / null
+// ──────────────────────────────────────────────────────────────────────────
+export const bool = () => new Schema({ kind: 'boolean' });
+export const null_ = () => new Schema({ 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,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE/C,6EAA6E;AAC7E,SAAS;AACT,6EAA6E;AAE7E,MAAM,OAAO,YAAa,SAAQ,MAAc;IAG9C,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,6EAA6E;AAE7E,MAAM,OAAO,YAAa,SAAQ,MAAc;IAG9C,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;CACF;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,GAAiB,EAAE,CACpC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;AAElD,MAAM,CAAC,MAAM,GAAG,GAAG,GAAiB,EAAE,CACpC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;AAEjD,6EAA6E;AAC7E,iBAAiB;AACjB,6EAA6E;AAE7E,MAAM,CAAC,MAAM,IAAI,GAAG,GAAoB,EAAE,CAAC,IAAI,MAAM,CAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;AAEnF,MAAM,CAAC,MAAM,KAAK,GAAG,GAAiB,EAAE,CAAC,IAAI,MAAM,CAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA"}

package/dist/validator/parse.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Validator — verify that a value conforms to a schema.
+ *
+ * `parse` throws ConformError. `safeParse` returns a discriminated result.
+ */
+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<unknown>>(schema: S, value: unknown) => Infer<S>;
+export declare const safeParse: <S extends Schema<unknown>>(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;;;;GAIG;AAEH,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,sCAA8B,CAAC,SAAS,OAAO,KAAG,MAAM,CAAC,CAK1E,CAAA;AAED,eAAO,MAAM,SAAS,sCAA8B,CAAC,SAAS,OAAO,KAAG,gBAAgB,MAAM,CAAC,CAAC,CAK/F,CAAA"}