smokin 0.1.0

package/dist/foundation/axes.d.ts

@@ -0,0 +1,92 @@
+/**
+ * Data-schema axes (Phase 2).
+ *
+ * Each axis is optional metadata attached to a schema node via `Modifiers.axes`.
+ * The generator inspects axes during sampling; the validator inspects only
+ * `domain` (since distribution is a sampling hint, not a conformance constraint).
+ *
+ * Priority order during generation (high → low; from Z_PLAN §4.6.1):
+ *   1. invariants (single-record predicates that must hold)
+ *   2. identity   (dataset-level — handled by dataset engine)
+ *   3. derived    (computed from other fields → fixed)
+ *   4. conditional shape (handled by union/discriminated)
+ *   5. domain     (closed candidate set)
+ *   6. distribution (weighting within domain ∩ type)
+ *   7. type defaults
+ */
+/** A generation context exposed to derived functions and invariants. */
+export type GenContext = {
+    /** Root value being built, accessible by JSON-pointer-like path. */
+    readonly root: unknown;
+    /** Sibling object for the current field (the immediate parent object's data). */
+    readonly parent: Readonly<Record<string, unknown>>;
+    /** Nearest enclosing array index. `undefined` when no array is in scope. */
+    readonly index?: number;
+    /** Caller-supplied context channel (free-form key/value, never sampled). */
+    readonly input?: Readonly<Record<string, unknown>>;
+    /** Stable seed string for this node (derived from path + identity). */
+    readonly seed: string;
+};
+/** A single-record predicate. Returns true if the value is acceptable. */
+export type InvariantFn = (value: unknown, ctx: GenContext) => boolean;
+/** A pure function computing a field's value from sibling/root data. */
+export type DerivedFn = (ctx: GenContext) => unknown;
+/** A weighted distribution over discrete enum values. */
+export type WeightedDistribution = {
+    readonly kind: 'weighted';
+    /** Map of value → weight (relative; need not sum to 1). */
+    readonly weights: ReadonlyArray<readonly [string | number | boolean, number]>;
+};
+/** A normal (Gaussian) distribution for numbers. */
+export type NormalDistribution = {
+    readonly kind: 'normal';
+    readonly mean: number;
+    readonly stddev: number;
+};
+/** A typical-range distribution (uniform within [from, to], reachable subset of [min, max]). */
+export type TypicalDistribution = {
+    readonly kind: 'typical';
+    readonly from: number;
+    readonly to: number;
+};
+/**
+ * An "occasionally" override: with probability `p`, the produced value is
+ * forced to `value`. Stacks before the base distribution.
+ */
+export type OccasionalOverride = {
+    readonly value: unknown;
+    readonly p: number;
+};
+/**
+ * An "eventually" override (A6): every `every` rows the produced value is
+ * forced to `value`, deterministically driven by `ctx.index`.
+ *
+ * Stacks before `occasionally`. Skipped when `ctx.index` is undefined.
+ */
+export type EventuallyOverride = {
+    readonly value: unknown;
+    readonly every: number;
+    readonly offset?: number;
+};
+export type Distribution = WeightedDistribution | NormalDistribution | TypicalDistribution;
+/** A closed candidate set the value must belong to (`D` in the formal model). */
+export type DomainConstraint = {
+    readonly kind: 'values';
+    readonly values: readonly unknown[];
+} | {
+    readonly kind: 'lookup';
+    readonly fromField: string;
+    readonly map: Readonly<Record<string, readonly unknown[]>>;
+};
+/** All axis metadata attached to a schema node. */
+export type Axes = {
+    readonly distribution?: Distribution;
+    readonly occasionally?: readonly OccasionalOverride[];
+    readonly eventually?: readonly EventuallyOverride[];
+    readonly derived?: DerivedFn;
+    readonly invariants?: readonly InvariantFn[];
+    readonly domain?: DomainConstraint;
+};
+/** Merge two axis records (right-hand wins for scalar fields, lists concat). */
+export declare const mergeAxes: (a: Axes | undefined, b: Axes) => Axes;
+//# sourceMappingURL=axes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"axes.d.ts","sourceRoot":"","sources":["../../src/foundation/axes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,wEAAwE;AACxE,MAAM,MAAM,UAAU,GAAG;IACvB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,0EAA0E;AAC1E,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,KAAK,OAAO,CAAA;AAEtE,wEAAwE;AACxE,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,CAAA;AAEpD,yDAAyD;AACzD,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAA;CAC9E,CAAA;AAED,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,gGAAgG;AAChG,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CACpB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CACnB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,mBAAmB,CAAA;AAE1F,iFAAiF;AACjF,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC,CAAA;CAAE,CAAA;AAEvH,mDAAmD;AACnD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAA;IACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;IACrD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAA;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;IAC5C,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAA;CACnC,CAAA;AAED,gFAAgF;AAChF,eAAO,MAAM,SAAS,MAAO,IAAI,GAAG,SAAS,KAAK,IAAI,KAAG,IAuBxD,CAAA"}

package/dist/foundation/axes.js

@@ -0,0 +1,42 @@
+/**
+ * Data-schema axes (Phase 2).
+ *
+ * Each axis is optional metadata attached to a schema node via `Modifiers.axes`.
+ * The generator inspects axes during sampling; the validator inspects only
+ * `domain` (since distribution is a sampling hint, not a conformance constraint).
+ *
+ * Priority order during generation (high → low; from Z_PLAN §4.6.1):
+ *   1. invariants (single-record predicates that must hold)
+ *   2. identity   (dataset-level — handled by dataset engine)
+ *   3. derived    (computed from other fields → fixed)
+ *   4. conditional shape (handled by union/discriminated)
+ *   5. domain     (closed candidate set)
+ *   6. distribution (weighting within domain ∩ type)
+ *   7. type defaults
+ */
+/** Merge two axis records (right-hand wins for scalar fields, lists concat). */
+export const mergeAxes = (a, b) => {
+    if (a === undefined)
+        return b;
+    const merged = {};
+    const dist = b.distribution ?? a.distribution;
+    if (dist !== undefined)
+        merged.distribution = dist;
+    const der = b.derived ?? a.derived;
+    if (der !== undefined)
+        merged.derived = der;
+    const dom = b.domain ?? a.domain;
+    if (dom !== undefined)
+        merged.domain = dom;
+    const occ = [...(a.occasionally ?? []), ...(b.occasionally ?? [])];
+    if (occ.length > 0)
+        merged.occasionally = occ;
+    const evn = [...(a.eventually ?? []), ...(b.eventually ?? [])];
+    if (evn.length > 0)
+        merged.eventually = evn;
+    const inv = [...(a.invariants ?? []), ...(b.invariants ?? [])];
+    if (inv.length > 0)
+        merged.invariants = inv;
+    return merged;
+};
+//# sourceMappingURL=axes.js.map

package/dist/foundation/axes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axes.js","sourceRoot":"","sources":["../../src/foundation/axes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAiFH,gFAAgF;AAChF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAmB,EAAE,CAAO,EAAQ,EAAE;IAC9D,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAA;IAC7B,MAAM,MAAM,GAOR,EAAE,CAAA;IACN,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,CAAA;IAC7C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,IAAI,CAAA;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAA;IAClC,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,GAAG,GAAG,CAAA;IAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAA;IAChC,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAA;IAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAA;IAClE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,YAAY,GAAG,GAAG,CAAA;IAC7C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAA;IAC9D,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,UAAU,GAAG,GAAG,CAAA;IAC3C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAA;IAC9D,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,UAAU,GAAG,GAAG,CAAA;IAC3C,OAAO,MAAM,CAAA;AACf,CAAC,CAAA"}

package/dist/foundation/errors.d.ts

@@ -0,0 +1,30 @@
+/**
+ * smokin error hierarchy. All errors carry a JSON-pointer style `path` so that
+ * deeply nested failures can be reported precisely.
+ */
+export type Issue = {
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+    readonly expected?: string;
+    readonly received?: unknown;
+};
+/**
+ * Thrown by {@link parse} when a value does not conform to a schema.
+ * Use {@link safeParse} to receive a result rather than an exception.
+ */
+export declare class ConformError extends Error {
+    readonly issues: readonly Issue[];
+    constructor(issues: readonly Issue[]);
+}
+/**
+ * Thrown when an axis combination is unsatisfiable
+ * (Phase 2+: invariants conflict with distribution, derived returns
+ * out-of-domain value, etc.). Phase 1 surfaces this only for impossible
+ * primitive bounds (e.g. `int().min(10).max(5)`).
+ */
+export declare class SchemaConflictError extends Error {
+    readonly path: readonly (string | number)[];
+    readonly hint?: string;
+    constructor(message: string, path?: readonly (string | number)[], hint?: string);
+}
+//# sourceMappingURL=errors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/foundation/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B,CAAA;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;gBAErB,MAAM,EAAE,SAAS,KAAK,EAAE;CASrC;AAED;;;;;GAKG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;gBAEV,OAAO,EAAE,MAAM,EAAE,IAAI,GAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAO,EAAE,IAAI,CAAC,EAAE,MAAM;CAMpF"}

package/dist/foundation/errors.js

@@ -0,0 +1,53 @@
+/**
+ * smokin error hierarchy. All errors carry a JSON-pointer style `path` so that
+ * deeply nested failures can be reported precisely.
+ */
+/**
+ * Thrown by {@link parse} when a value does not conform to a schema.
+ * Use {@link safeParse} to receive a result rather than an exception.
+ */
+export class ConformError extends Error {
+    issues;
+    constructor(issues) {
+        const summary = issues.length === 1
+            ? formatIssue(issues[0])
+            : `${issues.length} issues:\n${issues.map((i) => '  - ' + formatIssue(i)).join('\n')}`;
+        super(summary);
+        this.name = 'ConformError';
+        this.issues = issues;
+    }
+}
+/**
+ * Thrown when an axis combination is unsatisfiable
+ * (Phase 2+: invariants conflict with distribution, derived returns
+ * out-of-domain value, etc.). Phase 1 surfaces this only for impossible
+ * primitive bounds (e.g. `int().min(10).max(5)`).
+ */
+export class SchemaConflictError extends Error {
+    path;
+    hint;
+    constructor(message, path = [], hint) {
+        super(hint ? `${message} (hint: ${hint})` : message);
+        this.name = 'SchemaConflictError';
+        this.path = path;
+        if (hint !== undefined)
+            this.hint = hint;
+    }
+}
+const formatIssue = (i) => {
+    const p = i.path.length === 0 ? '(root)' : i.path.map((s) => String(s)).join('.');
+    const expected = i.expected !== undefined ? ` expected=${i.expected}` : '';
+    const received = 'received' in i
+        ? ` received=${safeStringify(i.received)}`
+        : '';
+    return `${p}: ${i.message}${expected}${received}`;
+};
+const safeStringify = (v) => {
+    try {
+        return JSON.stringify(v);
+    }
+    catch {
+        return String(v);
+    }
+};
+//# sourceMappingURL=errors.js.map

package/dist/foundation/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/foundation/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH;;;GAGG;AACH,MAAM,OAAO,YAAa,SAAQ,KAAK;IAC5B,MAAM,CAAkB;IAEjC,YAAY,MAAwB;QAClC,MAAM,OAAO,GACX,MAAM,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YACzB,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,aAAa,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;QAC1F,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,cAAc,CAAA;QAC1B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,IAAI,CAA8B;IAClC,IAAI,CAAS;IAEtB,YAAY,OAAe,EAAE,OAAqC,EAAE,EAAE,IAAa;QACjF,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACpD,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAC1C,CAAC;CACF;AAED,MAAM,WAAW,GAAG,CAAC,CAAQ,EAAU,EAAE;IACvC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjF,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1E,MAAM,QAAQ,GACZ,UAAU,IAAI,CAAC;QACb,CAAC,CAAC,aAAa,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;QAC1C,CAAC,CAAC,EAAE,CAAA;IACR,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,QAAQ,GAAG,QAAQ,EAAE,CAAA;AACnD,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,CAAU,EAAU,EAAE;IAC3C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IAClB,CAAC;AACH,CAAC,CAAA"}

package/dist/foundation/hash.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Stable identity hash for seed derivation.
+ *
+ * Uses node:crypto sha256 (Node ≥ 18.17 stdlib — counts as zero dependency).
+ */
+/** sha256(input) → lowercase hex string. */
+export declare const sha256: (input: string) => string;
+/**
+ * Build a deterministic identity string from sorted query/path/identity values.
+ *
+ * Example:
+ *   identityKey('GET', '/inventory', { base_code: 'CT', date: '2026-05-22' })
+ *     → 'GET|/inventory|base_code=CT&date=2026-05-22'
+ */
+export declare const identityKey: (method: string, path: string, parts: Record<string, string | number | boolean | null | undefined>) => string;
+//# sourceMappingURL=hash.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../../src/foundation/hash.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,4CAA4C;AAC5C,eAAO,MAAM,MAAM,UAAW,MAAM,KAAG,MACmB,CAAA;AAE1D;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,WACd,MAAM,QACR,MAAM,SACL,OAAO,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC,KAClE,MASF,CAAA"}

package/dist/foundation/hash.js

@@ -0,0 +1,26 @@
+/**
+ * Stable identity hash for seed derivation.
+ *
+ * Uses node:crypto sha256 (Node ≥ 18.17 stdlib — counts as zero dependency).
+ */
+import { createHash } from 'node:crypto';
+/** sha256(input) → lowercase hex string. */
+export const sha256 = (input) => createHash('sha256').update(input, 'utf8').digest('hex');
+/**
+ * Build a deterministic identity string from sorted query/path/identity values.
+ *
+ * Example:
+ *   identityKey('GET', '/inventory', { base_code: 'CT', date: '2026-05-22' })
+ *     → 'GET|/inventory|base_code=CT&date=2026-05-22'
+ */
+export const identityKey = (method, path, parts) => {
+    const flat = Object.keys(parts)
+        .sort()
+        .map((k) => {
+        const v = parts[k];
+        return `${k}=${v === undefined || v === null ? '' : String(v)}`;
+    })
+        .join('&');
+    return `${method}|${path}|${flat}`;
+};
+//# sourceMappingURL=hash.js.map

package/dist/foundation/hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../src/foundation/hash.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,4CAA4C;AAC5C,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAC9C,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAE1D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,MAAc,EACd,IAAY,EACZ,KAAmE,EAC3D,EAAE;IACV,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SAC5B,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QAClB,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;IACjE,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,CAAA;IACZ,OAAO,GAAG,MAAM,IAAI,IAAI,IAAI,IAAI,EAAE,CAAA;AACpC,CAAC,CAAA"}

package/dist/foundation/ir.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Internal Representation (IR) of a smokin schema.
+ *
+ * Every schema builder compiles to one of these serializable nodes.
+ * The generator and validator operate on IR — never on builder classes —
+ * so IR can be inspected, logged, transformed, or transported.
+ */
+export type StringFormat = 'plain' | 'uuid' | 'email' | 'url' | 'ipv4' | 'ipv6' | 'date' | 'datetime' | 'time';
+export type NumberKind = {
+    readonly kind: 'number';
+    readonly int: boolean;
+    readonly bits?: 8 | 16 | 32 | 64;
+    readonly unsigned?: boolean;
+    readonly min?: number;
+    readonly max?: number;
+};
+export type StringKind = {
+    readonly kind: 'string';
+    readonly format: StringFormat;
+    readonly min?: number;
+    readonly max?: number;
+    readonly pattern?: string;
+};
+export type DecimalKind = {
+    readonly kind: 'decimal';
+    readonly precision: number;
+    readonly scale: number;
+    readonly min?: string;
+    readonly max?: string;
+};
+export type BooleanKind = {
+    readonly kind: 'boolean';
+};
+export type NullKind = {
+    readonly kind: 'null';
+};
+export type LiteralKind = {
+    readonly kind: 'literal';
+    readonly value: string | number | boolean | null;
+};
+export type EnumKind = {
+    readonly kind: 'enum';
+    readonly values: readonly (string | number)[];
+};
+export type ArrayKind = {
+    readonly kind: 'array';
+    readonly item: SchemaNode;
+    readonly length?: number;
+    readonly minLength?: number;
+    readonly maxLength?: number;
+};
+export type ObjectKind = {
+    readonly kind: 'object';
+    readonly fields: Readonly<Record<string, SchemaNode>>;
+};
+export type TupleKind = {
+    readonly kind: 'tuple';
+    readonly items: readonly SchemaNode[];
+};
+export type UnionKind = {
+    readonly kind: 'union';
+    readonly options: readonly SchemaNode[];
+};
+import type { Axes } from './axes.js';
+export type Modifiers = {
+    readonly nullable?: boolean;
+    readonly optional?: boolean;
+    readonly hasDefault?: boolean;
+    readonly defaultValue?: unknown;
+    readonly description?: string;
+    readonly axes?: Axes;
+};
+export type SchemaCore = NumberKind | StringKind | DecimalKind | BooleanKind | NullKind | LiteralKind | EnumKind | ArrayKind | ObjectKind | TupleKind | UnionKind;
+export type SchemaNode = SchemaCore & {
+    readonly mods?: Modifiers;
+};
+/** Helper: produce a fresh node with merged modifiers. `axes` are deep-merged. */
+export declare const withMods: (node: SchemaNode, patch: Partial<Modifiers>) => SchemaNode;
+//# sourceMappingURL=ir.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/foundation/ir.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,MAAM,YAAY,GACpB,OAAO,GACP,MAAM,GACN,OAAO,GACP,KAAK,GACL,MAAM,GACN,MAAM,GACN,MAAM,GACN,UAAU,GACV,MAAM,CAAA;AAEV,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;IAC7B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AACtD,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAEhD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAA;CACjD,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;CAC9C,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;CACtD,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAA;CACtC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAA;CACxC,CAAA;AAED,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGrC,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAA;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,UAAU,GACV,WAAW,GACX,WAAW,GACX,QAAQ,GACR,WAAW,GACX,QAAQ,GACR,SAAS,GACT,UAAU,GACV,SAAS,GACT,SAAS,CAAA;AAEb,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAA;CAC1B,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,QAAQ,SAAU,UAAU,SAAS,QAAQ,SAAS,CAAC,KAAG,UAKtE,CAAA"}

package/dist/foundation/ir.js

@@ -0,0 +1,16 @@
+/**
+ * Internal Representation (IR) of a smokin schema.
+ *
+ * Every schema builder compiles to one of these serializable nodes.
+ * The generator and validator operate on IR — never on builder classes —
+ * so IR can be inspected, logged, transformed, or transported.
+ */
+import { mergeAxes } from './axes.js';
+/** Helper: produce a fresh node with merged modifiers. `axes` are deep-merged. */
+export const withMods = (node, patch) => {
+    const prev = node.mods ?? {};
+    const mergedAxes = patch.axes !== undefined ? mergeAxes(prev.axes, patch.axes) : prev.axes;
+    const next = mergedAxes !== undefined ? { ...prev, ...patch, axes: mergedAxes } : { ...prev, ...patch };
+    return { ...node, mods: next };
+};
+//# sourceMappingURL=ir.js.map

package/dist/foundation/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/foundation/ir.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AA2EH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AA4BrC,kFAAkF;AAClF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAE,KAAyB,EAAc,EAAE;IAClF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAA;IAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC1F,MAAM,IAAI,GAAc,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAE,CAAA;IAClH,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;AAChC,CAAC,CAAA"}

package/dist/foundation/prng.d.ts

@@ -0,0 +1,27 @@
+/**
+ * mulberry32 — tiny, fast, deterministic 32-bit PRNG.
+ *
+ * Zero-dependency. Identical seed → identical sequence on every machine.
+ * Period ≈ 2^32, ample for mock generation.
+ *
+ * Reference: https://gist.github.com/tommyettinger/46a3a48c0d7fe27ea3aaa5fa8f1ba0e8
+ */
+export type Rng = {
+    /** Next uniformly-distributed float in `[0, 1)`. */
+    next(): number;
+    /** Next integer in `[min, max]` (inclusive). */
+    int(min: number, max: number): number;
+    /** Pick one element of `items` uniformly. */
+    pick<T>(items: readonly T[]): T;
+};
+/**
+ * Create a deterministic PRNG seeded by a 32-bit unsigned integer.
+ *
+ * For string seeds, use {@link rngFromString}.
+ */
+export declare const mulberry32: (seed: number) => Rng;
+/** Derive a 32-bit unsigned seed from an arbitrary string (FNV-1a 32-bit). */
+export declare const seedFromString: (s: string) => number;
+/** Convenience: build an Rng from a string seed. */
+export declare const rngFromString: (s: string) => Rng;
+//# sourceMappingURL=prng.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prng.d.ts","sourceRoot":"","sources":["../../src/foundation/prng.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,MAAM,GAAG,GAAG;IAChB,oDAAoD;IACpD,IAAI,IAAI,MAAM,CAAA;IACd,gDAAgD;IAChD,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;IACrC,6CAA6C;IAC7C,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,CAAA;CAChC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,SAAU,MAAM,KAAG,GA8BzC,CAAA;AAED,8EAA8E;AAC9E,eAAO,MAAM,cAAc,MAAO,MAAM,KAAG,MAO1C,CAAA;AAED,oDAAoD;AACpD,eAAO,MAAM,aAAa,MAAO,MAAM,KAAG,GAAoC,CAAA"}

package/dist/foundation/prng.js

@@ -0,0 +1,56 @@
+/**
+ * mulberry32 — tiny, fast, deterministic 32-bit PRNG.
+ *
+ * Zero-dependency. Identical seed → identical sequence on every machine.
+ * Period ≈ 2^32, ample for mock generation.
+ *
+ * Reference: https://gist.github.com/tommyettinger/46a3a48c0d7fe27ea3aaa5fa8f1ba0e8
+ */
+/**
+ * Create a deterministic PRNG seeded by a 32-bit unsigned integer.
+ *
+ * For string seeds, use {@link rngFromString}.
+ */
+export const mulberry32 = (seed) => {
+    // Force u32.
+    let state = seed >>> 0;
+    const next = () => {
+        state = (state + 0x6d2b79f5) >>> 0;
+        let t = state;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+    return {
+        next,
+        int(min, max) {
+            if (!Number.isFinite(min) || !Number.isFinite(max)) {
+                throw new RangeError(`rng.int requires finite bounds, got [${min}, ${max}]`);
+            }
+            if (min > max)
+                throw new RangeError(`rng.int: min (${min}) > max (${max})`);
+            const lo = Math.ceil(min);
+            const hi = Math.floor(max);
+            return lo + Math.floor(next() * (hi - lo + 1));
+        },
+        pick(items) {
+            if (items.length === 0)
+                throw new RangeError('rng.pick: empty array');
+            const idx = Math.floor(next() * items.length);
+            // Safe: idx ∈ [0, items.length-1]
+            return items[idx];
+        },
+    };
+};
+/** Derive a 32-bit unsigned seed from an arbitrary string (FNV-1a 32-bit). */
+export const seedFromString = (s) => {
+    let h = 0x811c9dc5;
+    for (let i = 0; i < s.length; i += 1) {
+        h ^= s.charCodeAt(i);
+        h = Math.imul(h, 0x01000193);
+    }
+    return h >>> 0;
+};
+/** Convenience: build an Rng from a string seed. */
+export const rngFromString = (s) => mulberry32(seedFromString(s));
+//# sourceMappingURL=prng.js.map

package/dist/foundation/prng.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prng.js","sourceRoot":"","sources":["../../src/foundation/prng.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAO,EAAE;IAC9C,aAAa;IACb,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,CAAA;IAEtB,MAAM,IAAI,GAAG,GAAW,EAAE;QACxB,KAAK,GAAG,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,CAAC,GAAG,KAAK,CAAA;QACb,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QACpC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;QACzC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAA;IAC9C,CAAC,CAAA;IAED,OAAO;QACL,IAAI;QACJ,GAAG,CAAC,GAAG,EAAE,GAAG;YACV,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,UAAU,CAAC,wCAAwC,GAAG,KAAK,GAAG,GAAG,CAAC,CAAA;YAC9E,CAAC;YACD,IAAI,GAAG,GAAG,GAAG;gBAAE,MAAM,IAAI,UAAU,CAAC,iBAAiB,GAAG,YAAY,GAAG,GAAG,CAAC,CAAA;YAC3E,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YAC1B,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;QAChD,CAAC;QACD,IAAI,CAAI,KAAmB;YACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,uBAAuB,CAAC,CAAA;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;YAC7C,kCAAkC;YAClC,OAAO,KAAK,CAAC,GAAG,CAAM,CAAA;QACxB,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAU,EAAE;IAClD,IAAI,CAAC,GAAG,UAAU,CAAA;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QACpB,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAA;AAChB,CAAC,CAAA;AAED,oDAAoD;AACpD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAO,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/foundation/types.d.ts

@@ -0,0 +1,59 @@
+/**
+ * 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 type { Axes, DerivedFn, Distribution, DomainConstraint, InvariantFn } from './axes.js';
+import type { Modifiers, SchemaNode } from './ir.js';
+/** Base builder. Subclasses (StringSchema, NumberSchema, …) extend this. */
+export declare class Schema<out T = unknown> {
+    readonly _type: T;
+    readonly _node: SchemaNode;
+    constructor(node: SchemaNode);
+    nullable(): Schema<T | null>;
+    optional(): Schema<T | undefined>;
+    default(value: T): Schema<T>;
+    describe(text: string): this;
+    /** Weighted distribution over discrete values. Weights are relative. */
+    weighted(weights: ReadonlyArray<readonly [T & (string | number | boolean), number]>): this;
+    /** Normal (Gaussian) distribution for numeric schemas. */
+    normal(mean: number, stddev: number): this;
+    /** Typical range — values concentrate uniformly inside [from, to]. */
+    typically(from: number, to: number): this;
+    /** Force `value` with probability `p` (stacks before base distribution). */
+    occasionally(value: T, p: number): this;
+    /**
+     * 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: number, value: T, opts?: {
+        readonly offset?: number;
+    }): this;
+    /** Field is computed from sibling/root context — generator skips sampling. */
+    derivedFrom(fn: DerivedFn): this;
+    /** Single-record predicate. Generator retries up to MAX_ATTEMPTS to satisfy. */
+    invariant(fn: InvariantFn): this;
+    /** Restrict to a closed candidate set or a lookup-by-sibling-field map. */
+    in(constraint: DomainConstraint | readonly unknown[]): this;
+    protected withAxes(axes: Axes): this;
+    protected withModsPreserveType(patch: Partial<Modifiers>): this;
+}
+/**
+ * Infer the TypeScript type a schema generates / accepts.
+ *
+ * ```ts
+ * const User = obj({ id: int(), name: str() })
+ * type User = Infer<typeof User>  // { id: number; name: string }
+ * ```
+ */
+export type Infer<S> = S extends Schema<infer T> ? T : never;
+/** Re-export modifier shape for advanced consumers. */
+export type { Distribution, DomainConstraint, Modifiers, SchemaNode };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/foundation/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,gBAAgB,EAAsB,WAAW,EAAsB,MAAM,WAAW,CAAA;AACrI,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AAGpD,4EAA4E;AAC5E,qBAAa,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO;IACjC,SAAiB,KAAK,EAAE,CAAC,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;gBAEd,IAAI,EAAE,UAAU;IAI5B,QAAQ,IAAI,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC;IAI5B,QAAQ,IAAI,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAIjC,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAI5B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAM5B,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI;IAS1F,0DAA0D;IAC1D,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAI1C,sEAAsE;IACtE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI;IAIzC,4EAA4E;IAC5E,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI;IAMvC;;;;;OAKG;IACH,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAY9E,8EAA8E;IAC9E,WAAW,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI;IAIhC,gFAAgF;IAChF,SAAS,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI;IAIhC,2EAA2E;IAC3E,EAAE,CAAC,UAAU,EAAE,gBAAgB,GAAG,SAAS,OAAO,EAAE,GAAG,IAAI;IAS3D,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIpC,SAAS,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,IAAI;CAOhE;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5D,uDAAuD;AACvD,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,SAAS,EAAE,UAAU,EAAE,CAAA"}