zod-aot 0.20.4 → 0.21.0

package/README.md

@@ -150,6 +150,7 @@ npx zod-aot generate src/ --watch
 | Rollup | `import zodAot from "zod-aot/rollup"` |
 | Rolldown | `import zodAot from "zod-aot/rolldown"` |
 | rspack | `import zodAot from "zod-aot/rspack"` |
+| rsbuild | `import zodAot from "zod-aot/rsbuild"` |
 | Bun | `import zodAot from "zod-aot/bun"` |
 | Farm | `import zodAot from "zod-aot/farm"` |
 
@@ -180,9 +181,10 @@ wrapper, issue factories like `__zaTS`/`__zaIT`, and well-known regexes for
 On bundlers that support virtual modules — **Vite, Rollup, Rolldown, esbuild,
 Farm, Bun** — the plugin imports these helpers from
 `virtual:zod-aot/runtime`, so the bundler emits a single bundle-wide copy
-regardless of how many files reference them. webpack and rspack fall back to
-self-contained file-level helpers (a few hundred bytes per file) since they
-reject the `virtual:` URI scheme at the resolver layer.
+regardless of how many files reference them. webpack, rspack, and rsbuild
+reject the `virtual:` URI scheme at the resolver layer, so they import the same
+runtime module through a bare-specifier alias (`__zod-aot-runtime__`) instead —
+still a single deduplicated copy per bundle.
 
 The result: a 5-file project with 10 schemas all using `z.email()` and
 `z.uuid()` produces a bundle where each shared regex appears exactly **once**.

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/dist/unplugin/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/unplugin/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AA8BtD,eAAO,MAAM,QAAQ,+EA2DpB,CAAC;AAEF,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/unplugin/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAoCtD,eAAO,MAAM,QAAQ,+EA2DpB,CAAC;AAEF,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC"}

package/dist/unplugin/index.js

@@ -5,8 +5,9 @@ import { loadVirtual, RESOLVED_RUNTIME_ID, resolveVirtualId, VIRTUAL_RUNTIME_ID,
 /**
  * Frameworks whose resolveId/load hooks receive any import specifier, including
  * `virtual:` URIs and bare specifiers, so lean-mode cross-file dedup works.
- * webpack / rspack reject the `virtual:` URI scheme but accept bare specifiers,
- * so they use WP_RUNTIME_ID (`__zod-aot-runtime__`) instead of VIRTUAL_RUNTIME_ID.
+ * webpack / rspack / rsbuild reject the `virtual:` URI scheme but accept bare
+ * specifiers, so they use WP_RUNTIME_ID (`__zod-aot-runtime__`) instead of
+ * VIRTUAL_RUNTIME_ID.
  */
 const VIRTUAL_MODULE_FRAMEWORKS = new Set([
     "vite",
@@ -17,9 +18,14 @@ const VIRTUAL_MODULE_FRAMEWORKS = new Set([
     "bun",
     "rspack",
     "webpack",
+    "rsbuild",
 ]);
-/** Frameworks that need the bare-specifier runtime ID instead of `virtual:`. */
-const WP_FRAMEWORKS = new Set(["rspack", "webpack"]);
+/**
+ * Frameworks that need the bare-specifier runtime ID instead of `virtual:`.
+ * rsbuild is included because it wraps the rspack plugin internally, inheriting
+ * rspack's rejection of the `virtual:` URI scheme.
+ */
+const WP_FRAMEWORKS = new Set(["rspack", "webpack", "rsbuild"]);
 export const unplugin = createUnplugin((options, meta) => {
     const stats = new BuildStatsAccumulator();
     const cache = new Map();

package/dist/unplugin/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/unplugin/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAA4B,MAAM,UAAU,CAAC;AAEpE,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAErE,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB;;;;;GAKG;AACH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,MAAM;IACN,QAAQ;IACR,UAAU;IACV,SAAS;IACT,MAAM;IACN,KAAK;IACL,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAErD,MAAM,CAAC,MAAM,QAAQ,GAAG,cAAc,CACpC,CAAC,OAAwC,EAAE,IAAyB,EAAE,EAAE;IACtE,MAAM,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAgB,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5F,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,kBAAkB,CAAC;IAEzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAc;QAEvB,SAAS,CAAC,EAAU;YAClB,OAAO,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;QAED,WAAW,CAAC,EAAU;YACpB,OAAO,EAAE,KAAK,mBAAmB,CAAC;QACpC,CAAC;QAED,IAAI,CAAC,EAAU;YACb,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;QAED,gBAAgB,CAAC,EAAU;YACzB,OAAO,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,IAAY,EAAE,EAAU;YACtC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YAE/C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE;gBAC3C,IAAI;gBACJ,SAAS;gBACT,OAAO;gBACP,SAAS,EAAE,OAAO,EAAE,SAAS;gBAC7B,YAAY,EAAE,OAAO,EAAE,YAAY;gBACnC,YAAY,CAAC,CAAC;oBACZ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACf,CAAC;aACF,CAAC,CAAC;YACH,IAAI,CAAC,MAAM;gBAAE,OAAO;YACpB,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACrC,CAAC;QAED,QAAQ;YACN,IAAI,CAAC,OAAO;gBAAE,OAAO;YACrB,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;gBAAE,OAAO;YAChC,GAAG,CACD,kBAAkB,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,6BAA6B,KAAK,CAAC,KAAK,UAAU;gBAClG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CACvD,CAAC;YACF,KAAK,CAAC,KAAK,EAAE,CAAC;YACd,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC,CACF,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/unplugin/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAA4B,MAAM,UAAU,CAAC;AAEpE,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAErE,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB;;;;;;GAMG;AACH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,MAAM;IACN,QAAQ;IACR,UAAU;IACV,SAAS;IACT,MAAM;IACN,KAAK;IACL,QAAQ;IACR,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAEhE,MAAM,CAAC,MAAM,QAAQ,GAAG,cAAc,CACpC,CAAC,OAAwC,EAAE,IAAyB,EAAE,EAAE;IACtE,MAAM,KAAK,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAgB,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5F,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,kBAAkB,CAAC;IAEzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAc;QAEvB,SAAS,CAAC,EAAU;YAClB,OAAO,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;QAED,WAAW,CAAC,EAAU;YACpB,OAAO,EAAE,KAAK,mBAAmB,CAAC;QACpC,CAAC;QAED,IAAI,CAAC,EAAU;YACb,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;QAED,gBAAgB,CAAC,EAAU;YACzB,OAAO,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,IAAY,EAAE,EAAU;YACtC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,MAAM;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YAE/C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE;gBAC3C,IAAI;gBACJ,SAAS;gBACT,OAAO;gBACP,SAAS,EAAE,OAAO,EAAE,SAAS;gBAC7B,YAAY,EAAE,OAAO,EAAE,YAAY;gBACnC,YAAY,CAAC,CAAC;oBACZ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACf,CAAC;aACF,CAAC,CAAC;YACH,IAAI,CAAC,MAAM;gBAAE,OAAO;YACpB,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACtB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACrC,CAAC;QAED,QAAQ;YACN,IAAI,CAAC,OAAO;gBAAE,OAAO;YACrB,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;gBAAE,OAAO;YAChC,GAAG,CACD,kBAAkB,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,6BAA6B,KAAK,CAAC,KAAK,UAAU;gBAClG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CACvD,CAAC;YACF,KAAK,CAAC,KAAK,EAAE,CAAC;YACd,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC,CACF,CAAC"}

package/dist/unplugin/rsbuild.d.ts

@@ -0,0 +1,3 @@
+declare const _default: (options?: import("./types.js").ZodAotPluginOptions | undefined) => any;
+export default _default;
+//# sourceMappingURL=rsbuild.d.ts.map

package/dist/unplugin/rsbuild.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rsbuild.d.ts","sourceRoot":"","sources":["../../src/unplugin/rsbuild.ts"],"names":[],"mappings":";AAEA,wBAAgC"}

package/dist/unplugin/rsbuild.js

@@ -0,0 +1,3 @@
+import { unplugin } from "./index.js";
+export default unplugin.rsbuild;
+//# sourceMappingURL=rsbuild.js.map

package/dist/unplugin/rsbuild.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rsbuild.js","sourceRoot":"","sources":["../../src/unplugin/rsbuild.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,eAAe,QAAQ,CAAC,OAAO,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zod-aot",
-  "version": "0.20.4",
+  "version": "0.21.0",
   "description": "Compile Zod schemas into zero-overhead validation functions at build time",
   "type": "module",
   "keywords": [
@@ -86,20 +86,26 @@
       "source": "./src/unplugin/farm.ts",
       "import": "./dist/unplugin/farm.js",
       "default": "./dist/unplugin/farm.js"
+    },
+    "./rsbuild": {
+      "types": "./dist/unplugin/rsbuild.d.ts",
+      "source": "./src/unplugin/rsbuild.ts",
+      "import": "./dist/unplugin/rsbuild.js",
+      "default": "./dist/unplugin/rsbuild.js"
     }
   },
   "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"}