zod-compiler 0.1.0 → 1.0.0

package/dist/core/extract/types.d.ts

@@ -0,0 +1,114 @@
+export interface ZodCheckDef {
+    check: string;
+    type: string;
+    format: string;
+    pattern: RegExp | string;
+    minimum: number;
+    maximum: number;
+    length: number;
+    size: number;
+    value: number;
+    inclusive: boolean;
+    includes: string;
+    position: number;
+    prefix: string;
+    suffix: string;
+    fn: unknown;
+    /** $ZodCheckOverwrite transform function (.trim(), .toLowerCase(), ...). */
+    tx?: unknown;
+    /** Runtime predicate gating check execution — forces fallback when present. */
+    when?: unknown;
+    /** abort:true stops later checks and marks union options aborted — forces fallback. */
+    abort?: boolean;
+    mime: string[];
+    /** url-only constraints (z.httpUrl()). */
+    hostname?: RegExp;
+    protocol?: RegExp;
+    normalize?: boolean;
+    error?: unknown;
+}
+export interface ZodCheckSchema {
+    _zod?: {
+        def: ZodCheckDef;
+    };
+}
+export interface ZodDef {
+    type: string;
+    checks: ZodCheckSchema[];
+    check: string;
+    format: string;
+    pattern: RegExp | string;
+    /** Schema-level custom error (z.string({ error: "..." })). */
+    error?: unknown;
+    /** Unknown-key policy schema (z.strictObject → never, z.looseObject → unknown). */
+    catchall?: ZodSchema;
+    shape: Record<string, ZodSchema>;
+    element: ZodSchema;
+    options: ZodSchema[];
+    innerType: ZodSchema;
+    values: (string | number | boolean | null | bigint | undefined)[];
+    entries: Record<string, string>;
+    in: ZodSchema;
+    out: ZodSchema;
+    items: ZodSchema[];
+    rest: ZodSchema | null;
+    keyType: ZodSchema;
+    valueType: ZodSchema;
+    left: ZodSchema;
+    right: ZodSchema;
+    discriminator: string;
+    /** false on z.xor() unions (exactly-one-match semantics). */
+    inclusive?: boolean;
+    defaultValue: unknown;
+    coerce?: boolean;
+    catchValue?: (ctx: unknown) => unknown;
+    /** Transform function reference (present when type is "transform", and on Codec pipes). */
+    transform?: unknown;
+    /** Reverse transform (present on Codec schemas like stringbool). */
+    reverseTransform?: unknown;
+}
+export interface ZodSchema {
+    _zod: {
+        def: ZodDef;
+        bag?: Record<string, unknown>;
+        /** Resolved inner type for lazy schemas. */
+        innerType?: ZodSchema;
+        /** Pre-compiled pattern for templateLiteral schemas. */
+        pattern?: RegExp;
+        /** Finite value set (enum/literal keys) — drives exhaustive-key records. */
+        values?: Set<unknown>;
+        /** Class trait names from zod's $constructor (e.g. "$ZodExactOptional"). */
+        traits?: Set<string>;
+        /** "optional" when the key may be absent in object output (zod optout). */
+        optout?: string;
+        /** Discriminator dispatch values per property key (discriminated unions). */
+        propValues?: Record<string, Set<unknown> | undefined>;
+    };
+}
+/** Entry collected during extraction for each fallback sub-schema. */
+export interface RefEntry {
+    /** Runtime reference to the Zod sub-schema. */
+    schema: unknown;
+    /** Navigation path from root schema, e.g. '.shape["slug"]' */
+    accessPath: string;
+}
+/** All Zod v4 def.type values that zod-compiler supports. */
+export type SupportedZodDefType = "boolean" | "null" | "undefined" | "any" | "unknown" | "symbol" | "void" | "nan" | "never" | "literal" | "enum" | "optional" | "nullable" | "readonly" | "intersection" | "string" | "number" | "bigint" | "date" | "object" | "array" | "tuple" | "record" | "set" | "map" | "union" | "default" | "pipe" | "lazy" | "catch" | "template_literal" | "file";
+/** Context object for extractor functions. Unifies the varied parameter patterns. */
+export interface ExtractorContext {
+    /** Raw Zod schema reference (for fallback entries and schema._zod access). */
+    readonly schema: unknown;
+    /** Navigation path from root, e.g. '._zod.def.innerType' */
+    readonly path: string;
+    /** Fallback entries collector (undefined if partial fallback disabled). */
+    readonly refs: RefEntry[] | undefined;
+    /** Cycle detection set for lazy resolution. */
+    readonly visiting: Set<unknown>;
+    /** Recursively extract a child schema. Manages visiting set automatically. */
+    visit(childSchema: unknown, pathSuffix?: string): import("../types.js").SchemaIR;
+    /** Create a fallback entry for non-compilable sub-schemas. */
+    fallback(reason: import("../types.js").FallbackIR["reason"]): import("../types.js").FallbackIR;
+}
+/** Extractor function signature — registered in extractRegistry. */
+export type Extractor = (def: ZodDef, ctx: ExtractorContext) => import("../types.js").SchemaIR;
+//# sourceMappingURL=types.d.ts.map

package/dist/core/extract/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/extract/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,OAAO,CAAC;IACZ,4EAA4E;IAC5E,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,+EAA+E;IAC/E,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,uFAAuF;IACvF,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE;QACL,GAAG,EAAE,WAAW,CAAC;KAClB,CAAC;CACH;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,8DAA8D;IAC9D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,mFAAmF;IACnF,QAAQ,CAAC,EAAE,SAAS,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjC,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,SAAS,EAAE,SAAS,CAAC;IACrB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAClE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,SAAS,CAAC;IACf,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,SAAS,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;IACrB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,SAAS,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;IACvC,2FAA2F;IAC3F,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,oEAAoE;IACpE,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE;QACJ,GAAG,EAAE,MAAM,CAAC;QACZ,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,4CAA4C;QAC5C,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,wDAAwD;QACxD,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,4EAA4E;QAC5E,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,4EAA4E;QAC5E,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,2EAA2E;QAC3E,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,6EAA6E;QAC7E,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC;KACvD,CAAC;CACH;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,+CAA+C;IAC/C,MAAM,EAAE,OAAO,CAAC;IAChB,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,6DAA6D;AAC7D,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,MAAM,GACN,WAAW,GACX,KAAK,GACL,SAAS,GACT,QAAQ,GACR,MAAM,GACN,KAAK,GACL,OAAO,GACP,SAAS,GACT,MAAM,GACN,UAAU,GACV,UAAU,GACV,UAAU,GACV,cAAc,GACd,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,OAAO,GACP,OAAO,GACP,QAAQ,GACR,KAAK,GACL,KAAK,GACL,OAAO,GACP,SAAS,GACT,MAAM,GACN,MAAM,GACN,OAAO,GACP,kBAAkB,GAClB,MAAM,CAAC;AAIX,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAC/B,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;IACtC,+CAA+C;IAC/C,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAEhC,8EAA8E;IAC9E,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,aAAa,EAAE,QAAQ,CAAC;IAEjF,8DAA8D;IAC9D,QAAQ,CAAC,MAAM,EAAE,OAAO,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,OAAO,aAAa,EAAE,UAAU,CAAC;CAChG;AAED,oEAAoE;AACpE,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,KAAK,OAAO,aAAa,EAAE,QAAQ,CAAC"}

package/dist/core/extract/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/extract/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/extract/types.ts"],"names":[],"mappings":""}

package/dist/core/iife.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Shared CompiledSchema<T> IIFE generation.
+ * Used by both CLI emitter and unplugin transform.
+ */
+import type { CompiledSchemaInfo } from "./pipeline.js";
+/** Import statement required by generateIIFE output (references __zodCompilerConfig). */
+export declare const ZOD_CONFIG_IMPORT = "import { config as __zodCompilerConfig, ZodRealError as __ZodError } from \"zod\";";
+/** File-level __msg declaration (must appear once after ZOD_CONFIG_IMPORT). */
+export declare const ZOD_MSG_DECLARATION = "var __msg=__zodCompilerConfig().localeError;";
+/**
+ * File-level finalization helper (must appear once per compiled file).
+ * Processes issues (adds messages, strips input) and returns SafeParseResult.
+ * Each generated safeParse function calls __fin(_e, _d) instead of inlining this logic.
+ *
+ * The locale default (__msg) is applied ONLY when an issue carries no message,
+ * mirroring Zod's precedence: check/schema-level custom messages baked into
+ * generated issues — and messages on issues copied from fallback sub-schemas —
+ * must never be overwritten by the locale map.
+ */
+export declare const FIN_DECL = "function __fin(e,d){for(var i=0;i<e.length;i++){if(e[i].message===undefined&&typeof __msg===\"function\")e[i].message=__msg(e[i]);e[i].input=undefined;}return e.length?{success:false,error:new __ZodError(e)}:{success:true,data:d};}";
+/**
+ * File-level validator factory (must appear once per compiled file).
+ * Wraps a safeParse function into the CompiledSchema interface.
+ * schema=null produces a plain object; schema=ZodSchema uses Object.create.
+ */
+export declare const MK_VALIDATOR_DECL = "function __mkv(fn,schema){var w=schema?Object.create(schema):{};w.parse=function(input){var r=fn(input);if(r.success)return r.data;throw r.error;};w.safeParse=fn;w.safeParseAsync=function(input){return Promise.resolve(fn(input));};w.parseAsync=function(input){var r=fn(input);if(r.success)return Promise.resolve(r.data);return Promise.reject(r.error);};return w;}";
+/**
+ * Generate a `/* @__PURE__ * /` IIFE wrapping a compiled validator.
+ *
+ * @param schemaExpr - Expression resolving to the original Zod schema
+ *   (e.g. `"UserSchema"` in unplugin, `"(__src_X as any).schema"` in CLI)
+ * @param schema
+ * @param options
+ */
+export declare function generateIIFE(schemaExpr: string, schema: CompiledSchemaInfo, options?: {
+    zodCompat?: boolean | undefined;
+}): string;
+//# sourceMappingURL=iife.d.ts.map

package/dist/core/iife.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"iife.d.ts","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,yFAAyF;AACzF,eAAO,MAAM,iBAAiB,uFACsD,CAAC;AAErF,+EAA+E;AAC/E,eAAO,MAAM,mBAAmB,iDAAiD,CAAC;AAElF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,4OACoN,CAAC;AAE1O;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,gXACiV,CAAC;AAUhX;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,EAC1B,OAAO,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAAE,GAC5C,MAAM,CAkBR"}

package/dist/core/iife.js

@@ -0,0 +1,59 @@
+/**
+ * Shared CompiledSchema<T> IIFE generation.
+ * Used by both CLI emitter and unplugin transform.
+ */
+/** Import statement required by generateIIFE output (references __zodCompilerConfig). */
+export const ZOD_CONFIG_IMPORT = 'import { config as __zodCompilerConfig, ZodRealError as __ZodError } from "zod";';
+/** File-level __msg declaration (must appear once after ZOD_CONFIG_IMPORT). */
+export const ZOD_MSG_DECLARATION = "var __msg=__zodCompilerConfig().localeError;";
+/**
+ * File-level finalization helper (must appear once per compiled file).
+ * Processes issues (adds messages, strips input) and returns SafeParseResult.
+ * Each generated safeParse function calls __fin(_e, _d) instead of inlining this logic.
+ *
+ * The locale default (__msg) is applied ONLY when an issue carries no message,
+ * mirroring Zod's precedence: check/schema-level custom messages baked into
+ * generated issues — and messages on issues copied from fallback sub-schemas —
+ * must never be overwritten by the locale map.
+ */
+export const FIN_DECL = 'function __fin(e,d){for(var i=0;i<e.length;i++){if(e[i].message===undefined&&typeof __msg==="function")e[i].message=__msg(e[i]);e[i].input=undefined;}return e.length?{success:false,error:new __ZodError(e)}:{success:true,data:d};}';
+/**
+ * File-level validator factory (must appear once per compiled file).
+ * Wraps a safeParse function into the CompiledSchema interface.
+ * schema=null produces a plain object; schema=ZodSchema uses Object.create.
+ */
+export const MK_VALIDATOR_DECL = "function __mkv(fn,schema){var w=schema?Object.create(schema):{};w.parse=function(input){var r=fn(input);if(r.success)return r.data;throw r.error;};w.safeParse=fn;w.safeParseAsync=function(input){return Promise.resolve(fn(input));};w.parseAsync=function(input){var r=fn(input);if(r.success)return Promise.resolve(r.data);return Promise.reject(r.error);};return w;}";
+function extractFunctionName(functionDef) {
+    const match = /^function\s+(\w+)\s*\(/.exec(functionDef);
+    if (!match?.[1]) {
+        throw new Error("Cannot extract function name from generated code");
+    }
+    return match[1];
+}
+/**
+ * Generate a `/* @__PURE__ * /` IIFE wrapping a compiled validator.
+ *
+ * @param schemaExpr - Expression resolving to the original Zod schema
+ *   (e.g. `"UserSchema"` in unplugin, `"(__src_X as any).schema"` in CLI)
+ * @param schema
+ * @param options
+ */
+export function generateIIFE(schemaExpr, schema, options) {
+    const { codegenResult, refEntries } = schema;
+    const fnName = extractFunctionName(codegenResult.functionDef);
+    const zodCompat = options?.zodCompat !== false;
+    const schemaArg = zodCompat ? schemaExpr : "null";
+    return [
+        "/* @__PURE__ */ (() => {",
+        ...(refEntries.length > 0
+            ? [`var __rf=[${refEntries.map((fb) => `${schemaExpr}${fb.accessPath}`).join(",")}];`]
+            : []),
+        ...codegenResult.code
+            .split("\n")
+            .filter((l) => l.trim() !== "" && l.trim() !== "/* zod-compiler */"),
+        codegenResult.functionDef,
+        `return __mkv(${fnName},${schemaArg});`,
+        "})()",
+    ].join("\n");
+}
+//# sourceMappingURL=iife.js.map

package/dist/core/iife.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"iife.js","sourceRoot":"","sources":["../../src/core/iife.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,yFAAyF;AACzF,MAAM,CAAC,MAAM,iBAAiB,GAC5B,kFAAkF,CAAC;AAErF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,mBAAmB,GAAG,8CAA8C,CAAC;AAElF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GACnB,uOAAuO,CAAC;AAE1O;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,6WAA6W,CAAC;AAEhX,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,MAA0B,EAC1B,OAA6C;IAE7C,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IAC7C,MAAM,MAAM,GAAG,mBAAmB,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,KAAK,KAAK,CAAC;IAC/C,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IAElD,OAAO;QACL,0BAA0B;QAC1B,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;YACvB,CAAC,CAAC,CAAC,aAAa,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACtF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,aAAa,CAAC,IAAI;aAClB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,oBAAoB,CAAC;QACtE,aAAa,CAAC,WAAW;QACzB,gBAAgB,MAAM,IAAI,SAAS,IAAI;QACvC,MAAM;KACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/core/pipeline.d.ts

@@ -0,0 +1,26 @@
+import type { CodeGenResult, CodegenMode } from "./codegen/context.js";
+import type { RefEntry } from "./extract/index.js";
+import type { DiscoveredSchema } from "./types.js";
+/** Result of compiling a single discovered schema through extract → generate pipeline. */
+export interface CompiledSchemaInfo {
+    exportName: string;
+    codegenResult: CodeGenResult;
+    refEntries: RefEntry[];
+}
+export interface CompileSchemasOptions {
+    /** "inline" for CLI .compiled.ts; "lean" for unplugin (imports from virtual:zod-compiler/runtime). */
+    mode: CodegenMode;
+    /** When provided, per-schema failures call this and continue. Otherwise the first error throws. */
+    onError?: (exportName: string, error: Error) => void;
+}
+/**
+ * Run the extract → generate pipeline for each discovered schema.
+ * Shared by CLI generate and unplugin transform.
+ */
+export declare function compileSchemas(schemas: DiscoveredSchema[], options: CompileSchemasOptions): CompiledSchemaInfo[];
+/**
+ * Aggregate `usedHelpers` across multiple compiled schemas (typically all schemas in one file).
+ * Used by the unplugin transform to construct a single import statement per file.
+ */
+export declare function aggregateUsedHelpers(schemas: CompiledSchemaInfo[]): Set<string>;
+//# sourceMappingURL=pipeline.d.ts.map

package/dist/core/pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../../src/core/pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,0FAA0F;AAC1F,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,aAAa,CAAC;IAC7B,UAAU,EAAE,QAAQ,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,sGAAsG;IACtG,IAAI,EAAE,WAAW,CAAC;IAClB,mGAAmG;IACnG,OAAO,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;CACtD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,gBAAgB,EAAE,EAC3B,OAAO,EAAE,qBAAqB,GAC7B,kBAAkB,EAAE,CAsBtB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,kBAAkB,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAM/E"}

package/dist/core/pipeline.js

@@ -0,0 +1,42 @@
+import { generateValidator } from "./codegen/index.js";
+import { extractSchema } from "./extract/index.js";
+/**
+ * Run the extract → generate pipeline for each discovered schema.
+ * Shared by CLI generate and unplugin transform.
+ */
+export function compileSchemas(schemas, options) {
+    const results = [];
+    for (const s of schemas) {
+        try {
+            const refEntries = [];
+            const ir = extractSchema(s.schema, refEntries);
+            const codegenResult = generateValidator(ir, s.exportName, {
+                refCount: refEntries.length,
+                mode: options.mode,
+            });
+            results.push({ exportName: s.exportName, codegenResult, refEntries });
+        }
+        catch (err) {
+            if (options.onError) {
+                options.onError(s.exportName, err instanceof Error ? err : new Error(String(err)));
+            }
+            else {
+                throw err;
+            }
+        }
+    }
+    return results;
+}
+/**
+ * Aggregate `usedHelpers` across multiple compiled schemas (typically all schemas in one file).
+ * Used by the unplugin transform to construct a single import statement per file.
+ */
+export function aggregateUsedHelpers(schemas) {
+    const all = new Set();
+    for (const s of schemas) {
+        for (const h of s.codegenResult.usedHelpers)
+            all.add(h);
+    }
+    return all;
+}
+//# sourceMappingURL=pipeline.js.map

package/dist/core/pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../../src/core/pipeline.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAiBnD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,OAA2B,EAC3B,OAA8B;IAE9B,MAAM,OAAO,GAAyB,EAAE,CAAC;IAEzC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,UAAU,GAAe,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAC/C,MAAM,aAAa,GAAG,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE;gBACxD,QAAQ,EAAE,UAAU,CAAC,MAAM;gBAC3B,IAAI,EAAE,OAAO,CAAC,IAAI;aACnB,CAAC,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,CAAC;QACxE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACrF,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,CAAC;YACZ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAA6B;IAChE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,WAAW;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/core/types.d.ts

@@ -0,0 +1,352 @@
+/**
+ * SchemaIR — Intermediate representation for Zod schemas.
+ * Extracted from Zod's `_zod.def` and `_zod.bag` at build time.
+ */
+/** Shared base: static custom error message extracted from the check's `error` param. */
+export interface CheckBase {
+    /** Static message from e.g. `.min(3, "too short")`. Dynamic error maps force fallback. */
+    message?: string;
+}
+export interface CheckMinLength extends CheckBase {
+    kind: "min_length";
+    minimum: number;
+}
+export interface CheckMaxLength extends CheckBase {
+    kind: "max_length";
+    maximum: number;
+}
+export interface CheckLengthEquals extends CheckBase {
+    kind: "length_equals";
+    length: number;
+}
+export interface CheckGreaterThan extends CheckBase {
+    kind: "greater_than";
+    value: number;
+    inclusive: boolean;
+}
+export interface CheckLessThan extends CheckBase {
+    kind: "less_than";
+    value: number;
+    inclusive: boolean;
+}
+export interface CheckMultipleOf extends CheckBase {
+    kind: "multiple_of";
+    value: number;
+}
+export interface CheckNumberFormat extends CheckBase {
+    kind: "number_format";
+    format: "safeint" | "int32" | "uint32" | "float32" | "float64";
+}
+export interface CheckStringFormat extends CheckBase {
+    kind: "string_format";
+    format: string;
+    pattern?: string;
+    /** RegExp flags of the source pattern (e.g. "u" for z.emoji()). */
+    patternFlags?: string;
+    /** url-only: hostname constraint regex source (z.httpUrl()). */
+    hostname?: string;
+    hostnameFlags?: string;
+    /** url-only: protocol constraint regex source (z.httpUrl()). */
+    protocol?: string;
+    protocolFlags?: string;
+    /** url-only: output url.href instead of the trimmed input. */
+    normalize?: boolean;
+}
+export interface CheckIncludes extends CheckBase {
+    kind: "includes";
+    includes: string;
+    position?: number;
+}
+export interface CheckStartsWith extends CheckBase {
+    kind: "starts_with";
+    prefix: string;
+}
+export interface CheckEndsWith extends CheckBase {
+    kind: "ends_with";
+    suffix: string;
+}
+export type CheckIR = CheckMinLength | CheckMaxLength | CheckLengthEquals | CheckGreaterThan | CheckLessThan | CheckMultipleOf | CheckNumberFormat | CheckStringFormat | CheckIncludes | CheckStartsWith | CheckEndsWith;
+export interface RefineEffectCheckIR {
+    kind: "refine_effect";
+    /** fn.toString() result, e.g. "v => v.includes('@')" */
+    source: string;
+    /** Custom error message from .refine(fn, "message") or .refine(fn, { message }) */
+    message?: string;
+}
+/**
+ * Value-rewriting check compiled from a $ZodCheckOverwrite (.trim(), .toLowerCase(), ...).
+ * Applied at its original position: `value = (source)(value)`. Never produces issues.
+ */
+export interface OverwriteEffectCheckIR {
+    kind: "overwrite_effect";
+    /** fn.toString() of the overwrite transform, e.g. "(input) => input.trim()" */
+    source: string;
+}
+/** A check entry that may be a compiled check or an inline effect. */
+export type CheckOrEffectIR = CheckIR | RefineEffectCheckIR | OverwriteEffectCheckIR;
+export interface CheckDateGreaterThan extends CheckBase {
+    kind: "date_greater_than";
+    value: string;
+    timestamp: number;
+    inclusive: boolean;
+}
+export interface CheckDateLessThan extends CheckBase {
+    kind: "date_less_than";
+    value: string;
+    timestamp: number;
+    inclusive: boolean;
+}
+export type DateCheckIR = CheckDateGreaterThan | CheckDateLessThan;
+export interface CheckBigIntGreaterThan extends CheckBase {
+    kind: "bigint_greater_than";
+    /** String representation of the BigInt value (e.g. "10") */
+    value: string;
+    inclusive: boolean;
+}
+export interface CheckBigIntLessThan extends CheckBase {
+    kind: "bigint_less_than";
+    /** String representation of the BigInt value (e.g. "100") */
+    value: string;
+    inclusive: boolean;
+}
+export interface CheckBigIntMultipleOf extends CheckBase {
+    kind: "bigint_multiple_of";
+    /** String representation of the BigInt value (e.g. "3") */
+    value: string;
+}
+export type BigIntCheckIR = CheckBigIntGreaterThan | CheckBigIntLessThan | CheckBigIntMultipleOf;
+export interface CheckMinSize extends CheckBase {
+    kind: "min_size";
+    minimum: number;
+}
+export interface CheckMaxSize extends CheckBase {
+    kind: "max_size";
+    maximum: number;
+}
+export interface CheckSizeEquals extends CheckBase {
+    kind: "size_equals";
+    size: number;
+}
+export type SetCheckIR = CheckMinSize | CheckMaxSize | CheckSizeEquals;
+export interface CheckMimeType extends CheckBase {
+    kind: "mime_type";
+    mime: string[];
+}
+export type FileCheckIR = CheckMinSize | CheckMaxSize | CheckMimeType;
+export interface StringIR {
+    type: "string";
+    checks: CheckOrEffectIR[];
+    coerce?: boolean;
+}
+export interface NumberIR {
+    type: "number";
+    checks: CheckOrEffectIR[];
+    coerce?: boolean;
+}
+export interface BooleanIR {
+    type: "boolean";
+    coerce?: boolean;
+}
+export interface BigIntIR {
+    type: "bigint";
+    checks: BigIntCheckIR[];
+    coerce?: boolean;
+}
+export interface DateIR {
+    type: "date";
+    checks: DateCheckIR[];
+    coerce?: boolean;
+}
+export interface SymbolIR {
+    type: "symbol";
+}
+export interface NullIR {
+    type: "null";
+}
+export interface UndefinedIR {
+    type: "undefined";
+}
+export interface VoidIR {
+    type: "void";
+}
+export interface NanIR {
+    type: "nan";
+}
+export interface NeverIR {
+    type: "never";
+}
+export interface AnyIR {
+    type: "any";
+}
+export interface UnknownIR {
+    type: "unknown";
+}
+export interface LiteralIR {
+    type: "literal";
+    values: (string | number | boolean | null | bigint | undefined)[];
+}
+export interface EnumIR {
+    type: "enum";
+    /** Accepted values — z.nativeEnum() can contribute numbers. */
+    values: (string | number)[];
+}
+export interface ObjectIR {
+    type: "object";
+    properties: Record<string, SchemaIR>;
+    /** Object-level refine effects from z.object({...}).refine(fn) */
+    checks?: RefineEffectCheckIR[];
+    /**
+     * Fallback-typed property keys whose zod schema is optional-out: when the
+     * key is ABSENT from the input, their issues are suppressed (mirrors zod's
+     * handlePropertyResult). Lets z.exactOptional() and friends fall back at
+     * the property level without rejecting missing keys.
+     */
+    suppressAbsentKeys?: string[];
+}
+export interface ArrayIR {
+    type: "array";
+    element: SchemaIR;
+    checks: CheckOrEffectIR[];
+}
+export interface TupleIR {
+    type: "tuple";
+    items: SchemaIR[];
+    rest: SchemaIR | null;
+}
+export interface RecordIR {
+    type: "record";
+    keyType: SchemaIR;
+    valueType: SchemaIR;
+}
+export interface SetIR {
+    type: "set";
+    valueType: SchemaIR;
+    checks?: SetCheckIR[];
+}
+export interface MapIR {
+    type: "map";
+    keyType: SchemaIR;
+    valueType: SchemaIR;
+}
+export interface FileIR {
+    type: "file";
+    checks?: FileCheckIR[];
+}
+export interface UnionIR {
+    type: "union";
+    options: SchemaIR[];
+}
+export interface DiscriminatedUnionIR {
+    type: "discriminatedUnion";
+    discriminator: string;
+    options: SchemaIR[];
+    /**
+     * Typed discriminator-value dispatch table, sourced from zod's
+     * `_zod.propValues` (covers literal AND enum discriminators, preserving
+     * value types so numeric/boolean discriminators switch correctly).
+     */
+    cases: {
+        value: string | number | boolean | null | bigint | undefined;
+        option: number;
+    }[];
+}
+export interface IntersectionIR {
+    type: "intersection";
+    left: SchemaIR;
+    right: SchemaIR;
+}
+export interface OptionalIR {
+    type: "optional";
+    inner: SchemaIR;
+}
+export interface NullableIR {
+    type: "nullable";
+    inner: SchemaIR;
+}
+export interface ReadonlyIR {
+    type: "readonly";
+    inner: SchemaIR;
+}
+export interface DefaultIR {
+    type: "default";
+    inner: SchemaIR;
+    refIndex: number;
+}
+export interface PipeIR {
+    type: "pipe";
+    in: SchemaIR;
+    out: SchemaIR;
+}
+export interface TransformEffectIR {
+    type: "effect";
+    effectKind: "transform";
+    /** fn.toString() result, e.g. "v => v.toLowerCase()" */
+    source: string;
+    /** The input schema to validate before applying the transform */
+    inner: SchemaIR;
+}
+export interface FallbackIR {
+    type: "fallback";
+    reason: "transform" | "refine" | "superRefine" | "custom" | "lazy" | "unsupported";
+    /** Index into the __rf[] fallback schemas array. Present when partial fallback is used. */
+    refIndex?: number;
+}
+export interface TemplateLiteralIR {
+    type: "templateLiteral";
+    pattern: string;
+}
+export interface CatchIR {
+    type: "catch";
+    inner: SchemaIR;
+    /** Index into __rf[] — the original z.catch() schema whose catchValue runs per parse. */
+    refIndex: number;
+}
+export interface RecursiveRefIR {
+    type: "recursiveRef";
+}
+export interface StringBoolIR {
+    type: "stringBool";
+    truthy: string[];
+    falsy: string[];
+    caseSensitive: boolean;
+}
+/**
+ * Optional schema-level static error message (z.string({ error: "..." })).
+ * Attached centrally by extract dispatch; consumed by issue emission as the
+ * default message for issues created by this node (zod precedence: check
+ * error > schema error > locale default). Dynamic schema-level error maps
+ * force fallback instead.
+ */
+export interface TypeMessageCarrier {
+    typeMessage?: string;
+}
+export type SchemaIR = TypeMessageCarrier & (StringIR | NumberIR | BooleanIR | BigIntIR | DateIR | SymbolIR | NullIR | UndefinedIR | VoidIR | NanIR | NeverIR | AnyIR | UnknownIR | LiteralIR | EnumIR | ObjectIR | ArrayIR | TupleIR | RecordIR | SetIR | MapIR | FileIR | UnionIR | DiscriminatedUnionIR | IntersectionIR | OptionalIR | NullableIR | ReadonlyIR | DefaultIR | PipeIR | TransformEffectIR | TemplateLiteralIR | CatchIR | FallbackIR | RecursiveRefIR | StringBoolIR);
+export interface SafeParseSuccess<T> {
+    success: true;
+    data: T;
+}
+export interface SafeParseError {
+    success: false;
+    error: ZodErrorLike;
+}
+export type SafeParseResult<T> = SafeParseSuccess<T> | SafeParseError;
+export interface ZodIssueLike {
+    code: string;
+    path: (string | number)[];
+    message: string;
+    [key: string]: unknown;
+}
+export interface ZodErrorLike {
+    issues: ZodIssueLike[];
+}
+export interface DiscoveredSchema {
+    exportName: string;
+    schema: unknown;
+}
+export interface CompiledSchema<T> {
+    parse(input: unknown): T;
+    parseAsync(input: unknown): Promise<T>;
+    safeParse(input: unknown): SafeParseResult<T>;
+    safeParseAsync(input: unknown): Promise<SafeParseResult<T>>;
+}
+//# sourceMappingURL=types.d.ts.map