@nekostack/schema 1.0.0

package/dist/src/builders/array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../src/builders/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAEjD,qBAAa,WAAW,CAAC,CAAC,SAAS,SAAS,CAAE,SAAQ,MAAM,CAC1D,KAAK,CAAC,CAAC,CAAC,EAAE,EACV,MAAM,CAAC,CAAC,CAAC,EAAE,EACX,UAAU,EACV,UAAU,CACX;IAEG,OAAO,CAAC,QAAQ,CAAC,aAAa;gBAAb,aAAa,EAAE,CAAC,EACjC,IAAI,CAAC,EAAE,SAAS;IAKlB,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAIvC,IAAI,OAAO,IAAI,CAAC,CAEf;IAED,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;IAQlC,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC;CAOnC"}

package/dist/src/builders/array.js

@@ -0,0 +1,29 @@
+import { Schema } from "./schema.js";
+export class ArraySchema extends Schema {
+    elementSchema;
+    constructor(elementSchema, node) {
+        super(node ?? { kind: "array", element: elementSchema.node });
+        this.elementSchema = elementSchema;
+    }
+    clone(node) {
+        return new ArraySchema(this.elementSchema, node);
+    }
+    get element() {
+        return this.elementSchema;
+    }
+    min(items) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "minItems",
+            params: { value: items },
+        });
+    }
+    max(items) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "maxItems",
+            params: { value: items },
+        });
+    }
+}
+//# sourceMappingURL=array.js.map

package/dist/src/builders/array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../src/builders/array.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAkB,MAAM,aAAa,CAAC;AAGrD,MAAM,OAAO,WAAiC,SAAQ,MAKrD;IAEoB;IADnB,YACmB,aAAgB,EACjC,IAAgB;QAEhB,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;QAH7C,kBAAa,GAAb,aAAa,CAAG;IAInC,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,WAAW,CAAI,IAAI,CAAC,aAAa,EAAE,IAAiB,CAAS,CAAC;IAC3E,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,GAAG,CAAC,KAAa;QACf,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;SACzB,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,KAAa;QACf,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;SACzB,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/src/builders/object.d.ts

@@ -0,0 +1,62 @@
+import type { ObjectNode, SchemaNode } from "../ir/nodes.js";
+import { Schema } from "./schema.js";
+import type { ExtendShape, InferObjectInput, InferObjectOutput, Mask, MergeLeftShape, MergeOptions, MergeRightShape, MergeThrowShape, OmitShape, OverrideMask, OverrideShape, PartialByShape, PartialShape, PickShape, RawShape, RequiredByShape, RequiredShape } from "../types.js";
+export declare class ObjectSchema<S extends RawShape> extends Schema<InferObjectInput<S>, InferObjectOutput<S>, "required", "required"> {
+    private readonly shape;
+    constructor(shape: S, node?: ObjectNode);
+    protected clone(node: SchemaNode): this;
+    /** Access the original shape map (preserves subclass-specific methods). */
+    get fields(): Readonly<S>;
+    strict(): ObjectSchema<S>;
+    stripUnknown(): ObjectSchema<S>;
+    passthrough(): ObjectSchema<S>;
+    private withUnknownKeys;
+    /**
+     * Add new fields to this object. Decision #1: throws if any key in the
+     * extension already exists in the base. To deliberately replace a field,
+     * use {@link override}.
+     */
+    extend<E extends RawShape>(extension: E): ObjectSchema<ExtendShape<S, E>>;
+    /**
+     * Keep only the named keys. Decision #5: throws on any key not in the base.
+     */
+    pick<M extends Mask<S>>(keys: M): ObjectSchema<PickShape<S, M>>;
+    /**
+     * Drop the named keys. Decision #5: throws on any key not in the base.
+     */
+    omit<M extends Mask<S>>(keys: M): ObjectSchema<OmitShape<S, M>>;
+    /**
+     * Make fields optional. Decision #6 + #9: strips `default` from affected
+     * fields (symmetric with {@link required}). Defaults are explicitly NOT
+     * preserved — a partial schema should not silently inject defaults into a
+     * PATCH/update payload.
+     */
+    partial(): ObjectSchema<PartialShape<S>>;
+    partial<M extends Mask<S>>(keys: M): ObjectSchema<PartialByShape<S, M>>;
+    /**
+     * Make fields required. Decision #8 + #9: strips both `optional` AND
+     * `default` from affected fields (symmetric with {@link partial}).
+     */
+    required(): ObjectSchema<RequiredShape<S>>;
+    required<M extends Mask<S>>(keys: M): ObjectSchema<RequiredByShape<S, M>>;
+    /**
+     * Combine two object schemas. Decision #3 + #13: conflicts in fields OR
+     * in unknown-key policy throw by default; resolve explicitly with the
+     * `conflict` / `unknownKeys` options.
+     */
+    merge<Other extends RawShape>(other: ObjectSchema<Other>, options?: MergeOptions & {
+        conflict?: "throw";
+    }): ObjectSchema<MergeThrowShape<S, Other>>;
+    merge<Other extends RawShape>(other: ObjectSchema<Other>, options: MergeOptions & {
+        conflict: "left";
+    }): ObjectSchema<MergeLeftShape<S, Other>>;
+    merge<Other extends RawShape>(other: ObjectSchema<Other>, options: MergeOptions & {
+        conflict: "right";
+    }): ObjectSchema<MergeRightShape<S, Other>>;
+    /**
+     * Replace existing fields' schemas. Decision #2: throws if any key in the
+     * override is NOT in the base. To add new fields, use {@link extend}.
+     */
+    override<O extends OverrideMask<S>>(overrides: O): ObjectSchema<OverrideShape<S, O>>;
+}
+//# sourceMappingURL=object.d.ts.map

package/dist/src/builders/object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../src/builders/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,UAAU,EACV,UAAU,EAEX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAkB,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EACV,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,IAAI,EACJ,cAAc,EACd,YAAY,EACZ,eAAe,EACf,eAAe,EACf,SAAS,EACT,YAAY,EACZ,aAAa,EACb,cAAc,EACd,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,eAAe,EACf,aAAa,EACd,MAAM,aAAa,CAAC;AAErB,qBAAa,YAAY,CAAC,CAAC,SAAS,QAAQ,CAAE,SAAQ,MAAM,CAC1D,gBAAgB,CAAC,CAAC,CAAC,EACnB,iBAAiB,CAAC,CAAC,CAAC,EACpB,UAAU,EACV,UAAU,CACX;IAEG,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAAL,KAAK,EAAE,CAAC,EACzB,IAAI,CAAC,EAAE,UAAU;IAWnB,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAIvC,2EAA2E;IAC3E,IAAI,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,CAExB;IAID,MAAM,IAAI,YAAY,CAAC,CAAC,CAAC;IAIzB,YAAY,IAAI,YAAY,CAAC,CAAC,CAAC;IAI/B,WAAW,IAAI,YAAY,CAAC,CAAC,CAAC;IAI9B,OAAO,CAAC,eAAe;IAmBvB;;;;OAIG;IACH,MAAM,CAAC,CAAC,SAAS,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAWzE;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAc/D;;OAEG;IACH,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAc/D;;;;;OAKG;IACH,OAAO,IAAI,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAkBvE;;;OAGG;IACH,QAAQ,IAAI,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1C,QAAQ,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAkBzE;;;;OAIG;IACH,KAAK,CAAC,KAAK,SAAS,QAAQ,EAC1B,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1B,OAAO,CAAC,EAAE,YAAY,GAAG;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,GAC9C,YAAY,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1C,KAAK,CAAC,KAAK,SAAS,QAAQ,EAC1B,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1B,OAAO,EAAE,YAAY,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAC3C,YAAY,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACzC,KAAK,CAAC,KAAK,SAAS,QAAQ,EAC1B,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAC1B,OAAO,EAAE,YAAY,GAAG;QAAE,QAAQ,EAAE,OAAO,CAAA;KAAE,GAC5C,YAAY,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAuD1C;;;OAGG;IACH,QAAQ,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAChC,SAAS,EAAE,CAAC,GACX,YAAY,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAmBrC"}

package/dist/src/builders/object.js

@@ -0,0 +1,263 @@
+import { Schema } from "./schema.js";
+export class ObjectSchema extends Schema {
+    shape;
+    constructor(shape, node) {
+        super(node ?? {
+            kind: "object",
+            fields: mapShapeToFields(shape),
+            unknownKeys: "strict",
+        });
+        this.shape = shape;
+    }
+    clone(node) {
+        return new ObjectSchema(this.shape, node);
+    }
+    /** Access the original shape map (preserves subclass-specific methods). */
+    get fields() {
+        return this.shape;
+    }
+    // ---- Unknown-key policy (strict is the default) ----
+    strict() {
+        return this.withUnknownKeys("strict");
+    }
+    stripUnknown() {
+        return this.withUnknownKeys("stripUnknown");
+    }
+    passthrough() {
+        return this.withUnknownKeys("passthrough");
+    }
+    withUnknownKeys(policy) {
+        const current = this.node;
+        return new ObjectSchema(this.shape, {
+            ...current,
+            unknownKeys: policy,
+        });
+    }
+    // ===========================================================================
+    // Composition operators (v0.5) — see docs/COMPOSITION.md for the contract.
+    //
+    // All operators:
+    //  - return a NEW ObjectSchema (no mutation)
+    //  - drop top-level metadata (id / version / description / deprecated) —
+    //    callers must re-tag the composed result
+    //  - preserve field-level metadata
+    //  - fail loudly on collisions / unknown keys / missing keys
+    // ===========================================================================
+    /**
+     * Add new fields to this object. Decision #1: throws if any key in the
+     * extension already exists in the base. To deliberately replace a field,
+     * use {@link override}.
+     */
+    extend(extension) {
+        const collisions = Object.keys(extension).filter((k) => k in this.shape);
+        if (collisions.length > 0) {
+            throw new Error(`ObjectSchema.extend: key${collisions.length === 1 ? "" : "s"} already exists in base — ${formatKeys(collisions)}. Use .override() to replace deliberately, or .merge() with an explicit conflict policy.`);
+        }
+        const newShape = { ...this.shape, ...extension };
+        return composedObject(newShape, currentUnknownKeys(this.node));
+    }
+    /**
+     * Keep only the named keys. Decision #5: throws on any key not in the base.
+     */
+    pick(keys) {
+        assertMaskKeysInShape("pick", keys, this.shape);
+        const newShape = {};
+        for (const key of Object.keys(keys)) {
+            if (keys[key] === true) {
+                newShape[key] = this.shape[key];
+            }
+        }
+        return composedObject(newShape, currentUnknownKeys(this.node));
+    }
+    /**
+     * Drop the named keys. Decision #5: throws on any key not in the base.
+     */
+    omit(keys) {
+        assertMaskKeysInShape("omit", keys, this.shape);
+        const newShape = {};
+        for (const key of Object.keys(this.shape)) {
+            if (keys[key] !== true) {
+                newShape[key] = this.shape[key];
+            }
+        }
+        return composedObject(newShape, currentUnknownKeys(this.node));
+    }
+    partial(keys) {
+        if (keys !== undefined)
+            assertMaskKeysInShape("partial", keys, this.shape);
+        const newShape = {};
+        for (const key of Object.keys(this.shape)) {
+            const affected = keys === undefined || keys[key] === true;
+            newShape[key] = affected
+                ? makePartial(this.shape[key])
+                : this.shape[key];
+        }
+        return composedObject(newShape, currentUnknownKeys(this.node));
+    }
+    required(keys) {
+        if (keys !== undefined)
+            assertMaskKeysInShape("required", keys, this.shape);
+        const newShape = {};
+        for (const key of Object.keys(this.shape)) {
+            const affected = keys === undefined || keys[key] === true;
+            newShape[key] = affected
+                ? makeRequired(this.shape[key])
+                : this.shape[key];
+        }
+        return composedObject(newShape, currentUnknownKeys(this.node));
+    }
+    // Implementation signature — wider than any single overload because the
+    // narrowed return types from the overloads (MergeThrowShape /
+    // MergeLeftShape / MergeRightShape) aren't assignable to each other under
+    // ObjectSchema's private-field-induced invariance. `any` here is the
+    // pragmatic escape; callers only see the typed overloads.
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    merge(other, options = {}) {
+        const conflictPolicy = options.conflict ?? "throw";
+        const unknownPolicy = options.unknownKeys ?? "throw";
+        const otherShape = other.fields;
+        // Field-level resolution
+        const newShape = { ...this.shape };
+        const fieldCollisions = [];
+        for (const key of Object.keys(otherShape)) {
+            if (key in this.shape) {
+                if (conflictPolicy === "throw") {
+                    fieldCollisions.push(key);
+                }
+                else if (conflictPolicy === "right") {
+                    newShape[key] = otherShape[key];
+                }
+                // "left" → keep existing
+            }
+            else {
+                newShape[key] = otherShape[key];
+            }
+        }
+        if (fieldCollisions.length > 0) {
+            throw new Error(`ObjectSchema.merge: field${fieldCollisions.length === 1 ? "" : "s"} ${formatKeys(fieldCollisions)} ${fieldCollisions.length === 1 ? "exists" : "exist"} in both operands. Pass { conflict: "left" } or { conflict: "right" } to resolve.`);
+        }
+        // unknownKeys resolution
+        const leftPolicy = currentUnknownKeys(this.node);
+        const rightPolicy = currentUnknownKeys(other.node);
+        let resolvedPolicy;
+        if (leftPolicy === rightPolicy) {
+            resolvedPolicy = leftPolicy;
+        }
+        else if (unknownPolicy === "throw") {
+            throw new Error(`ObjectSchema.merge: unknownKeys policies differ — left is "${leftPolicy}", right is "${rightPolicy}". Pass { unknownKeys: "left" } or { unknownKeys: "right" } to resolve.`);
+        }
+        else if (unknownPolicy === "left") {
+            resolvedPolicy = leftPolicy;
+        }
+        else {
+            resolvedPolicy = rightPolicy;
+        }
+        return composedObject(newShape, resolvedPolicy);
+    }
+    /**
+     * Replace existing fields' schemas. Decision #2: throws if any key in the
+     * override is NOT in the base. To add new fields, use {@link extend}.
+     */
+    override(overrides) {
+        const unknown = Object.keys(overrides).filter((k) => !(k in this.shape));
+        if (unknown.length > 0) {
+            throw new Error(`ObjectSchema.override: key${unknown.length === 1 ? "" : "s"} ${formatKeys(unknown)} ${unknown.length === 1 ? "does" : "do"} not exist in base. Use .extend() to add new fields.`);
+        }
+        const newShape = { ...this.shape };
+        for (const key of Object.keys(overrides)) {
+            const replacement = overrides[key];
+            if (replacement !== undefined) {
+                newShape[key] = replacement;
+            }
+        }
+        return composedObject(newShape, currentUnknownKeys(this.node));
+    }
+}
+// ===========================================================================
+// helpers
+// ===========================================================================
+function mapShapeToFields(shape) {
+    const out = {};
+    for (const key of Object.keys(shape)) {
+        const field = shape[key];
+        out[key] = field.node;
+    }
+    return out;
+}
+function currentUnknownKeys(node) {
+    return node.unknownKeys;
+}
+function formatKeys(keys) {
+    return keys.map((k) => `'${k}'`).join(", ");
+}
+function assertMaskKeysInShape(op, mask, shape) {
+    const unknown = Object.keys(mask).filter((k) => !(k in shape));
+    if (unknown.length > 0) {
+        throw new Error(`ObjectSchema.${op}: key${unknown.length === 1 ? "" : "s"} ${formatKeys(unknown)} ${unknown.length === 1 ? "does" : "do"} not exist in base shape.`);
+    }
+}
+/**
+ * Construct a composed ObjectSchema. Decision #11: drops all top-level
+ * metadata so consumers re-tag explicitly via `.id()` / `.version()` /
+ * `.describe()`.
+ */
+function composedObject(shape, unknownKeys) {
+    const fields = {};
+    for (const key of Object.keys(shape)) {
+        fields[key] = shape[key].node;
+    }
+    const node = {
+        kind: "object",
+        fields,
+        unknownKeys,
+    };
+    return new ObjectSchema(shape, node);
+}
+// ===========================================================================
+// Field-level mutators for partial / required (operate on an AnySchema
+// instance by producing a new instance with adjusted modifiers + node).
+// ===========================================================================
+/**
+ * Build a partial version of a field: sets optional, strips default.
+ * Reaches in via the field's `node` and a new clone with adjusted modifiers.
+ * The underlying Schema subclass's `clone` builds the correct instance type.
+ */
+function makePartial(field) {
+    const oldMods = field.node.modifiers ?? {};
+    // Strip default; set optional (always true for partial).
+    const newMods = {
+        ...oldMods,
+        optional: true,
+    };
+    delete newMods.default;
+    // Use the type-system escape hatch: clone is protected, but we own the
+    // composition flow and need to reach in to swap modifiers cleanly.
+    const newNode = withModifiers(field.node, newMods);
+    return cloneField(field, newNode);
+}
+function makeRequired(field) {
+    const oldMods = field.node.modifiers ?? {};
+    const newMods = { ...oldMods };
+    delete newMods.optional;
+    delete newMods.default;
+    const newNode = withModifiers(field.node, newMods);
+    return cloneField(field, newNode);
+}
+function withModifiers(node, modifiers) {
+    const next = { ...node, modifiers };
+    // If the modifiers object is now empty, drop the key to match v0.1's
+    // "modifiers undefined when none set" convention. Keeps IR canonical.
+    if (Object.keys(modifiers).length === 0) {
+        delete next.modifiers;
+    }
+    return next;
+}
+/**
+ * Type-system gymnastic: Schema's `clone` is protected. We bridge via an
+ * exposed helper on Schema. (Defined as a static-ish utility colocated here
+ * to keep composition concerns visible in one place.)
+ */
+function cloneField(field, node) {
+    return field.clone(node);
+}
+//# sourceMappingURL=object.js.map

package/dist/src/builders/object.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../src/builders/object.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,MAAM,EAAkB,MAAM,aAAa,CAAC;AAqBrD,MAAM,OAAO,YAAiC,SAAQ,MAKrD;IAEoB;IADnB,YACmB,KAAQ,EACzB,IAAiB;QAEjB,KAAK,CACH,IAAI,IAAI;YACN,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC;YAC/B,WAAW,EAAE,QAAQ;SACtB,CACF,CAAC;QATe,UAAK,GAAL,KAAK,CAAG;IAU3B,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,YAAY,CAAI,IAAI,CAAC,KAAK,EAAE,IAAkB,CAAS,CAAC;IACrE,CAAC;IAED,2EAA2E;IAC3E,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,uDAAuD;IAEvD,MAAM;QACJ,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;IAC9C,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IAEO,eAAe,CAAC,MAAyB;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAkB,CAAC;QACxC,OAAO,IAAI,YAAY,CAAI,IAAI,CAAC,KAAK,EAAE;YACrC,GAAG,OAAO;YACV,WAAW,EAAE,MAAM;SACpB,CAAC,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,2EAA2E;IAC3E,EAAE;IACF,iBAAiB;IACjB,6CAA6C;IAC7C,yEAAyE;IACzE,6CAA6C;IAC7C,mCAAmC;IACnC,6DAA6D;IAC7D,8EAA8E;IAE9E;;;;OAIG;IACH,MAAM,CAAqB,SAAY;QACrC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,2BAA2B,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,6BAA6B,UAAU,CAAC,UAAU,CAAC,0FAA0F,CAC3M,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,SAAS,EAAuB,CAAC;QACtE,OAAO,cAAc,CAAC,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,IAAI,CAAoB,IAAO;QAC7B,qBAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,GAAc,CAAC,KAAK,IAAI,EAAE,CAAC;gBAClC,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;YACnC,CAAC;QACH,CAAC;QACD,OAAO,cAAc,CACnB,QAA2B,EAC3B,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,IAAI,CAAoB,IAAO;QAC7B,qBAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,GAAc,CAAC,KAAK,IAAI,EAAE,CAAC;gBAClC,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;YACnC,CAAC;QACH,CAAC;QACD,OAAO,cAAc,CACnB,QAA2B,EAC3B,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;IACJ,CAAC;IAUD,OAAO,CACL,IAAQ;QAER,IAAI,IAAI,KAAK,SAAS;YAAE,qBAAqB,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAc,CAAC,KAAK,IAAI,CAAC;YACrE,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ;gBACtB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;gBAC/B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;QACvB,CAAC;QACD,OAAO,cAAc,CACnB,QAA2B,EAC3B,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;IACJ,CAAC;IAQD,QAAQ,CACN,IAAQ;QAER,IAAI,IAAI,KAAK,SAAS;YAAE,qBAAqB,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAc,CAAC,KAAK,IAAI,CAAC;YACrE,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ;gBACtB,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;gBAChC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;QACvB,CAAC;QACD,OAAO,cAAc,CACnB,QAA4B,EAC5B,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;IACJ,CAAC;IAmBD,wEAAwE;IACxE,8DAA8D;IAC9D,0EAA0E;IAC1E,qEAAqE;IACrE,0DAA0D;IAC1D,8DAA8D;IAC9D,KAAK,CACH,KAA0B,EAC1B,UAAwB,EAAE;QAE1B,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC;QACnD,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC;QACrD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;QAEhC,yBAAyB;QACzB,MAAM,QAAQ,GAAa,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7C,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1C,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACtB,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;oBAC/B,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC5B,CAAC;qBAAM,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;oBACtC,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAE,CAAC;gBACnC,CAAC;gBACD,yBAAyB;YAC3B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAE,CAAC;YACnC,CAAC;QACH,CAAC;QACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,4BAA4B,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,UAAU,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,mFAAmF,CAC3O,CAAC;QACJ,CAAC;QAED,yBAAyB;QACzB,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,cAAiC,CAAC;QACtC,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;YAC/B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;aAAM,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,8DAA8D,UAAU,gBAAgB,WAAW,yEAAyE,CAC7K,CAAC;QACJ,CAAC;aAAM,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;YACpC,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QAED,OAAO,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAClD,CAAC;IAED;;;OAGG;IACH,QAAQ,CACN,SAAY;QAEZ,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,6BAA6B,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,sDAAsD,CAClL,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAa,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,SAAS,CAAC,GAAc,CAAC,CAAC;YAC9C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,WAAwB,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,OAAO,cAAc,CACnB,QAA+B,EAC/B,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;IACJ,CAAC;CACF;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,gBAAgB,CACvB,KAAQ;IAER,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAc,CAAC;QACtC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,OAAQ,IAAmB,CAAC,WAAW,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,IAAc;IAChC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,qBAAqB,CAC5B,EAA4C,EAC5C,IAAa,EACb,KAAQ;IAER,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,gBAAgB,EAAE,QAAQ,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,2BAA2B,CACpJ,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CACrB,KAAQ,EACR,WAA8B;IAE9B,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,GAAI,KAAK,CAAC,GAAG,CAAe,CAAC,IAAI,CAAC;IAC/C,CAAC;IACD,MAAM,IAAI,GAAe;QACvB,IAAI,EAAE,QAAQ;QACd,MAAM;QACN,WAAW;KACZ,CAAC;IACF,OAAO,IAAI,YAAY,CAAI,KAAK,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,8EAA8E;AAC9E,uEAAuE;AACvE,wEAAwE;AACxE,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,WAAW,CAAC,KAAgB;IACnC,MAAM,OAAO,GAAkB,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAC1D,yDAAyD;IACzD,MAAM,OAAO,GAAkB;QAC7B,GAAG,OAAO;QACV,QAAQ,EAAE,IAAI;KACf,CAAC;IACF,OAAO,OAAO,CAAC,OAAO,CAAC;IACvB,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,YAAY,CAAC,KAAgB;IACpC,MAAM,OAAO,GAAkB,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAC1D,MAAM,OAAO,GAAkB,EAAE,GAAG,OAAO,EAAE,CAAC;IAC9C,OAAO,OAAO,CAAC,QAAQ,CAAC;IACxB,OAAO,OAAO,CAAC,OAAO,CAAC;IACvB,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,aAAa,CAAC,IAAgB,EAAE,SAAwB;IAC/D,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,SAAS,EAAgB,CAAC;IAClD,qEAAqE;IACrE,sEAAsE;IACtE,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,OAAQ,IAAsC,CAAC,SAAS,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,KAAgB,EAAE,IAAgB;IAKpD,OAAQ,KAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC"}

package/dist/src/builders/primitives.d.ts

@@ -0,0 +1,37 @@
+import type { BooleanNode, EnumNode, JsonValue, LiteralNode, NumberNode, SchemaNode, StringNode } from "../ir/nodes.js";
+import { Schema } from "./schema.js";
+export declare class StringSchema extends Schema<string, string, "required", "required"> {
+    constructor(node?: StringNode);
+    protected clone(node: SchemaNode): this;
+    min(length: number): StringSchema;
+    max(length: number): StringSchema;
+    length(length: number): StringSchema;
+    regex(pattern: RegExp): StringSchema;
+    email(): StringSchema;
+    uuid(): StringSchema;
+    url(): StringSchema;
+}
+export declare class NumberSchema extends Schema<number, number, "required", "required"> {
+    constructor(node?: NumberNode);
+    protected clone(node: SchemaNode): this;
+    int(): NumberSchema;
+    min(value: number): NumberSchema;
+    max(value: number): NumberSchema;
+    gt(value: number): NumberSchema;
+    lt(value: number): NumberSchema;
+    multipleOf(value: number): NumberSchema;
+}
+export declare class BooleanSchema extends Schema<boolean, boolean, "required", "required"> {
+    constructor(node?: BooleanNode);
+    protected clone(node: SchemaNode): this;
+}
+export declare class LiteralSchema<T extends JsonValue> extends Schema<T, T, "required", "required"> {
+    constructor(node: LiteralNode<T>);
+    protected clone(node: SchemaNode): this;
+}
+export declare class EnumSchema<T extends string | number> extends Schema<T, T, "required", "required"> {
+    constructor(node: EnumNode<T>);
+    protected clone(node: SchemaNode): this;
+    get values(): readonly T[];
+}
+//# sourceMappingURL=primitives.d.ts.map

package/dist/src/builders/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/builders/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EACX,QAAQ,EACR,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,EACV,UAAU,EACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAIrC,qBAAa,YAAa,SAAQ,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC;gBAClE,IAAI,GAAE,UAA+B;IAIjD,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAIvC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQjC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQjC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQpC,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY;IAQpC,KAAK,IAAI,YAAY;IAIrB,IAAI,IAAI,YAAY;IAIpB,GAAG,IAAI,YAAY;CAGpB;AAID,qBAAa,YAAa,SAAQ,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC;gBAClE,IAAI,GAAE,UAA+B;IAIjD,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAIvC,GAAG,IAAI,YAAY;IAInB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY;IAQhC,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY;IAQhC,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY;IAQ/B,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY;IAQ/B,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY;CAOxC;AAID,qBAAa,aAAc,SAAQ,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC;gBACrE,IAAI,GAAE,WAAiC;IAInD,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;CAGxC;AAID,qBAAa,aAAa,CAAC,CAAC,SAAS,SAAS,CAAE,SAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC;gBAC9E,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAIhC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;CAGxC;AAID,qBAAa,UAAU,CACrB,CAAC,SAAS,MAAM,GAAG,MAAM,CACzB,SAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC;gBAChC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAI7B,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAIvC,IAAI,MAAM,IAAI,SAAS,CAAC,EAAE,CAEzB;CACF"}

package/dist/src/builders/primitives.js

@@ -0,0 +1,125 @@
+import { Schema } from "./schema.js";
+// ---------- string ----------
+export class StringSchema extends Schema {
+    constructor(node = { kind: "string" }) {
+        super(node);
+    }
+    clone(node) {
+        return new StringSchema(node);
+    }
+    min(length) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "minLength",
+            params: { value: length },
+        });
+    }
+    max(length) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "maxLength",
+            params: { value: length },
+        });
+    }
+    length(length) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "length",
+            params: { value: length },
+        });
+    }
+    regex(pattern) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "regex",
+            params: { source: pattern.source, flags: pattern.flags },
+        });
+    }
+    email() {
+        return this.withRefinement({ kind: "portable", name: "email" });
+    }
+    uuid() {
+        return this.withRefinement({ kind: "portable", name: "uuid" });
+    }
+    url() {
+        return this.withRefinement({ kind: "portable", name: "url" });
+    }
+}
+// ---------- number ----------
+export class NumberSchema extends Schema {
+    constructor(node = { kind: "number" }) {
+        super(node);
+    }
+    clone(node) {
+        return new NumberSchema(node);
+    }
+    int() {
+        return this.withRefinement({ kind: "portable", name: "int" });
+    }
+    min(value) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "min",
+            params: { value },
+        });
+    }
+    max(value) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "max",
+            params: { value },
+        });
+    }
+    gt(value) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "gt",
+            params: { value },
+        });
+    }
+    lt(value) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "lt",
+            params: { value },
+        });
+    }
+    multipleOf(value) {
+        return this.withRefinement({
+            kind: "portable",
+            name: "multipleOf",
+            params: { value },
+        });
+    }
+}
+// ---------- boolean ----------
+export class BooleanSchema extends Schema {
+    constructor(node = { kind: "boolean" }) {
+        super(node);
+    }
+    clone(node) {
+        return new BooleanSchema(node);
+    }
+}
+// ---------- literal ----------
+export class LiteralSchema extends Schema {
+    constructor(node) {
+        super(node);
+    }
+    clone(node) {
+        return new LiteralSchema(node);
+    }
+}
+// ---------- enum ----------
+export class EnumSchema extends Schema {
+    constructor(node) {
+        super(node);
+    }
+    clone(node) {
+        return new EnumSchema(node);
+    }
+    get values() {
+        return this.node.values;
+    }
+}
+//# sourceMappingURL=primitives.js.map

package/dist/src/builders/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../src/builders/primitives.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,+BAA+B;AAE/B,MAAM,OAAO,YAAa,SAAQ,MAA8C;IAC9E,YAAY,OAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC/C,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,YAAY,CAAC,IAAkB,CAAS,CAAC;IACtD,CAAC;IAED,GAAG,CAAC,MAAc;QAChB,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,MAAc;QAChB,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,OAAe;QACnB,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;SACzD,CAAC,CAAC;IACL,CAAC;IAED,KAAK;QACH,OAAO,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;CACF;AAED,+BAA+B;AAE/B,MAAM,OAAO,YAAa,SAAQ,MAA8C;IAC9E,YAAY,OAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC/C,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,YAAY,CAAC,IAAkB,CAAS,CAAC;IACtD,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,GAAG,CAAC,KAAa;QACf,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,EAAE,KAAK,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,KAAa;QACf,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,EAAE,KAAK,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,KAAa;QACd,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,EAAE,KAAK,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,KAAa;QACd,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,EAAE,KAAK,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,OAAO,IAAI,CAAC,cAAc,CAAC;YACzB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,EAAE,KAAK,EAAE;SAClB,CAAC,CAAC;IACL,CAAC;CACF;AAED,gCAAgC;AAEhC,MAAM,OAAO,aAAc,SAAQ,MAAgD;IACjF,YAAY,OAAoB,EAAE,IAAI,EAAE,SAAS,EAAE;QACjD,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,aAAa,CAAC,IAAmB,CAAS,CAAC;IACxD,CAAC;CACF;AAED,gCAAgC;AAEhC,MAAM,OAAO,aAAmC,SAAQ,MAAoC;IAC1F,YAAY,IAAoB;QAC9B,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,aAAa,CAAI,IAAsB,CAAS,CAAC;IAC9D,CAAC;CACF;AAED,6BAA6B;AAE7B,MAAM,OAAO,UAEX,SAAQ,MAAoC;IAC5C,YAAY,IAAiB;QAC3B,KAAK,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IAES,KAAK,CAAC,IAAgB;QAC9B,OAAO,IAAI,UAAU,CAAI,IAAmB,CAAS,CAAC;IACxD,CAAC;IAED,IAAI,MAAM;QACR,OAAQ,IAAI,CAAC,IAAoB,CAAC,MAAM,CAAC;IAC3C,CAAC;CACF"}

package/dist/src/builders/s.d.ts

@@ -0,0 +1,27 @@
+import type { JsonValue } from "../ir/nodes.js";
+import { ArraySchema } from "./array.js";
+import { ObjectSchema } from "./object.js";
+import { BooleanSchema, EnumSchema, LiteralSchema, NumberSchema, StringSchema } from "./primitives.js";
+import type { AnySchema } from "./schema.js";
+import type { Infer as InferType, Input as InputType, Output as OutputType, RawShape } from "../types.js";
+/**
+ * The `s` namespace is the public DSL surface. Builders produce IR; type
+ * helpers (`s.infer`, `s.input`, `s.output`) extract static types. Keep the
+ * runtime and type sides aligned — adding a new builder requires no type
+ * helper change, but the existence of new IR node kinds may require it.
+ */
+export declare const s: {
+    string(): StringSchema;
+    number(): NumberSchema;
+    boolean(): BooleanSchema;
+    literal<T extends JsonValue>(value: T): LiteralSchema<T>;
+    enum<T extends readonly [string, ...string[]] | readonly [number, ...number[]]>(values: T): EnumSchema<T[number]>;
+    array<E extends AnySchema>(element: E): ArraySchema<E>;
+    object<S extends RawShape>(shape: S): ObjectSchema<S>;
+};
+export declare namespace s {
+    type infer<T> = InferType<T>;
+    type input<T> = InputType<T>;
+    type output<T> = OutputType<T>;
+}
+//# sourceMappingURL=s.d.ts.map

package/dist/src/builders/s.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"s.d.ts","sourceRoot":"","sources":["../../../src/builders/s.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,EACb,YAAY,EACZ,YAAY,EACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EACV,KAAK,IAAI,SAAS,EAClB,KAAK,IAAI,SAAS,EAClB,MAAM,IAAI,UAAU,EACpB,QAAQ,EACT,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,eAAO,MAAM,CAAC;cACF,YAAY;cAIZ,YAAY;eAIX,aAAa;YAIhB,CAAC,SAAS,SAAS,SAAS,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC;SAInD,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,UACpE,CAAC,GACR,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;UAUlB,CAAC,SAAS,SAAS,WAAW,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC;WAI/C,CAAC,SAAS,QAAQ,SAAS,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC;CAGtD,CAAC;AAMF,yBAAiB,CAAC,CAAC;IACjB,KAAY,KAAK,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,KAAY,KAAK,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,KAAY,MAAM,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;CACvC"}

package/dist/src/builders/s.js

@@ -0,0 +1,39 @@
+import { ArraySchema } from "./array.js";
+import { ObjectSchema } from "./object.js";
+import { BooleanSchema, EnumSchema, LiteralSchema, NumberSchema, StringSchema, } from "./primitives.js";
+/**
+ * The `s` namespace is the public DSL surface. Builders produce IR; type
+ * helpers (`s.infer`, `s.input`, `s.output`) extract static types. Keep the
+ * runtime and type sides aligned — adding a new builder requires no type
+ * helper change, but the existence of new IR node kinds may require it.
+ */
+export const s = {
+    string() {
+        return new StringSchema();
+    },
+    number() {
+        return new NumberSchema();
+    },
+    boolean() {
+        return new BooleanSchema();
+    },
+    literal(value) {
+        return new LiteralSchema({ kind: "literal", value });
+    },
+    enum(values) {
+        if (values.length === 0) {
+            throw new Error("s.enum() requires at least one value");
+        }
+        return new EnumSchema({
+            kind: "enum",
+            values: values,
+        });
+    },
+    array(element) {
+        return new ArraySchema(element);
+    },
+    object(shape) {
+        return new ObjectSchema(shape);
+    },
+};
+//# sourceMappingURL=s.js.map

package/dist/src/builders/s.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"s.js","sourceRoot":"","sources":["../../../src/builders/s.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,EACb,YAAY,EACZ,YAAY,GACb,MAAM,iBAAiB,CAAC;AASzB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,CAAC,GAAG;IACf,MAAM;QACJ,OAAO,IAAI,YAAY,EAAE,CAAC;IAC5B,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,YAAY,EAAE,CAAC;IAC5B,CAAC;IAED,OAAO;QACL,OAAO,IAAI,aAAa,EAAE,CAAC;IAC7B,CAAC;IAED,OAAO,CAAsB,KAAQ;QACnC,OAAO,IAAI,aAAa,CAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,IAAI,CACF,MAAS;QAET,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,IAAI,UAAU,CAAY;YAC/B,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,MAA8B;SACvC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAsB,OAAU;QACnC,OAAO,IAAI,WAAW,CAAI,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,CAAqB,KAAQ;QACjC,OAAO,IAAI,YAAY,CAAI,KAAK,CAAC,CAAC;IACpC,CAAC;CACF,CAAC"}