zod-compiler 0.1.0 → 1.0.0

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"}

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"}