zod-compiler 0.1.1 → 1.0.0

package/dist/core/diagnostic.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Schema diagnostic utilities for the `check` command.
+ * Walks SchemaIR in a single pass and collects per-node diagnostic info.
+ */
+import type { SchemaIR } from "./types.js";
+export type NodeStatus = "compiled" | "fallback";
+export interface DiagnosticNode {
+    /** SchemaIR type (e.g. "string", "object", "fallback") */
+    type: string;
+    /** Dot-separated path from root (e.g. ".name", ".addresses[]") */
+    path: string;
+    /** Whether this node is compiled or falls back to Zod */
+    status: NodeStatus;
+    /** Fallback reason when status is "fallback" */
+    reason?: string;
+    /** Actionable hint for fixing the fallback */
+    hint?: string;
+    /** Child diagnostic nodes */
+    children: DiagnosticNode[];
+}
+export interface DiagnosticResult {
+    /** Root diagnostic tree */
+    root: DiagnosticNode;
+    /** Total leaf node count */
+    total: number;
+    /** Number of compiled leaf nodes */
+    compilable: number;
+    /** Coverage percentage (0-100) */
+    coveragePct: number;
+    /** Whether the schema is eligible for Fast Path */
+    fastPathEligible: boolean;
+    /** Reason Fast Path is ineligible (when fastPathEligible is false) */
+    fastPathBlocker?: string;
+    /** Flat list of fallback entries for summary display */
+    fallbacks: {
+        reason: string;
+        path: string;
+        hint: string;
+    }[];
+}
+/**
+ * Diagnose a SchemaIR in a single pass.
+ * Returns a diagnostic tree with coverage stats, Fast Path eligibility, and actionable hints.
+ */
+export declare function diagnoseSchema(ir: SchemaIR): DiagnosticResult;
+//# sourceMappingURL=diagnostic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../src/core/diagnostic.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAI3C,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;AAEjD,MAAM,WAAW,cAAc;IAC7B,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,MAAM,EAAE,UAAU,CAAC;IACnB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,6BAA6B;IAC7B,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,gBAAgB;IAC/B,2BAA2B;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,4BAA4B;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,oCAAoC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,mDAAmD;IACnD,gBAAgB,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,wDAAwD;IACxD,SAAS,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7D;AA6KD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG,gBAAgB,CAgB7D"}

package/dist/core/diagnostic.js

@@ -0,0 +1,174 @@
+/**
+ * Schema diagnostic utilities for the `check` command.
+ * Walks SchemaIR in a single pass and collects per-node diagnostic info.
+ */
+// ─── Fast Path Eligibility ──────────────────────────────────────────────────
+/** Schema types that block Fast Path eligibility. */
+const FAST_PATH_BLOCKERS = new Set(["fallback", "effect", "recursiveRef", "stringBool"]);
+/** Check if a single node blocks Fast Path (without recursing). */
+function detectFastPathBlocker(ir) {
+    if (FAST_PATH_BLOCKERS.has(ir.type)) {
+        return ir.type === "fallback" ? `fallback (${ir.reason})` : ir.type;
+    }
+    if ("coerce" in ir && ir.coerce) {
+        return `coerce (${ir.type})`;
+    }
+    // Value-mutating string checks make the schema slow-path only: overwrite
+    // effects (.trim()/.toLowerCase()) rewrite the value and url checks trim it,
+    // while the fast path returns input unchanged.
+    if (ir.type === "string") {
+        for (const check of ir.checks) {
+            if (check.kind === "overwrite_effect")
+                return "overwrite (.trim()/.toLowerCase())";
+            if (check.kind === "string_format" && check.format === "url")
+                return "url (trims value)";
+        }
+    }
+    return null;
+}
+// ─── Hint Generation ────────────────────────────────────────────────────────
+const FALLBACK_HINTS = {
+    transform: "Extract transform into a separate post-processing step",
+    refine: "Replace .refine() with built-in checks (e.g. .min(), .max(), .regex())",
+    superRefine: "Replace .superRefine() with built-in checks if possible",
+    custom: "Replace z.custom() with a supported schema type",
+    lazy: "Use self-recursive lazy for automatic recursiveRef compilation",
+    unsupported: "This schema type is not yet supported by zod-compiler",
+};
+function getHint(reason) {
+    return FALLBACK_HINTS[reason] ?? "Check zod-compiler documentation for supported schemas";
+}
+// ─── Child Iteration (with path computation) ───────────────────────────────
+/** Yields [childPath, childIR] pairs for a given SchemaIR node. */
+function* iterChildren(ir, parentPath) {
+    switch (ir.type) {
+        case "object":
+            for (const [key, child] of Object.entries(ir.properties)) {
+                yield [`${parentPath}.${key}`, child];
+            }
+            break;
+        case "array":
+            yield [`${parentPath}[]`, ir.element];
+            break;
+        case "tuple":
+            for (const [i, item] of ir.items.entries()) {
+                yield [`${parentPath}[${i}]`, item];
+            }
+            if (ir.rest)
+                yield [`${parentPath}[...rest]`, ir.rest];
+            break;
+        case "record":
+            yield [`${parentPath}[key]`, ir.keyType];
+            yield [`${parentPath}[value]`, ir.valueType];
+            break;
+        case "set":
+            yield [`${parentPath}[element]`, ir.valueType];
+            break;
+        case "map":
+            yield [`${parentPath}[key]`, ir.keyType];
+            yield [`${parentPath}[value]`, ir.valueType];
+            break;
+        case "union":
+        case "discriminatedUnion":
+            for (const [i, opt] of ir.options.entries()) {
+                yield [`${parentPath}[${i}]`, opt];
+            }
+            break;
+        case "intersection":
+            yield [`${parentPath}[left]`, ir.left];
+            yield [`${parentPath}[right]`, ir.right];
+            break;
+        case "optional":
+        case "nullable":
+        case "readonly":
+            yield [parentPath, ir.inner];
+            break;
+        case "default":
+        case "catch":
+            yield [parentPath, ir.inner];
+            break;
+        case "pipe":
+            yield [`${parentPath}[in]`, ir.in];
+            yield [`${parentPath}[out]`, ir.out];
+            break;
+        case "effect":
+            yield [`${parentPath}[inner]`, ir.inner];
+            break;
+    }
+}
+function walkIR(ir, currentPath) {
+    // Fallback leaf
+    if (ir.type === "fallback") {
+        const hint = getHint(ir.reason);
+        const nodePath = currentPath || "(root)";
+        return {
+            node: {
+                type: ir.type,
+                path: nodePath,
+                status: "fallback",
+                reason: ir.reason,
+                hint,
+                children: [],
+            },
+            total: 1,
+            compilable: 0,
+            fallbacks: [{ reason: ir.reason, path: nodePath, hint }],
+            fastPathBlocker: `fallback (${ir.reason})`,
+        };
+    }
+    // Check if this node itself blocks Fast Path
+    let fastPathBlocker = detectFastPathBlocker(ir);
+    // Recurse into children
+    const children = [];
+    let total = 0;
+    let compilable = 0;
+    const fallbacks = [];
+    for (const [childPath, child] of iterChildren(ir, currentPath)) {
+        const r = walkIR(child, childPath);
+        children.push(r.node);
+        total += r.total;
+        compilable += r.compilable;
+        fallbacks.push(...r.fallbacks);
+        if (fastPathBlocker === null && r.fastPathBlocker !== null) {
+            fastPathBlocker = r.fastPathBlocker;
+        }
+    }
+    // Leaf node (no children produced by iterChildren)
+    if (children.length === 0) {
+        total = 1;
+        compilable = 1;
+    }
+    return {
+        node: {
+            type: ir.type,
+            path: currentPath || "(root)",
+            status: "compiled",
+            children,
+        },
+        total,
+        compilable,
+        fallbacks,
+        fastPathBlocker,
+    };
+}
+/**
+ * Diagnose a SchemaIR in a single pass.
+ * Returns a diagnostic tree with coverage stats, Fast Path eligibility, and actionable hints.
+ */
+export function diagnoseSchema(ir) {
+    const { node: root, total, compilable, fallbacks, fastPathBlocker } = walkIR(ir, "");
+    const coveragePct = total > 0 ? Math.round((compilable / total) * 100) : 100;
+    const result = {
+        root,
+        total,
+        compilable,
+        coveragePct,
+        fastPathEligible: fastPathBlocker === null,
+        fallbacks,
+    };
+    if (fastPathBlocker !== null) {
+        result.fastPathBlocker = fastPathBlocker;
+    }
+    return result;
+}
+//# sourceMappingURL=diagnostic.js.map

package/dist/core/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/core/diagnostic.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwCH,+EAA+E;AAE/E,qDAAqD;AACrD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;AAEjG,mEAAmE;AACnE,SAAS,qBAAqB,CAAC,EAAY;IACzC,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,aAAc,EAAyB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,WAAW,EAAE,CAAC,IAAI,GAAG,CAAC;IAC/B,CAAC;IACD,yEAAyE;IACzE,6EAA6E;IAC7E,+CAA+C;IAC/C,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB;gBAAE,OAAO,oCAAoC,CAAC;YACnF,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;gBAAE,OAAO,mBAAmB,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAE/E,MAAM,cAAc,GAA2B;IAC7C,SAAS,EAAE,wDAAwD;IACnE,MAAM,EAAE,wEAAwE;IAChF,WAAW,EAAE,yDAAyD;IACtE,MAAM,EAAE,iDAAiD;IACzD,IAAI,EAAE,gEAAgE;IACtE,WAAW,EAAE,uDAAuD;CACrE,CAAC;AAEF,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,wDAAwD,CAAC;AAC5F,CAAC;AAED,8EAA8E;AAE9E,mEAAmE;AACnE,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAY,EAAE,UAAkB;IACrD,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzD,MAAM,CAAC,GAAG,UAAU,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;YACxC,CAAC;YACD,MAAM;QACR,KAAK,OAAO;YACV,MAAM,CAAC,GAAG,UAAU,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM;QACR,KAAK,OAAO;YACV,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC3C,MAAM,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,CAAC;YACD,IAAI,EAAE,CAAC,IAAI;gBAAE,MAAM,CAAC,GAAG,UAAU,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,CAAC,GAAG,UAAU,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,KAAK;YACR,MAAM,CAAC,GAAG,UAAU,WAAW,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM;QACR,KAAK,KAAK;YACR,MAAM,CAAC,GAAG,UAAU,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,OAAO,CAAC;QACb,KAAK,oBAAoB;YACvB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,CAAC;YACD,MAAM;QACR,KAAK,cAAc;YACjB,MAAM,CAAC,GAAG,UAAU,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM;QACR,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM;QACR,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACV,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM;QACR,KAAK,MAAM;YACT,MAAM,CAAC,GAAG,UAAU,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,UAAU,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM;IACV,CAAC;AACH,CAAC;AAaD,SAAS,MAAM,CAAC,EAAY,EAAE,WAAmB;IAC/C,gBAAgB;IAChB,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,WAAW,IAAI,QAAQ,CAAC;QACzC,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,IAAI;gBACJ,QAAQ,EAAE,EAAE;aACb;YACD,KAAK,EAAE,CAAC;YACR,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACxD,eAAe,EAAE,aAAa,EAAE,CAAC,MAAM,GAAG;SAC3C,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,IAAI,eAAe,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAEhD,wBAAwB;IACxB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,SAAS,GAAqD,EAAE,CAAC;IAEvE,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACnC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC;QACjB,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC;QAC3B,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,eAAe,KAAK,IAAI,IAAI,CAAC,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;YAC3D,eAAe,GAAG,CAAC,CAAC,eAAe,CAAC;QACtC,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,GAAG,CAAC,CAAC;QACV,UAAU,GAAG,CAAC,CAAC;IACjB,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,IAAI,EAAE,WAAW,IAAI,QAAQ;YAC7B,MAAM,EAAE,UAAU;YAClB,QAAQ;SACT;QACD,KAAK;QACL,UAAU;QACV,SAAS;QACT,eAAe;KAChB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,EAAY;IACzC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,MAAM,WAAW,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAE7E,MAAM,MAAM,GAAqB;QAC/B,IAAI;QACJ,KAAK;QACL,UAAU;QACV,WAAW;QACX,gBAAgB,EAAE,eAAe,KAAK,IAAI;QAC1C,SAAS;KACV,CAAC;IACF,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,eAAe,GAAG,eAAe,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,35 @@
+import type { CheckOrEffectIR } from "../types.js";
+import type { ZodCheckDef, ZodCheckSchema } from "./types.js";
+/** True when a check carries a runtime `when` predicate we cannot reproduce. */
+export declare function hasUserWhen(def: ZodCheckDef): boolean;
+/**
+ * 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 declare function hasUncompilableModifiers(def: ZodCheckDef): boolean;
+export declare function extractChecks(checks: ZodCheckSchema[]): {
+    checkIRs: CheckOrEffectIR[];
+    hasFallback: boolean;
+};
+export type ResolvedMessage = {
+    kind: "none";
+} | {
+    kind: "static";
+    message: string;
+} | {
+    kind: "dynamic";
+};
+/**
+ * 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 declare function resolveCheckMessage(error: unknown): ResolvedMessage;
+//# sourceMappingURL=checks.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../../src/core/extract/checks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAqB,MAAM,aAAa,CAAC;AAEtE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAkC9D,gFAAgF;AAChF,wBAAgB,WAAW,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAErD;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAElE;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG;IACvD,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,WAAW,EAAE,OAAO,CAAC;CACtB,CAyIA;AAaD,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAExB;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAqDnE"}

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