zod-aot 0.15.2 → 0.16.0

package/dist/core/codegen/generators/effect.js

@@ -0,0 +1,28 @@
+import { emit } from "../emit.js";
+/**
+ * Generate code for a TransformEffectIR node.
+ * Validates the inner schema, then applies the transform function and writes back the result.
+ */
+export function generateTransformEffect(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation) {
+    const beforeVar = `__ib${ctx.counter++}`;
+    const innerCode = generateValidation(ir.inner, inputExpr, outputExpr, pathExpr, issuesVar, ctx);
+    return `${emit `
+    var ${beforeVar}=${issuesVar}.length;
+    ${innerCode}
+    if(${issuesVar}.length===${beforeVar}){
+      ${outputExpr}=(${ir.source})(${outputExpr});
+    }
+  `}\n`;
+}
+/**
+ * Generate code for a RefineEffectCheckIR (inline refine function call).
+ * Called from string/number/object check loops when a refine_effect is encountered.
+ */
+export function generateRefineCheck(check, inputExpr, pathExpr, issuesVar) {
+    const message = check.message ? JSON.stringify(check.message) : `"Invalid"`;
+    return emit `
+    if(!(${check.source})(${inputExpr})){
+      ${issuesVar}.push({code:"custom",path:${pathExpr},message:${message},input:${inputExpr}});
+    }`;
+}
+//# sourceMappingURL=effect.js.map

package/dist/core/codegen/generators/effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/effect.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAqB,EACrB,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,kBAAwC;IAExC,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACzC,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IAEhG,OAAO,GAAG,IAAI,CAAA;UACN,SAAS,IAAI,SAAS;MAC1B,SAAS;SACN,SAAS,aAAa,SAAS;QAChC,UAAU,KAAK,EAAE,CAAC,MAAM,KAAK,UAAU;;GAE5C,IAAI,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAA0B,EAC1B,SAAiB,EACjB,QAAgB,EAChB,SAAiB;IAEjB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,OAAO,IAAI,CAAA;WACF,KAAK,CAAC,MAAM,KAAK,SAAS;QAC7B,SAAS,6BAA6B,QAAQ,YAAY,OAAO,UAAU,SAAS;MACtF,CAAC;AACP,CAAC"}

package/dist/core/codegen/generators/fallback.d.ts

@@ -1,3 +1,3 @@
 import type { FallbackIR } from "../../types.js";
-export declare function generateFallbackValidation(ir: FallbackIR, inputExpr: string, pathExpr: string, issuesVar: string): string;
+export declare function generateFallbackValidation(ir: FallbackIR, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string): string;
 //# sourceMappingURL=fallback.d.ts.map

package/dist/core/codegen/generators/fallback.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fallback.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/fallback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGjD,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,UAAU,EACd,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAoBR"}
+{"version":3,"file":"fallback.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/fallback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGjD,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,UAAU,EACd,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAoBR"}

package/dist/core/codegen/generators/fallback.js

@@ -1,5 +1,5 @@
 import { emit } from "../emit.js";
-export function generateFallbackValidation(ir, inputExpr, pathExpr, issuesVar) {
+export function generateFallbackValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar) {
     if (ir.fallbackIndex !== undefined) {
         const idx = ir.fallbackIndex;
         const rVar = `__fb_r${idx}`;
@@ -14,7 +14,7 @@ export function generateFallbackValidation(ir, inputExpr, pathExpr, issuesVar) {
             {path:${pathExpr}.concat(${iVar}[${jVar}].path)}));
         }
       }else{
-        ${inputExpr}=${rVar}.data;
+        ${outputExpr}=${rVar}.data;
       }
     `}\n`;
     }

package/dist/core/codegen/generators/fallback.js.map

@@ -1 +1 @@
-{"version":3,"file":"fallback.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/fallback.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,0BAA0B,CACxC,EAAc,EACd,SAAiB,EACjB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,aAAa,CAAC;QAC7B,MAAM,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC;QAC5B,OAAO,GAAG,IAAI,CAAA;YACN,IAAI,SAAS,GAAG,eAAe,SAAS;YACxC,IAAI;cACF,IAAI,IAAI,IAAI;kBACR,IAAI,MAAM,IAAI,IAAI,IAAI,WAAW,IAAI;YAC3C,SAAS,0BAA0B,IAAI,IAAI,IAAI;oBACvC,QAAQ,WAAW,IAAI,IAAI,IAAI;;;UAGzC,SAAS,IAAI,IAAI;;KAEtB,IAAI,CAAC;IACR,CAAC;IACD,OAAO,GAAG,SAAS,6BAA6B,QAAQ,8BAA8B,EAAE,CAAC,MAAM,QAAQ,CAAC;AAC1G,CAAC"}
+{"version":3,"file":"fallback.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/fallback.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,0BAA0B,CACxC,EAAc,EACd,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB;IAEjB,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,aAAa,CAAC;QAC7B,MAAM,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,SAAS,GAAG,EAAE,CAAC;QAC5B,OAAO,GAAG,IAAI,CAAA;YACN,IAAI,SAAS,GAAG,eAAe,SAAS;YACxC,IAAI;cACF,IAAI,IAAI,IAAI;kBACR,IAAI,MAAM,IAAI,IAAI,IAAI,WAAW,IAAI;YAC3C,SAAS,0BAA0B,IAAI,IAAI,IAAI;oBACvC,QAAQ,WAAW,IAAI,IAAI,IAAI;;;UAGzC,UAAU,IAAI,IAAI;;KAEvB,IAAI,CAAC;IACR,CAAC;IACD,OAAO,GAAG,SAAS,6BAA6B,QAAQ,8BAA8B,EAAE,CAAC,MAAM,QAAQ,CAAC;AAC1G,CAAC"}

package/dist/core/codegen/generators/index.d.ts

@@ -1,4 +1,4 @@
 import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext } from "../context.js";
-export declare function generateValidation(ir: SchemaIR, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext): string;
+export declare function generateValidation(ir: SchemaIR, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext): string;
 //# sourceMappingURL=index.d.ts.map

package/dist/core/codegen/generators/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmCpD,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,CAwGR"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAoCpD,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,CA4MR"}

package/dist/core/codegen/generators/index.js

@@ -6,6 +6,7 @@ import { generateCatchValidation } from "./catch.js";
 import { generateDateValidation } from "./date.js";
 import { generateDefaultValidation } from "./default.js";
 import { generateDiscriminatedUnionValidation } from "./discriminated-union.js";
+import { generateTransformEffect } from "./effect.js";
 import { generateEnumValidation } from "./enum.js";
 import { generateFallbackValidation } from "./fallback.js";
 import { generateIntersectionValidation } from "./intersection.js";
@@ -31,14 +32,57 @@ import { generateUndefinedValidation } from "./undefined.js";
 import { generateUnionValidation } from "./union.js";
 import { generateUnknownValidation } from "./unknown.js";
 import { generateVoidValidation } from "./void.js";
-export function generateValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
+export function generateValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx) {
     switch (ir.type) {
+        // Write generators — receive outputExpr for mutations
         case "string":
-            return generateStringValidation(ir, inputExpr, pathExpr, issuesVar, ctx);
+            return generateStringValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx);
         case "number":
-            return generateNumberValidation(ir, inputExpr, pathExpr, issuesVar, ctx);
+            return generateNumberValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx);
         case "boolean":
-            return generateBooleanValidation(ir, inputExpr, pathExpr, issuesVar);
+            return generateBooleanValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar);
+        case "bigint":
+            return generateBigIntValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx);
+        case "date":
+            return generateDateValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar);
+        case "object":
+            return generateObjectValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "array":
+            return generateArrayValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "tuple":
+            return generateTupleValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "record":
+            return generateRecordValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "set":
+            return generateSetValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "map":
+            return generateMapValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "default":
+            return generateDefaultValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "catch":
+            return generateCatchValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "effect":
+            return generateTransformEffect(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "fallback":
+            return generateFallbackValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar);
+        case "recursiveRef":
+            return generateRecursiveRefValidation(inputExpr, outputExpr, pathExpr, issuesVar, ctx);
+        // Pass-through generators — forward outputExpr to children
+        case "pipe":
+            return generatePipeValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "optional":
+            return generateOptionalValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "nullable":
+            return generateNullableValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "readonly":
+            return generateReadonlyValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "union":
+            return generateUnionValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "discriminatedUnion":
+            return generateDiscriminatedUnionValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        case "intersection":
+            return generateIntersectionValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateValidation);
+        // Validate-only generators — no outputExpr needed
         case "null":
             return generateNullValidation(inputExpr, pathExpr, issuesVar);
         case "undefined":
@@ -47,46 +91,10 @@ export function generateValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
             return generateLiteralValidation(ir, inputExpr, pathExpr, issuesVar);
         case "enum":
             return generateEnumValidation(ir, inputExpr, pathExpr, issuesVar, ctx);
-        case "object":
-            return generateObjectValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "array":
-            return generateArrayValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "union":
-            return generateUnionValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "optional":
-            return generateOptionalValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "nullable":
-            return generateNullableValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "fallback":
-            return generateFallbackValidation(ir, inputExpr, pathExpr, issuesVar);
         case "any":
             return generateAnyValidation();
         case "unknown":
             return generateUnknownValidation();
-        case "readonly":
-            return generateReadonlyValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "date":
-            return generateDateValidation(ir, inputExpr, pathExpr, issuesVar);
-        case "tuple":
-            return generateTupleValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "record":
-            return generateRecordValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "default":
-            return generateDefaultValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "intersection":
-            return generateIntersectionValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "discriminatedUnion":
-            return generateDiscriminatedUnionValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "bigint":
-            return generateBigIntValidation(ir, inputExpr, pathExpr, issuesVar, ctx);
-        case "set":
-            return generateSetValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "map":
-            return generateMapValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "pipe":
-            return generatePipeValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
-        case "recursiveRef":
-            return generateRecursiveRefValidation(inputExpr, pathExpr, issuesVar, ctx);
         case "symbol":
             return generateSymbolValidation(inputExpr, pathExpr, issuesVar);
         case "void":
@@ -97,8 +105,6 @@ export function generateValidation(ir, inputExpr, pathExpr, issuesVar, ctx) {
             return generateNeverValidation(inputExpr, pathExpr, issuesVar);
         case "templateLiteral":
             return generateTemplateLiteralValidation(ir, inputExpr, pathExpr, issuesVar, ctx);
-        case "catch":
-            return generateCatchValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateValidation);
     }
 }
 //# sourceMappingURL=index.js.map

package/dist/core/codegen/generators/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,oCAAoC,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,8BAA8B,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AAEnD,MAAM,UAAU,kBAAkB,CAChC,EAAY,EACZ,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,WAAW;YACd,OAAO,2BAA2B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACrE,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACzE,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/F,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxE,KAAK,KAAK;YACR,OAAO,qBAAqB,EAAE,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,yBAAyB,EAAE,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpE,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC9F,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC/F,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAChG,KAAK,cAAc;YACjB,OAAO,8BAA8B,CACnC,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO,oCAAoC,CACzC,EAAE,EACF,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC3E,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC5F,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC7F,KAAK,cAAc;YACjB,OAAO,8BAA8B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7E,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjE,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACpF,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAChG,CAAC;AACH,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,oCAAoC,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,8BAA8B,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,iCAAiC,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AAEnD,MAAM,UAAU,kBAAkB,CAChC,EAAY,EACZ,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,sDAAsD;QACtD,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACvF,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACvF,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACnF,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACvF,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChF,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAC7B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAC7B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,qBAAqB,CAC1B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,qBAAqB,CAC1B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAC9B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpF,KAAK,cAAc;YACjB,OAAO,8BAA8B,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAEzF,2DAA2D;QAC3D,KAAK,MAAM;YACT,OAAO,sBAAsB,CAC3B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,0BAA0B,CAC/B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,uBAAuB,CAC5B,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO,oCAAoC,CACzC,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,8BAA8B,CACnC,EAAE,EACF,SAAS,EACT,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,kBAAkB,CACnB,CAAC;QAEJ,kDAAkD;QAClD,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,WAAW;YACd,OAAO,2BAA2B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACrE,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACvE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACzE,KAAK,KAAK;YACR,OAAO,qBAAqB,EAAE,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,yBAAyB,EAAE,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,KAAK,KAAK;YACR,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,uBAAuB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjE,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACtF,CAAC;AACH,CAAC"}

package/dist/core/codegen/generators/intersection.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateIntersectionValidation(ir: SchemaIR & {
     type: "intersection";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=intersection.d.ts.map

package/dist/core/codegen/generators/intersection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,8BAA8B,CAC5C,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,EACvC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAER"}
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,8BAA8B,CAC5C,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,EACvC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAER"}

package/dist/core/codegen/generators/intersection.js

@@ -1,4 +1,4 @@
-export function generateIntersectionValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
-    return `${generateFn(ir.left, inputExpr, pathExpr, issuesVar, ctx)}${generateFn(ir.right, inputExpr, pathExpr, issuesVar, ctx)}`;
+export function generateIntersectionValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
+    return `${generateFn(ir.left, inputExpr, outputExpr, pathExpr, issuesVar, ctx)}${generateFn(ir.right, outputExpr, outputExpr, pathExpr, issuesVar, ctx)}`;
 }
 //# sourceMappingURL=intersection.js.map

package/dist/core/codegen/generators/intersection.js.map

@@ -1 +1 @@
-{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/intersection.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,8BAA8B,CAC5C,EAAuC,EACvC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;AACnI,CAAC"}
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/intersection.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,8BAA8B,CAC5C,EAAuC,EACvC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;AAC5J,CAAC"}

package/dist/core/codegen/generators/map.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateMapValidation(ir: SchemaIR & {
     type: "map";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, _outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=map.d.ts.map

package/dist/core/codegen/generators/map.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/map.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,EAC9B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAiBR"}
+{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/map.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,EAC9B,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAiBR"}

package/dist/core/codegen/generators/map.js

@@ -1,5 +1,5 @@
 import { emit } from "../emit.js";
-export function generateMapValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+export function generateMapValidation(ir, inputExpr, _outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     const idx = ctx.counter++;
     const entryVar = `__map_e${idx}`;
     const idxVar = `__map_i${idx}`;
@@ -9,8 +9,8 @@ export function generateMapValidation(ir, inputExpr, pathExpr, issuesVar, ctx, g
     }else{
       var ${idxVar}=0;
       for(var ${entryVar} of ${inputExpr}){
-        ${generateFn(ir.keyType, `${entryVar}[0]`, `${pathExpr}.concat(${idxVar},"key")`, issuesVar, ctx)}
-        ${generateFn(ir.valueType, `${entryVar}[1]`, `${pathExpr}.concat(${idxVar},"value")`, issuesVar, ctx)}
+        ${generateFn(ir.keyType, `${entryVar}[0]`, `${entryVar}[0]`, `${pathExpr}.concat(${idxVar},"key")`, issuesVar, ctx)}
+        ${generateFn(ir.valueType, `${entryVar}[1]`, `${entryVar}[1]`, `${pathExpr}.concat(${idxVar},"value")`, issuesVar, ctx)}
         ${idxVar}++;
       }
     }

package/dist/core/codegen/generators/map.js.map

@@ -1 +1 @@
-{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/map.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,qBAAqB,CACnC,EAA8B,EAC9B,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,UAAU,GAAG,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,UAAU,GAAG,EAAE,CAAC;IAE/B,OAAO,GAAG,IAAI,CAAA;WACL,SAAS;QACZ,SAAS,mDAAmD,SAAS,SAAS,QAAQ;;YAElF,MAAM;gBACF,QAAQ,OAAO,SAAS;UAC9B,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,WAAW,MAAM,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC;UAC/F,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,WAAW,MAAM,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC;UACnG,MAAM;;;GAGb,IAAI,CAAC;AACR,CAAC"}
+{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/map.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,qBAAqB,CACnC,EAA8B,EAC9B,SAAiB,EACjB,WAAmB,EACnB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,UAAU,GAAG,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,UAAU,GAAG,EAAE,CAAC;IAE/B,OAAO,GAAG,IAAI,CAAA;WACL,SAAS;QACZ,SAAS,mDAAmD,SAAS,SAAS,QAAQ;;YAElF,MAAM;gBACF,QAAQ,OAAO,SAAS;UAC9B,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,WAAW,MAAM,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC;UACjH,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,KAAK,EAAE,GAAG,QAAQ,WAAW,MAAM,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC;UACrH,MAAM;;;GAGb,IAAI,CAAC;AACR,CAAC"}

package/dist/core/codegen/generators/nullable.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateNullableValidation(ir: SchemaIR & {
     type: "nullable";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=nullable.d.ts.map

package/dist/core/codegen/generators/nullable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,EACnC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAMR"}
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,EACnC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAMR"}

package/dist/core/codegen/generators/nullable.js

@@ -1,8 +1,8 @@
 import { emit } from "../emit.js";
-export function generateNullableValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+export function generateNullableValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     return `${emit `
     if(${inputExpr}!==null){
-      ${generateFn(ir.inner, inputExpr, pathExpr, issuesVar, ctx)}
+      ${generateFn(ir.inner, inputExpr, outputExpr, pathExpr, issuesVar, ctx)}
     }
   `}\n`;
 }

package/dist/core/codegen/generators/nullable.js.map

@@ -1 +1 @@
-{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/nullable.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,0BAA0B,CACxC,EAAmC,EACnC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,GAAG,IAAI,CAAA;SACP,SAAS;QACV,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;GAE9D,IAAI,CAAC;AACR,CAAC"}
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/nullable.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,0BAA0B,CACxC,EAAmC,EACnC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,GAAG,IAAI,CAAA;SACP,SAAS;QACV,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;GAE1E,IAAI,CAAC;AACR,CAAC"}

package/dist/core/codegen/generators/number.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext } from "../context.js";
 export declare function generateNumberValidation(ir: SchemaIR & {
     type: "number";
-}, inputExpr: string, pathExpr: string, issuesVar: string, _ctx: CodeGenContext): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, _ctx: CodeGenContext): string;
 //# sourceMappingURL=number.d.ts.map

package/dist/core/codegen/generators/number.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAIpD,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc,GACnB,MAAM,CA0FR"}
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAKpD,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc,GACnB,MAAM,CA6FR"}

package/dist/core/codegen/generators/number.js

@@ -1,9 +1,10 @@
-import { checkPriority } from "../context.js";
+import { sortChecksPreservingEffects } from "../context.js";
 import { emit } from "../emit.js";
-export function generateNumberValidation(ir, inputExpr, pathExpr, issuesVar, _ctx) {
+import { generateRefineCheck } from "./effect.js";
+export function generateNumberValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, _ctx) {
     let code = "";
     if (ir.coerce) {
-        code += emit `${inputExpr}=Number(${inputExpr});`;
+        code += emit `${outputExpr}=Number(${inputExpr});`;
     }
     code += emit `
     if(typeof ${inputExpr}!=="number"){
@@ -15,7 +16,7 @@ export function generateNumberValidation(ir, inputExpr, pathExpr, issuesVar, _ct
     }`;
     if (ir.checks.length > 0) {
         code += `else{`;
-        for (const check of [...ir.checks].sort(checkPriority)) {
+        for (const check of sortChecksPreservingEffects([...ir.checks])) {
             switch (check.kind) {
                 case "greater_than":
                     if (check.inclusive) {
@@ -88,6 +89,9 @@ export function generateNumberValidation(ir, inputExpr, pathExpr, issuesVar, _ct
               ${issuesVar}.push({code:"not_multiple_of",divisor:${check.value},origin:"number",input:${inputExpr},path:${pathExpr}});
             }`;
                     break;
+                case "refine_effect":
+                    code += generateRefineCheck(check, inputExpr, pathExpr, issuesVar);
+                    break;
             }
         }
         code += `}`;

package/dist/core/codegen/generators/number.js.map

@@ -1 +1 @@
-{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/number.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,SAAS,WAAW,SAAS,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;4BACrE,SAAS;QAC7B,SAAS,qEAAqE,SAAS,SAAS,QAAQ;gCAChF,SAAS;QACjC,SAAS,0EAA0E,SAAS,SAAS,QAAQ;MAC/G,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,cAAc;oBACjB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC1H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC/B,IAAI,IAAI,IAAI,CAAA;yCACiB,SAAS;kBAChC,SAAS,oEAAoE,SAAS,SAAS,QAAQ;gBACzG,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBACpC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,kEAAkE,SAAS,SAAS,QAAQ;yBAC9F,SAAS;kBAChB,SAAS,oFAAoF,SAAS,SAAS,QAAQ;yBAChH,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACrC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,mEAAmE,SAAS,SAAS,QAAQ;yBAC/F,SAAS;kBAChB,SAAS,0EAA0E,SAAS,SAAS,QAAQ;yBACtG,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBACtC,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS;kBACV,SAAS,gGAAgG,SAAS,SAAS,QAAQ;yBAC5H,SAAS;kBAChB,SAAS,6FAA6F,SAAS,SAAS,QAAQ;gBAClI,CAAC;oBACP,CAAC;oBACD,sGAAsG;oBACtG,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,0BAA0B,SAAS,SAAS,QAAQ;cACnH,CAAC;oBACL,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/number.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,IAAoB;IAEpB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,IAAI,IAAI,CAAA,GAAG,UAAU,WAAW,SAAS,IAAI,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,IAAI,CAAA;gBACE,SAAS;QACjB,SAAS,sDAAsD,SAAS,SAAS,QAAQ;4BACrE,SAAS;QAC7B,SAAS,qEAAqE,SAAS,SAAS,QAAQ;gCAChF,SAAS;QACjC,SAAS,0EAA0E,SAAS,SAAS,QAAQ;MAC/G,CAAC;IAEL,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,IAAI,OAAO,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,2BAA2B,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAChE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,cAAc;oBACjB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,mCAAmC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC5H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,mCAAmC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC7H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,WAAW;oBACd,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;wBACpB,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,IAAI,KAAK,CAAC,KAAK;kBACzB,SAAS,iCAAiC,KAAK,CAAC,KAAK,yCAAyC,SAAS,SAAS,QAAQ;gBAC1H,CAAC;oBACP,CAAC;yBAAM,CAAC;wBACN,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS,KAAK,KAAK,CAAC,KAAK;kBAC1B,SAAS,iCAAiC,KAAK,CAAC,KAAK,0CAA0C,SAAS,SAAS,QAAQ;gBAC3H,CAAC;oBACP,CAAC;oBACD,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC/B,IAAI,IAAI,IAAI,CAAA;yCACiB,SAAS;kBAChC,SAAS,oEAAoE,SAAS,SAAS,QAAQ;gBACzG,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;wBACpC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,kEAAkE,SAAS,SAAS,QAAQ;yBAC9F,SAAS;kBAChB,SAAS,oFAAoF,SAAS,SAAS,QAAQ;yBAChH,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBACrC,IAAI,IAAI,IAAI,CAAA;qCACa,SAAS;kBAC5B,SAAS,mEAAmE,SAAS,SAAS,QAAQ;yBAC/F,SAAS;kBAChB,SAAS,0EAA0E,SAAS,SAAS,QAAQ;yBACtG,SAAS;kBAChB,SAAS,iFAAiF,SAAS,SAAS,QAAQ;gBACtH,CAAC;oBACP,CAAC;yBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBACtC,IAAI,IAAI,IAAI,CAAA;mBACL,SAAS;kBACV,SAAS,gGAAgG,SAAS,SAAS,QAAQ;yBAC5H,SAAS;kBAChB,SAAS,6FAA6F,SAAS,SAAS,QAAQ;gBAClI,CAAC;oBACP,CAAC;oBACD,sGAAsG;oBACtG,MAAM;gBACR,KAAK,aAAa;oBAChB,IAAI,IAAI,IAAI,CAAA;iBACL,SAAS,IAAI,KAAK,CAAC,KAAK;gBACzB,SAAS,yCAAyC,KAAK,CAAC,KAAK,0BAA0B,SAAS,SAAS,QAAQ;cACnH,CAAC;oBACL,MAAM;gBACR,KAAK,eAAe;oBAClB,IAAI,IAAI,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;oBACnE,MAAM;YACV,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;IACd,CAAC;IAED,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

package/dist/core/codegen/generators/object.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateObjectValidation(ir: SchemaIR & {
     type: "object";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=object.d.ts.map

package/dist/core/codegen/generators/object.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAI1E,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAuBR"}
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAK1E,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CA+BR"}

package/dist/core/codegen/generators/object.js

@@ -1,6 +1,7 @@
 import { escapeString, hasMutation } from "../context.js";
 import { emit } from "../emit.js";
-export function generateObjectValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+import { generateRefineCheck } from "./effect.js";
+export function generateObjectValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     let code = emit `
     if(typeof ${inputExpr}!=="object"||${inputExpr}===null||Array.isArray(${inputExpr})){
       ${issuesVar}.push({code:"invalid_type",expected:"object",input:${inputExpr},path:${pathExpr}});
@@ -13,10 +14,16 @@ export function generateObjectValidation(ir, inputExpr, pathExpr, issuesVar, ctx
     for (const [key, propIR] of Object.entries(ir.properties)) {
         const propExpr = `${objVar}[${escapeString(key)}]`;
         const propPath = `${pathExpr}.concat(${escapeString(key)})`;
-        code += generateFn(propIR, propExpr, propPath, issuesVar, ctx);
+        code += generateFn(propIR, propExpr, propExpr, propPath, issuesVar, ctx);
     }
     if (needsClone) {
-        code += `${inputExpr}=${objVar};`;
+        code += `${outputExpr}=${objVar};`;
+    }
+    // Object-level refine effects: z.object({...}).refine(fn)
+    if (ir.checks) {
+        for (const check of ir.checks) {
+            code += generateRefineCheck(check, objVar, pathExpr, issuesVar);
+        }
     }
     code += `}\n`;
     return code;

package/dist/core/codegen/generators/object.js.map

@@ -1 +1 @@
-{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,IAAI,IAAI,GAAG,IAAI,CAAA;gBACD,SAAS,gBAAgB,SAAS,0BAA0B,SAAS;QAC7E,SAAS,sDAAsD,SAAS,SAAS,QAAQ;WACtF,CAAC;IAEV,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,IAAI,IAAI,UAAU;QAChB,CAAC,CAAC,OAAO,MAAM,qBAAqB,SAAS,IAAI;QACjD,CAAC,CAAC,OAAO,MAAM,IAAI,SAAS,GAAG,CAAC;IAElC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QACnD,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5D,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,IAAI,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,KAAK,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,MAAM,UAAU,wBAAwB,CACtC,EAAiC,EACjC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,IAAI,IAAI,GAAG,IAAI,CAAA;gBACD,SAAS,gBAAgB,SAAS,0BAA0B,SAAS;QAC7E,SAAS,sDAAsD,SAAS,SAAS,QAAQ;WACtF,CAAC;IAEV,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,IAAI,IAAI,UAAU;QAChB,CAAC,CAAC,OAAO,MAAM,qBAAqB,SAAS,IAAI;QACjD,CAAC,CAAC,OAAO,MAAM,IAAI,SAAS,GAAG,CAAC;IAElC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QACnD,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5D,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,IAAI,GAAG,UAAU,IAAI,MAAM,GAAG,CAAC;IACrC,CAAC;IAED,0DAA0D;IAC1D,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,IAAI,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/core/codegen/generators/optional.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateOptionalValidation(ir: SchemaIR & {
     type: "optional";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=optional.d.ts.map

package/dist/core/codegen/generators/optional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/optional.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,EACnC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAMR"}
+{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/optional.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,EACnC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAMR"}

package/dist/core/codegen/generators/optional.js

@@ -1,8 +1,8 @@
 import { emit } from "../emit.js";
-export function generateOptionalValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+export function generateOptionalValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     return `${emit `
     if(${inputExpr}!==undefined){
-      ${generateFn(ir.inner, inputExpr, pathExpr, issuesVar, ctx)}
+      ${generateFn(ir.inner, inputExpr, outputExpr, pathExpr, issuesVar, ctx)}
     }
   `}\n`;
 }

package/dist/core/codegen/generators/optional.js.map

@@ -1 +1 @@
-{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/optional.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,0BAA0B,CACxC,EAAmC,EACnC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,GAAG,IAAI,CAAA;SACP,SAAS;QACV,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;GAE9D,IAAI,CAAC;AACR,CAAC"}
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/optional.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,0BAA0B,CACxC,EAAmC,EACnC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,GAAG,IAAI,CAAA;SACP,SAAS;QACV,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;GAE1E,IAAI,CAAC;AACR,CAAC"}

package/dist/core/codegen/generators/pipe.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generatePipeValidation(ir: SchemaIR & {
     type: "pipe";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=pipe.d.ts.map

package/dist/core/codegen/generators/pipe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/pipe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC/B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAGR"}
+{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/pipe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC/B,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAGR"}

package/dist/core/codegen/generators/pipe.js

@@ -1,5 +1,5 @@
-export function generatePipeValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
+export function generatePipeValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
     // Validate input schema first, then output schema sequentially
-    return `${generateFn(ir.in, inputExpr, pathExpr, issuesVar, ctx)}${generateFn(ir.out, inputExpr, pathExpr, issuesVar, ctx)}`;
+    return `${generateFn(ir.in, inputExpr, outputExpr, pathExpr, issuesVar, ctx)}${generateFn(ir.out, outputExpr, outputExpr, pathExpr, issuesVar, ctx)}`;
 }
 //# sourceMappingURL=pipe.js.map

package/dist/core/codegen/generators/pipe.js.map

@@ -1 +1 @@
-{"version":3,"file":"pipe.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/pipe.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,+DAA+D;IAC/D,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;AAC/H,CAAC"}
+{"version":3,"file":"pipe.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/pipe.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,+DAA+D;IAC/D,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;AACxJ,CAAC"}

package/dist/core/codegen/generators/readonly.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateReadonlyValidation(ir: SchemaIR & {
     type: "readonly";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=readonly.d.ts.map

package/dist/core/codegen/generators/readonly.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"readonly.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/readonly.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,EACnC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAER"}
+{"version":3,"file":"readonly.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/readonly.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,EACnC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAER"}

package/dist/core/codegen/generators/readonly.js

@@ -1,4 +1,4 @@
-export function generateReadonlyValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
-    return generateFn(ir.inner, inputExpr, pathExpr, issuesVar, ctx);
+export function generateReadonlyValidation(ir, inputExpr, outputExpr, pathExpr, issuesVar, ctx, generateFn) {
+    return generateFn(ir.inner, inputExpr, outputExpr, pathExpr, issuesVar, ctx);
 }
 //# sourceMappingURL=readonly.js.map

package/dist/core/codegen/generators/readonly.js.map

@@ -1 +1 @@
-{"version":3,"file":"readonly.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/readonly.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,0BAA0B,CACxC,EAAmC,EACnC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;AACnE,CAAC"}
+{"version":3,"file":"readonly.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/readonly.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,0BAA0B,CACxC,EAAmC,EACnC,SAAiB,EACjB,UAAkB,EAClB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,OAAO,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;AAC/E,CAAC"}

package/dist/core/codegen/generators/record.d.ts

@@ -2,5 +2,5 @@ import type { SchemaIR } from "../../types.js";
 import type { CodeGenContext, GenerateValidationFn } from "../context.js";
 export declare function generateRecordValidation(ir: SchemaIR & {
     type: "record";
-}, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
+}, inputExpr: string, outputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateFn: GenerateValidationFn): string;
 //# sourceMappingURL=record.d.ts.map

package/dist/core/codegen/generators/record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAI1E,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CA+BR"}
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAI1E,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,EACjC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CA+BR"}