zod-compiler 1.23.0 → 1.23.2

package/dist/core/diagnostic.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/core/diagnostic.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwCH,+EAA+E;AAE/E,qDAAqD;AACrD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;AAEjF,mEAAmE;AACnE,SAAS,qBAAqB,CAAC,EAAY;IACzC,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,aAAc,EAAyB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,WAAW,EAAE,CAAC,IAAI,GAAG,CAAC;IAC/B,CAAC;IACD,yEAAyE;IACzE,6EAA6E;IAC7E,+CAA+C;IAC/C,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB;gBAAE,OAAO,oCAAoC,CAAC;YACnF,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;gBAAE,OAAO,mBAAmB,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAE/E,MAAM,cAAc,GAA2B;IAC7C,SAAS,EAAE,wDAAwD;IACnE,MAAM,EAAE,wEAAwE;IAChF,WAAW,EAAE,yDAAyD;IACtE,MAAM,EAAE,iDAAiD;IACzD,IAAI,EAAE,uFAAuF;IAC7F,WAAW,EAAE,uDAAuD;IACpE,SAAS,EACP,4GAA4G;CAC/G,CAAC;AAEF,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,wDAAwD,CAAC;AAC5F,CAAC;AAED,8EAA8E;AAE9E,mEAAmE;AACnE,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAY,EAAE,UAAkB;IACrD,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzD,MAAM,CAAC,GAAG,UAAU,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;YACxC,CAAC;YACD,MAAM;QACR,KAAK,OAAO;YACV,MAAM,CAAC,GAAG,UAAU,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM;QACR,KAAK,OAAO;YACV,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC3C,MAAM,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtC,CAAC;YACD,IAAI,EAAE,CAAC,IAAI;gBAAE,MAAM,CAAC,GAAG,UAAU,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,CAAC,GAAG,UAAU,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,KAAK;YACR,MAAM,CAAC,GAAG,UAAU,WAAW,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM;QACR,KAAK,KAAK;YACR,MAAM,CAAC,GAAG,UAAU,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,OAAO,CAAC;QACb,KAAK,oBAAoB;YACvB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,CAAC;YACD,MAAM;QACR,KAAK,cAAc;YACjB,MAAM,CAAC,GAAG,UAAU,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM;QACR,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU;YACb,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM;QACR,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACV,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM;QACR,KAAK,MAAM;YACT,MAAM,CAAC,GAAG,UAAU,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,UAAU,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,CAAC,GAAG,UAAU,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM;QACR,KAAK,iBAAiB;YACpB,yEAAyE;YACzE,kEAAkE;YAClE,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM;IACV,CAAC;AACH,CAAC;AAaD,SAAS,MAAM,CAAC,EAAY,EAAE,WAAmB;IAC/C,gBAAgB;IAChB,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,WAAW,IAAI,QAAQ,CAAC;QACzC,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,IAAI;gBACJ,QAAQ,EAAE,EAAE;aACb;YACD,KAAK,EAAE,CAAC;YACR,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACxD,eAAe,EAAE,aAAa,EAAE,CAAC,MAAM,GAAG;SAC3C,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,IAAI,eAAe,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAEhD,wBAAwB;IACxB,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,SAAS,GAAqD,EAAE,CAAC;IAEvE,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACnC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC;QACjB,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC;QAC3B,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,eAAe,KAAK,IAAI,IAAI,CAAC,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;YAC3D,eAAe,GAAG,CAAC,CAAC,eAAe,CAAC;QACtC,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,GAAG,CAAC,CAAC;QACV,UAAU,GAAG,CAAC,CAAC;IACjB,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,IAAI,EAAE,WAAW,IAAI,QAAQ;YAC7B,MAAM,EAAE,UAAU;YAClB,QAAQ;SACT;QACD,KAAK;QACL,UAAU;QACV,SAAS;QACT,eAAe;KAChB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,EAAY;IACzC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,MAAM,WAAW,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAE7E,MAAM,MAAM,GAAqB;QAC/B,IAAI;QACJ,KAAK;QACL,UAAU;QACV,WAAW;QACX,gBAAgB,EAAE,eAAe,KAAK,IAAI;QAC1C,SAAS;KACV,CAAC;IACF,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,eAAe,GAAG,eAAe,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"diagnostic.js","names":[],"sources":["../../src/core/diagnostic.ts"],"sourcesContent":["/**\n * Schema diagnostic utilities for the `check` command.\n * Walks SchemaIR in a single pass and collects per-node diagnostic info.\n */\n\nimport type { SchemaIR } from \"./types.js\";\n\n// ─── Types ──────────────────────────────────────────────────────────────────\n\nexport type NodeStatus = \"compiled\" | \"fallback\";\n\nexport interface DiagnosticNode {\n  /** SchemaIR type (e.g. \"string\", \"object\", \"fallback\") */\n  type: string;\n  /** Dot-separated path from root (e.g. \".name\", \".addresses[]\") */\n  path: string;\n  /** Whether this node is compiled or falls back to Zod */\n  status: NodeStatus;\n  /** Fallback reason when status is \"fallback\" */\n  reason?: string;\n  /** Actionable hint for fixing the fallback */\n  hint?: string;\n  /** Child diagnostic nodes */\n  children: DiagnosticNode[];\n}\n\nexport interface DiagnosticResult {\n  /** Root diagnostic tree */\n  root: DiagnosticNode;\n  /** Total leaf node count */\n  total: number;\n  /** Number of compiled leaf nodes */\n  compilable: number;\n  /** Coverage percentage (0-100) */\n  coveragePct: number;\n  /** Whether the schema is eligible for Fast Path */\n  fastPathEligible: boolean;\n  /** Reason Fast Path is ineligible (when fastPathEligible is false) */\n  fastPathBlocker?: string;\n  /** Flat list of fallback entries for summary display */\n  fallbacks: { reason: string; path: string; hint: string }[];\n}\n\n// ─── Fast Path Eligibility ──────────────────────────────────────────────────\n\n/** Schema types that block Fast Path eligibility. */\nconst FAST_PATH_BLOCKERS = new Set<string>([\"fallback\", \"effect\", \"stringBool\"]);\n\n/** Check if a single node blocks Fast Path (without recursing). */\nfunction detectFastPathBlocker(ir: SchemaIR): string | null {\n  if (FAST_PATH_BLOCKERS.has(ir.type)) {\n    return ir.type === \"fallback\" ? `fallback (${(ir as { reason: string }).reason})` : ir.type;\n  }\n  if (\"coerce\" in ir && ir.coerce) {\n    return `coerce (${ir.type})`;\n  }\n  // Value-mutating string checks make the schema slow-path only: overwrite\n  // effects (.trim()/.toLowerCase()) rewrite the value and url checks trim it,\n  // while the fast path returns input unchanged.\n  if (ir.type === \"string\") {\n    for (const check of ir.checks) {\n      if (check.kind === \"overwrite_effect\") return \"overwrite (.trim()/.toLowerCase())\";\n      if (check.kind === \"string_format\" && check.format === \"url\") return \"url (trims value)\";\n    }\n  }\n  return null;\n}\n\n// ─── Hint Generation ────────────────────────────────────────────────────────\n\nconst FALLBACK_HINTS: Record<string, string> = {\n  transform: \"Extract transform into a separate post-processing step\",\n  refine: \"Replace .refine() with built-in checks (e.g. .min(), .max(), .regex())\",\n  superRefine: \"Replace .superRefine() with built-in checks if possible\",\n  custom: \"Replace z.custom() with a supported schema type\",\n  lazy: \"Ensure the lazy getter resolves to a static schema (recursion compiles automatically)\",\n  unsupported: \"This schema type is not yet supported by zod-compiler\",\n  coalesced:\n    \"Every property falls back to Zod, so the whole object is delegated once (faster than per-field delegation)\",\n};\n\nfunction getHint(reason: string): string {\n  return FALLBACK_HINTS[reason] ?? \"Check zod-compiler documentation for supported schemas\";\n}\n\n// ─── Child Iteration (with path computation) ───────────────────────────────\n\n/** Yields [childPath, childIR] pairs for a given SchemaIR node. */\nfunction* iterChildren(ir: SchemaIR, parentPath: string): Generator<[string, SchemaIR]> {\n  switch (ir.type) {\n    case \"object\":\n      for (const [key, child] of Object.entries(ir.properties)) {\n        yield [`${parentPath}.${key}`, child];\n      }\n      break;\n    case \"array\":\n      yield [`${parentPath}[]`, ir.element];\n      break;\n    case \"tuple\":\n      for (const [i, item] of ir.items.entries()) {\n        yield [`${parentPath}[${i}]`, item];\n      }\n      if (ir.rest) yield [`${parentPath}[...rest]`, ir.rest];\n      break;\n    case \"record\":\n      yield [`${parentPath}[key]`, ir.keyType];\n      yield [`${parentPath}[value]`, ir.valueType];\n      break;\n    case \"set\":\n      yield [`${parentPath}[element]`, ir.valueType];\n      break;\n    case \"map\":\n      yield [`${parentPath}[key]`, ir.keyType];\n      yield [`${parentPath}[value]`, ir.valueType];\n      break;\n    case \"union\":\n    case \"discriminatedUnion\":\n      for (const [i, opt] of ir.options.entries()) {\n        yield [`${parentPath}[${i}]`, opt];\n      }\n      break;\n    case \"intersection\":\n      yield [`${parentPath}[left]`, ir.left];\n      yield [`${parentPath}[right]`, ir.right];\n      break;\n    case \"optional\":\n    case \"nullable\":\n    case \"readonly\":\n      yield [parentPath, ir.inner];\n      break;\n    case \"default\":\n    case \"catch\":\n      yield [parentPath, ir.inner];\n      break;\n    case \"pipe\":\n      yield [`${parentPath}[in]`, ir.in];\n      yield [`${parentPath}[out]`, ir.out];\n      break;\n    case \"effect\":\n      yield [`${parentPath}[inner]`, ir.inner];\n      break;\n    case \"recursionTarget\":\n      // Transparent wrapper around a non-root recursive sub-schema: descend so\n      // coverage and any inner fallbacks are reported at the same path.\n      yield [parentPath, ir.inner];\n      break;\n  }\n}\n\n// ─── Single-Pass Diagnostic Walker ──────────────────────────────────────────\n\ninterface WalkResult {\n  node: DiagnosticNode;\n  total: number;\n  compilable: number;\n  fallbacks: { reason: string; path: string; hint: string }[];\n  /** First Fast Path blocker found in this subtree, or null if eligible. */\n  fastPathBlocker: string | null;\n}\n\nfunction walkIR(ir: SchemaIR, currentPath: string): WalkResult {\n  // Fallback leaf\n  if (ir.type === \"fallback\") {\n    const hint = getHint(ir.reason);\n    const nodePath = currentPath || \"(root)\";\n    return {\n      node: {\n        type: ir.type,\n        path: nodePath,\n        status: \"fallback\",\n        reason: ir.reason,\n        hint,\n        children: [],\n      },\n      total: 1,\n      compilable: 0,\n      fallbacks: [{ reason: ir.reason, path: nodePath, hint }],\n      fastPathBlocker: `fallback (${ir.reason})`,\n    };\n  }\n\n  // Check if this node itself blocks Fast Path\n  let fastPathBlocker = detectFastPathBlocker(ir);\n\n  // Recurse into children\n  const children: DiagnosticNode[] = [];\n  let total = 0;\n  let compilable = 0;\n  const fallbacks: { reason: string; path: string; hint: string }[] = [];\n\n  for (const [childPath, child] of iterChildren(ir, currentPath)) {\n    const r = walkIR(child, childPath);\n    children.push(r.node);\n    total += r.total;\n    compilable += r.compilable;\n    fallbacks.push(...r.fallbacks);\n    if (fastPathBlocker === null && r.fastPathBlocker !== null) {\n      fastPathBlocker = r.fastPathBlocker;\n    }\n  }\n\n  // Leaf node (no children produced by iterChildren)\n  if (children.length === 0) {\n    total = 1;\n    compilable = 1;\n  }\n\n  return {\n    node: {\n      type: ir.type,\n      path: currentPath || \"(root)\",\n      status: \"compiled\",\n      children,\n    },\n    total,\n    compilable,\n    fallbacks,\n    fastPathBlocker,\n  };\n}\n\n/**\n * Diagnose a SchemaIR in a single pass.\n * Returns a diagnostic tree with coverage stats, Fast Path eligibility, and actionable hints.\n */\nexport function diagnoseSchema(ir: SchemaIR): DiagnosticResult {\n  const { node: root, total, compilable, fallbacks, fastPathBlocker } = walkIR(ir, \"\");\n  const coveragePct = total > 0 ? Math.round((compilable / total) * 100) : 100;\n\n  const result: DiagnosticResult = {\n    root,\n    total,\n    compilable,\n    coveragePct,\n    fastPathEligible: fastPathBlocker === null,\n    fallbacks,\n  };\n  if (fastPathBlocker !== null) {\n    result.fastPathBlocker = fastPathBlocker;\n  }\n  return result;\n}\n"],"mappings":";;AA8CA,MAAM,qCAAqB,IAAI,IAAY;CAAC;CAAY;CAAU;AAAY,CAAC;;AAG/E,SAAS,sBAAsB,IAA6B;CAC1D,IAAI,mBAAmB,IAAI,GAAG,IAAI,GAChC,OAAO,GAAG,SAAS,aAAa,aAAc,GAA0B,OAAO,KAAK,GAAG;CAEzF,IAAI,YAAY,MAAM,GAAG,QACvB,OAAO,WAAW,GAAG,KAAK;CAK5B,IAAI,GAAG,SAAS,UACd,KAAK,MAAM,SAAS,GAAG,QAAQ;EAC7B,IAAI,MAAM,SAAS,oBAAoB,OAAO;EAC9C,IAAI,MAAM,SAAS,mBAAmB,MAAM,WAAW,OAAO,OAAO;CACvE;CAEF,OAAO;AACT;AAIA,MAAM,iBAAyC;CAC7C,WAAW;CACX,QAAQ;CACR,aAAa;CACb,QAAQ;CACR,MAAM;CACN,aAAa;CACb,WACE;AACJ;AAEA,SAAS,QAAQ,QAAwB;CACvC,OAAO,eAAe,WAAW;AACnC;;AAKA,UAAU,aAAa,IAAc,YAAmD;CACtF,QAAQ,GAAG,MAAX;EACE,KAAK;GACH,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,GAAG,UAAU,GACrD,MAAM,CAAC,GAAG,WAAW,GAAG,OAAO,KAAK;GAEtC;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,KAAK,GAAG,OAAO;GACpC;EACF,KAAK;GACH,KAAK,MAAM,CAAC,GAAG,SAAS,GAAG,MAAM,QAAQ,GACvC,MAAM,CAAC,GAAG,WAAW,GAAG,EAAE,IAAI,IAAI;GAEpC,IAAI,GAAG,MAAM,MAAM,CAAC,GAAG,WAAW,YAAY,GAAG,IAAI;GACrD;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,QAAQ,GAAG,OAAO;GACvC,MAAM,CAAC,GAAG,WAAW,UAAU,GAAG,SAAS;GAC3C;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,YAAY,GAAG,SAAS;GAC7C;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,QAAQ,GAAG,OAAO;GACvC,MAAM,CAAC,GAAG,WAAW,UAAU,GAAG,SAAS;GAC3C;EACF,KAAK;EACL,KAAK;GACH,KAAK,MAAM,CAAC,GAAG,QAAQ,GAAG,QAAQ,QAAQ,GACxC,MAAM,CAAC,GAAG,WAAW,GAAG,EAAE,IAAI,GAAG;GAEnC;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,SAAS,GAAG,IAAI;GACrC,MAAM,CAAC,GAAG,WAAW,UAAU,GAAG,KAAK;GACvC;EACF,KAAK;EACL,KAAK;EACL,KAAK;GACH,MAAM,CAAC,YAAY,GAAG,KAAK;GAC3B;EACF,KAAK;EACL,KAAK;GACH,MAAM,CAAC,YAAY,GAAG,KAAK;GAC3B;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,OAAO,GAAG,EAAE;GACjC,MAAM,CAAC,GAAG,WAAW,QAAQ,GAAG,GAAG;GACnC;EACF,KAAK;GACH,MAAM,CAAC,GAAG,WAAW,UAAU,GAAG,KAAK;GACvC;EACF,KAAK;GAGH,MAAM,CAAC,YAAY,GAAG,KAAK;GAC3B;CACJ;AACF;AAaA,SAAS,OAAO,IAAc,aAAiC;CAE7D,IAAI,GAAG,SAAS,YAAY;EAC1B,MAAM,OAAO,QAAQ,GAAG,MAAM;EAC9B,MAAM,WAAW,eAAe;EAChC,OAAO;GACL,MAAM;IACJ,MAAM,GAAG;IACT,MAAM;IACN,QAAQ;IACR,QAAQ,GAAG;IACX;IACA,UAAU,CAAC;GACb;GACA,OAAO;GACP,YAAY;GACZ,WAAW,CAAC;IAAE,QAAQ,GAAG;IAAQ,MAAM;IAAU;GAAK,CAAC;GACvD,iBAAiB,aAAa,GAAG,OAAO;EAC1C;CACF;CAGA,IAAI,kBAAkB,sBAAsB,EAAE;CAG9C,MAAM,WAA6B,CAAC;CACpC,IAAI,QAAQ;CACZ,IAAI,aAAa;CACjB,MAAM,YAA8D,CAAC;CAErE,KAAK,MAAM,CAAC,WAAW,UAAU,aAAa,IAAI,WAAW,GAAG;EAC9D,MAAM,IAAI,OAAO,OAAO,SAAS;EACjC,SAAS,KAAK,EAAE,IAAI;EACpB,SAAS,EAAE;EACX,cAAc,EAAE;EAChB,UAAU,KAAK,GAAG,EAAE,SAAS;EAC7B,IAAI,oBAAoB,QAAQ,EAAE,oBAAoB,MACpD,kBAAkB,EAAE;CAExB;CAGA,IAAI,SAAS,WAAW,GAAG;EACzB,QAAQ;EACR,aAAa;CACf;CAEA,OAAO;EACL,MAAM;GACJ,MAAM,GAAG;GACT,MAAM,eAAe;GACrB,QAAQ;GACR;EACF;EACA;EACA;EACA;EACA;CACF;AACF;;;;;AAMA,SAAgB,eAAe,IAAgC;CAC7D,MAAM,EAAE,MAAM,MAAM,OAAO,YAAY,WAAW,oBAAoB,OAAO,IAAI,EAAE;CAGnF,MAAM,SAA2B;EAC/B;EACA;EACA;EACA,aANkB,QAAQ,IAAI,KAAK,MAAO,aAAa,QAAS,GAAG,IAAI;EAOvE,kBAAkB,oBAAoB;EACtC;CACF;CACA,IAAI,oBAAoB,MACtB,OAAO,kBAAkB;CAE3B,OAAO;AACT"}

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

@@ -1,5 +1,6 @@
-import type { CheckOrEffectIR } from "../types.js";
-import type { ExtractorContext, ZodCheckDef, ZodCheckSchema } from "./types.js";
+import { CheckOrEffectIR } from "../types.js";
+import { ExtractorContext, ZodCheckDef, ZodCheckSchema } from "./types.js";
+//#region src/core/extract/checks.d.ts
 /**
  * Build the `refineRef` registrar for {@link extractChecks} from an extractor's
  * context: it appends a {@link RefEntry} pointing at the check's own predicate
@@ -7,7 +8,7 @@ import type { ExtractorContext, ZodCheckDef, ZodCheckSchema } from "./types.js";
  * user's function object directly. Returns undefined — meaning "fall back as
  * before" — when the extraction is not collecting refs.
  */
-export declare function refineRefRegistrar(ctx: ExtractorContext, checks: ZodCheckSchema[]): ((index: number) => number | undefined) | undefined;
+declare function refineRefRegistrar(ctx: ExtractorContext, checks: ZodCheckSchema[]): ((index: number) => number | undefined) | undefined;
 /**
  * Register the payload-taking callback of check `index` (`superRefine`) as an
  * `__rf[N]` reference, pointing at zod's own wrapper
@@ -18,15 +19,15 @@ export declare function refineRefRegistrar(ctx: ExtractorContext, checks: ZodChe
  * runs every check unconditionally — with nothing following, there is nothing
  * left to abort, so the two agree.
  */
-export declare function payloadCheckRef(ctx: ExtractorContext, checks: ZodCheckSchema[], index: number): number | undefined;
+declare function payloadCheckRef(ctx: ExtractorContext, checks: ZodCheckSchema[], index: number): number | undefined;
 /**
  * True when a check can't be compiled because of runtime modifiers:
  * a user-supplied `when` predicate, or `abort: true` (which stops later
  * checks and marks the option as aborted in union pruning — compiled
  * output always runs every check).
  */
-export declare function hasUncompilableModifiers(def: ZodCheckDef): boolean;
-export declare function extractChecks(checks: ZodCheckSchema[], 
+declare function hasUncompilableModifiers(def: ZodCheckDef): boolean;
+declare function extractChecks(checks: ZodCheckSchema[],
 /**
  * Registers the predicate of the check at `index` as an `__rf[N]` reference
  * and returns N, or undefined when references are unavailable (no refs array)
@@ -34,19 +35,19 @@ export declare function extractChecks(checks: ZodCheckSchema[],
  * that know their schema's access path; omitted by callers that do not, which
  * simply keeps the old fall-back-to-zod behavior.
  */
-refineRef?: (index: number) => number | undefined, 
+refineRef?: (index: number) => number | undefined,
 /** Registers a payload-taking callback (superRefine); see payloadCheckRef. */
 payloadRefFor?: (index: number) => number | undefined): {
-    checkIRs: CheckOrEffectIR[];
-    hasFallback: boolean;
+  checkIRs: CheckOrEffectIR[];
+  hasFallback: boolean;
 };
-export type ResolvedMessage = {
-    kind: "none";
+type ResolvedMessage = {
+  kind: "none";
 } | {
-    kind: "static";
-    message: string;
+  kind: "static";
+  message: string;
 } | {
-    kind: "dynamic";
+  kind: "dynamic";
 };
 /**
  * Classify a check/schema-level `error` param.
@@ -58,5 +59,7 @@ export type ResolvedMessage = {
  * generated issue. If it reads any issue property (input-dependent message),
  * it is dynamic and the schema must fall back to Zod for exact messages.
  */
-export declare function resolveCheckMessage(error: unknown): ResolvedMessage;
+declare function resolveCheckMessage(error: unknown): ResolvedMessage;
+//#endregion
+export { ResolvedMessage, extractChecks, hasUncompilableModifiers, payloadCheckRef, refineRefRegistrar, resolveCheckMessage };
 //# sourceMappingURL=checks.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../../src/core/extract/checks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAqB,MAAM,aAAa,CAAC;AAEtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEhF;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,cAAc,EAAE,GACvB,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,SAAS,CASrD;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,cAAc,EAAE,EACxB,KAAK,EAAE,MAAM,GACZ,MAAM,GAAG,SAAS,CAUpB;AAuCD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAElE;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,cAAc,EAAE;AACxB;;;;;;GAMG;AACH,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS;AACjD,8EAA8E;AAC9E,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GACpD;IACD,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,WAAW,EAAE,OAAO,CAAC;CACtB,CAuKA;AAaD,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAExB;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAqDnE"}
+{"version":3,"file":"checks.d.ts","names":[],"sources":["../../../src/core/extract/checks.ts"],"mappings":";;;;;;;;;;iBAWgB,mBACd,KAAK,kBACL,QAAQ,qBACL;;;;;;;;;;;iBAqBW,gBACd,KAAK,kBACL,QAAQ,kBACR;;;;;;;iBAwDc,yBAAyB,KAAK;iBAI9B,cACd,QAAQ,kBAQR;;;;;;;;AAAA,aAAa,sCAEb;;AAAA,iBAAiB;EAEjB,UAAU;EACV;;KAqLU;EACN;;EACA;EAAgB;;EAChB;;;;;;;;;;;;iBAYU,oBAAoB,iBAAiB"}