zod-aot 0.11.0 → 0.12.0

package/dist/core/codegen/context.d.ts

@@ -1,9 +1,11 @@
-import type { SchemaIR } from "../types.js";
+import type { BigIntCheckIR, CheckIR, DateCheckIR, SchemaIR } from "../types.js";
 export interface CodeGenResult {
     code: string;
     functionDef: string;
     /** Number of fallback schemas referenced by __fb[N] in the generated code. 0 = no fallbacks. */
     fallbackCount: number;
+    /** Auxiliary function definitions (e.g. __fastCheck_* for recursiveRef). Emitted before the main function. */
+    auxiliaryFunctions?: string[];
 }
 export interface CodeGenContext {
     preamble: string[];
@@ -25,4 +27,9 @@ export declare function escapeString(s: string): string;
  * e.g. "function safeParse_User(input){..." -> "safeParse_User"
  */
 export declare function extractFunctionName(functionDef: string): string;
+/**
+ * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
+ * Used as `[...ir.checks].sort(checkPriority)`.
+ */
+export declare function checkPriority(a: CheckIR | BigIntCheckIR | DateCheckIR, b: CheckIR | BigIntCheckIR | DateCheckIR): number;
 //# sourceMappingURL=context.d.ts.map

package/dist/core/codegen/context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG,CACjC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,CAAC;AAGZ,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K;;;GAGG;AACH,wBAAgB,IAAI,CAClB,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,GAChD,MAAM,CAOR;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAM/D"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEjF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC;IACtB,8GAA8G;IAC9G,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG,CACjC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,CAAC;AAGZ,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K;;;GAGG;AACH,wBAAgB,IAAI,CAClB,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,GAChD,MAAM,CAOR;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAM/D;AA6BD;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,EACxC,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,GACvC,MAAM,CAER"}

package/dist/core/codegen/context.js

@@ -29,4 +29,37 @@ export function extractFunctionName(functionDef) {
     }
     return match[1];
 }
+const CHECK_PRIORITY = {
+    // Cheapest: length/size comparisons (O(1))
+    min_length: 10,
+    max_length: 11,
+    length_equals: 12,
+    min_size: 13,
+    max_size: 14,
+    // Number format checks (comparison + bitwise)
+    number_format: 15,
+    // Range comparisons
+    greater_than: 20,
+    less_than: 21,
+    bigint_greater_than: 20,
+    bigint_less_than: 21,
+    date_greater_than: 22,
+    date_less_than: 23,
+    // Modulo
+    multiple_of: 30,
+    bigint_multiple_of: 30,
+    // String search (O(n))
+    includes: 40,
+    starts_with: 41,
+    ends_with: 42,
+    // Regex (most expensive)
+    string_format: 50,
+};
+/**
+ * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
+ * Used as `[...ir.checks].sort(checkPriority)`.
+ */
+export function checkPriority(a, b) {
+    return (CHECK_PRIORITY[a.kind] ?? 99) - (CHECK_PRIORITY[b.kind] ?? 99);
+}
 //# sourceMappingURL=context.js.map

package/dist/core/codegen/context.js.map

@@ -1 +1 @@
-{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAuBA,qEAAqE;AACrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAE3K;;;GAGG;AACH,MAAM,UAAU,IAAI,CAClB,OAA6B,EAC7B,GAAG,MAA8C;IAEjD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IACrD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAyBA,qEAAqE;AACrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAE3K;;;GAGG;AACH,MAAM,UAAU,IAAI,CAClB,OAA6B,EAC7B,GAAG,MAA8C;IAEjD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IACrD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,cAAc,GAA2B;IAC7C,2CAA2C;IAC3C,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,EAAE;IACd,aAAa,EAAE,EAAE;IACjB,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,EAAE;IACZ,8CAA8C;IAC9C,aAAa,EAAE,EAAE;IACjB,oBAAoB;IACpB,YAAY,EAAE,EAAE;IAChB,SAAS,EAAE,EAAE;IACb,mBAAmB,EAAE,EAAE;IACvB,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,EAAE;IAClB,SAAS;IACT,WAAW,EAAE,EAAE;IACf,kBAAkB,EAAE,EAAE;IACtB,uBAAuB;IACvB,QAAQ,EAAE,EAAE;IACZ,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,yBAAyB;IACzB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAwC,EACxC,CAAwC;IAExC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC"}

package/dist/core/codegen/fast-check.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Fast Path generator: produces a boolean expression string for eligible schemas.
+ * When the expression evaluates to `true` at runtime, the input is valid and
+ * safeParse can return success immediately without allocating an issues array.
+ *
+ * Returns `null` if the schema is not eligible for Fast Path (contains coerce,
+ * default, catch, date, set/map, transform, refine, or other non-pure constructs).
+ */
+import type { SchemaIR } from "../types.js";
+import type { CodeGenContext } from "./context.js";
+/**
+ * Generate a boolean expression string that validates `inputExpr` against the schema.
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
+ */
+export declare function generateFastCheck(ir: SchemaIR, inputExpr: string, ctx: CodeGenContext): string | null;
+//# sourceMappingURL=fast-check.d.ts.map

package/dist/core/codegen/fast-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fast-check.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/fast-check.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAaV,QAAQ,EAIT,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAGnD;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,GAAG,IAAI,CA6Ff"}

package/dist/core/codegen/fast-check.js

@@ -0,0 +1,406 @@
+/**
+ * Fast Path generator: produces a boolean expression string for eligible schemas.
+ * When the expression evaluates to `true` at runtime, the input is valid and
+ * safeParse can return success immediately without allocating an issues array.
+ *
+ * Returns `null` if the schema is not eligible for Fast Path (contains coerce,
+ * default, catch, date, set/map, transform, refine, or other non-pure constructs).
+ */
+import { checkPriority, EMAIL_REGEX_SOURCE, escapeString, UUID_REGEX_SOURCE } from "./context.js";
+/**
+ * Generate a boolean expression string that validates `inputExpr` against the schema.
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
+ */
+export function generateFastCheck(ir, inputExpr, ctx) {
+    switch (ir.type) {
+        // ── Trivially eligible ──────────────────────────────────────────────
+        case "any":
+        case "unknown":
+            return "true";
+        // ── NOT ELIGIBLE ────────────────────────────────────────────────────
+        case "fallback":
+        case "default":
+        case "catch":
+        case "date":
+        case "set":
+        case "map":
+            return null;
+        // ── Primitives with coerce check ────────────────────────────────────
+        case "string":
+            if (ir.coerce)
+                return null;
+            return fastCheckString(ir, inputExpr, ctx);
+        case "number":
+            if (ir.coerce)
+                return null;
+            return fastCheckNumber(ir, inputExpr, ctx);
+        case "boolean":
+            if (ir.coerce)
+                return null;
+            return `typeof ${inputExpr}==="boolean"`;
+        case "bigint":
+            if (ir.coerce)
+                return null;
+            return fastCheckBigInt(ir, inputExpr);
+        // ── Simple type checks ──────────────────────────────────────────────
+        case "null":
+            return `${inputExpr}===null`;
+        case "undefined":
+            return `${inputExpr}===undefined`;
+        case "symbol":
+            return `typeof ${inputExpr}==="symbol"`;
+        case "void":
+            return `${inputExpr}===undefined`;
+        case "nan":
+            return `typeof ${inputExpr}==="number"&&Number.isNaN(${inputExpr})`;
+        case "never":
+            return "false";
+        // ── Literal ─────────────────────────────────────────────────────────
+        case "literal":
+            return fastCheckLiteral(ir, inputExpr);
+        // ── Enum ────────────────────────────────────────────────────────────
+        case "enum":
+            return fastCheckEnum(ir, inputExpr, ctx);
+        // ── Template literal ────────────────────────────────────────────────
+        case "templateLiteral": {
+            const regexVar = `__re_tl_${ctx.counter++}`;
+            ctx.preamble.push(`var ${regexVar}=new RegExp(${escapeString(ir.pattern)});`);
+            return `typeof ${inputExpr}==="string"&&${regexVar}.test(${inputExpr})`;
+        }
+        // ── Containers ──────────────────────────────────────────────────────
+        case "object":
+            return fastCheckObject(ir, inputExpr, ctx);
+        case "array":
+            return fastCheckArray(ir, inputExpr, ctx);
+        case "tuple":
+            return fastCheckTuple(ir, inputExpr, ctx);
+        case "record":
+            return fastCheckRecord(ir, inputExpr, ctx);
+        // ── Modifiers ───────────────────────────────────────────────────────
+        case "optional":
+            return fastCheckOptional(ir, inputExpr, ctx);
+        case "nullable":
+            return fastCheckNullable(ir, inputExpr, ctx);
+        case "readonly":
+            return fastCheckReadonly(ir, inputExpr, ctx);
+        case "pipe":
+            return fastCheckPipe(ir, inputExpr, ctx);
+        // ── Unions & Intersections ──────────────────────────────────────────
+        case "union":
+            return fastCheckUnion(ir, inputExpr, ctx);
+        case "discriminatedUnion":
+            return fastCheckDiscriminatedUnion(ir, inputExpr, ctx);
+        case "intersection":
+            return fastCheckIntersection(ir, inputExpr, ctx);
+        // ── recursiveRef ────────────────────────────────────────────────────
+        case "recursiveRef":
+            // recursiveRef needs auxiliary function generation, handled separately
+            // For now, mark as ineligible; Step 2 will add support
+            return null;
+    }
+}
+// ─── String ─────────────────────────────────────────────────────────────────
+function fastCheckString(ir, x, ctx) {
+    const parts = [`typeof ${x}==="string"`];
+    for (const check of [...ir.checks].sort(checkPriority)) {
+        switch (check.kind) {
+            case "min_length":
+                parts.push(`${x}.length>=${check.minimum}`);
+                break;
+            case "max_length":
+                parts.push(`${x}.length<=${check.maximum}`);
+                break;
+            case "length_equals":
+                parts.push(`${x}.length===${check.length}`);
+                break;
+            case "includes":
+                parts.push(check.position !== undefined
+                    ? `${x}.includes(${escapeString(check.includes)},${check.position})`
+                    : `${x}.includes(${escapeString(check.includes)})`);
+                break;
+            case "starts_with":
+                parts.push(`${x}.startsWith(${escapeString(check.prefix)})`);
+                break;
+            case "ends_with":
+                parts.push(`${x}.endsWith(${escapeString(check.suffix)})`);
+                break;
+            case "string_format": {
+                if (check.format === "email") {
+                    const v = `__re_email_${ctx.counter++}`;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(EMAIL_REGEX_SOURCE)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else if (check.format === "url") {
+                    // URL validation uses try/catch — not a pure expression, ineligible
+                    return null;
+                }
+                else if (check.format === "uuid") {
+                    const v = `__re_uuid_${ctx.counter++}`;
+                    const pat = check.pattern ?? UUID_REGEX_SOURCE;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(pat)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else if (check.format === "regex" && check.pattern) {
+                    const v = `__re_${ctx.counter++}`;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(check.pattern)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else if (check.pattern) {
+                    const v = `__re_${ctx.counter++}`;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(check.pattern)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else {
+                    // Unknown format without pattern — can't generate fast check
+                    return null;
+                }
+                break;
+            }
+        }
+    }
+    return parts.join("&&");
+}
+// ─── Number ─────────────────────────────────────────────────────────────────
+function fastCheckNumber(ir, x, _ctx) {
+    const parts = [
+        `typeof ${x}==="number"`,
+        `!Number.isNaN(${x})`,
+        `Number.isFinite(${x})`,
+    ];
+    for (const check of [...ir.checks].sort(checkPriority)) {
+        switch (check.kind) {
+            case "number_format":
+                switch (check.format) {
+                    case "safeint":
+                        parts.push(`Number.isSafeInteger(${x})`);
+                        break;
+                    case "int32":
+                        parts.push(`(${x}|0)===${x}`);
+                        break;
+                    case "uint32":
+                        parts.push(`${x}>=0`, `${x}<=4294967295`, `(${x}>>>0)===${x}`);
+                        break;
+                    case "float32":
+                        parts.push(`Math.fround(${x})===${x}`);
+                        break;
+                    case "float64":
+                        // All finite numbers are valid float64
+                        break;
+                }
+                break;
+            case "greater_than":
+                parts.push(check.inclusive ? `${x}>=${check.value}` : `${x}>${check.value}`);
+                break;
+            case "less_than":
+                parts.push(check.inclusive ? `${x}<=${check.value}` : `${x}<${check.value}`);
+                break;
+            case "multiple_of":
+                parts.push(`${x}%${check.value}===0`);
+                break;
+            case "min_length":
+            case "max_length":
+            case "length_equals":
+            case "string_format":
+            case "includes":
+            case "starts_with":
+            case "ends_with":
+                // String-only checks on a number schema — shouldn't happen, skip
+                break;
+        }
+    }
+    return parts.join("&&");
+}
+// ─── BigInt ─────────────────────────────────────────────────────────────────
+function fastCheckBigInt(ir, x) {
+    const parts = [`typeof ${x}==="bigint"`];
+    for (const check of [...ir.checks].sort(checkPriority)) {
+        switch (check.kind) {
+            case "bigint_greater_than":
+                parts.push(check.inclusive ? `${x}>=${check.value}n` : `${x}>${check.value}n`);
+                break;
+            case "bigint_less_than":
+                parts.push(check.inclusive ? `${x}<=${check.value}n` : `${x}<${check.value}n`);
+                break;
+            case "bigint_multiple_of":
+                parts.push(`${x}%${check.value}n===0n`);
+                break;
+        }
+    }
+    return parts.join("&&");
+}
+// ─── Literal ────────────────────────────────────────────────────────────────
+function fastCheckLiteral(ir, x) {
+    if (ir.values.length === 1) {
+        return `${x}===${JSON.stringify(ir.values[0])}`;
+    }
+    // Wrap in parens — || has lower precedence than && in parent expressions
+    return `(${ir.values.map((v) => `${x}===${JSON.stringify(v)}`).join("||")})`;
+}
+// ─── Enum ───────────────────────────────────────────────────────────────────
+function fastCheckEnum(ir, x, ctx) {
+    if (ir.values.length <= 3) {
+        // Inline equality checks for small enums, wrapped in parens for precedence safety
+        return `(${ir.values.map((v) => `${x}===${escapeString(v)}`).join("||")})`;
+    }
+    // Use Set for larger enums
+    const setVar = `__enumSet_${ctx.counter++}`;
+    ctx.preamble.push(`var ${setVar}=new Set(${JSON.stringify(ir.values)});`);
+    return `${setVar}.has(${x})`;
+}
+// ─── Object ─────────────────────────────────────────────────────────────────
+function fastCheckObject(ir, x, ctx) {
+    const parts = [`typeof ${x}==="object"`, `${x}!==null`, `!Array.isArray(${x})`];
+    for (const [key, propIR] of Object.entries(ir.properties)) {
+        const propExpr = `${x}[${escapeString(key)}]`;
+        const propCheck = generateFastCheck(propIR, propExpr, ctx);
+        if (propCheck === null)
+            return null; // All-or-nothing
+        parts.push(propCheck);
+    }
+    return parts.join("&&");
+}
+// ─── Array ──────────────────────────────────────────────────────────────────
+function fastCheckArray(ir, x, ctx) {
+    const parts = [`Array.isArray(${x})`];
+    // Size checks
+    for (const check of [...ir.checks].sort(checkPriority)) {
+        switch (check.kind) {
+            case "min_length":
+                parts.push(`${x}.length>=${check.minimum}`);
+                break;
+            case "max_length":
+                parts.push(`${x}.length<=${check.maximum}`);
+                break;
+            case "length_equals":
+                parts.push(`${x}.length===${check.length}`);
+                break;
+        }
+    }
+    // Element validation via .every()
+    const elemVar = `__fe_${ctx.counter++}`;
+    const elemCheck = generateFastCheck(ir.element, elemVar, ctx);
+    if (elemCheck === null)
+        return null;
+    if (elemCheck !== "true") {
+        parts.push(`${x}.every(${elemVar}=>${elemCheck})`);
+    }
+    return parts.join("&&");
+}
+// ─── Tuple ──────────────────────────────────────────────────────────────────
+function fastCheckTuple(ir, x, ctx) {
+    const parts = [`Array.isArray(${x})`];
+    if (ir.rest === null) {
+        parts.push(`${x}.length===${ir.items.length}`);
+    }
+    else {
+        parts.push(`${x}.length>=${ir.items.length}`);
+    }
+    // Per-index checks
+    for (let i = 0; i < ir.items.length; i++) {
+        const itemIR = ir.items[i];
+        if (!itemIR)
+            continue;
+        const itemCheck = generateFastCheck(itemIR, `${x}[${i}]`, ctx);
+        if (itemCheck === null)
+            return null;
+        if (itemCheck !== "true")
+            parts.push(itemCheck);
+    }
+    // Rest element
+    if (ir.rest !== null) {
+        const rv = `__tr_${ctx.counter++}`;
+        const restCheck = generateFastCheck(ir.rest, rv, ctx);
+        if (restCheck === null)
+            return null;
+        if (restCheck !== "true") {
+            parts.push(`${x}.slice(${ir.items.length}).every(${rv}=>${restCheck})`);
+        }
+    }
+    return parts.join("&&");
+}
+// ─── Record ─────────────────────────────────────────────────────────────────
+function fastCheckRecord(ir, x, ctx) {
+    const parts = [`typeof ${x}==="object"`, `${x}!==null`, `!Array.isArray(${x})`];
+    const kv = `__rk_${ctx.counter++}`;
+    const keyCheck = generateFastCheck(ir.keyType, kv, ctx);
+    const valCheck = generateFastCheck(ir.valueType, `${x}[${kv}]`, ctx);
+    if (keyCheck === null || valCheck === null)
+        return null;
+    const conditions = [];
+    if (keyCheck !== "true")
+        conditions.push(keyCheck);
+    if (valCheck !== "true")
+        conditions.push(valCheck);
+    if (conditions.length > 0) {
+        parts.push(`Object.keys(${x}).every(${kv}=>${conditions.join("&&")})`);
+    }
+    return parts.join("&&");
+}
+// ─── Optional ───────────────────────────────────────────────────────────────
+function fastCheckOptional(ir, x, ctx) {
+    const inner = generateFastCheck(ir.inner, x, ctx);
+    if (inner === null)
+        return null;
+    return `(${x}===undefined||(${inner}))`;
+}
+// ─── Nullable ───────────────────────────────────────────────────────────────
+function fastCheckNullable(ir, x, ctx) {
+    const inner = generateFastCheck(ir.inner, x, ctx);
+    if (inner === null)
+        return null;
+    return `(${x}===null||(${inner}))`;
+}
+// ─── Readonly ───────────────────────────────────────────────────────────────
+function fastCheckReadonly(ir, x, ctx) {
+    return generateFastCheck(ir.inner, x, ctx);
+}
+// ─── Pipe ───────────────────────────────────────────────────────────────────
+function fastCheckPipe(ir, x, ctx) {
+    // Only eligible if `out` is the same as `in` (non-transform pipe)
+    // We check `in` only — if the pipe has a transform, `out` would be a fallback
+    const inCheck = generateFastCheck(ir.in, x, ctx);
+    if (inCheck === null)
+        return null;
+    // Check if out schema is eligible (non-fallback)
+    const outCheck = generateFastCheck(ir.out, x, ctx);
+    if (outCheck === null)
+        return null;
+    // Both in and out must pass
+    return inCheck === "true" ? outCheck : outCheck === "true" ? inCheck : `${inCheck}&&${outCheck}`;
+}
+// ─── Union ──────────────────────────────────────────────────────────────────
+function fastCheckUnion(ir, x, ctx) {
+    const optionChecks = [];
+    for (const option of ir.options) {
+        const check = generateFastCheck(option, x, ctx);
+        if (check === null)
+            return null;
+        optionChecks.push(`(${check})`);
+    }
+    // Wrap in parens — || has lower precedence than && in parent expressions
+    return `(${optionChecks.join("||")})`;
+}
+// ─── Discriminated Union ────────────────────────────────────────────────────
+function fastCheckDiscriminatedUnion(ir, x, ctx) {
+    // Generate checks for each branch, keyed by discriminator value
+    const branchChecks = [];
+    for (const option of ir.options) {
+        const check = generateFastCheck(option, x, ctx);
+        if (check === null)
+            return null;
+        branchChecks.push(`(${check})`);
+    }
+    // Combine as || chain, wrapped for precedence safety
+    return `(${branchChecks.join("||")})`;
+}
+// ─── Intersection ───────────────────────────────────────────────────────────
+function fastCheckIntersection(ir, x, ctx) {
+    const left = generateFastCheck(ir.left, x, ctx);
+    if (left === null)
+        return null;
+    const right = generateFastCheck(ir.right, x, ctx);
+    if (right === null)
+        return null;
+    return left === "true" ? right : right === "true" ? left : `${left}&&${right}`;
+}
+//# sourceMappingURL=fast-check.js.map

package/dist/core/codegen/fast-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fast-check.js","sourceRoot":"","sources":["../../../src/core/codegen/fast-check.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAqBH,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAElG;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,uEAAuE;QACvE,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAEhB,uEAAuE;QACvE,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QAEd,uEAAuE;QACvE,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,SAAS;YACZ,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,UAAU,SAAS,cAAc,CAAC;QAC3C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAExC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,SAAS,CAAC;QAC/B,KAAK,WAAW;YACd,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,UAAU,SAAS,aAAa,CAAC;QAC1C,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,UAAU,SAAS,6BAA6B,SAAS,GAAG,CAAC;QACtE,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QAEjB,uEAAuE;QACvE,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAEzC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAE3C,uEAAuE;QACvE,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9E,OAAO,UAAU,SAAS,gBAAgB,QAAQ,SAAS,SAAS,GAAG,CAAC;QAC1E,CAAC;QAED,uEAAuE;QACvE,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC5C,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC5C,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAE7C,uEAAuE;QACvE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAE3C,uEAAuE;QACvE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC5C,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACzD,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAEnD,uEAAuE;QACvE,KAAK,cAAc;YACjB,uEAAuE;YACvE,uDAAuD;YACvD,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,+EAA+E;AAE/E,SAAS,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,GAAmB;IACnE,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,QAAQ,KAAK,SAAS;oBAC1B,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG;oBACpE,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CACrD,CAAC;gBACF,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;oBAC7B,MAAM,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACxC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBAC/E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBAClC,oEAAoE;oBACpE,OAAO,IAAI,CAAC;gBACd,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBACnC,MAAM,CAAC,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;oBAC/C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACrD,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,IAAoB;IACpE,MAAM,KAAK,GAAa;QACtB,UAAU,CAAC,aAAa;QACxB,iBAAiB,CAAC,GAAG;QACrB,mBAAmB,CAAC,GAAG;KACxB,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,eAAe;gBAClB,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;wBACzC,MAAM;oBACR,KAAK,OAAO;wBACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;wBAC9B,MAAM;oBACR,KAAK,QAAQ;wBACX,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;wBAC/D,MAAM;oBACR,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;wBACvC,MAAM;oBACR,KAAK,SAAS;wBACZ,uCAAuC;wBACvC,MAAM;gBACV,CAAC;gBACD,MAAM;YACR,KAAK,cAAc;gBACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,aAAa,CAAC;YACnB,KAAK,WAAW;gBACd,iEAAiE;gBACjE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,eAAe,CACtB,EAAmD,EACnD,CAAS;IAET,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,qBAAqB;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,oBAAoB;gBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC;gBACxC,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,gBAAgB,CAAC,EAAa,EAAE,CAAS;IAChD,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,CAAC;IACD,yEAAyE;IACzE,OAAO,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC/E,CAAC;AAED,+EAA+E;AAE/E,SAAS,aAAa,CAAC,EAAU,EAAE,CAAS,EAAE,GAAmB;IAC/D,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC1B,kFAAkF;QAClF,OAAO,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7E,CAAC;IACD,2BAA2B;IAC3B,MAAM,MAAM,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC;AAC/B,CAAC;AAED,+EAA+E;AAE/E,SAAS,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,GAAmB;IACnE,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAE1F,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,iBAAiB;QACtD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,cAAc,CAAC,EAAW,EAAE,CAAS,EAAE,GAAmB;IACjE,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEhD,cAAc;IACd,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACxC,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,OAAO,KAAK,SAAS,GAAG,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,cAAc,CAAC,EAAW,EAAE,CAAS,EAAE,GAAmB;IACjE,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEhD,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,mBAAmB;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;IAED,eAAe;IACf,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QACtD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,MAAM,WAAW,EAAE,KAAK,SAAS,GAAG,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,GAAmB;IACnE,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAE1F,MAAM,EAAE,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAExD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,KAAK,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEnD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,+EAA+E;AAE/E,SAAS,iBAAiB,CAAC,EAAc,EAAE,CAAS,EAAE,GAAmB;IACvE,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,kBAAkB,KAAK,IAAI,CAAC;AAC1C,CAAC;AAED,+EAA+E;AAE/E,SAAS,iBAAiB,CAAC,EAAc,EAAE,CAAS,EAAE,GAAmB;IACvE,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;AACrC,CAAC;AAED,+EAA+E;AAE/E,SAAS,iBAAiB,CAAC,EAAc,EAAE,CAAS,EAAE,GAAmB;IACvE,OAAO,iBAAiB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,+EAA+E;AAE/E,SAAS,aAAa,CAAC,EAAU,EAAE,CAAS,EAAE,GAAmB;IAC/D,kEAAkE;IAClE,8EAA8E;IAC9E,MAAM,OAAO,GAAG,iBAAiB,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,iDAAiD;IACjD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,4BAA4B;IAC5B,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,QAAQ,EAAE,CAAC;AACnG,CAAC;AAED,+EAA+E;AAE/E,SAAS,cAAc,CAAC,EAAW,EAAE,CAAS,EAAE,GAAmB;IACjE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,yEAAyE;IACzE,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC;AAED,+EAA+E;AAE/E,SAAS,2BAA2B,CAClC,EAAwB,EACxB,CAAS,EACT,GAAmB;IAEnB,gEAAgE;IAChE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,qDAAqD;IACrD,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC;AAED,+EAA+E;AAE/E,SAAS,qBAAqB,CAAC,EAAkB,EAAE,CAAS,EAAE,GAAmB;IAC/E,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;AACjF,CAAC"}

package/dist/core/codegen/generators/bigint.js

@@ -1,4 +1,4 @@
-import { emit } from "../context.js";
+import { checkPriority, emit } from "../context.js";
 export function generateBigIntValidation(ir, inputExpr, pathExpr, issuesVar, _ctx) {
     let code = "";
     if (ir.coerce) {
@@ -10,7 +10,7 @@ export function generateBigIntValidation(ir, inputExpr, pathExpr, issuesVar, _ct
     }`;
     if (ir.checks.length > 0) {
         code += `else{`;
-        for (const check of ir.checks) {
+        for (const check of [...ir.checks].sort(checkPriority)) {
             switch (check.kind) {
                 case "bigint_greater_than":
                     if (check.inclusive) {

package/dist/core/codegen/generators/bigint.js.map

@@ -1 +1 @@
-{"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/bigint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,SAAS,WAAW,SAAS,eAAe,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;MAC3F,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,qBAAqB;oBACxB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC9H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,2BAA2B,SAAS,SAAS,QAAQ;cACpH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/bigint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAEpD,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,SAAS,WAAW,SAAS,eAAe,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;MAC3F,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,qBAAqB;oBACxB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC9H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,kBAAkB;oBACrB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,2CAA2C,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,oBAAoB;oBACvB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,2BAA2B,SAAS,SAAS,QAAQ;cACpH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/enum.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC/B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,CAQR"}
+{"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC/B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,CAiBR"}

package/dist/core/codegen/generators/enum.js

@@ -1,5 +1,14 @@
-import { emit } from "../context.js";
+import { emit, escapeString } from "../context.js";
 export function generateEnumValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
+    if (ir.values.length <= 3) {
+        // Inline equality checks for small enums (avoids Set allocation in preamble)
+        const condition = ir.values.map((v) => `${inputExpr}!==${escapeString(v)}`).join("&&");
+        return `${emit `
+      if(${condition}){
+        ${issuesVar}.push({code:"invalid_value",values:${JSON.stringify(ir.values)},input:${inputExpr},path:${pathExpr}});
+      }
+    `}\n`;
+    }
     const setVar = `__enumSet_${ctx.counter++}`;
     ctx.preamble.push(`var ${setVar}=new Set(${JSON.stringify(ir.values)});`);
     return `${emit `

package/dist/core/codegen/generators/enum.js.map

@@ -1 +1 @@
-{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/enum.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,MAAM,MAAM,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,GAAG,IAAI,CAAA;UACN,MAAM,QAAQ,SAAS;QACzB,SAAS,sCAAsC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;;GAEjH,IAAI,CAAC;AACR,CAAC"}
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/enum.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC1B,6EAA6E;QAC7E,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,SAAS,MAAM,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,OAAO,GAAG,IAAI,CAAA;WACP,SAAS;UACV,SAAS,sCAAsC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;;KAEjH,IAAI,CAAC;IACR,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,GAAG,IAAI,CAAA;UACN,MAAM,QAAQ,SAAS;QACzB,SAAS,sCAAsC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;;GAEjH,IAAI,CAAC;AACR,CAAC"}

package/dist/core/codegen/generators/number.js

@@ -1,4 +1,4 @@
-import { emit } from "../context.js";
+import { checkPriority, emit } from "../context.js";
 export function generateNumberValidation(ir, inputExpr, pathExpr, issuesVar, _ctx) {
     let code = "";
     if (ir.coerce) {
@@ -14,7 +14,7 @@ export function generateNumberValidation(ir, inputExpr, pathExpr, issuesVar, _ct
     }`;
     if (ir.checks.length > 0) {
         code += `else{`;
-        for (const check of ir.checks) {
+        for (const check of [...ir.checks].sort(checkPriority)) {
             switch (check.kind) {
                 case "greater_than":
                     if (check.inclusive) {

package/dist/core/codegen/generators/number.js.map

@@ -1 +1 @@
-{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/number.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAErC,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,SAAS,WAAW,SAAS,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;4BACrE,SAAS;QAC7B,SAAS,qEAAqE,SAAS,SAAS,QAAQ;gCAChF,SAAS;QACjC,SAAS,0EAA0E,SAAS,SAAS,QAAQ;MAC/G,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,cAAc;oBACjB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC1H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC/B,IAAI,IAAI,IAAI,CAAA;yCACiB,SAAS;kBAChC,SAAS,oEAAoE,SAAS,SAAS,QAAQ;gBACzG,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBACpC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,kEAAkE,SAAS,SAAS,QAAQ;yBAC9F,SAAS;kBAChB,SAAS,oFAAoF,SAAS,SAAS,QAAQ;yBAChH,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACrC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,mEAAmE,SAAS,SAAS,QAAQ;yBAC/F,SAAS;kBAChB,SAAS,0EAA0E,SAAS,SAAS,QAAQ;yBACtG,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBACtC,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS;kBACV,SAAS,gGAAgG,SAAS,SAAS,QAAQ;yBAC5H,SAAS;kBAChB,SAAS,6FAA6F,SAAS,SAAS,QAAQ;gBAClI,CAAC;oBACP,CAAC;oBACD,sGAAsG;oBACtG,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,0BAA0B,SAAS,SAAS,QAAQ;cACnH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/number.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAEpD,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,SAAS,WAAW,SAAS,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;4BACrE,SAAS;QAC7B,SAAS,qEAAqE,SAAS,SAAS,QAAQ;gCAChF,SAAS;QACjC,SAAS,0EAA0E,SAAS,SAAS,QAAQ;MAC/G,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,cAAc;oBACjB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC1H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC/B,IAAI,IAAI,IAAI,CAAA;yCACiB,SAAS;kBAChC,SAAS,oEAAoE,SAAS,SAAS,QAAQ;gBACzG,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBACpC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,kEAAkE,SAAS,SAAS,QAAQ;yBAC9F,SAAS;kBAChB,SAAS,oFAAoF,SAAS,SAAS,QAAQ;yBAChH,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACrC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,mEAAmE,SAAS,SAAS,QAAQ;yBAC/F,SAAS;kBAChB,SAAS,0EAA0E,SAAS,SAAS,QAAQ;yBACtG,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBACtC,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS;kBACV,SAAS,gGAAgG,SAAS,SAAS,QAAQ;yBAC5H,SAAS;kBAChB,SAAS,6FAA6F,SAAS,SAAS,QAAQ;gBAClI,CAAC;oBACP,CAAC;oBACD,sGAAsG;oBACtG,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,0BAA0B,SAAS,SAAS,QAAQ;cACnH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/string.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/string.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,CA0FR"}
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/string.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AASpD,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,CA0FR"}

package/dist/core/codegen/generators/string.js

@@ -1,4 +1,4 @@
-import { EMAIL_REGEX_SOURCE, emit, escapeString, UUID_REGEX_SOURCE } from "../context.js";
+import { checkPriority, EMAIL_REGEX_SOURCE, emit, escapeString, UUID_REGEX_SOURCE, } from "../context.js";
 export function generateStringValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
     let code = "";
     if (ir.coerce) {
@@ -10,7 +10,7 @@ export function generateStringValidation(ir, inputExpr, pathExpr, issuesVar, ctx
     }`;
     if (ir.checks.length > 0) {
         code += `else{`;
-        for (const check of ir.checks) {
+        for (const check of [...ir.checks].sort(checkPriority)) {
             switch (check.kind) {
                 case "min_length":
                     code += emit `

package/dist/core/codegen/generators/string.js.map

@@ -1 +1 @@
-{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/string.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAE1F,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,SAAS,WAAW,SAAS,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;MAC3F,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,WAAW,KAAK,CAAC,OAAO;gBAClC,SAAS,mCAAmC,KAAK,CAAC,OAAO,yCAAyC,SAAS,SAAS,QAAQ;cAC9H,CAAC;oBACL,MAAM;gBACR,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,WAAW,KAAK,CAAC,OAAO;gBAClC,SAAS,iCAAiC,KAAK,CAAC,OAAO,yCAAyC,SAAS,SAAS,QAAQ;cAC5H,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,WAAW,KAAK,CAAC,MAAM;gBACjC,SAAS,mCAAmC,KAAK,CAAC,MAAM,oDAAoD,SAAS,SAAS,QAAQ;uBAC/H,SAAS,WAAW,KAAK,CAAC,MAAM;gBACvC,SAAS,iCAAiC,KAAK,CAAC,MAAM,oDAAoD,SAAS,SAAS,QAAQ;cACtI,CAAC;oBACL,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,IAAI,IAAI,CAAA;kBACJ,SAAS,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC/G,SAAS,2DAA2D,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,SAAS,SAAS,QAAQ;cACtI,CAAC;oBACL,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;kBACJ,SAAS,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBACpD,SAAS,4DAA4D,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;cACrI,CAAC;oBACL,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,IAAI,IAAI,CAAA;kBACJ,SAAS,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBAClD,SAAS,0DAA0D,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;cACnI,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,IAAI,QAAgB,CAAC;oBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBAC7B,QAAQ,GAAG,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACzC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBACxF,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;wBACrD,QAAQ,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACnC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACnF,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;wBAClC,IAAI,IAAI,IAAI,CAAA;uFAC+D,SAAS;kBAC9E,SAAS,mDAAmD,SAAS,SAAS,QAAQ;gBACxF,CAAC;wBACL,SAAS;oBACX,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;wBACnC,QAAQ,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACxC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;wBACvD,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;oBACjF,CAAC;yBAAM,CAAC;wBACN,QAAQ,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACnC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;4BAClB,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACnF,CAAC;6BAAM,CAAC;4BACN,SAAS;wBACX,CAAC;oBACH,CAAC;oBACD,IAAI,IAAI,IAAI,CAAA;kBACJ,QAAQ,SAAS,SAAS;gBAC5B,SAAS,uCAAuC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,QAAQ,qCAAqC,SAAS,SAAS,QAAQ;cAC/J,CAAC;oBACL,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/string.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,IAAI,EACJ,YAAY,EACZ,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,SAAS,WAAW,SAAS,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;MAC3F,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,WAAW,KAAK,CAAC,OAAO;gBAClC,SAAS,mCAAmC,KAAK,CAAC,OAAO,yCAAyC,SAAS,SAAS,QAAQ;cAC9H,CAAC;oBACL,MAAM;gBACR,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,WAAW,KAAK,CAAC,OAAO;gBAClC,SAAS,iCAAiC,KAAK,CAAC,OAAO,yCAAyC,SAAS,SAAS,QAAQ;cAC5H,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,WAAW,KAAK,CAAC,MAAM;gBACjC,SAAS,mCAAmC,KAAK,CAAC,MAAM,oDAAoD,SAAS,SAAS,QAAQ;uBAC/H,SAAS,WAAW,KAAK,CAAC,MAAM;gBACvC,SAAS,iCAAiC,KAAK,CAAC,MAAM,oDAAoD,SAAS,SAAS,QAAQ;cACtI,CAAC;oBACL,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,IAAI,IAAI,CAAA;kBACJ,SAAS,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC/G,SAAS,2DAA2D,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,SAAS,SAAS,QAAQ;cACtI,CAAC;oBACL,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;kBACJ,SAAS,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBACpD,SAAS,4DAA4D,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;cACrI,CAAC;oBACL,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,IAAI,IAAI,CAAA;kBACJ,SAAS,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBAClD,SAAS,0DAA0D,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,SAAS,SAAS,QAAQ;cACnI,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,IAAI,QAAgB,CAAC;oBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBAC7B,QAAQ,GAAG,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACzC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBACxF,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;wBACrD,QAAQ,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACnC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACnF,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;wBAClC,IAAI,IAAI,IAAI,CAAA;uFAC+D,SAAS;kBAC9E,SAAS,mDAAmD,SAAS,SAAS,QAAQ;gBACxF,CAAC;wBACL,SAAS;oBACX,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;wBACnC,QAAQ,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACxC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;wBACvD,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;oBACjF,CAAC;yBAAM,CAAC;wBACN,QAAQ,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;wBACnC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;4BAClB,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACnF,CAAC;6BAAM,CAAC;4BACN,SAAS;wBACX,CAAC;oBACH,CAAC;oBACD,IAAI,IAAI,IAAI,CAAA;kBACJ,QAAQ,SAAS,SAAS;gBAC5B,SAAS,uCAAuC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,QAAQ,qCAAqC,SAAS,SAAS,QAAQ;cAC/J,CAAC;oBACL,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/index.d.ts

@@ -1,6 +1,7 @@
 import type { SchemaIR } from "../types.js";
 import type { CodeGenResult } from "./context.js";
 export type { CodeGenResult } from "./context.js";
+export { generateFastCheck } from "./fast-check.js";
 /**
  * Generate optimized validation code from SchemaIR.
  *

package/dist/core/codegen/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAkB,aAAa,EAAE,MAAM,cAAc,CAAC;AAElE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAsJlD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC,aAAa,CAsBf"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAkB,aAAa,EAAE,MAAM,cAAc,CAAC;AAGlE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAsJpD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACnC,aAAa,CA8Cf"}

package/dist/core/codegen/index.js

@@ -1,3 +1,5 @@
+import { generateFastCheck } from "./fast-check.js";
+export { generateFastCheck } from "./fast-check.js";
 import { generateAnyValidation, generateArrayValidation, generateBigIntValidation, generateBooleanValidation, generateCatchValidation, generateDateValidation, generateDefaultValidation, generateDiscriminatedUnionValidation, generateEnumValidation, generateFallbackValidation, generateIntersectionValidation, generateLiteralValidation, generateMapValidation, generateNanValidation, generateNeverValidation, generateNullableValidation, generateNullValidation, generateNumberValidation, generateObjectValidation, generateOptionalValidation, generatePipeValidation, generateReadonlyValidation, generateRecordValidation, generateRecursiveRefValidation, generateSetValidation, generateStringValidation, generateSymbolValidation, generateTemplateLiteralValidation, generateTupleValidation, generateUndefinedValidation, generateUnionValidation, generateUnknownValidation, generateVoidValidation, } from "./generators/index.js";
 function generateValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
     switch (ir.type) {
@@ -80,22 +82,29 @@ function generateValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
 export function generateValidator(ir, name, options) {
     const fnName = `safeParse_${name}`;
     const ctx = { preamble: [], counter: 0, fnName };
+    // Fast Path: generate a boolean expression for eligible schemas
+    const fastExpr = generateFastCheck(ir, "input", ctx);
     const bodyCode = generateValidation(ir, "input", "[]", "__issues", ctx);
+    const auxiliaryFunctions = [];
     const code = ["/* zod-aot */", ...ctx.preamble].join("\n");
-    const functionDef = [
-        `function ${fnName}(input){`,
-        `var __issues=[];`,
-        bodyCode,
-        `if(__issues.length>0){`,
-        `for(var __fi=0;__fi<__issues.length;__fi++){`,
-        `if(typeof __msg==="function")__issues[__fi].message=__msg(__issues[__fi]);`,
-        `delete __issues[__fi].input;`,
-        `}`,
-        `return{success:false,error:{issues:__issues}};`,
-        `}`,
-        `return{success:true,data:input};`,
-        `}`,
-    ].join("\n");
-    return { code, functionDef, fallbackCount: options?.fallbackCount ?? 0 };
+    const functionDefParts = [`function ${fnName}(input){`];
+    // Prepend fast path guard if eligible
+    if (fastExpr !== null && fastExpr !== "true") {
+        functionDefParts.push(`if(${fastExpr}){return{success:true,data:input};}`);
+    }
+    else if (fastExpr === "true") {
+        // Schema always succeeds (any/unknown) — skip slow path entirely
+        functionDefParts.push(`return{success:true,data:input};`);
+        functionDefParts.push(`}`);
+        return {
+            code,
+            functionDef: functionDefParts.join("\n"),
+            fallbackCount: options?.fallbackCount ?? 0,
+            auxiliaryFunctions,
+        };
+    }
+    functionDefParts.push(`var __issues=[];`, bodyCode, `if(__issues.length>0){`, `for(var __fi=0;__fi<__issues.length;__fi++){`, `if(typeof __msg==="function")__issues[__fi].message=__msg(__issues[__fi]);`, `delete __issues[__fi].input;`, `}`, `return{success:false,error:{issues:__issues}};`, `}`, `return{success:true,data:input};`, `}`);
+    const functionDef = functionDefParts.join("\n");
+    return { code, functionDef, fallbackCount: options?.fallbackCount ?? 0, auxiliaryFunctions };
 }
 //# sourceMappingURL=index.js.map

package/dist/core/codegen/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,oCAAoC,EACpC,sBAAsB,EACtB,0BAA0B,EAC1B,8BAA8B,EAC9B,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,uBAAuB,EACvB,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,EACxB,0BAA0B,EAC1B,sBAAsB,EACtB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,EAC9B,qBAAqB,EACrB,wBAAwB,EACxB,wBAAwB,EACxB,iCAAiC,EACjC,uBAAuB,EACvB,2BAA2B,EAC3B,uBAAuB,EACvB,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAE/B,SAAS,kBAAkB,CACzB,EAAY,EACZ,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,WAAW;YACd,OAAO,2BAA2B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACrE,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACzE,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/F,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxE,KAAK,KAAK;YACR,OAAO,qBAAqB,EAAE,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,yBAAyB,EAAE,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpE,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/F,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAChG,KAAK,cAAc;YACjB,OAAO,8BAA8B,CACnC,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO,oCAAoC,CACzC,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC7F,KAAK,cAAc;YACjB,OAAO,8BAA8B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjE,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACpF,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAChG,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,IAAY,EACZ,OAAoC;IAEpC,MAAM,MAAM,GAAG,aAAa,IAAI,EAAE,CAAC;IACnC,MAAM,GAAG,GAAmB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAExE,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG;QAClB,YAAY,MAAM,UAAU;QAC5B,kBAAkB;QAClB,QAAQ;QACR,wBAAwB;QACxB,8CAA8C;QAC9C,4EAA4E;QAC5E,8BAA8B;QAC9B,GAAG;QACH,gDAAgD;QAChD,GAAG;QACH,kCAAkC;QAClC,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/codegen/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAGpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,oCAAoC,EACpC,sBAAsB,EACtB,0BAA0B,EAC1B,8BAA8B,EAC9B,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,uBAAuB,EACvB,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,EACxB,0BAA0B,EAC1B,sBAAsB,EACtB,0BAA0B,EAC1B,wBAAwB,EACxB,8BAA8B,EAC9B,qBAAqB,EACrB,wBAAwB,EACxB,wBAAwB,EACxB,iCAAiC,EACjC,uBAAuB,EACvB,2BAA2B,EAC3B,uBAAuB,EACvB,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAE/B,SAAS,kBAAkB,CACzB,EAAY,EACZ,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,WAAW;YACd,OAAO,2BAA2B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACrE,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACzE,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/F,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxE,KAAK,KAAK;YACR,OAAO,qBAAqB,EAAE,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,yBAAyB,EAAE,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpE,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/F,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAChG,KAAK,cAAc;YACjB,OAAO,8BAA8B,CACnC,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO,oCAAoC,CACzC,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC7F,KAAK,cAAc;YACjB,OAAO,8BAA8B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjE,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACpF,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAChG,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,IAAY,EACZ,OAAoC;IAEpC,MAAM,MAAM,GAAG,aAAa,IAAI,EAAE,CAAC;IACnC,MAAM,GAAG,GAAmB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAEjE,gEAAgE;IAChE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAErD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAExE,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE3D,MAAM,gBAAgB,GAAG,CAAC,YAAY,MAAM,UAAU,CAAC,CAAC;IAExD,sCAAsC;IACtC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7C,gBAAgB,CAAC,IAAI,CAAC,MAAM,QAAQ,qCAAqC,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC/B,iEAAiE;QACjE,gBAAgB,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC1D,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO;YACL,IAAI;YACJ,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC;YAC1C,kBAAkB;SACnB,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,IAAI,CACnB,kBAAkB,EAClB,QAAQ,EACR,wBAAwB,EACxB,8CAA8C,EAC9C,4EAA4E,EAC5E,8BAA8B,EAC9B,GAAG,EACH,gDAAgD,EAChD,GAAG,EACH,kCAAkC,EAClC,GAAG,CACJ,CAAC;IAEF,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEhD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,kBAAkB,EAAE,CAAC;AAC/F,CAAC"}

package/dist/core/iife.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"iife.d.ts","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,sDAAoD,CAAC;AAEnF,+EAA+E;AAC/E,eAAO,MAAM,mBAAmB,4CAA4C,CAAC;AAE7E;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,EAC1B,OAAO,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAAE,GAC5C,MAAM,CAwBR"}
+{"version":3,"file":"iife.d.ts","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,sDAAoD,CAAC;AAEnF,+EAA+E;AAC/E,eAAO,MAAM,mBAAmB,4CAA4C,CAAC;AAE7E;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,EAC1B,OAAO,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAAE,GAC5C,MAAM,CAyBR"}

package/dist/core/iife.js

@@ -28,6 +28,7 @@ export function generateIIFE(schemaExpr, schema, options) {
         ...codegenResult.code
             .split("\n")
             .filter((l) => l.trim() !== "" && l.trim() !== "/* zod-aot */"),
+        ...(codegenResult.auxiliaryFunctions ?? []),
         codegenResult.functionDef,
         `var __w=${init};`,
         `__w.parse=function(input){const r=${fnName}(input);if(r.success)return r.data;throw Object.assign(new Error("Validation failed"),r.error);};`,

package/dist/core/iife.js.map

@@ -1 +1 @@
-{"version":3,"file":"iife.js","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG3D,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,iDAAiD,CAAC;AAEnF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,mBAAmB,GAAG,yCAAyC,CAAC;AAE7E;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAA0B,EAC1B,OAA6C;IAE7C,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,mBAAmB,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,KAAK,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAE/D,OAAO;QACL,0BAA0B;QAC1B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,CAAC,aAAa,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3F,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,aAAa,CAAC,IAAI;aAClB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,eAAe,CAAC;QACjE,aAAa,CAAC,WAAW;QACzB,WAAW,IAAI,GAAG;QAClB,qCAAqC,MAAM,mGAAmG;QAC9I,iBAAiB,MAAM,GAAG;QAC1B,6DAA6D,MAAM,aAAa;QAChF,0CAA0C,MAAM,qIAAqI;QACrL,cAAc,UAAU,GAAG;QAC3B,aAAa;QACb,MAAM;KACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
+{"version":3,"file":"iife.js","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG3D,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAG,iDAAiD,CAAC;AAEnF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,mBAAmB,GAAG,yCAAyC,CAAC;AAE7E;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAA0B,EAC1B,OAA6C;IAE7C,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,mBAAmB,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,KAAK,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAE/D,OAAO;QACL,0BAA0B;QAC1B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,CAAC,aAAa,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3F,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,aAAa,CAAC,IAAI;aAClB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,eAAe,CAAC;QACjE,GAAG,CAAC,aAAa,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC3C,aAAa,CAAC,WAAW;QACzB,WAAW,IAAI,GAAG;QAClB,qCAAqC,MAAM,mGAAmG;QAC9I,iBAAiB,MAAM,GAAG;QAC1B,6DAA6D,MAAM,aAAa;QAChF,0CAA0C,MAAM,qIAAqI;QACrL,cAAc,UAAU,GAAG;QAC3B,aAAa;QACb,MAAM;KACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zod-aot",
-  "version": "0.11.0",
+  "version": "0.12.0",
   "description": "Compile Zod schemas into zero-overhead validation functions at build time",
   "type": "module",
   "keywords": [