zod-compiler 2.0.6 → 2.0.8

package/README.md

@@ -2,13 +2,17 @@
 
 **Compile Zod schemas into zero-overhead validation functions at build time.**
 
-Keep your existing Zod schemas. Get **up to 43x faster** validation, and up to **48x** on rejected
+Keep your existing Zod schemas. Get **up to 43x faster** validation, and up to **140x** on rejected
 input. No code changes required.
 
 Requires **Zod ≥ 4.5**; compiled output reproduces 4.5's semantics exactly, so it does not match
 earlier 4.x releases. Use zod-compiler 1.x for Zod 4.0–4.4. An older Zod is refused with an explicit
 error; the build plugin and `jit()` warn once and leave schemas as plain Zod.
 
+Classic `zod` and `zod/mini` schemas compile alike, and `compile()` and `jit()` accept both. A compiled
+schema fails the way its flavor does: classic schemas with `ZodError`, Mini schemas with Zod core's
+`$ZodError`.
+
 - [What Gets Compiled](#what-gets-compiled)
 - [Schema Hoisting](#schema-hoisting)
 - [z.compile vs zod-compiler](#zcompile-vs-zod-compiler)
@@ -26,7 +30,7 @@ loads pre-generated validators.
 |                                        | zod-compiler (build plugins / CLI)           | Zod `z.compile()`                             |
 | -------------------------------------- | -------------------------------------------- | --------------------------------------------- |
 | Compilation                            | Build time (true AOT)                        | Runtime (`z.compile()` or the first parse)    |
-| Reported validation speedup            | Up to 43x; up to 48x on rejected input       | ~9x in Zod's headline example                 |
+| Reported validation speedup            | Up to 43x; up to 140x on rejected input      | ~9x in Zod's headline example                 |
 | Uses `new Function()` at runtime       | No                                           | Yes                                           |
 | Cold start                             | Fast; the validator is already generated     | Pays for code generation at startup/first use |
 | Strict CSP without `'unsafe-eval'`     | Supported                                    | Compilation is unavailable                    |
@@ -548,7 +552,7 @@ A schema delegates to Zod when it reaches JavaScript the generated code cannot r
 | ---------------------------------------------------- | -------------------------------------------------------------------------- |
 | `.check(fn)`, `superRefine` + later checks           | The callback holds Zod's payload unmediated, or `fatal` aborts Zod's chain |
 | `ctx`-taking or `async` callbacks                    | Needs Zod's parse context / the async pipeline                             |
-| `z.url()`, `z.jwt()`                                 | Algorithmic formats (`new URL()`, signature parsing)                       |
+| `z.jwt()`                                            | Algorithmic format (signature parsing)                                     |
 | Overlapping or policy-sensitive object intersections | Zod's independent parse-and-merge semantics cannot be safely collapsed     |
 | `.readonly()` over a pass-through container          | Zod freezes the output it rebuilt; these are the caller's own input        |
 | Dynamic error maps, unresolvable `z.lazy()`          | Not knowable at build time                                                 |
@@ -580,55 +584,55 @@ Schema-level `error` and `z.config()` maps are unaffected; for a per-call map us
 
 | Scenario                                        | Zod v3 | Zod v4 | **zod-compiler** | Typia | AJV   | vs Zod v4 |
 | ----------------------------------------------- | ------ | ------ | ---------------- | ----- | ----- | --------- |
-| simple string                                   | 12.7M  | 15.1M  | **16.5M**        | 17.1M | 17.7M | 1.1x      |
-| string (min/max)                                | 12.5M  | 7.3M   | **16.7M**        | 17.0M | 15.0M | 2.3x      |
-| number (int+positive)                           | 12.0M  | 9.5M   | **16.8M**        | 17.0M | 18.0M | 1.8x      |
-| enum                                            | 11.6M  | 15.1M  | **16.7M**        | 17.3M | 17.5M | 1.1x      |
-| bigint (min/max)                                | 11.5M  | 8.4M   | **16.6M**        | —     | —     | 2.0x      |
-| tuple [string, int, bool]                       | 5.7M   | 7.6M   | **17.5M**        | 17.3M | 16.2M | 2.3x      |
-| record\<string, number\>                        | 3.2M   | 2.6M   | **12.6M**        | 11.8M | 15.1M | 4.9x      |
-| set\<string\> (5 items)                         | 3.6M   | 2.3M   | **15.7M**        | —     | —     | 7.0x      |
-| set\<string\> (20 items)                        | 1.3M   | 679K   | **12.3M**        | —     | —     | **18x**   |
-| map\<string, number\> (5 entries)               | 2.0M   | 1.3M   | **13.4M**        | —     | —     | **10x**   |
-| map\<string, number\> (20 entries)              | 658K   | 348K   | **8.7M**         | —     | —     | **25x**   |
-| pipe (non-transform)                            | 8.9M   | 4.7M   | **17.6M**        | —     | —     | 3.7x      |
-| discriminatedUnion (3 variants)                 | 3.3M   | 5.2M   | **16.3M**        | 15.5M | 7.6M  | 3.1x      |
-| discriminatedUnion (8 variants, rotating)       | 2.6M   | 4.6M   | **10.1M**        | —     | —     | 2.2x      |
-| plain union of 8 tagged objects (auto-discrim.) | 350K   | 1.3M   | **10.4M**        | —     | —     | 7.8x      |
-| strict object (DB row)                          | 1.8M   | 3.0M   | **11.5M**        | —     | —     | 3.9x      |
-| medium object (valid)                           | 2.0M   | 2.3M   | **9.8M**         | 11.4M | 7.6M  | 4.2x      |
-| medium object (extra keys stripped)             | 1.8M   | 2.1M   | **9.6M**         | —     | —     | 4.6x      |
-| medium object (invalid)                         | 464K   | 370K   | **16.0M**        | 2.9M  | 7.6M  | **43x**   |
-| large object (10 items)                         | 119K   | 169K   | **5.2M**         | 5.9M  | 1.2M  | **31x**   |
-| large object (100 items)                        | 13K    | 18K    | **763K**         | 1.3M  | 127K  | **43x**   |
-| readonly field (wrapper compiles away)          | 3.1M   | 6.6M   | **17.1M**        | —     | —     | 2.6x      |
-| readonly root object (rebuild + freeze)         | 2.8M   | 5.6M   | **13.0M**        | —     | —     | 2.3x      |
-| readonly array (delegates to Zod)               | 3.9M   | 4.3M   | **4.2M**         | —     | —     | 1.0x      |
-| recursive tree (7 nodes)                        | 576K   | 1.0M   | **7.8M**         | 11.9M | 4.8M  | 7.8x      |
-| recursive tree (121 nodes)                      | 32K    | 57K    | **774K**         | 1.9M  | 371K  | **13x**   |
-| nested recursion (7 nodes)                      | 388K   | 677K   | **7.7M**         | 10.4M | 3.0M  | **11x**   |
-| nested recursion (121 nodes)                    | 24K    | 41K    | **804K**         | 1.6M  | 210K  | **20x**   |
-| deeply nested object (243 leaves)               | 11K    | 27K    | **847K**         | 1.0M  | 122K  | **31x**   |
-| event log (combined)                            | 370K   | 786K   | **7.7M**         | —     | —     | 9.8x      |
-| catalog product with image URLs (valid)         | 426K   | 451K   | **1.4M**         | —     | —     | 3.1x      |
-| catalog product with image URLs (invalid)       | 115K   | 104K   | **237K**         | —     | —     | 2.3x      |
-| catalog page (20 products)                      | 21K    | 23K    | **74K**          | —     | —     | 3.2x      |
-| object with transform (zero-capture)            | 1.1M   | 1.9M   | **7.3M**         | —     | —     | 3.9x      |
-| array 10 × transform (zero-capture)             | 120K   | 209K   | **4.3M**         | —     | —     | **21x**   |
-| array 50 × transform (zero-capture)             | 25K    | 43K    | **1.0M**         | —     | —     | **24x**   |
-| object with captured transform                  | 1.2M   | 7.8M   | **15.3M**        | —     | —     | 2.0x      |
-| object with captured refine (cross-field)       | 1.5M   | 2.2M   | **11.2M**        | —     | —     | 5.1x      |
-| object with superRefine (cross-field)           | 1.4M   | 2.1M   | **9.1M**         | —     | —     | 4.3x      |
-| coerced query object (valid)                    | 1.8M   | 2.9M   | **5.4M**         | —     | —     | 1.8x      |
-| coerced query object (invalid)                  | 1.0M   | 843K   | **10.2M**        | —     | —     | **12x**   |
-| preprocessed query object (valid)               | 430K   | 1.7M   | **5.3M**         | —     | —     | 3.1x      |
-| preprocessed query object (invalid)             | 382K   | 780K   | **12.3M**        | —     | —     | **16x**   |
-| stringbool config object (valid)                | —      | 2.8M   | **6.4M**         | —     | —     | 2.2x      |
-| stringbool config object (invalid)              | —      | 688K   | **12.6M**        | —     | —     | **18x**   |
-| custom/instanceof request (valid)               | 972K   | 3.1M   | **10.3M**        | —     | —     | 3.3x      |
-| custom/instanceof request (invalid)             | 776K   | 945K   | **13.5M**        | —     | —     | **14x**   |
-| disjoint object intersection (valid)            | 1.4M   | 1.6M   | **10.0M**        | —     | —     | 6.1x      |
-| disjoint object intersection (invalid)          | 482K   | 333K   | **16.0M**        | —     | —     | **48x**   |
+| simple string                                   | 13.1M  | 15.9M  | **17.3M**        | 18.0M | 17.6M | 1.1x      |
+| string (min/max)                                | 12.3M  | 7.3M   | **17.3M**        | 17.2M | 15.6M | 2.4x      |
+| number (int+positive)                           | 12.4M  | 9.7M   | **17.5M**        | 17.7M | 17.0M | 1.8x      |
+| enum                                            | 11.6M  | 15.5M  | **17.8M**        | 18.1M | 17.5M | 1.1x      |
+| bigint (min/max)                                | 11.9M  | 8.6M   | **17.3M**        | —     | —     | 2.0x      |
+| tuple [string, int, bool]                       | 5.5M   | 7.4M   | **16.7M**        | 16.0M | 15.8M | 2.3x      |
+| record\<string, number\>                        | 3.2M   | 2.5M   | **12.9M**        | 12.0M | 15.2M | 5.1x      |
+| set\<string\> (5 items)                         | 3.6M   | 2.3M   | **15.3M**        | —     | —     | 6.8x      |
+| set\<string\> (20 items)                        | 1.3M   | 679K   | **12.2M**        | —     | —     | **18x**   |
+| map\<string, number\> (5 entries)               | 2.0M   | 1.3M   | **13.5M**        | —     | —     | **10x**   |
+| map\<string, number\> (20 entries)              | 628K   | 346K   | **8.5M**         | —     | —     | **25x**   |
+| pipe (non-transform)                            | 8.8M   | 4.7M   | **16.9M**        | —     | —     | 3.6x      |
+| discriminatedUnion (3 variants)                 | 3.4M   | 5.2M   | **17.1M**        | 16.5M | 7.9M  | 3.3x      |
+| discriminatedUnion (8 variants, rotating)       | 2.6M   | 4.6M   | **10.5M**        | —     | —     | 2.3x      |
+| plain union of 8 tagged objects (auto-discrim.) | 357K   | 1.3M   | **10.5M**        | —     | —     | 7.9x      |
+| strict object (DB row)                          | 1.8M   | 2.9M   | **11.4M**        | —     | —     | 3.8x      |
+| medium object (valid)                           | 1.9M   | 2.3M   | **9.8M**         | 11.1M | 7.6M  | 4.2x      |
+| medium object (extra keys stripped)             | 1.8M   | 2.1M   | **9.7M**         | —     | —     | 4.6x      |
+| medium object (invalid)                         | 517K   | 364K   | **15.9M**        | 2.8M  | 7.5M  | **44x**   |
+| large object (10 items)                         | 120K   | 175K   | **5.3M**         | 6.0M  | 1.2M  | **30x**   |
+| large object (100 items)                        | 13K    | 18K    | **764K**         | 1.3M  | 124K  | **43x**   |
+| readonly field (wrapper compiles away)          | 3.1M   | 6.6M   | **17.8M**        | —     | —     | 2.7x      |
+| readonly root object (rebuild + freeze)         | 2.9M   | 5.6M   | **13.5M**        | —     | —     | 2.4x      |
+| readonly array (delegates to Zod)               | 4.0M   | 4.4M   | **4.4M**         | —     | —     | 1.0x      |
+| recursive tree (7 nodes)                        | 574K   | 997K   | **9.0M**         | 11.9M | 4.8M  | 9.0x      |
+| recursive tree (121 nodes)                      | 32K    | 58K    | **986K**         | 1.9M  | 375K  | **17x**   |
+| nested recursion (7 nodes)                      | 390K   | 696K   | **7.8M**         | 10.5M | 2.9M  | **11x**   |
+| nested recursion (121 nodes)                    | 24K    | 42K    | **816K**         | 1.6M  | 205K  | **20x**   |
+| deeply nested object (243 leaves)               | 11K    | 28K    | **845K**         | 1.0M  | 125K  | **30x**   |
+| event log (combined)                            | 375K   | 808K   | **7.6M**         | —     | —     | 9.4x      |
+| catalog product with image URLs (valid)         | 432K   | 467K   | **2.1M**         | —     | —     | 4.6x      |
+| catalog product with image URLs (invalid)       | 114K   | 106K   | **14.8M**        | —     | —     | **140x**  |
+| catalog page (20 products)                      | 21K    | 23K    | **122K**         | —     | —     | 5.2x      |
+| object with transform (zero-capture)            | 1.1M   | 1.9M   | **7.6M**         | —     | —     | 4.0x      |
+| array 10 × transform (zero-capture)             | 123K   | 209K   | **4.3M**         | —     | —     | **21x**   |
+| array 50 × transform (zero-capture)             | 26K    | 41K    | **1.0M**         | —     | —     | **25x**   |
+| object with captured transform                  | 1.2M   | 8.3M   | **16.2M**        | —     | —     | 2.0x      |
+| object with captured refine (cross-field)       | 1.5M   | 2.2M   | **11.7M**        | —     | —     | 5.3x      |
+| object with superRefine (cross-field)           | 1.5M   | 2.2M   | **9.6M**         | —     | —     | 4.3x      |
+| coerced query object (valid)                    | 1.8M   | 3.0M   | **5.4M**         | —     | —     | 1.8x      |
+| coerced query object (invalid)                  | 1.0M   | 837K   | **10.6M**        | —     | —     | **13x**   |
+| preprocessed query object (valid)               | 432K   | 1.8M   | **5.4M**         | —     | —     | 3.0x      |
+| preprocessed query object (invalid)             | 393K   | 796K   | **12.7M**        | —     | —     | **16x**   |
+| stringbool config object (valid)                | —      | 2.8M   | **6.3M**         | —     | —     | 2.2x      |
+| stringbool config object (invalid)              | —      | 698K   | **13.5M**        | —     | —     | **19x**   |
+| custom/instanceof request (valid)               | 979K   | 3.2M   | **10.4M**        | —     | —     | 3.3x      |
+| custom/instanceof request (invalid)             | 795K   | 955K   | **13.6M**        | —     | —     | **14x**   |
+| disjoint object intersection (valid)            | 1.4M   | 1.6M   | **9.7M**         | —     | —     | 6.0x      |
+| disjoint object intersection (invalid)          | 494K   | 335K   | **15.7M**        | —     | —     | **47x**   |
 
 _ops/s, higher is better. `vp test bench` on an Apple M4 Max (zod 4.5.2, zod v3 3.23.8, typia 12, ajv 8),
 best of three runs. The harness costs ~60 ns per iteration, so the fastest rows sit at that floor and gaps
@@ -646,9 +650,9 @@ vp run benchmark # run locally
 
 A schema compiles to a **fast path** — one zero-allocation `&&` chain, shared by `.is()` and
 `parse()` — plus a **slow path** that collects errors only on failure, deferred until `.error` is read.
-Schemas that reshape their input (stripping objects, coercions, `stringbool`, defaults, transforms,
-context-free preprocessors, disjoint-key intersections) instead validate and rebuild in a single pass
-that bails on the first failure.
+Schemas that reshape their input (stripping objects, coercions, `stringbool`, `z.url()`, defaults,
+transforms, context-free preprocessors, disjoint-key intersections) instead validate and rebuild in a
+single pass that bails on the first failure.
 
 Other optimizations:
 

package/dist/cli/emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"emitter.d.ts","names":[],"sources":["../../src/cli/emitter.ts"],"mappings":";;;;;UAkBiB;;;;;;EAMf;;;;;EAKA;;iBAGc,4BACd,SAAS,sBACT,uBACA,UAAU;;;;iBAoEI,kBAAkB,mBAAmB;;;;iBAmB/B,kBAAkB,oBAAoB,kBAAkB"}
+{"version":3,"file":"emitter.d.ts","names":[],"sources":["../../src/cli/emitter.ts"],"mappings":";;;;;UAsBiB;;;;;;EAMf;;;;;EAKA;;iBAGc,4BACd,SAAS,sBACT,uBACA,UAAU;;;;iBA+EI,kBAAkB,mBAAmB;;;;iBAmB/B,kBAAkB,oBAAoB,kBAAkB"}

package/dist/cli/emitter.js

@@ -1,4 +1,4 @@
-import { FAILZ_CLASS_DECL, FAIL_CLASS_DECL, FINZ_DECL, FIN_DECL, FIN_DEFERRED_DECL, MK_VALIDATOR_DECL, ZOD_CONFIG_IMPORT, ZOD_MSG_DECLARATION, generateIIFE } from "../core/iife.js";
+import { FAILZ_CLASS_DECL, FAIL_CLASS_DECL, FAIL_CORE_CLASS_DECL, FINZ_DECL, FIN_CORE_DECL, FIN_DECL, FIN_DEFERRED_CORE_DECL, FIN_DEFERRED_DECL, MK_VALIDATOR_DECL, ZOD_CONFIG_IMPORT, ZOD_MSG_DECLARATION, generateIIFE, usesCoreErrors } from "../core/iife.js";
 import path from "node:path";
 import fs from "node:fs";
 //#region src/cli/emitter.ts
@@ -7,6 +7,8 @@ function generateCompiledFileContent(schemas, sourceRelPath, options) {
 	if (!importPath.startsWith(".")) importPath = `./${importPath}`;
 	const zodCompat = options?.zodCompat !== false;
 	const usesFinZ = schemas.some((s) => s.codegenResult.usedHelpers.has("__zcFinZ"));
+	const usesCore = schemas.some((s) => usesCoreErrors(s.codegenResult.usedHelpers));
+	const classicFinalizers = schemas.some((s) => s.codegenResult.usedHelpers.has("__zcFin") || s.codegenResult.usedHelpers.has("__zcFinD")) || !usesCore;
 	const needsSource = (s) => zodCompat || s.refEntries.length > 0 || s.codegenResult.usesRetainedSchema === true;
 	const schemasNeedingImport = schemas.filter(needsSource);
 	const exports = schemas.map((schema) => {
@@ -22,10 +24,14 @@ function generateCompiledFileContent(schemas, sourceRelPath, options) {
 		"",
 		ZOD_CONFIG_IMPORT,
 		ZOD_MSG_DECLARATION,
-		FAIL_CLASS_DECL,
+		...classicFinalizers ? [FAIL_CLASS_DECL] : [],
 		MK_VALIDATOR_DECL,
-		FIN_DECL,
-		FIN_DEFERRED_DECL,
+		...classicFinalizers ? [FIN_DECL, FIN_DEFERRED_DECL] : [],
+		...usesCore ? [
+			FAIL_CORE_CLASS_DECL,
+			FIN_CORE_DECL,
+			FIN_DEFERRED_CORE_DECL
+		] : [],
 		...usesFinZ ? [FAILZ_CLASS_DECL, FINZ_DECL] : [],
 		...options?.sharedCode ? ["", options.sharedCode] : [],
 		"",

package/dist/cli/emitter.js.map

@@ -1 +1 @@
-{"version":3,"file":"emitter.js","names":[],"sources":["../../src/cli/emitter.ts"],"sourcesContent":["import fs from \"node:fs\";\nimport path from \"node:path\";\nimport {\n  FAIL_CLASS_DECL,\n  FAILZ_CLASS_DECL,\n  FIN_DECL,\n  FIN_DEFERRED_DECL,\n  FINZ_DECL,\n  generateIIFE,\n  MK_VALIDATOR_DECL,\n  ZOD_CONFIG_IMPORT,\n  ZOD_MSG_DECLARATION,\n} from \"../core/iife.js\";\nimport type { CompiledSchemaInfo } from \"../core/pipeline.js\";\n\n/**\n * Generate the content of a .compiled.ts file from multiple schemas.\n */\nexport interface EmitterOptions {\n  /**\n   * When true (default), installs the compiled methods on the original schema\n   * object for Zod-compatible output.\n   * When false, produces a minimal plain object (smaller bundle).\n   */\n  zodCompat?: boolean | undefined;\n  /**\n   * File-level shared validator and constant declarations. Emitted once at\n   * module scope so each compiled export can reference them.\n   */\n  sharedCode?: string | undefined;\n}\n\nexport function generateCompiledFileContent(\n  schemas: CompiledSchemaInfo[],\n  sourceRelPath: string,\n  options?: EmitterOptions,\n): string {\n  let importPath = sourceRelPath.replace(/\\.[cm]?[jt]sx?$/, \"\");\n  if (!importPath.startsWith(\".\")) {\n    importPath = `./${importPath}`;\n  }\n\n  const zodCompat = options?.zodCompat !== false;\n\n  // Compact-mode schemas delegate cold errors to zod via __zcFinZ (its own\n  // __ZcFailZ class), emitted only when some export uses it.\n  const usesFinZ = schemas.some((s) => s.codegenResult.usedHelpers.has(\"__zcFinZ\"));\n\n  // A schema needs the source import when:\n  //   - zodCompat: true (__zcMkv installs compiled methods on the schema)\n  //   - has refEntries (fallback schemas referenced via __rf[])\n  //   - delegates its cold path to the retained schema (reads the __zs binding)\n  //\n  // The last clause must stay in lockstep with generateIIFE's own test for\n  // emitting `var __zs=<expr>;`: hand it an empty expression for a schema it\n  // decides to bind and the file is a syntax error (`var __zs=;`).\n  const needsSource = (s: CompiledSchemaInfo): boolean =>\n    zodCompat || s.refEntries.length > 0 || s.codegenResult.usesRetainedSchema === true;\n  const schemasNeedingImport = schemas.filter(needsSource);\n\n  const exports = schemas.map((schema) => {\n    const needsImport = needsSource(schema);\n    // `compile()` returns the schema augmented with a non-enumerable `schema`\n    // self-reference; auto-discovery (the default) instead finds plain exported\n    // Zod schemas, which have no such property. Both shapes must resolve, so\n    // fall through to the export itself — reading `.schema` alone yields\n    // undefined there, which silently cost __zcMkv the real schema to augment\n    // and hard-crashed every `__rf[]` base at module load.\n    const src = `__src_${schema.exportName}`;\n    const schemaExpr = needsImport ? `((${src} as any).schema ?? ${src})` : \"\";\n    return `export const ${schema.exportName} = ${generateIIFE(schemaExpr, schema, { zodCompat })};`;\n  });\n\n  const importLine =\n    schemasNeedingImport.length > 0\n      ? [\n          `import { ${schemasNeedingImport.map((s) => `${s.exportName} as __src_${s.exportName}`).join(\", \")} } from \"${importPath}\";`,\n          \"\",\n        ]\n      : [];\n\n  return [\n    \"// AUTO-GENERATED by zod-compiler — DO NOT EDIT\",\n    `// Source: ${sourceRelPath}`,\n    \"\",\n    ZOD_CONFIG_IMPORT,\n    ZOD_MSG_DECLARATION,\n    FAIL_CLASS_DECL,\n    MK_VALIDATOR_DECL,\n    FIN_DECL,\n    FIN_DEFERRED_DECL,\n    ...(usesFinZ ? [FAILZ_CLASS_DECL, FINZ_DECL] : []),\n    ...(options?.sharedCode ? [\"\", options.sharedCode] : []),\n    \"\",\n    ...importLine,\n    ...exports,\n    \"\",\n  ].join(\"\\n\");\n}\n\n/**\n * Resolve the output file path for a given input file.\n */\nexport function resolveOutputPath(inputPath: string, outputFlag: string | undefined): string {\n  if (outputFlag) {\n    // If output flag ends with / or is a directory, put the compiled file inside it\n    if (outputFlag.endsWith(\"/\") || outputFlag.endsWith(path.sep)) {\n      const baseName = path.basename(inputPath, path.extname(inputPath));\n      return path.join(outputFlag, `${baseName}.compiled.ts`);\n    }\n    return outputFlag;\n  }\n\n  // Default: replace .ts with .compiled.ts\n  const dir = path.dirname(inputPath);\n  const baseName = path.basename(inputPath, path.extname(inputPath));\n  return path.join(dir, `${baseName}.compiled.ts`);\n}\n\n/**\n * Write the compiled file content to disk.\n */\nexport async function writeCompiledFile(outputPath: string, content: string): Promise<void> {\n  const dir = path.dirname(outputPath);\n  await fs.promises.mkdir(dir, { recursive: true });\n  await fs.promises.writeFile(outputPath, content, \"utf-8\");\n}\n"],"mappings":";;;;AAgCA,SAAgB,4BACd,SACA,eACA,SACQ;CACR,IAAI,aAAa,cAAc,QAAQ,mBAAmB,EAAE;CAC5D,IAAI,CAAC,WAAW,WAAW,GAAG,GAC5B,aAAa,KAAK;CAGpB,MAAM,YAAY,SAAS,cAAc;CAIzC,MAAM,WAAW,QAAQ,MAAM,MAAM,EAAE,cAAc,YAAY,IAAI,UAAU,CAAC;CAUhF,MAAM,eAAe,MACnB,aAAa,EAAE,WAAW,SAAS,KAAK,EAAE,cAAc,uBAAuB;CACjF,MAAM,uBAAuB,QAAQ,OAAO,WAAW;CAEvD,MAAM,UAAU,QAAQ,KAAK,WAAW;EACtC,MAAM,cAAc,YAAY,MAAM;EAOtC,MAAM,MAAM,SAAS,OAAO;EAC5B,MAAM,aAAa,cAAc,KAAK,IAAI,qBAAqB,IAAI,KAAK;EACxE,OAAO,gBAAgB,OAAO,WAAW,KAAK,aAAa,YAAY,QAAQ,EAAE,UAAU,CAAC,EAAE;CAChG,CAAC;CAED,MAAM,aACJ,qBAAqB,SAAS,IAC1B,CACE,YAAY,qBAAqB,KAAK,MAAM,GAAG,EAAE,WAAW,YAAY,EAAE,YAAY,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,WAAW,KACzH,EACF,IACA,CAAC;CAEP,OAAO;EACL;EACA,cAAc;EACd;EACA;EACA;EACA;EACA;EACA;EACA;EACA,GAAI,WAAW,CAAC,kBAAkB,SAAS,IAAI,CAAC;EAChD,GAAI,SAAS,aAAa,CAAC,IAAI,QAAQ,UAAU,IAAI,CAAC;EACtD;EACA,GAAG;EACH,GAAG;EACH;CACF,CAAC,CAAC,KAAK,IAAI;AACb;;;;AAKA,SAAgB,kBAAkB,WAAmB,YAAwC;CAC3F,IAAI,YAAY;EAEd,IAAI,WAAW,SAAS,GAAG,KAAK,WAAW,SAAS,KAAK,GAAG,GAAG;GAC7D,MAAM,WAAW,KAAK,SAAS,WAAW,KAAK,QAAQ,SAAS,CAAC;GACjE,OAAO,KAAK,KAAK,YAAY,GAAG,SAAS,aAAa;EACxD;EACA,OAAO;CACT;CAGA,MAAM,MAAM,KAAK,QAAQ,SAAS;CAClC,MAAM,WAAW,KAAK,SAAS,WAAW,KAAK,QAAQ,SAAS,CAAC;CACjE,OAAO,KAAK,KAAK,KAAK,GAAG,SAAS,aAAa;AACjD;;;;AAKA,eAAsB,kBAAkB,YAAoB,SAAgC;CAC1F,MAAM,MAAM,KAAK,QAAQ,UAAU;CACnC,MAAM,GAAG,SAAS,MAAM,KAAK,EAAE,WAAW,KAAK,CAAC;CAChD,MAAM,GAAG,SAAS,UAAU,YAAY,SAAS,OAAO;AAC1D"}
+{"version":3,"file":"emitter.js","names":[],"sources":["../../src/cli/emitter.ts"],"sourcesContent":["import fs from \"node:fs\";\nimport path from \"node:path\";\nimport {\n  FAIL_CLASS_DECL,\n  FAIL_CORE_CLASS_DECL,\n  FAILZ_CLASS_DECL,\n  FIN_CORE_DECL,\n  FIN_DECL,\n  FIN_DEFERRED_CORE_DECL,\n  FIN_DEFERRED_DECL,\n  FINZ_DECL,\n  generateIIFE,\n  MK_VALIDATOR_DECL,\n  usesCoreErrors,\n  ZOD_CONFIG_IMPORT,\n  ZOD_MSG_DECLARATION,\n} from \"../core/iife.js\";\nimport type { CompiledSchemaInfo } from \"../core/pipeline.js\";\n\n/**\n * Generate the content of a .compiled.ts file from multiple schemas.\n */\nexport interface EmitterOptions {\n  /**\n   * When true (default), installs the compiled methods on the original schema\n   * object for Zod-compatible output.\n   * When false, produces a minimal plain object (smaller bundle).\n   */\n  zodCompat?: boolean | undefined;\n  /**\n   * File-level shared validator and constant declarations. Emitted once at\n   * module scope so each compiled export can reference them.\n   */\n  sharedCode?: string | undefined;\n}\n\nexport function generateCompiledFileContent(\n  schemas: CompiledSchemaInfo[],\n  sourceRelPath: string,\n  options?: EmitterOptions,\n): string {\n  let importPath = sourceRelPath.replace(/\\.[cm]?[jt]sx?$/, \"\");\n  if (!importPath.startsWith(\".\")) {\n    importPath = `./${importPath}`;\n  }\n\n  const zodCompat = options?.zodCompat !== false;\n\n  // Compact-mode schemas delegate cold errors to zod via __zcFinZ (its own\n  // __ZcFailZ class), emitted only when some export uses it.\n  const usesFinZ = schemas.some((s) => s.codegenResult.usedHelpers.has(\"__zcFinZ\"));\n\n  // Exports of zod/mini schemas fail with core's `$ZodError`, through their own\n  // finalizer pair (see FAIL_CORE_CLASS_DECL). The classic pair is emitted as it\n  // always has been, whether called or not, except in a file whose validators\n  // all build core errors: there nothing calls it.\n  const usesCore = schemas.some((s) => usesCoreErrors(s.codegenResult.usedHelpers));\n  const usesClassic = schemas.some(\n    (s) =>\n      s.codegenResult.usedHelpers.has(\"__zcFin\") || s.codegenResult.usedHelpers.has(\"__zcFinD\"),\n  );\n  const classicFinalizers = usesClassic || !usesCore;\n\n  // A schema needs the source import when:\n  //   - zodCompat: true (__zcMkv installs compiled methods on the schema)\n  //   - has refEntries (fallback schemas referenced via __rf[])\n  //   - delegates its cold path to the retained schema (reads the __zs binding)\n  //\n  // The last clause must stay in lockstep with generateIIFE's own test for\n  // emitting `var __zs=<expr>;`: hand it an empty expression for a schema it\n  // decides to bind and the file is a syntax error (`var __zs=;`).\n  const needsSource = (s: CompiledSchemaInfo): boolean =>\n    zodCompat || s.refEntries.length > 0 || s.codegenResult.usesRetainedSchema === true;\n  const schemasNeedingImport = schemas.filter(needsSource);\n\n  const exports = schemas.map((schema) => {\n    const needsImport = needsSource(schema);\n    // `compile()` returns the schema augmented with a non-enumerable `schema`\n    // self-reference; auto-discovery (the default) instead finds plain exported\n    // Zod schemas, which have no such property. Both shapes must resolve, so\n    // fall through to the export itself — reading `.schema` alone yields\n    // undefined there, which silently cost __zcMkv the real schema to augment\n    // and hard-crashed every `__rf[]` base at module load.\n    const src = `__src_${schema.exportName}`;\n    const schemaExpr = needsImport ? `((${src} as any).schema ?? ${src})` : \"\";\n    return `export const ${schema.exportName} = ${generateIIFE(schemaExpr, schema, { zodCompat })};`;\n  });\n\n  const importLine =\n    schemasNeedingImport.length > 0\n      ? [\n          `import { ${schemasNeedingImport.map((s) => `${s.exportName} as __src_${s.exportName}`).join(\", \")} } from \"${importPath}\";`,\n          \"\",\n        ]\n      : [];\n\n  return [\n    \"// AUTO-GENERATED by zod-compiler — DO NOT EDIT\",\n    `// Source: ${sourceRelPath}`,\n    \"\",\n    ZOD_CONFIG_IMPORT,\n    ZOD_MSG_DECLARATION,\n    ...(classicFinalizers ? [FAIL_CLASS_DECL] : []),\n    MK_VALIDATOR_DECL,\n    ...(classicFinalizers ? [FIN_DECL, FIN_DEFERRED_DECL] : []),\n    ...(usesCore ? [FAIL_CORE_CLASS_DECL, FIN_CORE_DECL, FIN_DEFERRED_CORE_DECL] : []),\n    ...(usesFinZ ? [FAILZ_CLASS_DECL, FINZ_DECL] : []),\n    ...(options?.sharedCode ? [\"\", options.sharedCode] : []),\n    \"\",\n    ...importLine,\n    ...exports,\n    \"\",\n  ].join(\"\\n\");\n}\n\n/**\n * Resolve the output file path for a given input file.\n */\nexport function resolveOutputPath(inputPath: string, outputFlag: string | undefined): string {\n  if (outputFlag) {\n    // If output flag ends with / or is a directory, put the compiled file inside it\n    if (outputFlag.endsWith(\"/\") || outputFlag.endsWith(path.sep)) {\n      const baseName = path.basename(inputPath, path.extname(inputPath));\n      return path.join(outputFlag, `${baseName}.compiled.ts`);\n    }\n    return outputFlag;\n  }\n\n  // Default: replace .ts with .compiled.ts\n  const dir = path.dirname(inputPath);\n  const baseName = path.basename(inputPath, path.extname(inputPath));\n  return path.join(dir, `${baseName}.compiled.ts`);\n}\n\n/**\n * Write the compiled file content to disk.\n */\nexport async function writeCompiledFile(outputPath: string, content: string): Promise<void> {\n  const dir = path.dirname(outputPath);\n  await fs.promises.mkdir(dir, { recursive: true });\n  await fs.promises.writeFile(outputPath, content, \"utf-8\");\n}\n"],"mappings":";;;;AAoCA,SAAgB,4BACd,SACA,eACA,SACQ;CACR,IAAI,aAAa,cAAc,QAAQ,mBAAmB,EAAE;CAC5D,IAAI,CAAC,WAAW,WAAW,GAAG,GAC5B,aAAa,KAAK;CAGpB,MAAM,YAAY,SAAS,cAAc;CAIzC,MAAM,WAAW,QAAQ,MAAM,MAAM,EAAE,cAAc,YAAY,IAAI,UAAU,CAAC;CAMhF,MAAM,WAAW,QAAQ,MAAM,MAAM,eAAe,EAAE,cAAc,WAAW,CAAC;CAKhF,MAAM,oBAJc,QAAQ,MACzB,MACC,EAAE,cAAc,YAAY,IAAI,SAAS,KAAK,EAAE,cAAc,YAAY,IAAI,UAAU,CAExD,KAAK,CAAC;CAU1C,MAAM,eAAe,MACnB,aAAa,EAAE,WAAW,SAAS,KAAK,EAAE,cAAc,uBAAuB;CACjF,MAAM,uBAAuB,QAAQ,OAAO,WAAW;CAEvD,MAAM,UAAU,QAAQ,KAAK,WAAW;EACtC,MAAM,cAAc,YAAY,MAAM;EAOtC,MAAM,MAAM,SAAS,OAAO;EAC5B,MAAM,aAAa,cAAc,KAAK,IAAI,qBAAqB,IAAI,KAAK;EACxE,OAAO,gBAAgB,OAAO,WAAW,KAAK,aAAa,YAAY,QAAQ,EAAE,UAAU,CAAC,EAAE;CAChG,CAAC;CAED,MAAM,aACJ,qBAAqB,SAAS,IAC1B,CACE,YAAY,qBAAqB,KAAK,MAAM,GAAG,EAAE,WAAW,YAAY,EAAE,YAAY,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,WAAW,KACzH,EACF,IACA,CAAC;CAEP,OAAO;EACL;EACA,cAAc;EACd;EACA;EACA;EACA,GAAI,oBAAoB,CAAC,eAAe,IAAI,CAAC;EAC7C;EACA,GAAI,oBAAoB,CAAC,UAAU,iBAAiB,IAAI,CAAC;EACzD,GAAI,WAAW;GAAC;GAAsB;GAAe;EAAsB,IAAI,CAAC;EAChF,GAAI,WAAW,CAAC,kBAAkB,SAAS,IAAI,CAAC;EAChD,GAAI,SAAS,aAAa,CAAC,IAAI,QAAQ,UAAU,IAAI,CAAC;EACtD;EACA,GAAG;EACH,GAAG;EACH;CACF,CAAC,CAAC,KAAK,IAAI;AACb;;;;AAKA,SAAgB,kBAAkB,WAAmB,YAAwC;CAC3F,IAAI,YAAY;EAEd,IAAI,WAAW,SAAS,GAAG,KAAK,WAAW,SAAS,KAAK,GAAG,GAAG;GAC7D,MAAM,WAAW,KAAK,SAAS,WAAW,KAAK,QAAQ,SAAS,CAAC;GACjE,OAAO,KAAK,KAAK,YAAY,GAAG,SAAS,aAAa;EACxD;EACA,OAAO;CACT;CAGA,MAAM,MAAM,KAAK,QAAQ,SAAS;CAClC,MAAM,WAAW,KAAK,SAAS,WAAW,KAAK,QAAQ,SAAS,CAAC;CACjE,OAAO,KAAK,KAAK,KAAK,GAAG,SAAS,aAAa;AACjD;;;;AAKA,eAAsB,kBAAkB,YAAoB,SAAgC;CAC1F,MAAM,MAAM,KAAK,QAAQ,UAAU;CACnC,MAAM,GAAG,SAAS,MAAM,KAAK,EAAE,WAAW,KAAK,CAAC;CAChD,MAAM,GAAG,SAAS,UAAU,YAAY,SAAS,OAAO;AAC1D"}

package/dist/core/codegen/build-path.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build-path.d.ts","names":[],"sources":["../../../src/core/codegen/build-path.ts"],"mappings":";;;;iBAuMgB,eAAe,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAiCnB,kBAAkB,IAAI;;;;;;;;;;;iBAmFtB,sBAAsB,IAAI;;;;;;iBAmD1B,cAAc,IAAI,UAAU,KAAK"}
+{"version":3,"file":"build-path.d.ts","names":[],"sources":["../../../src/core/codegen/build-path.ts"],"mappings":";;;;iBAwMgB,eAAe,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAiCnB,kBAAkB,IAAI;;;;;;;;;;;iBA+EtB,sBAAsB,IAAI;;;;;;iBAmD1B,cAAc,IAAI,UAAU,KAAK"}

package/dist/core/codegen/build-path.js

@@ -5,7 +5,7 @@ import { detectUnionDiscriminator } from "./schemas/discriminated-union.js";
 import { estimateFastCost, orderByRuntimeCost, predictedInlineSize } from "./fast-size.js";
 import { parsedProperties } from "./schemas/object.js";
 import { innerAppliesDefaultOnUndefined } from "./schemas/optional.js";
-import { fastStringCheck } from "./schemas/string.js";
+import { buildUrlCheck, fastStringCheck, isUrlRewrite } from "./schemas/string.js";
 import { emitStringBoolMap, stringBoolInlineHit, stringBoolUsesInline } from "./schemas/string-bool.js";
 import { createFastGen, generateFast } from "./fast-path.js";
 //#region src/core/codegen/build-path.ts
@@ -40,7 +40,7 @@ function rebuildSet(root, includeProtoScrub = true) {
 		for (const node of nodes) {
 			if (rebuilds.has(node)) continue;
 			const target = node.type === "recursiveRef" ? targets.get(node.refId ?? 0) : void 0;
-			if (node.type === "object" && node.stripUnknownKeys === true || node.type === "readonly" && node.freeze === true || node.type === "default" || node.type === "tuple" && tupleRewritesShortInput(node) || includeProtoScrub && needsProtoScrub(node) || node.type === "stringBool" || node.type === "string" && (node.coerce === true || node.checks.some((c) => c.kind === "overwrite_effect")) || (node.type === "number" || node.type === "boolean" || node.type === "bigint" || node.type === "date") && node.coerce === true || node.type === "effect" || target !== void 0 && rebuilds.has(target) || children(node).some((child) => rebuilds.has(child))) {
+			if (node.type === "object" && node.stripUnknownKeys === true || node.type === "readonly" && node.freeze === true || node.type === "default" || node.type === "tuple" && tupleRewritesShortInput(node) || includeProtoScrub && needsProtoScrub(node) || node.type === "stringBool" || node.type === "string" && (node.coerce === true || node.checks.some((c) => c.kind === "overwrite_effect" || isUrlRewrite(c))) || (node.type === "number" || node.type === "boolean" || node.type === "bigint" || node.type === "date") && node.coerce === true || node.type === "effect" || target !== void 0 && rebuilds.has(target) || children(node).some((child) => rebuilds.has(child))) {
 				rebuilds.add(node);
 				changed = true;
 			}
@@ -95,7 +95,7 @@ function fastResultIsInput(ir) {
 }
 /**
 * True when the subtree mutates for any reason the build pass cannot reproduce —
-* `.catch()`, `z.url()`, `superRefine`. Those rewrite values in ways this pass
+* `.catch()`, `superRefine`. Those rewrite values in ways this pass
 * (which validates, coerces, decodes string booleans, substitutes declared
 * defaults, applies ordered string rewrites and copies) does not model, so the
 * schema keeps the eager walk.
@@ -110,7 +110,7 @@ function mutatesBeyondStrip(ir) {
 */
 function mutatesHere(ir) {
 	switch (ir.type) {
-		case "string": return superRefines(ir.checks) || ir.checks.some((c) => c.kind === "string_format" && c.format === "url");
+		case "string": return superRefines(ir.checks);
 		case "number": return superRefines(ir.checks);
 		case "boolean":
 		case "bigint":
@@ -181,6 +181,9 @@ function generateBuild(ir, ctx) {
 		temps: [],
 		used: 0
 	};
+	const name = emitTemp(ctx, "vb");
+	const recNames = ctx.buildRecNames ??= /* @__PURE__ */ new Map();
+	recNames.set(0, name);
 	const built = build(ir, "input", {
 		ctx,
 		extractable: false,
@@ -188,8 +191,10 @@ function generateBuild(ir, ctx) {
 		rebuilds,
 		scope
 	});
-	if (built === null) return null;
-	const name = emitTemp(ctx, "vb");
+	if (built === null) {
+		recNames.delete(0);
+		return null;
+	}
 	ctx.preamble.push(`function ${name}(input){${declareFastTemps(scope)}${built.code}return ${built.value};}`);
 	return name;
 }
@@ -731,6 +736,10 @@ function buildString(ir, input, g) {
 			break;
 		case "super_refine_effect": return null;
 		default: {
+			if (check.kind === "string_format" && isUrlRewrite(check)) {
+				code += buildUrlCheck(check, value, g.fail, (prefix) => local(g, prefix), g.ctx);
+				break;
+			}
 			const expr = fastStringCheck(check, value, g.ctx);
 			if (expr === null) return null;
 			code += `if(!(${expr}))return ${g.fail};`;