zod-compiler 0.1.1 → 1.0.1

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

@@ -0,0 +1,11 @@
+import type { SchemaIR } from "../../types.js";
+import type { ExtractorContext, ZodDef } from "../types.js";
+/**
+ * z.catch(): the catch value is computed PER PARSE in Zod — it may be a
+ * function reading the failure ctx ({ value, issues, error, input }) or an
+ * impure factory (() => new Date()). Baking a build-time evaluation would
+ * freeze those, so the compiled validator calls the original schema's
+ * catchValue at runtime through the __rf table (same mechanism as default).
+ */
+export declare function extractCatch(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//# sourceMappingURL=catch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"catch.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/catch.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;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAYzE"}

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

@@ -0,0 +1,20 @@
+/**
+ * z.catch(): the catch value is computed PER PARSE in Zod — it may be a
+ * function reading the failure ctx ({ value, issues, error, input }) or an
+ * impure factory (() => new Date()). Baking a build-time evaluation would
+ * freeze those, so the compiled validator calls the original schema's
+ * catchValue at runtime through the __rf table (same mechanism as default).
+ */
+export function extractCatch(def, ctx) {
+    const inner = ctx.visit(def.innerType, "._zod.def.innerType");
+    if (inner.type === "fallback")
+        return ctx.fallback("unsupported");
+    if (ctx.refs) {
+        const refIndex = ctx.refs.length;
+        ctx.refs.push({ schema: ctx.schema, accessPath: ctx.path });
+        return { type: "catch", inner, refIndex };
+    }
+    // Without fallback tracking, the runtime catchValue cannot be referenced.
+    return ctx.fallback("unsupported");
+}
+//# sourceMappingURL=catch.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"catch.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/catch.ts"],"names":[],"mappings":"AAGA;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAqB;IAC7D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IAElE,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,0EAA0E;IAC1E,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;AACrC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,49 @@
+import { hasUncompilableModifiers, resolveCheckMessage } from "../checks.js";
+export function extractDate(def, ctx) {
+    const dateChecks = [];
+    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 === "greater_than") {
+                const v = checkDef.value;
+                const ts = new Date(v).getTime();
+                if (Number.isNaN(ts))
+                    return ctx.fallback("unsupported");
+                dateChecks.push({
+                    kind: "date_greater_than",
+                    value: String(v),
+                    timestamp: ts,
+                    inclusive: checkDef.inclusive,
+                    ...message,
+                });
+            }
+            else if (checkDef.check === "less_than") {
+                const v = checkDef.value;
+                const ts = new Date(v).getTime();
+                if (Number.isNaN(ts))
+                    return ctx.fallback("unsupported");
+                dateChecks.push({
+                    kind: "date_less_than",
+                    value: String(v),
+                    timestamp: ts,
+                    inclusive: checkDef.inclusive,
+                    ...message,
+                });
+            }
+            else {
+                // Unknown check (custom refine, overwrite, ...) — never drop silently.
+                return ctx.fallback("refine");
+            }
+        }
+    }
+    return { type: "date", checks: dateChecks, ...(def.coerce ? { coerce: true } : {}) };
+}
+//# sourceMappingURL=date.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"date.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/date.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAG7E,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,GAAqB;IAC5D,MAAM,UAAU,GAAkB,EAAE,CAAC;IACrC,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,cAAc,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAA0B,CAAC;gBAC9C,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,mBAAmB;oBACzB,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;oBAChB,SAAS,EAAE,EAAE;oBACb,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,GAAG,OAAO;iBACX,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,KAA0B,CAAC;gBAC9C,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,gBAAgB;oBACtB,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;oBAChB,SAAS,EAAE,EAAE;oBACb,SAAS,EAAE,QAAQ,CAAC,SAAS;oBAC7B,GAAG,OAAO;iBACX,CAAC,CAAC;YACL,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,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACvF,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"default.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/default.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,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAU3E"}

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

@@ -0,0 +1,11 @@
+export function extractDefault(def, ctx) {
+    const inner = ctx.visit(def.innerType, "._zod.def.innerType");
+    if (ctx.refs) {
+        const refIndex = ctx.refs.length;
+        ctx.refs.push({ schema: ctx.schema, accessPath: ctx.path });
+        return { type: "default", inner, refIndex };
+    }
+    // Without fallback tracking, default values cannot be safely referenced at runtime.
+    return ctx.fallback("unsupported");
+}
+//# sourceMappingURL=default.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"default.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/default.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,GAAqB;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAC9D,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IAED,oFAAoF;IACpF,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;AACrC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,15 @@
+export const extractEnum = (def, ctx) => {
+    // `_zod.values` is zod's authoritative accepted-value set — for TS numeric
+    // enums it excludes reverse mappings ({A:1, "1":"A"} → values [1]), which
+    // Object.values(def.entries) would wrongly include.
+    const valueSet = ctx.schema?._zod?.values;
+    const values = valueSet !== undefined ? [...valueSet] : Object.values(def.entries);
+    if (!values.every((v) => typeof v === "string" || typeof v === "number")) {
+        return ctx.fallback("unsupported");
+    }
+    return {
+        type: "enum",
+        values: values,
+    };
+};
+//# sourceMappingURL=enum.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/enum.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAc,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACjD,2EAA2E;IAC3E,0EAA0E;IAC1E,oDAAoD;IACpD,MAAM,QAAQ,GAAI,GAAG,CAAC,MAAgC,EAAE,IAAI,EAAE,MAAM,CAAC;IACrE,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QACzE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAA6B;KACtC,CAAC;AACJ,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,24 @@
+export function extractFile(def, ctx) {
+    const fileChecks = [];
+    if (def.checks) {
+        for (const check of def.checks) {
+            const checkDef = check._zod?.def;
+            if (!checkDef)
+                continue;
+            if (checkDef.check === "min_size") {
+                fileChecks.push({ kind: "min_size", minimum: checkDef.minimum });
+            }
+            else if (checkDef.check === "max_size") {
+                fileChecks.push({ kind: "max_size", maximum: checkDef.maximum });
+            }
+            else if (checkDef.check === "mime_type") {
+                fileChecks.push({ kind: "mime_type", mime: [...checkDef.mime] });
+            }
+            else {
+                return ctx.fallback("refine");
+            }
+        }
+    }
+    return { type: "file", ...(fileChecks.length > 0 ? { checks: fileChecks } : {}) };
+}
+//# sourceMappingURL=file.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"file.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/file.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,WAAW,CAAC,GAAW,EAAE,GAAqB;IAC5D,MAAM,UAAU,GAAkB,EAAE,CAAC;IACrC,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,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAClC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YACnE,CAAC;iBAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBACzC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YACnE,CAAC;iBAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBAC1C,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnE,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACpF,CAAC"}

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

@@ -0,0 +1,32 @@
+export { extractAny } from "./any.js";
+export { extractArray } from "./array.js";
+export { extractBigint } from "./bigint.js";
+export { extractBoolean } from "./boolean.js";
+export { extractCatch } from "./catch.js";
+export { extractDate } from "./date.js";
+export { extractDefault } from "./default.js";
+export { extractEnum } from "./enum.js";
+export { extractIntersection } from "./intersection.js";
+export { extractLazy } from "./lazy.js";
+export { extractLiteral } from "./literal.js";
+export { extractMap } from "./map.js";
+export { extractNan } from "./nan.js";
+export { extractNever } from "./never.js";
+export { extractNull } from "./null.js";
+export { extractNullable } from "./nullable.js";
+export { extractNumber } from "./number.js";
+export { extractObject } from "./object.js";
+export { extractOptional } from "./optional.js";
+export { extractPipe } from "./pipe.js";
+export { extractReadonly } from "./readonly.js";
+export { extractRecord } from "./record.js";
+export { extractSet } from "./set.js";
+export { extractString } from "./string.js";
+export { extractSymbol } from "./symbol.js";
+export { extractTemplateLiteral } from "./template-literal.js";
+export { extractTuple } from "./tuple.js";
+export { extractUndefined } from "./undefined.js";
+export { extractUnion } from "./union.js";
+export { extractUnknown } from "./unknown.js";
+export { extractVoid } from "./void.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC"}

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

@@ -0,0 +1,32 @@
+export { extractAny } from "./any.js";
+export { extractArray } from "./array.js";
+export { extractBigint } from "./bigint.js";
+export { extractBoolean } from "./boolean.js";
+export { extractCatch } from "./catch.js";
+export { extractDate } from "./date.js";
+export { extractDefault } from "./default.js";
+export { extractEnum } from "./enum.js";
+export { extractIntersection } from "./intersection.js";
+export { extractLazy } from "./lazy.js";
+export { extractLiteral } from "./literal.js";
+export { extractMap } from "./map.js";
+export { extractNan } from "./nan.js";
+export { extractNever } from "./never.js";
+export { extractNull } from "./null.js";
+export { extractNullable } from "./nullable.js";
+export { extractNumber } from "./number.js";
+export { extractObject } from "./object.js";
+export { extractOptional } from "./optional.js";
+export { extractPipe } from "./pipe.js";
+export { extractReadonly } from "./readonly.js";
+export { extractRecord } from "./record.js";
+export { extractSet } from "./set.js";
+export { extractString } from "./string.js";
+export { extractSymbol } from "./symbol.js";
+export { extractTemplateLiteral } from "./template-literal.js";
+export { extractTuple } from "./tuple.js";
+export { extractUndefined } from "./undefined.js";
+export { extractUnion } from "./union.js";
+export { extractUnknown } from "./unknown.js";
+export { extractVoid } from "./void.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC"}

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

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

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

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

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

@@ -0,0 +1,14 @@
+import { hasMutation } from "../../codegen/context.js";
+export const extractIntersection = (def, ctx) => {
+    const left = ctx.visit(def.left, "._zod.def.left");
+    const right = ctx.visit(def.right, "._zod.def.right");
+    // Zod validates both sides on the ORIGINAL input and MERGES the results,
+    // throwing on unmergable conflicts. The compiled generator runs the sides
+    // sequentially on the same value — equivalent only when neither side
+    // rewrites it. Mutating sides (coerce, trim, defaults, ...) delegate to Zod.
+    if (hasMutation(left) || hasMutation(right)) {
+        return ctx.fallback("unsupported");
+    }
+    return { type: "intersection", left, right };
+};
+//# sourceMappingURL=intersection.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAGvD,MAAM,CAAC,MAAM,mBAAmB,GAAc,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACzD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACtD,yEAAyE;IACzE,0EAA0E;IAC1E,qEAAqE;IACrE,6EAA6E;IAC7E,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC/C,CAAC,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/lazy.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,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAqB1E"}

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

@@ -0,0 +1,23 @@
+export function extractLazy(_def, ctx) {
+    const schema = ctx.schema;
+    const innerSchema = schema._zod.innerType;
+    if (!innerSchema) {
+        return ctx.fallback("lazy");
+    }
+    // Cycle detected: the resolved schema is already being extracted.
+    if (ctx.visiting.has(innerSchema)) {
+        // recursiveRef codegen re-invokes the ROOT safeParse function, so it is
+        // only correct when the cycle target IS the root schema's resolution
+        // (a directly self-recursive lazy at the top). A cycle back to an inner
+        // node (recursive schema nested in a wrapper, mutual recursion) would
+        // validate against the wrong shape — delegate to Zod.
+        const root = ctx.visiting.values().next().value;
+        const rootResolved = root?._zod?.def?.type === "lazy" ? root._zod.innerType : root;
+        if (rootResolved === innerSchema) {
+            return { type: "recursiveRef" };
+        }
+        return ctx.fallback("lazy");
+    }
+    return ctx.visit(innerSchema, "._zod.innerType");
+}
+//# sourceMappingURL=lazy.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lazy.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/lazy.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,WAAW,CAAC,IAAa,EAAE,GAAqB;IAC9D,MAAM,MAAM,GAAG,GAAG,CAAC,MAAmB,CAAC;IACvC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;IAC1C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,kEAAkE;IAClE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAClC,wEAAwE;QACxE,qEAAqE;QACrE,wEAAwE;QACxE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAA8B,CAAC;QACzE,MAAM,YAAY,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,IAAI,YAAY,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;QAClC,CAAC;QACD,OAAO,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;AACnD,CAAC"}

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/map.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,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAIvE"}

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

@@ -0,0 +1,6 @@
+export function extractMap(def, ctx) {
+    const keyType = ctx.visit(def.keyType, "._zod.def.keyType");
+    const valueType = ctx.visit(def.valueType, "._zod.def.valueType");
+    return { type: "map", keyType, valueType };
+}
+//# sourceMappingURL=map.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/map.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,GAAqB;IAC3D,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,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC"}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,5 @@
+export const extractNullable = (def, ctx) => ({
+    type: "nullable",
+    inner: ctx.visit(def.innerType, "._zod.def.innerType"),
+});
+//# sourceMappingURL=nullable.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/nullable.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,eAAe,GAAc,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,qBAAqB,CAAC;CACvD,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,38 @@
+import { extractChecks, resolveCheckMessage } from "../checks.js";
+/** Check kinds the number codegen knows how to emit. Anything else → fallback. */
+const NUMBER_CHECK_KINDS = new Set([
+    "greater_than",
+    "less_than",
+    "multiple_of",
+    "number_format",
+    "refine_effect",
+]);
+export function extractNumber(def, ctx) {
+    const coerce = def.coerce ? { coerce: true } : {};
+    const allChecks = [];
+    // Number format schemas (z.int(), z.int32(), ...): the schema def doubles as
+    // its own check def. Schema-level custom error applies to the format issue.
+    if (def.check === "number_format" && def.format) {
+        const resolved = resolveCheckMessage(def.error);
+        if (resolved.kind === "dynamic")
+            return ctx.fallback("refine");
+        allChecks.push({
+            kind: "number_format",
+            format: def.format,
+            ...(resolved.kind === "static" ? { message: resolved.message } : {}),
+        });
+    }
+    // Appended checks (.min(), .refine(), ... — also present on format schemas
+    // like z.int().refine(fn), 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) => !NUMBER_CHECK_KINDS.has(c.kind))) {
+        return ctx.fallback("unsupported");
+    }
+    return { type: "number", checks: allChecks, ...coerce };
+}
+//# sourceMappingURL=number.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/number.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAGlE,kFAAkF;AAClF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,cAAc;IACd,WAAW;IACX,aAAa;IACb,eAAe;IACf,eAAe;CAChB,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,4EAA4E;IAC5E,IAAI,GAAG,CAAC,KAAK,KAAK,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC/D,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,GAAG,CAAC,MAAgE;YAC5E,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,CAAC,CAAC;IACL,CAAC;IAED,2EAA2E;IAC3E,iEAAiE;IACjE,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/object.d.ts

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

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

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

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

@@ -0,0 +1,43 @@
+import { extractChecks } from "../checks.js";
+export function extractObject(def, ctx) {
+    // Unknown-key policies the compiled object can't reproduce:
+    // - z.strictObject (catchall: never) rejects unknown keys
+    // - .catchall(schema) validates unknown keys against a schema
+    // z.looseObject (catchall: unknown/any) matches compiled pass-through behavior.
+    const catchallType = def.catchall?._zod?.def?.type;
+    if (def.catchall && catchallType !== "unknown" && catchallType !== "any") {
+        return ctx.fallback("unsupported");
+    }
+    const properties = {};
+    // Fallback props whose zod schema is optional-out: mirror zod's
+    // handlePropertyResult, which suppresses issues for ABSENT keys (this is
+    // how z.exactOptional() accepts missing keys while rejecting explicit
+    // undefined). Compiled optional/default IRs already handle absence.
+    const suppressAbsentKeys = [];
+    for (const [key, value] of Object.entries(def.shape)) {
+        const propIR = ctx.visit(value, `.shape[${JSON.stringify(key)}]`);
+        properties[key] = propIR;
+        if (propIR.type === "fallback" && value._zod.optout === "optional") {
+            suppressAbsentKeys.push(key);
+        }
+    }
+    const suppress = suppressAbsentKeys.length > 0 ? { suppressAbsentKeys } : {};
+    if (def.checks && def.checks.length > 0) {
+        const { checkIRs, hasFallback } = extractChecks(def.checks);
+        if (hasFallback)
+            return ctx.fallback("refine");
+        // Object codegen only supports refine effects; anything else (overwrite,
+        // exotic .check() entries) must not be dropped.
+        if (checkIRs.some((c) => c.kind !== "refine_effect")) {
+            return ctx.fallback("unsupported");
+        }
+        const refineChecks = checkIRs.filter((c) => {
+            return c.kind === "refine_effect";
+        });
+        if (refineChecks.length > 0) {
+            return { type: "object", properties, checks: refineChecks, ...suppress };
+        }
+    }
+    return { type: "object", properties, ...suppress };
+}
+//# sourceMappingURL=object.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/object.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,GAAqB;IAC9D,4DAA4D;IAC5D,0DAA0D;IAC1D,8DAA8D;IAC9D,gFAAgF;IAChF,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;IACnD,IAAI,GAAG,CAAC,QAAQ,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,KAAK,EAAE,CAAC;QACzE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,UAAU,GAA6B,EAAE,CAAC;IAChD,gEAAgE;IAChE,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClE,UAAU,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACzB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACnE,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7E,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,yEAAyE;QACzE,gDAAgD;QAChD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;YACrD,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QACrC,CAAC;QACD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAA4B,EAAE;YACnE,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QACpC,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,EAAE,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,CAAC;AACrD,CAAC"}

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

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

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

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