zod-compiler 1.23.0 → 1.23.2

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

@@ -1,5 +1,6 @@
-import type { SchemaIR, TupleIR } from "../../types.js";
-import type { FastGen, SlowGen } from "../context.js";
+import { SchemaIR, TupleIR } from "../../types.js";
+import { FastGen, SlowGen } from "../context.js";
+//#region src/core/codegen/schemas/tuple.d.ts
 /**
  * Mirrors $ZodTuple: without rest, over-length input emits a single too_big
  * and `length < optStart - 1` a single too_small (minimum = items.length,
@@ -8,8 +9,10 @@ import type { FastGen, SlowGen } from "../context.js";
  * 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";
+declare function slowTuple(ir: SchemaIR & {
+  type: "tuple";
 }, g: SlowGen): string;
-export declare function fastTuple(ir: TupleIR, g: FastGen): string | null;
+declare function fastTuple(ir: TupleIR, g: FastGen): string | null;
+//#endregion
+export { fastTuple, slowTuple };
 //# sourceMappingURL=tuple.d.ts.map

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

@@ -1 +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;AAoBtD;;;;;;;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,CA4ChE"}
+{"version":3,"file":"tuple.d.ts","names":[],"sources":["../../../../src/core/codegen/schemas/tuple.ts"],"mappings":";;;;;;;;;;;iBA6BgB,UAAU,IAAI;EAAa;GAAiB,GAAG;iBAmD/C,UAAU,IAAI,SAAS,GAAG"}

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

@@ -1,60 +1,65 @@
 import { declareFastTemps, extendPath, extendStaticPathIndex, hasMutation } from "../context.js";
-import { orderByRuntimeCost } from "../fast-size.js";
 import { emit } from "../emit.js";
 import { invalidType, tooBig, tooSmall } from "../emit-issue.js";
+import { orderByRuntimeCost } from "../fast-size.js";
+//#region src/core/codegen/schemas/tuple.ts
 /**
- * Index where the omittable tail begins (zod's `optStart`): trailing
- * optional/default items have `optin === "optional"` and may be absent.
- */
+* 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;
+	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 `
+* 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.
+*/
+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 = extendPath(g.path, idxVar);
-        itemsCode += emit `
+	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
+		});
+		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 = extendPath(g.path, idxVar);
+		itemsCode += emit`
       for(var ${idxVar}=${len};${idxVar}<${g.input}.length;${idxVar}++){
-        ${g.visit(ir.rest, { input: restExpr, output: restExpr, path: restPath })}
+        ${g.visit(ir.rest, {
+			input: restExpr,
+			output: restExpr,
+			path: restPath
+		})}
       }`;
-    }
-    if (ir.rest === null) {
-        const start = optStart(ir);
-        code += emit `
+	}
+	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}){
@@ -62,55 +67,40 @@ export function slowTuple(ir, g) {
       }else{
         ${itemsCode}
       }`;
-    }
-    else {
-        code += itemsCode;
-    }
-    code += `}\n`;
-    return code;
+	} 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, cheapest-first: positions are independent, so the emitted
-    // order only decides which one a reject stops on (see estimateRuntimeCost).
-    // The Array.isArray + length conjuncts above stay in front — the element
-    // reads are only meaningful once they hold.
-    const indexed = ir.items.flatMap((itemIR, index) => (itemIR ? [{ index, itemIR }] : []));
-    for (const { index, itemIR } of orderByRuntimeCost(indexed, (e) => e.itemIR, g.ctx)) {
-        const itemCheck = g.visit(itemIR, { input: `${x}[${index}]` });
-        if (itemCheck === null)
-            return null;
-        if (itemCheck !== "true")
-            parts.push(itemCheck);
-    }
-    // Rest element validation via preamble helper (avoids .slice().every()
-    // allocation). Fresh scope: the helper is its own function, size-gated
-    // independently. (Fixed items above stay inline in the caller's && chain.)
-    if (ir.rest !== null) {
-        const rv = g.temp("tr");
-        const restGen = g.scoped(rv);
-        const restCheck = restGen.visit(ir.rest);
-        if (restCheck === null)
-            return null;
-        if (restCheck !== "true") {
-            const helperName = g.temp("te");
-            g.ctx.preamble.push(`function ${helperName}(a,s){${declareFastTemps(restGen.scope)}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("&&");
+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}`);
+	const indexed = ir.items.flatMap((itemIR, index) => itemIR ? [{
+		index,
+		itemIR
+	}] : []);
+	for (const { index, itemIR } of orderByRuntimeCost(indexed, (e) => e.itemIR, g.ctx)) {
+		const itemCheck = g.visit(itemIR, { input: `${x}[${index}]` });
+		if (itemCheck === null) return null;
+		if (itemCheck !== "true") parts.push(itemCheck);
+	}
+	if (ir.rest !== null) {
+		const rv = g.temp("tr");
+		const restGen = g.scoped(rv);
+		const restCheck = restGen.visit(ir.rest);
+		if (restCheck === null) return null;
+		if (restCheck !== "true") {
+			const helperName = g.temp("te");
+			g.ctx.preamble.push(`function ${helperName}(a,s){${declareFastTemps(restGen.scope)}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("&&");
 }
+//#endregion
+export { fastTuple, slowTuple };
+
 //# sourceMappingURL=tuple.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../../../src/core/codegen/schemas/tuple.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,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,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,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,8EAA8E;IAC9E,4EAA4E;IAC5E,yEAAyE;IACzE,4CAA4C;IAC5C,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzF,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,kBAAkB,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACpF,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;QAC/D,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;IAED,uEAAuE;IACvE,uEAAuE;IACvE,2EAA2E;IAC3E,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACzC,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,SAAS,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,wBAAwB,EAAE,cAAc,SAAS,iCAAiC,CAC9J,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"}
+{"version":3,"file":"tuple.js","names":[],"sources":["../../../../src/core/codegen/schemas/tuple.ts"],"sourcesContent":["import type { SchemaIR, TupleIR } from \"../../types.js\";\nimport type { FastGen, SlowGen } from \"../context.js\";\nimport { declareFastTemps, extendPath, extendStaticPathIndex, hasMutation } from \"../context.js\";\nimport { orderByRuntimeCost } from \"../fast-size.js\";\nimport { emit } from \"../emit.js\";\nimport { invalidType, tooBig, tooSmall } from \"../emit-issue.js\";\n\n/**\n * Index where the omittable tail begins (zod's `optStart`): trailing\n * optional/default items have `optin === \"optional\"` and may be absent.\n */\nfunction optStart(ir: TupleIR): number {\n  let start = ir.items.length;\n  for (let i = ir.items.length - 1; i >= 0; i--) {\n    const itemType = (ir.items[i] as SchemaIR).type;\n    if (itemType !== \"optional\" && itemType !== \"default\") break;\n    start--;\n  }\n  return start;\n}\n\n/**\n * Mirrors $ZodTuple: without rest, over-length input emits a single too_big\n * and `length < optStart - 1` a single too_small (minimum = items.length,\n * non-inclusive phrasing) — both created by the tuple node (schema error\n * applies) and both skip item validation. Anything else validates items;\n * missing required items read as undefined and fail their item schema's type\n * check at the right path.\n */\nexport function slowTuple(ir: SchemaIR & { type: \"tuple\" }, g: SlowGen): string {\n  const len = ir.items.length;\n\n  let code = emit`\n    if(!Array.isArray(${g.input})){\n      ${invalidType(g, \"tuple\")}\n    }else{`;\n\n  let itemsCode = \"\";\n  if (ir.items.some(hasMutation) || (ir.rest !== null && hasMutation(ir.rest))) {\n    itemsCode += `${g.output}=${g.input}.slice();`;\n  }\n\n  for (let i = 0; i < len; i++) {\n    const itemIR = ir.items[i] as SchemaIR;\n    const elemExpr = `${g.input}[${i}]`;\n    const elemPath = extendStaticPathIndex(g.path, i);\n    const skipMissingOptional = i >= optStart(ir);\n    const itemCode = g.visit(itemIR, { input: elemExpr, output: elemExpr, path: elemPath });\n    // Zod skips absent omittable items entirely (no default materialization).\n    itemsCode += skipMissingOptional ? emit`if(${i}<${g.input}.length){${itemCode}}` : itemCode;\n  }\n\n  if (ir.rest !== null) {\n    const idxVar = g.temp(\"ti\");\n    const restExpr = `${g.input}[${idxVar}]`;\n    const restPath = extendPath(g.path, idxVar);\n    itemsCode += emit`\n      for(var ${idxVar}=${len};${idxVar}<${g.input}.length;${idxVar}++){\n        ${g.visit(ir.rest, { input: restExpr, output: restExpr, path: restPath })}\n      }`;\n  }\n\n  if (ir.rest === null) {\n    const start = optStart(ir);\n    code += emit`\n      if(${g.input}.length>${len}){\n        ${tooBig(g, len, \"array\", true, { useTypeMsg: true })}\n      }else if(${g.input}.length<${start - 1}){\n        ${tooSmall(g, len, \"array\", false, { useTypeMsg: true })}\n      }else{\n        ${itemsCode}\n      }`;\n  } else {\n    code += itemsCode;\n  }\n\n  code += `}\\n`;\n  return code;\n}\n\nexport function fastTuple(ir: TupleIR, g: FastGen): string | null {\n  const x = g.input;\n  const parts: string[] = [`Array.isArray(${x})`];\n\n  const required = optStart(ir);\n  if (ir.rest === null) {\n    if (required === ir.items.length) {\n      parts.push(`${x}.length===${ir.items.length}`);\n    } else {\n      parts.push(`${x}.length>=${required}`, `${x}.length<=${ir.items.length}`);\n    }\n  } else if (required > 0) {\n    parts.push(`${x}.length>=${required}`);\n  }\n\n  // Per-index checks, cheapest-first: positions are independent, so the emitted\n  // order only decides which one a reject stops on (see estimateRuntimeCost).\n  // The Array.isArray + length conjuncts above stay in front — the element\n  // reads are only meaningful once they hold.\n  const indexed = ir.items.flatMap((itemIR, index) => (itemIR ? [{ index, itemIR }] : []));\n  for (const { index, itemIR } of orderByRuntimeCost(indexed, (e) => e.itemIR, g.ctx)) {\n    const itemCheck = g.visit(itemIR, { input: `${x}[${index}]` });\n    if (itemCheck === null) return null;\n    if (itemCheck !== \"true\") parts.push(itemCheck);\n  }\n\n  // Rest element validation via preamble helper (avoids .slice().every()\n  // allocation). Fresh scope: the helper is its own function, size-gated\n  // independently. (Fixed items above stay inline in the caller's && chain.)\n  if (ir.rest !== null) {\n    const rv = g.temp(\"tr\");\n    const restGen = g.scoped(rv);\n    const restCheck = restGen.visit(ir.rest);\n    if (restCheck === null) return null;\n    if (restCheck !== \"true\") {\n      const helperName = g.temp(\"te\");\n      g.ctx.preamble.push(\n        `function ${helperName}(a,s){${declareFastTemps(restGen.scope)}for(var ${rv},i=s;i<a.length;i++){${rv}=a[i];if(!(${restCheck})){return false;}}return true;}`,\n      );\n      parts.push(`${helperName}(${x},${ir.items.length})`);\n    }\n  }\n\n  return parts.join(\"&&\");\n}\n"],"mappings":";;;;;;;;;AAWA,SAAS,SAAS,IAAqB;CACrC,IAAI,QAAQ,GAAG,MAAM;CACrB,KAAK,IAAI,IAAI,GAAG,MAAM,SAAS,GAAG,KAAK,GAAG,KAAK;EAC7C,MAAM,WAAY,GAAG,MAAM,EAAE,CAAc;EAC3C,IAAI,aAAa,cAAc,aAAa,WAAW;EACvD;CACF;CACA,OAAO;AACT;;;;;;;;;AAUA,SAAgB,UAAU,IAAkC,GAAoB;CAC9E,MAAM,MAAM,GAAG,MAAM;CAErB,IAAI,OAAO,IAAI;wBACO,EAAE,MAAM;QACxB,YAAY,GAAG,OAAO,EAAE;;CAG9B,IAAI,YAAY;CAChB,IAAI,GAAG,MAAM,KAAK,WAAW,KAAM,GAAG,SAAS,QAAQ,YAAY,GAAG,IAAI,GACxE,aAAa,GAAG,EAAE,OAAO,GAAG,EAAE,MAAM;CAGtC,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,KAAK;EAC5B,MAAM,SAAS,GAAG,MAAM;EACxB,MAAM,WAAW,GAAG,EAAE,MAAM,GAAG,EAAE;EACjC,MAAM,WAAW,sBAAsB,EAAE,MAAM,CAAC;EAChD,MAAM,sBAAsB,KAAK,SAAS,EAAE;EAC5C,MAAM,WAAW,EAAE,MAAM,QAAQ;GAAE,OAAO;GAAU,QAAQ;GAAU,MAAM;EAAS,CAAC;EAEtF,aAAa,sBAAsB,IAAI,MAAM,EAAE,GAAG,EAAE,MAAM,WAAW,SAAS,KAAK;CACrF;CAEA,IAAI,GAAG,SAAS,MAAM;EACpB,MAAM,SAAS,EAAE,KAAK,IAAI;EAC1B,MAAM,WAAW,GAAG,EAAE,MAAM,GAAG,OAAO;EACtC,MAAM,WAAW,WAAW,EAAE,MAAM,MAAM;EAC1C,aAAa,IAAI;gBACL,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,EAAE,MAAM,UAAU,OAAO;UAC1D,EAAE,MAAM,GAAG,MAAM;GAAE,OAAO;GAAU,QAAQ;GAAU,MAAM;EAAS,CAAC,EAAE;;CAEhF;CAEA,IAAI,GAAG,SAAS,MAAM;EACpB,MAAM,QAAQ,SAAS,EAAE;EACzB,QAAQ,IAAI;WACL,EAAE,MAAM,UAAU,IAAI;UACvB,OAAO,GAAG,KAAK,SAAS,MAAM,EAAE,YAAY,KAAK,CAAC,EAAE;iBAC7C,EAAE,MAAM,UAAU,QAAQ,EAAE;UACnC,SAAS,GAAG,KAAK,SAAS,OAAO,EAAE,YAAY,KAAK,CAAC,EAAE;;UAEvD,UAAU;;CAElB,OACE,QAAQ;CAGV,QAAQ;CACR,OAAO;AACT;AAEA,SAAgB,UAAU,IAAa,GAA2B;CAChE,MAAM,IAAI,EAAE;CACZ,MAAM,QAAkB,CAAC,iBAAiB,EAAE,EAAE;CAE9C,MAAM,WAAW,SAAS,EAAE;CAC5B,IAAI,GAAG,SAAS,MACd,IAAI,aAAa,GAAG,MAAM,QACxB,MAAM,KAAK,GAAG,EAAE,YAAY,GAAG,MAAM,QAAQ;MAE7C,MAAM,KAAK,GAAG,EAAE,WAAW,YAAY,GAAG,EAAE,WAAW,GAAG,MAAM,QAAQ;MAErE,IAAI,WAAW,GACpB,MAAM,KAAK,GAAG,EAAE,WAAW,UAAU;CAOvC,MAAM,UAAU,GAAG,MAAM,SAAS,QAAQ,UAAW,SAAS,CAAC;EAAE;EAAO;CAAO,CAAC,IAAI,CAAC,CAAE;CACvF,KAAK,MAAM,EAAE,OAAO,YAAY,mBAAmB,UAAU,MAAM,EAAE,QAAQ,EAAE,GAAG,GAAG;EACnF,MAAM,YAAY,EAAE,MAAM,QAAQ,EAAE,OAAO,GAAG,EAAE,GAAG,MAAM,GAAG,CAAC;EAC7D,IAAI,cAAc,MAAM,OAAO;EAC/B,IAAI,cAAc,QAAQ,MAAM,KAAK,SAAS;CAChD;CAKA,IAAI,GAAG,SAAS,MAAM;EACpB,MAAM,KAAK,EAAE,KAAK,IAAI;EACtB,MAAM,UAAU,EAAE,OAAO,EAAE;EAC3B,MAAM,YAAY,QAAQ,MAAM,GAAG,IAAI;EACvC,IAAI,cAAc,MAAM,OAAO;EAC/B,IAAI,cAAc,QAAQ;GACxB,MAAM,aAAa,EAAE,KAAK,IAAI;GAC9B,EAAE,IAAI,SAAS,KACb,YAAY,WAAW,QAAQ,iBAAiB,QAAQ,KAAK,EAAE,UAAU,GAAG,uBAAuB,GAAG,aAAa,UAAU,gCAC/H;GACA,MAAM,KAAK,GAAG,WAAW,GAAG,EAAE,GAAG,GAAG,MAAM,OAAO,EAAE;EACrD;CACF;CAEA,OAAO,MAAM,KAAK,IAAI;AACxB"}

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

@@ -1,5 +1,8 @@
-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;
+import { UndefinedIR } from "../../types.js";
+import { FastGen, SlowGen } from "../context.js";
+//#region src/core/codegen/schemas/undefined.d.ts
+declare function slowUndefined(_ir: UndefinedIR, g: SlowGen): string;
+declare function fastUndefined(_ir: UndefinedIR, g: FastGen): string | null;
+//#endregion
+export { fastUndefined, slowUndefined };
 //# sourceMappingURL=undefined.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"undefined.d.ts","names":[],"sources":["../../../../src/core/codegen/schemas/undefined.ts"],"mappings":";;;iBAKgB,cAAc,KAAK,aAAa,GAAG;iBAQnC,cAAc,KAAK,aAAa,GAAG"}

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

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

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

@@ -1 +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"}
+{"version":3,"file":"undefined.js","names":[],"sources":["../../../../src/core/codegen/schemas/undefined.ts"],"sourcesContent":["import type { UndefinedIR } from \"../../types.js\";\nimport type { FastGen, SlowGen } from \"../context.js\";\nimport { emit } from \"../emit.js\";\nimport { invalidType } from \"../emit-issue.js\";\n\nexport function slowUndefined(_ir: UndefinedIR, g: SlowGen): string {\n  return `${emit`\n    if(${g.input}!==undefined){\n      ${invalidType(g, \"undefined\")}\n    }\n  `}\\n`;\n}\n\nexport function fastUndefined(_ir: UndefinedIR, g: FastGen): string | null {\n  return `${g.input}===undefined`;\n}\n"],"mappings":";;;AAKA,SAAgB,cAAc,KAAkB,GAAoB;CAClE,OAAO,GAAG,IAAI;SACP,EAAE,MAAM;QACT,YAAY,GAAG,WAAW,EAAE;;IAEhC;AACJ;AAEA,SAAgB,cAAc,KAAkB,GAA2B;CACzE,OAAO,GAAG,EAAE,MAAM;AACpB"}

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

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

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

@@ -1 +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;AAOtD,wBAAgB,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAkG9E;AAED,wBAAgB,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CA8BhE"}
+{"version":3,"file":"union.d.ts","names":[],"sources":["../../../../src/core/codegen/schemas/union.ts"],"mappings":";;;iBAQgB,UAAU,IAAI;EAAa;GAAiB,GAAG;iBAoG/C,UAAU,IAAI,SAAS,GAAG"}

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

@@ -1,33 +1,32 @@
 import { hasMutation } from "../context.js";
 import { emit } from "../emit.js";
-import { orderByRuntimeCost } from "../fast-size.js";
 import { abortingCodeTest } from "../issue-decls.js";
 import { detectUnionDiscriminator, emitFastDiscriminatedSwitch } from "./discriminated-union.js";
-export function slowUnion(ir, g) {
-    const resultVar = g.temp("u");
-    const errorsVar = g.temp("ue");
-    // Parallel to errorsVar: zod's `payload.aborted` for each failed option. Set
-    // by a pipe/codec option whose `in` failed (see slowPipe); read during pruning
-    // alongside the per-issue code check.
-    const abortedVar = g.temp("uea");
-    let code = `var ${resultVar}=false;var ${errorsVar}=[];var ${abortedVar}=[];`;
-    // 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");
-        // This option's abort flag, forwarded into the option so a pipe `in` failure
-        // can raise it (zod's handlePipeResult). Stays false for every other shape.
-        const optAborted = g.temp("uoa");
-        if (needsOutputIsolation) {
-            const tmpOutput = g.temp("uo");
-            code += emit `
+import { orderByRuntimeCost } from "../fast-size.js";
+//#region src/core/codegen/schemas/union.ts
+function slowUnion(ir, g) {
+	const resultVar = g.temp("u");
+	const errorsVar = g.temp("ue");
+	const abortedVar = g.temp("uea");
+	let code = `var ${resultVar}=false;var ${errorsVar}=[];var ${abortedVar}=[];`;
+	const needsOutputIsolation = ir.options.some(hasMutation);
+	for (const option of ir.options) {
+		const tmpIssues = g.temp("ui");
+		const innerIdx = g.temp("ufi");
+		const optAborted = g.temp("uoa");
+		if (needsOutputIsolation) {
+			const tmpOutput = g.temp("uo");
+			code += emit`
         if(!${resultVar}){
           var ${tmpIssues}=[];
           var ${optAborted}=false;
           var ${tmpOutput}=${g.input};
-          ${g.visit(option, { issues: tmpIssues, input: tmpOutput, output: tmpOutput, aborted: optAborted })}
+          ${g.visit(option, {
+				issues: tmpIssues,
+				input: tmpOutput,
+				output: tmpOutput,
+				aborted: optAborted
+			})}
           if(${tmpIssues}.length===0){
             ${resultVar}=true;
             ${g.output}=${tmpOutput};
@@ -42,13 +41,14 @@ export function slowUnion(ir, g) {
             ${abortedVar}.push(${optAborted});
           }
         }`;
-        }
-        else {
-            code += emit `
+		} else code += emit`
         if(!${resultVar}){
           var ${tmpIssues}=[];
           var ${optAborted}=false;
-          ${g.visit(option, { issues: tmpIssues, aborted: optAborted })}
+          ${g.visit(option, {
+			issues: tmpIssues,
+			aborted: optAborted
+		})}
           if(${tmpIssues}.length===0){
             ${resultVar}=true;
           }else{
@@ -62,23 +62,15 @@ export function slowUnion(ir, g) {
             ${abortedVar}.push(${optAborted});
           }
         }`;
-        }
-    }
-    // Mirrors zod's handleUnionResults pruning (`util.aborted`): an option is
-    // "aborted" when its result carries `payload.aborted` (a pipe whose `in`
-    // failed — tracked in abortedVar) OR it produced a parse-level issue
-    // (continue !== true in zod — invalid_type and friends). Check-level issues
-    // (too_small, invalid_format, custom, ...) alone 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 `
+	}
+	const msgProp = g.typeMsg === void 0 ? "" : `,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}++){
@@ -97,32 +89,20 @@ export function slowUnion(ir, g) {
         ${g.issues}.push({code:"invalid_union",errors:${errorsVar}${msgProp},input:${g.input},path:${g.path}});
       }
     }`;
-    return `${code}\n`;
+	return `${code}\n`;
 }
-export function fastUnion(ir, g) {
-    // A plain `z.union` of objects that all pin a shared key to disjoint literals
-    // is structurally a discriminated union: dispatch on that key with an O(1)
-    // switch instead of probing every arm in sequence. detectUnionDiscriminator
-    // returns non-null only when the switch provably accepts exactly what the
-    // ||-chain would (disjoint required literals). The slow path is untouched, so
-    // error output stays identical to Zod's plain-union behavior.
-    const discriminated = detectUnionDiscriminator(ir.options);
-    if (discriminated !== null) {
-        return emitFastDiscriminatedSwitch(g, discriminated.discriminator, discriminated.cases, ir.options);
-    }
-    // Probe cheap options first: the ||-chain stops at the first match, and an
-    // option that cannot match is rejected by its own cheapest-first conjunct
-    // chain. Which option matches is unobservable here (the result is a single
-    // boolean), and the slow path — where option order IS observable, through
-    // zod's first-match output and invalid_union issue order — is untouched.
-    const optionChecks = [];
-    for (const option of orderByRuntimeCost(ir.options, (o) => o, g.ctx)) {
-        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("||")})`;
+function fastUnion(ir, g) {
+	const discriminated = detectUnionDiscriminator(ir.options);
+	if (discriminated !== null) return emitFastDiscriminatedSwitch(g, discriminated.discriminator, discriminated.cases, ir.options);
+	const optionChecks = [];
+	for (const option of orderByRuntimeCost(ir.options, (o) => o, g.ctx)) {
+		const check = g.visit(option);
+		if (check === null) return null;
+		optionChecks.push(`(${check})`);
+	}
+	return `(${optionChecks.join("||")})`;
 }
+//#endregion
+export { fastUnion, slowUnion };
+
 //# sourceMappingURL=union.js.map

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

@@ -1 +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;AAClC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAEjG,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,6EAA6E;IAC7E,+EAA+E;IAC/E,sCAAsC;IACtC,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,IAAI,GAAG,OAAO,SAAS,cAAc,SAAS,WAAW,UAAU,MAAM,CAAC;IAE9E,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;QAC/B,6EAA6E;QAC7E,4EAA4E;QAC5E,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEjC,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,UAAU;gBACV,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,OAAO,EAAE,UAAU,EAAE,CAAC;eAC7F,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,qBAAqB,SAAS,IAAI,QAAQ;;gBAEjE,SAAS,IAAI,QAAQ;;cAEvB,SAAS,SAAS,SAAS;cAC3B,UAAU,SAAS,UAAU;;UAEjC,CAAC;QACP,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,IAAI,CAAA;cACJ,SAAS;gBACP,SAAS;gBACT,UAAU;YACd,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;eACxD,SAAS;cACV,SAAS;;sBAED,QAAQ,MAAM,QAAQ,IAAI,SAAS,WAAW,QAAQ;mBACzD,SAAS,IAAI,QAAQ;kBACtB,SAAS,IAAI,QAAQ,qBAAqB,SAAS,IAAI,QAAQ;;gBAEjE,SAAS,IAAI,QAAQ;;cAEvB,SAAS,SAAS,SAAS;cAC3B,UAAU,SAAS,UAAU;;UAEjC,CAAC;QACP,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,qEAAqE;IACrE,4EAA4E;IAC5E,6EAA6E;IAC7E,wEAAwE;IACxE,yBAAyB;IACzB,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,IAAI,UAAU,IAAI,KAAK;cAC5B,KAAK;oBACC,KAAK,MAAM,KAAK,IAAI,SAAS,IAAI,KAAK,YAAY,KAAK;kBACzD,KAAK,IAAI,SAAS,IAAI,KAAK,KAAK,KAAK;iBACtC,gBAAgB,CAAC,KAAK,CAAC,KAAK,KAAK;;;cAGpC,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,8EAA8E;IAC9E,2EAA2E;IAC3E,4EAA4E;IAC5E,0EAA0E;IAC1E,8EAA8E;IAC9E,8DAA8D;IAC9D,MAAM,aAAa,GAAG,wBAAwB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC3D,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,2BAA2B,CAChC,CAAC,EACD,aAAa,CAAC,aAAa,EAC3B,aAAa,CAAC,KAAK,EACnB,EAAE,CAAC,OAAO,CACX,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACrE,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"}
+{"version":3,"file":"union.js","names":[],"sources":["../../../../src/core/codegen/schemas/union.ts"],"sourcesContent":["import type { SchemaIR, UnionIR } from \"../../types.js\";\nimport type { FastGen, SlowGen } from \"../context.js\";\nimport { hasMutation } from \"../context.js\";\nimport { emit } from \"../emit.js\";\nimport { orderByRuntimeCost } from \"../fast-size.js\";\nimport { abortingCodeTest } from \"../issue-decls.js\";\nimport { detectUnionDiscriminator, emitFastDiscriminatedSwitch } from \"./discriminated-union.js\";\n\nexport function slowUnion(ir: SchemaIR & { type: \"union\" }, g: SlowGen): string {\n  const resultVar = g.temp(\"u\");\n  const errorsVar = g.temp(\"ue\");\n  // Parallel to errorsVar: zod's `payload.aborted` for each failed option. Set\n  // by a pipe/codec option whose `in` failed (see slowPipe); read during pruning\n  // alongside the per-issue code check.\n  const abortedVar = g.temp(\"uea\");\n  let code = `var ${resultVar}=false;var ${errorsVar}=[];var ${abortedVar}=[];`;\n\n  // If any option can mutate output (default, catch, coerce, effect),\n  // each branch gets its own temp output to prevent cross-branch leaks.\n  const needsOutputIsolation = ir.options.some(hasMutation);\n\n  for (const option of ir.options) {\n    const tmpIssues = g.temp(\"ui\");\n    const innerIdx = g.temp(\"ufi\");\n    // This option's abort flag, forwarded into the option so a pipe `in` failure\n    // can raise it (zod's handlePipeResult). Stays false for every other shape.\n    const optAborted = g.temp(\"uoa\");\n\n    if (needsOutputIsolation) {\n      const tmpOutput = g.temp(\"uo\");\n      code += emit`\n        if(!${resultVar}){\n          var ${tmpIssues}=[];\n          var ${optAborted}=false;\n          var ${tmpOutput}=${g.input};\n          ${g.visit(option, { issues: tmpIssues, input: tmpOutput, output: tmpOutput, aborted: optAborted })}\n          if(${tmpIssues}.length===0){\n            ${resultVar}=true;\n            ${g.output}=${tmpOutput};\n          }else{\n            for(var ${innerIdx}=0;${innerIdx}<${tmpIssues}.length;${innerIdx}++){\n              if(${tmpIssues}[${innerIdx}].message===undefined&&typeof __zcMsg===\"function\"){\n                ${tmpIssues}[${innerIdx}].message=__zcMsg(${tmpIssues}[${innerIdx}]);\n              }\n              ${tmpIssues}[${innerIdx}].input=undefined;\n            }\n            ${errorsVar}.push(${tmpIssues});\n            ${abortedVar}.push(${optAborted});\n          }\n        }`;\n    } else {\n      code += emit`\n        if(!${resultVar}){\n          var ${tmpIssues}=[];\n          var ${optAborted}=false;\n          ${g.visit(option, { issues: tmpIssues, aborted: optAborted })}\n          if(${tmpIssues}.length===0){\n            ${resultVar}=true;\n          }else{\n            for(var ${innerIdx}=0;${innerIdx}<${tmpIssues}.length;${innerIdx}++){\n              if(${tmpIssues}[${innerIdx}].message===undefined&&typeof __zcMsg===\"function\"){\n                ${tmpIssues}[${innerIdx}].message=__zcMsg(${tmpIssues}[${innerIdx}]);\n              }\n              ${tmpIssues}[${innerIdx}].input=undefined;\n            }\n            ${errorsVar}.push(${tmpIssues});\n            ${abortedVar}.push(${optAborted});\n          }\n        }`;\n    }\n  }\n\n  // Mirrors zod's handleUnionResults pruning (`util.aborted`): an option is\n  // \"aborted\" when its result carries `payload.aborted` (a pipe whose `in`\n  // failed — tracked in abortedVar) OR it produced a parse-level issue\n  // (continue !== true in zod — invalid_type and friends). Check-level issues\n  // (too_small, invalid_format, custom, ...) alone don't abort. If exactly ONE\n  // option is non-aborted, its issues are surfaced directly instead of an\n  // invalid_union wrapper.\n  const msgProp = g.typeMsg === undefined ? \"\" : `,message:${JSON.stringify(g.typeMsg)}`;\n  const naVar = g.temp(\"una\");\n  const oiVar = g.temp(\"uoi\");\n  const ojVar = g.temp(\"uoj\");\n  const abVar = g.temp(\"uab\");\n  const ocVar = g.temp(\"uoc\");\n  const okVar = g.temp(\"uok\");\n  code += emit`\n    if(!${resultVar}){\n      var ${naVar}=[];\n      for(var ${oiVar}=0;${oiVar}<${errorsVar}.length;${oiVar}++){\n        var ${abVar}=${abortedVar}[${oiVar}]===true;\n        if(!${abVar}){\n          for(var ${ojVar}=0;${ojVar}<${errorsVar}[${oiVar}].length;${ojVar}++){\n            var ${ocVar}=${errorsVar}[${oiVar}][${ojVar}].code;\n            if(${abortingCodeTest(ocVar)}){${abVar}=true;break;}\n          }\n        }\n        if(!${abVar}){${naVar}.push(${errorsVar}[${oiVar}]);}\n      }\n      if(${naVar}.length===1){\n        for(var ${okVar}=0;${okVar}<${naVar}[0].length;${okVar}++){${g.issues}.push(${naVar}[0][${okVar}]);}\n      }else{\n        ${g.issues}.push({code:\"invalid_union\",errors:${errorsVar}${msgProp},input:${g.input},path:${g.path}});\n      }\n    }`;\n  return `${code}\\n`;\n}\n\nexport function fastUnion(ir: UnionIR, g: FastGen): string | null {\n  // A plain `z.union` of objects that all pin a shared key to disjoint literals\n  // is structurally a discriminated union: dispatch on that key with an O(1)\n  // switch instead of probing every arm in sequence. detectUnionDiscriminator\n  // returns non-null only when the switch provably accepts exactly what the\n  // ||-chain would (disjoint required literals). The slow path is untouched, so\n  // error output stays identical to Zod's plain-union behavior.\n  const discriminated = detectUnionDiscriminator(ir.options);\n  if (discriminated !== null) {\n    return emitFastDiscriminatedSwitch(\n      g,\n      discriminated.discriminator,\n      discriminated.cases,\n      ir.options,\n    );\n  }\n\n  // Probe cheap options first: the ||-chain stops at the first match, and an\n  // option that cannot match is rejected by its own cheapest-first conjunct\n  // chain. Which option matches is unobservable here (the result is a single\n  // boolean), and the slow path — where option order IS observable, through\n  // zod's first-match output and invalid_union issue order — is untouched.\n  const optionChecks: string[] = [];\n  for (const option of orderByRuntimeCost(ir.options, (o) => o, g.ctx)) {\n    const check = g.visit(option);\n    if (check === null) return null;\n    optionChecks.push(`(${check})`);\n  }\n  // Wrap in parens — || has lower precedence than && in parent expressions\n  return `(${optionChecks.join(\"||\")})`;\n}\n"],"mappings":";;;;;;AAQA,SAAgB,UAAU,IAAkC,GAAoB;CAC9E,MAAM,YAAY,EAAE,KAAK,GAAG;CAC5B,MAAM,YAAY,EAAE,KAAK,IAAI;CAI7B,MAAM,aAAa,EAAE,KAAK,KAAK;CAC/B,IAAI,OAAO,OAAO,UAAU,aAAa,UAAU,UAAU,WAAW;CAIxE,MAAM,uBAAuB,GAAG,QAAQ,KAAK,WAAW;CAExD,KAAK,MAAM,UAAU,GAAG,SAAS;EAC/B,MAAM,YAAY,EAAE,KAAK,IAAI;EAC7B,MAAM,WAAW,EAAE,KAAK,KAAK;EAG7B,MAAM,aAAa,EAAE,KAAK,KAAK;EAE/B,IAAI,sBAAsB;GACxB,MAAM,YAAY,EAAE,KAAK,IAAI;GAC7B,QAAQ,IAAI;cACJ,UAAU;gBACR,UAAU;gBACV,WAAW;gBACX,UAAU,GAAG,EAAE,MAAM;YACzB,EAAE,MAAM,QAAQ;IAAE,QAAQ;IAAW,OAAO;IAAW,QAAQ;IAAW,SAAS;GAAW,CAAC,EAAE;eAC9F,UAAU;cACX,UAAU;cACV,EAAE,OAAO,GAAG,UAAU;;sBAEd,SAAS,KAAK,SAAS,GAAG,UAAU,UAAU,SAAS;mBAC1D,UAAU,GAAG,SAAS;kBACvB,UAAU,GAAG,SAAS,oBAAoB,UAAU,GAAG,SAAS;;gBAElE,UAAU,GAAG,SAAS;;cAExB,UAAU,QAAQ,UAAU;cAC5B,WAAW,QAAQ,WAAW;;;EAGxC,OACE,QAAQ,IAAI;cACJ,UAAU;gBACR,UAAU;gBACV,WAAW;YACf,EAAE,MAAM,QAAQ;GAAE,QAAQ;GAAW,SAAS;EAAW,CAAC,EAAE;eACzD,UAAU;cACX,UAAU;;sBAEF,SAAS,KAAK,SAAS,GAAG,UAAU,UAAU,SAAS;mBAC1D,UAAU,GAAG,SAAS;kBACvB,UAAU,GAAG,SAAS,oBAAoB,UAAU,GAAG,SAAS;;gBAElE,UAAU,GAAG,SAAS;;cAExB,UAAU,QAAQ,UAAU;cAC5B,WAAW,QAAQ,WAAW;;;CAI1C;CASA,MAAM,UAAU,EAAE,YAAY,KAAA,IAAY,KAAK,YAAY,KAAK,UAAU,EAAE,OAAO;CACnF,MAAM,QAAQ,EAAE,KAAK,KAAK;CAC1B,MAAM,QAAQ,EAAE,KAAK,KAAK;CAC1B,MAAM,QAAQ,EAAE,KAAK,KAAK;CAC1B,MAAM,QAAQ,EAAE,KAAK,KAAK;CAC1B,MAAM,QAAQ,EAAE,KAAK,KAAK;CAC1B,MAAM,QAAQ,EAAE,KAAK,KAAK;CAC1B,QAAQ,IAAI;UACJ,UAAU;YACR,MAAM;gBACF,MAAM,KAAK,MAAM,GAAG,UAAU,UAAU,MAAM;cAChD,MAAM,GAAG,WAAW,GAAG,MAAM;cAC7B,MAAM;oBACA,MAAM,KAAK,MAAM,GAAG,UAAU,GAAG,MAAM,WAAW,MAAM;kBAC1D,MAAM,GAAG,UAAU,GAAG,MAAM,IAAI,MAAM;iBACvC,iBAAiB,KAAK,EAAE,IAAI,MAAM;;;cAGrC,MAAM,IAAI,MAAM,QAAQ,UAAU,GAAG,MAAM;;WAE9C,MAAM;kBACC,MAAM,KAAK,MAAM,GAAG,MAAM,aAAa,MAAM,MAAM,EAAE,OAAO,QAAQ,MAAM,MAAM,MAAM;;UAE9F,EAAE,OAAO,qCAAqC,YAAY,QAAQ,SAAS,EAAE,MAAM,QAAQ,EAAE,KAAK;;;CAG1G,OAAO,GAAG,KAAK;AACjB;AAEA,SAAgB,UAAU,IAAa,GAA2B;CAOhE,MAAM,gBAAgB,yBAAyB,GAAG,OAAO;CACzD,IAAI,kBAAkB,MACpB,OAAO,4BACL,GACA,cAAc,eACd,cAAc,OACd,GAAG,OACL;CAQF,MAAM,eAAyB,CAAC;CAChC,KAAK,MAAM,UAAU,mBAAmB,GAAG,UAAU,MAAM,GAAG,EAAE,GAAG,GAAG;EACpE,MAAM,QAAQ,EAAE,MAAM,MAAM;EAC5B,IAAI,UAAU,MAAM,OAAO;EAC3B,aAAa,KAAK,IAAI,MAAM,EAAE;CAChC;CAEA,OAAO,IAAI,aAAa,KAAK,IAAI,EAAE;AACrC"}

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

@@ -1,5 +1,8 @@
-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;
+import { UnknownIR } from "../../types.js";
+import { FastGen, SlowGen } from "../context.js";
+//#region src/core/codegen/schemas/unknown.d.ts
+declare function slowUnknown(_ir: UnknownIR, _g: SlowGen): string;
+declare function fastUnknown(_ir: UnknownIR, _g: FastGen): string | null;
+//#endregion
+export { fastUnknown, slowUnknown };
 //# sourceMappingURL=unknown.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"unknown.d.ts","names":[],"sources":["../../../../src/core/codegen/schemas/unknown.ts"],"mappings":";;;iBAGgB,YAAY,KAAK,WAAW,IAAI;iBAIhC,YAAY,KAAK,WAAW,IAAI"}

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

@@ -1,7 +1,11 @@
-export function slowUnknown(_ir, _g) {
-    return "";
+//#region src/core/codegen/schemas/unknown.ts
+function slowUnknown(_ir, _g) {
+	return "";
 }
-export function fastUnknown(_ir, _g) {
-    return "true";
+function fastUnknown(_ir, _g) {
+	return "true";
 }
+//#endregion
+export { fastUnknown, slowUnknown };
+
 //# sourceMappingURL=unknown.js.map

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

@@ -1 +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"}
+{"version":3,"file":"unknown.js","names":[],"sources":["../../../../src/core/codegen/schemas/unknown.ts"],"sourcesContent":["import type { UnknownIR } from \"../../types.js\";\nimport type { FastGen, SlowGen } from \"../context.js\";\n\nexport function slowUnknown(_ir: UnknownIR, _g: SlowGen): string {\n  return \"\";\n}\n\nexport function fastUnknown(_ir: UnknownIR, _g: FastGen): string | null {\n  return \"true\";\n}\n"],"mappings":";AAGA,SAAgB,YAAY,KAAgB,IAAqB;CAC/D,OAAO;AACT;AAEA,SAAgB,YAAY,KAAgB,IAA4B;CACtE,OAAO;AACT"}

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

@@ -1,5 +1,8 @@
-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;
+import { VoidIR } from "../../types.js";
+import { FastGen, SlowGen } from "../context.js";
+//#region src/core/codegen/schemas/void.d.ts
+declare function slowVoid(_ir: VoidIR, g: SlowGen): string;
+declare function fastVoid(_ir: VoidIR, g: FastGen): string | null;
+//#endregion
+export { fastVoid, slowVoid };
 //# sourceMappingURL=void.d.ts.map