zod-compiler 2.0.1 → 2.0.3

package/README.md

@@ -2,12 +2,14 @@
 
 **Compile Zod schemas into zero-overhead validation functions at build time.**
 
-Keep your existing Zod schemas. Get **up to 42x faster** validation, and up to **47x** on rejected
+Keep your existing Zod schemas. Get **up to 44x faster** validation, and up to **46x** on rejected
 input. No code changes required.
 
 Requires **Zod ≥ 4.5**. Compiled output reproduces 4.5's semantics exactly, down to code-point string
 lengths, symbol-keyed shapes and tuple issue order, so it does not match earlier 4.x releases. Stay on
-zod-compiler 1.x for Zod 4.0–4.4.
+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 the schemas as plain Zod) rather than compiled into validators that
+disagree with it.
 
 - [What Gets Compiled](#what-gets-compiled)
 - [Schema Hoisting](#schema-hoisting)
@@ -26,7 +28,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 42x; up to 47x on rejected input       | ~9x in Zod's headline example                 |
+| Reported validation speedup            | Up to 44x; up to 46x 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                    |
@@ -543,7 +545,7 @@ npx zod-compiler check src/schemas.ts --json --fail-under 80
 
 ## What Gets Compiled
 
-### Fully Compiled (up to 42x faster)
+### Fully Compiled (up to 44x faster)
 
 Every Zod type except the fallbacks below: all primitives, `object` / `strictObject` / `looseObject`,
 `array`, `tuple`, `record`, `set`, `map`, `union`, `discriminatedUnion`, `intersection`, `pipe`,
@@ -577,11 +579,11 @@ not the whole object. Run `zod-compiler check` to see what compiled.
 Compiled validators match Zod on verdicts, output data and error messages, including issue ordering.
 Three things differ by design:
 
-| Behavior                  | Zod                                             | zod-compiler                                            |
-| ------------------------- | ----------------------------------------------- | ------------------------------------------------------- |
-| Record key iteration      | Own enumerable keys, symbols included           | Own enumerable **string** keys only                     |
-| Container output identity | A fresh array / set / map / object              | The input container, by reference (array holes survive) |
-| Per-call parse params     | `safeParse(x, { error, reportInput })` honoured | Ignored; global `z.config()` maps still apply           |
+| Behavior                  | Zod                                             | zod-compiler                                                                                                                        |
+| ------------------------- | ----------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------- |
+| Record key iteration      | Own enumerable keys, symbols included           | Own enumerable **string** keys only                                                                                                 |
+| Container output identity | A fresh array / set / map / object              | The input container, by reference (array holes and the input's key order survive); a rebuilt object is fresh and in zod's key order |
+| Per-call parse params     | `safeParse(x, { error, reportInput })` honoured | Ignored; global `z.config()` maps still apply                                                                                       |
 
 Schema-level `error` and `z.config()` maps are unaffected; for a per-call map use
 `z.safeParse(Schema, x, params)`.
@@ -594,52 +596,52 @@ 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.8M  | **16.6M**        | 17.4M | 17.4M | 1.0x      |
-| string (min/max)                                | 11.9M  | 7.4M   | **17.5M**        | 17.3M | 15.6M | 2.4x      |
-| number (int+positive)                           | 12.0M  | 9.6M   | **16.9M**        | 16.9M | 16.9M | 1.8x      |
-| enum                                            | 11.2M  | 15.4M  | **17.4M**        | 16.9M | 17.0M | 1.1x      |
-| bigint (min/max)                                | 11.8M  | 8.3M   | **17.0M**        | —     | —     | 2.1x      |
-| tuple [string, int, bool]                       | 5.7M   | 7.6M   | **17.9M**        | 16.8M | 16.0M | 2.4x      |
-| record\<string, number\>                        | 3.1M   | 2.5M   | **12.6M**        | 12.0M | 15.3M | 5.0x      |
-| set\<string\> (5 items)                         | 3.6M   | 2.2M   | **16.0M**        | —     | —     | 7.2x      |
-| set\<string\> (20 items)                        | 1.3M   | 661K   | **12.4M**        | —     | —     | **19x**   |
-| map\<string, number\> (5 entries)               | 2.0M   | 1.3M   | **13.6M**        | —     | —     | **11x**   |
-| map\<string, number\> (20 entries)              | 618K   | 338K   | **8.7M**         | —     | —     | **26x**   |
-| pipe (non-transform)                            | 8.9M   | 4.7M   | **17.3M**        | —     | —     | 3.7x      |
-| discriminatedUnion (3 variants)                 | 3.3M   | 5.2M   | **16.2M**        | 15.9M | 7.5M  | 3.1x      |
-| discriminatedUnion (8 variants, rotating)       | 2.6M   | 4.4M   | **9.5M**         | —     | —     | 2.2x      |
-| plain union of 8 tagged objects (auto-discrim.) | 348K   | 1.3M   | **10.2M**        | —     | —     | 8.1x      |
-| strict object (DB row)                          | 1.7M   | 3.0M   | **11.1M**        | —     | —     | 3.6x      |
-| medium object (valid)                           | 1.9M   | 2.4M   | **9.9M**         | 10.8M | 7.5M  | 4.2x      |
-| medium object (extra keys stripped)             | 1.8M   | 2.1M   | **9.8M**         | —     | —     | 4.7x      |
-| medium object (invalid)                         | 511K   | 359K   | **15.7M**        | 2.9M  | 7.5M  | **44x**   |
-| large object (10 items)                         | 117K   | 175K   | **5.3M**         | 5.7M  | 1.2M  | **30x**   |
-| large object (100 items)                        | 13K    | 18K    | **779K**         | 1.3M  | 127K  | **42x**   |
-| readonly field (wrapper compiles away)          | 3.0M   | 6.6M   | **15.7M**        | —     | —     | 2.4x      |
-| readonly root object (rebuild + freeze)         | 2.8M   | 5.4M   | **12.8M**        | —     | —     | 2.4x      |
-| readonly array (delegates to Zod)               | 3.8M   | 4.2M   | **4.1M**         | —     | —     | 1.0x      |
-| recursive tree (7 nodes)                        | 564K   | 994K   | **7.9M**         | 12.1M | 4.7M  | 7.9x      |
-| recursive tree (121 nodes)                      | 31K    | 55K    | **783K**         | 1.9M  | 361K  | **14x**   |
-| nested recursion (7 nodes)                      | 383K   | 667K   | **7.9M**         | 11.2M | 2.9M  | **12x**   |
-| nested recursion (121 nodes)                    | 23K    | 41K    | **817K**         | 1.6M  | 206K  | **20x**   |
-| deeply nested object (243 leaves)               | 11K    | 27K    | **803K**         | 1.0M  | 122K  | **30x**   |
-| event log (combined)                            | 371K   | 782K   | **7.5M**         | —     | —     | 9.6x      |
-| object with transform (zero-capture)            | 1.1M   | 2.0M   | **7.2M**         | —     | —     | 3.7x      |
-| array 10 × transform (zero-capture)             | 122K   | 203K   | **4.2M**         | —     | —     | **21x**   |
-| array 50 × transform (zero-capture)             | 25K    | 42K    | **1.0M**         | —     | —     | **25x**   |
-| object with captured transform                  | 1.2M   | 8.2M   | **16.2M**        | —     | —     | 2.0x      |
-| object with captured refine (cross-field)       | 1.4M   | 2.2M   | **11.2M**        | —     | —     | 5.0x      |
-| object with superRefine (cross-field)           | 1.4M   | 2.2M   | **9.3M**         | —     | —     | 4.3x      |
-| coerced query object (valid)                    | 1.8M   | 2.9M   | **5.4M**         | —     | —     | 1.9x      |
-| coerced query object (invalid)                  | 1.0M   | 828K   | **10.3M**        | —     | —     | **12x**   |
-| preprocessed query object (valid)               | 401K   | 1.7M   | **5.2M**         | —     | —     | 3.0x      |
-| preprocessed query object (invalid)             | 378K   | 755K   | **12.7M**        | —     | —     | **17x**   |
+| simple string                                   | 12.6M  | 15.6M  | **16.8M**        | 17.2M | 17.4M | 1.1x      |
+| string (min/max)                                | 12.4M  | 7.4M   | **17.4M**        | 17.6M | 15.5M | 2.4x      |
+| number (int+positive)                           | 11.8M  | 9.4M   | **17.2M**        | 16.3M | 17.4M | 1.8x      |
+| enum                                            | 12.1M  | 14.7M  | **17.4M**        | 17.4M | 17.2M | 1.2x      |
+| bigint (min/max)                                | 11.2M  | 7.9M   | **16.7M**        | —     | —     | 2.1x      |
+| tuple [string, int, bool]                       | 5.6M   | 7.3M   | **17.4M**        | 16.4M | 15.7M | 2.4x      |
+| record\<string, number\>                        | 3.1M   | 2.6M   | **12.7M**        | 12.0M | 15.2M | 5.0x      |
+| set\<string\> (5 items)                         | 3.7M   | 2.3M   | **15.2M**        | —     | —     | 6.6x      |
+| set\<string\> (20 items)                        | 1.3M   | 680K   | **12.1M**        | —     | —     | **18x**   |
+| map\<string, number\> (5 entries)               | 2.0M   | 1.3M   | **13.2M**        | —     | —     | **10x**   |
+| map\<string, number\> (20 entries)              | 637K   | 347K   | **8.5M**         | —     | —     | **24x**   |
+| pipe (non-transform)                            | 8.7M   | 4.7M   | **17.3M**        | —     | —     | 3.6x      |
+| discriminatedUnion (3 variants)                 | 3.3M   | 5.2M   | **17.2M**        | 16.1M | 7.8M  | 3.3x      |
+| discriminatedUnion (8 variants, rotating)       | 2.6M   | 4.4M   | **10.3M**        | —     | —     | 2.3x      |
+| plain union of 8 tagged objects (auto-discrim.) | 356K   | 1.3M   | **10.2M**        | —     | —     | 7.7x      |
+| strict object (DB row)                          | 1.8M   | 3.0M   | **11.3M**        | —     | —     | 3.8x      |
+| medium object (valid)                           | 1.9M   | 2.2M   | **9.4M**         | 11.2M | 7.5M  | 4.2x      |
+| medium object (extra keys stripped)             | 1.8M   | 2.0M   | **9.8M**         | —     | —     | 4.9x      |
+| medium object (invalid)                         | 534K   | 372K   | **15.5M**        | 2.9M  | 7.5M  | **42x**   |
+| large object (10 items)                         | 120K   | 163K   | **5.1M**         | 5.9M  | 1.2M  | **31x**   |
+| large object (100 items)                        | 13K    | 17K    | **766K**         | 1.3M  | 127K  | **44x**   |
+| readonly field (wrapper compiles away)          | 3.0M   | 6.6M   | **16.7M**        | —     | —     | 2.5x      |
+| readonly root object (rebuild + freeze)         | 2.8M   | 5.5M   | **12.9M**        | —     | —     | 2.3x      |
+| readonly array (delegates to Zod)               | 3.9M   | 4.3M   | **4.2M**         | —     | —     | 1.0x      |
+| recursive tree (7 nodes)                        | 581K   | 1.0M   | **7.5M**         | 11.6M | 4.7M  | 7.4x      |
+| recursive tree (121 nodes)                      | 31K    | 57K    | **777K**         | 1.9M  | 371K  | **14x**   |
+| nested recursion (7 nodes)                      | 395K   | 683K   | **7.9M**         | 11.2M | 3.0M  | **12x**   |
+| nested recursion (121 nodes)                    | 24K    | 42K    | **805K**         | 1.6M  | 204K  | **19x**   |
+| deeply nested object (243 leaves)               | 11K    | 27K    | **825K**         | 1.0M  | 125K  | **30x**   |
+| event log (combined)                            | 363K   | 795K   | **7.3M**         | —     | —     | 9.2x      |
+| object with transform (zero-capture)            | 1.1M   | 1.9M   | **6.7M**         | —     | —     | 3.5x      |
+| array 10 × transform (zero-capture)             | 121K   | 206K   | **4.1M**         | —     | —     | **20x**   |
+| array 50 × transform (zero-capture)             | 26K    | 41K    | **1.0M**         | —     | —     | **25x**   |
+| object with captured transform                  | 1.2M   | 7.9M   | **15.9M**        | —     | —     | 2.0x      |
+| object with captured refine (cross-field)       | 1.4M   | 2.2M   | **11.5M**        | —     | —     | 5.2x      |
+| object with superRefine (cross-field)           | 1.4M   | 2.1M   | **9.2M**         | —     | —     | 4.3x      |
+| coerced query object (valid)                    | 1.8M   | 2.9M   | **5.3M**         | —     | —     | 1.9x      |
+| coerced query object (invalid)                  | 1.0M   | 826K   | **10.3M**        | —     | —     | **12x**   |
+| preprocessed query object (valid)               | 433K   | 1.7M   | **5.3M**         | —     | —     | 3.2x      |
+| preprocessed query object (invalid)             | 392K   | 782K   | **12.3M**        | —     | —     | **16x**   |
 | stringbool config object (valid)                | —      | 2.8M   | **6.3M**         | —     | —     | 2.2x      |
-| stringbool config object (invalid)              | —      | 670K   | **13.8M**        | —     | —     | **21x**   |
-| custom/instanceof request (valid)               | 965K   | 3.1M   | **10.4M**        | —     | —     | 3.3x      |
-| custom/instanceof request (invalid)             | 784K   | 930K   | **10.2M**        | —     | —     | **11x**   |
-| disjoint object intersection (valid)            | 1.4M   | 1.6M   | **9.8M**         | —     | —     | 6.0x      |
-| disjoint object intersection (invalid)          | 493K   | 327K   | **15.4M**        | —     | —     | **47x**   |
+| stringbool config object (invalid)              | —      | 682K   | **13.2M**        | —     | —     | **19x**   |
+| custom/instanceof request (valid)               | 965K   | 3.1M   | **9.9M**         | —     | —     | 3.2x      |
+| custom/instanceof request (invalid)             | 786K   | 928K   | **13.2M**        | —     | —     | **14x**   |
+| disjoint object intersection (valid)            | 1.4M   | 1.6M   | **9.5M**         | —     | —     | 5.9x      |
+| disjoint object intersection (invalid)          | 488K   | 331K   | **15.3M**        | —     | —     | **46x**   |
 
 _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
@@ -662,10 +664,12 @@ failure, and is deferred until `.error` is read. A `z.object()` strips, so it in
 single pass that validates and rebuilds together and bails on the first failure, covering the reshaping
 idioms too (array size checks, `.refine()`, `.default()`, `.trim()`, `.transform()`).
 
-Regexes are pre-compiled with bounded repeats unrolled, checks run cheapest-first, discriminated unions
-dispatch through a `switch` on the tag (plain tagged unions are auto-discriminated into it, on the
-stripping pass as well as the fast check), and oversized check functions are split to stay within V8's
-optimizer budget. `z.email()` runs as a single linear scan instead of a backtracking regex, a record's
+Regexes are pre-compiled with bounded repeats unrolled, checks run cheapest-first on both passes (so a
+payload with a wrong boolean is rejected before its email is scanned, whichever was declared first),
+discriminated unions dispatch through a `switch` on the tag (plain tagged unions are auto-discriminated
+into it, on the stripping pass as well as the fast check, and the selected option re-checks neither
+object-ness nor the tag), and oversized check functions are split to stay within V8's optimizer budget.
+`.is()` stays a zero-allocation predicate on schemas with `.default()` fields. `z.email()` runs as a single linear scan instead of a backtracking regex, a record's
 plain-object guard exits on one comparison for an ordinary object, and a case-insensitive `stringbool`
 looks its input up verbatim before paying for `toLowerCase()`. Stripping objects, native coercions,
 `stringbool`, defaults, string rewrites, context-free preprocessors and synchronous transforms validate

package/dist/cli/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","names":[],"sources":["../../../src/cli/commands/check.ts"],"mappings":";UAkFiB;EACf;EACA;EACA;EACA;EACA;;iBAGoB,SAAS,SAAS,eAAe"}
+{"version":3,"file":"check.d.ts","names":[],"sources":["../../../src/cli/commands/check.ts"],"mappings":";UAmFiB;EACf;EACA;EACA;EACA;EACA;;iBAGoB,SAAS,SAAS,eAAe"}

package/dist/cli/commands/check.js

@@ -1,4 +1,5 @@
 import { discoverSchemas } from "../../discovery.js";
+import { isUnsupportedZodVersionError } from "../../core/extract/zod-version.js";
 import { extractSchema } from "../../core/extract/index.js";
 import { getErrorMessage } from "../errors.js";
 import { createColors, logger } from "../logger.js";
@@ -86,6 +87,10 @@ async function runCheck(options) {
 			try {
 				ir = extractSchema(s.schema, []);
 			} catch (e) {
+				if (isUnsupportedZodVersionError(e)) {
+					logger.error(getErrorMessage(e));
+					process.exit(1);
+				}
 				err(`${c.red}error${c.reset} Failed to extract "${s.exportName}" in ${relPath}: ${getErrorMessage(e)}`);
 				continue;
 			}

package/dist/cli/commands/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","names":[],"sources":["../../../src/cli/commands/check.ts"],"sourcesContent":["import fs from \"node:fs\";\nimport path from \"node:path\";\nimport process from \"node:process\";\nimport type { DiagnosticNode, DiagnosticResult } from \"../../core/diagnostic.js\";\nimport { diagnoseSchema } from \"../../core/diagnostic.js\";\nimport type { RefEntry } from \"../../core/extract/index.js\";\nimport { extractSchema } from \"../../core/extract/index.js\";\nimport type { DiscoveredSchema, SchemaIR } from \"../../core/types.js\";\nimport { discoverSchemas } from \"../../discovery.js\";\nimport { getErrorMessage } from \"../errors.js\";\nimport type { Colors } from \"../logger.js\";\nimport { createColors, logger } from \"../logger.js\";\n\n// ─── Tree Rendering ─────────────────────────────────────────────────────────\n\nfunction renderTree(node: DiagnosticNode, c: Colors, prefix = \"\", isLast = true): string[] {\n  const lines: string[] = [];\n  const connector = prefix === \"\" ? \"\" : isLast ? \"└─ \" : \"├─ \";\n  const childPrefix = prefix === \"\" ? \"\" : prefix + (isLast ? \"   \" : \"│  \");\n\n  const statusIcon = node.status === \"compiled\" ? `${c.green}✓${c.reset}` : `${c.red}✗${c.reset}`;\n  const typeLabel = `${c.bold}${node.type}${c.reset}`;\n  const pathLabel = node.path && node.path !== \"(root)\" ? ` ${c.dim}${node.path}${c.reset}` : \"\";\n  const reasonLabel =\n    node.status === \"fallback\" && node.reason ? ` ${c.yellow}(${node.reason})${c.reset}` : \"\";\n\n  lines.push(`${prefix}${connector}${statusIcon} ${typeLabel}${pathLabel}${reasonLabel}`);\n\n  if (node.status === \"fallback\" && node.hint) {\n    const hintPrefix = `${childPrefix}   `;\n    lines.push(`${hintPrefix}${c.dim}hint: ${node.hint}${c.reset}`);\n  }\n\n  for (const [i, child] of node.children.entries()) {\n    const last = i === node.children.length - 1;\n    lines.push(...renderTree(child, c, childPrefix, last));\n  }\n\n  return lines;\n}\n\n// ─── JSON Output ────────────────────────────────────────────────────────────\n\ninterface JsonSchemaReport {\n  exportName: string;\n  coverage: { total: number; compilable: number; percent: number };\n  fastPath: { eligible: boolean; blocker?: string };\n  fallbacks: { reason: string; path: string; hint: string }[];\n}\n\ninterface JsonReport {\n  file: string;\n  schemas: JsonSchemaReport[];\n}\n\nfunction buildJsonReport(\n  filePath: string,\n  results: { exportName: string; diagnostic: DiagnosticResult }[],\n): JsonReport {\n  return {\n    file: filePath,\n    schemas: results.map(({ exportName, diagnostic }) => {\n      const report: JsonSchemaReport = {\n        exportName,\n        coverage: {\n          total: diagnostic.total,\n          compilable: diagnostic.compilable,\n          percent: diagnostic.coveragePct,\n        },\n        fastPath: { eligible: diagnostic.fastPathEligible },\n        fallbacks: diagnostic.fallbacks,\n      };\n      if (diagnostic.fastPathBlocker) {\n        report.fastPath.blocker = diagnostic.fastPathBlocker;\n      }\n      return report;\n    }),\n  };\n}\n\n// ─── Command ────────────────────────────────────────────────────────────────\n\nexport interface CheckOptions {\n  inputs: string[];\n  json: boolean;\n  failUnder: number | undefined;\n  noColor: boolean;\n  autoDiscover: boolean;\n}\n\nexport async function runCheck(options: CheckOptions): Promise<void> {\n  // oxlint-disable-next-line no-console -- CLI output\n  const out = console.log;\n  // oxlint-disable-next-line no-console -- CLI output\n  const err = console.error;\n  const colorEnabled = !options.noColor && process.stdout.isTTY === true;\n  const c = createColors(colorEnabled);\n  const files: string[] = [];\n\n  for (const input of options.inputs) {\n    const absPath = path.resolve(input);\n    const stat = await fs.promises.stat(absPath).catch(() => null);\n\n    if (!stat) {\n      logger.error(`File not found: ${input}`);\n      process.exit(1);\n    }\n\n    if (stat.isDirectory()) {\n      logger.error(\"check command expects file paths, not directories.\");\n      process.exit(1);\n    }\n\n    files.push(absPath);\n  }\n\n  const allJsonReports: JsonReport[] = [];\n  let minCoverage = 100;\n  let schemasProcessed = 0;\n\n  for (const filePath of files) {\n    const relPath = path.relative(process.cwd(), filePath);\n\n    let schemas: DiscoveredSchema[];\n    try {\n      schemas = await discoverSchemas(filePath, { autoDiscover: options.autoDiscover });\n    } catch (e) {\n      logger.error(`Failed to load ${relPath}: ${getErrorMessage(e)}`);\n      process.exit(1);\n    }\n\n    if (schemas.length === 0) {\n      const hint = options.autoDiscover\n        ? \"no Zod schemas exported\"\n        : \"no compile() calls found (use --schemas auto to scan plain Zod exports)\";\n      logger.warn(`${relPath}: ${hint}`);\n      continue;\n    }\n\n    const results: { exportName: string; diagnostic: DiagnosticResult }[] = [];\n\n    for (const s of schemas) {\n      let ir: SchemaIR;\n      try {\n        // Collect refs exactly as the compile pipeline does. A callback that\n        // captures is compiled by REFERENCE through an `__rf[]` entry, which\n        // only happens when a ref table is present — extracting without one\n        // reports every captured refine/transform and every superRefine as a\n        // fallback, so `check` claimed 0% on schemas `generate` compiles in\n        // full and told the user to rewrite code that was already fast.\n        const refEntries: RefEntry[] = [];\n        ir = extractSchema(s.schema, refEntries);\n      } catch (e) {\n        err(\n          `${c.red}error${c.reset} Failed to extract \"${s.exportName}\" in ${relPath}: ${getErrorMessage(e)}`,\n        );\n        continue;\n      }\n      const diagnostic = diagnoseSchema(ir);\n      results.push({ exportName: s.exportName, diagnostic });\n      schemasProcessed++;\n\n      if (diagnostic.coveragePct < minCoverage) {\n        minCoverage = diagnostic.coveragePct;\n      }\n    }\n\n    if (options.json) {\n      allJsonReports.push(buildJsonReport(relPath, results));\n    } else {\n      out(`\\n${c.bold}${relPath}${c.reset}`);\n\n      for (const { exportName, diagnostic } of results) {\n        const pctColor = diagnostic.coveragePct === 100 ? c.green : c.yellow;\n        const fpLabel = diagnostic.fastPathEligible\n          ? `${c.green}Fast Path: eligible${c.reset}`\n          : `${c.yellow}Fast Path: ineligible${c.reset}${c.dim} (${diagnostic.fastPathBlocker})${c.reset}`;\n\n        out(\n          `\\n  ${c.cyan}${exportName}${c.reset} — ${pctColor}${diagnostic.coveragePct}%${c.reset} compiled (${diagnostic.compilable}/${diagnostic.total} nodes) | ${fpLabel}`,\n        );\n\n        const treeLines = renderTree(diagnostic.root, c, \"    \");\n        for (const line of treeLines) {\n          out(line);\n        }\n\n        if (diagnostic.fallbacks.length > 0) {\n          out(`\\n    ${c.yellow}Fallbacks:${c.reset}`);\n          for (const fb of diagnostic.fallbacks) {\n            out(`      ${c.red}✗${c.reset} ${fb.path} — ${fb.reason}`);\n            out(`        ${c.dim}${fb.hint}${c.reset}`);\n          }\n        }\n      }\n    }\n  }\n\n  if (options.json) {\n    out(JSON.stringify(allJsonReports, null, 2));\n  }\n\n  if (options.failUnder !== undefined) {\n    if (schemasProcessed === 0) {\n      logger.error(\"No schemas were analyzed — cannot satisfy --fail-under\");\n      process.exit(1);\n    }\n    if (minCoverage < options.failUnder) {\n      logger.error(`Coverage ${minCoverage}% is below threshold ${options.failUnder}%`);\n      process.exit(1);\n    }\n  } else if (schemasProcessed === 0) {\n    process.exit(1);\n  }\n}\n"],"mappings":";;;;;;;;;AAeA,SAAS,WAAW,MAAsB,GAAW,SAAS,IAAI,SAAS,MAAgB;CACzF,MAAM,QAAkB,CAAC;CACzB,MAAM,YAAY,WAAW,KAAK,KAAK,SAAS,QAAQ;CACxD,MAAM,cAAc,WAAW,KAAK,KAAK,UAAU,SAAS,QAAQ;CAEpE,MAAM,aAAa,KAAK,WAAW,aAAa,GAAG,EAAE,MAAM,GAAG,EAAE,UAAU,GAAG,EAAE,IAAI,GAAG,EAAE;CACxF,MAAM,YAAY,GAAG,EAAE,OAAO,KAAK,OAAO,EAAE;CAC5C,MAAM,YAAY,KAAK,QAAQ,KAAK,SAAS,WAAW,IAAI,EAAE,MAAM,KAAK,OAAO,EAAE,UAAU;CAC5F,MAAM,cACJ,KAAK,WAAW,cAAc,KAAK,SAAS,IAAI,EAAE,OAAO,GAAG,KAAK,OAAO,GAAG,EAAE,UAAU;CAEzF,MAAM,KAAK,GAAG,SAAS,YAAY,WAAW,GAAG,YAAY,YAAY,aAAa;CAEtF,IAAI,KAAK,WAAW,cAAc,KAAK,MAAM;EAC3C,MAAM,aAAa,GAAG,YAAY;EAClC,MAAM,KAAK,GAAG,aAAa,EAAE,IAAI,QAAQ,KAAK,OAAO,EAAE,OAAO;CAChE;CAEA,KAAK,MAAM,CAAC,GAAG,UAAU,KAAK,SAAS,QAAQ,GAAG;EAChD,MAAM,OAAO,MAAM,KAAK,SAAS,SAAS;EAC1C,MAAM,KAAK,GAAG,WAAW,OAAO,GAAG,aAAa,IAAI,CAAC;CACvD;CAEA,OAAO;AACT;AAgBA,SAAS,gBACP,UACA,SACY;CACZ,OAAO;EACL,MAAM;EACN,SAAS,QAAQ,KAAK,EAAE,YAAY,iBAAiB;GACnD,MAAM,SAA2B;IAC/B;IACA,UAAU;KACR,OAAO,WAAW;KAClB,YAAY,WAAW;KACvB,SAAS,WAAW;IACtB;IACA,UAAU,EAAE,UAAU,WAAW,iBAAiB;IAClD,WAAW,WAAW;GACxB;GACA,IAAI,WAAW,iBACb,OAAO,SAAS,UAAU,WAAW;GAEvC,OAAO;EACT,CAAC;CACH;AACF;AAYA,eAAsB,SAAS,SAAsC;CAEnE,MAAM,MAAM,QAAQ;CAEpB,MAAM,MAAM,QAAQ;CAEpB,MAAM,IAAI,aADW,CAAC,QAAQ,WAAW,QAAQ,OAAO,UAAU,IAC/B;CACnC,MAAM,QAAkB,CAAC;CAEzB,KAAK,MAAM,SAAS,QAAQ,QAAQ;EAClC,MAAM,UAAU,KAAK,QAAQ,KAAK;EAClC,MAAM,OAAO,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,YAAY,IAAI;EAE7D,IAAI,CAAC,MAAM;GACT,OAAO,MAAM,mBAAmB,OAAO;GACvC,QAAQ,KAAK,CAAC;EAChB;EAEA,IAAI,KAAK,YAAY,GAAG;GACtB,OAAO,MAAM,oDAAoD;GACjE,QAAQ,KAAK,CAAC;EAChB;EAEA,MAAM,KAAK,OAAO;CACpB;CAEA,MAAM,iBAA+B,CAAC;CACtC,IAAI,cAAc;CAClB,IAAI,mBAAmB;CAEvB,KAAK,MAAM,YAAY,OAAO;EAC5B,MAAM,UAAU,KAAK,SAAS,QAAQ,IAAI,GAAG,QAAQ;EAErD,IAAI;EACJ,IAAI;GACF,UAAU,MAAM,gBAAgB,UAAU,EAAE,cAAc,QAAQ,aAAa,CAAC;EAClF,SAAS,GAAG;GACV,OAAO,MAAM,kBAAkB,QAAQ,IAAI,gBAAgB,CAAC,GAAG;GAC/D,QAAQ,KAAK,CAAC;EAChB;EAEA,IAAI,QAAQ,WAAW,GAAG;GACxB,MAAM,OAAO,QAAQ,eACjB,4BACA;GACJ,OAAO,KAAK,GAAG,QAAQ,IAAI,MAAM;GACjC;EACF;EAEA,MAAM,UAAkE,CAAC;EAEzE,KAAK,MAAM,KAAK,SAAS;GACvB,IAAI;GACJ,IAAI;IAQF,KAAK,cAAc,EAAE,QAAQ,CAAS,CAAC;GACzC,SAAS,GAAG;IACV,IACE,GAAG,EAAE,IAAI,OAAO,EAAE,MAAM,sBAAsB,EAAE,WAAW,OAAO,QAAQ,IAAI,gBAAgB,CAAC,GACjG;IACA;GACF;GACA,MAAM,aAAa,eAAe,EAAE;GACpC,QAAQ,KAAK;IAAE,YAAY,EAAE;IAAY;GAAW,CAAC;GACrD;GAEA,IAAI,WAAW,cAAc,aAC3B,cAAc,WAAW;EAE7B;EAEA,IAAI,QAAQ,MACV,eAAe,KAAK,gBAAgB,SAAS,OAAO,CAAC;OAChD;GACL,IAAI,KAAK,EAAE,OAAO,UAAU,EAAE,OAAO;GAErC,KAAK,MAAM,EAAE,YAAY,gBAAgB,SAAS;IAChD,MAAM,WAAW,WAAW,gBAAgB,MAAM,EAAE,QAAQ,EAAE;IAC9D,MAAM,UAAU,WAAW,mBACvB,GAAG,EAAE,MAAM,qBAAqB,EAAE,UAClC,GAAG,EAAE,OAAO,uBAAuB,EAAE,QAAQ,EAAE,IAAI,IAAI,WAAW,gBAAgB,GAAG,EAAE;IAE3F,IACE,OAAO,EAAE,OAAO,aAAa,EAAE,MAAM,KAAK,WAAW,WAAW,YAAY,GAAG,EAAE,MAAM,aAAa,WAAW,WAAW,GAAG,WAAW,MAAM,YAAY,SAC5J;IAEA,MAAM,YAAY,WAAW,WAAW,MAAM,GAAG,MAAM;IACvD,KAAK,MAAM,QAAQ,WACjB,IAAI,IAAI;IAGV,IAAI,WAAW,UAAU,SAAS,GAAG;KACnC,IAAI,SAAS,EAAE,OAAO,YAAY,EAAE,OAAO;KAC3C,KAAK,MAAM,MAAM,WAAW,WAAW;MACrC,IAAI,SAAS,EAAE,IAAI,GAAG,EAAE,MAAM,GAAG,GAAG,KAAK,KAAK,GAAG,QAAQ;MACzD,IAAI,WAAW,EAAE,MAAM,GAAG,OAAO,EAAE,OAAO;KAC5C;IACF;GACF;EACF;CACF;CAEA,IAAI,QAAQ,MACV,IAAI,KAAK,UAAU,gBAAgB,MAAM,CAAC,CAAC;CAG7C,IAAI,QAAQ,cAAc,KAAA,GAAW;EACnC,IAAI,qBAAqB,GAAG;GAC1B,OAAO,MAAM,wDAAwD;GACrE,QAAQ,KAAK,CAAC;EAChB;EACA,IAAI,cAAc,QAAQ,WAAW;GACnC,OAAO,MAAM,YAAY,YAAY,uBAAuB,QAAQ,UAAU,EAAE;GAChF,QAAQ,KAAK,CAAC;EAChB;CACF,OAAO,IAAI,qBAAqB,GAC9B,QAAQ,KAAK,CAAC;AAElB"}
+{"version":3,"file":"check.js","names":[],"sources":["../../../src/cli/commands/check.ts"],"sourcesContent":["import fs from \"node:fs\";\nimport path from \"node:path\";\nimport process from \"node:process\";\nimport type { DiagnosticNode, DiagnosticResult } from \"../../core/diagnostic.js\";\nimport { diagnoseSchema } from \"../../core/diagnostic.js\";\nimport type { RefEntry } from \"../../core/extract/index.js\";\nimport { extractSchema } from \"../../core/extract/index.js\";\nimport { isUnsupportedZodVersionError } from \"../../core/extract/zod-version.js\";\nimport type { DiscoveredSchema, SchemaIR } from \"../../core/types.js\";\nimport { discoverSchemas } from \"../../discovery.js\";\nimport { getErrorMessage } from \"../errors.js\";\nimport type { Colors } from \"../logger.js\";\nimport { createColors, logger } from \"../logger.js\";\n\n// ─── Tree Rendering ─────────────────────────────────────────────────────────\n\nfunction renderTree(node: DiagnosticNode, c: Colors, prefix = \"\", isLast = true): string[] {\n  const lines: string[] = [];\n  const connector = prefix === \"\" ? \"\" : isLast ? \"└─ \" : \"├─ \";\n  const childPrefix = prefix === \"\" ? \"\" : prefix + (isLast ? \"   \" : \"│  \");\n\n  const statusIcon = node.status === \"compiled\" ? `${c.green}✓${c.reset}` : `${c.red}✗${c.reset}`;\n  const typeLabel = `${c.bold}${node.type}${c.reset}`;\n  const pathLabel = node.path && node.path !== \"(root)\" ? ` ${c.dim}${node.path}${c.reset}` : \"\";\n  const reasonLabel =\n    node.status === \"fallback\" && node.reason ? ` ${c.yellow}(${node.reason})${c.reset}` : \"\";\n\n  lines.push(`${prefix}${connector}${statusIcon} ${typeLabel}${pathLabel}${reasonLabel}`);\n\n  if (node.status === \"fallback\" && node.hint) {\n    const hintPrefix = `${childPrefix}   `;\n    lines.push(`${hintPrefix}${c.dim}hint: ${node.hint}${c.reset}`);\n  }\n\n  for (const [i, child] of node.children.entries()) {\n    const last = i === node.children.length - 1;\n    lines.push(...renderTree(child, c, childPrefix, last));\n  }\n\n  return lines;\n}\n\n// ─── JSON Output ────────────────────────────────────────────────────────────\n\ninterface JsonSchemaReport {\n  exportName: string;\n  coverage: { total: number; compilable: number; percent: number };\n  fastPath: { eligible: boolean; blocker?: string };\n  fallbacks: { reason: string; path: string; hint: string }[];\n}\n\ninterface JsonReport {\n  file: string;\n  schemas: JsonSchemaReport[];\n}\n\nfunction buildJsonReport(\n  filePath: string,\n  results: { exportName: string; diagnostic: DiagnosticResult }[],\n): JsonReport {\n  return {\n    file: filePath,\n    schemas: results.map(({ exportName, diagnostic }) => {\n      const report: JsonSchemaReport = {\n        exportName,\n        coverage: {\n          total: diagnostic.total,\n          compilable: diagnostic.compilable,\n          percent: diagnostic.coveragePct,\n        },\n        fastPath: { eligible: diagnostic.fastPathEligible },\n        fallbacks: diagnostic.fallbacks,\n      };\n      if (diagnostic.fastPathBlocker) {\n        report.fastPath.blocker = diagnostic.fastPathBlocker;\n      }\n      return report;\n    }),\n  };\n}\n\n// ─── Command ────────────────────────────────────────────────────────────────\n\nexport interface CheckOptions {\n  inputs: string[];\n  json: boolean;\n  failUnder: number | undefined;\n  noColor: boolean;\n  autoDiscover: boolean;\n}\n\nexport async function runCheck(options: CheckOptions): Promise<void> {\n  // oxlint-disable-next-line no-console -- CLI output\n  const out = console.log;\n  // oxlint-disable-next-line no-console -- CLI output\n  const err = console.error;\n  const colorEnabled = !options.noColor && process.stdout.isTTY === true;\n  const c = createColors(colorEnabled);\n  const files: string[] = [];\n\n  for (const input of options.inputs) {\n    const absPath = path.resolve(input);\n    const stat = await fs.promises.stat(absPath).catch(() => null);\n\n    if (!stat) {\n      logger.error(`File not found: ${input}`);\n      process.exit(1);\n    }\n\n    if (stat.isDirectory()) {\n      logger.error(\"check command expects file paths, not directories.\");\n      process.exit(1);\n    }\n\n    files.push(absPath);\n  }\n\n  const allJsonReports: JsonReport[] = [];\n  let minCoverage = 100;\n  let schemasProcessed = 0;\n\n  for (const filePath of files) {\n    const relPath = path.relative(process.cwd(), filePath);\n\n    let schemas: DiscoveredSchema[];\n    try {\n      schemas = await discoverSchemas(filePath, { autoDiscover: options.autoDiscover });\n    } catch (e) {\n      logger.error(`Failed to load ${relPath}: ${getErrorMessage(e)}`);\n      process.exit(1);\n    }\n\n    if (schemas.length === 0) {\n      const hint = options.autoDiscover\n        ? \"no Zod schemas exported\"\n        : \"no compile() calls found (use --schemas auto to scan plain Zod exports)\";\n      logger.warn(`${relPath}: ${hint}`);\n      continue;\n    }\n\n    const results: { exportName: string; diagnostic: DiagnosticResult }[] = [];\n\n    for (const s of schemas) {\n      let ir: SchemaIR;\n      try {\n        // Collect refs exactly as the compile pipeline does. A callback that\n        // captures is compiled by REFERENCE through an `__rf[]` entry, which\n        // only happens when a ref table is present — extracting without one\n        // reports every captured refine/transform and every superRefine as a\n        // fallback, so `check` claimed 0% on schemas `generate` compiles in\n        // full and told the user to rewrite code that was already fast.\n        const refEntries: RefEntry[] = [];\n        ir = extractSchema(s.schema, refEntries);\n      } catch (e) {\n        // An unsupported zod fails every schema identically, and nothing after\n        // it can compile: report it once and stop, rather than once per export\n        // followed by a coverage table that says 0% everywhere.\n        if (isUnsupportedZodVersionError(e)) {\n          logger.error(getErrorMessage(e));\n          process.exit(1);\n        }\n        err(\n          `${c.red}error${c.reset} Failed to extract \"${s.exportName}\" in ${relPath}: ${getErrorMessage(e)}`,\n        );\n        continue;\n      }\n      const diagnostic = diagnoseSchema(ir);\n      results.push({ exportName: s.exportName, diagnostic });\n      schemasProcessed++;\n\n      if (diagnostic.coveragePct < minCoverage) {\n        minCoverage = diagnostic.coveragePct;\n      }\n    }\n\n    if (options.json) {\n      allJsonReports.push(buildJsonReport(relPath, results));\n    } else {\n      out(`\\n${c.bold}${relPath}${c.reset}`);\n\n      for (const { exportName, diagnostic } of results) {\n        const pctColor = diagnostic.coveragePct === 100 ? c.green : c.yellow;\n        const fpLabel = diagnostic.fastPathEligible\n          ? `${c.green}Fast Path: eligible${c.reset}`\n          : `${c.yellow}Fast Path: ineligible${c.reset}${c.dim} (${diagnostic.fastPathBlocker})${c.reset}`;\n\n        out(\n          `\\n  ${c.cyan}${exportName}${c.reset} — ${pctColor}${diagnostic.coveragePct}%${c.reset} compiled (${diagnostic.compilable}/${diagnostic.total} nodes) | ${fpLabel}`,\n        );\n\n        const treeLines = renderTree(diagnostic.root, c, \"    \");\n        for (const line of treeLines) {\n          out(line);\n        }\n\n        if (diagnostic.fallbacks.length > 0) {\n          out(`\\n    ${c.yellow}Fallbacks:${c.reset}`);\n          for (const fb of diagnostic.fallbacks) {\n            out(`      ${c.red}✗${c.reset} ${fb.path} — ${fb.reason}`);\n            out(`        ${c.dim}${fb.hint}${c.reset}`);\n          }\n        }\n      }\n    }\n  }\n\n  if (options.json) {\n    out(JSON.stringify(allJsonReports, null, 2));\n  }\n\n  if (options.failUnder !== undefined) {\n    if (schemasProcessed === 0) {\n      logger.error(\"No schemas were analyzed — cannot satisfy --fail-under\");\n      process.exit(1);\n    }\n    if (minCoverage < options.failUnder) {\n      logger.error(`Coverage ${minCoverage}% is below threshold ${options.failUnder}%`);\n      process.exit(1);\n    }\n  } else if (schemasProcessed === 0) {\n    process.exit(1);\n  }\n}\n"],"mappings":";;;;;;;;;;AAgBA,SAAS,WAAW,MAAsB,GAAW,SAAS,IAAI,SAAS,MAAgB;CACzF,MAAM,QAAkB,CAAC;CACzB,MAAM,YAAY,WAAW,KAAK,KAAK,SAAS,QAAQ;CACxD,MAAM,cAAc,WAAW,KAAK,KAAK,UAAU,SAAS,QAAQ;CAEpE,MAAM,aAAa,KAAK,WAAW,aAAa,GAAG,EAAE,MAAM,GAAG,EAAE,UAAU,GAAG,EAAE,IAAI,GAAG,EAAE;CACxF,MAAM,YAAY,GAAG,EAAE,OAAO,KAAK,OAAO,EAAE;CAC5C,MAAM,YAAY,KAAK,QAAQ,KAAK,SAAS,WAAW,IAAI,EAAE,MAAM,KAAK,OAAO,EAAE,UAAU;CAC5F,MAAM,cACJ,KAAK,WAAW,cAAc,KAAK,SAAS,IAAI,EAAE,OAAO,GAAG,KAAK,OAAO,GAAG,EAAE,UAAU;CAEzF,MAAM,KAAK,GAAG,SAAS,YAAY,WAAW,GAAG,YAAY,YAAY,aAAa;CAEtF,IAAI,KAAK,WAAW,cAAc,KAAK,MAAM;EAC3C,MAAM,aAAa,GAAG,YAAY;EAClC,MAAM,KAAK,GAAG,aAAa,EAAE,IAAI,QAAQ,KAAK,OAAO,EAAE,OAAO;CAChE;CAEA,KAAK,MAAM,CAAC,GAAG,UAAU,KAAK,SAAS,QAAQ,GAAG;EAChD,MAAM,OAAO,MAAM,KAAK,SAAS,SAAS;EAC1C,MAAM,KAAK,GAAG,WAAW,OAAO,GAAG,aAAa,IAAI,CAAC;CACvD;CAEA,OAAO;AACT;AAgBA,SAAS,gBACP,UACA,SACY;CACZ,OAAO;EACL,MAAM;EACN,SAAS,QAAQ,KAAK,EAAE,YAAY,iBAAiB;GACnD,MAAM,SAA2B;IAC/B;IACA,UAAU;KACR,OAAO,WAAW;KAClB,YAAY,WAAW;KACvB,SAAS,WAAW;IACtB;IACA,UAAU,EAAE,UAAU,WAAW,iBAAiB;IAClD,WAAW,WAAW;GACxB;GACA,IAAI,WAAW,iBACb,OAAO,SAAS,UAAU,WAAW;GAEvC,OAAO;EACT,CAAC;CACH;AACF;AAYA,eAAsB,SAAS,SAAsC;CAEnE,MAAM,MAAM,QAAQ;CAEpB,MAAM,MAAM,QAAQ;CAEpB,MAAM,IAAI,aADW,CAAC,QAAQ,WAAW,QAAQ,OAAO,UAAU,IAC/B;CACnC,MAAM,QAAkB,CAAC;CAEzB,KAAK,MAAM,SAAS,QAAQ,QAAQ;EAClC,MAAM,UAAU,KAAK,QAAQ,KAAK;EAClC,MAAM,OAAO,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,YAAY,IAAI;EAE7D,IAAI,CAAC,MAAM;GACT,OAAO,MAAM,mBAAmB,OAAO;GACvC,QAAQ,KAAK,CAAC;EAChB;EAEA,IAAI,KAAK,YAAY,GAAG;GACtB,OAAO,MAAM,oDAAoD;GACjE,QAAQ,KAAK,CAAC;EAChB;EAEA,MAAM,KAAK,OAAO;CACpB;CAEA,MAAM,iBAA+B,CAAC;CACtC,IAAI,cAAc;CAClB,IAAI,mBAAmB;CAEvB,KAAK,MAAM,YAAY,OAAO;EAC5B,MAAM,UAAU,KAAK,SAAS,QAAQ,IAAI,GAAG,QAAQ;EAErD,IAAI;EACJ,IAAI;GACF,UAAU,MAAM,gBAAgB,UAAU,EAAE,cAAc,QAAQ,aAAa,CAAC;EAClF,SAAS,GAAG;GACV,OAAO,MAAM,kBAAkB,QAAQ,IAAI,gBAAgB,CAAC,GAAG;GAC/D,QAAQ,KAAK,CAAC;EAChB;EAEA,IAAI,QAAQ,WAAW,GAAG;GACxB,MAAM,OAAO,QAAQ,eACjB,4BACA;GACJ,OAAO,KAAK,GAAG,QAAQ,IAAI,MAAM;GACjC;EACF;EAEA,MAAM,UAAkE,CAAC;EAEzE,KAAK,MAAM,KAAK,SAAS;GACvB,IAAI;GACJ,IAAI;IAQF,KAAK,cAAc,EAAE,QAAQ,CAAS,CAAC;GACzC,SAAS,GAAG;IAIV,IAAI,6BAA6B,CAAC,GAAG;KACnC,OAAO,MAAM,gBAAgB,CAAC,CAAC;KAC/B,QAAQ,KAAK,CAAC;IAChB;IACA,IACE,GAAG,EAAE,IAAI,OAAO,EAAE,MAAM,sBAAsB,EAAE,WAAW,OAAO,QAAQ,IAAI,gBAAgB,CAAC,GACjG;IACA;GACF;GACA,MAAM,aAAa,eAAe,EAAE;GACpC,QAAQ,KAAK;IAAE,YAAY,EAAE;IAAY;GAAW,CAAC;GACrD;GAEA,IAAI,WAAW,cAAc,aAC3B,cAAc,WAAW;EAE7B;EAEA,IAAI,QAAQ,MACV,eAAe,KAAK,gBAAgB,SAAS,OAAO,CAAC;OAChD;GACL,IAAI,KAAK,EAAE,OAAO,UAAU,EAAE,OAAO;GAErC,KAAK,MAAM,EAAE,YAAY,gBAAgB,SAAS;IAChD,MAAM,WAAW,WAAW,gBAAgB,MAAM,EAAE,QAAQ,EAAE;IAC9D,MAAM,UAAU,WAAW,mBACvB,GAAG,EAAE,MAAM,qBAAqB,EAAE,UAClC,GAAG,EAAE,OAAO,uBAAuB,EAAE,QAAQ,EAAE,IAAI,IAAI,WAAW,gBAAgB,GAAG,EAAE;IAE3F,IACE,OAAO,EAAE,OAAO,aAAa,EAAE,MAAM,KAAK,WAAW,WAAW,YAAY,GAAG,EAAE,MAAM,aAAa,WAAW,WAAW,GAAG,WAAW,MAAM,YAAY,SAC5J;IAEA,MAAM,YAAY,WAAW,WAAW,MAAM,GAAG,MAAM;IACvD,KAAK,MAAM,QAAQ,WACjB,IAAI,IAAI;IAGV,IAAI,WAAW,UAAU,SAAS,GAAG;KACnC,IAAI,SAAS,EAAE,OAAO,YAAY,EAAE,OAAO;KAC3C,KAAK,MAAM,MAAM,WAAW,WAAW;MACrC,IAAI,SAAS,EAAE,IAAI,GAAG,EAAE,MAAM,GAAG,GAAG,KAAK,KAAK,GAAG,QAAQ;MACzD,IAAI,WAAW,EAAE,MAAM,GAAG,OAAO,EAAE,OAAO;KAC5C;IACF;GACF;EACF;CACF;CAEA,IAAI,QAAQ,MACV,IAAI,KAAK,UAAU,gBAAgB,MAAM,CAAC,CAAC;CAG7C,IAAI,QAAQ,cAAc,KAAA,GAAW;EACnC,IAAI,qBAAqB,GAAG;GAC1B,OAAO,MAAM,wDAAwD;GACrE,QAAQ,KAAK,CAAC;EAChB;EACA,IAAI,cAAc,QAAQ,WAAW;GACnC,OAAO,MAAM,YAAY,YAAY,uBAAuB,QAAQ,UAAU,EAAE;GAChF,QAAQ,KAAK,CAAC;EAChB;CACF,OAAO,IAAI,qBAAqB,GAC9B,QAAQ,KAAK,CAAC;AAElB"}

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":";;;;iBAyLgB,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":";;;;iBAuMgB,eAAe,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAiCnB,kBAAkB,IAAI;;;;;;;;;;;iBAmFtB,sBAAsB,IAAI;;;;;;iBAmD1B,cAAc,IAAI,UAAU,KAAK"}

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

@@ -1,8 +1,8 @@
 import { declareFastTemps, emitEffectCallable, emitEffectFn, emitPooledConstant, emitRuntimeHelper, emitTemp, escapeString, hasMutation, keyMembershipTest, literalToJs, needsProtoScrub, outputAlwaysDefined, rejectsUndefined, tupleRewritesShortInput } from "./context.js";
-import { ZC_HOP_DECL, ZC_PLAIN_DECL, ZC_PROTO_SCRUB_DECL } from "./issue-decls.js";
+import { ZC_ASYNC_DECL, ZC_HOP_DECL, ZC_PLAIN_DECL, ZC_PROTO_SCRUB_DECL } from "./issue-decls.js";
 import { defaultValueExpr, needsPostInnerDefault } from "./schemas/default.js";
 import { detectUnionDiscriminator } from "./schemas/discriminated-union.js";
-import { estimateFastCost, predictedInlineSize } from "./fast-size.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";
@@ -220,7 +220,11 @@ function emitFailSentinel(ctx) {
 * and 354 KB on the deep fixtures — far past the bytecode size where V8 stops
 * running TurboFan on it, which would forfeit the speed this path exists for.
 */
-function build(ir, input, g) {
+function build(ir, input, caller) {
+	const g = caller.discSkipKey !== void 0 && ir.type !== "object" && ir.type !== "readonly" && ir.type !== "zodDelegate" ? {
+		...caller,
+		discSkipKey: void 0
+	} : caller;
 	if (ir.type === "recursiveRef") return buildRecursiveCall(ir.refId ?? 0, input, g);
 	if (ir.type === "recursionTarget") return buildRecursionTarget(ir, input, g);
 	if (!g.rebuilds.has(ir)) return passthrough(ir, input, g);
@@ -246,8 +250,56 @@ function build(ir, input, g) {
 	if (out !== null) g.scope.used = before + out.code.length;
 	return out;
 }
+/**
+* The order an object's properties are validated in: cheapest first, as the
+* fast path orders its conjuncts (see estimateRuntimeCost), so rejected input
+* is decided by a type guard rather than by the most expensive check that
+* happens to be declared first — `safeParse` on a payload with a wrong boolean
+* used to cost the email scan before it looked at the boolean. Accepted input
+* runs every property whatever the order, and the output literal is assembled
+* in shape order regardless, so a passing parse is unchanged.
+*
+* Properties whose parse can be OBSERVED to run are pinned: they keep their
+* declaration order among themselves and run after every free property, so
+* two transforms sharing state still fire in zod's order on a successful
+* parse, and a rejected one fires neither (a failing parse never guaranteed
+* that its effects ran — this pass bails at the first bad check). What counts
+* as observable is user code and value construction: a transform or
+* preprocess, a `.default()` (a function default is invoked on read), a
+* `.catch()`, a coercion (`Number(x)` reaches a `valueOf`), an overwrite, a
+* delegate, and a recursion edge, whose target is not inspected. A `.refine()`
+* is not pinned — it is a predicate, and the fast path already reorders it.
+*/
+function orderedForBuild(properties, ctx) {
+	const pinned = properties.filter(([, propIR]) => orderSensitive(propIR));
+	if (pinned.length === properties.length) return properties;
+	return [...orderByRuntimeCost(properties.filter(([, propIR]) => !orderSensitive(propIR)), ([, propIR]) => propIR, ctx), ...pinned];
+}
+/** Does running this subtree do anything a caller could observe besides the verdict? */
+function orderSensitive(ir) {
+	switch (ir.type) {
+		case "effect":
+		case "default":
+		case "catch":
+		case "fallback":
+		case "zodDelegate":
+		case "recursiveRef":
+		case "recursionTarget": return true;
+		case "string":
+			if (ir.coerce === true || ir.checks.some((c) => c.kind === "overwrite_effect")) return true;
+			break;
+		case "number":
+		case "boolean":
+		case "bigint":
+		case "date":
+			if (ir.coerce === true) return true;
+			break;
+		default: break;
+	}
+	return children(ir).some(orderSensitive);
+}
 /** Host `ir`'s build in its own function over a fresh parameter; returns its name. */
-function hostBuild(ir, g) {
+function hostBuild(ir, g, discSkipKey) {
 	const param = emitTemp(g.ctx, "bp");
 	const scope = {
 		temps: [],
@@ -256,7 +308,8 @@ function hostBuild(ir, g) {
 	const inner = build(ir, param, {
 		...g,
 		extractable: false,
-		scope
+		scope,
+		discSkipKey
 	});
 	if (inner === null) return null;
 	const name = emitTemp(g.ctx, "vb");
@@ -415,7 +468,7 @@ function buildDispatch(discriminator, cases, options, input, g) {
 		if (fn === void 0) {
 			const option = options[index];
 			if (option === void 0) return null;
-			const hosted = g.rebuilds.has(option) ? hostBuild(option, g) : hostPassthrough(option, g);
+			const hosted = g.rebuilds.has(option) ? hostBuild(option, g, discriminator) : hostPassthrough(option, g, discriminator);
 			if (hosted === null) return null;
 			fn = hosted;
 			hostedByOption.set(index, fn);
@@ -432,13 +485,13 @@ function buildDispatch(discriminator, cases, options, input, g) {
 * Host a non-rebuilding option as `value-or-FAIL`, so a union can probe it with
 * the same protocol as a rebuilding one.
 */
-function hostPassthrough(ir, g) {
+function hostPassthrough(ir, g, discSkipKey) {
 	const param = emitTemp(g.ctx, "bp");
 	const scope = {
 		temps: [],
 		used: 0
 	};
-	const expr = generateFast(ir, createFastGen(param, g.ctx, true, scope));
+	const expr = generateFast(ir, createFastGen(param, g.ctx, true, scope, discSkipKey));
 	if (expr === null) return null;
 	const name = emitTemp(g.ctx, "vp");
 	g.ctx.preamble.push(`function ${name}(${param}){${declareFastTemps(scope)}return ${expr === "true" ? param : `(${expr})?${param}:${g.fail}`};}`);
@@ -451,7 +504,7 @@ function hostPassthrough(ir, g) {
 * key is present, so the ordinary value is still returned by reference.
 */
 function passthrough(ir, input, g) {
-	const expr = generateFast(ir, createFastGen(input, g.ctx, true, g.scope));
+	const expr = generateFast(ir, createFastGen(input, g.ctx, true, g.scope, g.discSkipKey));
 	if (expr === null) return null;
 	const guard = expr === "true" ? "" : `if(!(${expr}))return ${g.fail};`;
 	if (!needsProtoScrub(ir)) return {
@@ -496,26 +549,41 @@ function buildObject(ir, input, g) {
 	const nonoptional = new Set(ir.nonoptionalKeys ?? []);
 	const refines = ir.checks ?? [];
 	if (refines.some((check) => check.kind !== "refine_effect")) return null;
-	let code = `if(typeof ${input}!=="object"||${input}===null||Array.isArray(${input}))return ${g.fail};`;
+	const skipKey = g.discSkipKey;
+	const childGen = skipKey === void 0 ? g : {
+		...g,
+		discSkipKey: void 0
+	};
+	let code = skipKey === void 0 ? `if(typeof ${input}!=="object"||${input}===null||Array.isArray(${input}))return ${g.fail};` : "";
 	if (ir.strict === true) {
 		const keyVar = local(g, "bk");
 		code += `for(${keyVar} in ${input}){if(!(${keyMembershipTest(g.ctx, Object.keys(ir.properties), keyVar)}))return ${g.fail};}`;
 	}
-	const slots = [];
-	for (const [key, propIR] of parsedProperties(ir)) {
+	const properties = parsedProperties(ir);
+	const built = /* @__PURE__ */ new Map();
+	for (const [key, propIR] of orderedForBuild(properties, g.ctx)) {
 		const keyStr = escapeString(key);
 		const slot = local(g, "bv");
+		if (key === skipKey && !g.rebuilds.has(propIR)) {
+			code += `${slot}=${input}[${keyStr}];`;
+			built.set(key, {
+				code: "",
+				value: slot
+			});
+			continue;
+		}
 		if (nonoptional.has(key)) code += `if(!(${keyStr} in ${input}))return ${g.fail};`;
 		code += `${slot}=${input}[${keyStr}];`;
-		const propBuilt = build(propIR, slot, g);
+		const propBuilt = build(propIR, slot, childGen);
 		if (propBuilt === null) return null;
 		code += propBuilt.code;
-		slots.push({
-			always: outputAlwaysDefined(propIR),
-			keyStr,
-			value: propBuilt.value
-		});
+		built.set(key, propBuilt);
 	}
+	const slots = properties.map(([key, propIR]) => ({
+		always: outputAlwaysDefined(propIR),
+		keyStr: escapeString(key),
+		value: built.get(key).value
+	}));
 	const out = local(g, "bo");
 	const literal = [];
 	let appends = "";
@@ -529,12 +597,23 @@ function buildObject(ir, input, g) {
 		appends += slot.always ? `${out}[${slot.keyStr}]=${slot.value};` : `if(${slot.value}!==undefined||(${slot.keyStr} in ${input})){${out}[${slot.keyStr}]=${slot.value};}`;
 	}
 	code += `${out}={${literal.join(",")}};${appends}`;
-	for (const check of refines) code += `if(!${emitEffectCallable(g.ctx, check)}(${out}))return ${g.fail};`;
+	for (const check of refines) code += buildRefine(check, out, g);
 	return {
 		code,
 		value: out
 	};
 }
+/**
+* A `.refine()` predicate on the build path: FAIL on a falsy verdict, and
+* zod's synchronous-parse error on a Promise — which is truthy, so an
+* unguarded test would accept the input (see ZC_ASYNC_DECL). The verdict is
+* bound to a local so the Promise test reads it once.
+*/
+function buildRefine(check, value, g) {
+	const asy = emitRuntimeHelper(g.ctx, "__zcAsy", ZC_ASYNC_DECL);
+	const verdict = local(g, "br");
+	return `${verdict}=${emitEffectCallable(g.ctx, check)}(${value});if(${verdict} instanceof Promise)${asy}();if(!${verdict})return ${g.fail};`;
+}
 function buildArray(ir, input, g) {
 	let sizes = "";
 	const refines = [];
@@ -559,7 +638,7 @@ function buildArray(ir, input, g) {
 	const inner = build(ir.element, elem, g);
 	if (inner === null) return null;
 	let code = `if(!Array.isArray(${input}))return ${g.fail};` + sizes + `${out}=new Array(${input}.length);for(${index}=0;${index}<${input}.length;${index}++){${elem}=${input}[${index}];${inner.code}${out}[${index}]=${inner.value};}`;
-	for (const check of refines) code += `if(!${emitEffectCallable(g.ctx, check)}(${out}))return ${g.fail};`;
+	for (const check of refines) code += buildRefine(check, out, g);
 	return {
 		code,
 		value: out
@@ -610,12 +689,13 @@ function buildRecord(ir, input, g) {
 * (see extractPipe), so there is no parse context to reproduce.
 */
 function buildEffect(ir, input, g) {
+	const asy = emitRuntimeHelper(g.ctx, "__zcAsy", ZC_ASYNC_DECL);
 	if (ir.effectKind === "preprocess") {
 		const value = local(g, "bpv");
 		const inner = build(ir.inner, value, g);
 		if (inner === null) return null;
 		return {
-			code: `${value}=${emitEffectCallable(g.ctx, ir)}(${input});${inner.code}`,
+			code: `${value}=${emitEffectCallable(g.ctx, ir)}(${input});if(${value} instanceof Promise)${asy}();${inner.code}`,
 			value: inner.value
 		};
 	}
@@ -623,7 +703,7 @@ function buildEffect(ir, input, g) {
 	if (inner === null) return null;
 	const out = local(g, "bx");
 	return {
-		code: `${inner.code}${out}=${emitEffectCallable(g.ctx, ir)}(${inner.value});`,
+		code: `${inner.code}${out}=${emitEffectCallable(g.ctx, ir)}(${inner.value});if(${out} instanceof Promise)${asy}();`,
 		value: out
 	};
 }
@@ -647,7 +727,7 @@ function buildString(ir, input, g) {
 			code += `${value}=${emitEffectFn(g.ctx, check.source)}(${value});`;
 			break;
 		case "refine_effect":
-			code += `if(!${emitEffectCallable(g.ctx, check)}(${value}))return ${g.fail};`;
+			code += buildRefine(check, value, g);
 			break;
 		case "super_refine_effect": return null;
 		default: {
@@ -750,15 +830,14 @@ function buildCoercedPrimitive(ir, input, g) {
 * `slowDefault` emits, reading the value off the retained schema so a
 * reference-typed default keeps zod's identity (one shared object, not a copy).
 *
-* The substituted value is not validated, so it makes the fast path a PARTIAL
-* predicate (`fc(undefined)` is false where the schema accepts) — which is why
-* this records {@link CodeGenContext.buildSubstitutesValue}, on which
-* `generateValidator` withholds `.is()`.
+* The substituted value is not validated. The by-reference fast form refuses
+* `undefined` for that reason (it would hand the input back, not the default);
+* the acceptance form `.is()` runs accepts it, as the schema does — see
+* fastDefault.
 */
 function buildDefault(ir, input, g) {
 	const inner = build(ir.inner, input, g);
 	if (inner === null) return null;
-	g.ctx.buildSubstitutesValue = true;
 	const out = local(g, "bq");
 	const value = defaultValueExpr(ir);
 	const reapply = needsPostInnerDefault(ir) ? `if(${out}===undefined){${out}=${value};}` : "";