zod-compiler 1.23.0 → 1.23.2

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

@@ -1 +1 @@
-{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../../src/core/extract/checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAG1F;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAqB,EACrB,MAAwB;IAExB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC;YAAE,OAAO,SAAS,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC,IAAI,oBAAoB,KAAK,eAAe,EAAE,CAAC,CAAC;QAC3F,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IACzB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,GAAqB,EACrB,MAAwB,EACxB,KAAa;IAEb,IAAI,KAAK,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,IAAI,CAAC,IAAI,CAAC;QACR,MAAM,EAAG,KAAK,CAAC,IAA2B,CAAC,KAAK;QAChD,UAAU,EAAE,GAAG,GAAG,CAAC,IAAI,oBAAoB,KAAK,cAAc;KAC/D,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;;GAIG;AACH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,iCAAiC,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE9D;;;;;;;;GAQG;AACH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,YAAY;IACZ,YAAY;IACZ,eAAe;IACf,UAAU;IACV,UAAU;IACV,aAAa;CACd,CAAC,CAAC;AAEH,gFAAgF;AAChF,SAAS,WAAW,CAAC,GAAgB;IACnC,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAAgB;IACvD,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,MAAwB;AACxB;;;;;;GAMG;AACH,SAAiD;AACjD,8EAA8E;AAC9E,aAAqD;IAKrD,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;QAC5B,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,WAAW,GAAG,IAAI,CAAC;YACnB,SAAS;QACX,CAAC;QAED,uEAAuE;QACvE,qEAAqE;QACrE,8BAA8B;QAC9B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,WAAW,GAAG,IAAI,CAAC;YACnB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEhF,QAAQ,GAAG,CAAC,KAAK,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACxE,MAAM;YACR,KAAK,YAAY;gBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACxE,MAAM;YACR,KAAK,eAAe;gBAClB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACzE,MAAM;YACR,KAAK,cAAc;gBACjB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,WAAW;gBACd,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,aAAa;gBAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBACrE,MAAM;YACR,KAAK,eAAe;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,GAAG,CAAC,MAAgE;oBAC5E,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAClE,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;wBACtB,GAAG,CAAC,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACvE,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,aAAa,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;oBACvE,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;oBACrE,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBACzB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,eAAe;wBACrB,MAAM,EAAE,KAAK;wBACb,GAAG,WAAW,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC;wBACzD,GAAG,WAAW,CAAC,UAAU,EAAE,eAAe,EAAE,GAAG,CAAC,QAAQ,CAAC;wBACzD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC7C,GAAG,OAAO;qBACX,CAAC,CAAC;oBACH,MAAM;gBACR,CAAC;gBACD,IAAI,iCAAiC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACtD,WAAW,GAAG,IAAI,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,YAAY,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;gBACjF,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,IAAI,CAAC,OAAO,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrD,sDAAsD;oBACtD,WAAW,GAAG,IAAI,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,GAAG,OAAO;iBACX,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,2EAA2E;gBAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxC,IAAI,MAAM,EAAE,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC;gBACtD,CAAC;qBAAM,CAAC;oBACN,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,sEAAsE;gBACtE,mEAAmE;gBACnE,oEAAoE;gBACpE,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC1B,MAAM,UAAU,GAAG,aAAa,EAAE,CAAC,KAAK,CAAC,CAAC;oBAC1C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;wBAC7B,WAAW,GAAG,IAAI,CAAC;wBACnB,MAAM;oBACR,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;oBACrE,MAAM;gBACR,CAAC;gBACD,oEAAoE;gBACpE,sEAAsE;gBACtE,kDAAkD;gBAClD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClE,IAAI,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;oBAC5E,WAAW,GAAG,IAAI,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,MAAM,MAAM,GAAG,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/E,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxC,IAAI,MAAM,EAAE,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;oBACxE,MAAM;gBACR,CAAC;gBACD,oEAAoE;gBACpE,mEAAmE;gBACnE,qEAAqE;gBACrE,kCAAkC;gBAClC,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;gBAC5E,CAAC;qBAAM,CAAC;oBACN,WAAW,GAAG,IAAI,CAAC;gBACrB,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,6DAA6D;gBAC7D,WAAW,GAAG,IAAI,CAAC;gBACnB,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,WAAW,CAClB,SAAkC,EAClC,QAA2C,EAC3C,KAAc;IAEd,IAAI,CAAC,CAAC,KAAK,YAAY,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AASD;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACnE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzE,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAE5D,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,KAAK,CACrB,EAAE,EACF;QACE,GAAG,CAAC,EAAE,EAAE,IAAI;YACV,KAAK,EAAE,CAAC;YACR,oEAAoE;YACpE,IAAI,IAAI,KAAK,MAAM,CAAC,WAAW,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7E,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG;YACD,KAAK,EAAE,CAAC;YACR,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO;YACL,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,wBAAwB;YACtB,KAAK,EAAE,CAAC;YACR,OAAO,SAAS,CAAC;QACnB,CAAC;KACF,CACF,CAAC;IAEF,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAI,KAAqC,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACzC,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3E,IACE,MAAM,KAAK,IAAI;QACf,OAAO,MAAM,KAAK,QAAQ;QAC1B,OAAQ,MAAgC,CAAC,OAAO,KAAK,QAAQ,EAC7D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAG,MAA8B,CAAC,OAAO,EAAE,CAAC;IAC9E,CAAC;IACD,+DAA+D;IAC/D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"checks.js","names":[],"sources":["../../../src/core/extract/checks.ts"],"sourcesContent":["import type { CheckOrEffectIR, CheckStringFormat } from \"../types.js\";\nimport { isPayloadCheck, isReferenceablePredicate, tryCompileEffect } from \"./effects.js\";\nimport type { ExtractorContext, ZodCheckDef, ZodCheckSchema } from \"./types.js\";\n\n/**\n * Build the `refineRef` registrar for {@link extractChecks} from an extractor's\n * context: it appends a {@link RefEntry} pointing at the check's own predicate\n * (`<schema>._zod.def.checks[i]._zod.def.fn`) so generated code can call the\n * user's function object directly. Returns undefined — meaning \"fall back as\n * before\" — when the extraction is not collecting refs.\n */\nexport function refineRefRegistrar(\n  ctx: ExtractorContext,\n  checks: ZodCheckSchema[],\n): ((index: number) => number | undefined) | undefined {\n  const refs = ctx.refs;\n  if (!refs) return undefined;\n  return (index) => {\n    const fn = checks[index]?._zod?.def?.fn;\n    if (!isReferenceablePredicate(fn)) return undefined;\n    refs.push({ schema: fn, accessPath: `${ctx.path}._zod.def.checks[${index}]._zod.def.fn` });\n    return refs.length - 1;\n  };\n}\n\n/**\n * Register the payload-taking callback of check `index` (`superRefine`) as an\n * `__rf[N]` reference, pointing at zod's own wrapper\n * (`<schema>._zod.def.checks[i]._zod.check`).\n *\n * Only the LAST check on a node qualifies: an issue carrying\n * `fatal`/`continue:false` aborts zod's remaining chain, and compiled output\n * runs every check unconditionally — with nothing following, there is nothing\n * left to abort, so the two agree.\n */\nexport function payloadCheckRef(\n  ctx: ExtractorContext,\n  checks: ZodCheckSchema[],\n  index: number,\n): number | undefined {\n  if (index !== checks.length - 1) return undefined;\n  const check = checks[index];\n  const refs = ctx.refs;\n  if (!refs || !check || !isPayloadCheck(check)) return undefined;\n  refs.push({\n    schema: (check._zod as { check: unknown }).check,\n    accessPath: `${ctx.path}._zod.def.checks[${index}]._zod.check`,\n  });\n  return refs.length - 1;\n}\n\n/**\n * String formats the codegen can validate without a regex pattern.\n * Everything else without a pattern (e.g. z.jwt(), which validates\n * algorithmically) must fall back to Zod instead of being silently skipped.\n */\nconst PATTERNLESS_FORMATS = new Set([\"email\", \"uuid\", \"url\"]);\n\n/**\n * Formats whose def.pattern is NOT the authoritative validator — zod's\n * runtime check is algorithmic and accepts inputs the pattern rejects\n * (e.g. z.cidrv6() splits the prefix and validates the IPv6 part separately).\n */\nconst NON_AUTHORITATIVE_PATTERN_FORMATS = new Set([\"cidrv6\"]);\n\n/**\n * Check kinds where Zod itself installs a `when` guard\n * (`!nullish(value) && value.length/size !== undefined`). Compiled output\n * reproduces that gating structurally — length/size checks only run after the\n * typeof/instanceof guard — so a `when` on these kinds is expected and safe.\n * A `when` anywhere else must be user-supplied → fall back to Zod.\n * (A user-supplied `when` on one of these six kinds is indistinguishable from\n * the internal guard and remains unsupported.)\n */\nconst INTERNAL_WHEN_CHECK_KINDS = new Set([\n  \"min_length\",\n  \"max_length\",\n  \"length_equals\",\n  \"min_size\",\n  \"max_size\",\n  \"size_equals\",\n]);\n\n/** True when a check carries a runtime `when` predicate we cannot reproduce. */\nfunction hasUserWhen(def: ZodCheckDef): boolean {\n  return Boolean(def.when) && !INTERNAL_WHEN_CHECK_KINDS.has(def.check);\n}\n\n/**\n * True when a check can't be compiled because of runtime modifiers:\n * a user-supplied `when` predicate, or `abort: true` (which stops later\n * checks and marks the option as aborted in union pruning — compiled\n * output always runs every check).\n */\nexport function hasUncompilableModifiers(def: ZodCheckDef): boolean {\n  return hasUserWhen(def) || def.abort === true;\n}\n\nexport function extractChecks(\n  checks: ZodCheckSchema[],\n  /**\n   * Registers the predicate of the check at `index` as an `__rf[N]` reference\n   * and returns N, or undefined when references are unavailable (no refs array)\n   * or the callback's shape cannot be called directly. Supplied by extractors\n   * that know their schema's access path; omitted by callers that do not, which\n   * simply keeps the old fall-back-to-zod behavior.\n   */\n  refineRef?: (index: number) => number | undefined,\n  /** Registers a payload-taking callback (superRefine); see payloadCheckRef. */\n  payloadRefFor?: (index: number) => number | undefined,\n): {\n  checkIRs: CheckOrEffectIR[];\n  hasFallback: boolean;\n} {\n  const checkIRs: CheckOrEffectIR[] = [];\n  let hasFallback = false;\n\n  for (const [index, check] of checks.entries()) {\n    const def = check._zod?.def;\n    if (!def) continue;\n\n    // Checks gated by a user-supplied runtime `when` predicate or abort:true\n    // can't be reproduced in compiled output — delegate the schema to Zod.\n    if (hasUncompilableModifiers(def)) {\n      hasFallback = true;\n      continue;\n    }\n\n    // Per-check custom error: bake static messages into the IR; error maps\n    // that read the issue (dynamic) can't be compiled — fall back so Zod\n    // produces the exact message.\n    const resolved = resolveCheckMessage(def.error);\n    if (resolved.kind === \"dynamic\") {\n      hasFallback = true;\n      continue;\n    }\n    const message = resolved.kind === \"static\" ? { message: resolved.message } : {};\n\n    switch (def.check) {\n      case \"min_length\":\n        checkIRs.push({ kind: \"min_length\", minimum: def.minimum, ...message });\n        break;\n      case \"max_length\":\n        checkIRs.push({ kind: \"max_length\", maximum: def.maximum, ...message });\n        break;\n      case \"length_equals\":\n        checkIRs.push({ kind: \"length_equals\", length: def.length, ...message });\n        break;\n      case \"greater_than\":\n        checkIRs.push({\n          kind: \"greater_than\",\n          value: def.value,\n          inclusive: def.inclusive,\n          ...message,\n        });\n        break;\n      case \"less_than\":\n        checkIRs.push({\n          kind: \"less_than\",\n          value: def.value,\n          inclusive: def.inclusive,\n          ...message,\n        });\n        break;\n      case \"multiple_of\":\n        checkIRs.push({ kind: \"multiple_of\", value: def.value, ...message });\n        break;\n      case \"number_format\":\n        checkIRs.push({\n          kind: \"number_format\",\n          format: def.format as \"safeint\" | \"int32\" | \"uint32\" | \"float32\" | \"float64\",\n          ...message,\n        });\n        break;\n      case \"string_format\": {\n        if (def.format === \"includes\" && typeof def.includes === \"string\") {\n          checkIRs.push({\n            kind: \"includes\",\n            includes: def.includes,\n            ...(typeof def.position === \"number\" ? { position: def.position } : {}),\n            ...message,\n          });\n          break;\n        }\n        if (def.format === \"starts_with\" && typeof def.prefix === \"string\") {\n          checkIRs.push({ kind: \"starts_with\", prefix: def.prefix, ...message });\n          break;\n        }\n        if (def.format === \"ends_with\" && typeof def.suffix === \"string\") {\n          checkIRs.push({ kind: \"ends_with\", suffix: def.suffix, ...message });\n          break;\n        }\n        if (def.format === \"url\") {\n          checkIRs.push({\n            kind: \"string_format\",\n            format: \"url\",\n            ...regexFields(\"hostname\", \"hostnameFlags\", def.hostname),\n            ...regexFields(\"protocol\", \"protocolFlags\", def.protocol),\n            ...(def.normalize ? { normalize: true } : {}),\n            ...message,\n          });\n          break;\n        }\n        if (NON_AUTHORITATIVE_PATTERN_FORMATS.has(def.format)) {\n          hasFallback = true;\n          break;\n        }\n        const pattern = def.pattern instanceof RegExp ? def.pattern.source : def.pattern;\n        const flags = def.pattern instanceof RegExp && def.pattern.flags ? def.pattern.flags : \"\";\n        if (!pattern && !PATTERNLESS_FORMATS.has(def.format)) {\n          // Algorithmic format (e.g. jwt) — nothing to compile.\n          hasFallback = true;\n          break;\n        }\n        checkIRs.push({\n          kind: \"string_format\",\n          format: def.format,\n          ...(pattern ? { pattern } : {}),\n          ...(flags ? { patternFlags: flags } : {}),\n          ...message,\n        });\n        break;\n      }\n      case \"overwrite\": {\n        // $ZodCheckOverwrite (.trim(), .toLowerCase(), ...): value = def.tx(value)\n        const source = tryCompileEffect(def.tx);\n        if (source) {\n          checkIRs.push({ kind: \"overwrite_effect\", source });\n        } else {\n          hasFallback = true;\n        }\n        break;\n      }\n      case \"custom\": {\n        // superRefine / raw .check(): the callback collects issues from zod's\n        // payload rather than returning a verdict, so it is referenced and\n        // called with a synthesized payload (see SuperRefineEffectCheckIR).\n        if (isPayloadCheck(check)) {\n          const payloadRef = payloadRefFor?.(index);\n          if (payloadRef === undefined) {\n            hasFallback = true;\n            break;\n          }\n          checkIRs.push({ kind: \"super_refine_effect\", refIndex: payloadRef });\n          break;\n        }\n        // `.refine(fn, { path })` reports the issue against a member of the\n        // refined value; anything but plain string/number segments is a shape\n        // the generated path expression cannot reproduce.\n        const customPath = Array.isArray(def.path) ? def.path : undefined;\n        if (customPath?.some((p) => typeof p !== \"string\" && typeof p !== \"number\")) {\n          hasFallback = true;\n          break;\n        }\n        const pathIR = customPath && customPath.length > 0 ? { path: customPath } : {};\n        const source = tryCompileEffect(def.fn);\n        if (source) {\n          checkIRs.push({ kind: \"refine_effect\", source, ...pathIR, ...message });\n          break;\n        }\n        // Not inlineable (the predicate captures outer variables). Call the\n        // user's own function object through a schema reference instead of\n        // delegating: a captured `.refine()` at the root otherwise costs the\n        // whole schema its compiled path.\n        const refIndex = refineRef?.(index);\n        if (refIndex !== undefined) {\n          checkIRs.push({ kind: \"refine_effect\", refIndex, ...pathIR, ...message });\n        } else {\n          hasFallback = true;\n        }\n        break;\n      }\n      default:\n        // Unknown check kind — never drop silently; delegate to Zod.\n        hasFallback = true;\n        break;\n    }\n  }\n\n  return { checkIRs, hasFallback };\n}\n\nfunction regexFields(\n  sourceKey: \"hostname\" | \"protocol\",\n  flagsKey: \"hostnameFlags\" | \"protocolFlags\",\n  value: unknown,\n): Partial<CheckStringFormat> {\n  if (!(value instanceof RegExp)) return {};\n  return { [sourceKey]: value.source, ...(value.flags ? { [flagsKey]: value.flags } : {}) };\n}\n\n// ─── Static error message extraction ────────────────────────────────────────\n\nexport type ResolvedMessage =\n  | { kind: \"none\" }\n  | { kind: \"static\"; message: string }\n  | { kind: \"dynamic\" };\n\n/**\n * Classify a check/schema-level `error` param.\n *\n * Zod normalizes `.min(3, \"msg\")` / `{ error: \"msg\" }` / `{ message: \"msg\" }`\n * into an error-map function that ignores its issue argument and returns the\n * string. We call the function with an access-tracking Proxy: if it never\n * inspects the issue, its return value is a constant we can bake into the\n * generated issue. If it reads any issue property (input-dependent message),\n * it is dynamic and the schema must fall back to Zod for exact messages.\n */\nexport function resolveCheckMessage(error: unknown): ResolvedMessage {\n  if (error === null || error === undefined) return { kind: \"none\" };\n  if (typeof error === \"string\") return { kind: \"static\", message: error };\n  if (typeof error !== \"function\") return { kind: \"dynamic\" };\n\n  let accessed = false;\n  const track = () => {\n    accessed = true;\n  };\n  const probe = new Proxy(\n    {},\n    {\n      get(_t, prop) {\n        track();\n        // Avoid breaking string coercion / await probing inside error maps.\n        if (prop === Symbol.toPrimitive || prop === \"toString\" || prop === \"valueOf\") {\n          return () => \"\";\n        }\n        return undefined;\n      },\n      has() {\n        track();\n        return false;\n      },\n      ownKeys() {\n        track();\n        return [];\n      },\n      getOwnPropertyDescriptor() {\n        track();\n        return undefined;\n      },\n    },\n  );\n\n  let result: unknown;\n  try {\n    result = (error as (issue: unknown) => unknown)(probe);\n  } catch {\n    return { kind: \"dynamic\" };\n  }\n  if (accessed) return { kind: \"dynamic\" };\n  if (typeof result === \"string\") return { kind: \"static\", message: result };\n  if (\n    result !== null &&\n    typeof result === \"object\" &&\n    typeof (result as { message?: unknown }).message === \"string\"\n  ) {\n    return { kind: \"static\", message: (result as { message: string }).message };\n  }\n  // Error map deferred (returned undefined) — no custom message.\n  if (result === undefined) return { kind: \"none\" };\n  return { kind: \"dynamic\" };\n}\n"],"mappings":";;;;;;;;;AAWA,SAAgB,mBACd,KACA,QACqD;CACrD,MAAM,OAAO,IAAI;CACjB,IAAI,CAAC,MAAM,OAAO,KAAA;CAClB,QAAQ,UAAU;EAChB,MAAM,KAAK,OAAO,MAAM,EAAE,MAAM,KAAK;EACrC,IAAI,CAAC,yBAAyB,EAAE,GAAG,OAAO,KAAA;EAC1C,KAAK,KAAK;GAAE,QAAQ;GAAI,YAAY,GAAG,IAAI,KAAK,mBAAmB,MAAM;EAAe,CAAC;EACzF,OAAO,KAAK,SAAS;CACvB;AACF;;;;;;;;;;;AAYA,SAAgB,gBACd,KACA,QACA,OACoB;CACpB,IAAI,UAAU,OAAO,SAAS,GAAG,OAAO,KAAA;CACxC,MAAM,QAAQ,OAAO;CACrB,MAAM,OAAO,IAAI;CACjB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,eAAe,KAAK,GAAG,OAAO,KAAA;CACtD,KAAK,KAAK;EACR,QAAS,MAAM,KAA4B;EAC3C,YAAY,GAAG,IAAI,KAAK,mBAAmB,MAAM;CACnD,CAAC;CACD,OAAO,KAAK,SAAS;AACvB;;;;;;AAOA,MAAM,sCAAsB,IAAI,IAAI;CAAC;CAAS;CAAQ;AAAK,CAAC;;;;;;AAO5D,MAAM,oDAAoC,IAAI,IAAI,CAAC,QAAQ,CAAC;;;;;;;;;;AAW5D,MAAM,4CAA4B,IAAI,IAAI;CACxC;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;AAGD,SAAS,YAAY,KAA2B;CAC9C,OAAO,QAAQ,IAAI,IAAI,KAAK,CAAC,0BAA0B,IAAI,IAAI,KAAK;AACtE;;;;;;;AAQA,SAAgB,yBAAyB,KAA2B;CAClE,OAAO,YAAY,GAAG,KAAK,IAAI,UAAU;AAC3C;AAEA,SAAgB,cACd,QAQA,WAEA,eAIA;CACA,MAAM,WAA8B,CAAC;CACrC,IAAI,cAAc;CAElB,KAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,GAAG;EAC7C,MAAM,MAAM,MAAM,MAAM;EACxB,IAAI,CAAC,KAAK;EAIV,IAAI,yBAAyB,GAAG,GAAG;GACjC,cAAc;GACd;EACF;EAKA,MAAM,WAAW,oBAAoB,IAAI,KAAK;EAC9C,IAAI,SAAS,SAAS,WAAW;GAC/B,cAAc;GACd;EACF;EACA,MAAM,UAAU,SAAS,SAAS,WAAW,EAAE,SAAS,SAAS,QAAQ,IAAI,CAAC;EAE9E,QAAQ,IAAI,OAAZ;GACE,KAAK;IACH,SAAS,KAAK;KAAE,MAAM;KAAc,SAAS,IAAI;KAAS,GAAG;IAAQ,CAAC;IACtE;GACF,KAAK;IACH,SAAS,KAAK;KAAE,MAAM;KAAc,SAAS,IAAI;KAAS,GAAG;IAAQ,CAAC;IACtE;GACF,KAAK;IACH,SAAS,KAAK;KAAE,MAAM;KAAiB,QAAQ,IAAI;KAAQ,GAAG;IAAQ,CAAC;IACvE;GACF,KAAK;IACH,SAAS,KAAK;KACZ,MAAM;KACN,OAAO,IAAI;KACX,WAAW,IAAI;KACf,GAAG;IACL,CAAC;IACD;GACF,KAAK;IACH,SAAS,KAAK;KACZ,MAAM;KACN,OAAO,IAAI;KACX,WAAW,IAAI;KACf,GAAG;IACL,CAAC;IACD;GACF,KAAK;IACH,SAAS,KAAK;KAAE,MAAM;KAAe,OAAO,IAAI;KAAO,GAAG;IAAQ,CAAC;IACnE;GACF,KAAK;IACH,SAAS,KAAK;KACZ,MAAM;KACN,QAAQ,IAAI;KACZ,GAAG;IACL,CAAC;IACD;GACF,KAAK,iBAAiB;IACpB,IAAI,IAAI,WAAW,cAAc,OAAO,IAAI,aAAa,UAAU;KACjE,SAAS,KAAK;MACZ,MAAM;MACN,UAAU,IAAI;MACd,GAAI,OAAO,IAAI,aAAa,WAAW,EAAE,UAAU,IAAI,SAAS,IAAI,CAAC;MACrE,GAAG;KACL,CAAC;KACD;IACF;IACA,IAAI,IAAI,WAAW,iBAAiB,OAAO,IAAI,WAAW,UAAU;KAClE,SAAS,KAAK;MAAE,MAAM;MAAe,QAAQ,IAAI;MAAQ,GAAG;KAAQ,CAAC;KACrE;IACF;IACA,IAAI,IAAI,WAAW,eAAe,OAAO,IAAI,WAAW,UAAU;KAChE,SAAS,KAAK;MAAE,MAAM;MAAa,QAAQ,IAAI;MAAQ,GAAG;KAAQ,CAAC;KACnE;IACF;IACA,IAAI,IAAI,WAAW,OAAO;KACxB,SAAS,KAAK;MACZ,MAAM;MACN,QAAQ;MACR,GAAG,YAAY,YAAY,iBAAiB,IAAI,QAAQ;MACxD,GAAG,YAAY,YAAY,iBAAiB,IAAI,QAAQ;MACxD,GAAI,IAAI,YAAY,EAAE,WAAW,KAAK,IAAI,CAAC;MAC3C,GAAG;KACL,CAAC;KACD;IACF;IACA,IAAI,kCAAkC,IAAI,IAAI,MAAM,GAAG;KACrD,cAAc;KACd;IACF;IACA,MAAM,UAAU,IAAI,mBAAmB,SAAS,IAAI,QAAQ,SAAS,IAAI;IACzE,MAAM,QAAQ,IAAI,mBAAmB,UAAU,IAAI,QAAQ,QAAQ,IAAI,QAAQ,QAAQ;IACvF,IAAI,CAAC,WAAW,CAAC,oBAAoB,IAAI,IAAI,MAAM,GAAG;KAEpD,cAAc;KACd;IACF;IACA,SAAS,KAAK;KACZ,MAAM;KACN,QAAQ,IAAI;KACZ,GAAI,UAAU,EAAE,QAAQ,IAAI,CAAC;KAC7B,GAAI,QAAQ,EAAE,cAAc,MAAM,IAAI,CAAC;KACvC,GAAG;IACL,CAAC;IACD;GACF;GACA,KAAK,aAAa;IAEhB,MAAM,SAAS,iBAAiB,IAAI,EAAE;IACtC,IAAI,QACF,SAAS,KAAK;KAAE,MAAM;KAAoB;IAAO,CAAC;SAElD,cAAc;IAEhB;GACF;GACA,KAAK,UAAU;IAIb,IAAI,eAAe,KAAK,GAAG;KACzB,MAAM,aAAa,gBAAgB,KAAK;KACxC,IAAI,eAAe,KAAA,GAAW;MAC5B,cAAc;MACd;KACF;KACA,SAAS,KAAK;MAAE,MAAM;MAAuB,UAAU;KAAW,CAAC;KACnE;IACF;IAIA,MAAM,aAAa,MAAM,QAAQ,IAAI,IAAI,IAAI,IAAI,OAAO,KAAA;IACxD,IAAI,YAAY,MAAM,MAAM,OAAO,MAAM,YAAY,OAAO,MAAM,QAAQ,GAAG;KAC3E,cAAc;KACd;IACF;IACA,MAAM,SAAS,cAAc,WAAW,SAAS,IAAI,EAAE,MAAM,WAAW,IAAI,CAAC;IAC7E,MAAM,SAAS,iBAAiB,IAAI,EAAE;IACtC,IAAI,QAAQ;KACV,SAAS,KAAK;MAAE,MAAM;MAAiB;MAAQ,GAAG;MAAQ,GAAG;KAAQ,CAAC;KACtE;IACF;IAKA,MAAM,WAAW,YAAY,KAAK;IAClC,IAAI,aAAa,KAAA,GACf,SAAS,KAAK;KAAE,MAAM;KAAiB;KAAU,GAAG;KAAQ,GAAG;IAAQ,CAAC;SAExE,cAAc;IAEhB;GACF;GACA;IAEE,cAAc;IACd;EACJ;CACF;CAEA,OAAO;EAAE;EAAU;CAAY;AACjC;AAEA,SAAS,YACP,WACA,UACA,OAC4B;CAC5B,IAAI,EAAE,iBAAiB,SAAS,OAAO,CAAC;CACxC,OAAO;GAAG,YAAY,MAAM;EAAQ,GAAI,MAAM,QAAQ,GAAG,WAAW,MAAM,MAAM,IAAI,CAAC;CAAG;AAC1F;;;;;;;;;;;AAmBA,SAAgB,oBAAoB,OAAiC;CACnE,IAAI,UAAU,QAAQ,UAAU,KAAA,GAAW,OAAO,EAAE,MAAM,OAAO;CACjE,IAAI,OAAO,UAAU,UAAU,OAAO;EAAE,MAAM;EAAU,SAAS;CAAM;CACvE,IAAI,OAAO,UAAU,YAAY,OAAO,EAAE,MAAM,UAAU;CAE1D,IAAI,WAAW;CACf,MAAM,cAAc;EAClB,WAAW;CACb;CACA,MAAM,QAAQ,IAAI,MAChB,CAAC,GACD;EACE,IAAI,IAAI,MAAM;GACZ,MAAM;GAEN,IAAI,SAAS,OAAO,eAAe,SAAS,cAAc,SAAS,WACjE,aAAa;EAGjB;EACA,MAAM;GACJ,MAAM;GACN,OAAO;EACT;EACA,UAAU;GACR,MAAM;GACN,OAAO,CAAC;EACV;EACA,2BAA2B;GACzB,MAAM;EAER;CACF,CACF;CAEA,IAAI;CACJ,IAAI;EACF,SAAU,MAAsC,KAAK;CACvD,QAAQ;EACN,OAAO,EAAE,MAAM,UAAU;CAC3B;CACA,IAAI,UAAU,OAAO,EAAE,MAAM,UAAU;CACvC,IAAI,OAAO,WAAW,UAAU,OAAO;EAAE,MAAM;EAAU,SAAS;CAAO;CACzE,IACE,WAAW,QACX,OAAO,WAAW,YAClB,OAAQ,OAAiC,YAAY,UAErD,OAAO;EAAE,MAAM;EAAU,SAAU,OAA+B;CAAQ;CAG5E,IAAI,WAAW,KAAA,GAAW,OAAO,EAAE,MAAM,OAAO;CAChD,OAAO,EAAE,MAAM,UAAU;AAC3B"}

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

@@ -1,3 +1,4 @@
+//#region src/core/extract/effects.d.ts
 /**
  * Effect compilation utilities.
  * Uses fn.toString() to extract function source text from live Zod schema references,
@@ -12,7 +13,7 @@
  * (superRefine-style issue collection), and an async/generator function returns
  * a promise where zod's synchronous parse raises $ZodAsyncError.
  */
-export declare function isReferenceablePredicate(fn: unknown): boolean;
+declare function isReferenceablePredicate(fn: unknown): boolean;
 /**
  * A `superRefine`: a `custom` check whose callback takes zod's PAYLOAD rather
  * than the value, collecting issues instead of returning a verdict. Zod stores
@@ -26,20 +27,22 @@ export declare function isReferenceablePredicate(fn: unknown): boolean;
  * unmediated. A `when` predicate is likewise refused: it makes zod run the
  * check conditionally, where generated code runs it always.
  */
-export declare function isPayloadCheck(check: {
-    _zod?: {
-        check?: unknown;
-        def?: {
-            fn?: unknown;
-            when?: unknown;
-        };
-        traits?: Set<string>;
+declare function isPayloadCheck(check: {
+  _zod?: {
+    check?: unknown;
+    def?: {
+      fn?: unknown;
+      when?: unknown;
     };
+    traits?: Set<string>;
+  };
 }): boolean;
 /**
  * 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;
+declare function tryCompileEffect(fn: unknown): string | undefined;
+//#endregion
+export { isPayloadCheck, isReferenceablePredicate, tryCompileEffect };
 //# sourceMappingURL=effects.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/core/extract/effects.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA2CH;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,OAAO,GAAG,OAAO,CAO7D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE;IACpC,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,OAAO,CAAC;QAAC,GAAG,CAAC,EAAE;YAAE,EAAE,CAAC,EAAE,OAAO,CAAC;YAAC,IAAI,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;CAC1F,GAAG,OAAO,CAOV;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAgEhE"}
+{"version":3,"file":"effects.d.ts","names":[],"sources":["../../../src/core/extract/effects.ts"],"mappings":";;;;;;;;;;;;;;;iBAwDgB,yBAAyB;;;;;;;;;;;;;;iBAsBzB,eAAe;EAC7B;IAAS;IAAiB;MAAQ;MAAc;;IAAkB,SAAS;;;;;;;;iBAe7D,iBAAiB"}

package/dist/core/extract/effects.js

@@ -1,240 +1,171 @@
-/**
- * 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",
+//#region src/core/extract/effects.ts
+const SAFE_GLOBALS = /* @__PURE__ */ 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"
 ]);
 /**
- * Can this refine predicate be CALLED by reference from generated code?
- *
- * Weaker than {@link tryCompileEffect}: the callback keeps its own closure, so
- * captures are fine — only shapes whose semantics the generated call could not
- * reproduce are rejected. A second parameter means the zod `ctx` protocol
- * (superRefine-style issue collection), and an async/generator function returns
- * a promise where zod's synchronous parse raises $ZodAsyncError.
- */
-export function isReferenceablePredicate(fn) {
-    if (typeof fn !== "function")
-        return false;
-    if (fn.length >= 2)
-        return false;
-    const kind = fn.constructor?.name;
-    return (kind !== "AsyncFunction" && kind !== "GeneratorFunction" && kind !== "AsyncGeneratorFunction");
+* Can this refine predicate be CALLED by reference from generated code?
+*
+* Weaker than {@link tryCompileEffect}: the callback keeps its own closure, so
+* captures are fine — only shapes whose semantics the generated call could not
+* reproduce are rejected. A second parameter means the zod `ctx` protocol
+* (superRefine-style issue collection), and an async/generator function returns
+* a promise where zod's synchronous parse raises $ZodAsyncError.
+*/
+function isReferenceablePredicate(fn) {
+	if (typeof fn !== "function") return false;
+	if (fn.length >= 2) return false;
+	const kind = fn.constructor?.name;
+	return kind !== "AsyncFunction" && kind !== "GeneratorFunction" && kind !== "AsyncGeneratorFunction";
 }
 /**
- * A `superRefine`: a `custom` check whose callback takes zod's PAYLOAD rather
- * than the value, collecting issues instead of returning a verdict. Zod stores
- * it on the check instance (`_zod.check`) rather than `def.fn`.
- *
- * Narrowed to zod's OWN wrapper, which is what `_superRefine` builds and the
- * only thing whose payload handling is modelled here: it installs `addIssue`,
- * so every issue the user adds has been through `util.issue`. The trait marks a
- * genuine `$ZodCheck` instance and so excludes a raw `.check(fn)` — shape-
- * identical, but there the callback IS the user's, holding the payload
- * unmediated. A `when` predicate is likewise refused: it makes zod run the
- * check conditionally, where generated code runs it always.
- */
-export function isPayloadCheck(check) {
-    return (check._zod?.def?.fn === undefined &&
-        check._zod?.def?.when === undefined &&
-        typeof check._zod?.check === "function" &&
-        check._zod?.traits?.has("$ZodCheck") === true);
+* A `superRefine`: a `custom` check whose callback takes zod's PAYLOAD rather
+* than the value, collecting issues instead of returning a verdict. Zod stores
+* it on the check instance (`_zod.check`) rather than `def.fn`.
+*
+* Narrowed to zod's OWN wrapper, which is what `_superRefine` builds and the
+* only thing whose payload handling is modelled here: it installs `addIssue`,
+* so every issue the user adds has been through `util.issue`. The trait marks a
+* genuine `$ZodCheck` instance and so excludes a raw `.check(fn)` — shape-
+* identical, but there the callback IS the user's, holding the payload
+* unmediated. A `when` predicate is likewise refused: it makes zod run the
+* check conditionally, where generated code runs it always.
+*/
+function isPayloadCheck(check) {
+	return check._zod?.def?.fn === void 0 && check._zod?.def?.when === void 0 && typeof check._zod?.check === "function" && check._zod?.traits?.has("$ZodCheck") === true;
 }
 /**
- * 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 and generator functions
-    if ("async" in ast && ast.async)
-        return undefined;
-    if ("generator" in ast && ast.generator)
-        return undefined;
-    // Collect parameter names
-    const params = new Set();
-    const fnNode = ast;
-    // Reject functions with 2+ required parameters (uses Zod ctx argument).
-    // transform(value, ctx) and superRefine(value, ctx) rely on ctx for
-    // issue collection, which cannot be reproduced in compiled output.
-    // fn.length counts parameters before the first default, so (v, base=10)
-    // has length 1 (allowed) while (v, ctx) has length 2 (rejected).
-    if (fn.length >= 2)
-        return undefined;
-    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;
+* 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).
+*/
+function tryCompileEffect(fn) {
+	if (typeof fn !== "function") return void 0;
+	const source = fn.toString();
+	if (source.includes("[native code]")) return void 0;
+	let ast;
+	try {
+		ast = parseExpressionAt(source, 0, {
+			ecmaVersion: "latest",
+			sourceType: "module"
+		});
+	} catch {
+		return;
+	}
+	if ("async" in ast && ast.async) return void 0;
+	if ("generator" in ast && ast.generator) return void 0;
+	const params = /* @__PURE__ */ new Set();
+	const fnNode = ast;
+	if (fn.length >= 2) return void 0;
+	if (fnNode.params) for (const param of fnNode.params) collectBindingNames(param, params);
+	const locals = /* @__PURE__ */ new Set();
+	if (fnNode.body && fnNode.body.type === "BlockStatement") collectLocals(fnNode.body, locals);
+	const refs = /* @__PURE__ */ new Set();
+	if (fnNode.body) collectIdentifierRefs(fnNode.body, refs);
+	for (const ref of refs) if (!params.has(ref) && !locals.has(ref) && !SAFE_GLOBALS.has(ref)) return;
+	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;
-    }
+	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);
-            }
-        }
-    }
+	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;
-    }
-    // `this` in arrow functions captures from enclosing scope — treat as external capture
-    if (node.type === "ThisExpression") {
-        refs.add("this");
-        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;
-    }
-    // Object literal properties: skip non-computed keys, only walk values
-    if (node.type === "Property") {
-        const prop = node;
-        if (prop.computed) {
-            collectIdentifierRefs(prop.key, refs);
-        }
-        collectIdentifierRefs(prop.value, 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);
-            }
-        }
-    }
+	if (node.type === "Identifier") {
+		refs.add(node.name);
+		return;
+	}
+	if (node.type === "ThisExpression") {
+		refs.add("this");
+		return;
+	}
+	if (node.type === "MemberExpression") {
+		const member = node;
+		collectIdentifierRefs(member.object, refs);
+		if (member.computed) collectIdentifierRefs(member.property, refs);
+		return;
+	}
+	if (node.type === "Property") {
+		const prop = node;
+		if (prop.computed) collectIdentifierRefs(prop.key, refs);
+		collectIdentifierRefs(prop.value, refs);
+		return;
+	}
+	if (node.type === "VariableDeclarator") {
+		const decl = node;
+		if (decl.init) collectIdentifierRefs(decl.init, refs);
+		return;
+	}
+	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);
+		}
+	}
 }
+//#endregion
+export { isPayloadCheck, isReferenceablePredicate, tryCompileEffect };
+
 //# sourceMappingURL=effects.js.map

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

@@ -1 +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;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAW;IAClD,IAAI,OAAO,EAAE,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;IAClC,OAAO,CACL,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,mBAAmB,IAAI,IAAI,KAAK,wBAAwB,CAC9F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,KAE9B;IACC,OAAO,CACL,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,SAAS;QACjC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,SAAS;QACnC,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,UAAU;QACvC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI,CAC9C,CAAC;AACJ,CAAC;AAED;;;;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,uCAAuC;IACvC,IAAI,OAAO,IAAI,GAAG,IAAK,GAA2B,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,WAAW,IAAI,GAAG,IAAK,GAA+B,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEvF,0BAA0B;IAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,MAAM,GAAG,GAId,CAAC;IAEF,wEAAwE;IACxE,oEAAoE;IACpE,mEAAmE;IACnE,wEAAwE;IACxE,iEAAiE;IACjE,IAAK,EAAyB,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7D,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,sFAAsF;IACtF,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,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,sEAAsE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAA4D,CAAC;QAC1E,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,qBAAqB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC,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"}
+{"version":3,"file":"effects.js","names":[],"sources":["../../../src/core/extract/effects.ts"],"sourcesContent":["/**\n * Effect compilation utilities.\n * Uses fn.toString() to extract function source text from live Zod schema references,\n * then classifies whether the function can be safely inlined (zero external captures).\n */\n\nimport type { Node } from \"acorn\";\nimport { parseExpressionAt } from \"acorn\";\n\n// Well-known globals that are safe to reference in inlined functions\nconst SAFE_GLOBALS = new Set([\n  \"undefined\",\n  \"null\",\n  \"NaN\",\n  \"Infinity\",\n  \"Math\",\n  \"Number\",\n  \"String\",\n  \"Boolean\",\n  \"Array\",\n  \"Object\",\n  \"JSON\",\n  \"Date\",\n  \"RegExp\",\n  \"parseInt\",\n  \"parseFloat\",\n  \"isNaN\",\n  \"isFinite\",\n  \"encodeURI\",\n  \"decodeURI\",\n  \"encodeURIComponent\",\n  \"decodeURIComponent\",\n  \"BigInt\",\n  \"Symbol\",\n  \"Map\",\n  \"Set\",\n  \"Error\",\n  \"TypeError\",\n  \"RangeError\",\n  \"SyntaxError\",\n  \"ReferenceError\",\n  \"Promise\",\n  \"globalThis\",\n  \"true\",\n  \"false\",\n]);\n\n/**\n * Can this refine predicate be CALLED by reference from generated code?\n *\n * Weaker than {@link tryCompileEffect}: the callback keeps its own closure, so\n * captures are fine — only shapes whose semantics the generated call could not\n * reproduce are rejected. A second parameter means the zod `ctx` protocol\n * (superRefine-style issue collection), and an async/generator function returns\n * a promise where zod's synchronous parse raises $ZodAsyncError.\n */\nexport function isReferenceablePredicate(fn: unknown): boolean {\n  if (typeof fn !== \"function\") return false;\n  if (fn.length >= 2) return false;\n  const kind = fn.constructor?.name;\n  return (\n    kind !== \"AsyncFunction\" && kind !== \"GeneratorFunction\" && kind !== \"AsyncGeneratorFunction\"\n  );\n}\n\n/**\n * A `superRefine`: a `custom` check whose callback takes zod's PAYLOAD rather\n * than the value, collecting issues instead of returning a verdict. Zod stores\n * it on the check instance (`_zod.check`) rather than `def.fn`.\n *\n * Narrowed to zod's OWN wrapper, which is what `_superRefine` builds and the\n * only thing whose payload handling is modelled here: it installs `addIssue`,\n * so every issue the user adds has been through `util.issue`. The trait marks a\n * genuine `$ZodCheck` instance and so excludes a raw `.check(fn)` — shape-\n * identical, but there the callback IS the user's, holding the payload\n * unmediated. A `when` predicate is likewise refused: it makes zod run the\n * check conditionally, where generated code runs it always.\n */\nexport function isPayloadCheck(check: {\n  _zod?: { check?: unknown; def?: { fn?: unknown; when?: unknown }; traits?: Set<string> };\n}): boolean {\n  return (\n    check._zod?.def?.fn === undefined &&\n    check._zod?.def?.when === undefined &&\n    typeof check._zod?.check === \"function\" &&\n    check._zod?.traits?.has(\"$ZodCheck\") === true\n  );\n}\n\n/**\n * Try to compile a function into an inlineable source string.\n * Returns the function source if it's a zero-capture function (safe to inline),\n * or undefined if it cannot be compiled (async, has captures, or parse failure).\n */\nexport function tryCompileEffect(fn: unknown): string | undefined {\n  if (typeof fn !== \"function\") return undefined;\n\n  const source = fn.toString();\n\n  // Quick reject: native functions\n  if (source.includes(\"[native code]\")) return undefined;\n\n  let ast: Node;\n  try {\n    ast = parseExpressionAt(source, 0, {\n      ecmaVersion: \"latest\",\n      sourceType: \"module\",\n    });\n  } catch {\n    // Parse failed — likely TypeScript annotations or unsupported syntax\n    return undefined;\n  }\n\n  // Reject async and generator functions\n  if (\"async\" in ast && (ast as { async?: boolean }).async) return undefined;\n  if (\"generator\" in ast && (ast as { generator?: boolean }).generator) return undefined;\n\n  // Collect parameter names\n  const params = new Set<string>();\n  const fnNode = ast as {\n    type: string;\n    params?: Node[];\n    body?: Node;\n  };\n\n  // Reject functions with 2+ required parameters (uses Zod ctx argument).\n  // transform(value, ctx) and superRefine(value, ctx) rely on ctx for\n  // issue collection, which cannot be reproduced in compiled output.\n  // fn.length counts parameters before the first default, so (v, base=10)\n  // has length 1 (allowed) while (v, ctx) has length 2 (rejected).\n  if ((fn as { length: number }).length >= 2) return undefined;\n\n  if (fnNode.params) {\n    for (const param of fnNode.params) {\n      collectBindingNames(param, params);\n    }\n  }\n\n  // Collect local variable declarations in the body\n  const locals = new Set<string>();\n  if (fnNode.body && fnNode.body.type === \"BlockStatement\") {\n    collectLocals(fnNode.body, locals);\n  }\n\n  // Collect all identifier references in the body\n  const refs = new Set<string>();\n  if (fnNode.body) {\n    collectIdentifierRefs(fnNode.body, refs);\n  }\n\n  // Check for external captures\n  for (const ref of refs) {\n    if (!params.has(ref) && !locals.has(ref) && !SAFE_GLOBALS.has(ref)) {\n      return undefined; // Has external capture\n    }\n  }\n\n  return source;\n}\n\n/** Collect binding names from a parameter pattern (handles destructuring). */\nfunction collectBindingNames(node: Node, names: Set<string>): void {\n  switch (node.type) {\n    case \"Identifier\":\n      names.add((node as Node & { name: string }).name);\n      break;\n    case \"AssignmentPattern\":\n      collectBindingNames((node as Node & { left: Node }).left, names);\n      break;\n    case \"ObjectPattern\":\n      for (const prop of (node as Node & { properties: Node[] }).properties) {\n        if (prop.type === \"RestElement\") {\n          collectBindingNames((prop as Node & { argument: Node }).argument, names);\n        } else {\n          collectBindingNames((prop as Node & { value: Node }).value, names);\n        }\n      }\n      break;\n    case \"ArrayPattern\":\n      for (const elem of (node as Node & { elements: (Node | null)[] }).elements) {\n        if (elem) collectBindingNames(elem, names);\n      }\n      break;\n    case \"RestElement\":\n      collectBindingNames((node as Node & { argument: Node }).argument, names);\n      break;\n  }\n}\n\n/** Collect locally declared variable names from a block body. */\nfunction collectLocals(body: Node, locals: Set<string>): void {\n  const block = body as Node & { body: Node[] };\n  if (!block.body) return;\n  for (const stmt of block.body) {\n    if (stmt.type === \"VariableDeclaration\") {\n      for (const decl of (stmt as Node & { declarations: Node[] }).declarations) {\n        const id = (decl as Node & { id: Node }).id;\n        collectBindingNames(id, locals);\n      }\n    }\n  }\n}\n\n/** Collect all identifier references in an AST subtree. */\nfunction collectIdentifierRefs(node: Node, refs: Set<string>): void {\n  if (node.type === \"Identifier\") {\n    refs.add((node as Node & { name: string }).name);\n    return;\n  }\n\n  // `this` in arrow functions captures from enclosing scope — treat as external capture\n  if (node.type === \"ThisExpression\") {\n    refs.add(\"this\");\n    return;\n  }\n\n  // Skip property access identifiers (obj.prop — \"prop\" is not a reference)\n  if (node.type === \"MemberExpression\") {\n    const member = node as Node & { object: Node; property: Node; computed: boolean };\n    collectIdentifierRefs(member.object, refs);\n    if (member.computed) {\n      collectIdentifierRefs(member.property, refs);\n    }\n    return;\n  }\n\n  // Object literal properties: skip non-computed keys, only walk values\n  if (node.type === \"Property\") {\n    const prop = node as Node & { key: Node; value: Node; computed: boolean };\n    if (prop.computed) {\n      collectIdentifierRefs(prop.key, refs);\n    }\n    collectIdentifierRefs(prop.value, refs);\n    return;\n  }\n\n  // Skip binding positions in variable declarations, function params, etc.\n  if (node.type === \"VariableDeclarator\") {\n    const decl = node as Node & { init: Node | null };\n    if (decl.init) collectIdentifierRefs(decl.init, refs);\n    return;\n  }\n\n  // Recursively walk all child nodes\n  for (const key of Object.keys(node)) {\n    if (key === \"type\" || key === \"start\" || key === \"end\") continue;\n    const child = (node as unknown as Record<string, unknown>)[key];\n    if (child && typeof child === \"object\") {\n      if (Array.isArray(child)) {\n        for (const item of child) {\n          if (item && typeof item === \"object\" && \"type\" in item) {\n            collectIdentifierRefs(item as Node, refs);\n          }\n        }\n      } else if (\"type\" in child) {\n        collectIdentifierRefs(child as Node, refs);\n      }\n    }\n  }\n}\n"],"mappings":";;AAUA,MAAM,+BAAe,IAAI,IAAI;CAC3B;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;;;;;;;;;AAWD,SAAgB,yBAAyB,IAAsB;CAC7D,IAAI,OAAO,OAAO,YAAY,OAAO;CACrC,IAAI,GAAG,UAAU,GAAG,OAAO;CAC3B,MAAM,OAAO,GAAG,aAAa;CAC7B,OACE,SAAS,mBAAmB,SAAS,uBAAuB,SAAS;AAEzE;;;;;;;;;;;;;;AAeA,SAAgB,eAAe,OAEnB;CACV,OACE,MAAM,MAAM,KAAK,OAAO,KAAA,KACxB,MAAM,MAAM,KAAK,SAAS,KAAA,KAC1B,OAAO,MAAM,MAAM,UAAU,cAC7B,MAAM,MAAM,QAAQ,IAAI,WAAW,MAAM;AAE7C;;;;;;AAOA,SAAgB,iBAAiB,IAAiC;CAChE,IAAI,OAAO,OAAO,YAAY,OAAO,KAAA;CAErC,MAAM,SAAS,GAAG,SAAS;CAG3B,IAAI,OAAO,SAAS,eAAe,GAAG,OAAO,KAAA;CAE7C,IAAI;CACJ,IAAI;EACF,MAAM,kBAAkB,QAAQ,GAAG;GACjC,aAAa;GACb,YAAY;EACd,CAAC;CACH,QAAQ;EAEN;CACF;CAGA,IAAI,WAAW,OAAQ,IAA4B,OAAO,OAAO,KAAA;CACjE,IAAI,eAAe,OAAQ,IAAgC,WAAW,OAAO,KAAA;CAG7E,MAAM,yBAAS,IAAI,IAAY;CAC/B,MAAM,SAAS;CAWf,IAAK,GAA0B,UAAU,GAAG,OAAO,KAAA;CAEnD,IAAI,OAAO,QACT,KAAK,MAAM,SAAS,OAAO,QACzB,oBAAoB,OAAO,MAAM;CAKrC,MAAM,yBAAS,IAAI,IAAY;CAC/B,IAAI,OAAO,QAAQ,OAAO,KAAK,SAAS,kBACtC,cAAc,OAAO,MAAM,MAAM;CAInC,MAAM,uBAAO,IAAI,IAAY;CAC7B,IAAI,OAAO,MACT,sBAAsB,OAAO,MAAM,IAAI;CAIzC,KAAK,MAAM,OAAO,MAChB,IAAI,CAAC,OAAO,IAAI,GAAG,KAAK,CAAC,OAAO,IAAI,GAAG,KAAK,CAAC,aAAa,IAAI,GAAG,GAC/D;CAIJ,OAAO;AACT;;AAGA,SAAS,oBAAoB,MAAY,OAA0B;CACjE,QAAQ,KAAK,MAAb;EACE,KAAK;GACH,MAAM,IAAK,KAAiC,IAAI;GAChD;EACF,KAAK;GACH,oBAAqB,KAA+B,MAAM,KAAK;GAC/D;EACF,KAAK;GACH,KAAK,MAAM,QAAS,KAAuC,YACzD,IAAI,KAAK,SAAS,eAChB,oBAAqB,KAAmC,UAAU,KAAK;QAEvE,oBAAqB,KAAgC,OAAO,KAAK;GAGrE;EACF,KAAK;GACH,KAAK,MAAM,QAAS,KAA8C,UAChE,IAAI,MAAM,oBAAoB,MAAM,KAAK;GAE3C;EACF,KAAK;GACH,oBAAqB,KAAmC,UAAU,KAAK;GACvE;CACJ;AACF;;AAGA,SAAS,cAAc,MAAY,QAA2B;CAC5D,MAAM,QAAQ;CACd,IAAI,CAAC,MAAM,MAAM;CACjB,KAAK,MAAM,QAAQ,MAAM,MACvB,IAAI,KAAK,SAAS,uBAChB,KAAK,MAAM,QAAS,KAAyC,cAAc;EACzE,MAAM,KAAM,KAA6B;EACzC,oBAAoB,IAAI,MAAM;CAChC;AAGN;;AAGA,SAAS,sBAAsB,MAAY,MAAyB;CAClE,IAAI,KAAK,SAAS,cAAc;EAC9B,KAAK,IAAK,KAAiC,IAAI;EAC/C;CACF;CAGA,IAAI,KAAK,SAAS,kBAAkB;EAClC,KAAK,IAAI,MAAM;EACf;CACF;CAGA,IAAI,KAAK,SAAS,oBAAoB;EACpC,MAAM,SAAS;EACf,sBAAsB,OAAO,QAAQ,IAAI;EACzC,IAAI,OAAO,UACT,sBAAsB,OAAO,UAAU,IAAI;EAE7C;CACF;CAGA,IAAI,KAAK,SAAS,YAAY;EAC5B,MAAM,OAAO;EACb,IAAI,KAAK,UACP,sBAAsB,KAAK,KAAK,IAAI;EAEtC,sBAAsB,KAAK,OAAO,IAAI;EACtC;CACF;CAGA,IAAI,KAAK,SAAS,sBAAsB;EACtC,MAAM,OAAO;EACb,IAAI,KAAK,MAAM,sBAAsB,KAAK,MAAM,IAAI;EACpD;CACF;CAGA,KAAK,MAAM,OAAO,OAAO,KAAK,IAAI,GAAG;EACnC,IAAI,QAAQ,UAAU,QAAQ,WAAW,QAAQ,OAAO;EACxD,MAAM,QAAS,KAA4C;EAC3D,IAAI,SAAS,OAAO,UAAU,UACxB;OAAA,MAAM,QAAQ,KAAK,GAChB;SAAA,MAAM,QAAQ,OACjB,IAAI,QAAQ,OAAO,SAAS,YAAY,UAAU,MAChD,sBAAsB,MAAc,IAAI;GAAA,OAGvC,IAAI,UAAU,OACnB,sBAAsB,OAAe,IAAI;EAAA;CAG/C;AACF"}

package/dist/core/extract/extractors/any.d.ts

@@ -1,3 +1,6 @@
-import type { Extractor } from "../types.js";
-export declare const extractAny: Extractor;
+import { Extractor } from "../types.js";
+//#region src/core/extract/extractors/any.d.ts
+declare const extractAny: Extractor;
+//#endregion
+export { extractAny };
 //# sourceMappingURL=any.d.ts.map

package/dist/core/extract/extractors/any.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"any.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/any.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,UAAU,EAAE,SAAmC,CAAC"}
+{"version":3,"file":"any.d.ts","names":[],"sources":["../../../../src/core/extract/extractors/any.ts"],"mappings":";;cAEa,YAAY"}

package/dist/core/extract/extractors/any.js

@@ -1,2 +1,6 @@
-export const extractAny = () => ({ type: "any" });
+//#region src/core/extract/extractors/any.ts
+const extractAny = () => ({ type: "any" });
+//#endregion
+export { extractAny };
+
 //# sourceMappingURL=any.js.map

package/dist/core/extract/extractors/any.js.map

@@ -1 +1 @@
-{"version":3,"file":"any.js","sourceRoot":"","sources":["../../../../src/core/extract/extractors/any.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAc,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC"}
+{"version":3,"file":"any.js","names":[],"sources":["../../../../src/core/extract/extractors/any.ts"],"sourcesContent":["import type { Extractor } from \"../types.js\";\n\nexport const extractAny: Extractor = () => ({ type: \"any\" });\n"],"mappings":";AAEA,MAAa,oBAA+B,EAAE,MAAM,MAAM"}

package/dist/core/extract/extractors/array.d.ts

@@ -1,4 +1,7 @@
-import type { SchemaIR } from "../../types.js";
-import type { ExtractorContext, ZodDef } from "../types.js";
-export declare function extractArray(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+import { SchemaIR } from "../../types.js";
+import { ExtractorContext, ZodDef } from "../types.js";
+//#region src/core/extract/extractors/array.d.ts
+declare function extractArray(def: ZodDef, ctx: ExtractorContext): SchemaIR;
+//#endregion
+export { extractArray };
 //# sourceMappingURL=array.d.ts.map

package/dist/core/extract/extractors/array.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/extract/extractors/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAW5D,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,gBAAgB,GAAG,QAAQ,CAiBzE"}
+{"version":3,"file":"array.d.ts","names":[],"sources":["../../../../src/core/extract/extractors/array.ts"],"mappings":";;;iBAagB,aAAa,KAAK,QAAQ,KAAK,mBAAmB"}