zod-compiler 0.1.1 → 1.0.1

package/dist/core/extract/extractors/optional.js

@@ -0,0 +1,14 @@
+export const extractOptional = (def, ctx) => {
+    // z.exactOptional() shares def.type "optional" but rejects explicit
+    // `undefined` (only a missing key is allowed) — compiled optionals accept
+    // undefined, so delegate to Zod. Detectable only via constructor traits.
+    const traits = ctx.schema?._zod?.traits;
+    if (traits?.has("$ZodExactOptional")) {
+        return ctx.fallback("unsupported");
+    }
+    return {
+        type: "optional",
+        inner: ctx.visit(def.innerType, "._zod.def.innerType"),
+    };
+};
+//# sourceMappingURL=optional.js.map

package/dist/core/extract/extractors/optional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/optional.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,eAAe,GAAc,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACrD,oEAAoE;IACpE,0EAA0E;IAC1E,yEAAyE;IACzE,MAAM,MAAM,GAAI,GAAG,CAAC,MAAgC,EAAE,IAAI,EAAE,MAAM,CAAC;IACnE,IAAI,MAAM,EAAE,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,qBAAqB,CAAC;KACvD,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/extract/extractors/pipe.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+export declare function extractPipe(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=pipe.d.ts.map

package/dist/core/extract/extractors/pipe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/pipe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG5D,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CA4BxE"}

package/dist/core/extract/extractors/pipe.js

@@ -0,0 +1,31 @@
+import { tryCompileEffect } from "../effects.js";
+import { extractStringBool, isStringBoolCodec } from "./string-bool.js";
+export function extractPipe(def, ctx) {
+    // Detect stringbool Codec (string→boolean with transform + reverseTransform)
+    if (isStringBoolCodec(def)) {
+        const ir = extractStringBool(def, ctx);
+        if (ir)
+            return ir;
+        // Probing failed — fall back to Zod
+        return ctx.fallback("transform");
+    }
+    // Other Codecs (z.codec): the decode transform lives on the pipe def itself.
+    // Compiling in/out as a plain pipe would validate the untransformed value
+    // against the output schema — delegate to Zod.
+    if (def.transform !== undefined) {
+        return ctx.fallback("transform");
+    }
+    const outDef = def.out?._zod?.def;
+    if (outDef && outDef.type === "transform") {
+        const source = tryCompileEffect(outDef.transform);
+        if (source) {
+            const inIR = ctx.visit(def.in, "._zod.def.in");
+            return { type: "effect", effectKind: "transform", source, inner: inIR };
+        }
+        return ctx.fallback("transform");
+    }
+    const inIR = ctx.visit(def.in, "._zod.def.in");
+    const outIR = ctx.visit(def.out, "._zod.def.out");
+    return { type: "pipe", in: inIR, out: outIR };
+}
+//# sourceMappingURL=pipe.js.map

package/dist/core/extract/extractors/pipe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipe.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/pipe.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAExE,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,GAAqB;IAC5D,6EAA6E;IAC7E,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACvC,IAAI,EAAE;YAAE,OAAO,EAAE,CAAC;QAClB,oCAAoC;QACpC,OAAO,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IAED,6EAA6E;IAC7E,0EAA0E;IAC1E,+CAA+C;IAC/C,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC;IAClC,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;YAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,OAAO,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC"}

package/dist/core/extract/extractors/readonly.d.ts

@@ -0,0 +1,9 @@
+import type { Extractor } from "../types.js";
+/**
+ * z.readonly() freezes the parse OUTPUT in Zod. Compiled validators return
+ * the caller's input object as-is, so emitting Object.freeze would freeze the
+ * caller's own data — an observable side effect Zod never has. Delegate to
+ * Zod, which freezes its rebuilt output instead.
+ */
+export declare const extractReadonly: Extractor;
+//# sourceMappingURL=readonly.d.ts.map

package/dist/core/extract/extractors/readonly.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"readonly.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/readonly.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,SAAsD,CAAC"}

package/dist/core/extract/extractors/readonly.js

@@ -0,0 +1,8 @@
+/**
+ * z.readonly() freezes the parse OUTPUT in Zod. Compiled validators return
+ * the caller's input object as-is, so emitting Object.freeze would freeze the
+ * caller's own data — an observable side effect Zod never has. Delegate to
+ * Zod, which freezes its rebuilt output instead.
+ */
+export const extractReadonly = (_def, ctx) => ctx.fallback("unsupported");
+//# sourceMappingURL=readonly.js.map

package/dist/core/extract/extractors/readonly.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"readonly.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/readonly.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAc,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC"}

package/dist/core/extract/extractors/record.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+export declare function extractRecord(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=record.d.ts.map

package/dist/core/extract/extractors/record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE5D,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAsB1E"}

package/dist/core/extract/extractors/record.js

@@ -0,0 +1,39 @@
+export function extractRecord(def, ctx) {
+    if (!def.valueType) {
+        return ctx.fallback("unsupported");
+    }
+    // Exhaustive-key records: when the key schema exposes a finite value set
+    // (z.record(z.enum(...))), Zod requires EVERY key to be present and rejects
+    // unrecognized keys. Compiled records only iterate input keys — delegate to
+    // Zod. z.partialRecord() clears `_zod.values`, so it still compiles.
+    const keyValues = def.keyType?._zod?.values;
+    if (keyValues !== undefined && keyValues.size > 0) {
+        return ctx.fallback("unsupported");
+    }
+    const keyType = ctx.visit(def.keyType, "._zod.def.keyType");
+    const valueType = ctx.visit(def.valueType, "._zod.def.valueType");
+    // Object keys are strings at runtime. Zod coerces/validates numeric-string
+    // keys for z.record(z.number(), ...) — the compiled key check would run
+    // typeof on the string key and reject everything. Only string-shaped key
+    // schemas compile; everything else delegates to Zod.
+    if (!isStringShapedKey(keyType)) {
+        return ctx.fallback("unsupported");
+    }
+    return { type: "record", keyType, valueType };
+}
+function isStringShapedKey(ir) {
+    switch (ir.type) {
+        case "string":
+        case "templateLiteral":
+            return true;
+        case "enum":
+            return ir.values.every((v) => typeof v === "string");
+        case "literal":
+            return ir.values.every((v) => typeof v === "string");
+        case "union":
+            return ir.options.every(isStringShapedKey);
+        default:
+            return false;
+    }
+}
+//# sourceMappingURL=record.js.map

package/dist/core/extract/extractors/record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/record.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,GAAqB;IAC9D,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,yEAAyE;IACzE,4EAA4E;IAC5E,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC;IAC5C,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAClE,2EAA2E;IAC3E,wEAAwE;IACxE,yEAAyE;IACzE,qDAAqD;IACrD,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAY;IACrC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvD,KAAK,SAAS;YACZ,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvD,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC7C;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/core/extract/extractors/set.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+export declare function extractSet(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=set.d.ts.map

package/dist/core/extract/extractors/set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"set.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/set.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAc,MAAM,gBAAgB,CAAC;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE5D,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAwBvE"}

package/dist/core/extract/extractors/set.js

@@ -0,0 +1,33 @@
+import { hasUncompilableModifiers, resolveCheckMessage } from "../checks.js";
+export function extractSet(def, ctx) {
+    const valueType = ctx.visit(def.valueType, "._zod.def.valueType");
+    const setChecks = [];
+    if (def.checks) {
+        for (const check of def.checks) {
+            const checkDef = check._zod?.def;
+            if (!checkDef)
+                continue;
+            if (hasUncompilableModifiers(checkDef))
+                return ctx.fallback("refine");
+            const resolved = resolveCheckMessage(checkDef.error);
+            if (resolved.kind === "dynamic")
+                return ctx.fallback("refine");
+            const message = resolved.kind === "static" ? { message: resolved.message } : {};
+            if (checkDef.check === "min_size") {
+                setChecks.push({ kind: "min_size", minimum: checkDef.minimum, ...message });
+            }
+            else if (checkDef.check === "max_size") {
+                setChecks.push({ kind: "max_size", maximum: checkDef.maximum, ...message });
+            }
+            else if (checkDef.check === "size_equals") {
+                setChecks.push({ kind: "size_equals", size: checkDef.size, ...message });
+            }
+            else {
+                // Unknown check (custom refine, overwrite, ...) — never drop silently.
+                return ctx.fallback("refine");
+            }
+        }
+    }
+    return { type: "set", valueType, ...(setChecks.length > 0 ? { checks: setChecks } : {}) };
+}
+//# sourceMappingURL=set.js.map

package/dist/core/extract/extractors/set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"set.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/set.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAG7E,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,GAAqB;IAC3D,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAClE,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;YACjC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,wBAAwB,CAAC,QAAQ,CAAC;gBAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAClC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;YAC9E,CAAC;iBAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBACzC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;YAC9E,CAAC;iBAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;gBAC5C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;YAC3E,CAAC;iBAAM,CAAC;gBACN,uEAAuE;gBACvE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC"}

package/dist/core/extract/extractors/string-bool.d.ts

@@ -0,0 +1,10 @@
+import type { StringBoolIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+/** Detect whether a pipe def is a Codec with string→boolean (i.e. stringbool). */
+export declare function isStringBoolCodec(def: ZodDef): boolean;
+/**
+ * Extract a StringBoolIR by probing the live schema with known test values.
+ * Falls back if the discovered values don't fully cover the schema's accepted set.
+ */
+export declare function extractStringBool(_def: ZodDef, ctx: ExtractorContext): StringBoolIR | null;
+//# sourceMappingURL=string-bool.d.ts.map

package/dist/core/extract/extractors/string-bool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-bool.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/string-bool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAsB5D,kFAAkF;AAClF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAOtD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,YAAY,GAAG,IAAI,CA8D1F"}

package/dist/core/extract/extractors/string-bool.js

@@ -0,0 +1,92 @@
+/**
+ * Default probe values used to discover truthy/falsy mappings at build time.
+ * Covers all Zod v4 stringbool defaults. Custom values outside this set
+ * will cause the schema to fall back to Zod.
+ */
+const PROBE_VALUES = [
+    "true",
+    "false",
+    "1",
+    "0",
+    "yes",
+    "no",
+    "on",
+    "off",
+    "y",
+    "n",
+    "enabled",
+    "disabled",
+];
+/** Detect whether a pipe def is a Codec with string→boolean (i.e. stringbool). */
+export function isStringBoolCodec(def) {
+    return (typeof def.transform === "function" &&
+        typeof def.reverseTransform === "function" &&
+        def.in?._zod?.def?.type === "string" &&
+        def.out?._zod?.def?.type === "boolean");
+}
+/**
+ * Extract a StringBoolIR by probing the live schema with known test values.
+ * Falls back if the discovered values don't fully cover the schema's accepted set.
+ */
+export function extractStringBool(_def, ctx) {
+    const schema = ctx.schema;
+    const truthy = [];
+    const falsy = [];
+    for (const val of PROBE_VALUES) {
+        try {
+            const result = schema.safeParse(val);
+            if (result.success) {
+                if (result.data === true)
+                    truthy.push(val);
+                else if (result.data === false)
+                    falsy.push(val);
+            }
+        }
+        catch {
+            // Skip values that throw
+        }
+    }
+    // Both sets must be non-empty to generate correct code.
+    if (truthy.length === 0 || falsy.length === 0) {
+        return null;
+    }
+    // [P1] Verify completeness: trigger a validation error to extract the full list
+    // of accepted values from Zod's error response. If the schema accepts values
+    // we didn't discover via probing, fall back to avoid partial compilation.
+    try {
+        const probe = schema.safeParse("__zod_compiler_probe__");
+        if (!probe.success) {
+            const issues = probe
+                .error?.issues;
+            const valueIssue = issues?.find((i) => i.code === "invalid_value");
+            if (valueIssue?.values) {
+                const expectedSet = new Set(valueIssue.values);
+                const discoveredSet = new Set([...truthy, ...falsy]);
+                for (const v of expectedSet) {
+                    if (!discoveredSet.has(v))
+                        return null;
+                }
+            }
+        }
+    }
+    catch {
+        return null;
+    }
+    // [P2] Detect case sensitivity: search BOTH truthy and falsy for a value with
+    // case variation, then test its opposite-case variant.
+    let caseSensitive = false;
+    for (const val of [...truthy, ...falsy]) {
+        const upper = val.toUpperCase();
+        if (upper !== val) {
+            try {
+                caseSensitive = !schema.safeParse(upper).success;
+            }
+            catch {
+                // safeParse threw — can't determine, default to case-insensitive
+            }
+            break;
+        }
+    }
+    return { type: "stringBool", truthy, falsy, caseSensitive };
+}
+//# sourceMappingURL=string-bool.js.map

package/dist/core/extract/extractors/string-bool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-bool.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/string-bool.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,MAAM,YAAY,GAAG;IACnB,MAAM;IACN,OAAO;IACP,GAAG;IACH,GAAG;IACH,KAAK;IACL,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,GAAG;IACH,GAAG;IACH,SAAS;IACT,UAAU;CACX,CAAC;AAEF,kFAAkF;AAClF,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,OAAO,CACL,OAAO,GAAG,CAAC,SAAS,KAAK,UAAU;QACnC,OAAO,GAAG,CAAC,gBAAgB,KAAK,UAAU;QAC1C,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,QAAQ;QACpC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,SAAS,CACvC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,GAAqB;IACnE,MAAM,MAAM,GAAG,GAAG,CAAC,MAElB,CAAC;IAEF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;oBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;qBACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yBAAyB;QAC3B,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,6EAA6E;IAC7E,0EAA0E;IAC1E,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,MAAM,GAAI,KAA6E;iBAC1F,KAAK,EAAE,MAAM,CAAC;YACjB,MAAM,UAAU,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;YACnE,IAAI,UAAU,EAAE,MAAM,EAAE,CAAC;gBACvB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;gBACrD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,OAAO,IAAI,CAAC;gBACzC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8EAA8E;IAC9E,uDAAuD;IACvD,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC;gBACH,aAAa,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACnD,CAAC;YAAC,MAAM,CAAC;gBACP,iEAAiE;YACnE,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;AAC9D,CAAC"}

package/dist/core/extract/extractors/string.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+export declare function extractString(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=string.d.ts.map

package/dist/core/extract/extractors/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/string.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEhE,OAAO,KAAK,EAAE,gBAAgB,EAAkB,MAAM,EAAE,MAAM,aAAa,CAAC;AAe5E,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CA4B1E"}

package/dist/core/extract/extractors/string.js

@@ -0,0 +1,41 @@
+import { extractChecks } from "../checks.js";
+/** Check kinds the string codegen knows how to emit. Anything else → fallback. */
+const STRING_CHECK_KINDS = new Set([
+    "min_length",
+    "max_length",
+    "length_equals",
+    "includes",
+    "starts_with",
+    "ends_with",
+    "string_format",
+    "refine_effect",
+    "overwrite_effect",
+]);
+export function extractString(def, ctx) {
+    const coerce = def.coerce ? { coerce: true } : {};
+    const allChecks = [];
+    // String format schemas (z.email(), z.url(), ...): the schema def doubles as
+    // its own check def (check: "string_format"). Reuse extractChecks so pattern
+    // flags, url constraints, and custom messages are handled uniformly.
+    if (def.check === "string_format") {
+        const { checkIRs, hasFallback } = extractChecks([
+            { _zod: { def } },
+        ]);
+        if (hasFallback)
+            return ctx.fallback("unsupported");
+        allChecks.push(...checkIRs);
+    }
+    // Appended checks (.min(), .refine(), .trim(), ... — also present on format
+    // schemas like z.email().min(5), which previously lost them entirely).
+    if (def.checks && def.checks.length > 0) {
+        const { checkIRs, hasFallback } = extractChecks(def.checks);
+        if (hasFallback)
+            return ctx.fallback("refine");
+        allChecks.push(...checkIRs);
+    }
+    if (allChecks.some((c) => !STRING_CHECK_KINDS.has(c.kind))) {
+        return ctx.fallback("unsupported");
+    }
+    return { type: "string", checks: allChecks, ...coerce };
+}
+//# sourceMappingURL=string.js.map

package/dist/core/extract/extractors/string.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/string.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C,kFAAkF;AAClF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,YAAY;IACZ,YAAY;IACZ,eAAe;IACf,UAAU;IACV,aAAa;IACb,WAAW;IACX,eAAe;IACf,eAAe;IACf,kBAAkB;CACnB,CAAC,CAAC;AAEH,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,GAAqB;IAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,MAAM,SAAS,GAAsB,EAAE,CAAC;IAExC,6EAA6E;IAC7E,6EAA6E;IAC7E,qEAAqE;IACrE,IAAI,GAAG,CAAC,KAAK,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC;YAC9C,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAA+B;SAC/C,CAAC,CAAC;QACH,IAAI,WAAW;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QACpD,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,4EAA4E;IAC5E,uEAAuE;IACvE,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5D,IAAI,WAAW;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC/C,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC3D,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,EAAE,CAAC;AAC1D,CAAC"}

package/dist/core/extract/extractors/symbol.d.ts

@@ -0,0 +1,3 @@
+import type { Extractor } from "../types.js";
+export declare const extractSymbol: Extractor;
+//# sourceMappingURL=symbol.d.ts.map

package/dist/core/extract/extractors/symbol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/symbol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,aAAa,EAAE,SAAsC,CAAC"}

package/dist/core/extract/extractors/symbol.js

@@ -0,0 +1,2 @@
+export const extractSymbol = () => ({ type: "symbol" });
+//# sourceMappingURL=symbol.js.map

package/dist/core/extract/extractors/symbol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/symbol.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAc,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC"}

package/dist/core/extract/extractors/template-literal.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext } from "../types.js";
+export declare function extractTemplateLiteral(_def: unknown, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=template-literal.d.ts.map

package/dist/core/extract/extractors/template-literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-literal.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/template-literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAa,MAAM,aAAa,CAAC;AAE/D,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAKrF"}

package/dist/core/extract/extractors/template-literal.js

@@ -0,0 +1,8 @@
+export function extractTemplateLiteral(_def, ctx) {
+    const schema = ctx.schema;
+    const pattern = schema._zod.pattern;
+    if (!pattern)
+        return ctx.fallback("unsupported");
+    return { type: "templateLiteral", pattern: pattern.source };
+}
+//# sourceMappingURL=template-literal.js.map

package/dist/core/extract/extractors/template-literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-literal.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/template-literal.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,sBAAsB,CAAC,IAAa,EAAE,GAAqB;IACzE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAmB,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACjD,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAC9D,CAAC"}

package/dist/core/extract/extractors/tuple.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+export declare function extractTuple(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=tuple.d.ts.map

package/dist/core/extract/extractors/tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE5D,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAIzE"}

package/dist/core/extract/extractors/tuple.js

@@ -0,0 +1,6 @@
+export function extractTuple(def, ctx) {
+    const items = def.items.map((item, i) => ctx.visit(item, `._zod.def.items[${i}]`));
+    const rest = def.rest ? ctx.visit(def.rest, "._zod.def.rest") : null;
+    return { type: "tuple", items, rest };
+}
+//# sourceMappingURL=tuple.js.map

package/dist/core/extract/extractors/tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/tuple.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAqB;IAC7D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC"}

package/dist/core/extract/extractors/undefined.d.ts

@@ -0,0 +1,3 @@
+import type { Extractor } from "../types.js";
+export declare const extractUndefined: Extractor;
+//# sourceMappingURL=undefined.d.ts.map

package/dist/core/extract/extractors/undefined.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"undefined.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/undefined.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,gBAAgB,EAAE,SAAyC,CAAC"}

package/dist/core/extract/extractors/undefined.js

@@ -0,0 +1,2 @@
+export const extractUndefined = () => ({ type: "undefined" });
+//# sourceMappingURL=undefined.js.map

package/dist/core/extract/extractors/undefined.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"undefined.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/undefined.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,gBAAgB,GAAc,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC"}

package/dist/core/extract/extractors/union.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+export declare function extractUnion(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=union.d.ts.map

package/dist/core/extract/extractors/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAa,MAAM,aAAa,CAAC;AAEvE,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CA+CzE"}

package/dist/core/extract/extractors/union.js

@@ -0,0 +1,44 @@
+export function extractUnion(def, ctx) {
+    // z.xor(): exactly-one-match semantics (def.inclusive === false without a
+    // discriminator). Compiled plain unions accept any match — delegate to Zod.
+    // Discriminated unions also carry inclusive:false, but their compiled
+    // switch dispatch is exclusive by construction.
+    if (def.inclusive === false && !def.discriminator) {
+        return ctx.fallback("unsupported");
+    }
+    if (def.discriminator) {
+        // zod's `_zod.propValues[discriminator]` is the authoritative dispatch
+        // table — it covers literal AND enum discriminators with typed values.
+        // An option without resolvable values would be unreachable in the
+        // compiled switch (rejecting valid input) — fall back instead.
+        const cases = [];
+        for (let i = 0; i < def.options.length; i++) {
+            const opt = def.options[i];
+            const propValues = opt._zod.propValues?.[def.discriminator];
+            if (!propValues || propValues.size === 0) {
+                return ctx.fallback("unsupported");
+            }
+            for (const v of propValues) {
+                if (v !== null &&
+                    v !== undefined &&
+                    typeof v !== "string" &&
+                    typeof v !== "number" &&
+                    typeof v !== "boolean" &&
+                    typeof v !== "bigint") {
+                    return ctx.fallback("unsupported");
+                }
+                cases.push({
+                    value: v,
+                    option: i,
+                });
+            }
+        }
+        const options = def.options.map((opt, i) => ctx.visit(opt, `._zod.def.options[${i}]`));
+        return { type: "discriminatedUnion", discriminator: def.discriminator, options, cases };
+    }
+    return {
+        type: "union",
+        options: def.options.map((opt, i) => ctx.visit(opt, `._zod.def.options[${i}]`)),
+    };
+}
+//# sourceMappingURL=union.js.map

package/dist/core/extract/extractors/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAqB;IAC7D,0EAA0E;IAC1E,4EAA4E;IAC5E,sEAAsE;IACtE,gDAAgD;IAChD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACtB,uEAAuE;QACvE,uEAAuE;QACvE,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,KAAK,GAGL,EAAE,CAAC;QACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAc,CAAC;YACxC,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC5D,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACzC,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;YACrC,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,IACE,CAAC,KAAK,IAAI;oBACV,CAAC,KAAK,SAAS;oBACf,OAAO,CAAC,KAAK,QAAQ;oBACrB,OAAO,CAAC,KAAK,QAAQ;oBACrB,OAAO,CAAC,KAAK,SAAS;oBACtB,OAAO,CAAC,KAAK,QAAQ,EACrB,CAAC;oBACD,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACrC,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,KAAK,EAAE,CAA0D;oBACjE,MAAM,EAAE,CAAC;iBACV,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QACvF,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC;KAChF,CAAC;AACJ,CAAC"}

package/dist/core/extract/extractors/unknown.d.ts

@@ -0,0 +1,3 @@
+import type { Extractor } from "../types.js";
+export declare const extractUnknown: Extractor;
+//# sourceMappingURL=unknown.d.ts.map

package/dist/core/extract/extractors/unknown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,cAAc,EAAE,SAAuC,CAAC"}

package/dist/core/extract/extractors/unknown.js

@@ -0,0 +1,2 @@
+export const extractUnknown = () => ({ type: "unknown" });
+//# sourceMappingURL=unknown.js.map

package/dist/core/extract/extractors/unknown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/unknown.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAc,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC"}

package/dist/core/extract/extractors/void.d.ts

@@ -0,0 +1,3 @@
+import type { Extractor } from "../types.js";
+export declare const extractVoid: Extractor;
+//# sourceMappingURL=void.d.ts.map

package/dist/core/extract/extractors/void.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"void.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,WAAW,EAAE,SAAoC,CAAC"}

package/dist/core/extract/extractors/void.js

@@ -0,0 +1,2 @@
+export const extractVoid = () => ({ type: "void" });
+//# sourceMappingURL=void.js.map

package/dist/core/extract/extractors/void.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"void.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/void.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAc,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { FallbackIR } from "../types.js";
+import type { RefEntry } from "./types.js";
+export declare function makeFallback(reason: FallbackIR["reason"], zodSchema: unknown, refs?: RefEntry[], accessPath?: string): FallbackIR;
+//# sourceMappingURL=fallback.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fallback.d.ts","sourceRoot":"","sources":["../../../src/core/extract/fallback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,wBAAgB,YAAY,CAC1B,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,EAC5B,SAAS,EAAE,OAAO,EAClB,IAAI,CAAC,EAAE,QAAQ,EAAE,EACjB,UAAU,CAAC,EAAE,MAAM,GAClB,UAAU,CAOZ"}

package/dist/core/extract/fallback.js

@@ -0,0 +1,9 @@
+export function makeFallback(reason, zodSchema, refs, accessPath) {
+    if (refs && accessPath !== undefined) {
+        const refIndex = refs.length;
+        refs.push({ schema: zodSchema, accessPath });
+        return { type: "fallback", reason, refIndex };
+    }
+    return { type: "fallback", reason };
+}
+//# sourceMappingURL=fallback.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fallback.js","sourceRoot":"","sources":["../../../src/core/extract/fallback.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,YAAY,CAC1B,MAA4B,EAC5B,SAAkB,EAClB,IAAiB,EACjB,UAAmB;IAEnB,IAAI,IAAI,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC"}

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

@@ -0,0 +1,11 @@
+import type { SchemaIR } from "../types.js";
+import type { RefEntry } from "./types.js";
+export type { RefEntry } from "./types.js";
+/**
+ * Extract SchemaIR from a Zod schema by traversing its `_zod.def` and `_zod.bag`.
+ *
+ * When `fallbacks` is provided, non-compilable sub-schemas are collected with their
+ * access paths for partial fallback (Zod delegation at runtime).
+ */
+export declare function extractSchema(zodSchema: unknown, refs?: RefEntry[], currentPath?: string, visiting?: Set<unknown>): SchemaIR;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/extract/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,OAAO,EAClB,IAAI,CAAC,EAAE,QAAQ,EAAE,EACjB,WAAW,CAAC,EAAE,MAAM,EACpB,QAAQ,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GACtB,QAAQ,CAEV"}

package/dist/core/extract/index.js

@@ -0,0 +1,11 @@
+import { dispatch } from "./registry.js";
+/**
+ * Extract SchemaIR from a Zod schema by traversing its `_zod.def` and `_zod.bag`.
+ *
+ * When `fallbacks` is provided, non-compilable sub-schemas are collected with their
+ * access paths for partial fallback (Zod delegation at runtime).
+ */
+export function extractSchema(zodSchema, refs, currentPath, visiting) {
+    return dispatch(zodSchema, currentPath ?? "", refs, visiting ?? new Set());
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/extract/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAKzC;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,SAAkB,EAClB,IAAiB,EACjB,WAAoB,EACpB,QAAuB;IAEvB,OAAO,QAAQ,CAAC,SAAS,EAAE,WAAW,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,IAAI,IAAI,GAAG,EAAW,CAAC,CAAC;AACtF,CAAC"}