zod-compiler 0.1.0 → 1.0.0

package/dist/core/codegen/schemas/tuple.js

@@ -0,0 +1,111 @@
+import { extendStaticPathIndex, hasMutation } from "../context.js";
+import { emit } from "../emit.js";
+import { invalidType, tooBig, tooSmall } from "../emit-issue.js";
+/**
+ * Index where the omittable tail begins (zod's `optStart`): trailing
+ * optional/default items have `optin === "optional"` and may be absent.
+ */
+function optStart(ir) {
+    let start = ir.items.length;
+    for (let i = ir.items.length - 1; i >= 0; i--) {
+        const itemType = ir.items[i].type;
+        if (itemType !== "optional" && itemType !== "default")
+            break;
+        start--;
+    }
+    return start;
+}
+/**
+ * Mirrors $ZodTuple: without rest, over-length input emits a single too_big
+ * and `length < optStart - 1` a single too_small (minimum = items.length,
+ * non-inclusive phrasing) — both created by the tuple node (schema error
+ * applies) and both skip item validation. Anything else validates items;
+ * missing required items read as undefined and fail their item schema's type
+ * check at the right path.
+ */
+export function slowTuple(ir, g) {
+    const len = ir.items.length;
+    let code = emit `
+    if(!Array.isArray(${g.input})){
+      ${invalidType(g, "tuple")}
+    }else{`;
+    let itemsCode = "";
+    if (ir.items.some(hasMutation) || (ir.rest !== null && hasMutation(ir.rest))) {
+        itemsCode += `${g.output}=${g.input}.slice();`;
+    }
+    for (let i = 0; i < len; i++) {
+        const itemIR = ir.items[i];
+        const elemExpr = `${g.input}[${i}]`;
+        const elemPath = extendStaticPathIndex(g.path, i);
+        const skipMissingOptional = i >= optStart(ir);
+        const itemCode = g.visit(itemIR, { input: elemExpr, output: elemExpr, path: elemPath });
+        // Zod skips absent omittable items entirely (no default materialization).
+        itemsCode += skipMissingOptional ? emit `if(${i}<${g.input}.length){${itemCode}}` : itemCode;
+    }
+    if (ir.rest !== null) {
+        const idxVar = g.temp("ti");
+        const restExpr = `${g.input}[${idxVar}]`;
+        const restPath = `${g.path}.concat(${idxVar})`;
+        itemsCode += emit `
+      for(var ${idxVar}=${len};${idxVar}<${g.input}.length;${idxVar}++){
+        ${g.visit(ir.rest, { input: restExpr, output: restExpr, path: restPath })}
+      }`;
+    }
+    if (ir.rest === null) {
+        const start = optStart(ir);
+        code += emit `
+      if(${g.input}.length>${len}){
+        ${tooBig(g, len, "array", true, { useTypeMsg: true })}
+      }else if(${g.input}.length<${start - 1}){
+        ${tooSmall(g, len, "array", false, { useTypeMsg: true })}
+      }else{
+        ${itemsCode}
+      }`;
+    }
+    else {
+        code += itemsCode;
+    }
+    code += `}\n`;
+    return code;
+}
+export function fastTuple(ir, g) {
+    const x = g.input;
+    const parts = [`Array.isArray(${x})`];
+    const required = optStart(ir);
+    if (ir.rest === null) {
+        if (required === ir.items.length) {
+            parts.push(`${x}.length===${ir.items.length}`);
+        }
+        else {
+            parts.push(`${x}.length>=${required}`, `${x}.length<=${ir.items.length}`);
+        }
+    }
+    else if (required > 0) {
+        parts.push(`${x}.length>=${required}`);
+    }
+    // Per-index checks
+    for (let i = 0; i < ir.items.length; i++) {
+        const itemIR = ir.items[i];
+        if (!itemIR)
+            continue;
+        const itemCheck = g.visit(itemIR, { input: `${x}[${i}]` });
+        if (itemCheck === null)
+            return null;
+        if (itemCheck !== "true")
+            parts.push(itemCheck);
+    }
+    // Rest element validation via preamble helper (avoids .slice().every() allocation)
+    if (ir.rest !== null) {
+        const rv = g.temp("tr");
+        const restCheck = g.visit(ir.rest, { input: rv });
+        if (restCheck === null)
+            return null;
+        if (restCheck !== "true") {
+            const helperName = g.temp("te");
+            g.ctx.preamble.push(`function ${helperName}(a,s){for(var ${rv},i=s;i<a.length;i++){${rv}=a[i];if(!(${restCheck})){return false;}}return true;}`);
+            parts.push(`${helperName}(${x},${ir.items.length})`);
+        }
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=tuple.js.map

package/dist/core/codegen/schemas/tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/tuple.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjE;;;GAGG;AACH,SAAS,QAAQ,CAAC,EAAW;IAC3B,IAAI,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC,IAAI,CAAC;QAChD,IAAI,QAAQ,KAAK,UAAU,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM;QAC7D,KAAK,EAAE,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,EAAgC,EAAE,CAAU;IACpE,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;IAE5B,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,CAAC,CAAC,KAAK;QACvB,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC;WACpB,CAAC;IAEV,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC7E,SAAS,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,WAAW,CAAC;IACjD,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAa,CAAC;QACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC;QACpC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,mBAAmB,GAAG,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACxF,0EAA0E;QAC1E,SAAS,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAA,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,YAAY,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC9F,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,MAAM,GAAG,CAAC;QACzC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,IAAI,WAAW,MAAM,GAAG,CAAC;QAC/C,SAAS,IAAI,IAAI,CAAA;gBACL,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,CAAC,CAAC,KAAK,WAAW,MAAM;UACzD,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACzE,CAAC;IACP,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,IAAI,IAAI,CAAA;WACL,CAAC,CAAC,KAAK,WAAW,GAAG;UACtB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;iBAC5C,CAAC,CAAC,KAAK,WAAW,KAAK,GAAG,CAAC;UAClC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;;UAEtD,SAAS;QACX,CAAC;IACP,CAAC;SAAM,CAAC;QACN,IAAI,IAAI,SAAS,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,KAAK,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAW,EAAE,CAAU;IAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEhD,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,IAAI,QAAQ,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,QAAQ,EAAE,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,mBAAmB;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC3D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;IAED,mFAAmF;IACnF,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CACjB,YAAY,UAAU,iBAAiB,EAAE,wBAAwB,EAAE,cAAc,SAAS,iCAAiC,CAC5H,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/schemas/undefined.d.ts

@@ -0,0 +1,5 @@
+import type { UndefinedIR } from "../../types.js";
+import type { FastGen, SlowGen } from "../context.js";
+export declare function slowUndefined(_ir: UndefinedIR, g: SlowGen): string;
+export declare function fastUndefined(_ir: UndefinedIR, g: FastGen): string | null;
+//# sourceMappingURL=undefined.d.ts.map

package/dist/core/codegen/schemas/undefined.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"undefined.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/undefined.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAMlE;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAEzE"}

package/dist/core/codegen/schemas/undefined.js

@@ -0,0 +1,13 @@
+import { emit } from "../emit.js";
+import { invalidType } from "../emit-issue.js";
+export function slowUndefined(_ir, g) {
+    return `${emit `
+    if(${g.input}!==undefined){
+      ${invalidType(g, "undefined")}
+    }
+  `}\n`;
+}
+export function fastUndefined(_ir, g) {
+    return `${g.input}===undefined`;
+}
+//# sourceMappingURL=undefined.js.map

package/dist/core/codegen/schemas/undefined.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"undefined.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/undefined.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,UAAU,aAAa,CAAC,GAAgB,EAAE,CAAU;IACxD,OAAO,GAAG,IAAI,CAAA;SACP,CAAC,CAAC,KAAK;QACR,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC;;GAEhC,IAAI,CAAC;AACR,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAgB,EAAE,CAAU;IACxD,OAAO,GAAG,CAAC,CAAC,KAAK,cAAc,CAAC;AAClC,CAAC"}

package/dist/core/codegen/schemas/union.d.ts

@@ -0,0 +1,7 @@
+import type { SchemaIR, UnionIR } from "../../types.js";
+import type { FastGen, SlowGen } from "../context.js";
+export declare function slowUnion(ir: SchemaIR & {
+    type: "union";
+}, g: SlowGen): string;
+export declare function fastUnion(ir: UnionIR, g: FastGen): string | null;
+//# sourceMappingURL=union.d.ts.map

package/dist/core/codegen/schemas/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAmF9E;AAED,wBAAgB,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAShE"}

package/dist/core/codegen/schemas/union.js

@@ -0,0 +1,95 @@
+import { hasMutation } from "../context.js";
+import { emit } from "../emit.js";
+export function slowUnion(ir, g) {
+    const resultVar = g.temp("u");
+    const errorsVar = g.temp("ue");
+    let code = `var ${resultVar}=false;var ${errorsVar}=[];`;
+    // If any option can mutate output (default, catch, coerce, effect),
+    // each branch gets its own temp output to prevent cross-branch leaks.
+    const needsOutputIsolation = ir.options.some(hasMutation);
+    for (const option of ir.options) {
+        const tmpIssues = g.temp("ui");
+        const innerIdx = g.temp("ufi");
+        if (needsOutputIsolation) {
+            const tmpOutput = g.temp("uo");
+            code += emit `
+        if(!${resultVar}){
+          var ${tmpIssues}=[];
+          var ${tmpOutput}=${g.input};
+          ${g.visit(option, { issues: tmpIssues, input: tmpOutput, output: tmpOutput })}
+          if(${tmpIssues}.length===0){
+            ${resultVar}=true;
+            ${g.output}=${tmpOutput};
+          }else{
+            for(var ${innerIdx}=0;${innerIdx}<${tmpIssues}.length;${innerIdx}++){
+              if(${tmpIssues}[${innerIdx}].message===undefined&&typeof __msg==="function"){
+                ${tmpIssues}[${innerIdx}].message=__msg(${tmpIssues}[${innerIdx}]);
+              }
+              ${tmpIssues}[${innerIdx}].input=undefined;
+            }
+            ${errorsVar}.push(${tmpIssues});
+          }
+        }`;
+        }
+        else {
+            code += emit `
+        if(!${resultVar}){
+          var ${tmpIssues}=[];
+          ${g.visit(option, { issues: tmpIssues })}
+          if(${tmpIssues}.length===0){
+            ${resultVar}=true;
+          }else{
+            for(var ${innerIdx}=0;${innerIdx}<${tmpIssues}.length;${innerIdx}++){
+              if(${tmpIssues}[${innerIdx}].message===undefined&&typeof __msg==="function"){
+                ${tmpIssues}[${innerIdx}].message=__msg(${tmpIssues}[${innerIdx}]);
+              }
+              ${tmpIssues}[${innerIdx}].input=undefined;
+            }
+            ${errorsVar}.push(${tmpIssues});
+          }
+        }`;
+        }
+    }
+    // Mirrors zod's handleUnionResults pruning: an option is "aborted" when it
+    // produced a parse-level issue (continue !== true in zod — invalid_type and
+    // friends); check-level issues (too_small, invalid_format, custom, ...)
+    // don't abort. If exactly ONE option is non-aborted, its issues are
+    // surfaced directly instead of an invalid_union wrapper.
+    const msgProp = g.typeMsg === undefined ? "" : `,message:${JSON.stringify(g.typeMsg)}`;
+    const naVar = g.temp("una");
+    const oiVar = g.temp("uoi");
+    const ojVar = g.temp("uoj");
+    const abVar = g.temp("uab");
+    const ocVar = g.temp("uoc");
+    const okVar = g.temp("uok");
+    code += emit `
+    if(!${resultVar}){
+      var ${naVar}=[];
+      for(var ${oiVar}=0;${oiVar}<${errorsVar}.length;${oiVar}++){
+        var ${abVar}=false;
+        for(var ${ojVar}=0;${ojVar}<${errorsVar}[${oiVar}].length;${ojVar}++){
+          var ${ocVar}=${errorsVar}[${oiVar}][${ojVar}].code;
+          if(${ocVar}==="invalid_type"||${ocVar}==="invalid_value"||${ocVar}==="invalid_union"||${ocVar}==="unrecognized_keys"||${ocVar}==="invalid_key"||${ocVar}==="invalid_element"){${abVar}=true;break;}
+        }
+        if(!${abVar}){${naVar}.push(${errorsVar}[${oiVar}]);}
+      }
+      if(${naVar}.length===1){
+        for(var ${okVar}=0;${okVar}<${naVar}[0].length;${okVar}++){${g.issues}.push(${naVar}[0][${okVar}]);}
+      }else{
+        ${g.issues}.push({code:"invalid_union",errors:${errorsVar}${msgProp},input:${g.input},path:${g.path}});
+      }
+    }`;
+    return `${code}\n`;
+}
+export function fastUnion(ir, g) {
+    const optionChecks = [];
+    for (const option of ir.options) {
+        const check = g.visit(option);
+        if (check === null)
+            return null;
+        optionChecks.push(`(${check})`);
+    }
+    // Wrap in parens — || has lower precedence than && in parent expressions
+    return `(${optionChecks.join("||")})`;
+}
+//# sourceMappingURL=union.js.map

package/dist/core/codegen/schemas/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,SAAS,CAAC,EAAgC,EAAE,CAAU;IACpE,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,OAAO,SAAS,cAAc,SAAS,MAAM,CAAC;IAEzD,oEAAoE;IACpE,sEAAsE;IACtE,MAAM,oBAAoB,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAE1D,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE/B,IAAI,oBAAoB,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,IAAI,IAAI,CAAA;cACJ,SAAS;gBACP,SAAS;gBACT,SAAS,IAAI,CAAC,CAAC,KAAK;YACxB,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;eACxE,SAAS;cACV,SAAS;cACT,CAAC,CAAC,MAAM,IAAI,SAAS;;sBAEb,QAAQ,MAAM,QAAQ,IAAI,SAAS,WAAW,QAAQ;mBACzD,SAAS,IAAI,QAAQ;kBACtB,SAAS,IAAI,QAAQ,mBAAmB,SAAS,IAAI,QAAQ;;gBAE/D,SAAS,IAAI,QAAQ;;cAEvB,SAAS,SAAS,SAAS;;UAE/B,CAAC;QACP,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,IAAI,CAAA;cACJ,SAAS;gBACP,SAAS;YACb,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;eACnC,SAAS;cACV,SAAS;;sBAED,QAAQ,MAAM,QAAQ,IAAI,SAAS,WAAW,QAAQ;mBACzD,SAAS,IAAI,QAAQ;kBACtB,SAAS,IAAI,QAAQ,mBAAmB,SAAS,IAAI,QAAQ;;gBAE/D,SAAS,IAAI,QAAQ;;cAEvB,SAAS,SAAS,SAAS;;UAE/B,CAAC;QACP,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,wEAAwE;IACxE,oEAAoE;IACpE,yDAAyD;IACzD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACvF,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,IAAI,IAAI,CAAA;UACJ,SAAS;YACP,KAAK;gBACD,KAAK,MAAM,KAAK,IAAI,SAAS,WAAW,KAAK;cAC/C,KAAK;kBACD,KAAK,MAAM,KAAK,IAAI,SAAS,IAAI,KAAK,YAAY,KAAK;gBACzD,KAAK,IAAI,SAAS,IAAI,KAAK,KAAK,KAAK;eACtC,KAAK,sBAAsB,KAAK,uBAAuB,KAAK,uBAAuB,KAAK,2BAA2B,KAAK,qBAAqB,KAAK,yBAAyB,KAAK;;cAEjL,KAAK,KAAK,KAAK,SAAS,SAAS,IAAI,KAAK;;WAE7C,KAAK;kBACE,KAAK,MAAM,KAAK,IAAI,KAAK,cAAc,KAAK,OAAO,CAAC,CAAC,MAAM,SAAS,KAAK,OAAO,KAAK;;UAE7F,CAAC,CAAC,MAAM,sCAAsC,SAAS,GAAG,OAAO,UAAU,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI;;MAErG,CAAC;IACL,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAW,EAAE,CAAU;IAC/C,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,yEAAyE;IACzE,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC"}

package/dist/core/codegen/schemas/unknown.d.ts

@@ -0,0 +1,5 @@
+import type { UnknownIR } from "../../types.js";
+import type { FastGen, SlowGen } from "../context.js";
+export declare function slowUnknown(_ir: UnknownIR, _g: SlowGen): string;
+export declare function fastUnknown(_ir: UnknownIR, _g: FastGen): string | null;
+//# sourceMappingURL=unknown.d.ts.map

package/dist/core/codegen/schemas/unknown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/unknown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAEtD,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,GAAG,MAAM,CAE/D;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAEtE"}

package/dist/core/codegen/schemas/unknown.js

@@ -0,0 +1,7 @@
+export function slowUnknown(_ir, _g) {
+    return "";
+}
+export function fastUnknown(_ir, _g) {
+    return "true";
+}
+//# sourceMappingURL=unknown.js.map

package/dist/core/codegen/schemas/unknown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unknown.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/unknown.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,WAAW,CAAC,GAAc,EAAE,EAAW;IACrD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAc,EAAE,EAAW;IACrD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/codegen/schemas/void.d.ts

@@ -0,0 +1,5 @@
+import type { VoidIR } from "../../types.js";
+import type { FastGen, SlowGen } from "../context.js";
+export declare function slowVoid(_ir: VoidIR, g: SlowGen): string;
+export declare function fastVoid(_ir: VoidIR, g: FastGen): string | null;
+//# sourceMappingURL=void.d.ts.map

package/dist/core/codegen/schemas/void.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"void.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/void.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAMxD;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAE/D"}

package/dist/core/codegen/schemas/void.js

@@ -0,0 +1,13 @@
+import { emit } from "../emit.js";
+import { invalidType } from "../emit-issue.js";
+export function slowVoid(_ir, g) {
+    return `${emit `
+    if(${g.input}!==undefined){
+      ${invalidType(g, "void")}
+    }
+  `}\n`;
+}
+export function fastVoid(_ir, g) {
+    return `${g.input}===undefined`;
+}
+//# sourceMappingURL=void.js.map

package/dist/core/codegen/schemas/void.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"void.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/void.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,UAAU,QAAQ,CAAC,GAAW,EAAE,CAAU;IAC9C,OAAO,GAAG,IAAI,CAAA;SACP,CAAC,CAAC,KAAK;QACR,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC;;GAE3B,IAAI,CAAC;AACR,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAW,EAAE,CAAU;IAC9C,OAAO,GAAG,CAAC,CAAC,KAAK,cAAc,CAAC;AAClC,CAAC"}

package/dist/core/codegen/slow-path.d.ts

@@ -0,0 +1,5 @@
+import type { SchemaIR } from "../types.js";
+import type { CodeGenContext, SlowGen } from "./context.js";
+export declare function createSlowGen(inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext): SlowGen;
+export declare function generateSlow(ir: SchemaIR, g: SlowGen): string;
+//# sourceMappingURL=slow-path.d.ts.map

package/dist/core/codegen/slow-path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slow-path.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/slow-path.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAiB,MAAM,cAAc,CAAC;AA+F3E,wBAAgB,aAAa,CAC3B,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,OAAO,CAuBT;AAID,wBAAgB,YAAY,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAO7D"}

package/dist/core/codegen/slow-path.js

@@ -0,0 +1,113 @@
+import { emitRegex, emitSet, emitTemp } from "./context.js";
+import { slowAny } from "./schemas/any.js";
+import { slowArray } from "./schemas/array.js";
+import { slowBigInt } from "./schemas/bigint.js";
+import { slowBoolean } from "./schemas/boolean.js";
+import { slowCatch } from "./schemas/catch.js";
+import { slowDate } from "./schemas/date.js";
+import { slowDefault } from "./schemas/default.js";
+import { slowDiscriminatedUnion } from "./schemas/discriminated-union.js";
+import { slowEffect } from "./schemas/effect.js";
+import { slowEnum } from "./schemas/enum.js";
+import { slowFallback } from "./schemas/fallback.js";
+import { slowFile } from "./schemas/file.js";
+import { slowIntersection } from "./schemas/intersection.js";
+import { slowLiteral } from "./schemas/literal.js";
+import { slowMap } from "./schemas/map.js";
+import { slowNan } from "./schemas/nan.js";
+import { slowNever } from "./schemas/never.js";
+import { slowNull } from "./schemas/null.js";
+import { slowNullable } from "./schemas/nullable.js";
+import { slowNumber } from "./schemas/number.js";
+import { slowObject } from "./schemas/object.js";
+import { slowOptional } from "./schemas/optional.js";
+import { slowPipe } from "./schemas/pipe.js";
+import { slowReadonly } from "./schemas/readonly.js";
+import { slowRecord } from "./schemas/record.js";
+import { slowRecursiveRef } from "./schemas/recursive-ref.js";
+import { slowSet } from "./schemas/set.js";
+import { slowString } from "./schemas/string.js";
+import { slowStringBool } from "./schemas/string-bool.js";
+import { slowSymbol } from "./schemas/symbol.js";
+import { slowTemplateLiteral } from "./schemas/template-literal.js";
+import { slowTuple } from "./schemas/tuple.js";
+import { slowUndefined } from "./schemas/undefined.js";
+import { slowUnion } from "./schemas/union.js";
+import { slowUnknown } from "./schemas/unknown.js";
+import { slowVoid } from "./schemas/void.js";
+// ─── Typed registry ─────────────────────────────────────────────────────────
+// Adding a new SchemaIR type without registering a generator here causes a
+// compile error, preventing the silent-missing-case bugs that plagued the old
+// switch-based dispatch.
+const slowRegistry = {
+    // Primitives (order follows SchemaIR union in types.ts)
+    string: slowString,
+    number: slowNumber,
+    boolean: slowBoolean,
+    bigint: slowBigInt,
+    date: slowDate,
+    symbol: slowSymbol,
+    null: slowNull,
+    undefined: slowUndefined,
+    void: slowVoid,
+    nan: slowNan,
+    never: slowNever,
+    any: slowAny,
+    unknown: slowUnknown,
+    literal: slowLiteral,
+    enum: slowEnum,
+    // Containers
+    object: slowObject,
+    array: slowArray,
+    tuple: slowTuple,
+    record: slowRecord,
+    set: slowSet,
+    map: slowMap,
+    file: slowFile,
+    // Unions & Intersections
+    union: slowUnion,
+    discriminatedUnion: slowDiscriminatedUnion,
+    intersection: slowIntersection,
+    // Modifiers
+    optional: slowOptional,
+    nullable: slowNullable,
+    readonly: slowReadonly,
+    default: slowDefault,
+    pipe: slowPipe,
+    // Effects
+    effect: slowEffect,
+    // Special
+    templateLiteral: slowTemplateLiteral,
+    catch: slowCatch,
+    fallback: slowFallback,
+    recursiveRef: slowRecursiveRef,
+    stringBool: slowStringBool,
+};
+// ─── Factory ─────────────────────────────────────────────────────────────────
+// Lives here (not in context.ts) to avoid circular imports:
+// visit() → generateSlow() → imports from context.ts
+export function createSlowGen(inputExpr, outputExpr, pathExpr, issuesVar, ctx) {
+    return {
+        input: inputExpr,
+        output: outputExpr,
+        path: pathExpr,
+        issues: issuesVar,
+        ctx,
+        visit(ir, overrides) {
+            return generateSlow(ir, createSlowGen(overrides?.input ?? inputExpr, overrides?.output ?? outputExpr, overrides?.path ?? pathExpr, overrides?.issues ?? issuesVar, ctx));
+        },
+        temp: (prefix) => emitTemp(ctx, prefix),
+        regex: (prefix, pattern, flags) => emitRegex(ctx, prefix, pattern, flags),
+        set: (prefix, values) => emitSet(ctx, prefix, values),
+    };
+}
+// ─── Dispatch ────────────────────────────────────────────────────────────────
+export function generateSlow(ir, g) {
+    // Surface the node's schema-level error message to issue emission. visit()
+    // always builds a fresh context, so typeMsg never leaks into child nodes.
+    const gen0 = ir.typeMessage !== g.typeMsg ? { ...g, typeMsg: ir.typeMessage } : g;
+    const gen = slowRegistry[ir.type];
+    // biome-ignore lint/suspicious/noExplicitAny: registry dispatch requires type erasure at call site
+    return gen(ir, gen0);
+}
+//# sourceMappingURL=slow-path.js.map

package/dist/core/codegen/slow-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slow-path.js","sourceRoot":"","sources":["../../../src/core/codegen/slow-path.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,+EAA+E;AAC/E,2EAA2E;AAC3E,8EAA8E;AAC9E,yBAAyB;AAEzB,MAAM,YAAY,GAAG;IACnB,wDAAwD;IACxD,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,WAAW;IACpB,MAAM,EAAE,UAAU;IAClB,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,UAAU;IAClB,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,OAAO;IACZ,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,OAAO;IACZ,OAAO,EAAE,WAAW;IACpB,OAAO,EAAE,WAAW;IACpB,IAAI,EAAE,QAAQ;IACd,aAAa;IACb,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;IACZ,IAAI,EAAE,QAAQ;IACd,yBAAyB;IACzB,KAAK,EAAE,SAAS;IAChB,kBAAkB,EAAE,sBAAsB;IAC1C,YAAY,EAAE,gBAAgB;IAC9B,YAAY;IACZ,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,YAAY;IACtB,OAAO,EAAE,WAAW;IACpB,IAAI,EAAE,QAAQ;IACd,UAAU;IACV,MAAM,EAAE,UAAU;IAClB,UAAU;IACV,eAAe,EAAE,mBAAmB;IACpC,KAAK,EAAE,SAAS;IAChB,QAAQ,EAAE,YAAY;IACtB,YAAY,EAAE,gBAAgB;IAC9B,UAAU,EAAE,cAAc;CAG3B,CAAC;AAEF,gFAAgF;AAChF,4DAA4D;AAC5D,qDAAqD;AAErD,MAAM,UAAU,aAAa,CAC3B,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,UAAU;QAClB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,SAAS;QACjB,GAAG;QACH,KAAK,CAAC,EAAE,EAAE,SAAS;YACjB,OAAO,YAAY,CACjB,EAAE,EACF,aAAa,CACX,SAAS,EAAE,KAAK,IAAI,SAAS,EAC7B,SAAS,EAAE,MAAM,IAAI,UAAU,EAC/B,SAAS,EAAE,IAAI,IAAI,QAAQ,EAC3B,SAAS,EAAE,MAAM,IAAI,SAAS,EAC9B,GAAG,CACJ,CACF,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QACvC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;QACzE,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,MAAM,UAAU,YAAY,CAAC,EAAY,EAAE,CAAU;IACnD,2EAA2E;IAC3E,0EAA0E;IAC1E,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClC,mGAAmG;IACnG,OAAQ,GAAW,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC"}

package/dist/core/codegen/well-known-regex.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Well-known regex sources hosted in the virtual module "virtual:zod-compiler/runtime".
+ *
+ * In lean mode (unplugin), `g.regex()` consults this registry and emits a reference
+ * like `__zaReEmail` instead of declaring `var __re_email_*=new RegExp(...)`.
+ * The bundler then deduplicates the regex literal across all transformed files.
+ *
+ * Pattern sources are matched verbatim (string equality). Add new entries as Zod
+ * exposes additional well-known formats and we want bundle-wide dedup.
+ */
+/** Zod v4's email regex source (string.ts uses this directly when format === "email"). */
+export declare const EMAIL_REGEX_SOURCE: string;
+/** Fallback UUID regex used when the extractor doesn't provide a pattern (e.g. in unit tests). */
+export declare const UUID_REGEX_SOURCE = "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$";
+export interface WellKnownRegex {
+    /** Stable virtual-module export name. Always starts with "__zaRe". */
+    name: string;
+    /** Pattern source string (verbatim match against `g.regex()` 2nd argument). */
+    source: string;
+}
+export declare const WELL_KNOWN_REGEXES: readonly WellKnownRegex[];
+/**
+ * Look up a well-known regex by its pattern source string.
+ * Returns the virtual-module export name or null if the pattern is user-defined.
+ */
+export declare function lookupWellKnownRegex(source: string): string | null;
+//# sourceMappingURL=well-known-regex.d.ts.map

package/dist/core/codegen/well-known-regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"well-known-regex.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/well-known-regex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,0FAA0F;AAC1F,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K,MAAM,WAAW,cAAc;IAC7B,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,eAAO,MAAM,kBAAkB,EAAE,SAAS,cAAc,EA6BvD,CAAC;AAMF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAElE"}

package/dist/core/codegen/well-known-regex.js

@@ -0,0 +1,51 @@
+/**
+ * Well-known regex sources hosted in the virtual module "virtual:zod-compiler/runtime".
+ *
+ * In lean mode (unplugin), `g.regex()` consults this registry and emits a reference
+ * like `__zaReEmail` instead of declaring `var __re_email_*=new RegExp(...)`.
+ * The bundler then deduplicates the regex literal across all transformed files.
+ *
+ * Pattern sources are matched verbatim (string equality). Add new entries as Zod
+ * exposes additional well-known formats and we want bundle-wide dedup.
+ */
+/** Zod v4's email regex source (string.ts uses this directly when format === "email"). */
+export const EMAIL_REGEX_SOURCE = String.raw `^(?!\.)(?!.*\.\.)([A-Za-z0-9_'+\-\.]*)[A-Za-z0-9_+-]@([A-Za-z0-9][A-Za-z0-9\-]*\.)+[A-Za-z]{2,}$`;
+/** Fallback UUID regex used when the extractor doesn't provide a pattern (e.g. in unit tests). */
+export const UUID_REGEX_SOURCE = "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$";
+export const WELL_KNOWN_REGEXES = [
+    { name: "__zaReEmail", source: EMAIL_REGEX_SOURCE },
+    { name: "__zaReUuid", source: UUID_REGEX_SOURCE },
+    { name: "__zaReCuid", source: "^[cC][^\\s-]{8,}$" },
+    { name: "__zaReCuid2", source: "^[0-9a-z]+$" },
+    { name: "__zaReUlid", source: "^[0-9A-HJKMNP-TV-Za-hjkmnp-tv-z]{26}$" },
+    { name: "__zaReNanoid", source: "^[a-zA-Z0-9_-]{21}$" },
+    { name: "__zaReXid", source: "^[0-9a-vA-V]{20}$" },
+    { name: "__zaReKsuid", source: "^[A-Za-z0-9]{27}$" },
+    {
+        name: "__zaReIpv4",
+        source: "^(?:(?:25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9][0-9]|[0-9])\\.){3}(?:25[0-5]|2[0-4][0-9]|1[0-9][0-9]|[1-9][0-9]|[0-9])$",
+    },
+    {
+        name: "__zaReIpv6",
+        source: "^(([0-9a-fA-F]{1,4}:){7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:))$",
+    },
+    {
+        name: "__zaReBase64",
+        source: "^$|^(?:[0-9a-zA-Z+/]{4})*(?:(?:[0-9a-zA-Z+/]{2}==)|(?:[0-9a-zA-Z+/]{3}=))?$",
+    },
+    { name: "__zaReBase64Url", source: "^[A-Za-z0-9_-]*$" },
+    { name: "__zaReE164", source: "^\\+[1-9]\\d{6,14}$" },
+    {
+        name: "__zaReGuid",
+        source: "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12})$",
+    },
+];
+const SOURCE_TO_NAME = new Map(WELL_KNOWN_REGEXES.map((r) => [r.source, r.name]));
+/**
+ * Look up a well-known regex by its pattern source string.
+ * Returns the virtual-module export name or null if the pattern is user-defined.
+ */
+export function lookupWellKnownRegex(source) {
+    return SOURCE_TO_NAME.get(source) ?? null;
+}
+//# sourceMappingURL=well-known-regex.js.map

package/dist/core/codegen/well-known-regex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"well-known-regex.js","sourceRoot":"","sources":["../../../src/core/codegen/well-known-regex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,0FAA0F;AAC1F,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAS3K,MAAM,CAAC,MAAM,kBAAkB,GAA8B;IAC3D,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,EAAE;IACnD,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE;IACjD,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,mBAAmB,EAAE;IACnD,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE;IAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,uCAAuC,EAAE;IACvE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,qBAAqB,EAAE;IACvD,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,mBAAmB,EAAE;IAClD,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE;IACpD;QACE,IAAI,EAAE,YAAY;QAClB,MAAM,EACJ,sHAAsH;KACzH;IACD;QACE,IAAI,EAAE,YAAY;QAClB,MAAM,EACJ,8XAA8X;KACjY;IACD;QACE,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,6EAA6E;KACtF;IACD,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,kBAAkB,EAAE;IACvD,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,qBAAqB,EAAE;IACrD;QACE,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,iFAAiF;KAC1F;CACF,CAAC;AAEF,MAAM,cAAc,GAAgC,IAAI,GAAG,CACzD,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAClD,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;AAC5C,CAAC"}

package/dist/core/compile.d.ts

@@ -0,0 +1,19 @@
+import type { output, ZodType } from "zod";
+import type { CompiledSchema } from "./types.js";
+/**
+ * Compile a Zod schema into an optimized validator.
+ *
+ * At dev-time, falls back to Zod's runtime validation via Object.create,
+ * preserving full Zod compatibility (e.g. `_zod`, `shape`, `safeParseAsync`).
+ * After `npx zod-compiler generate`, import from the `.compiled.ts` file instead.
+ *
+ * The return type is `T & CompiledSchema<output<T>>`, preserving the original
+ * Zod schema type for compatibility with libraries like `@hono/zod-validator`.
+ */
+export declare function compile<T extends ZodType>(zodSchema: T): T & CompiledSchema<output<T>>;
+/**
+ * Check if a value is a CompiledSchema created by compile().
+ * Used by the CLI to discover schemas in source files.
+ */
+export declare function isCompiledSchema(value: unknown): value is CompiledSchema<unknown>;
+//# sourceMappingURL=compile.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/core/compile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAkBjD;;;;;;;;;GASG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAItF;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAAC,OAAO,CAAC,CAEjF"}

package/dist/core/compile.js

@@ -0,0 +1,37 @@
+const COMPILED_MARKER = Symbol.for("zod-compiler:compiled");
+/**
+ * Dev-time fallback: wraps Zod schema via Object.create to provide the CompiledSchema interface
+ * while preserving full Zod compatibility (e.g. `_zod`, `shape`, `safeParseAsync`).
+ *
+ * parse/safeParse/parseAsync/safeParseAsync fall through to the original Zod schema via prototype.
+ * Only `schema` is added as an own property.
+ */
+function createFallback(zodSchema) {
+    const facade = Object.create(zodSchema);
+    // Retained for CLI emitter discovery: (__src_X as any).schema resolves the original Zod schema.
+    facade["schema"] = zodSchema;
+    return facade;
+}
+/**
+ * Compile a Zod schema into an optimized validator.
+ *
+ * At dev-time, falls back to Zod's runtime validation via Object.create,
+ * preserving full Zod compatibility (e.g. `_zod`, `shape`, `safeParseAsync`).
+ * After `npx zod-compiler generate`, import from the `.compiled.ts` file instead.
+ *
+ * The return type is `T & CompiledSchema<output<T>>`, preserving the original
+ * Zod schema type for compatibility with libraries like `@hono/zod-validator`.
+ */
+export function compile(zodSchema) {
+    const result = createFallback(zodSchema);
+    Object.defineProperty(result, COMPILED_MARKER, { value: true, enumerable: false });
+    return result;
+}
+/**
+ * Check if a value is a CompiledSchema created by compile().
+ * Used by the CLI to discover schemas in source files.
+ */
+export function isCompiledSchema(value) {
+    return typeof value === "object" && value !== null && COMPILED_MARKER in value;
+}
+//# sourceMappingURL=compile.js.map

package/dist/core/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/core/compile.ts"],"names":[],"mappings":"AAGA,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;AAE5D;;;;;;GAMG;AACH,SAAS,cAAc,CAAI,SAAkB;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAmB,CAAsB,CAAC;IACvE,gGAAgG;IAC/F,MAA6C,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,OAAO,CAAoB,SAAY;IACrD,MAAM,MAAM,GAAG,cAAc,CAAY,SAAS,CAAC,CAAC;IACpD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,MAAuC,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,IAAI,KAAK,CAAC;AACjF,CAAC"}