smokin 0.1.0

package/dist/foundation/types.js

@@ -0,0 +1,99 @@
+/**
+ * Phantom-typed schema builder + Infer<>.
+ *
+ * Every builder carries:
+ *   - `_node`: serializable IR (runtime)
+ *   - `_type`: phantom TS type parameter for inference (compile-time only)
+ *
+ * Modifiers (.nullable / .optional / .default / .describe) return a *new*
+ * builder with updated phantom type and updated IR.
+ */
+import { withMods } from './ir.js';
+/** Base builder. Subclasses (StringSchema, NumberSchema, …) extend this. */
+export class Schema {
+    _node;
+    constructor(node) {
+        this._node = node;
+    }
+    nullable() {
+        return new Schema(withMods(this._node, { nullable: true }));
+    }
+    optional() {
+        return new Schema(withMods(this._node, { optional: true }));
+    }
+    default(value) {
+        return new Schema(withMods(this._node, { hasDefault: true, defaultValue: value }));
+    }
+    describe(text) {
+        return this.withModsPreserveType({ description: text });
+    }
+    // ── data-schema axes (Phase 2) ────────────────────────────────────────────
+    /** Weighted distribution over discrete values. Weights are relative. */
+    weighted(weights) {
+        return this.withAxes({
+            distribution: {
+                kind: 'weighted',
+                weights: weights,
+            },
+        });
+    }
+    /** Normal (Gaussian) distribution for numeric schemas. */
+    normal(mean, stddev) {
+        return this.withAxes({ distribution: { kind: 'normal', mean, stddev } });
+    }
+    /** Typical range — values concentrate uniformly inside [from, to]. */
+    typically(from, to) {
+        return this.withAxes({ distribution: { kind: 'typical', from, to } });
+    }
+    /** Force `value` with probability `p` (stacks before base distribution). */
+    occasionally(value, p) {
+        if (!(p >= 0 && p <= 1))
+            throw new RangeError(`occasionally: p must be in [0,1], got ${p}`);
+        const override = { value, p };
+        return this.withAxes({ occasionally: [override] });
+    }
+    /**
+     * Force `value` every `every` rows (deterministic, driven by `ctx.index`).
+     *
+     * Useful for periodic rare events that must hit at a guaranteed cadence
+     * (e.g. monthly maintenance shutdown). Skipped when `ctx.index` is undefined.
+     */
+    eventually(every, value, opts) {
+        if (!Number.isInteger(every) || every < 1) {
+            throw new RangeError(`eventually: every must be a positive integer, got ${every}`);
+        }
+        const override = {
+            value,
+            every,
+            ...(opts?.offset !== undefined ? { offset: opts.offset } : {}),
+        };
+        return this.withAxes({ eventually: [override] });
+    }
+    /** Field is computed from sibling/root context — generator skips sampling. */
+    derivedFrom(fn) {
+        return this.withAxes({ derived: fn });
+    }
+    /** Single-record predicate. Generator retries up to MAX_ATTEMPTS to satisfy. */
+    invariant(fn) {
+        return this.withAxes({ invariants: [fn] });
+    }
+    /** Restrict to a closed candidate set or a lookup-by-sibling-field map. */
+    in(constraint) {
+        const dom = Array.isArray(constraint)
+            ? { kind: 'values', values: constraint }
+            : constraint;
+        return this.withAxes({ domain: dom });
+    }
+    // ── internal helpers ──────────────────────────────────────────────────────
+    withAxes(axes) {
+        return this.withModsPreserveType({ axes });
+    }
+    withModsPreserveType(patch) {
+        const next = Object.create(Object.getPrototypeOf(this));
+        Object.assign(next, this, {
+            _node: withMods(this._node, patch),
+        });
+        return next;
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/foundation/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/foundation/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAElC,4EAA4E;AAC5E,MAAM,OAAO,MAAM;IAER,KAAK,CAAY;IAE1B,YAAY,IAAgB;QAC1B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;IACnB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,MAAM,CAAW,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IACvE,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,MAAM,CAAgB,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC5E,CAAC;IAED,OAAO,CAAC,KAAQ;QACd,OAAO,IAAI,MAAM,CAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACvF,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,oBAAoB,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,CAAC;IAED,6EAA6E;IAE7E,wEAAwE;IACxE,QAAQ,CAAC,OAA0E;QACjF,OAAO,IAAI,CAAC,QAAQ,CAAC;YACnB,YAAY,EAAE;gBACZ,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAsE;aAChF;SACF,CAAC,CAAA;IACJ,CAAC;IAED,0DAA0D;IAC1D,MAAM,CAAC,IAAY,EAAE,MAAc;QACjC,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC1E,CAAC;IAED,sEAAsE;IACtE,SAAS,CAAC,IAAY,EAAE,EAAU;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IACvE,CAAC;IAED,4EAA4E;IAC5E,YAAY,CAAC,KAAQ,EAAE,CAAS;QAC9B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,yCAAyC,CAAC,EAAE,CAAC,CAAA;QAC3F,MAAM,QAAQ,GAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;QACjD,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACpD,CAAC;IAED;;;;;OAKG;IACH,UAAU,CAAC,KAAa,EAAE,KAAQ,EAAE,IAAmC;QACrE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,UAAU,CAAC,qDAAqD,KAAK,EAAE,CAAC,CAAA;QACpF,CAAC;QACD,MAAM,QAAQ,GAAuB;YACnC,KAAK;YACL,KAAK;YACL,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAA;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAClD,CAAC;IAED,8EAA8E;IAC9E,WAAW,CAAC,EAAa;QACvB,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAA;IACvC,CAAC;IAED,gFAAgF;IAChF,SAAS,CAAC,EAAe;QACvB,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED,2EAA2E;IAC3E,EAAE,CAAC,UAAiD;QAClD,MAAM,GAAG,GAAqB,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;YACrD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE;YACxC,CAAC,CAAE,UAA+B,CAAA;QACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAA;IACvC,CAAC;IAED,6EAA6E;IAEnE,QAAQ,CAAC,IAAU;QAC3B,OAAO,IAAI,CAAC,oBAAoB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;IAC5C,CAAC;IAES,oBAAoB,CAAC,KAAyB;QACtD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAW,CAAS,CAAA;QACzE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE;YACxB,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;SACH,CAAC,CAAA;QAClC,OAAO,IAAI,CAAA;IACb,CAAC;CACF"}

package/dist/foundation/walk.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Extensibility API — IR walker and IR-to-builder reconstruction.
+ *
+ * smokin intentionally ships no CLI, no OpenAPI ingestion, no zod adapter,
+ * no GUI — these belong in *external* packages. This module exposes the
+ * minimum surface those packages need:
+ *
+ *   - `walkSchema(node, visitor)` : pre/post-order traversal with paths
+ *   - `fromIR(node)`              : reconstruct a `Schema` builder from IR
+ *
+ * Combined with the already-public `SchemaNode`, `Modifiers`, `Axes`,
+ * `mock`, `parse`, `mockDataset`, `createTrace`, and `seedFromString` /
+ * `rngFromString`, this is the full plugin contract.
+ *
+ * Plugin authors do NOT subclass `Schema`. They build IR (or compose
+ * existing builders) and call `fromIR` to obtain a typed builder back.
+ */
+import { Schema } from './types.js';
+import type { SchemaNode } from './ir.js';
+export type WalkPath = readonly (string | number)[];
+export type SchemaVisitor = {
+    /** Called before descending into a node's children. Return false to skip subtree. */
+    readonly enter?: (node: SchemaNode, path: WalkPath) => void | boolean;
+    /** Called after all children have been visited. */
+    readonly leave?: (node: SchemaNode, path: WalkPath) => void;
+};
+/**
+ * Depth-first pre/post-order traversal of a schema IR tree.
+ *
+ * The visitor receives every node (including composites) with its
+ * JSON-pointer-style path. Use this to power codegen (OpenAPI, zod, SQL DDL,
+ * documentation) without coupling to the builder classes.
+ */
+export declare const walkSchema: (schemaOrNode: Schema | SchemaNode, visitor: SchemaVisitor) => void;
+/**
+ * Reconstruct a `Schema` builder from an IR node.
+ *
+ * Modifiers (`nullable`, `optional`, `default`, `describe`, axes) are
+ * preserved. Returns `Schema<unknown>` — plugin authors that know the shape
+ * statically can cast to a more precise type.
+ */
+export declare const fromIR: (node: SchemaNode) => Schema<unknown>;
+//# sourceMappingURL=walk.d.ts.map

package/dist/foundation/walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.d.ts","sourceRoot":"","sources":["../../src/foundation/walk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAYH,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAEzC,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;AAEnD,MAAM,MAAM,aAAa,GAAG;IAC1B,qFAAqF;IACrF,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAA;IACrE,mDAAmD;IACnD,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAA;CAC5D,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,iBACP,MAAM,GAAG,UAAU,WACxB,aAAa,KACrB,IAGF,CAAA;AA2BD;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,SAAU,UAAU,KAAG,OAAO,OAAO,CAGvD,CAAA"}

package/dist/foundation/walk.js

@@ -0,0 +1,156 @@
+/**
+ * Extensibility API — IR walker and IR-to-builder reconstruction.
+ *
+ * smokin intentionally ships no CLI, no OpenAPI ingestion, no zod adapter,
+ * no GUI — these belong in *external* packages. This module exposes the
+ * minimum surface those packages need:
+ *
+ *   - `walkSchema(node, visitor)` : pre/post-order traversal with paths
+ *   - `fromIR(node)`              : reconstruct a `Schema` builder from IR
+ *
+ * Combined with the already-public `SchemaNode`, `Modifiers`, `Axes`,
+ * `mock`, `parse`, `mockDataset`, `createTrace`, and `seedFromString` /
+ * `rngFromString`, this is the full plugin contract.
+ *
+ * Plugin authors do NOT subclass `Schema`. They build IR (or compose
+ * existing builders) and call `fromIR` to obtain a typed builder back.
+ */
+import { arr, enum_, literal, obj, tuple, union, } from '../schema/composites.js';
+import { decimal } from '../schema/decimal.js';
+import { bool, int, null_, num, str } from '../schema/primitives.js';
+import { Schema } from './types.js';
+/**
+ * Depth-first pre/post-order traversal of a schema IR tree.
+ *
+ * The visitor receives every node (including composites) with its
+ * JSON-pointer-style path. Use this to power codegen (OpenAPI, zod, SQL DDL,
+ * documentation) without coupling to the builder classes.
+ */
+export const walkSchema = (schemaOrNode, visitor) => {
+    const root = schemaOrNode instanceof Schema ? schemaOrNode._node : schemaOrNode;
+    walk(root, [], visitor);
+};
+const walk = (node, path, v) => {
+    const shouldDescend = v.enter ? v.enter(node, path) !== false : true;
+    if (shouldDescend) {
+        switch (node.kind) {
+            case 'object':
+                for (const k of Object.keys(node.fields)) {
+                    walk(node.fields[k], [...path, k], v);
+                }
+                break;
+            case 'array':
+                walk(node.item, [...path, '[]'], v);
+                break;
+            case 'tuple':
+                node.items.forEach((it, i) => walk(it, [...path, i], v));
+                break;
+            case 'union':
+                node.options.forEach((o, i) => walk(o, [...path, `|${i}`], v));
+                break;
+            default:
+                break;
+        }
+    }
+    v.leave?.(node, path);
+};
+/**
+ * Reconstruct a `Schema` builder from an IR node.
+ *
+ * Modifiers (`nullable`, `optional`, `default`, `describe`, axes) are
+ * preserved. Returns `Schema<unknown>` — plugin authors that know the shape
+ * statically can cast to a more precise type.
+ */
+export const fromIR = (node) => {
+    const base = buildBase(node);
+    return applyMods(base, node);
+};
+const buildBase = (node) => {
+    switch (node.kind) {
+        case 'string': {
+            let s = str();
+            if (node.min !== undefined)
+                s = s.min(node.min);
+            if (node.max !== undefined)
+                s = s.max(node.max);
+            if (node.pattern !== undefined)
+                s = s.pattern(node.pattern);
+            return s;
+        }
+        case 'number': {
+            let n = node.int ? int() : num();
+            if (node.min !== undefined)
+                n = n.min(node.min);
+            if (node.max !== undefined)
+                n = n.max(node.max);
+            return n;
+        }
+        case 'decimal': {
+            let d = decimal(node.precision, node.scale);
+            if (node.min !== undefined)
+                d = d.min(node.min);
+            if (node.max !== undefined)
+                d = d.max(node.max);
+            return d;
+        }
+        case 'boolean':
+            return bool();
+        case 'null':
+            return null_();
+        case 'literal':
+            return literal(node.value);
+        case 'enum':
+            return enum_(node.values);
+        case 'object': {
+            const fields = {};
+            for (const k of Object.keys(node.fields)) {
+                fields[k] = fromIR(node.fields[k]);
+            }
+            return obj(fields);
+        }
+        case 'array': {
+            let a = arr(fromIR(node.item));
+            if (node.length !== undefined)
+                a = a.length(node.length);
+            else {
+                if (node.minLength !== undefined)
+                    a = a.min(node.minLength);
+                if (node.maxLength !== undefined)
+                    a = a.max(node.maxLength);
+            }
+            return a;
+        }
+        case 'tuple': {
+            const items = node.items.map((it) => fromIR(it));
+            return tuple(...items);
+        }
+        case 'union': {
+            const opts = node.options.map((o) => fromIR(o));
+            return union(...opts);
+        }
+    }
+};
+const applyMods = (schema, node) => {
+    const mods = node.mods;
+    if (mods === undefined)
+        return schema;
+    let out = schema;
+    if (mods.nullable === true)
+        out = out.nullable();
+    if (mods.optional === true)
+        out = out.optional();
+    if (mods.hasDefault === true)
+        out = out.default(mods.defaultValue);
+    if (mods.description !== undefined)
+        out = out.describe(mods.description);
+    if (mods.axes !== undefined) {
+        // Re-apply axes by mutating internal IR through the existing helper.
+        // Cast through `unknown` to reach the protected hook.
+        const withAxes = out.withAxes;
+        if (typeof withAxes === 'function') {
+            out = withAxes.call(out, mods.axes);
+        }
+    }
+    return out;
+};
+//# sourceMappingURL=walk.js.map

package/dist/foundation/walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../src/foundation/walk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,GAAG,EACH,KAAK,EACL,OAAO,EACP,GAAG,EACH,KAAK,EACL,KAAK,GACN,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAC9C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAYnC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,YAAiC,EACjC,OAAsB,EAChB,EAAE;IACR,MAAM,IAAI,GAAe,YAAY,YAAY,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;IAC3F,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,IAAgB,EAAE,IAAc,EAAE,CAAgB,EAAQ,EAAE;IACxE,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IACpE,IAAI,aAAa,EAAE,CAAC;QAClB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBACxC,CAAC;gBACD,MAAK;YACP,KAAK,OAAO;gBACV,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;gBACnC,MAAK;YACP,KAAK,OAAO;gBACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;gBACxD,MAAK;YACP,KAAK,OAAO;gBACV,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;gBAC9D,MAAK;YACP;gBACE,MAAK;QACT,CAAC;IACH,CAAC;IACD,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;AACvB,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAmB,EAAE;IAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC5B,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,IAAgB,EAAmB,EAAE;IACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,GAAG,GAAG,EAAE,CAAA;YACb,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/C,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAC3D,OAAO,CAAoB,CAAA;QAC7B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;YAChC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/C,OAAO,CAAoB,CAAA;QAC7B,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAC3C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/C,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/C,OAAO,CAAoB,CAAA;QAC7B,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,IAAI,EAAE,CAAA;QACf,KAAK,MAAM;YACT,OAAO,KAAK,EAAE,CAAA;QAChB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAoB,CAAA;QAC/C,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,CAAC,MAAsC,CAAoB,CAAA;QAC9E,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAA2B,EAAE,CAAA;YACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAW,CAAA;YAC/C,CAAC;YACD,OAAO,GAAG,CAAC,MAAM,CAAoB,CAAA;QACvC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAW,CAAC,CAAA;YACxC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;iBACnD,CAAC;gBACJ,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;oBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBAC3D,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;oBAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC7D,CAAC;YACD,OAAO,CAAoB,CAAA;QAC7B,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAW,CAAC,CAAA;YAC1D,OAAO,KAAK,CAAC,GAAG,KAAK,CAAoB,CAAA;QAC3C,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC,CAAA;YACzD,OAAO,KAAK,CAAC,GAAG,IAAI,CAAoB,CAAA;QAC1C,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,MAAuB,EAAE,IAAgB,EAAmB,EAAE;IAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;IACtB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACrC,IAAI,GAAG,GAAoB,MAAM,CAAA;IACjC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QAAE,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAqB,CAAA;IACnE,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QAAE,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAqB,CAAA;IACnE,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;QAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAoB,CAAA;IACrF,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAoB,CAAA;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,qEAAqE;QACrE,sDAAsD;QACtD,MAAM,QAAQ,GAAI,GAEhB,CAAC,QAAQ,CAAA;QACX,IAAI,OAAO,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnC,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAoB,CAAA;QACxD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA"}

package/dist/generator/engine.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Generator engine — turns a SchemaNode + context into a deterministic value.
+ *
+ * Phase 2 wires the 8 data-schema axes (Z_PLAN §4.5) into the pipeline.
+ * Resolution priority during sampling (Z_PLAN §4.6.1):
+ *
+ *   1. invariants   (rejection-sample until they hold; bounded by MAX_ATTEMPTS)
+ *   2. identity     (handled at dataset layer; not seen here)
+ *   3. derived      (computed from sibling/root context — skip sampling entirely)
+ *   4. conditional  (union / discriminated branch selection)
+ *   5. domain       (closed candidate set)
+ *   6. distribution (weighted / normal / typical)
+ *   7. type         (fall-back bounds from the IR)
+ */
+import type { GenContext } from '../foundation/axes.js';
+import type { SchemaNode } from '../foundation/ir.js';
+import { type Rng } from '../foundation/prng.js';
+import type { Infer, Schema } from '../foundation/types.js';
+import type { TraceCollector } from './trace.js';
+/**
+ * Per-leaf stable-seed hook.
+ *
+ * Called for every leaf-value sampling (string/number/decimal/boolean/enum/domain).
+ * Return a non-empty string to deterministically reseed *just this leaf*
+ * (path-scoped) — useful for snapshot/CI runs where a subset of rows must
+ * stay identical regardless of the outer `seed`.
+ * Return `null`/`undefined`/`''` to fall back to the shared rng (normal random).
+ *
+ * Composite kinds (object/array/tuple/union) are unaffected; their children
+ * re-enter this hook with their own path.
+ */
+export type StableByFn = (ctx: GenContext) => string | null | undefined;
+export type MockOptions = {
+    /** Override the deterministic seed. Either a string or unsigned 32-bit int. */
+    readonly seed?: string | number;
+    /** Caller-supplied context channel exposed to derived/invariants as `ctx.input`. */
+    readonly input?: Readonly<Record<string, unknown>>;
+    /** Top-level row index (used by `mockDataset` so per-row derived can read `ctx.index`). */
+    readonly index?: number;
+    /** Optional trace collector — receives one entry per resolved field (A2). */
+    readonly trace?: TraceCollector;
+    /** Reseed leaf sampling deterministically from a caller-chosen key. */
+    readonly stableBy?: StableByFn;
+};
+/**
+ * Generate a value that conforms to the given schema.
+ *
+ * Deterministic: identical `schema` + `options.seed` always yields the same
+ * value, on every machine, every run.
+ */
+export declare const mock: <S extends Schema<unknown>>(schema: S, options?: MockOptions) => Infer<S>;
+export type GenState = {
+    rng: Rng;
+    rootSeed: string;
+    root: unknown;
+    input?: Readonly<Record<string, unknown>>;
+    rootIndex?: number;
+    trace?: TraceCollector;
+    stableBy?: StableByFn;
+};
+export declare const generateNode: (node: SchemaNode, path: readonly (string | number)[], parent: Readonly<Record<string, unknown>>, state: GenState) => unknown;
+//# sourceMappingURL=engine.d.ts.map

package/dist/generator/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/generator/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAMV,UAAU,EAEX,MAAM,uBAAuB,CAAA;AAE9B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAA6B,KAAK,GAAG,EAAE,MAAM,uBAAuB,CAAA;AAC3E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAEhD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE,UAAU,KAAK,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;AAEvE,MAAM,MAAM,WAAW,GAAG;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IAC/B,oFAAoF;IACpF,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,2FAA2F;IAC3F,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAA;IAC/B,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAA;CAC/B,CAAA;AAKD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,sCAA8B,CAAC,YAAW,WAAW,KAAQ,MAAM,CAAC,CAiBpF,CAAA;AAMD,MAAM,MAAM,QAAQ,GAAG;IACrB,GAAG,EAAE,GAAG,CAAA;IACR,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IACzC,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,KAAK,CAAC,EAAE,cAAc,CAAA;IACtB,QAAQ,CAAC,EAAE,UAAU,CAAA;CACtB,CAAA;AA0DD,eAAO,MAAM,YAAY,SACjB,UAAU,QACV,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,UAC1B,SAAS,OAAO,MAAM,EAAE,OAAO,CAAC,CAAC,SAClC,QAAQ,KACd,OA4DF,CAAA"}