zod-aot 0.15.0 → 0.15.1

package/dist/core/codegen/context.d.ts

@@ -20,6 +20,12 @@ export declare const UUID_REGEX_SOURCE = "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][
 /** Enum values at or below this count use inline === checks instead of Set.has(). */
 export declare const ENUM_INLINE_THRESHOLD = 3;
 export declare function escapeString(s: string): string;
+/**
+ * Check if a SchemaIR tree contains any value-mutating operations
+ * (coerce, default, catch) that would write back to the input expression.
+ * Used by container generators to decide whether to shallow-clone.
+ */
+export declare function hasMutation(ir: SchemaIR): boolean;
 /**
  * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
  * Used as `[...ir.checks].sort(checkPriority)`.

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

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEjF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC;IACtB,8GAA8G;IAC9G,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG,CACjC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,CAAC;AAEZ,MAAM,MAAM,mBAAmB,GAAG,CAChC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,GAAG,IAAI,CAAC;AAGnB,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K,qFAAqF;AACrF,eAAO,MAAM,qBAAqB,IAAI,CAAC;AA8BvC,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,EACxC,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,GACvC,MAAM,CAER"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEjF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC;IACtB,8GAA8G;IAC9G,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG,CACjC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,CAAC;AAEZ,MAAM,MAAM,mBAAmB,GAAG,CAChC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,KAChB,MAAM,GAAG,IAAI,CAAC;AAGnB,eAAO,MAAM,kBAAkB,QAA+G,CAAC;AAE/I,kGAAkG;AAClG,eAAO,MAAM,iBAAiB,2KAC4I,CAAC;AAE3K,qFAAqF;AACrF,eAAO,MAAM,qBAAqB,IAAI,CAAC;AA8BvC,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE9C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,QAAQ,GAAG,OAAO,CAqCjD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,EACxC,CAAC,EAAE,OAAO,GAAG,aAAa,GAAG,WAAW,GACvC,MAAM,CAER"}

package/dist/core/codegen/context.js

@@ -34,6 +34,49 @@ const CHECK_PRIORITY = {
 export function escapeString(s) {
     return JSON.stringify(s);
 }
+/**
+ * Check if a SchemaIR tree contains any value-mutating operations
+ * (coerce, default, catch) that would write back to the input expression.
+ * Used by container generators to decide whether to shallow-clone.
+ */
+export function hasMutation(ir) {
+    switch (ir.type) {
+        case "string":
+        case "number":
+        case "boolean":
+        case "bigint":
+        case "date":
+            return ir.coerce === true;
+        case "default":
+        case "catch":
+            return true;
+        case "object":
+            return Object.values(ir.properties).some(hasMutation);
+        case "array":
+            return hasMutation(ir.element);
+        case "tuple":
+            return ir.items.some(hasMutation) || (ir.rest !== null && hasMutation(ir.rest));
+        case "record":
+            return hasMutation(ir.valueType);
+        case "optional":
+        case "nullable":
+        case "readonly":
+            return hasMutation(ir.inner);
+        case "union":
+        case "discriminatedUnion":
+            return ir.options.some(hasMutation);
+        case "intersection":
+            return hasMutation(ir.left) || hasMutation(ir.right);
+        case "pipe":
+            return hasMutation(ir.in) || hasMutation(ir.out);
+        case "set":
+            return hasMutation(ir.valueType);
+        case "map":
+            return hasMutation(ir.keyType) || hasMutation(ir.valueType);
+        default:
+            return false;
+    }
+}
 /**
  * Sort comparator for CheckIR: cheapest/most-discriminating checks first.
  * Used as `[...ir.checks].sort(checkPriority)`.

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

@@ -1 +1 @@
-{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AA+BA,qEAAqE;AACrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAE3K,qFAAqF;AACrF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAM,cAAc,GAA2B;IAC7C,2CAA2C;IAC3C,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,EAAE;IACd,aAAa,EAAE,EAAE;IACjB,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,EAAE;IACZ,8CAA8C;IAC9C,aAAa,EAAE,EAAE;IACjB,oBAAoB;IACpB,YAAY,EAAE,EAAE;IAChB,SAAS,EAAE,EAAE;IACb,mBAAmB,EAAE,EAAE;IACvB,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,EAAE;IAClB,SAAS;IACT,WAAW,EAAE,EAAE;IACf,kBAAkB,EAAE,EAAE;IACtB,iDAAiD;IACjD,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,oCAAoC;IACpC,QAAQ,EAAE,EAAE;IACZ,yBAAyB;IACzB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAwC,EACxC,CAAwC;IAExC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC"}
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/core/codegen/context.ts"],"names":[],"mappings":"AA+BA,qEAAqE;AACrE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAA,kGAAkG,CAAC;AAE/I,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAC5B,wKAAwK,CAAC;AAE3K,qFAAqF;AACrF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAM,cAAc,GAA2B;IAC7C,2CAA2C;IAC3C,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,EAAE;IACd,aAAa,EAAE,EAAE;IACjB,QAAQ,EAAE,EAAE;IACZ,QAAQ,EAAE,EAAE;IACZ,8CAA8C;IAC9C,aAAa,EAAE,EAAE;IACjB,oBAAoB;IACpB,YAAY,EAAE,EAAE;IAChB,SAAS,EAAE,EAAE;IACb,mBAAmB,EAAE,EAAE;IACvB,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;IACrB,cAAc,EAAE,EAAE;IAClB,SAAS;IACT,WAAW,EAAE,EAAE;IACf,kBAAkB,EAAE,EAAE;IACtB,iDAAiD;IACjD,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,EAAE;IACb,oCAAoC;IACpC,QAAQ,EAAE,EAAE;IACZ,yBAAyB;IACzB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,CAAS;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,EAAY;IACtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC;QAC5B,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACjC,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,OAAO,CAAC;QACb,KAAK,oBAAoB;YACvB,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,KAAK,cAAc;YACjB,OAAO,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACvD,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACnD,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAwC,EACxC,CAAwC;IAExC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACzE,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.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,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAwCR"}
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.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,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CA4CR"}

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

@@ -1,9 +1,13 @@
+import { hasMutation } from "../context.js";
 import { emit } from "../emit.js";
 export function generateArrayValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
     let code = emit `
     if(!Array.isArray(${inputExpr})){
       ${issuesVar}.push({code:"invalid_type",expected:"array",input:${inputExpr},path:${pathExpr}});
     }else{`;
+    if (hasMutation(ir.element)) {
+        code += `${inputExpr}=${inputExpr}.slice();`;
+    }
     for (const check of ir.checks) {
         switch (check.kind) {
             case "min_length":

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

@@ -1 +1 @@
-{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,SAAS;QACzB,SAAS,qDAAqD,SAAS,SAAS,QAAQ;WACrF,CAAC;IAEV,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,mCAAmC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC7H,CAAC;gBACL,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,iCAAiC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC3H,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,MAAM;cACjC,SAAS,mCAAmC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;qBAC9H,SAAS,WAAW,KAAK,CAAC,MAAM;cACvC,SAAS,iCAAiC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;YACrI,CAAC;gBACL,MAAM;QACV,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;IACjD,IAAI,IAAI,IAAI,CAAA;cACA,MAAM,MAAM,MAAM,IAAI,SAAS,WAAW,MAAM;QACtD,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;IAE9D,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,SAAS;QACzB,SAAS,qDAAqD,SAAS,SAAS,QAAQ;WACrF,CAAC;IAEV,IAAI,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,IAAI,IAAI,GAAG,SAAS,IAAI,SAAS,WAAW,CAAC;IAC/C,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,mCAAmC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC7H,CAAC;gBACL,MAAM;YACR,KAAK,YAAY;gBACf,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,OAAO;cAClC,SAAS,iCAAiC,KAAK,CAAC,OAAO,wCAAwC,SAAS,SAAS,QAAQ;YAC3H,CAAC;gBACL,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,IAAI,IAAI,CAAA;eACL,SAAS,WAAW,KAAK,CAAC,MAAM;cACjC,SAAS,mCAAmC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;qBAC9H,SAAS,WAAW,KAAK,CAAC,MAAM;cACvC,SAAS,iCAAiC,KAAK,CAAC,MAAM,mDAAmD,SAAS,SAAS,QAAQ;YACrI,CAAC;gBACL,MAAM;QACV,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;IACjD,IAAI,IAAI,IAAI,CAAA;cACA,MAAM,MAAM,MAAM,IAAI,SAAS,WAAW,MAAM;QACtD,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;;IAE9D,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

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

@@ -0,0 +1,13 @@
+import type { RefineEffectCheckIR, TransformEffectIR } from "../../types.js";
+import type { CodeGenContext, GenerateValidationFn } from "../context.js";
+/**
+ * Generate code for a TransformEffectIR node.
+ * Validates the inner schema, then applies the transform function and writes back the result.
+ */
+export declare function generateTransformEffect(ir: TransformEffectIR, inputExpr: string, pathExpr: string, issuesVar: string, ctx: CodeGenContext, generateValidation: GenerateValidationFn): string;
+/**
+ * Generate code for a RefineEffectCheckIR (inline refine function call).
+ * Called from string/number/object check loops when a refine_effect is encountered.
+ */
+export declare function generateRefineCheck(check: RefineEffectCheckIR, inputExpr: string, pathExpr: string, issuesVar: string): string;
+//# sourceMappingURL=effect.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAG1E;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,iBAAiB,EACrB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,kBAAkB,EAAE,oBAAoB,GACvC,MAAM,CAWR;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,EAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,MAAM,CAKR"}

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

@@ -0,0 +1,27 @@
+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, pathExpr, issuesVar, ctx, generateValidation) {
+    const beforeVar = `__ib${ctx.counter++}`;
+    const innerCode = generateValidation(ir.inner, inputExpr, pathExpr, issuesVar, ctx);
+    return `${emit `
+    var ${beforeVar}=${issuesVar}.length;
+    ${innerCode}
+    if(${issuesVar}.length===${beforeVar}){
+      ${inputExpr}=(${ir.source})(${inputExpr});
+    }
+  `}\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) {
+    return emit `
+    if(!(${check.source})(${inputExpr})){
+      ${issuesVar}.push({code:"custom",path:${pathExpr},message:"Invalid",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,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,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IAEpF,OAAO,GAAG,IAAI,CAAA;UACN,SAAS,IAAI,SAAS;MAC1B,SAAS;SACN,SAAS,aAAa,SAAS;QAChC,SAAS,KAAK,EAAE,CAAC,MAAM,KAAK,SAAS;;GAE1C,IAAI,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAA0B,EAC1B,SAAiB,EACjB,QAAgB,EAChB,SAAiB;IAEjB,OAAO,IAAI,CAAA;WACF,KAAK,CAAC,MAAM,KAAK,SAAS;QAC7B,SAAS,6BAA6B,QAAQ,4BAA4B,SAAS;MACrF,CAAC;AACP,CAAC"}

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,CAiBR"}
+{"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"}

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

@@ -1,17 +1,23 @@
-import { escapeString } from "../context.js";
+import { escapeString, hasMutation } from "../context.js";
 import { emit } from "../emit.js";
 export function generateObjectValidation(ir, inputExpr, 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}});
     }else{`;
+    const needsClone = Object.values(ir.properties).some(hasMutation);
     const objVar = `__o_${ctx.counter++}`;
-    code += `var ${objVar}=${inputExpr};`;
+    code += needsClone
+        ? `var ${objVar}=Object.assign({},${inputExpr});`
+        : `var ${objVar}=${inputExpr};`;
     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);
     }
+    if (needsClone) {
+        code += `${inputExpr}=${objVar};`;
+    }
     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,MAAM,eAAe,CAAC;AAC7C,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,MAAM,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACtC,IAAI,IAAI,OAAO,MAAM,IAAI,SAAS,GAAG,CAAC;IAEtC,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,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;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"}

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;AAG1E,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,CA2BR"}
+{"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"}

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

@@ -1,9 +1,13 @@
+import { hasMutation } from "../context.js";
 import { emit } from "../emit.js";
 export function generateRecordValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
     let code = emit `
     if(typeof ${inputExpr}!=="object"||${inputExpr}===null||Array.isArray(${inputExpr})){
       ${issuesVar}.push({code:"invalid_type",expected:"record",input:${inputExpr},path:${pathExpr}});
     }else{`;
+    if (hasMutation(ir.valueType)) {
+        code += `${inputExpr}=Object.assign({},${inputExpr});`;
+    }
     const keysVar = `__rk_${ctx.counter++}`;
     const idxVar = `__ri_${ctx.counter++}`;
     const keyVar = `__rkey_${ctx.counter++}`;

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

@@ -1 +1 @@
-{"version":3,"file":"record.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/record.ts"],"names":[],"mappings":"AAEA,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,OAAO,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;IAChD,MAAM,OAAO,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IAE1C,IAAI,IAAI,IAAI,CAAA;UACJ,OAAO,gBAAgB,SAAS;cAC5B,MAAM,MAAM,MAAM,IAAI,OAAO,WAAW,MAAM;YAChD,MAAM,IAAI,OAAO,IAAI,MAAM;YAC3B,YAAY;QAChB,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC;WACvD,YAAY;UACb,SAAS,kDAAkD,OAAO,WAAW,YAAY;;UAEzF,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC;;;IAGhE,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/record.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,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,IAAI,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,IAAI,IAAI,GAAG,SAAS,qBAAqB,SAAS,IAAI,CAAC;IACzD,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;IAChD,MAAM,OAAO,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;IAE1C,IAAI,IAAI,IAAI,CAAA;UACJ,OAAO,gBAAgB,SAAS;cAC5B,MAAM,MAAM,MAAM,IAAI,OAAO,WAAW,MAAM;YAChD,MAAM,IAAI,OAAO,IAAI,MAAM;YAC3B,YAAY;QAChB,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC;WACvD,YAAY;UACb,SAAS,kDAAkD,OAAO,WAAW,YAAY;;UAEzF,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC;;;IAGhE,CAAC;IACH,OAAO,GAAG,IAAI,IAAI,CAAC;AACrB,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/tuple.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,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAmCR"}
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/generators/tuple.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,uBAAuB,CACrC,EAAE,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,EAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,oBAAoB,GAC/B,MAAM,CAuCR"}

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

@@ -1,3 +1,4 @@
+import { hasMutation } from "../context.js";
 import { emit } from "../emit.js";
 export function generateTupleValidation(ir, inputExpr, pathExpr, issuesVar, ctx, generateFn) {
     const len = ir.items.length;
@@ -5,6 +6,9 @@ export function generateTupleValidation(ir, inputExpr, pathExpr, issuesVar, ctx,
     if(!Array.isArray(${inputExpr})){
       ${issuesVar}.push({code:"invalid_type",expected:"tuple",input:${inputExpr},path:${pathExpr}});
     }else{`;
+    if (ir.items.some(hasMutation) || (ir.rest !== null && hasMutation(ir.rest))) {
+        code += `${inputExpr}=${inputExpr}.slice();`;
+    }
     // Reject extra elements when no rest element is defined
     if (ir.rest === null) {
         code += emit `

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

@@ -1 +1 @@
-{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/tuple.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;IAE5B,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,SAAS;QACzB,SAAS,qDAAqD,SAAS,SAAS,QAAQ;WACrF,CAAC;IAEV,wDAAwD;IACxD,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,IAAI,IAAI,IAAI,CAAA;WACL,SAAS,WAAW,GAAG;UACxB,SAAS,iCAAiC,GAAG,wCAAwC,SAAS,SAAS,QAAQ;QACjH,CAAC;IACP,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,SAAS,IAAI,CAAC,GAAG,CAAC;QACtC,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,CAAC,GAAG,CAAC;QAC5C,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;QACjD,IAAI,IAAI,IAAI,CAAA;gBACA,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,SAAS,WAAW,MAAM;UAC3D,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;QACzD,CAAC;IACP,CAAC;IAED,IAAI,IAAI,KAAK,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../../../src/core/codegen/generators/tuple.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,UAAU,uBAAuB,CACrC,EAAgC,EAChC,SAAiB,EACjB,QAAgB,EAChB,SAAiB,EACjB,GAAmB,EACnB,UAAgC;IAEhC,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;IAE5B,IAAI,IAAI,GAAG,IAAI,CAAA;wBACO,SAAS;QACzB,SAAS,qDAAqD,SAAS,SAAS,QAAQ;WACrF,CAAC;IAEV,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,IAAI,IAAI,GAAG,SAAS,IAAI,SAAS,WAAW,CAAC;IAC/C,CAAC;IAED,wDAAwD;IACxD,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,IAAI,IAAI,IAAI,CAAA;WACL,SAAS,WAAW,GAAG;UACxB,SAAS,iCAAiC,GAAG,wCAAwC,SAAS,SAAS,QAAQ;QACjH,CAAC;IACP,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,SAAS,IAAI,CAAC,GAAG,CAAC;QACtC,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,CAAC,GAAG,CAAC;QAC5C,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,MAAM,GAAG,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,QAAQ,WAAW,MAAM,GAAG,CAAC;QACjD,IAAI,IAAI,IAAI,CAAA;gBACA,MAAM,IAAI,GAAG,IAAI,MAAM,IAAI,SAAS,WAAW,MAAM;UAC3D,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC;QACzD,CAAC;IACP,CAAC;IAED,IAAI,IAAI,KAAK,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Effect compilation utilities.
+ * Uses fn.toString() to extract function source text from live Zod schema references,
+ * then classifies whether the function can be safely inlined (zero external captures).
+ */
+/**
+ * Try to compile a function into an inlineable source string.
+ * Returns the function source if it's a zero-capture function (safe to inline),
+ * or undefined if it cannot be compiled (async, has captures, or parse failure).
+ */
+export declare function tryCompileEffect(fn: unknown): string | undefined;
+//# sourceMappingURL=effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/core/extract/effects.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA2CH;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAwDhE"}

package/dist/core/extract/effects.js

@@ -0,0 +1,181 @@
+/**
+ * Effect compilation utilities.
+ * Uses fn.toString() to extract function source text from live Zod schema references,
+ * then classifies whether the function can be safely inlined (zero external captures).
+ */
+import { parseExpressionAt } from "acorn";
+// Well-known globals that are safe to reference in inlined functions
+const SAFE_GLOBALS = new Set([
+    "undefined",
+    "null",
+    "NaN",
+    "Infinity",
+    "Math",
+    "Number",
+    "String",
+    "Boolean",
+    "Array",
+    "Object",
+    "JSON",
+    "Date",
+    "RegExp",
+    "parseInt",
+    "parseFloat",
+    "isNaN",
+    "isFinite",
+    "encodeURI",
+    "decodeURI",
+    "encodeURIComponent",
+    "decodeURIComponent",
+    "BigInt",
+    "Symbol",
+    "Map",
+    "Set",
+    "Error",
+    "TypeError",
+    "RangeError",
+    "SyntaxError",
+    "ReferenceError",
+    "Promise",
+    "globalThis",
+    "true",
+    "false",
+]);
+/**
+ * Try to compile a function into an inlineable source string.
+ * Returns the function source if it's a zero-capture function (safe to inline),
+ * or undefined if it cannot be compiled (async, has captures, or parse failure).
+ */
+export function tryCompileEffect(fn) {
+    if (typeof fn !== "function")
+        return undefined;
+    const source = fn.toString();
+    // Quick reject: native functions
+    if (source.includes("[native code]"))
+        return undefined;
+    let ast;
+    try {
+        ast = parseExpressionAt(source, 0, {
+            ecmaVersion: "latest",
+            sourceType: "module",
+        });
+    }
+    catch {
+        // Parse failed — likely TypeScript annotations or unsupported syntax
+        return undefined;
+    }
+    // Reject async functions
+    if ("async" in ast && ast.async)
+        return undefined;
+    // Collect parameter names
+    const params = new Set();
+    const fnNode = ast;
+    if (fnNode.params) {
+        for (const param of fnNode.params) {
+            collectBindingNames(param, params);
+        }
+    }
+    // Collect local variable declarations in the body
+    const locals = new Set();
+    if (fnNode.body && fnNode.body.type === "BlockStatement") {
+        collectLocals(fnNode.body, locals);
+    }
+    // Collect all identifier references in the body
+    const refs = new Set();
+    if (fnNode.body) {
+        collectIdentifierRefs(fnNode.body, refs);
+    }
+    // Check for external captures
+    for (const ref of refs) {
+        if (!params.has(ref) && !locals.has(ref) && !SAFE_GLOBALS.has(ref)) {
+            return undefined; // Has external capture
+        }
+    }
+    return source;
+}
+/** Collect binding names from a parameter pattern (handles destructuring). */
+function collectBindingNames(node, names) {
+    switch (node.type) {
+        case "Identifier":
+            names.add(node.name);
+            break;
+        case "AssignmentPattern":
+            collectBindingNames(node.left, names);
+            break;
+        case "ObjectPattern":
+            for (const prop of node.properties) {
+                if (prop.type === "RestElement") {
+                    collectBindingNames(prop.argument, names);
+                }
+                else {
+                    collectBindingNames(prop.value, names);
+                }
+            }
+            break;
+        case "ArrayPattern":
+            for (const elem of node.elements) {
+                if (elem)
+                    collectBindingNames(elem, names);
+            }
+            break;
+        case "RestElement":
+            collectBindingNames(node.argument, names);
+            break;
+    }
+}
+/** Collect locally declared variable names from a block body. */
+function collectLocals(body, locals) {
+    const block = body;
+    if (!block.body)
+        return;
+    for (const stmt of block.body) {
+        if (stmt.type === "VariableDeclaration") {
+            for (const decl of stmt.declarations) {
+                const id = decl.id;
+                collectBindingNames(id, locals);
+            }
+        }
+    }
+}
+/** Collect all identifier references in an AST subtree. */
+function collectIdentifierRefs(node, refs) {
+    if (node.type === "Identifier") {
+        refs.add(node.name);
+        return;
+    }
+    // Skip property access identifiers (obj.prop — "prop" is not a reference)
+    if (node.type === "MemberExpression") {
+        const member = node;
+        collectIdentifierRefs(member.object, refs);
+        if (member.computed) {
+            collectIdentifierRefs(member.property, refs);
+        }
+        return;
+    }
+    // Skip binding positions in variable declarations, function params, etc.
+    if (node.type === "VariableDeclarator") {
+        const decl = node;
+        if (decl.init)
+            collectIdentifierRefs(decl.init, refs);
+        return;
+    }
+    // Recursively walk all child nodes
+    for (const key of Object.keys(node)) {
+        if (key === "type" || key === "start" || key === "end")
+            continue;
+        const child = node[key];
+        if (child && typeof child === "object") {
+            if (Array.isArray(child)) {
+                for (const item of child) {
+                    if (item && typeof item === "object" && "type" in item) {
+                        collectIdentifierRefs(item, refs);
+                    }
+                }
+            }
+            else if ("type" in child) {
+                collectIdentifierRefs(child, refs);
+            }
+        }
+    }
+}
+//# sourceMappingURL=effects.js.map

package/dist/core/extract/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../src/core/extract/effects.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AAE1C,qEAAqE;AACrE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,WAAW;IACX,MAAM;IACN,KAAK;IACL,UAAU;IACV,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,OAAO;IACP,UAAU;IACV,WAAW;IACX,WAAW;IACX,oBAAoB;IACpB,oBAAoB;IACpB,QAAQ;IACR,QAAQ;IACR,KAAK;IACL,KAAK;IACL,OAAO;IACP,WAAW;IACX,YAAY;IACZ,aAAa;IACb,gBAAgB;IAChB,SAAS;IACT,YAAY;IACZ,MAAM;IACN,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAW;IAC1C,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAE/C,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;IAE7B,iCAAiC;IACjC,IAAI,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,IAAI,GAAS,CAAC;IACd,IAAI,CAAC;QACH,GAAG,GAAG,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE;YACjC,WAAW,EAAE,QAAQ;YACrB,UAAU,EAAE,QAAQ;SACrB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,yBAAyB;IACzB,IAAI,OAAO,IAAI,GAAG,IAAK,GAA2B,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE3E,0BAA0B;IAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,MAAM,GAAG,GAId,CAAC;IAEF,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzD,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IAED,gDAAgD;IAChD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnE,OAAO,SAAS,CAAC,CAAC,uBAAuB;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,SAAS,mBAAmB,CAAC,IAAU,EAAE,KAAkB;IACzD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,KAAK,CAAC,GAAG,CAAE,IAAgC,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM;QACR,KAAK,mBAAmB;YACtB,mBAAmB,CAAE,IAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjE,MAAM;QACR,KAAK,eAAe;YAClB,KAAK,MAAM,IAAI,IAAK,IAAsC,CAAC,UAAU,EAAE,CAAC;gBACtE,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAChC,mBAAmB,CAAE,IAAkC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC3E,CAAC;qBAAM,CAAC;oBACN,mBAAmB,CAAE,IAA+B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;YACD,MAAM;QACR,KAAK,cAAc;YACjB,KAAK,MAAM,IAAI,IAAK,IAA6C,CAAC,QAAQ,EAAE,CAAC;gBAC3E,IAAI,IAAI;oBAAE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM;QACR,KAAK,aAAa;YAChB,mBAAmB,CAAE,IAAkC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM;IACV,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,SAAS,aAAa,CAAC,IAAU,EAAE,MAAmB;IACpD,MAAM,KAAK,GAAG,IAA+B,CAAC;IAC9C,IAAI,CAAC,KAAK,CAAC,IAAI;QAAE,OAAO;IACxB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAK,IAAwC,CAAC,YAAY,EAAE,CAAC;gBAC1E,MAAM,EAAE,GAAI,IAA4B,CAAC,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,SAAS,qBAAqB,CAAC,IAAU,EAAE,IAAiB;IAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,CAAE,IAAgC,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,0EAA0E;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAkE,CAAC;QAClF,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO;IACT,CAAC;IAED,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAoC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI;YAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK;YAAE,SAAS;QACjE,MAAM,KAAK,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACvD,qBAAqB,CAAC,IAAY,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBAC3B,qBAAqB,CAAC,KAAa,EAAE,IAAI,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/unplugin/bun.d.ts

@@ -1,3 +1,3 @@
-declare const _default: (options?: import("./types.js").ZodAotPluginOptions | undefined) => BunPlugin;
+declare const _default: (options?: import("./types.js").ZodAotPluginOptions | undefined) => Bun.BunPlugin;
 export default _default;
 //# sourceMappingURL=bun.d.ts.map

package/dist/unplugin/rolldown.d.ts

@@ -1,3 +1,3 @@
-declare const _default: (options?: import("./types.js").ZodAotPluginOptions | undefined) => import("rolldown").Plugin<any> | import("rolldown").Plugin<any>[];
+declare const _default: (options?: import("./types.js").ZodAotPluginOptions | undefined) => import("unplugin").RolldownPlugin<any> | import("unplugin").RolldownPlugin<any>[];
 export default _default;
 //# sourceMappingURL=rolldown.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zod-aot",
-  "version": "0.15.0",
+  "version": "0.15.1",
   "description": "Compile Zod schemas into zero-overhead validation functions at build time",
   "type": "module",
   "keywords": [