zod-aot 0.20.4 → 0.20.5

package/dist/core/extract/extractors/union.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAa,MAAM,aAAa,CAAC;AAEvE,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAuBzE"}
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAa,MAAM,aAAa,CAAC;AAgBvE,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CA+BzE"}

package/dist/core/extract/extractors/union.js

@@ -1,21 +1,42 @@
+// The concrete discriminant values a single union option matches. zod's discriminatedUnion
+// accepts either a `literal` (one or more values) or an `enum` (all its members) as the
+// discriminator field. Return null for anything we cannot fully enumerate — the caller then
+// degrades to a plain union rather than silently omitting the option from the O(1) switch.
+function discriminatorValues(field) {
+    const def = field?._zod?.def;
+    if (!def)
+        return null;
+    if (def.type === "literal")
+        return def.values;
+    if (def.type === "enum")
+        return Object.values(def.entries);
+    return null;
+}
 export function extractUnion(def, ctx) {
     if (def.discriminator) {
-        const options = def.options.map((opt, i) => ctx.visit(opt, `._zod.def.options[${i}]`));
         const mapping = {};
+        let fullyMapped = true;
         for (let i = 0; i < def.options.length; i++) {
-            const opt = def.options[i];
-            const optDef = opt._zod.def;
-            if (optDef.type === "object" && optDef.shape) {
-                const discrimField = optDef.shape[def.discriminator];
-                if (discrimField?._zod?.def?.type === "literal") {
-                    const vals = discrimField._zod.def.values;
-                    for (const v of vals) {
-                        mapping[String(v)] = i;
-                    }
-                }
+            const optDef = def.options[i]._zod.def;
+            const values = optDef.type === "object" && optDef.shape
+                ? discriminatorValues(optDef.shape[def.discriminator])
+                : null;
+            // An option whose discriminant we cannot enumerate (e.g. a non-literal/enum field, or a
+            // missing discriminator key) would be dropped from the generated switch, producing a
+            // validator that wrongly rejects that option's inputs. Fall back to a plain union, which
+            // tries every option and is always correct, instead of miscompiling.
+            if (!values) {
+                fullyMapped = false;
+                break;
+            }
+            for (const v of values) {
+                mapping[String(v)] = i;
             }
         }
-        return { type: "discriminatedUnion", discriminator: def.discriminator, options, mapping };
+        if (fullyMapped) {
+            const options = def.options.map((opt, i) => ctx.visit(opt, `._zod.def.options[${i}]`));
+            return { type: "discriminatedUnion", discriminator: def.discriminator, options, mapping };
+        }
     }
     return {
         type: "union",

package/dist/core/extract/extractors/union.js.map

@@ -1 +1 @@
-{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAqB;IAC7D,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QACvF,MAAM,OAAO,GAA2B,EAAE,CAAC;QAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAc,CAAC;YACxC,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAC7C,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBACrD,IAAI,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAChD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,MAAuC,CAAC;oBAC3E,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;wBACrB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBACzB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC5F,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC;KAChF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/union.ts"],"names":[],"mappings":"AAGA,2FAA2F;AAC3F,wFAAwF;AACxF,4FAA4F;AAC5F,2FAA2F;AAC3F,SAAS,mBAAmB,CAC1B,KAA4B;IAE5B,MAAM,GAAG,GAAG,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC;IAC7B,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,MAAM,CAAC;IAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAqB;IAC7D,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACtB,MAAM,OAAO,GAA2B,EAAE,CAAC;QAC3C,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAe,CAAC,IAAI,CAAC,GAAG,CAAC;YACtD,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK;gBACtC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBACtD,CAAC,CAAC,IAAI,CAAC;YACX,wFAAwF;YACxF,qFAAqF;YACrF,yFAAyF;YACzF,qEAAqE;YACrE,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,WAAW,GAAG,KAAK,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QACD,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YACvF,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC5F,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC;KAChF,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zod-aot",
-  "version": "0.20.4",
+  "version": "0.20.5",
   "description": "Compile Zod schemas into zero-overhead validation functions at build time",
   "type": "module",
   "keywords": [
@@ -89,17 +89,17 @@
     }
   },
   "dependencies": {
-    "acorn": "^8.16.0",
+    "acorn": "^8.17.0",
     "get-tsconfig": "^4.14.0",
     "jiti": "^2.7.0",
     "picomatch": "^4.0.4",
-    "unplugin": "^3.0.0"
+    "unplugin": "^3.3.0"
   },
   "peerDependencies": {
     "zod": "^4.0.0"
   },
   "devDependencies": {
-    "@types/node": "^25.9.2",
+    "@types/node": "^26.0.0",
     "@types/picomatch": "^4.0.3",
     "typescript": "^6.0.3",
     "zod": "^4.0.0"

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

@@ -1,4 +0,0 @@
-import type { ArrayIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckArray(ir: ArrayIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=array.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,cAAc,CAC5B,EAAE,EAAE,OAAO,EACX,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CA2Bf"}

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

@@ -1,28 +0,0 @@
-import { checkPriority } from "../context.js";
-export function fastCheckArray(ir, x, ctx, generateFn) {
-    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 = generateFn(ir.element, elemVar, ctx);
-    if (elemCheck === null)
-        return null;
-    if (elemCheck !== "true") {
-        parts.push(`${x}.every(${elemVar}=>${elemCheck})`);
-    }
-    return parts.join("&&");
-}
-//# sourceMappingURL=array.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,cAAc,CAC5B,EAAW,EACX,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,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,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACvD,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"}

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

@@ -1,3 +0,0 @@
-import type { BigIntIR } from "../../types.js";
-export declare function fastCheckBigInt(ir: BigIntIR, x: string): string | null;
-//# sourceMappingURL=bigint.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkBtE"}

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

@@ -1,19 +0,0 @@
-import { checkPriority } from "../context.js";
-export 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("&&");
-}
-//# sourceMappingURL=bigint.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/bigint.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,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"}

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

@@ -1,4 +0,0 @@
-import type { DiscriminatedUnionIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckDiscriminatedUnion(ir: DiscriminatedUnionIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=discriminated-union.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,2BAA2B,CACzC,EAAE,EAAE,oBAAoB,EACxB,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAUf"}

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

@@ -1,13 +0,0 @@
-export function fastCheckDiscriminatedUnion(ir, x, ctx, generateFn) {
-    // Generate checks for each branch, keyed by discriminator value
-    const branchChecks = [];
-    for (const option of ir.options) {
-        const check = generateFn(option, x, ctx);
-        if (check === null)
-            return null;
-        branchChecks.push(`(${check})`);
-    }
-    // Combine as || chain, wrapped for precedence safety
-    return `(${branchChecks.join("||")})`;
-}
-//# sourceMappingURL=discriminated-union.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/discriminated-union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,2BAA2B,CACzC,EAAwB,EACxB,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,gEAAgE;IAChE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,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"}

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

@@ -1,4 +0,0 @@
-import type { EnumIR } from "../../types.js";
-import type { CodeGenContext } from "../context.js";
-export declare function fastCheckEnum(ir: EnumIR, x: string, ctx: CodeGenContext): string;
-//# sourceMappingURL=enum.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,MAAM,CAShF"}

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

@@ -1,12 +0,0 @@
-import { ENUM_INLINE_THRESHOLD, escapeString } from "../context.js";
-export function fastCheckEnum(ir, x, ctx) {
-    if (ir.values.length <= ENUM_INLINE_THRESHOLD) {
-        // 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})`;
-}
-//# sourceMappingURL=enum.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/enum.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEpE,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,CAAS,EAAE,GAAmB;IACtE,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,qBAAqB,EAAE,CAAC;QAC9C,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"}

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

@@ -1,16 +0,0 @@
-/**
- * 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=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmBpD;;;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/index.js

@@ -1,118 +0,0 @@
-/**
- * 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 { escapeString } from "../context.js";
-import { fastCheckArray } from "./array.js";
-import { fastCheckBigInt } from "./bigint.js";
-import { fastCheckDiscriminatedUnion } from "./discriminated-union.js";
-import { fastCheckEnum } from "./enum.js";
-import { fastCheckIntersection } from "./intersection.js";
-import { fastCheckLiteral } from "./literal.js";
-import { fastCheckNullable } from "./nullable.js";
-import { fastCheckNumber } from "./number.js";
-import { fastCheckObject } from "./object.js";
-import { fastCheckOptional } from "./optional.js";
-import { fastCheckPipe } from "./pipe.js";
-import { fastCheckReadonly } from "./readonly.js";
-import { fastCheckRecord } from "./record.js";
-import { fastCheckString } from "./string.js";
-import { fastCheckTuple } from "./tuple.js";
-import { fastCheckUnion } from "./union.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);
-        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, generateFastCheck);
-        case "array":
-            return fastCheckArray(ir, inputExpr, ctx, generateFastCheck);
-        case "tuple":
-            return fastCheckTuple(ir, inputExpr, ctx, generateFastCheck);
-        case "record":
-            return fastCheckRecord(ir, inputExpr, ctx, generateFastCheck);
-        // ── Modifiers ───────────────────────────────────────────────────────
-        case "optional":
-            return fastCheckOptional(ir, inputExpr, ctx, generateFastCheck);
-        case "nullable":
-            return fastCheckNullable(ir, inputExpr, ctx, generateFastCheck);
-        case "readonly":
-            return fastCheckReadonly(ir, inputExpr, ctx, generateFastCheck);
-        case "pipe":
-            return fastCheckPipe(ir, inputExpr, ctx, generateFastCheck);
-        // ── Unions & Intersections ──────────────────────────────────────────
-        case "union":
-            return fastCheckUnion(ir, inputExpr, ctx, generateFastCheck);
-        case "discriminatedUnion":
-            return fastCheckDiscriminatedUnion(ir, inputExpr, ctx, generateFastCheck);
-        case "intersection":
-            return fastCheckIntersection(ir, inputExpr, ctx, generateFastCheck);
-        // ── recursiveRef ────────────────────────────────────────────────────
-        case "recursiveRef":
-            // recursiveRef needs auxiliary function generation, handled separately
-            // For now, mark as ineligible; Step 2 will add support
-            return null;
-    }
-}
-//# sourceMappingURL=index.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C;;;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,CAAC,CAAC;QACxC,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,EAAE,iBAAiB,CAAC,CAAC;QAChE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEhE,uEAAuE;QACvE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAE9D,uEAAuE;QACvE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC5E,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEtE,uEAAuE;QACvE,KAAK,cAAc;YACjB,uEAAuE;YACvE,uDAAuD;YACvD,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

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

@@ -1,4 +0,0 @@
-import type { IntersectionIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckIntersection(ir: IntersectionIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=intersection.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,cAAc,EAClB,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAMf"}

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

@@ -1,10 +0,0 @@
-export function fastCheckIntersection(ir, x, ctx, generateFn) {
-    const left = generateFn(ir.left, x, ctx);
-    if (left === null)
-        return null;
-    const right = generateFn(ir.right, x, ctx);
-    if (right === null)
-        return null;
-    return left === "true" ? right : right === "true" ? left : `${left}&&${right}`;
-}
-//# sourceMappingURL=intersection.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/intersection.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,qBAAqB,CACnC,EAAkB,EAClB,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,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/fast-check/literal.d.ts

@@ -1,3 +0,0 @@
-import type { LiteralIR } from "../../types.js";
-export declare function fastCheckLiteral(ir: LiteralIR, x: string): string;
-//# sourceMappingURL=literal.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAMjE"}

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

@@ -1,8 +0,0 @@
-export 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("||")})`;
-}
-//# sourceMappingURL=literal.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"literal.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/literal.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,gBAAgB,CAAC,EAAa,EAAE,CAAS;IACvD,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"}

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

@@ -1,4 +0,0 @@
-import type { NullableIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckNullable(ir: NullableIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=nullable.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,UAAU,EACd,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAIf"}

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

@@ -1,7 +0,0 @@
-export function fastCheckNullable(ir, x, ctx, generateFn) {
-    const inner = generateFn(ir.inner, x, ctx);
-    if (inner === null)
-        return null;
-    return `(${x}===null||(${inner}))`;
-}
-//# sourceMappingURL=nullable.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/nullable.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAC/B,EAAc,EACd,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;AACrC,CAAC"}

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

@@ -1,3 +0,0 @@
-import type { NumberIR } from "../../types.js";
-export declare function fastCheckNumber(ir: NumberIR, x: string): string | null;
-//# sourceMappingURL=number.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkDtE"}

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

@@ -1,51 +0,0 @@
-import { checkPriority } from "../context.js";
-export function fastCheckNumber(ir, x) {
-    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("&&");
-}
-//# sourceMappingURL=number.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,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"}

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

@@ -1,4 +0,0 @@
-import type { ObjectIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckObject(ir: ObjectIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=object.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,eAAe,CAC7B,EAAE,EAAE,QAAQ,EACZ,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAWf"}

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

@@ -1,13 +0,0 @@
-import { escapeString } from "../context.js";
-export function fastCheckObject(ir, x, ctx, generateFn) {
-    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 = generateFn(propIR, propExpr, ctx);
-        if (propCheck === null)
-            return null; // All-or-nothing
-        parts.push(propCheck);
-    }
-    return parts.join("&&");
-}
-//# sourceMappingURL=object.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,UAAU,eAAe,CAC7B,EAAY,EACZ,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,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,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpD,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"}

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

@@ -1,4 +0,0 @@
-import type { OptionalIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckOptional(ir: OptionalIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=optional.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/optional.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,UAAU,EACd,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAIf"}

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

@@ -1,7 +0,0 @@
-export function fastCheckOptional(ir, x, ctx, generateFn) {
-    const inner = generateFn(ir.inner, x, ctx);
-    if (inner === null)
-        return null;
-    return `(${x}===undefined||(${inner}))`;
-}
-//# sourceMappingURL=optional.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/optional.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAC/B,EAAc,EACd,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,kBAAkB,KAAK,IAAI,CAAC;AAC1C,CAAC"}

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

@@ -1,4 +0,0 @@
-import type { PipeIR } from "../../types.js";
-import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
-export declare function fastCheckPipe(ir: PipeIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
-//# sourceMappingURL=pipe.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/pipe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,aAAa,CAC3B,EAAE,EAAE,MAAM,EACV,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAUf"}

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

@@ -1,14 +0,0 @@
-export function fastCheckPipe(ir, x, ctx, generateFn) {
-    // 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 = generateFn(ir.in, x, ctx);
-    if (inCheck === null)
-        return null;
-    // Check if out schema is eligible (non-fallback)
-    const outCheck = generateFn(ir.out, x, ctx);
-    if (outCheck === null)
-        return null;
-    // Both in and out must pass
-    return inCheck === "true" ? outCheck : outCheck === "true" ? inCheck : `${inCheck}&&${outCheck}`;
-}
-//# sourceMappingURL=pipe.js.map