zod-compiler 0.1.1 → 1.0.1

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

@@ -0,0 +1,226 @@
+import { checkPriority, escapeString } from "../context.js";
+import { emit } from "../emit.js";
+import { invalidFormat, invalidType, tooBig, tooSmall } from "../emit-issue.js";
+import { EMAIL_REGEX_SOURCE, UUID_REGEX_SOURCE } from "../well-known-regex.js";
+import { refineCheck } from "./effect.js";
+/** `re.lastIndex=0;` reset statement for stateful (g/y-flagged) regexes. */
+function lastIndexReset(regexVar, flags) {
+    return flags && /[gy]/.test(flags) ? `${regexVar}.lastIndex=0;` : "";
+}
+/**
+ * Generate the url check, mirroring $ZodURL semantics:
+ * trim → new URL(trimmed) → optional hostname/protocol regex tests →
+ * write back url.href (normalize) or the trimmed input.
+ */
+function slowUrlCheck(check, g) {
+    const trimmedVar = g.temp("ut");
+    const urlVar = g.temp("u");
+    let inner = "";
+    if (check.hostname) {
+        const re = g.regex("host", check.hostname, check.hostnameFlags);
+        inner += emit `
+      ${lastIndexReset(re, check.hostnameFlags)}
+      if(!${re}.test(${urlVar}.hostname)){
+        ${invalidFormat(g, "url", {
+            extra: `note:"Invalid hostname",pattern:${escapeString(check.hostname)}`,
+            message: check.message,
+        })}
+      }`;
+    }
+    if (check.protocol) {
+        const re = g.regex("proto", check.protocol, check.protocolFlags);
+        const protoExpr = `(${urlVar}.protocol.endsWith(":")?${urlVar}.protocol.slice(0,-1):${urlVar}.protocol)`;
+        inner += emit `
+      ${lastIndexReset(re, check.protocolFlags)}
+      if(!${re}.test(${protoExpr})){
+        ${invalidFormat(g, "url", {
+            extra: `note:"Invalid protocol",pattern:${escapeString(check.protocol)}`,
+            message: check.message,
+        })}
+      }`;
+    }
+    // Zod writes the value back even when hostname/protocol issues were pushed.
+    inner += `${g.output}=${check.normalize ? `${urlVar}.href` : trimmedVar};`;
+    return emit `
+    var ${trimmedVar}=${g.input}.trim();
+    var ${urlVar}=null;
+    try{${urlVar}=new URL(${trimmedVar});}catch(_){}
+    if(${urlVar}===null){
+      ${invalidFormat(g, "url", { message: check.message })}
+    }else{
+      ${inner}
+    }`;
+}
+export function slowString(ir, g) {
+    let code = "";
+    if (ir.coerce) {
+        code += emit `try{${g.output}=String(${g.input});}catch(_){}`;
+    }
+    code += emit `
+    if(typeof ${g.input}!=="string"){
+      ${invalidType(g, "string")}
+    }`;
+    if (ir.checks.length > 0) {
+        code += `else{`;
+        // Insertion order mirrors zod's issue order for multi-failure inputs;
+        // the slow path collects all issues with no short-circuit.
+        for (const check of ir.checks) {
+            switch (check.kind) {
+                case "min_length":
+                    code += emit `
+            if(${g.input}.length<${check.minimum}){
+              ${tooSmall(g, check.minimum, "string", true, { message: check.message })}
+            }`;
+                    break;
+                case "max_length":
+                    code += emit `
+            if(${g.input}.length>${check.maximum}){
+              ${tooBig(g, check.maximum, "string", true, { message: check.message })}
+            }`;
+                    break;
+                case "length_equals":
+                    code += emit `
+            if(${g.input}.length<${check.length}){
+              ${tooSmall(g, check.length, "string", true, { exact: true, message: check.message })}
+            }else if(${g.input}.length>${check.length}){
+              ${tooBig(g, check.length, "string", true, { exact: true, message: check.message })}
+            }`;
+                    break;
+                case "includes":
+                    code += emit `
+            if(!${g.input}.includes(${escapeString(check.includes)}${check.position !== undefined ? `,${check.position}` : ""})){
+              ${invalidFormat(g, "includes", { extra: `includes:${escapeString(check.includes)}`, message: check.message })}
+            }`;
+                    break;
+                case "starts_with":
+                    code += emit `
+            if(!${g.input}.startsWith(${escapeString(check.prefix)})){
+              ${invalidFormat(g, "starts_with", { extra: `prefix:${escapeString(check.prefix)}`, message: check.message })}
+            }`;
+                    break;
+                case "ends_with":
+                    code += emit `
+            if(!${g.input}.endsWith(${escapeString(check.suffix)})){
+              ${invalidFormat(g, "ends_with", { extra: `suffix:${escapeString(check.suffix)}`, message: check.message })}
+            }`;
+                    break;
+                case "refine_effect":
+                    code += refineCheck(check, g.input, g);
+                    break;
+                case "overwrite_effect":
+                    // $ZodCheckOverwrite: value = tx(value). Later checks read the
+                    // rewritten value because input aliases the output location.
+                    code += emit `${g.output}=(${check.source})(${g.input});`;
+                    break;
+                case "string_format": {
+                    let regexVar;
+                    if (check.format === "url") {
+                        code += slowUrlCheck(check, g);
+                        continue;
+                    }
+                    if (check.format === "email") {
+                        regexVar = g.regex("email", check.pattern ?? EMAIL_REGEX_SOURCE, check.patternFlags);
+                    }
+                    else if (check.format === "regex" && check.pattern) {
+                        regexVar = g.regex("str", check.pattern, check.patternFlags);
+                    }
+                    else if (check.format === "uuid") {
+                        regexVar = g.regex("uuid", check.pattern ?? UUID_REGEX_SOURCE, check.patternFlags);
+                    }
+                    else {
+                        if (check.pattern) {
+                            regexVar = g.regex("str", check.pattern, check.patternFlags);
+                        }
+                        else {
+                            // Extraction guarantees a pattern for non-special formats;
+                            // defensive skip kept for hand-built IR.
+                            continue;
+                        }
+                    }
+                    code += emit `
+            ${lastIndexReset(regexVar, check.patternFlags)}
+            if(!${regexVar}.test(${g.input})){
+              ${invalidFormat(g, { expr: escapeString(check.format) }, { extra: `pattern:${regexVar}.toString(),origin:"string"`, message: check.message })}
+            }`;
+                    break;
+                }
+            }
+        }
+        code += `}`;
+    }
+    return `${code}\n`;
+}
+export function fastString(ir, g) {
+    if (ir.coerce)
+        return null;
+    // Overwrite effects rewrite the value — the fast path returns input
+    // unchanged, so any mutation makes it ineligible.
+    if (ir.checks.some((c) => c.kind === "overwrite_effect"))
+        return null;
+    const x = g.input;
+    const parts = [`typeof ${x}==="string"`];
+    const checks = ir.checks.filter((c) => c.kind !== "refine_effect" && c.kind !== "overwrite_effect");
+    for (const check of checks.sort(checkPriority)) {
+        switch (check.kind) {
+            case "min_length":
+                parts.push(`${x}.length>=${check.minimum}`);
+                break;
+            case "max_length":
+                parts.push(`${x}.length<=${check.maximum}`);
+                break;
+            case "length_equals":
+                parts.push(`${x}.length===${check.length}`);
+                break;
+            case "includes":
+                parts.push(check.position !== undefined
+                    ? `${x}.includes(${escapeString(check.includes)},${check.position})`
+                    : `${x}.includes(${escapeString(check.includes)})`);
+                break;
+            case "starts_with":
+                parts.push(`${x}.startsWith(${escapeString(check.prefix)})`);
+                break;
+            case "ends_with":
+                parts.push(`${x}.endsWith(${escapeString(check.suffix)})`);
+                break;
+            case "string_format": {
+                if (check.format === "url") {
+                    // URL validation mutates (trims) and uses try/catch — ineligible
+                    return null;
+                }
+                let pattern;
+                let prefix;
+                if (check.format === "email") {
+                    prefix = "email";
+                    pattern = check.pattern ?? EMAIL_REGEX_SOURCE;
+                }
+                else if (check.format === "uuid") {
+                    prefix = "uuid";
+                    pattern = check.pattern ?? UUID_REGEX_SOURCE;
+                }
+                else if (check.pattern) {
+                    prefix = "re";
+                    pattern = check.pattern;
+                }
+                else {
+                    // Unknown format without pattern — can't generate fast check
+                    return null;
+                }
+                const v = g.regex(prefix, pattern, check.patternFlags);
+                // Stateful (g/y) regexes need lastIndex reset; comma expression keeps
+                // this usable inside the boolean chain.
+                parts.push(check.patternFlags && /[gy]/.test(check.patternFlags)
+                    ? `((${v}.lastIndex=0),${v}.test(${x}))`
+                    : `${v}.test(${x})`);
+                break;
+            }
+        }
+    }
+    // Refine effect checks (appended last — run after cheap checks short-circuit)
+    for (const check of ir.checks) {
+        if (check.kind === "refine_effect") {
+            parts.push(`(${check.source})(${x})`);
+        }
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=string.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/string.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,4EAA4E;AAC5E,SAAS,cAAc,CAAC,QAAgB,EAAE,KAAyB;IACjE,OAAO,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,KAAwB,EAAE,CAAU;IACxD,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAChE,KAAK,IAAI,IAAI,CAAA;QACT,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC;YACnC,EAAE,SAAS,MAAM;UACnB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE;YACxB,KAAK,EAAE,mCAAmC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;YACxE,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,CAAC;IACP,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,IAAI,MAAM,2BAA2B,MAAM,yBAAyB,MAAM,YAAY,CAAC;QACzG,KAAK,IAAI,IAAI,CAAA;QACT,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC;YACnC,EAAE,SAAS,SAAS;UACtB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE;YACxB,KAAK,EAAE,mCAAmC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;YACxE,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;QACF,CAAC;IACP,CAAC;IACD,4EAA4E;IAC5E,KAAK,IAAI,GAAG,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC;IAC3E,OAAO,IAAI,CAAA;UACH,UAAU,IAAI,CAAC,CAAC,KAAK;UACrB,MAAM;UACN,MAAM,YAAY,UAAU;SAC7B,MAAM;QACP,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;;QAEnD,KAAK;MACP,CAAC;AACP,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAY,EAAE,CAAU;IACjD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,OAAO,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,KAAK,eAAe,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,CAAC,CAAC,KAAK;QACf,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC;MAC1B,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,sEAAsE;QACtE,2DAA2D;QAC3D,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,OAAO;gBAChC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cACxE,CAAC;oBACL,MAAM;gBACR,KAAK,YAAY;oBACf,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,OAAO;gBAChC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cACtE,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,IAAI,CAAA;iBACL,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,MAAM;gBAC/B,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;uBAC3E,CAAC,CAAC,KAAK,WAAW,KAAK,CAAC,MAAM;gBACrC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAClF,CAAC;oBACL,MAAM;gBACR,KAAK,UAAU;oBACb,IAAI,IAAI,IAAI,CAAA;kBACJ,CAAC,CAAC,KAAK,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC7G,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC7G,CAAC;oBACL,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;kBACJ,CAAC,CAAC,KAAK,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBAClD,aAAa,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,UAAU,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC5G,CAAC;oBACL,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,IAAI,IAAI,CAAA;kBACJ,CAAC,CAAC,KAAK,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChD,aAAa,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,UAAU,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC1G,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBACvC,MAAM;gBACR,KAAK,kBAAkB;oBACrB,+DAA+D;oBAC/D,6DAA6D;oBAC7D,IAAI,IAAI,IAAI,CAAA,GAAG,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC;oBACzD,MAAM;gBACR,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,IAAI,QAAgB,CAAC;oBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;wBAC3B,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;wBAC/B,SAAS;oBACX,CAAC;oBACD,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBAC7B,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,kBAAkB,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;oBACvF,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;wBACrD,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;oBAC/D,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;wBACnC,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,IAAI,iBAAiB,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;oBACrF,CAAC;yBAAM,CAAC;wBACN,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;4BAClB,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;wBAC/D,CAAC;6BAAM,CAAC;4BACN,2DAA2D;4BAC3D,yCAAyC;4BACzC,SAAS;wBACX,CAAC;oBACH,CAAC;oBACD,IAAI,IAAI,IAAI,CAAA;cACR,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC;kBACxC,QAAQ,SAAS,CAAC,CAAC,KAAK;gBAC1B,aAAa,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,QAAQ,6BAA6B,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;cAC7I,CAAC;oBACL,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAY,EAAE,CAAU;IACjD,IAAI,EAAE,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3B,oEAAoE;IACpE,kDAAkD;IAClD,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,CACjF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,QAAQ,KAAK,SAAS;oBAC1B,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG;oBACpE,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CACrD,CAAC;gBACF,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBAC3B,iEAAiE;oBACjE,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,OAAe,CAAC;gBACpB,IAAI,MAAc,CAAC;gBACnB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;oBAC7B,MAAM,GAAG,OAAO,CAAC;oBACjB,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,kBAAkB,CAAC;gBAChD,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBACnC,MAAM,GAAG,MAAM,CAAC;oBAChB,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;gBAC/C,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACzB,MAAM,GAAG,IAAI,CAAC;oBACd,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;gBAC1B,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;gBACvD,sEAAsE;gBACtE,wCAAwC;gBACxC,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;oBACnD,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI;oBACxC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CACtB,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbol.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/symbol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAM5D;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAEnE"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbol.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/symbol.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,CAAU;IAClD,OAAO,GAAG,IAAI,CAAA;gBACA,CAAC,CAAC,KAAK;QACf,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC;;GAE7B,IAAI,CAAC;AACR,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAa,EAAE,CAAU;IAClD,OAAO,UAAU,CAAC,CAAC,KAAK,aAAa,CAAC;AACxC,CAAC"}

package/dist/core/codegen/schemas/template-literal.d.ts

@@ -0,0 +1,5 @@
+import type { TemplateLiteralIR } from "../../types.js";
+import type { FastGen, SlowGen } from "../context.js";
+export declare function slowTemplateLiteral(ir: TemplateLiteralIR, g: SlowGen): string;
+export declare function fastTemplateLiteral(ir: TemplateLiteralIR, g: FastGen): string | null;
+//# sourceMappingURL=template-literal.d.ts.map

package/dist/core/codegen/schemas/template-literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-literal.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/template-literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAItD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAQ7E;AAED,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,iBAAiB,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGpF"}

package/dist/core/codegen/schemas/template-literal.js

@@ -0,0 +1,16 @@
+import { emit } from "../emit.js";
+import { invalidFormat, invalidType } from "../emit-issue.js";
+export function slowTemplateLiteral(ir, g) {
+    const regexVar = g.regex("tl", ir.pattern);
+    return `${emit `
+    if(typeof ${g.input}!=="string"){
+      ${invalidType(g, "string")}
+    }else if(!${regexVar}.test(${g.input})){
+      ${invalidFormat(g, "template_literal", { extra: `pattern:${regexVar}.toString()` })}
+    }`}\n`;
+}
+export function fastTemplateLiteral(ir, g) {
+    const regexVar = g.regex("tl", ir.pattern);
+    return `typeof ${g.input}==="string"&&${regexVar}.test(${g.input})`;
+}
+//# sourceMappingURL=template-literal.js.map

package/dist/core/codegen/schemas/template-literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-literal.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/template-literal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE9D,MAAM,UAAU,mBAAmB,CAAC,EAAqB,EAAE,CAAU;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,GAAG,IAAI,CAAA;gBACA,CAAC,CAAC,KAAK;QACf,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC;gBAChB,QAAQ,SAAS,CAAC,CAAC,KAAK;QAChC,aAAa,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,KAAK,EAAE,WAAW,QAAQ,aAAa,EAAE,CAAC;MACnF,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAqB,EAAE,CAAU;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,UAAU,CAAC,CAAC,KAAK,gBAAgB,QAAQ,SAAS,CAAC,CAAC,KAAK,GAAG,CAAC;AACtE,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { SchemaIR, TupleIR } from "../../types.js";
+import type { FastGen, SlowGen } from "../context.js";
+/**
+ * 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 declare function slowTuple(ir: SchemaIR & {
+    type: "tuple";
+}, g: SlowGen): string;
+export declare function fastTuple(ir: TupleIR, g: FastGen): string | null;
+//# sourceMappingURL=tuple.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/tuple.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;AAmBtD;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAiD9E;AAED,wBAAgB,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAuChE"}

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