@es-joy/jsoe 0.26.1 → 0.27.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (124) hide show
  1. package/.gitignore +10 -0
  2. package/.npmignore +9 -0
  3. package/CHANGES.md +43 -0
  4. package/README.md +3 -3
  5. package/badges/coverage-badge.svg +1 -1
  6. package/dist/formats/schema.d.ts.map +1 -1
  7. package/dist/fundamentalTypes/arrayType.d.ts.map +1 -1
  8. package/dist/fundamentalTypes/stringType.d.ts.map +1 -1
  9. package/dist/index.js +2 -2
  10. package/dist/index.js.map +1 -1
  11. package/dist/typeChoices.d.ts.map +1 -1
  12. package/dist/types.d.ts.map +1 -1
  13. package/eslint.config.js +36 -27
  14. package/package.json +12 -11
  15. package/pnpm-workspace.yaml +3 -2
  16. package/src/formats/schema.js +35 -6
  17. package/src/fundamentalTypes/arrayType.js +30 -6
  18. package/src/fundamentalTypes/stringType.js +5 -0
  19. package/src/typeChoices.js +3 -1
  20. package/src/types.js +7 -0
  21. package/vendor/typeson-registry/dist/index.js +83 -10
  22. package/vendor/zod/classic/checks.d.ts +1 -1
  23. package/vendor/zod/classic/checks.js +1 -1
  24. package/vendor/zod/classic/external.d.ts +1 -1
  25. package/vendor/zod/classic/external.js +1 -1
  26. package/vendor/zod/classic/from-json-schema.js +245 -24
  27. package/vendor/zod/classic/schemas.d.ts +17 -1
  28. package/vendor/zod/classic/schemas.js +77 -29
  29. package/vendor/zod/core/api.d.ts +6 -4
  30. package/vendor/zod/core/api.js +17 -2
  31. package/vendor/zod/core/checks.d.ts +1 -1
  32. package/vendor/zod/core/checks.js +0 -96
  33. package/vendor/zod/core/compile.d.ts +18 -4
  34. package/vendor/zod/core/compile.js +146 -67
  35. package/vendor/zod/core/doc.js +7 -2
  36. package/vendor/zod/core/errors.js +2 -5
  37. package/vendor/zod/core/json-schema-generator.js +2 -2
  38. package/vendor/zod/core/json-schema-processors.d.ts +17 -0
  39. package/vendor/zod/core/json-schema-processors.js +195 -64
  40. package/vendor/zod/core/memoizer.js +72 -23
  41. package/vendor/zod/core/parse.js +37 -16
  42. package/vendor/zod/core/regexes.d.ts +2 -0
  43. package/vendor/zod/core/regexes.js +8 -4
  44. package/vendor/zod/core/schemas.d.ts +42 -7
  45. package/vendor/zod/core/schemas.js +301 -94
  46. package/vendor/zod/core/to-json-schema.d.ts +7 -3
  47. package/vendor/zod/core/to-json-schema.js +8 -7
  48. package/vendor/zod/core/util.d.ts +25 -4
  49. package/vendor/zod/core/util.js +160 -143
  50. package/vendor/zod/core/versions.d.ts +1 -1
  51. package/vendor/zod/core/versions.js +2 -2
  52. package/vendor/zod/core/visit.js +12 -0
  53. package/vendor/zod/locales/ar.js +1 -0
  54. package/vendor/zod/locales/az.js +1 -0
  55. package/vendor/zod/locales/be.js +1 -0
  56. package/vendor/zod/locales/bg.js +1 -0
  57. package/vendor/zod/locales/bn.js +1 -0
  58. package/vendor/zod/locales/ca.js +1 -0
  59. package/vendor/zod/locales/ckb.js +1 -0
  60. package/vendor/zod/locales/cs.js +1 -0
  61. package/vendor/zod/locales/da.js +1 -0
  62. package/vendor/zod/locales/de.js +1 -0
  63. package/vendor/zod/locales/el.js +1 -0
  64. package/vendor/zod/locales/en.js +1 -0
  65. package/vendor/zod/locales/eo.js +1 -0
  66. package/vendor/zod/locales/es.js +1 -0
  67. package/vendor/zod/locales/fa.js +1 -0
  68. package/vendor/zod/locales/fi.js +1 -0
  69. package/vendor/zod/locales/fr-CA.js +1 -0
  70. package/vendor/zod/locales/fr.js +1 -0
  71. package/vendor/zod/locales/gu.js +1 -0
  72. package/vendor/zod/locales/he.js +1 -0
  73. package/vendor/zod/locales/hi.js +1 -0
  74. package/vendor/zod/locales/hr.js +1 -0
  75. package/vendor/zod/locales/hu.js +1 -0
  76. package/vendor/zod/locales/hy.js +1 -0
  77. package/vendor/zod/locales/id.js +1 -0
  78. package/vendor/zod/locales/index.d.ts +1 -0
  79. package/vendor/zod/locales/index.js +1 -0
  80. package/vendor/zod/locales/is.js +1 -0
  81. package/vendor/zod/locales/it.js +1 -0
  82. package/vendor/zod/locales/ja.js +1 -0
  83. package/vendor/zod/locales/ka.js +1 -0
  84. package/vendor/zod/locales/km.js +1 -0
  85. package/vendor/zod/locales/kn.js +1 -0
  86. package/vendor/zod/locales/ko.js +1 -0
  87. package/vendor/zod/locales/lt.js +1 -0
  88. package/vendor/zod/locales/mk.js +1 -0
  89. package/vendor/zod/locales/ms.js +1 -0
  90. package/vendor/zod/locales/ne.js +1 -0
  91. package/vendor/zod/locales/nl.js +1 -0
  92. package/vendor/zod/locales/nn.js +1 -0
  93. package/vendor/zod/locales/no.js +1 -0
  94. package/vendor/zod/locales/ota.js +1 -0
  95. package/vendor/zod/locales/pl.js +1 -0
  96. package/vendor/zod/locales/ps.js +1 -0
  97. package/vendor/zod/locales/pt-BR.js +1 -0
  98. package/vendor/zod/locales/pt.js +1 -0
  99. package/vendor/zod/locales/ro.js +1 -0
  100. package/vendor/zod/locales/ru.js +1 -0
  101. package/vendor/zod/locales/sk.js +1 -0
  102. package/vendor/zod/locales/sl.js +1 -0
  103. package/vendor/zod/locales/sv.js +1 -0
  104. package/vendor/zod/locales/ta.js +1 -0
  105. package/vendor/zod/locales/tg.d.ts +4 -0
  106. package/vendor/zod/locales/tg.js +116 -0
  107. package/vendor/zod/locales/th.js +1 -0
  108. package/vendor/zod/locales/tk.js +1 -0
  109. package/vendor/zod/locales/tr.js +1 -0
  110. package/vendor/zod/locales/uk.js +1 -0
  111. package/vendor/zod/locales/ur.js +1 -0
  112. package/vendor/zod/locales/uz.js +1 -0
  113. package/vendor/zod/locales/vi.js +1 -0
  114. package/vendor/zod/locales/yo.js +1 -0
  115. package/vendor/zod/locales/zh-CN.js +1 -0
  116. package/vendor/zod/locales/zh-TW.js +1 -0
  117. package/vendor/zod/mini/checks.d.ts +1 -1
  118. package/vendor/zod/mini/checks.js +1 -1
  119. package/vendor/zod/mini/external.d.ts +1 -1
  120. package/vendor/zod/mini/external.js +1 -1
  121. package/vendor/zod/mini/schemas.d.ts +8 -0
  122. package/vendor/zod/mini/schemas.js +19 -2
  123. package/vendor/zodexy/dist/esm/index.js +34 -1
  124. package/vendor/zodexy/dist/schema.zodexy.json +18 -0
@@ -26,16 +26,6 @@ const numericOriginMap = {
26
26
  export const $ZodCheckLessThan = /*@__PURE__*/ core.$constructor("$ZodCheckLessThan", (inst, def) => {
27
27
  $ZodCheck.init(inst, def);
28
28
  const origin = numericOriginMap[typeof def.value];
29
- inst._zod.onattach.push((inst) => {
30
- const bag = inst._zod.bag;
31
- const curr = (def.inclusive ? bag.maximum : bag.exclusiveMaximum) ?? Number.POSITIVE_INFINITY;
32
- if (def.value < curr) {
33
- if (def.inclusive)
34
- bag.maximum = def.value;
35
- else
36
- bag.exclusiveMaximum = def.value;
37
- }
38
- });
39
29
  inst._zod.check = (payload) => {
40
30
  if (def.inclusive ? payload.value <= def.value : payload.value < def.value) {
41
31
  return;
@@ -54,16 +44,6 @@ export const $ZodCheckLessThan = /*@__PURE__*/ core.$constructor("$ZodCheckLessT
54
44
  export const $ZodCheckGreaterThan = /*@__PURE__*/ core.$constructor("$ZodCheckGreaterThan", (inst, def) => {
55
45
  $ZodCheck.init(inst, def);
56
46
  const origin = numericOriginMap[typeof def.value];
57
- inst._zod.onattach.push((inst) => {
58
- const bag = inst._zod.bag;
59
- const curr = (def.inclusive ? bag.minimum : bag.exclusiveMinimum) ?? Number.NEGATIVE_INFINITY;
60
- if (def.value > curr) {
61
- if (def.inclusive)
62
- bag.minimum = def.value;
63
- else
64
- bag.exclusiveMinimum = def.value;
65
- }
66
- });
67
47
  inst._zod.check = (payload) => {
68
48
  if (def.inclusive ? payload.value >= def.value : payload.value > def.value) {
69
49
  return;
@@ -82,10 +62,6 @@ export const $ZodCheckGreaterThan = /*@__PURE__*/ core.$constructor("$ZodCheckGr
82
62
  export const $ZodCheckMultipleOf =
83
63
  /*@__PURE__*/ core.$constructor("$ZodCheckMultipleOf", (inst, def) => {
84
64
  $ZodCheck.init(inst, def);
85
- inst._zod.onattach.push((inst) => {
86
- var _a;
87
- (_a = inst._zod.bag).multipleOf ?? (_a.multipleOf = def.value);
88
- });
89
65
  inst._zod.check = (payload) => {
90
66
  if (typeof payload.value !== typeof def.value)
91
67
  throw new Error("Cannot mix number and bigint in multiple_of check.");
@@ -111,14 +87,6 @@ export const $ZodCheckNumberFormat = /*@__PURE__*/ core.$constructor("$ZodCheckN
111
87
  const isInt = def.format?.includes("int");
112
88
  const origin = isInt ? "int" : "number";
113
89
  const [minimum, maximum] = util.NUMBER_FORMAT_RANGES[def.format];
114
- inst._zod.onattach.push((inst) => {
115
- const bag = inst._zod.bag;
116
- bag.format = def.format;
117
- bag.minimum = minimum;
118
- bag.maximum = maximum;
119
- if (isInt)
120
- bag.pattern = regexes.integer;
121
- });
122
90
  inst._zod.check = (payload) => {
123
91
  const input = payload.value;
124
92
  if (isInt) {
@@ -207,12 +175,6 @@ export const $ZodCheckNumberFormat = /*@__PURE__*/ core.$constructor("$ZodCheckN
207
175
  export const $ZodCheckBigIntFormat = /*@__PURE__*/ core.$constructor("$ZodCheckBigIntFormat", (inst, def) => {
208
176
  $ZodCheck.init(inst, def); // no format checks
209
177
  const [minimum, maximum] = util.BIGINT_FORMAT_RANGES[def.format];
210
- inst._zod.onattach.push((inst) => {
211
- const bag = inst._zod.bag;
212
- bag.format = def.format;
213
- bag.minimum = minimum;
214
- bag.maximum = maximum;
215
- });
216
178
  inst._zod.check = (payload) => {
217
179
  const input = payload.value;
218
180
  if (input < minimum) {
@@ -243,11 +205,6 @@ export const $ZodCheckMaxSize = /*@__PURE__*/ core.$constructor("$ZodCheckMaxSiz
243
205
  var _a;
244
206
  $ZodCheck.init(inst, def);
245
207
  (_a = inst._zod.def).when ?? (_a.when = _whenHasSize);
246
- inst._zod.onattach.push((inst) => {
247
- const curr = (inst._zod.bag.maximum ?? Number.POSITIVE_INFINITY);
248
- if (def.maximum < curr)
249
- inst._zod.bag.maximum = def.maximum;
250
- });
251
208
  inst._zod.check = (payload) => {
252
209
  const input = payload.value;
253
210
  const size = input.size;
@@ -268,11 +225,6 @@ export const $ZodCheckMinSize = /*@__PURE__*/ core.$constructor("$ZodCheckMinSiz
268
225
  var _a;
269
226
  $ZodCheck.init(inst, def);
270
227
  (_a = inst._zod.def).when ?? (_a.when = _whenHasSize);
271
- inst._zod.onattach.push((inst) => {
272
- const curr = (inst._zod.bag.minimum ?? Number.NEGATIVE_INFINITY);
273
- if (def.minimum > curr)
274
- inst._zod.bag.minimum = def.minimum;
275
- });
276
228
  inst._zod.check = (payload) => {
277
229
  const input = payload.value;
278
230
  const size = input.size;
@@ -293,12 +245,6 @@ export const $ZodCheckSizeEquals = /*@__PURE__*/ core.$constructor("$ZodCheckSiz
293
245
  var _a;
294
246
  $ZodCheck.init(inst, def);
295
247
  (_a = inst._zod.def).when ?? (_a.when = _whenHasSize);
296
- inst._zod.onattach.push((inst) => {
297
- const bag = inst._zod.bag;
298
- bag.minimum = def.size;
299
- bag.maximum = def.size;
300
- bag.size = def.size;
301
- });
302
248
  inst._zod.check = (payload) => {
303
249
  const input = payload.value;
304
250
  const size = input.size;
@@ -320,11 +266,6 @@ export const $ZodCheckMaxLength = /*@__PURE__*/ core.$constructor("$ZodCheckMaxL
320
266
  var _a;
321
267
  $ZodCheck.init(inst, def);
322
268
  (_a = inst._zod.def).when ?? (_a.when = _whenHasLength);
323
- inst._zod.onattach.push((inst) => {
324
- const curr = (inst._zod.bag.maximum ?? Number.POSITIVE_INFINITY);
325
- if (def.maximum < curr)
326
- inst._zod.bag.maximum = def.maximum;
327
- });
328
269
  inst._zod.check = (payload) => {
329
270
  const input = payload.value;
330
271
  const units = input.length;
@@ -348,11 +289,6 @@ export const $ZodCheckMinLength = /*@__PURE__*/ core.$constructor("$ZodCheckMinL
348
289
  var _a;
349
290
  $ZodCheck.init(inst, def);
350
291
  (_a = inst._zod.def).when ?? (_a.when = _whenHasLength);
351
- inst._zod.onattach.push((inst) => {
352
- const curr = (inst._zod.bag.minimum ?? Number.NEGATIVE_INFINITY);
353
- if (def.minimum > curr)
354
- inst._zod.bag.minimum = def.minimum;
355
- });
356
292
  inst._zod.check = (payload) => {
357
293
  const input = payload.value;
358
294
  const units = input.length;
@@ -378,12 +314,6 @@ export const $ZodCheckLengthEquals = /*@__PURE__*/ core.$constructor("$ZodCheckL
378
314
  var _a;
379
315
  $ZodCheck.init(inst, def);
380
316
  (_a = inst._zod.def).when ?? (_a.when = _whenHasLength);
381
- inst._zod.onattach.push((inst) => {
382
- const bag = inst._zod.bag;
383
- bag.minimum = def.length;
384
- bag.maximum = def.length;
385
- bag.length = def.length;
386
- });
387
317
  inst._zod.check = (payload) => {
388
318
  const input = payload.value;
389
319
  const units = input.length;
@@ -409,14 +339,6 @@ export const $ZodCheckLengthEquals = /*@__PURE__*/ core.$constructor("$ZodCheckL
409
339
  export const $ZodCheckStringFormat = /*@__PURE__*/ core.$constructor("$ZodCheckStringFormat", (inst, def) => {
410
340
  var _a, _b;
411
341
  $ZodCheck.init(inst, def);
412
- inst._zod.onattach.push((inst) => {
413
- const bag = inst._zod.bag;
414
- bag.format = def.format;
415
- if (def.pattern) {
416
- bag.patterns ?? (bag.patterns = new Set());
417
- bag.patterns.add(def.pattern);
418
- }
419
- });
420
342
  if (def.pattern)
421
343
  (_a = inst._zod).check ?? (_a.check = (payload) => {
422
344
  def.pattern.lastIndex = 0;
@@ -468,11 +390,6 @@ export const $ZodCheckIncludes = /*@__PURE__*/ core.$constructor("$ZodCheckInclu
468
390
  // (`{N,}`), not exactly `position` chars (`{N}`).
469
391
  const pattern = new RegExp(typeof def.position === "number" ? `^.{${def.position},}${escapedRegex}` : escapedRegex);
470
392
  def.pattern = pattern;
471
- inst._zod.onattach.push((inst) => {
472
- const bag = inst._zod.bag;
473
- bag.patterns ?? (bag.patterns = new Set());
474
- bag.patterns.add(pattern);
475
- });
476
393
  inst._zod.check = (payload) => {
477
394
  if (payload.value.includes(def.includes, def.position))
478
395
  return;
@@ -491,11 +408,6 @@ export const $ZodCheckStartsWith = /*@__PURE__*/ core.$constructor("$ZodCheckSta
491
408
  $ZodCheck.init(inst, def);
492
409
  const pattern = new RegExp(`^${util.escapeRegex(def.prefix)}.*`);
493
410
  def.pattern ?? (def.pattern = pattern);
494
- inst._zod.onattach.push((inst) => {
495
- const bag = inst._zod.bag;
496
- bag.patterns ?? (bag.patterns = new Set());
497
- bag.patterns.add(pattern);
498
- });
499
411
  inst._zod.check = (payload) => {
500
412
  if (payload.value.startsWith(def.prefix))
501
413
  return;
@@ -514,11 +426,6 @@ export const $ZodCheckEndsWith = /*@__PURE__*/ core.$constructor("$ZodCheckEndsW
514
426
  $ZodCheck.init(inst, def);
515
427
  const pattern = new RegExp(`.*${util.escapeRegex(def.suffix)}$`);
516
428
  def.pattern ?? (def.pattern = pattern);
517
- inst._zod.onattach.push((inst) => {
518
- const bag = inst._zod.bag;
519
- bag.patterns ?? (bag.patterns = new Set());
520
- bag.patterns.add(pattern);
521
- });
522
429
  inst._zod.check = (payload) => {
523
430
  if (payload.value.endsWith(def.suffix))
524
431
  return;
@@ -558,9 +465,6 @@ export const $ZodCheckProperty = /*@__PURE__*/ core.$constructor("$ZodCheckPrope
558
465
  export const $ZodCheckMimeType = /*@__PURE__*/ core.$constructor("$ZodCheckMimeType", (inst, def) => {
559
466
  $ZodCheck.init(inst, def);
560
467
  const mimeSet = new Set(def.mime);
561
- inst._zod.onattach.push((inst) => {
562
- inst._zod.bag.mime = def.mime;
563
- });
564
468
  inst._zod.check = (payload) => {
565
469
  if (mimeSet.has(payload.value.type))
566
470
  return;
@@ -1,7 +1,8 @@
1
1
  import type * as core from "./core.js";
2
2
  import type { SomeType } from "./schemas.js";
3
- /** Sentinel value returned by the compiled fast path when validation fails. Internal. */
3
+ /** @internal Sentinel the compiled fast path returns when validation fails. */
4
4
  export declare const INVALID: unique symbol;
5
+ /** @internal */
5
6
  export type INVALID = typeof INVALID;
6
7
  interface CompileFnOptions {
7
8
  debug?: boolean | undefined;
@@ -10,6 +11,8 @@ interface CompileFnOptions {
10
11
  }
11
12
  type CompiledFn<T> = ((input: unknown) => T | INVALID) & {
12
13
  code?: string | undefined;
14
+ /** False when this function's INVALID does not strictly mean "the runtime would reject". */
15
+ definite?: boolean | undefined;
13
16
  };
14
17
  /** Raised when the schema contains async refinements or transforms. Surfaces only under `compile(schema, { strict: true })`. */
15
18
  export declare class ZodCompileAsyncError extends Error {
@@ -43,9 +46,20 @@ export interface CompileOptions {
43
46
  */
44
47
  export declare function compile<T extends SomeType>(schema: T, options?: CompileOptions): T;
45
48
  /**
46
- * Generate the standalone compiled function: a parser by default, a validator under
47
- * `assertOnly`. Returns either the parsed value, `true` where nothing reads the output,
48
- * or the `INVALID` sentinel. Internal — consumers should use `compile()`.
49
+ * Install an already-generated parser as a schema's fast path. Returns a clone; the original is
50
+ * unchanged.
51
+ *
52
+ * The parser takes the input and returns the parsed value, or `INVALID` to hand the parse to the
53
+ * runtime. It must be synchronous and forward-direction, and it must build fresh output rather than
54
+ * return its input — Zod cannot check either, and a wrong *success* is returned to the caller as-is.
55
+ *
56
+ * `compile()` is the ordinary entry point. This is for a build-time or native compiler that produces
57
+ * a parser where `new Function` is unavailable.
58
+ */
59
+ export declare function withParser<T extends SomeType>(schema: T, parser: (input: unknown) => core.output<T> | INVALID): T;
60
+ /**
61
+ * @internal Generate the standalone compiled function: a parser by default, a validator under
62
+ * `assertOnly`. Returns the parsed value, `true` where nothing reads the output, or `INVALID`. Consumers use `compile()`.
49
63
  */
50
64
  export declare function compileFn<T extends SomeType>(schema: T, options?: CompileFnOptions): CompiledFn<core.output<T>>;
51
65
  export {};
@@ -2,9 +2,9 @@ import { $ZodAsyncError } from "./core.js";
2
2
  import { Doc } from "./doc.js";
3
3
  import { isBackEdge, isRecursiveSchema } from "./memoizer.js";
4
4
  import * as regexes from "./regexes.js";
5
- import { isValidBase64, isValidBase64URL, isValidCIDRv6, isValidCreditCard, isValidIPv6, isValidJWT, mergeValues, parseURLObject, stripTabAndNewline, urlHostnameOk, urlProtocolOk, } from "./schemas.js";
5
+ import { isValidBase64, isValidBase64URL, isValidCIDRv6, isValidCreditCard, isValidIBAN, isValidIPv6, isValidJWT, mergeValues, parseURLObject, stripTabAndNewline, urlHostnameOk, urlProtocolOk, } from "./schemas.js";
6
6
  import * as util from "./util.js";
7
- /** Sentinel value returned by the compiled fast path when validation fails. Internal. */
7
+ /** @internal Sentinel the compiled fast path returns when validation fails. */
8
8
  export const INVALID = Symbol.for("zod.compile.invalid");
9
9
  // Set on the parse ctx when a compiled wrapper falls back to the runtime, so nested compiled wrappers skip their fast paths for the rest of that parse.
10
10
  const FALLBACK_FLAG = Symbol.for("zod.compile.fallback");
@@ -55,45 +55,9 @@ function compileValidator(schema, parser) {
55
55
  export function compile(schema, options) {
56
56
  try {
57
57
  const parser = compileFn(schema);
58
- const clone = util.clone(schema);
59
- // Capture the source-of-truth runtime eagerly. If schema._zod.run is itself a shim installed by global-mode (`__originalRun` set), unwrap past it. Otherwise capturing the live property lazily would let a later self- replacement of schema._zod.run feed our wrapper back into itself.
60
- const liveRun = schema._zod.run;
61
- const originalRun = liveRun.__originalRun ?? liveRun;
62
- // Delegate to the *original* schema's run on bypass/fallback (not the
63
- // clone's). The original closed over its own `inst` at construction time;
64
- // issue payloads use that reference to derive things like the class name
65
- // for `z.instanceof(Test)`. Calling the clone's freshly-initialized run
66
- // would push issues with `inst === clone`, producing diverging error
67
- // messages from the original schema.
68
- const wrapped = (payload, ctx) => {
69
- if (ctx?.async ||
70
- ctx?.direction === "backward" ||
71
- ctx?.skipChecks ||
72
- ctx?.[FALLBACK_FLAG]) {
73
- return originalRun(payload, ctx);
74
- }
75
- // A memoized back-edge: only the runtime can close a reference cycle, and a transform on one must raise $ZodCyclicError from its own parse.
76
- if (ctx && isBackEdge(ctx, payload.value)) {
77
- return originalRun(payload, ctx);
78
- }
79
- const out = parser(payload.value);
80
- if (out !== INVALID) {
81
- payload.value = out;
82
- return payload;
83
- }
84
- // Mark this parse as runtime-driven: under global mode every nested schema carries its own compiled wrapper, and without the flag the parent's runtime fallback re-enters each child's fast path, running user callbacks a third time on invalid input.
85
- if (ctx)
86
- ctx[FALLBACK_FLAG] = true;
87
- return originalRun(payload, ctx);
88
- };
89
- // Let later compiles of (or through) this run unwrap to the true runtime — both the global shim and repeated z.compile calls rely on this. The bag also carries the parser and the validator, so the standalone validate can skip the payload and wrapper on the happy path.
90
- wrapped.__originalRun = originalRun;
91
- clone._zod.bag.fallbackRun = originalRun;
58
+ const clone = withParser(schema, parser);
59
+ // withParser leaves the parser as its own validator; the generated assert-only variant is better when we have one
92
60
  clone._zod.bag.validator = compileValidator(schema, parser);
93
- clone._zod.run = wrapped;
94
- // The fast parse/safeParse closures fall back through the source schema's methods. If the source is shim- or wrapper-managed, those methods route into a compiled run and would execute user callbacks a third time on invalid input — the plain method → wrapper path is exactly 2x, so skip.
95
- if (!liveRun.__originalRun)
96
- installCompiledUserMethods(clone, schema, parser);
97
61
  return clone;
98
62
  }
99
63
  catch (err) {
@@ -103,6 +67,59 @@ export function compile(schema, options) {
103
67
  return schema;
104
68
  }
105
69
  }
70
+ /**
71
+ * Install an already-generated parser as a schema's fast path. Returns a clone; the original is
72
+ * unchanged.
73
+ *
74
+ * The parser takes the input and returns the parsed value, or `INVALID` to hand the parse to the
75
+ * runtime. It must be synchronous and forward-direction, and it must build fresh output rather than
76
+ * return its input — Zod cannot check either, and a wrong *success* is returned to the caller as-is.
77
+ *
78
+ * `compile()` is the ordinary entry point. This is for a build-time or native compiler that produces
79
+ * a parser where `new Function` is unavailable.
80
+ */
81
+ export function withParser(schema, parser) {
82
+ // generated code never receives the parse context, so only the runtime can close a reference cycle; compileFn refuses these too
83
+ if (isRecursiveSchema(schema)) {
84
+ throw new ZodCompileUnsupportedError("a schema whose subtree contains a reference cycle");
85
+ }
86
+ const clone = util.clone(schema);
87
+ // Capture the source-of-truth runtime eagerly. If schema._zod.run is itself a shim installed by global-mode (`__originalRun` set), unwrap past it. Otherwise capturing the live property lazily would let a later self- replacement of schema._zod.run feed our wrapper back into itself.
88
+ const liveRun = schema._zod.run;
89
+ const originalRun = liveRun.__originalRun ?? liveRun;
90
+ // Delegate to the *original* schema's run on bypass/fallback, not the clone's. The original closed over its own `inst` at construction time, and issue payloads use that reference to derive things like the class name for `z.instanceof(Test)`; calling the clone's freshly-initialized run would push issues with `inst === clone` and diverge from the original schema's error messages.
91
+ const wrapped = (payload, ctx) => {
92
+ if (ctx?.async ||
93
+ ctx?.direction === "backward" ||
94
+ ctx?.skipChecks ||
95
+ ctx?.[FALLBACK_FLAG]) {
96
+ return originalRun(payload, ctx);
97
+ }
98
+ // A memoized back-edge: only the runtime can close a reference cycle, and a transform on one must raise $ZodCyclicError from its own parse.
99
+ if (ctx && isBackEdge(ctx, payload.value)) {
100
+ return originalRun(payload, ctx);
101
+ }
102
+ const out = parser(payload.value);
103
+ if (out !== INVALID) {
104
+ payload.value = out;
105
+ return payload;
106
+ }
107
+ // Mark this parse as runtime-driven: under global mode every nested schema carries its own compiled wrapper, and without the flag the parent's runtime fallback re-enters each child's fast path, running user callbacks a third time on invalid input.
108
+ if (ctx)
109
+ ctx[FALLBACK_FLAG] = true;
110
+ return originalRun(payload, ctx);
111
+ };
112
+ // Let later compiles of (or through) this run unwrap to the true runtime — both the global shim and repeated z.compile calls rely on this. The bag also carries the parser and the validator, so the standalone validate can skip the payload and wrapper on the happy path.
113
+ wrapped.__originalRun = originalRun;
114
+ clone._zod.bag.fallbackRun = originalRun;
115
+ // a supplied parser answers `validate` too: one implementation means parse and validate cannot disagree, and its undefined `definite` keeps the runtime re-parse on every rejection
116
+ clone._zod.bag.validator = parser;
117
+ clone._zod.run = wrapped;
118
+ // The fast parse/safeParse closures fall back through the source schema's methods. If the source is shim- or wrapper-managed, those methods route into a compiled run and would execute user callbacks a third time on invalid input — the plain method → wrapper path is exactly 2x, so skip.
119
+ if (!liveRun.__originalRun)
120
+ installCompiledUserMethods(clone, schema, parser);
121
+ return clone;
122
+ }
106
123
  function installCompiledUserMethods(target, source, parser) {
107
124
  const targetAny = target;
108
125
  const sourceAny = source;
@@ -128,9 +145,8 @@ function installCompiledUserMethods(target, source, parser) {
128
145
  }
129
146
  }
130
147
  /**
131
- * Generate the standalone compiled function: a parser by default, a validator under
132
- * `assertOnly`. Returns either the parsed value, `true` where nothing reads the output,
133
- * or the `INVALID` sentinel. Internal — consumers should use `compile()`.
148
+ * @internal Generate the standalone compiled function: a parser by default, a validator under
149
+ * `assertOnly`. Returns the parsed value, `true` where nothing reads the output, or `INVALID`. Consumers use `compile()`.
134
150
  */
135
151
  export function compileFn(schema, options) {
136
152
  // Cycle-breaking is keyed on the parse context, which generated code never receives. `shape` can be a getter that throws (z.pick() with an unrecognized mask key), so treat "can't tell" as recursive.
@@ -146,6 +162,7 @@ export function compileFn(schema, options) {
146
162
  constants: new Map(),
147
163
  constantCounter: 0,
148
164
  varCounter: 0,
165
+ definite: true,
149
166
  };
150
167
  const doc = new Doc(["input"]);
151
168
  const outputAccessor = generateCheck(doc, ctx, schema, "input", !options?.assertOnly);
@@ -174,6 +191,7 @@ export function compileFn(schema, options) {
174
191
  if (options?.debug) {
175
192
  fn.code = fullCode;
176
193
  }
194
+ fn.definite = ctx.definite;
177
195
  return fn;
178
196
  }
179
197
  function addConstant(ctx, value) {
@@ -186,6 +204,11 @@ function addConstant(ctx, value) {
186
204
  ctx.constants.set(name, value);
187
205
  return name;
188
206
  }
207
+ /** Hoists a user-supplied callback. Anything the schema's author wrote can throw, and generated code can reject an earlier sibling before ever reaching it, so this clears `definite` — a rejection is then no longer proof that the interpreter would have rejected rather than thrown. */
208
+ function addUserConstant(ctx, fn) {
209
+ ctx.definite = false;
210
+ return addConstant(ctx, fn);
211
+ }
189
212
  function newVar(ctx) {
190
213
  return `v${ctx.varCounter++}`;
191
214
  }
@@ -221,6 +244,8 @@ function compileChild(doc, ctx, schema, accessor, needsValue = true) {
221
244
  }
222
245
  }
223
246
  function emitRuntimeIsland(doc, ctx, schema, accessor) {
247
+ // an islanded child answers INVALID for an async run too, which the interpreter throws for
248
+ ctx.definite = false;
224
249
  const schemaConst = addConstant(ctx, schema);
225
250
  const runConst = addConstant(ctx, runtimeRun);
226
251
  const outVar = newVar(ctx);
@@ -304,6 +329,9 @@ function generateChecks(doc, ctx, schema, accessor) {
304
329
  case "property":
305
330
  generatePropertyCheck(doc, ctx, def, currentAccessor);
306
331
  break;
332
+ case "properties":
333
+ generatePropertiesChecks(doc, ctx, def, currentAccessor, false);
334
+ break;
307
335
  case "overwrite": {
308
336
  // Overwrite transforms the value - create new variable for transformed result
309
337
  const newAccessor = newVar(ctx);
@@ -429,6 +457,26 @@ function generateMimeTypeCheck(doc, ctx, def, accessor) {
429
457
  doc.write(`if (!${mimeSet}.has(${accessor}.type)) return INVALID;`);
430
458
  }
431
459
  }
460
+ // asserts each named property in place; children compile assert-only because z.properties never rebuilds its input
461
+ function generatePropertiesChecks(doc, ctx, def, accessor, schemaRole) {
462
+ // a custom `when` gates the assertion at runtime; inside a union a wrongly-run branch is absorbed as a branch failure rather than falling back, so refuse at codegen the way the check role does
463
+ if (def.when) {
464
+ throw new ZodCompileUnsupportedError(`check with a custom "when" condition`);
465
+ }
466
+ // matches the runtime gate for whichever role this is: a schema rejects a primitive outright, a check only a nullish value
467
+ doc.write(schemaRole
468
+ ? `if (${accessor} === null || (typeof ${accessor} !== "object" && typeof ${accessor} !== "function")) return INVALID;`
469
+ : `if (${accessor} == null) return INVALID;`);
470
+ const shape = def.shape;
471
+ for (const key of Reflect.ownKeys(shape)) {
472
+ // a symbol has no source literal, so it is hoisted as a constant
473
+ const keyExpr = typeof key === "symbol" ? addConstant(ctx, key) : util.esc(key);
474
+ // cache the property read so a getter runs exactly once, matching the runtime
475
+ const inputVar = newVar(ctx);
476
+ doc.write(`const ${inputVar} = ${accessor}[${keyExpr}];`);
477
+ compileChild(doc, ctx, shape[key], inputVar, false);
478
+ }
479
+ }
432
480
  function generatePropertyCheck(doc, ctx, def, accessor) {
433
481
  const propAccessor = `${accessor}[${JSON.stringify(def.property)}]`;
434
482
  generateCheck(doc, ctx, def.schema, propAccessor);
@@ -461,7 +509,7 @@ function generateCustomRefineCheck(doc, ctx, check, accessor) {
461
509
  if (isAsyncFunction(def.fn)) {
462
510
  throw new ZodCompileAsyncError("z.compile: async .refine() predicates are not supported");
463
511
  }
464
- const fnConst = addConstant(ctx, def.fn);
512
+ const fnConst = addUserConstant(ctx, def.fn);
465
513
  const throwAsyncConst = addConstant(ctx, throwAsync);
466
514
  const resVar = newVar(ctx);
467
515
  doc.write(`const ${resVar} = ${fnConst}(${accessor});`);
@@ -489,7 +537,7 @@ function generateCustomRefineCheck(doc, ctx, check, accessor) {
489
537
  throwAsync();
490
538
  return fakePayload.issues.length === 0 ? fakePayload.value : INVALID;
491
539
  };
492
- const helperConst = addConstant(ctx, helperFn);
540
+ const helperConst = addUserConstant(ctx, helperFn);
493
541
  const outVar = newVar(ctx);
494
542
  doc.write(`const ${outVar} = ${helperConst}(${accessor});`);
495
543
  doc.write(`if (${outVar} === INVALID) return INVALID;`);
@@ -566,6 +614,11 @@ function generateStringFormatCheck(doc, ctx, def, accessor) {
566
614
  doc.write(`if (!${validator}(${accessor})) return INVALID;`);
567
615
  return accessor;
568
616
  }
617
+ if (fmt === "iban") {
618
+ const validator = addConstant(ctx, isValidIBAN);
619
+ doc.write(`if (!${validator}(${accessor})) return INVALID;`);
620
+ return accessor;
621
+ }
569
622
  const formatDef = def;
570
623
  if (fmt === "url" ||
571
624
  fmt === "httpurl" ||
@@ -764,6 +817,10 @@ function generateCheck(doc, ctx, schema, accessor, needsValue = true) {
764
817
  case "custom":
765
818
  typeAccessor = generateCustomCheck(doc, ctx, schema, accessor);
766
819
  break;
820
+ case "properties":
821
+ generatePropertiesChecks(doc, ctx, schema._zod.def, accessor, true);
822
+ typeAccessor = accessor;
823
+ break;
767
824
  case "transform":
768
825
  typeAccessor = generateTransformCheck(doc, ctx, schema, accessor);
769
826
  break;
@@ -1437,7 +1494,7 @@ function generateDiscriminatedUnionCheck(doc, ctx, def, accessor) {
1437
1494
  if (!values || values.size === 0) {
1438
1495
  throw new ZodCompileUnsupportedError("discriminated union option without static discriminator values");
1439
1496
  }
1440
- // Two options claiming one value are not discriminable, and the branch chain below would silently give it to the first. Declining to compile hands that back to the interpreter, whose own map build reports it.
1497
+ // let the interpreter handle collisions instead of compiling first-match dispatch
1441
1498
  for (const value of values) {
1442
1499
  if (claimed.has(value)) {
1443
1500
  throw new ZodCompileUnsupportedError(`duplicate discriminator value ${String(value)}`);
@@ -1481,6 +1538,8 @@ function literalEquality(ctx, accessor, value) {
1481
1538
  }
1482
1539
  function generateIntersectionCheck(doc, ctx, schema, accessor) {
1483
1540
  const def = schema._zod.def;
1541
+ // An unmergeable merge, and a child failing before the merge is even reached, both return INVALID for a case the interpreter answers with a throw.
1542
+ ctx.definite = false;
1484
1543
  const leftOutput = compileChild(doc, ctx, def.left, accessor);
1485
1544
  const rightOutput = compileChild(doc, ctx, def.right, accessor);
1486
1545
  // Hoist the runtime merge helper so recursive object/array merge semantics stay in one place. If the merge is invalid, return INVALID and let the runtime fallback construct canonical errors.
@@ -1550,14 +1609,15 @@ function generateRecordCheck(doc, ctx, schema, accessor) {
1550
1609
  // The runtime runs it against each own enumerable key and writes the value
1551
1610
  // under the key it produced, so compile it once and call it per key.
1552
1611
  const isLoose = def.mode === "loose";
1553
- const keyFast = addConstant(ctx, compileFn(def.keyType));
1612
+ // the key compiles in its own context, so carry its verdict out: a key schema that can answer INVALID undecidably makes this validator undecidable too
1613
+ const keyFn = compileFn(def.keyType);
1614
+ if (keyFn.definite === false)
1615
+ ctx.definite = false;
1616
+ const keyFast = addConstant(ctx, keyFn);
1554
1617
  const numericConst = addConstant(ctx, regexes.number);
1555
- const propIsEnumerableConst = addConstant(ctx, Object.prototype.propertyIsEnumerable);
1556
1618
  const outKeyVar = newVar(ctx);
1557
- doc.write(`for (const ${kVar} of Reflect.ownKeys(${accessor})) {`);
1558
- doc.indented((d) => {
1559
- d.write(`if (${kVar} === "__proto__") continue;`);
1560
- d.write(`if (!${propIsEnumerableConst}.call(${accessor}, ${kVar})) continue;`);
1619
+ // the body runs once per string key and once per symbol key, since a key schema can accept symbols
1620
+ emitOwnKeys(doc, ctx, accessor, kVar, (d) => {
1561
1621
  d.write(`let ${outKeyVar} = ${keyFast}(${kVar});`);
1562
1622
  // Numeric-string retry, mirroring the runtime: a key the schema rejects as a string is tried again as a number, so z.record(z.number(), …) matches the numeric keys JavaScript stringified on the way in.
1563
1623
  d.write(`if (${outKeyVar} === INVALID && typeof ${kVar} === "string" && ${numericConst}.test(${kVar})) ${outKeyVar} = ${keyFast}(Number(${kVar}));`);
@@ -1576,22 +1636,41 @@ function generateRecordCheck(doc, ctx, schema, accessor) {
1576
1636
  const valOutput = compileChild(d, ctx, def.valueType, valueVar);
1577
1637
  d.write(`${outputVar}[${outKeyVar}] = ${valOutput};`);
1578
1638
  });
1579
- doc.write(`}`);
1580
1639
  return outputVar;
1581
1640
  }
1582
- // Plain z.string() keys: iterate enumerable own keys and validate each value. Runtime uses Reflect.ownKeys so symbol keys participate in validation; matching that here prevents silently accepting objects with enumerable Symbol keys under z.record(z.string(), ...).
1583
- const propIsEnumerable = addConstant(ctx, Object.prototype.propertyIsEnumerable);
1584
- doc.write(`for (const ${kVar} of Reflect.ownKeys(${accessor})) {`);
1585
- doc.indented((d) => {
1586
- d.write(`if (${kVar} === "__proto__") continue;`);
1587
- d.write(`if (!${propIsEnumerable}.call(${accessor}, ${kVar})) continue;`);
1588
- d.write(`if (typeof ${kVar} !== "string") return INVALID;`);
1641
+ // Plain z.string() keys: every own enumerable string key's value is validated, and an own enumerable symbol key fails the string key schema, as it does in the runtime's Reflect.ownKeys walk.
1642
+ emitOwnKeys(doc, ctx, accessor, kVar, (d) => {
1589
1643
  d.write(`const ${valVar} = ${accessor}[${kVar}];`);
1590
1644
  const valOutput = compileChild(d, ctx, def.valueType, valVar);
1591
1645
  d.write(`${outputVar}[${kVar}] = ${valOutput};`);
1646
+ }, `return INVALID;`);
1647
+ return outputVar;
1648
+ }
1649
+ // Walks the own enumerable keys of a plain object in Reflect.ownKeys order — strings from getOwnPropertyNames, then symbols — instead of Reflect.ownKeys, whose accumulator made that walk 3–6x the cost of the loop it fed. Both snapshots are taken before any value is read and every key is rechecked with propertyIsEnumerable when visited, exactly the runtime's walk, so a getter that adds, deletes, hides or reveals a key mid-walk sees the runtime's verdict; for-in and Object.keys were no faster and each lost a case (for-in enumerates the prototype chain after the own keys, Object.keys drops a key that is non-enumerable at snapshot time). `body` is written once for the string loop and once for the symbol loop unless `onSymbol` replaces the latter.
1650
+ function emitOwnKeys(doc, ctx, accessor, kVar, body, onSymbol) {
1651
+ const propIsEnumerableConst = addConstant(ctx, Object.prototype.propertyIsEnumerable);
1652
+ const symsVar = newVar(ctx);
1653
+ const keysVar = newVar(ctx);
1654
+ const iVar = newVar(ctx);
1655
+ doc.write(`const ${symsVar} = Object.getOwnPropertySymbols(${accessor});`);
1656
+ doc.write(`const ${keysVar} = Object.getOwnPropertyNames(${accessor});`);
1657
+ doc.write(`for (let ${iVar} = 0; ${iVar} < ${keysVar}.length; ${iVar}++) {`);
1658
+ doc.indented((d) => {
1659
+ d.write(`const ${kVar} = ${keysVar}[${iVar}];`);
1660
+ d.write(`if (${kVar} === "__proto__" || !${propIsEnumerableConst}.call(${accessor}, ${kVar})) continue;`);
1661
+ body(d);
1662
+ });
1663
+ doc.write(`}`);
1664
+ doc.write(`for (let ${iVar} = 0; ${iVar} < ${symsVar}.length; ${iVar}++) {`);
1665
+ doc.indented((d) => {
1666
+ d.write(`const ${kVar} = ${symsVar}[${iVar}];`);
1667
+ d.write(`if (!${propIsEnumerableConst}.call(${accessor}, ${kVar})) continue;`);
1668
+ if (onSymbol)
1669
+ d.write(onSymbol);
1670
+ else
1671
+ body(d);
1592
1672
  });
1593
1673
  doc.write(`}`);
1594
- return outputVar;
1595
1674
  }
1596
1675
  function literalPropertyKey(ctx, key) {
1597
1676
  if (typeof key === "string")
@@ -1647,7 +1726,7 @@ function generateTemplateLiteralCheck(doc, ctx, schema, accessor) {
1647
1726
  function generateLazyCheck(doc, ctx, schema, accessor) {
1648
1727
  // For lazy schemas, we use a cached parser that falls back to runtime Zod parsing This handles recursive schemas correctly by avoiding infinite compilation loops
1649
1728
  const def = schema._zod.def;
1650
- const getterConst = addConstant(ctx, def.getter);
1729
+ const getterConst = addUserConstant(ctx, def.getter);
1651
1730
  const cacheConst = addConstant(ctx, { parser: null });
1652
1731
  doc.write(`if (!${cacheConst}.parser) {`);
1653
1732
  doc.indented((d) => {
@@ -1671,7 +1750,7 @@ function generatePipeCheck(doc, ctx, schema, accessor) {
1671
1750
  // Validate input type first
1672
1751
  const inputOutput = generateCheck(doc, ctx, def.in, accessor);
1673
1752
  if (def.transform) {
1674
- // Apply transform and validate output. The transform may read its second `payload` argument (codec transforms like z.stringbool() push issues there) so wrap the call in a helper that spoofs a payload. Pushed issues signal INVALID and the wrapper falls back to the runtime.
1753
+ // Apply transform and validate output. The transform may read its second `payload` argument (codec transforms like z.stringbool() push issues there) so wrap the call in a helper that spoofs a payload. Pushed issues signal INVALID and the wrapper falls back to the runtime, and a plain function handing back a promise answers INVALID too — union parity, but not a decidable rejection at the top level.
1675
1754
  if (isAsyncFunction(def.transform)) {
1676
1755
  throw new ZodCompileAsyncError("z.compile: async transforms in pipes are not supported");
1677
1756
  }
@@ -1685,7 +1764,7 @@ function generatePipeCheck(doc, ctx, schema, accessor) {
1685
1764
  return INVALID;
1686
1765
  return fakePayload.issues.length === 0 ? result : INVALID;
1687
1766
  };
1688
- const helperConst = addConstant(ctx, helperFn);
1767
+ const helperConst = addUserConstant(ctx, helperFn);
1689
1768
  const transformedVar = newVar(ctx);
1690
1769
  doc.write(`const ${transformedVar} = ${helperConst}(${inputOutput});`);
1691
1770
  doc.write(`if (${transformedVar} === INVALID) return INVALID;`);
@@ -1709,7 +1788,7 @@ function generateCustomCheck(doc, ctx, schema, accessor) {
1709
1788
  throw new ZodCompileAsyncError("z.compile: async custom predicates are not supported");
1710
1789
  }
1711
1790
  // Custom schema with a predicate function (e.g. z.instanceof). `isAsyncFunction` above is syntactic, so a plain function returning a promise reaches here, and a promise is truthy — it would read as a pass where the interpreter throws.
1712
- const fnConst = addConstant(ctx, def.fn);
1791
+ const fnConst = addUserConstant(ctx, def.fn);
1713
1792
  const throwAsyncConst = addConstant(ctx, throwAsync);
1714
1793
  const resVar = newVar(ctx);
1715
1794
  doc.write(`const ${resVar} = ${fnConst}(${accessor});`);
@@ -1746,7 +1825,7 @@ function generateCatchCheck(doc, ctx, schema, accessor) {
1746
1825
  });
1747
1826
  doc.write(`})();`);
1748
1827
  const innerConst = addConstant(ctx, def.innerType);
1749
- const catchConst = addConstant(ctx, def.catchValue);
1828
+ const catchConst = addUserConstant(ctx, def.catchValue);
1750
1829
  const catchHelperConst = addConstant(ctx, runtimeCatch);
1751
1830
  doc.write(`if (${outputVar} === INVALID) {`);
1752
1831
  doc.indented((d) => {
@@ -1773,7 +1852,7 @@ function generateTransformCheck(doc, ctx, schema, accessor) {
1773
1852
  return INVALID;
1774
1853
  return fakePayload.issues.length === 0 ? result : INVALID;
1775
1854
  };
1776
- const helperConst = addConstant(ctx, helperFn);
1855
+ const helperConst = addUserConstant(ctx, helperFn);
1777
1856
  const outputVar = newVar(ctx);
1778
1857
  doc.write(`const ${outputVar} = ${helperConst}(${accessor});`);
1779
1858
  doc.write(`if (${outputVar} === INVALID) return INVALID;`);
@@ -5,10 +5,15 @@ export class Doc {
5
5
  this.args = args;
6
6
  this.closed = closed;
7
7
  }
8
+ // the compiler catches a child's throw and keeps writing into this doc, so the indent has to unwind with it
8
9
  indented(fn) {
9
10
  this.indent += 1;
10
- fn(this);
11
- this.indent -= 1;
11
+ try {
12
+ fn(this);
13
+ }
14
+ finally {
15
+ this.indent -= 1;
16
+ }
12
17
  }
13
18
  write(arg) {
14
19
  if (typeof arg === "function") {