zod-compiler 0.1.1 → 1.0.1

package/dist/core/extract/checks.js

@@ -0,0 +1,249 @@
+import { tryCompileEffect } from "./effects.js";
+/**
+ * String formats the codegen can validate without a regex pattern.
+ * Everything else without a pattern (e.g. z.jwt(), which validates
+ * algorithmically) must fall back to Zod instead of being silently skipped.
+ */
+const PATTERNLESS_FORMATS = new Set(["email", "uuid", "url"]);
+/**
+ * Formats whose def.pattern is NOT the authoritative validator — zod's
+ * runtime check is algorithmic and accepts inputs the pattern rejects
+ * (e.g. z.cidrv6() splits the prefix and validates the IPv6 part separately).
+ */
+const NON_AUTHORITATIVE_PATTERN_FORMATS = new Set(["cidrv6"]);
+/**
+ * Check kinds where Zod itself installs a `when` guard
+ * (`!nullish(value) && value.length/size !== undefined`). Compiled output
+ * reproduces that gating structurally — length/size checks only run after the
+ * typeof/instanceof guard — so a `when` on these kinds is expected and safe.
+ * A `when` anywhere else must be user-supplied → fall back to Zod.
+ * (A user-supplied `when` on one of these six kinds is indistinguishable from
+ * the internal guard and remains unsupported.)
+ */
+const INTERNAL_WHEN_CHECK_KINDS = new Set([
+    "min_length",
+    "max_length",
+    "length_equals",
+    "min_size",
+    "max_size",
+    "size_equals",
+]);
+/** True when a check carries a runtime `when` predicate we cannot reproduce. */
+export function hasUserWhen(def) {
+    return Boolean(def.when) && !INTERNAL_WHEN_CHECK_KINDS.has(def.check);
+}
+/**
+ * True when a check can't be compiled because of runtime modifiers:
+ * a user-supplied `when` predicate, or `abort: true` (which stops later
+ * checks and marks the option as aborted in union pruning — compiled
+ * output always runs every check).
+ */
+export function hasUncompilableModifiers(def) {
+    return hasUserWhen(def) || def.abort === true;
+}
+export function extractChecks(checks) {
+    const checkIRs = [];
+    let hasFallback = false;
+    for (const check of checks) {
+        const def = check._zod?.def;
+        if (!def)
+            continue;
+        // Checks gated by a user-supplied runtime `when` predicate or abort:true
+        // can't be reproduced in compiled output — delegate the schema to Zod.
+        if (hasUncompilableModifiers(def)) {
+            hasFallback = true;
+            continue;
+        }
+        // Per-check custom error: bake static messages into the IR; error maps
+        // that read the issue (dynamic) can't be compiled — fall back so Zod
+        // produces the exact message.
+        const resolved = resolveCheckMessage(def.error);
+        if (resolved.kind === "dynamic") {
+            hasFallback = true;
+            continue;
+        }
+        const message = resolved.kind === "static" ? { message: resolved.message } : {};
+        switch (def.check) {
+            case "min_length":
+                checkIRs.push({ kind: "min_length", minimum: def.minimum, ...message });
+                break;
+            case "max_length":
+                checkIRs.push({ kind: "max_length", maximum: def.maximum, ...message });
+                break;
+            case "length_equals":
+                checkIRs.push({ kind: "length_equals", length: def.length, ...message });
+                break;
+            case "greater_than":
+                checkIRs.push({
+                    kind: "greater_than",
+                    value: def.value,
+                    inclusive: def.inclusive,
+                    ...message,
+                });
+                break;
+            case "less_than":
+                checkIRs.push({
+                    kind: "less_than",
+                    value: def.value,
+                    inclusive: def.inclusive,
+                    ...message,
+                });
+                break;
+            case "multiple_of":
+                checkIRs.push({ kind: "multiple_of", value: def.value, ...message });
+                break;
+            case "number_format":
+                checkIRs.push({
+                    kind: "number_format",
+                    format: def.format,
+                    ...message,
+                });
+                break;
+            case "string_format": {
+                if (def.format === "includes" && typeof def.includes === "string") {
+                    checkIRs.push({
+                        kind: "includes",
+                        includes: def.includes,
+                        ...(typeof def.position === "number" ? { position: def.position } : {}),
+                        ...message,
+                    });
+                    break;
+                }
+                if (def.format === "starts_with" && typeof def.prefix === "string") {
+                    checkIRs.push({ kind: "starts_with", prefix: def.prefix, ...message });
+                    break;
+                }
+                if (def.format === "ends_with" && typeof def.suffix === "string") {
+                    checkIRs.push({ kind: "ends_with", suffix: def.suffix, ...message });
+                    break;
+                }
+                if (def.format === "url") {
+                    checkIRs.push({
+                        kind: "string_format",
+                        format: "url",
+                        ...regexFields("hostname", "hostnameFlags", def.hostname),
+                        ...regexFields("protocol", "protocolFlags", def.protocol),
+                        ...(def.normalize ? { normalize: true } : {}),
+                        ...message,
+                    });
+                    break;
+                }
+                if (NON_AUTHORITATIVE_PATTERN_FORMATS.has(def.format)) {
+                    hasFallback = true;
+                    break;
+                }
+                const pattern = def.pattern instanceof RegExp ? def.pattern.source : def.pattern;
+                const flags = def.pattern instanceof RegExp && def.pattern.flags ? def.pattern.flags : "";
+                if (!pattern && !PATTERNLESS_FORMATS.has(def.format)) {
+                    // Algorithmic format (e.g. jwt) — nothing to compile.
+                    hasFallback = true;
+                    break;
+                }
+                checkIRs.push({
+                    kind: "string_format",
+                    format: def.format,
+                    ...(pattern ? { pattern } : {}),
+                    ...(flags ? { patternFlags: flags } : {}),
+                    ...message,
+                });
+                break;
+            }
+            case "overwrite": {
+                // $ZodCheckOverwrite (.trim(), .toLowerCase(), ...): value = def.tx(value)
+                const source = tryCompileEffect(def.tx);
+                if (source) {
+                    checkIRs.push({ kind: "overwrite_effect", source });
+                }
+                else {
+                    hasFallback = true;
+                }
+                break;
+            }
+            case "custom": {
+                const source = tryCompileEffect(def.fn);
+                if (source) {
+                    checkIRs.push({ kind: "refine_effect", source, ...message });
+                }
+                else {
+                    hasFallback = true;
+                }
+                break;
+            }
+            default:
+                // Unknown check kind — never drop silently; delegate to Zod.
+                hasFallback = true;
+                break;
+        }
+    }
+    return { checkIRs, hasFallback };
+}
+function regexFields(sourceKey, flagsKey, value) {
+    if (!(value instanceof RegExp))
+        return {};
+    return { [sourceKey]: value.source, ...(value.flags ? { [flagsKey]: value.flags } : {}) };
+}
+/**
+ * Classify a check/schema-level `error` param.
+ *
+ * Zod normalizes `.min(3, "msg")` / `{ error: "msg" }` / `{ message: "msg" }`
+ * into an error-map function that ignores its issue argument and returns the
+ * string. We call the function with an access-tracking Proxy: if it never
+ * inspects the issue, its return value is a constant we can bake into the
+ * generated issue. If it reads any issue property (input-dependent message),
+ * it is dynamic and the schema must fall back to Zod for exact messages.
+ */
+export function resolveCheckMessage(error) {
+    if (error === null || error === undefined)
+        return { kind: "none" };
+    if (typeof error === "string")
+        return { kind: "static", message: error };
+    if (typeof error !== "function")
+        return { kind: "dynamic" };
+    let accessed = false;
+    const track = () => {
+        accessed = true;
+    };
+    const probe = new Proxy({}, {
+        get(_t, prop) {
+            track();
+            // Avoid breaking string coercion / await probing inside error maps.
+            if (prop === Symbol.toPrimitive || prop === "toString" || prop === "valueOf") {
+                return () => "";
+            }
+            return undefined;
+        },
+        has() {
+            track();
+            return false;
+        },
+        ownKeys() {
+            track();
+            return [];
+        },
+        getOwnPropertyDescriptor() {
+            track();
+            return undefined;
+        },
+    });
+    let result;
+    try {
+        result = error(probe);
+    }
+    catch {
+        return { kind: "dynamic" };
+    }
+    if (accessed)
+        return { kind: "dynamic" };
+    if (typeof result === "string")
+        return { kind: "static", message: result };
+    if (result !== null &&
+        typeof result === "object" &&
+        typeof result.message === "string") {
+        return { kind: "static", message: result.message };
+    }
+    // Error map deferred (returned undefined) — no custom message.
+    if (result === undefined)
+        return { kind: "none" };
+    return { kind: "dynamic" };
+}
+//# sourceMappingURL=checks.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../../src/core/extract/checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGhD;;;;GAIG;AACH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,iCAAiC,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE9D;;;;;;;;GAQG;AACH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,YAAY;IACZ,YAAY;IACZ,eAAe;IACf,UAAU;IACV,UAAU;IACV,aAAa;CACd,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,UAAU,WAAW,CAAC,GAAgB;IAC1C,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAAgB;IACvD,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAwB;IAIpD,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;QAC5B,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,WAAW,GAAG,IAAI,CAAC;YACnB,SAAS;QACX,CAAC;QAED,uEAAuE;QACvE,qEAAqE;QACrE,8BAA8B;QAC9B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,GAAG,IAAI,CAAC;YACnB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEhF,QAAQ,GAAG,CAAC,KAAK,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACxE,MAAM;YACR,KAAK,YAAY;gBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACxE,MAAM;YACR,KAAK,eAAe;gBAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACzE,MAAM;YACR,KAAK,cAAc;gBACjB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,WAAW;gBACd,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,aAAa;gBAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACrE,MAAM;YACR,KAAK,eAAe;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,GAAG,CAAC,MAAgE;oBAC5E,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAClE,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;wBACtB,GAAG,CAAC,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACvE,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,aAAa,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;oBACvE,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;oBACrE,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBACzB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,eAAe;wBACrB,MAAM,EAAE,KAAK;wBACb,GAAG,WAAW,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC;wBACzD,GAAG,WAAW,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC;wBACzD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC7C,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR,CAAC;gBACD,IAAI,iCAAiC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACtD,WAAW,GAAG,IAAI,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,YAAY,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;gBACjF,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,IAAI,CAAC,OAAO,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrD,sDAAsD;oBACtD,WAAW,GAAG,IAAI,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,2EAA2E;gBAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxC,IAAI,MAAM,EAAE,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC;gBACtD,CAAC;qBAAM,CAAC;oBACN,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxC,IAAI,MAAM,EAAE,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBAC/D,CAAC;qBAAM,CAAC;oBACN,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,6DAA6D;gBAC7D,WAAW,GAAG,IAAI,CAAC;gBACnB,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,WAAW,CAClB,SAAkC,EAClC,QAA2C,EAC3C,KAAc;IAEd,IAAI,CAAC,CAAC,KAAK,YAAY,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AASD;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzE,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAE5D,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,KAAK,CACrB,EAAE,EACF;QACE,GAAG,CAAC,EAAE,EAAE,IAAI;YACV,KAAK,EAAE,CAAC;YACR,oEAAoE;YACpE,IAAI,IAAI,KAAK,MAAM,CAAC,WAAW,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7E,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG;YACD,KAAK,EAAE,CAAC;YACR,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO;YACL,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,wBAAwB;YACtB,KAAK,EAAE,CAAC;YACR,OAAO,SAAS,CAAC;QACnB,CAAC;KACF,CACF,CAAC;IAEF,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAI,KAAqC,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACzC,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3E,IACE,MAAM,KAAK,IAAI;QACf,OAAO,MAAM,KAAK,QAAQ;QAC1B,OAAQ,MAAgC,CAAC,OAAO,KAAK,QAAQ,EAC7D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAG,MAA8B,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,+DAA+D;IAC/D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Effect compilation utilities.
+ * Uses fn.toString() to extract function source text from live Zod schema references,
+ * then classifies whether the function can be safely inlined (zero external captures).
+ */
+/**
+ * Try to compile a function into an inlineable source string.
+ * Returns the function source if it's a zero-capture function (safe to inline),
+ * or undefined if it cannot be compiled (async, has captures, or parse failure).
+ */
+export declare function tryCompileEffect(fn: unknown): string | undefined;
+//# sourceMappingURL=effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/core/extract/effects.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA2CH;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgEhE"}

package/dist/core/extract/effects.js

@@ -0,0 +1,204 @@
+/**
+ * Effect compilation utilities.
+ * Uses fn.toString() to extract function source text from live Zod schema references,
+ * then classifies whether the function can be safely inlined (zero external captures).
+ */
+import { parseExpressionAt } from "acorn";
+// Well-known globals that are safe to reference in inlined functions
+const SAFE_GLOBALS = new Set([
+    "undefined",
+    "null",
+    "NaN",
+    "Infinity",
+    "Math",
+    "Number",
+    "String",
+    "Boolean",
+    "Array",
+    "Object",
+    "JSON",
+    "Date",
+    "RegExp",
+    "parseInt",
+    "parseFloat",
+    "isNaN",
+    "isFinite",
+    "encodeURI",
+    "decodeURI",
+    "encodeURIComponent",
+    "decodeURIComponent",
+    "BigInt",
+    "Symbol",
+    "Map",
+    "Set",
+    "Error",
+    "TypeError",
+    "RangeError",
+    "SyntaxError",
+    "ReferenceError",
+    "Promise",
+    "globalThis",
+    "true",
+    "false",
+]);
+/**
+ * Try to compile a function into an inlineable source string.
+ * Returns the function source if it's a zero-capture function (safe to inline),
+ * or undefined if it cannot be compiled (async, has captures, or parse failure).
+ */
+export function tryCompileEffect(fn) {
+    if (typeof fn !== "function")
+        return undefined;
+    const source = fn.toString();
+    // Quick reject: native functions
+    if (source.includes("[native code]"))
+        return undefined;
+    let ast;
+    try {
+        ast = parseExpressionAt(source, 0, {
+            ecmaVersion: "latest",
+            sourceType: "module",
+        });
+    }
+    catch {
+        // Parse failed — likely TypeScript annotations or unsupported syntax
+        return undefined;
+    }
+    // Reject async and generator functions
+    if ("async" in ast && ast.async)
+        return undefined;
+    if ("generator" in ast && ast.generator)
+        return undefined;
+    // Collect parameter names
+    const params = new Set();
+    const fnNode = ast;
+    // Reject functions with 2+ required parameters (uses Zod ctx argument).
+    // transform(value, ctx) and superRefine(value, ctx) rely on ctx for
+    // issue collection, which cannot be reproduced in compiled output.
+    // fn.length counts parameters before the first default, so (v, base=10)
+    // has length 1 (allowed) while (v, ctx) has length 2 (rejected).
+    if (fn.length >= 2)
+        return undefined;
+    if (fnNode.params) {
+        for (const param of fnNode.params) {
+            collectBindingNames(param, params);
+        }
+    }
+    // Collect local variable declarations in the body
+    const locals = new Set();
+    if (fnNode.body && fnNode.body.type === "BlockStatement") {
+        collectLocals(fnNode.body, locals);
+    }
+    // Collect all identifier references in the body
+    const refs = new Set();
+    if (fnNode.body) {
+        collectIdentifierRefs(fnNode.body, refs);
+    }
+    // Check for external captures
+    for (const ref of refs) {
+        if (!params.has(ref) && !locals.has(ref) && !SAFE_GLOBALS.has(ref)) {
+            return undefined; // Has external capture
+        }
+    }
+    return source;
+}
+/** Collect binding names from a parameter pattern (handles destructuring). */
+function collectBindingNames(node, names) {
+    switch (node.type) {
+        case "Identifier":
+            names.add(node.name);
+            break;
+        case "AssignmentPattern":
+            collectBindingNames(node.left, names);
+            break;
+        case "ObjectPattern":
+            for (const prop of node.properties) {
+                if (prop.type === "RestElement") {
+                    collectBindingNames(prop.argument, names);
+                }
+                else {
+                    collectBindingNames(prop.value, names);
+                }
+            }
+            break;
+        case "ArrayPattern":
+            for (const elem of node.elements) {
+                if (elem)
+                    collectBindingNames(elem, names);
+            }
+            break;
+        case "RestElement":
+            collectBindingNames(node.argument, names);
+            break;
+    }
+}
+/** Collect locally declared variable names from a block body. */
+function collectLocals(body, locals) {
+    const block = body;
+    if (!block.body)
+        return;
+    for (const stmt of block.body) {
+        if (stmt.type === "VariableDeclaration") {
+            for (const decl of stmt.declarations) {
+                const id = decl.id;
+                collectBindingNames(id, locals);
+            }
+        }
+    }
+}
+/** Collect all identifier references in an AST subtree. */
+function collectIdentifierRefs(node, refs) {
+    if (node.type === "Identifier") {
+        refs.add(node.name);
+        return;
+    }
+    // `this` in arrow functions captures from enclosing scope — treat as external capture
+    if (node.type === "ThisExpression") {
+        refs.add("this");
+        return;
+    }
+    // Skip property access identifiers (obj.prop — "prop" is not a reference)
+    if (node.type === "MemberExpression") {
+        const member = node;
+        collectIdentifierRefs(member.object, refs);
+        if (member.computed) {
+            collectIdentifierRefs(member.property, refs);
+        }
+        return;
+    }
+    // Object literal properties: skip non-computed keys, only walk values
+    if (node.type === "Property") {
+        const prop = node;
+        if (prop.computed) {
+            collectIdentifierRefs(prop.key, refs);
+        }
+        collectIdentifierRefs(prop.value, refs);
+        return;
+    }
+    // Skip binding positions in variable declarations, function params, etc.
+    if (node.type === "VariableDeclarator") {
+        const decl = node;
+        if (decl.init)
+            collectIdentifierRefs(decl.init, refs);
+        return;
+    }
+    // Recursively walk all child nodes
+    for (const key of Object.keys(node)) {
+        if (key === "type" || key === "start" || key === "end")
+            continue;
+        const child = node[key];
+        if (child && typeof child === "object") {
+            if (Array.isArray(child)) {
+                for (const item of child) {
+                    if (item && typeof item === "object" && "type" in item) {
+                        collectIdentifierRefs(item, refs);
+                    }
+                }
+            }
+            else if ("type" in child) {
+                collectIdentifierRefs(child, refs);
+            }
+        }
+    }
+}
+//# sourceMappingURL=effects.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../src/core/extract/effects.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AAE1C,qEAAqE;AACrE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,WAAW;IACX,MAAM;IACN,KAAK;IACL,UAAU;IACV,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,OAAO;IACP,UAAU;IACV,WAAW;IACX,WAAW;IACX,oBAAoB;IACpB,oBAAoB;IACpB,QAAQ;IACR,QAAQ;IACR,KAAK;IACL,KAAK;IACL,OAAO;IACP,WAAW;IACX,YAAY;IACZ,aAAa;IACb,gBAAgB;IAChB,SAAS;IACT,YAAY;IACZ,MAAM;IACN,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAW;IAC1C,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAE/C,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;IAE7B,iCAAiC;IACjC,IAAI,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,IAAI,GAAS,CAAC;IACd,IAAI,CAAC;QACH,GAAG,GAAG,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE;YACjC,WAAW,EAAE,QAAQ;YACrB,UAAU,EAAE,QAAQ;SACrB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,uCAAuC;IACvC,IAAI,OAAO,IAAI,GAAG,IAAK,GAA2B,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,WAAW,IAAI,GAAG,IAAK,GAA+B,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEvF,0BAA0B;IAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,MAAM,GAAG,GAId,CAAC;IAEF,wEAAwE;IACxE,oEAAoE;IACpE,mEAAmE;IACnE,wEAAwE;IACxE,iEAAiE;IACjE,IAAK,EAAyB,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7D,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzD,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IAED,gDAAgD;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnE,OAAO,SAAS,CAAC,CAAC,uBAAuB;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,SAAS,mBAAmB,CAAC,IAAU,EAAE,KAAkB;IACzD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,KAAK,CAAC,GAAG,CAAE,IAAgC,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM;QACR,KAAK,mBAAmB;YACtB,mBAAmB,CAAE,IAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjE,MAAM;QACR,KAAK,eAAe;YAClB,KAAK,MAAM,IAAI,IAAK,IAAsC,CAAC,UAAU,EAAE,CAAC;gBACtE,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAChC,mBAAmB,CAAE,IAAkC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC3E,CAAC;qBAAM,CAAC;oBACN,mBAAmB,CAAE,IAA+B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;YACD,MAAM;QACR,KAAK,cAAc;YACjB,KAAK,MAAM,IAAI,IAAK,IAA6C,CAAC,QAAQ,EAAE,CAAC;gBAC3E,IAAI,IAAI;oBAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM;QACR,KAAK,aAAa;YAChB,mBAAmB,CAAE,IAAkC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM;IACV,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,SAAS,aAAa,CAAC,IAAU,EAAE,MAAmB;IACpD,MAAM,KAAK,GAAG,IAA+B,CAAC;IAC9C,IAAI,CAAC,KAAK,CAAC,IAAI;QAAE,OAAO;IACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAK,IAAwC,CAAC,YAAY,EAAE,CAAC;gBAC1E,MAAM,EAAE,GAAI,IAA4B,CAAC,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,SAAS,qBAAqB,CAAC,IAAU,EAAE,IAAiB;IAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,CAAE,IAAgC,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,sFAAsF;IACtF,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,OAAO;IACT,CAAC;IAED,0EAA0E;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAkE,CAAC;QAClF,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO;IACT,CAAC;IAED,sEAAsE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAA4D,CAAC;QAC1E,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,qBAAqB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IAED,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAoC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI;YAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK;YAAE,SAAS;QACjE,MAAM,KAAK,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACvD,qBAAqB,CAAC,IAAY,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBAC3B,qBAAqB,CAAC,KAAa,EAAE,IAAI,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"any.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/any.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/array.d.ts

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

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

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

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

@@ -0,0 +1,19 @@
+import { extractChecks } from "../checks.js";
+/** Check kinds the array codegen knows how to emit. Anything else → fallback. */
+const ARRAY_CHECK_KINDS = new Set(["min_length", "max_length", "length_equals", "refine_effect"]);
+export function extractArray(def, ctx) {
+    const element = ctx.visit(def.element, "._zod.def.element");
+    if (!def.checks || def.checks.length === 0) {
+        return { type: "array", element, checks: [] };
+    }
+    const { checkIRs, hasFallback } = extractChecks(def.checks);
+    // Previously hasFallback was ignored here, silently dropping uncompilable
+    // refinements (e.g. captured-variable .refine()) from compiled output.
+    if (hasFallback)
+        return ctx.fallback("refine");
+    if (checkIRs.some((c) => !ARRAY_CHECK_KINDS.has(c.kind))) {
+        return ctx.fallback("unsupported");
+    }
+    return { type: "array", element, checks: checkIRs };
+}
+//# sourceMappingURL=array.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/array.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C,iFAAiF;AACjF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;AAElG,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,GAAqB;IAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5D,0EAA0E;IAC1E,uEAAuE;IACvE,IAAI,WAAW;QAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACzD,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACtD,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAiB,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAQ5D,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CA4D1E"}

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

@@ -0,0 +1,70 @@
+import { hasUncompilableModifiers, resolveCheckMessage } from "../checks.js";
+/** Mirrors zod's util.BIGINT_FORMAT_RANGES — inclusive [min, max] per format. */
+const BIGINT_FORMAT_RANGES = {
+    int64: ["-9223372036854775808", "9223372036854775807"],
+    uint64: ["0", "18446744073709551615"],
+};
+export function extractBigint(def, ctx) {
+    const bigintChecks = [];
+    // BigInt format schemas (z.int64(), z.uint64()): the schema def doubles as
+    // its own check def — synthesize the range checks it enforces.
+    if (def.check === "bigint_format" && def.format) {
+        const range = BIGINT_FORMAT_RANGES[def.format];
+        if (!range)
+            return ctx.fallback("unsupported");
+        const resolved = resolveCheckMessage(def.error);
+        if (resolved.kind === "dynamic")
+            return ctx.fallback("refine");
+        const message = resolved.kind === "static" ? { message: resolved.message } : {};
+        bigintChecks.push({
+            kind: "bigint_greater_than",
+            value: range[0],
+            inclusive: true,
+            ...message,
+        });
+        bigintChecks.push({ kind: "bigint_less_than", value: range[1], inclusive: true, ...message });
+    }
+    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 } : {};
+            switch (checkDef.check) {
+                case "greater_than":
+                    bigintChecks.push({
+                        kind: "bigint_greater_than",
+                        value: String(checkDef.value),
+                        inclusive: checkDef.inclusive,
+                        ...message,
+                    });
+                    break;
+                case "less_than":
+                    bigintChecks.push({
+                        kind: "bigint_less_than",
+                        value: String(checkDef.value),
+                        inclusive: checkDef.inclusive,
+                        ...message,
+                    });
+                    break;
+                case "multiple_of":
+                    bigintChecks.push({
+                        kind: "bigint_multiple_of",
+                        value: String(checkDef.value),
+                        ...message,
+                    });
+                    break;
+                default:
+                    // Unknown check (custom refine, overwrite, ...) — never drop silently.
+                    return ctx.fallback("refine");
+            }
+        }
+    }
+    return { type: "bigint", checks: bigintChecks, ...(def.coerce ? { coerce: true } : {}) };
+}
+//# sourceMappingURL=bigint.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/bigint.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAG7E,iFAAiF;AACjF,MAAM,oBAAoB,GAAqC;IAC7D,KAAK,EAAE,CAAC,sBAAsB,EAAE,qBAAqB,CAAC;IACtD,MAAM,EAAE,CAAC,GAAG,EAAE,sBAAsB,CAAC;CACtC,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,GAAqB;IAC9D,MAAM,YAAY,GAAoB,EAAE,CAAC;IAEzC,2EAA2E;IAC3E,+DAA+D;IAC/D,IAAI,GAAG,CAAC,KAAK,KAAK,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC/C,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,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,YAAY,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,qBAAqB;YAC3B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACf,SAAS,EAAE,IAAI;YACf,GAAG,OAAO;SACX,CAAC,CAAC;QACH,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,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,QAAQ,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACvB,KAAK,cAAc;oBACjB,YAAY,CAAC,IAAI,CAAC;wBAChB,IAAI,EAAE,qBAAqB;wBAC3B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS;wBAC7B,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,WAAW;oBACd,YAAY,CAAC,IAAI,CAAC;wBAChB,IAAI,EAAE,kBAAkB;wBACxB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS;wBAC7B,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,aAAa;oBAChB,YAAY,CAAC,IAAI,CAAC;wBAChB,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAC7B,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR;oBACE,uEAAuE;oBACvE,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC3F,CAAC"}

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

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

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

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

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

@@ -0,0 +1,5 @@
+export const extractBoolean = (def) => ({
+    type: "boolean",
+    ...(def.coerce ? { coerce: true } : {}),
+});
+//# sourceMappingURL=boolean.js.map

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

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