@schemashift/zod-arktype 0.10.0

package/README.md

@@ -0,0 +1,136 @@
+# @schemashift/zod-arktype
+
+Zod ↔ ArkType transformer for SchemaShift. Supports both forward (Zod → ArkType) and backward (ArkType → Zod) migrations.
+
+**Tier:** Pro+
+
+## Installation
+
+```bash
+npm install @schemashift/zod-arktype
+```
+
+## Usage
+
+```typescript
+import { createZodToArktypeHandler, createArktypeToZodHandler } from '@schemashift/zod-arktype';
+import { TransformEngine } from '@schemashift/core';
+
+const engine = new TransformEngine();
+engine.registerHandler('zod', 'arktype', createZodToArktypeHandler());
+engine.registerHandler('arktype', 'zod', createArktypeToZodHandler()); // Backward migration (Pro+)
+```
+
+## API Paradigm Difference
+
+Zod uses a **method chain** API:
+
+```typescript
+z.object({ name: z.string().email(), age: z.number().int() })
+```
+
+ArkType uses a **TypeScript-like string** API:
+
+```typescript
+type({ name: "string.email", age: "number.integer" })
+```
+
+## Transformation Mappings
+
+### Imports
+
+| Zod | ArkType |
+|-----|---------|
+| `import { z } from 'zod'` | `import { type } from 'arktype'` |
+
+### Factory Methods
+
+| Zod | ArkType |
+|-----|---------|
+| `z.string()` | `"string"` |
+| `z.number()` | `"number"` |
+| `z.boolean()` | `"boolean"` |
+| `z.bigint()` | `"bigint"` |
+| `z.date()` | `"Date"` |
+| `z.unknown()` | `"unknown"` |
+| `z.never()` | `"never"` |
+| `z.null()` | `"null"` |
+| `z.void()` | `"void"` |
+| `z.any()` | `"unknown"` |
+| `z.object({...})` | `type({...})` |
+| `z.array(s)` | `"s[]"` |
+| `z.enum(["a", "b"])` | `type("'a' \| 'b'")` |
+| `z.literal(42)` | `type("=== 42")` |
+| `z.union([a, b])` | `type("a \| b")` |
+| `z.record(k, v)` | `type("Record<k, v>")` |
+
+### Validations
+
+| Zod | ArkType |
+|-----|---------|
+| `z.string().email()` | `"string.email"` |
+| `z.string().url()` | `"string.url"` |
+| `z.string().uuid()` | `"string.uuid"` |
+| `z.string().ip()` | `"string.ip"` |
+| `z.number().int()` | `"number.integer"` |
+
+### Modifiers
+
+| Zod | ArkType |
+|-----|---------|
+| `.optional()` | `"type?"` |
+| `.nullable()` | `"type \| null"` |
+
+### Type Helpers
+
+| Zod | ArkType |
+|-----|---------|
+| `z.infer<typeof s>` | `typeof s.infer` |
+| `z.input<typeof s>` | `typeof s.in` |
+| `z.output<typeof s>` | `typeof s.infer` |
+
+## Patterns Requiring Manual Review
+
+### `.superRefine()` / `.refine()`
+
+ArkType uses `.narrow()` for refinements:
+
+```typescript
+// Zod
+z.string().refine((s) => s.length > 0, "Required");
+
+// ArkType
+type("string").narrow((s) => s.length > 0);
+```
+
+### `.transform()`
+
+ArkType uses morphs via `.pipe()`:
+
+```typescript
+// Zod
+z.string().transform((s) => s.toUpperCase());
+
+// ArkType
+type("string").pipe((s) => s.toUpperCase());
+```
+
+### Recursive Types
+
+ArkType uses `scope()` for recursive definitions:
+
+```typescript
+// Zod
+const node: z.ZodType<Node> = z.lazy(() => z.object({ children: z.array(node) }));
+
+// ArkType
+const types = scope({ node: { children: "node[]" } }).export();
+```
+
+### `.brand()`
+
+ArkType has no `.brand()` equivalent. Use nominal types or tagged unions instead.
+
+## License
+
+MIT

package/dist/index.cjs

@@ -0,0 +1,392 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/index.ts
+var index_exports = {};
+__export(index_exports, {
+  ARKTYPE_TO_ZOD_MAPPINGS: () => ARKTYPE_TO_ZOD_MAPPINGS,
+  ZOD_TO_ARKTYPE_MAPPINGS: () => ZOD_TO_ARKTYPE_MAPPINGS,
+  createArktypeToZodHandler: () => createArktypeToZodHandler,
+  createZodToArktypeHandler: () => createZodToArktypeHandler
+});
+module.exports = __toCommonJS(index_exports);
+
+// src/mappings.ts
+var ZOD_TO_ARKTYPE_MAPPINGS = {
+  "z.string()": '"string"',
+  "z.number()": '"number"',
+  "z.boolean()": '"boolean"',
+  "z.bigint()": '"bigint"',
+  "z.symbol()": '"symbol"',
+  "z.undefined()": '"undefined"',
+  "z.null()": '"null"',
+  "z.void()": '"void"',
+  "z.any()": '"unknown"',
+  "z.unknown()": '"unknown"',
+  "z.never()": '"never"',
+  "z.date()": '"Date"'
+};
+var ZOD_VALIDATION_TO_ARKTYPE = {
+  email: "string.email",
+  url: "string.url",
+  uuid: "string.uuid",
+  ip: "string.ip",
+  integer: "number.integer"
+};
+var ARKTYPE_TO_ZOD_MAPPINGS = {
+  string: "z.string()",
+  number: "z.number()",
+  boolean: "z.boolean()",
+  bigint: "z.bigint()",
+  symbol: "z.symbol()",
+  undefined: "z.undefined()",
+  null: "z.null()",
+  void: "z.void()",
+  unknown: "z.unknown()",
+  never: "z.never()",
+  Date: "z.date()",
+  "string.email": "z.string().email()",
+  "string.url": "z.string().url()",
+  "string.uuid": "z.string().uuid()",
+  "string.ip": "z.string().ip()",
+  "number.integer": "z.number().int()"
+};
+var MANUAL_REVIEW_PATTERNS = /* @__PURE__ */ new Set([
+  "discriminatedUnion",
+  // ArkType uses native TS union syntax
+  "superRefine",
+  // ArkType uses .narrow()
+  "transform",
+  // ArkType uses .pipe() or morphs
+  "preprocess",
+  // ArkType uses .from()
+  "lazy",
+  // ArkType handles recursion differently
+  "brand",
+  // ArkType has no equivalent
+  "coerce",
+  // ArkType uses .from() morphs
+  "pipe",
+  // Different semantics
+  "catch"
+  // ArkType has no .catch() equivalent
+]);
+
+// src/arktype-to-zod-transformer.ts
+var ArktypeToZodTransformer = class {
+  errors = [];
+  warnings = [];
+  transform(sourceFile) {
+    this.errors = [];
+    this.warnings = [];
+    const filePath = sourceFile.getFilePath();
+    const originalCode = sourceFile.getFullText();
+    try {
+      let text = originalCode;
+      text = this.rewriteImports(text, filePath);
+      text = this.transformTypeDefinitions(text, filePath);
+      text = this.transformTypeHelpers(text);
+      text = this.transformStringTypes(text);
+      sourceFile.replaceWithText(text);
+      return {
+        success: this.errors.length === 0,
+        filePath,
+        originalCode,
+        transformedCode: sourceFile.getFullText(),
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    } catch (error) {
+      this.errors.push({
+        message: error instanceof Error ? error.message : "Unknown error"
+      });
+      return {
+        success: false,
+        filePath,
+        originalCode,
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    }
+  }
+  rewriteImports(text, filePath) {
+    text = text.replace(
+      /import\s*\{\s*type\s*\}\s*from\s*['"]arktype['"]/g,
+      "import { z } from 'zod'"
+    );
+    text = text.replace(
+      /import\s*\{[^}]*\btype\b[^}]*\}\s*from\s*['"]arktype['"]/g,
+      "import { z } from 'zod'"
+    );
+    text = text.replace(
+      /import\s+type\s*\{[^}]*\}\s*from\s*['"]arktype['"]/g,
+      "import type { z } from 'zod'"
+    );
+    if (text.includes("scope(")) {
+      this.warnings.push(
+        `${filePath}: ArkType scope() has no direct Zod equivalent. Convert to individual z.object() schemas with z.lazy() for recursive types.`
+      );
+    }
+    return text;
+  }
+  transformTypeDefinitions(text, filePath) {
+    text = text.replace(/\btype\(\{/g, "z.object({");
+    text = text.replace(/\btype\("string"\)/g, "z.string()");
+    text = text.replace(/\btype\("number"\)/g, "z.number()");
+    text = text.replace(/\btype\("boolean"\)/g, "z.boolean()");
+    text = text.replace(/\btype\("bigint"\)/g, "z.bigint()");
+    text = text.replace(/\btype\("unknown"\)/g, "z.unknown()");
+    text = text.replace(/\btype\("never"\)/g, "z.never()");
+    text = text.replace(/\btype\("Date"\)/g, "z.date()");
+    text = text.replace(/\btype\("string\.email"\)/g, "z.string().email()");
+    text = text.replace(/\btype\("string\.url"\)/g, "z.string().url()");
+    text = text.replace(/\btype\("string\.uuid"\)/g, "z.string().uuid()");
+    text = text.replace(/\btype\("string\.ip"\)/g, "z.string().ip()");
+    text = text.replace(/\btype\("number\.integer"\)/g, "z.number().int()");
+    text = text.replace(/\btype\("(\w+)\[\]"\)/g, (_match, typeName) => {
+      const zodType = ARKTYPE_TO_ZOD_MAPPINGS[typeName];
+      return zodType ? `z.array(${zodType})` : `z.array(z.${typeName}())`;
+    });
+    text = text.replace(/\btype\("([^"]+\|[^"]+)"\)/g, (_match, unionStr) => {
+      const types = unionStr.split("|").map((t) => {
+        const trimmed = t.trim();
+        const zodType = ARKTYPE_TO_ZOD_MAPPINGS[trimmed];
+        if (zodType) return zodType;
+        if (trimmed === "null") return "z.null()";
+        return `z.${trimmed}()`;
+      });
+      return `z.union([${types.join(", ")}])`;
+    });
+    if (text.includes(".narrow(")) {
+      this.warnings.push(
+        `${filePath}: ArkType .narrow() should be converted to z.refine() or z.superRefine().`
+      );
+      text = text.replace(/\.narrow\(/g, ".refine(");
+    }
+    if (text.includes(".pipe(")) {
+      this.warnings.push(
+        `${filePath}: ArkType .pipe() morphs should be reviewed \u2014 Zod .transform() or .pipe() may apply.`
+      );
+    }
+    return text;
+  }
+  transformTypeHelpers(text) {
+    text = text.replace(/typeof\s+(\w+)\.infer\b/g, "z.infer<typeof $1>");
+    text = text.replace(/typeof\s+(\w+)\.in\b/g, "z.input<typeof $1>");
+    text = text.replace(/Type<typeof\s+(\w+)>/g, "z.infer<typeof $1>");
+    return text;
+  }
+  transformStringTypes(text) {
+    text = text.replace(/"string\?"/g, "z.string().optional()");
+    text = text.replace(/"number\?"/g, "z.number().optional()");
+    text = text.replace(/"boolean\?"/g, "z.boolean().optional()");
+    text = text.replace(/"string \| null"/g, "z.string().nullable()");
+    text = text.replace(/"number \| null"/g, "z.number().nullable()");
+    text = text.replace(/"boolean \| null"/g, "z.boolean().nullable()");
+    text = text.replace(/:\s*"string"/g, ": z.string()");
+    text = text.replace(/:\s*"number"/g, ": z.number()");
+    text = text.replace(/:\s*"boolean"/g, ": z.boolean()");
+    text = text.replace(/:\s*"Date"/g, ": z.date()");
+    text = text.replace(/:\s*"bigint"/g, ": z.bigint()");
+    text = text.replace(/:\s*"unknown"/g, ": z.unknown()");
+    text = text.replace(/:\s*"string\.email"/g, ": z.string().email()");
+    text = text.replace(/:\s*"string\.url"/g, ": z.string().url()");
+    text = text.replace(/:\s*"string\.uuid"/g, ": z.string().uuid()");
+    return text;
+  }
+};
+
+// src/arktype-to-zod-handler.ts
+function createArktypeToZodHandler() {
+  return {
+    transform(sourceFile, _options) {
+      const transformer = new ArktypeToZodTransformer();
+      return transformer.transform(sourceFile);
+    }
+  };
+}
+
+// src/zod-to-arktype-transformer.ts
+var ZodToArktypeTransformer = class {
+  errors = [];
+  warnings = [];
+  transform(sourceFile) {
+    this.errors = [];
+    this.warnings = [];
+    const filePath = sourceFile.getFilePath();
+    const originalCode = sourceFile.getFullText();
+    try {
+      this.rewriteImports(sourceFile);
+      this.transformSchemas(sourceFile);
+      this.transformTypeHelpers(sourceFile);
+      this.checkManualReviewPatterns(sourceFile);
+      return {
+        success: this.errors.length === 0,
+        filePath,
+        originalCode,
+        transformedCode: sourceFile.getFullText(),
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    } catch (error) {
+      this.errors.push({
+        message: error instanceof Error ? error.message : "Unknown error"
+      });
+      return {
+        success: false,
+        filePath,
+        originalCode,
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    }
+  }
+  rewriteImports(sourceFile) {
+    for (const importDecl of sourceFile.getImportDeclarations()) {
+      const moduleSpecifier = importDecl.getModuleSpecifierValue();
+      if (moduleSpecifier === "zod") {
+        importDecl.setModuleSpecifier("arktype");
+        const namedImports = importDecl.getNamedImports();
+        const defaultImport = importDecl.getDefaultImport();
+        const namespaceImport = importDecl.getNamespaceImport();
+        if (namespaceImport) {
+          importDecl.removeNamespaceImport();
+          importDecl.addNamedImport("type");
+        } else if (namedImports.length > 0) {
+          for (const namedImport of namedImports) {
+            const name = namedImport.getName();
+            if (name === "z") {
+              namedImport.remove();
+            } else {
+              this.warnings.push(
+                `${sourceFile.getFilePath()}: '${name}' import requires manual conversion to ArkType equivalent.`
+              );
+              namedImport.remove();
+            }
+          }
+          importDecl.addNamedImport("type");
+        } else if (defaultImport) {
+          importDecl.removeDefaultImport();
+          importDecl.addNamedImport("type");
+        }
+      }
+    }
+  }
+  transformSchemas(sourceFile) {
+    let text = sourceFile.getFullText();
+    const filePath = sourceFile.getFilePath();
+    const simpleReplacements = [
+      // z.object({...}) → type({...}) — handled separately for nested content
+      [/\bz\.string\(\)/g, '"string"'],
+      [/\bz\.number\(\)/g, '"number"'],
+      [/\bz\.boolean\(\)/g, '"boolean"'],
+      [/\bz\.bigint\(\)/g, '"bigint"'],
+      [/\bz\.symbol\(\)/g, '"symbol"'],
+      [/\bz\.undefined\(\)/g, '"undefined"'],
+      [/\bz\.null\(\)/g, '"null"'],
+      [/\bz\.void\(\)/g, '"void"'],
+      [/\bz\.any\(\)/g, '"unknown"'],
+      [/\bz\.unknown\(\)/g, '"unknown"'],
+      [/\bz\.never\(\)/g, '"never"'],
+      [/\bz\.date\(\)/g, '"Date"'],
+      [/\bz\.nan\(\)/g, '"number"']
+    ];
+    for (const [pattern, replacement] of simpleReplacements) {
+      text = text.replace(pattern, replacement);
+    }
+    text = text.replace(/\bz\.object\(/g, "type(");
+    text = text.replace(/\bz\.array\(("[\w.]+")\)/g, 'type("$1[]")');
+    text = text.replace(/\bz\.enum\(\[([^\]]+)\]\)/g, (_match, values) => {
+      const items = values.split(",").map((v) => v.trim());
+      return `type("${items.join(" | ")}")`;
+    });
+    text = text.replace(/"([\w.]+)"\.optional\(\)/g, '"$1?"');
+    text = text.replace(/"([\w.?]+)"\.nullable\(\)/g, '"$1 | null"');
+    for (const [zodMethod, arktypeType] of Object.entries(ZOD_VALIDATION_TO_ARKTYPE)) {
+      const pattern = new RegExp(`"string"\\.${zodMethod}\\(\\)`, "g");
+      text = text.replace(pattern, `"${arktypeType}"`);
+    }
+    text = text.replace(/\bz\.union\(\[([^\]]+)\]\)/g, (_match, items) => {
+      const types = items.split(",").map((t) => t.trim().replace(/^"|"$/g, ""));
+      return `type("${types.join(" | ")}")`;
+    });
+    text = text.replace(/\bz\.literal\((\d+)\)/g, 'type("=== $1")');
+    text = text.replace(/\bz\.literal\((['"][^'"]+['"])\)/g, "type($1)");
+    text = text.replace(/\bz\.literal\((true|false)\)/g, 'type("=== $1")');
+    text = text.replace(/\bz\.record\("string", "(\w+)"\)/g, 'type("Record<string, $1>")');
+    sourceFile.replaceWithText(text);
+    const currentText = sourceFile.getFullText();
+    if (currentText.includes("z.")) {
+      this.warnings.push(
+        `${filePath}: Some Zod patterns could not be auto-transformed to ArkType. Look for remaining z.* references and convert manually.`
+      );
+    }
+  }
+  transformTypeHelpers(sourceFile) {
+    let text = sourceFile.getFullText();
+    text = text.replace(/z\.infer<typeof\s+(\w+)>/g, "typeof $1.infer");
+    text = text.replace(/z\.input<typeof\s+(\w+)>/g, "typeof $1.in");
+    text = text.replace(/z\.output<typeof\s+(\w+)>/g, "typeof $1.infer");
+    sourceFile.replaceWithText(text);
+  }
+  checkManualReviewPatterns(sourceFile) {
+    const filePath = sourceFile.getFilePath();
+    const text = sourceFile.getFullText();
+    for (const pattern of MANUAL_REVIEW_PATTERNS) {
+      if (text.includes(`.${pattern}(`)) {
+        const guidance = this.getManualGuidance(pattern);
+        this.warnings.push(
+          `${filePath}: .${pattern}() requires manual conversion to ArkType. ${guidance}`
+        );
+      }
+    }
+  }
+  getManualGuidance(pattern) {
+    const guidance = {
+      discriminatedUnion: `ArkType uses native TypeScript union syntax: type("{ kind: 'a', ... } | { kind: 'b', ... }").`,
+      superRefine: 'ArkType uses .narrow() for refinements: type("string").narrow((s) => s.length > 0).',
+      transform: 'ArkType uses morphs: type("string").pipe((s) => s.toUpperCase()).',
+      preprocess: "ArkType uses .from() for input transforms.",
+      lazy: 'ArkType handles recursion with scope(): const types = scope({ node: { left: "node | null", right: "node | null" } }).export().',
+      brand: "ArkType has no .brand() equivalent. Use nominal types or tagged unions instead.",
+      coerce: 'ArkType uses .from() morphs for coercion: type("string").from("number").',
+      pipe: "ArkType uses .pipe() with different semantics for morphs.",
+      catch: "ArkType has no .catch() equivalent. Handle fallback values at the application level."
+    };
+    return guidance[pattern] || "See ArkType documentation for equivalent pattern.";
+  }
+};
+
+// src/zod-to-arktype-handler.ts
+function createZodToArktypeHandler() {
+  return {
+    transform(sourceFile, _options) {
+      const transformer = new ZodToArktypeTransformer();
+      return transformer.transform(sourceFile);
+    }
+  };
+}
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  ARKTYPE_TO_ZOD_MAPPINGS,
+  ZOD_TO_ARKTYPE_MAPPINGS,
+  createArktypeToZodHandler,
+  createZodToArktypeHandler
+});
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts","../src/mappings.ts","../src/arktype-to-zod-transformer.ts","../src/arktype-to-zod-handler.ts","../src/zod-to-arktype-transformer.ts","../src/zod-to-arktype-handler.ts"],"sourcesContent":["export { createArktypeToZodHandler } from './arktype-to-zod-handler.js';\nexport { ARKTYPE_TO_ZOD_MAPPINGS, ZOD_TO_ARKTYPE_MAPPINGS } from './mappings.js';\nexport { createZodToArktypeHandler } from './zod-to-arktype-handler.js';\n","/**\n * Zod ↔ ArkType Mapping Tables\n *\n * ArkType uses a TypeScript-like string syntax for type definitions,\n * while Zod uses method chains. This makes the transformation quite different\n * from other library pairs.\n *\n * ArkType: type({ name: \"string\", age: \"number\" })\n * Zod:     z.object({ name: z.string(), age: z.number() })\n */\n\n// Zod factory → ArkType string type\nexport const ZOD_TO_ARKTYPE_MAPPINGS: Record<string, string> = {\n  'z.string()': '\"string\"',\n  'z.number()': '\"number\"',\n  'z.boolean()': '\"boolean\"',\n  'z.bigint()': '\"bigint\"',\n  'z.symbol()': '\"symbol\"',\n  'z.undefined()': '\"undefined\"',\n  'z.null()': '\"null\"',\n  'z.void()': '\"void\"',\n  'z.any()': '\"unknown\"',\n  'z.unknown()': '\"unknown\"',\n  'z.never()': '\"never\"',\n  'z.date()': '\"Date\"',\n};\n\n// Zod validation methods → ArkType constraints\nexport const ZOD_VALIDATION_TO_ARKTYPE: Record<string, string> = {\n  email: 'string.email',\n  url: 'string.url',\n  uuid: 'string.uuid',\n  ip: 'string.ip',\n  integer: 'number.integer',\n};\n\n// ArkType string type → Zod factory\nexport const ARKTYPE_TO_ZOD_MAPPINGS: Record<string, string> = {\n  string: 'z.string()',\n  number: 'z.number()',\n  boolean: 'z.boolean()',\n  bigint: 'z.bigint()',\n  symbol: 'z.symbol()',\n  undefined: 'z.undefined()',\n  null: 'z.null()',\n  void: 'z.void()',\n  unknown: 'z.unknown()',\n  never: 'z.never()',\n  Date: 'z.date()',\n  'string.email': 'z.string().email()',\n  'string.url': 'z.string().url()',\n  'string.uuid': 'z.string().uuid()',\n  'string.ip': 'z.string().ip()',\n  'number.integer': 'z.number().int()',\n};\n\n// Import mappings\nexport const IMPORT_MAPPINGS = {\n  zod: {\n    from: \"import { z } from 'zod'\",\n    to: \"import { type } from 'arktype'\",\n  },\n  arktype: {\n    from: \"import { type } from 'arktype'\",\n    to: \"import { z } from 'zod'\",\n  },\n};\n\n// Type helper mappings\nexport const TYPE_HELPER_MAPPINGS = {\n  zodToArktype: {\n    'z.infer': 'typeof',\n    'z.input': 'typeof',\n    'z.output': 'typeof',\n  },\n  arktypeToZod: {\n    'Type<typeof': 'z.infer<typeof',\n  },\n};\n\n// Patterns requiring manual review\nexport const MANUAL_REVIEW_PATTERNS = new Set([\n  'discriminatedUnion', // ArkType uses native TS union syntax\n  'superRefine', // ArkType uses .narrow()\n  'transform', // ArkType uses .pipe() or morphs\n  'preprocess', // ArkType uses .from()\n  'lazy', // ArkType handles recursion differently\n  'brand', // ArkType has no equivalent\n  'coerce', // ArkType uses .from() morphs\n  'pipe', // Different semantics\n  'catch', // ArkType has no .catch() equivalent\n]);\n","import type { TransformError, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { ARKTYPE_TO_ZOD_MAPPINGS } from './mappings.js';\n\n/**\n * ArkType → Zod Transformer (Backward Migration)\n *\n * Converts ArkType type definitions to Zod schemas.\n * ArkType uses string-based type syntax which makes AST-based\n * transformation challenging, so this uses text-based approach.\n *\n *   ArkType: type({ name: \"string.email\", age: \"number\" })\n *   Zod:     z.object({ name: z.string().email(), age: z.number() })\n */\nexport class ArktypeToZodTransformer {\n  private errors: TransformError[] = [];\n  private warnings: string[] = [];\n\n  transform(sourceFile: SourceFile): TransformResult {\n    this.errors = [];\n    this.warnings = [];\n\n    const filePath = sourceFile.getFilePath();\n    const originalCode = sourceFile.getFullText();\n\n    try {\n      let text = originalCode;\n\n      // Step 1: Rewrite imports\n      text = this.rewriteImports(text, filePath);\n\n      // Step 2: Transform type() calls to z.object() etc.\n      text = this.transformTypeDefinitions(text, filePath);\n\n      // Step 3: Transform type helpers\n      text = this.transformTypeHelpers(text);\n\n      // Step 4: Transform string type references to Zod factories\n      text = this.transformStringTypes(text);\n\n      sourceFile.replaceWithText(text);\n\n      return {\n        success: this.errors.length === 0,\n        filePath,\n        originalCode,\n        transformedCode: sourceFile.getFullText(),\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    } catch (error) {\n      this.errors.push({\n        message: error instanceof Error ? error.message : 'Unknown error',\n      });\n      return {\n        success: false,\n        filePath,\n        originalCode,\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    }\n  }\n\n  private rewriteImports(text: string, filePath: string): string {\n    // import { type } from 'arktype' → import { z } from 'zod'\n    text = text.replace(\n      /import\\s*\\{\\s*type\\s*\\}\\s*from\\s*['\"]arktype['\"]/g,\n      \"import { z } from 'zod'\",\n    );\n\n    // import { type, scope } from 'arktype' → import { z } from 'zod'\n    text = text.replace(\n      /import\\s*\\{[^}]*\\btype\\b[^}]*\\}\\s*from\\s*['\"]arktype['\"]/g,\n      \"import { z } from 'zod'\",\n    );\n\n    // import type { Type } from 'arktype' → import type { z } from 'zod'\n    text = text.replace(\n      /import\\s+type\\s*\\{[^}]*\\}\\s*from\\s*['\"]arktype['\"]/g,\n      \"import type { z } from 'zod'\",\n    );\n\n    // Check for scope() usage\n    if (text.includes('scope(')) {\n      this.warnings.push(\n        `${filePath}: ArkType scope() has no direct Zod equivalent. ` +\n          'Convert to individual z.object() schemas with z.lazy() for recursive types.',\n      );\n    }\n\n    return text;\n  }\n\n  private transformTypeDefinitions(text: string, filePath: string): string {\n    // type({ ... }) → z.object({ ... })\n    text = text.replace(/\\btype\\(\\{/g, 'z.object({');\n\n    // type(\"string\") → z.string()\n    text = text.replace(/\\btype\\(\"string\"\\)/g, 'z.string()');\n    text = text.replace(/\\btype\\(\"number\"\\)/g, 'z.number()');\n    text = text.replace(/\\btype\\(\"boolean\"\\)/g, 'z.boolean()');\n    text = text.replace(/\\btype\\(\"bigint\"\\)/g, 'z.bigint()');\n    text = text.replace(/\\btype\\(\"unknown\"\\)/g, 'z.unknown()');\n    text = text.replace(/\\btype\\(\"never\"\\)/g, 'z.never()');\n    text = text.replace(/\\btype\\(\"Date\"\\)/g, 'z.date()');\n\n    // type(\"string.email\") → z.string().email()\n    text = text.replace(/\\btype\\(\"string\\.email\"\\)/g, 'z.string().email()');\n    text = text.replace(/\\btype\\(\"string\\.url\"\\)/g, 'z.string().url()');\n    text = text.replace(/\\btype\\(\"string\\.uuid\"\\)/g, 'z.string().uuid()');\n    text = text.replace(/\\btype\\(\"string\\.ip\"\\)/g, 'z.string().ip()');\n    text = text.replace(/\\btype\\(\"number\\.integer\"\\)/g, 'z.number().int()');\n\n    // type(\"X[]\") → z.array(z.X())\n    text = text.replace(/\\btype\\(\"(\\w+)\\[\\]\"\\)/g, (_match, typeName: string) => {\n      const zodType = ARKTYPE_TO_ZOD_MAPPINGS[typeName];\n      return zodType ? `z.array(${zodType})` : `z.array(z.${typeName}())`;\n    });\n\n    // type(\"X | Y\") → z.union([z.X(), z.Y()])\n    text = text.replace(/\\btype\\(\"([^\"]+\\|[^\"]+)\"\\)/g, (_match, unionStr: string) => {\n      const types = unionStr.split('|').map((t: string) => {\n        const trimmed = t.trim();\n        const zodType = ARKTYPE_TO_ZOD_MAPPINGS[trimmed];\n        if (zodType) return zodType;\n        if (trimmed === 'null') return 'z.null()';\n        return `z.${trimmed}()`;\n      });\n      return `z.union([${types.join(', ')}])`;\n    });\n\n    // Check for .narrow() — ArkType refinement\n    if (text.includes('.narrow(')) {\n      this.warnings.push(\n        `${filePath}: ArkType .narrow() should be converted to z.refine() or z.superRefine().`,\n      );\n      text = text.replace(/\\.narrow\\(/g, '.refine(');\n    }\n\n    // Check for .pipe() morphs — ArkType transforms\n    if (text.includes('.pipe(')) {\n      this.warnings.push(\n        `${filePath}: ArkType .pipe() morphs should be reviewed — Zod .transform() or .pipe() may apply.`,\n      );\n    }\n\n    return text;\n  }\n\n  private transformTypeHelpers(text: string): string {\n    // typeof schema.infer → z.infer<typeof schema>\n    text = text.replace(/typeof\\s+(\\w+)\\.infer\\b/g, 'z.infer<typeof $1>');\n    text = text.replace(/typeof\\s+(\\w+)\\.in\\b/g, 'z.input<typeof $1>');\n\n    // Type<typeof schema> → z.infer<typeof schema>\n    text = text.replace(/Type<typeof\\s+(\\w+)>/g, 'z.infer<typeof $1>');\n\n    return text;\n  }\n\n  private transformStringTypes(text: string): string {\n    // Inside object definitions, transform string type references\n    // \"string\" → z.string()\n    // \"number\" → z.number()\n    // \"string?\" → z.string().optional()\n    // \"string | null\" → z.string().nullable()\n\n    // Optional types\n    text = text.replace(/\"string\\?\"/g, 'z.string().optional()');\n    text = text.replace(/\"number\\?\"/g, 'z.number().optional()');\n    text = text.replace(/\"boolean\\?\"/g, 'z.boolean().optional()');\n\n    // Nullable types\n    text = text.replace(/\"string \\| null\"/g, 'z.string().nullable()');\n    text = text.replace(/\"number \\| null\"/g, 'z.number().nullable()');\n    text = text.replace(/\"boolean \\| null\"/g, 'z.boolean().nullable()');\n\n    // Simple types in property positions\n    text = text.replace(/:\\s*\"string\"/g, ': z.string()');\n    text = text.replace(/:\\s*\"number\"/g, ': z.number()');\n    text = text.replace(/:\\s*\"boolean\"/g, ': z.boolean()');\n    text = text.replace(/:\\s*\"Date\"/g, ': z.date()');\n    text = text.replace(/:\\s*\"bigint\"/g, ': z.bigint()');\n    text = text.replace(/:\\s*\"unknown\"/g, ': z.unknown()');\n\n    // Validated string types in property positions\n    text = text.replace(/:\\s*\"string\\.email\"/g, ': z.string().email()');\n    text = text.replace(/:\\s*\"string\\.url\"/g, ': z.string().url()');\n    text = text.replace(/:\\s*\"string\\.uuid\"/g, ': z.string().uuid()');\n\n    return text;\n  }\n}\n","import type { TransformHandler, TransformOptions, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { ArktypeToZodTransformer } from './arktype-to-zod-transformer.js';\n\nexport function createArktypeToZodHandler(): TransformHandler {\n  return {\n    transform(sourceFile: SourceFile, _options: TransformOptions): TransformResult {\n      const transformer = new ArktypeToZodTransformer();\n      return transformer.transform(sourceFile);\n    },\n  };\n}\n","import type { TransformError, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { MANUAL_REVIEW_PATTERNS, ZOD_VALIDATION_TO_ARKTYPE } from './mappings.js';\n\n/**\n * Zod → ArkType Transformer\n *\n * Converts Zod schemas to ArkType type definitions.\n * ArkType uses a fundamentally different paradigm:\n *   Zod:     z.object({ name: z.string().email() })\n *   ArkType: type({ name: \"string.email\" })\n *\n * This transformer uses text-based transformation with AST-guided\n * import rewriting for the initial implementation.\n */\nexport class ZodToArktypeTransformer {\n  private errors: TransformError[] = [];\n  private warnings: string[] = [];\n\n  transform(sourceFile: SourceFile): TransformResult {\n    this.errors = [];\n    this.warnings = [];\n\n    const filePath = sourceFile.getFilePath();\n    const originalCode = sourceFile.getFullText();\n\n    try {\n      // Step 1: Rewrite imports\n      this.rewriteImports(sourceFile);\n\n      // Step 2: Transform schema definitions\n      this.transformSchemas(sourceFile);\n\n      // Step 3: Transform type helpers\n      this.transformTypeHelpers(sourceFile);\n\n      // Step 4: Check for patterns requiring manual review\n      this.checkManualReviewPatterns(sourceFile);\n\n      return {\n        success: this.errors.length === 0,\n        filePath,\n        originalCode,\n        transformedCode: sourceFile.getFullText(),\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    } catch (error) {\n      this.errors.push({\n        message: error instanceof Error ? error.message : 'Unknown error',\n      });\n      return {\n        success: false,\n        filePath,\n        originalCode,\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    }\n  }\n\n  private rewriteImports(sourceFile: SourceFile): void {\n    for (const importDecl of sourceFile.getImportDeclarations()) {\n      const moduleSpecifier = importDecl.getModuleSpecifierValue();\n      if (moduleSpecifier === 'zod') {\n        importDecl.setModuleSpecifier('arktype');\n\n        // Replace `import { z } from 'zod'` with `import { type } from 'arktype'`\n        const namedImports = importDecl.getNamedImports();\n        const defaultImport = importDecl.getDefaultImport();\n        const namespaceImport = importDecl.getNamespaceImport();\n\n        if (namespaceImport) {\n          // import * as z from 'zod' → import { type } from 'arktype'\n          importDecl.removeNamespaceImport();\n          importDecl.addNamedImport('type');\n        } else if (namedImports.length > 0) {\n          // Remove z, keep other type imports with warnings\n          for (const namedImport of namedImports) {\n            const name = namedImport.getName();\n            if (name === 'z') {\n              namedImport.remove();\n            } else {\n              // Type imports like ZodType need manual conversion\n              this.warnings.push(\n                `${sourceFile.getFilePath()}: '${name}' import requires manual conversion to ArkType equivalent.`,\n              );\n              namedImport.remove();\n            }\n          }\n          importDecl.addNamedImport('type');\n        } else if (defaultImport) {\n          importDecl.removeDefaultImport();\n          importDecl.addNamedImport('type');\n        }\n      }\n    }\n  }\n\n  private transformSchemas(sourceFile: SourceFile): void {\n    let text = sourceFile.getFullText();\n    const filePath = sourceFile.getFilePath();\n\n    // Transform z.object({...}) → type({...})\n    // First pass: simple factory replacements\n    const simpleReplacements: Array<[RegExp, string]> = [\n      // z.object({...}) → type({...}) — handled separately for nested content\n      [/\\bz\\.string\\(\\)/g, '\"string\"'],\n      [/\\bz\\.number\\(\\)/g, '\"number\"'],\n      [/\\bz\\.boolean\\(\\)/g, '\"boolean\"'],\n      [/\\bz\\.bigint\\(\\)/g, '\"bigint\"'],\n      [/\\bz\\.symbol\\(\\)/g, '\"symbol\"'],\n      [/\\bz\\.undefined\\(\\)/g, '\"undefined\"'],\n      [/\\bz\\.null\\(\\)/g, '\"null\"'],\n      [/\\bz\\.void\\(\\)/g, '\"void\"'],\n      [/\\bz\\.any\\(\\)/g, '\"unknown\"'],\n      [/\\bz\\.unknown\\(\\)/g, '\"unknown\"'],\n      [/\\bz\\.never\\(\\)/g, '\"never\"'],\n      [/\\bz\\.date\\(\\)/g, '\"Date\"'],\n      [/\\bz\\.nan\\(\\)/g, '\"number\"'],\n    ];\n\n    for (const [pattern, replacement] of simpleReplacements) {\n      text = text.replace(pattern, replacement);\n    }\n\n    // Transform z.object() → type()\n    text = text.replace(/\\bz\\.object\\(/g, 'type(');\n\n    // Transform z.array(X) → type(\"X[]\") for simple types\n    text = text.replace(/\\bz\\.array\\((\"[\\w.]+\")\\)/g, 'type(\"$1[]\")');\n\n    // Transform z.enum([\"a\", \"b\"]) → type(\"'a' | 'b'\")\n    text = text.replace(/\\bz\\.enum\\(\\[([^\\]]+)\\]\\)/g, (_match, values: string) => {\n      const items = values.split(',').map((v: string) => v.trim());\n      return `type(\"${items.join(' | ')}\")`;\n    });\n\n    // Transform .optional() → add \"?\" suffix or wrap\n    text = text.replace(/\"([\\w.]+)\"\\.optional\\(\\)/g, '\"$1?\"');\n\n    // Transform .nullable() → add \" | null\"\n    text = text.replace(/\"([\\w.?]+)\"\\.nullable\\(\\)/g, '\"$1 | null\"');\n\n    // Transform validation chains on strings\n    for (const [zodMethod, arktypeType] of Object.entries(ZOD_VALIDATION_TO_ARKTYPE)) {\n      const pattern = new RegExp(`\"string\"\\\\.${zodMethod}\\\\(\\\\)`, 'g');\n      text = text.replace(pattern, `\"${arktypeType}\"`);\n    }\n\n    // Transform z.union([...]) → type(\"X | Y\")\n    text = text.replace(/\\bz\\.union\\(\\[([^\\]]+)\\]\\)/g, (_match, items: string) => {\n      const types = items.split(',').map((t: string) => t.trim().replace(/^\"|\"$/g, ''));\n      return `type(\"${types.join(' | ')}\")`;\n    });\n\n    // Transform z.literal(value) → type(\"=== value\") for simple literals\n    text = text.replace(/\\bz\\.literal\\((\\d+)\\)/g, 'type(\"=== $1\")');\n    text = text.replace(/\\bz\\.literal\\((['\"][^'\"]+['\"])\\)/g, 'type($1)');\n    text = text.replace(/\\bz\\.literal\\((true|false)\\)/g, 'type(\"=== $1\")');\n\n    // Transform z.record(keySchema, valueSchema) → type(\"Record<string, X>\")\n    text = text.replace(/\\bz\\.record\\(\"string\", \"(\\w+)\"\\)/g, 'type(\"Record<string, $1>\")');\n\n    // Transform z.tuple([...]) → type([\"X\", \"Y\"])\n    // Leave as-is since ArkType has similar tuple syntax\n\n    // Transform z.intersection(a, b) → type(\"A & B\")\n    // Complex - add TODO for now\n\n    sourceFile.replaceWithText(text);\n\n    // Add warnings for complex patterns\n    const currentText = sourceFile.getFullText();\n    if (currentText.includes('z.')) {\n      this.warnings.push(\n        `${filePath}: Some Zod patterns could not be auto-transformed to ArkType. ` +\n          'Look for remaining z.* references and convert manually.',\n      );\n    }\n  }\n\n  private transformTypeHelpers(sourceFile: SourceFile): void {\n    let text = sourceFile.getFullText();\n\n    // z.infer<typeof schema> → typeof schema.infer (ArkType)\n    // Actually in ArkType: type().infer is the type, used as typeof schema.infer\n    text = text.replace(/z\\.infer<typeof\\s+(\\w+)>/g, 'typeof $1.infer');\n    text = text.replace(/z\\.input<typeof\\s+(\\w+)>/g, 'typeof $1.in');\n    text = text.replace(/z\\.output<typeof\\s+(\\w+)>/g, 'typeof $1.infer');\n\n    sourceFile.replaceWithText(text);\n  }\n\n  private checkManualReviewPatterns(sourceFile: SourceFile): void {\n    const filePath = sourceFile.getFilePath();\n    const text = sourceFile.getFullText();\n\n    for (const pattern of MANUAL_REVIEW_PATTERNS) {\n      if (text.includes(`.${pattern}(`)) {\n        const guidance = this.getManualGuidance(pattern);\n        this.warnings.push(\n          `${filePath}: .${pattern}() requires manual conversion to ArkType. ${guidance}`,\n        );\n      }\n    }\n  }\n\n  private getManualGuidance(pattern: string): string {\n    const guidance: Record<string, string> = {\n      discriminatedUnion:\n        \"ArkType uses native TypeScript union syntax: type(\\\"{ kind: 'a', ... } | { kind: 'b', ... }\\\").\",\n      superRefine:\n        'ArkType uses .narrow() for refinements: type(\"string\").narrow((s) => s.length > 0).',\n      transform: 'ArkType uses morphs: type(\"string\").pipe((s) => s.toUpperCase()).',\n      preprocess: 'ArkType uses .from() for input transforms.',\n      lazy: 'ArkType handles recursion with scope(): const types = scope({ node: { left: \"node | null\", right: \"node | null\" } }).export().',\n      brand: 'ArkType has no .brand() equivalent. Use nominal types or tagged unions instead.',\n      coerce: 'ArkType uses .from() morphs for coercion: type(\"string\").from(\"number\").',\n      pipe: 'ArkType uses .pipe() with different semantics for morphs.',\n      catch: 'ArkType has no .catch() equivalent. Handle fallback values at the application level.',\n    };\n    return guidance[pattern] || 'See ArkType documentation for equivalent pattern.';\n  }\n}\n","import type { TransformHandler, TransformOptions, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { ZodToArktypeTransformer } from './zod-to-arktype-transformer.js';\n\nexport function createZodToArktypeHandler(): TransformHandler {\n  return {\n    transform(sourceFile: SourceFile, _options: TransformOptions): TransformResult {\n      const transformer = new ZodToArktypeTransformer();\n      return transformer.transform(sourceFile);\n    },\n  };\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACYO,IAAM,0BAAkD;AAAA,EAC7D,cAAc;AAAA,EACd,cAAc;AAAA,EACd,eAAe;AAAA,EACf,cAAc;AAAA,EACd,cAAc;AAAA,EACd,iBAAiB;AAAA,EACjB,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,WAAW;AAAA,EACX,eAAe;AAAA,EACf,aAAa;AAAA,EACb,YAAY;AACd;AAGO,IAAM,4BAAoD;AAAA,EAC/D,OAAO;AAAA,EACP,KAAK;AAAA,EACL,MAAM;AAAA,EACN,IAAI;AAAA,EACJ,SAAS;AACX;AAGO,IAAM,0BAAkD;AAAA,EAC7D,QAAQ;AAAA,EACR,QAAQ;AAAA,EACR,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,QAAQ;AAAA,EACR,WAAW;AAAA,EACX,MAAM;AAAA,EACN,MAAM;AAAA,EACN,SAAS;AAAA,EACT,OAAO;AAAA,EACP,MAAM;AAAA,EACN,gBAAgB;AAAA,EAChB,cAAc;AAAA,EACd,eAAe;AAAA,EACf,aAAa;AAAA,EACb,kBAAkB;AACpB;AA2BO,IAAM,yBAAyB,oBAAI,IAAI;AAAA,EAC5C;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AACF,CAAC;;;AC7EM,IAAM,0BAAN,MAA8B;AAAA,EAC3B,SAA2B,CAAC;AAAA,EAC5B,WAAqB,CAAC;AAAA,EAE9B,UAAU,YAAyC;AACjD,SAAK,SAAS,CAAC;AACf,SAAK,WAAW,CAAC;AAEjB,UAAM,WAAW,WAAW,YAAY;AACxC,UAAM,eAAe,WAAW,YAAY;AAE5C,QAAI;AACF,UAAI,OAAO;AAGX,aAAO,KAAK,eAAe,MAAM,QAAQ;AAGzC,aAAO,KAAK,yBAAyB,MAAM,QAAQ;AAGnD,aAAO,KAAK,qBAAqB,IAAI;AAGrC,aAAO,KAAK,qBAAqB,IAAI;AAErC,iBAAW,gBAAgB,IAAI;AAE/B,aAAO;AAAA,QACL,SAAS,KAAK,OAAO,WAAW;AAAA,QAChC;AAAA,QACA;AAAA,QACA,iBAAiB,WAAW,YAAY;AAAA,QACxC,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF,SAAS,OAAO;AACd,WAAK,OAAO,KAAK;AAAA,QACf,SAAS,iBAAiB,QAAQ,MAAM,UAAU;AAAA,MACpD,CAAC;AACD,aAAO;AAAA,QACL,SAAS;AAAA,QACT;AAAA,QACA;AAAA,QACA,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,eAAe,MAAc,UAA0B;AAE7D,WAAO,KAAK;AAAA,MACV;AAAA,MACA;AAAA,IACF;AAGA,WAAO,KAAK;AAAA,MACV;AAAA,MACA;AAAA,IACF;AAGA,WAAO,KAAK;AAAA,MACV;AAAA,MACA;AAAA,IACF;AAGA,QAAI,KAAK,SAAS,QAAQ,GAAG;AAC3B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MAEb;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEQ,yBAAyB,MAAc,UAA0B;AAEvE,WAAO,KAAK,QAAQ,eAAe,YAAY;AAG/C,WAAO,KAAK,QAAQ,uBAAuB,YAAY;AACvD,WAAO,KAAK,QAAQ,uBAAuB,YAAY;AACvD,WAAO,KAAK,QAAQ,wBAAwB,aAAa;AACzD,WAAO,KAAK,QAAQ,uBAAuB,YAAY;AACvD,WAAO,KAAK,QAAQ,wBAAwB,aAAa;AACzD,WAAO,KAAK,QAAQ,sBAAsB,WAAW;AACrD,WAAO,KAAK,QAAQ,qBAAqB,UAAU;AAGnD,WAAO,KAAK,QAAQ,8BAA8B,oBAAoB;AACtE,WAAO,KAAK,QAAQ,4BAA4B,kBAAkB;AAClE,WAAO,KAAK,QAAQ,6BAA6B,mBAAmB;AACpE,WAAO,KAAK,QAAQ,2BAA2B,iBAAiB;AAChE,WAAO,KAAK,QAAQ,gCAAgC,kBAAkB;AAGtE,WAAO,KAAK,QAAQ,0BAA0B,CAAC,QAAQ,aAAqB;AAC1E,YAAM,UAAU,wBAAwB,QAAQ;AAChD,aAAO,UAAU,WAAW,OAAO,MAAM,aAAa,QAAQ;AAAA,IAChE,CAAC;AAGD,WAAO,KAAK,QAAQ,+BAA+B,CAAC,QAAQ,aAAqB;AAC/E,YAAM,QAAQ,SAAS,MAAM,GAAG,EAAE,IAAI,CAAC,MAAc;AACnD,cAAM,UAAU,EAAE,KAAK;AACvB,cAAM,UAAU,wBAAwB,OAAO;AAC/C,YAAI,QAAS,QAAO;AACpB,YAAI,YAAY,OAAQ,QAAO;AAC/B,eAAO,KAAK,OAAO;AAAA,MACrB,CAAC;AACD,aAAO,YAAY,MAAM,KAAK,IAAI,CAAC;AAAA,IACrC,CAAC;AAGD,QAAI,KAAK,SAAS,UAAU,GAAG;AAC7B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MACb;AACA,aAAO,KAAK,QAAQ,eAAe,UAAU;AAAA,IAC/C;AAGA,QAAI,KAAK,SAAS,QAAQ,GAAG;AAC3B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MACb;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEQ,qBAAqB,MAAsB;AAEjD,WAAO,KAAK,QAAQ,4BAA4B,oBAAoB;AACpE,WAAO,KAAK,QAAQ,yBAAyB,oBAAoB;AAGjE,WAAO,KAAK,QAAQ,yBAAyB,oBAAoB;AAEjE,WAAO;AAAA,EACT;AAAA,EAEQ,qBAAqB,MAAsB;AAQjD,WAAO,KAAK,QAAQ,eAAe,uBAAuB;AAC1D,WAAO,KAAK,QAAQ,eAAe,uBAAuB;AAC1D,WAAO,KAAK,QAAQ,gBAAgB,wBAAwB;AAG5D,WAAO,KAAK,QAAQ,qBAAqB,uBAAuB;AAChE,WAAO,KAAK,QAAQ,qBAAqB,uBAAuB;AAChE,WAAO,KAAK,QAAQ,sBAAsB,wBAAwB;AAGlE,WAAO,KAAK,QAAQ,iBAAiB,cAAc;AACnD,WAAO,KAAK,QAAQ,iBAAiB,cAAc;AACnD,WAAO,KAAK,QAAQ,kBAAkB,eAAe;AACrD,WAAO,KAAK,QAAQ,eAAe,YAAY;AAC/C,WAAO,KAAK,QAAQ,iBAAiB,cAAc;AACnD,WAAO,KAAK,QAAQ,kBAAkB,eAAe;AAGrD,WAAO,KAAK,QAAQ,wBAAwB,sBAAsB;AAClE,WAAO,KAAK,QAAQ,sBAAsB,oBAAoB;AAC9D,WAAO,KAAK,QAAQ,uBAAuB,qBAAqB;AAEhE,WAAO;AAAA,EACT;AACF;;;AC7LO,SAAS,4BAA8C;AAC5D,SAAO;AAAA,IACL,UAAU,YAAwB,UAA6C;AAC7E,YAAM,cAAc,IAAI,wBAAwB;AAChD,aAAO,YAAY,UAAU,UAAU;AAAA,IACzC;AAAA,EACF;AACF;;;ACIO,IAAM,0BAAN,MAA8B;AAAA,EAC3B,SAA2B,CAAC;AAAA,EAC5B,WAAqB,CAAC;AAAA,EAE9B,UAAU,YAAyC;AACjD,SAAK,SAAS,CAAC;AACf,SAAK,WAAW,CAAC;AAEjB,UAAM,WAAW,WAAW,YAAY;AACxC,UAAM,eAAe,WAAW,YAAY;AAE5C,QAAI;AAEF,WAAK,eAAe,UAAU;AAG9B,WAAK,iBAAiB,UAAU;AAGhC,WAAK,qBAAqB,UAAU;AAGpC,WAAK,0BAA0B,UAAU;AAEzC,aAAO;AAAA,QACL,SAAS,KAAK,OAAO,WAAW;AAAA,QAChC;AAAA,QACA;AAAA,QACA,iBAAiB,WAAW,YAAY;AAAA,QACxC,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF,SAAS,OAAO;AACd,WAAK,OAAO,KAAK;AAAA,QACf,SAAS,iBAAiB,QAAQ,MAAM,UAAU;AAAA,MACpD,CAAC;AACD,aAAO;AAAA,QACL,SAAS;AAAA,QACT;AAAA,QACA;AAAA,QACA,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,eAAe,YAA8B;AACnD,eAAW,cAAc,WAAW,sBAAsB,GAAG;AAC3D,YAAM,kBAAkB,WAAW,wBAAwB;AAC3D,UAAI,oBAAoB,OAAO;AAC7B,mBAAW,mBAAmB,SAAS;AAGvC,cAAM,eAAe,WAAW,gBAAgB;AAChD,cAAM,gBAAgB,WAAW,iBAAiB;AAClD,cAAM,kBAAkB,WAAW,mBAAmB;AAEtD,YAAI,iBAAiB;AAEnB,qBAAW,sBAAsB;AACjC,qBAAW,eAAe,MAAM;AAAA,QAClC,WAAW,aAAa,SAAS,GAAG;AAElC,qBAAW,eAAe,cAAc;AACtC,kBAAM,OAAO,YAAY,QAAQ;AACjC,gBAAI,SAAS,KAAK;AAChB,0BAAY,OAAO;AAAA,YACrB,OAAO;AAEL,mBAAK,SAAS;AAAA,gBACZ,GAAG,WAAW,YAAY,CAAC,MAAM,IAAI;AAAA,cACvC;AACA,0BAAY,OAAO;AAAA,YACrB;AAAA,UACF;AACA,qBAAW,eAAe,MAAM;AAAA,QAClC,WAAW,eAAe;AACxB,qBAAW,oBAAoB;AAC/B,qBAAW,eAAe,MAAM;AAAA,QAClC;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,iBAAiB,YAA8B;AACrD,QAAI,OAAO,WAAW,YAAY;AAClC,UAAM,WAAW,WAAW,YAAY;AAIxC,UAAM,qBAA8C;AAAA;AAAA,MAElD,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,qBAAqB,WAAW;AAAA,MACjC,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,uBAAuB,aAAa;AAAA,MACrC,CAAC,kBAAkB,QAAQ;AAAA,MAC3B,CAAC,kBAAkB,QAAQ;AAAA,MAC3B,CAAC,iBAAiB,WAAW;AAAA,MAC7B,CAAC,qBAAqB,WAAW;AAAA,MACjC,CAAC,mBAAmB,SAAS;AAAA,MAC7B,CAAC,kBAAkB,QAAQ;AAAA,MAC3B,CAAC,iBAAiB,UAAU;AAAA,IAC9B;AAEA,eAAW,CAAC,SAAS,WAAW,KAAK,oBAAoB;AACvD,aAAO,KAAK,QAAQ,SAAS,WAAW;AAAA,IAC1C;AAGA,WAAO,KAAK,QAAQ,kBAAkB,OAAO;AAG7C,WAAO,KAAK,QAAQ,6BAA6B,cAAc;AAG/D,WAAO,KAAK,QAAQ,8BAA8B,CAAC,QAAQ,WAAmB;AAC5E,YAAM,QAAQ,OAAO,MAAM,GAAG,EAAE,IAAI,CAAC,MAAc,EAAE,KAAK,CAAC;AAC3D,aAAO,SAAS,MAAM,KAAK,KAAK,CAAC;AAAA,IACnC,CAAC;AAGD,WAAO,KAAK,QAAQ,6BAA6B,OAAO;AAGxD,WAAO,KAAK,QAAQ,8BAA8B,aAAa;AAG/D,eAAW,CAAC,WAAW,WAAW,KAAK,OAAO,QAAQ,yBAAyB,GAAG;AAChF,YAAM,UAAU,IAAI,OAAO,cAAc,SAAS,UAAU,GAAG;AAC/D,aAAO,KAAK,QAAQ,SAAS,IAAI,WAAW,GAAG;AAAA,IACjD;AAGA,WAAO,KAAK,QAAQ,+BAA+B,CAAC,QAAQ,UAAkB;AAC5E,YAAM,QAAQ,MAAM,MAAM,GAAG,EAAE,IAAI,CAAC,MAAc,EAAE,KAAK,EAAE,QAAQ,UAAU,EAAE,CAAC;AAChF,aAAO,SAAS,MAAM,KAAK,KAAK,CAAC;AAAA,IACnC,CAAC;AAGD,WAAO,KAAK,QAAQ,0BAA0B,gBAAgB;AAC9D,WAAO,KAAK,QAAQ,qCAAqC,UAAU;AACnE,WAAO,KAAK,QAAQ,iCAAiC,gBAAgB;AAGrE,WAAO,KAAK,QAAQ,qCAAqC,4BAA4B;AAQrF,eAAW,gBAAgB,IAAI;AAG/B,UAAM,cAAc,WAAW,YAAY;AAC3C,QAAI,YAAY,SAAS,IAAI,GAAG;AAC9B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MAEb;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,qBAAqB,YAA8B;AACzD,QAAI,OAAO,WAAW,YAAY;AAIlC,WAAO,KAAK,QAAQ,6BAA6B,iBAAiB;AAClE,WAAO,KAAK,QAAQ,6BAA6B,cAAc;AAC/D,WAAO,KAAK,QAAQ,8BAA8B,iBAAiB;AAEnE,eAAW,gBAAgB,IAAI;AAAA,EACjC;AAAA,EAEQ,0BAA0B,YAA8B;AAC9D,UAAM,WAAW,WAAW,YAAY;AACxC,UAAM,OAAO,WAAW,YAAY;AAEpC,eAAW,WAAW,wBAAwB;AAC5C,UAAI,KAAK,SAAS,IAAI,OAAO,GAAG,GAAG;AACjC,cAAM,WAAW,KAAK,kBAAkB,OAAO;AAC/C,aAAK,SAAS;AAAA,UACZ,GAAG,QAAQ,MAAM,OAAO,6CAA6C,QAAQ;AAAA,QAC/E;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,kBAAkB,SAAyB;AACjD,UAAM,WAAmC;AAAA,MACvC,oBACE;AAAA,MACF,aACE;AAAA,MACF,WAAW;AAAA,MACX,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,OAAO;AAAA,MACP,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,OAAO;AAAA,IACT;AACA,WAAO,SAAS,OAAO,KAAK;AAAA,EAC9B;AACF;;;AC5NO,SAAS,4BAA8C;AAC5D,SAAO;AAAA,IACL,UAAU,YAAwB,UAA6C;AAC7E,YAAM,cAAc,IAAI,wBAAwB;AAChD,aAAO,YAAY,UAAU,UAAU;AAAA,IACzC;AAAA,EACF;AACF;","names":[]}

package/dist/index.d.cts

@@ -0,0 +1,20 @@
+import { TransformHandler } from '@schemashift/core';
+
+declare function createArktypeToZodHandler(): TransformHandler;
+
+/**
+ * Zod ↔ ArkType Mapping Tables
+ *
+ * ArkType uses a TypeScript-like string syntax for type definitions,
+ * while Zod uses method chains. This makes the transformation quite different
+ * from other library pairs.
+ *
+ * ArkType: type({ name: "string", age: "number" })
+ * Zod:     z.object({ name: z.string(), age: z.number() })
+ */
+declare const ZOD_TO_ARKTYPE_MAPPINGS: Record<string, string>;
+declare const ARKTYPE_TO_ZOD_MAPPINGS: Record<string, string>;
+
+declare function createZodToArktypeHandler(): TransformHandler;
+
+export { ARKTYPE_TO_ZOD_MAPPINGS, ZOD_TO_ARKTYPE_MAPPINGS, createArktypeToZodHandler, createZodToArktypeHandler };

package/dist/index.d.ts

@@ -0,0 +1,20 @@
+import { TransformHandler } from '@schemashift/core';
+
+declare function createArktypeToZodHandler(): TransformHandler;
+
+/**
+ * Zod ↔ ArkType Mapping Tables
+ *
+ * ArkType uses a TypeScript-like string syntax for type definitions,
+ * while Zod uses method chains. This makes the transformation quite different
+ * from other library pairs.
+ *
+ * ArkType: type({ name: "string", age: "number" })
+ * Zod:     z.object({ name: z.string(), age: z.number() })
+ */
+declare const ZOD_TO_ARKTYPE_MAPPINGS: Record<string, string>;
+declare const ARKTYPE_TO_ZOD_MAPPINGS: Record<string, string>;
+
+declare function createZodToArktypeHandler(): TransformHandler;
+
+export { ARKTYPE_TO_ZOD_MAPPINGS, ZOD_TO_ARKTYPE_MAPPINGS, createArktypeToZodHandler, createZodToArktypeHandler };

package/dist/index.js

@@ -0,0 +1,362 @@
+// src/mappings.ts
+var ZOD_TO_ARKTYPE_MAPPINGS = {
+  "z.string()": '"string"',
+  "z.number()": '"number"',
+  "z.boolean()": '"boolean"',
+  "z.bigint()": '"bigint"',
+  "z.symbol()": '"symbol"',
+  "z.undefined()": '"undefined"',
+  "z.null()": '"null"',
+  "z.void()": '"void"',
+  "z.any()": '"unknown"',
+  "z.unknown()": '"unknown"',
+  "z.never()": '"never"',
+  "z.date()": '"Date"'
+};
+var ZOD_VALIDATION_TO_ARKTYPE = {
+  email: "string.email",
+  url: "string.url",
+  uuid: "string.uuid",
+  ip: "string.ip",
+  integer: "number.integer"
+};
+var ARKTYPE_TO_ZOD_MAPPINGS = {
+  string: "z.string()",
+  number: "z.number()",
+  boolean: "z.boolean()",
+  bigint: "z.bigint()",
+  symbol: "z.symbol()",
+  undefined: "z.undefined()",
+  null: "z.null()",
+  void: "z.void()",
+  unknown: "z.unknown()",
+  never: "z.never()",
+  Date: "z.date()",
+  "string.email": "z.string().email()",
+  "string.url": "z.string().url()",
+  "string.uuid": "z.string().uuid()",
+  "string.ip": "z.string().ip()",
+  "number.integer": "z.number().int()"
+};
+var MANUAL_REVIEW_PATTERNS = /* @__PURE__ */ new Set([
+  "discriminatedUnion",
+  // ArkType uses native TS union syntax
+  "superRefine",
+  // ArkType uses .narrow()
+  "transform",
+  // ArkType uses .pipe() or morphs
+  "preprocess",
+  // ArkType uses .from()
+  "lazy",
+  // ArkType handles recursion differently
+  "brand",
+  // ArkType has no equivalent
+  "coerce",
+  // ArkType uses .from() morphs
+  "pipe",
+  // Different semantics
+  "catch"
+  // ArkType has no .catch() equivalent
+]);
+
+// src/arktype-to-zod-transformer.ts
+var ArktypeToZodTransformer = class {
+  errors = [];
+  warnings = [];
+  transform(sourceFile) {
+    this.errors = [];
+    this.warnings = [];
+    const filePath = sourceFile.getFilePath();
+    const originalCode = sourceFile.getFullText();
+    try {
+      let text = originalCode;
+      text = this.rewriteImports(text, filePath);
+      text = this.transformTypeDefinitions(text, filePath);
+      text = this.transformTypeHelpers(text);
+      text = this.transformStringTypes(text);
+      sourceFile.replaceWithText(text);
+      return {
+        success: this.errors.length === 0,
+        filePath,
+        originalCode,
+        transformedCode: sourceFile.getFullText(),
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    } catch (error) {
+      this.errors.push({
+        message: error instanceof Error ? error.message : "Unknown error"
+      });
+      return {
+        success: false,
+        filePath,
+        originalCode,
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    }
+  }
+  rewriteImports(text, filePath) {
+    text = text.replace(
+      /import\s*\{\s*type\s*\}\s*from\s*['"]arktype['"]/g,
+      "import { z } from 'zod'"
+    );
+    text = text.replace(
+      /import\s*\{[^}]*\btype\b[^}]*\}\s*from\s*['"]arktype['"]/g,
+      "import { z } from 'zod'"
+    );
+    text = text.replace(
+      /import\s+type\s*\{[^}]*\}\s*from\s*['"]arktype['"]/g,
+      "import type { z } from 'zod'"
+    );
+    if (text.includes("scope(")) {
+      this.warnings.push(
+        `${filePath}: ArkType scope() has no direct Zod equivalent. Convert to individual z.object() schemas with z.lazy() for recursive types.`
+      );
+    }
+    return text;
+  }
+  transformTypeDefinitions(text, filePath) {
+    text = text.replace(/\btype\(\{/g, "z.object({");
+    text = text.replace(/\btype\("string"\)/g, "z.string()");
+    text = text.replace(/\btype\("number"\)/g, "z.number()");
+    text = text.replace(/\btype\("boolean"\)/g, "z.boolean()");
+    text = text.replace(/\btype\("bigint"\)/g, "z.bigint()");
+    text = text.replace(/\btype\("unknown"\)/g, "z.unknown()");
+    text = text.replace(/\btype\("never"\)/g, "z.never()");
+    text = text.replace(/\btype\("Date"\)/g, "z.date()");
+    text = text.replace(/\btype\("string\.email"\)/g, "z.string().email()");
+    text = text.replace(/\btype\("string\.url"\)/g, "z.string().url()");
+    text = text.replace(/\btype\("string\.uuid"\)/g, "z.string().uuid()");
+    text = text.replace(/\btype\("string\.ip"\)/g, "z.string().ip()");
+    text = text.replace(/\btype\("number\.integer"\)/g, "z.number().int()");
+    text = text.replace(/\btype\("(\w+)\[\]"\)/g, (_match, typeName) => {
+      const zodType = ARKTYPE_TO_ZOD_MAPPINGS[typeName];
+      return zodType ? `z.array(${zodType})` : `z.array(z.${typeName}())`;
+    });
+    text = text.replace(/\btype\("([^"]+\|[^"]+)"\)/g, (_match, unionStr) => {
+      const types = unionStr.split("|").map((t) => {
+        const trimmed = t.trim();
+        const zodType = ARKTYPE_TO_ZOD_MAPPINGS[trimmed];
+        if (zodType) return zodType;
+        if (trimmed === "null") return "z.null()";
+        return `z.${trimmed}()`;
+      });
+      return `z.union([${types.join(", ")}])`;
+    });
+    if (text.includes(".narrow(")) {
+      this.warnings.push(
+        `${filePath}: ArkType .narrow() should be converted to z.refine() or z.superRefine().`
+      );
+      text = text.replace(/\.narrow\(/g, ".refine(");
+    }
+    if (text.includes(".pipe(")) {
+      this.warnings.push(
+        `${filePath}: ArkType .pipe() morphs should be reviewed \u2014 Zod .transform() or .pipe() may apply.`
+      );
+    }
+    return text;
+  }
+  transformTypeHelpers(text) {
+    text = text.replace(/typeof\s+(\w+)\.infer\b/g, "z.infer<typeof $1>");
+    text = text.replace(/typeof\s+(\w+)\.in\b/g, "z.input<typeof $1>");
+    text = text.replace(/Type<typeof\s+(\w+)>/g, "z.infer<typeof $1>");
+    return text;
+  }
+  transformStringTypes(text) {
+    text = text.replace(/"string\?"/g, "z.string().optional()");
+    text = text.replace(/"number\?"/g, "z.number().optional()");
+    text = text.replace(/"boolean\?"/g, "z.boolean().optional()");
+    text = text.replace(/"string \| null"/g, "z.string().nullable()");
+    text = text.replace(/"number \| null"/g, "z.number().nullable()");
+    text = text.replace(/"boolean \| null"/g, "z.boolean().nullable()");
+    text = text.replace(/:\s*"string"/g, ": z.string()");
+    text = text.replace(/:\s*"number"/g, ": z.number()");
+    text = text.replace(/:\s*"boolean"/g, ": z.boolean()");
+    text = text.replace(/:\s*"Date"/g, ": z.date()");
+    text = text.replace(/:\s*"bigint"/g, ": z.bigint()");
+    text = text.replace(/:\s*"unknown"/g, ": z.unknown()");
+    text = text.replace(/:\s*"string\.email"/g, ": z.string().email()");
+    text = text.replace(/:\s*"string\.url"/g, ": z.string().url()");
+    text = text.replace(/:\s*"string\.uuid"/g, ": z.string().uuid()");
+    return text;
+  }
+};
+
+// src/arktype-to-zod-handler.ts
+function createArktypeToZodHandler() {
+  return {
+    transform(sourceFile, _options) {
+      const transformer = new ArktypeToZodTransformer();
+      return transformer.transform(sourceFile);
+    }
+  };
+}
+
+// src/zod-to-arktype-transformer.ts
+var ZodToArktypeTransformer = class {
+  errors = [];
+  warnings = [];
+  transform(sourceFile) {
+    this.errors = [];
+    this.warnings = [];
+    const filePath = sourceFile.getFilePath();
+    const originalCode = sourceFile.getFullText();
+    try {
+      this.rewriteImports(sourceFile);
+      this.transformSchemas(sourceFile);
+      this.transformTypeHelpers(sourceFile);
+      this.checkManualReviewPatterns(sourceFile);
+      return {
+        success: this.errors.length === 0,
+        filePath,
+        originalCode,
+        transformedCode: sourceFile.getFullText(),
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    } catch (error) {
+      this.errors.push({
+        message: error instanceof Error ? error.message : "Unknown error"
+      });
+      return {
+        success: false,
+        filePath,
+        originalCode,
+        errors: this.errors,
+        warnings: this.warnings
+      };
+    }
+  }
+  rewriteImports(sourceFile) {
+    for (const importDecl of sourceFile.getImportDeclarations()) {
+      const moduleSpecifier = importDecl.getModuleSpecifierValue();
+      if (moduleSpecifier === "zod") {
+        importDecl.setModuleSpecifier("arktype");
+        const namedImports = importDecl.getNamedImports();
+        const defaultImport = importDecl.getDefaultImport();
+        const namespaceImport = importDecl.getNamespaceImport();
+        if (namespaceImport) {
+          importDecl.removeNamespaceImport();
+          importDecl.addNamedImport("type");
+        } else if (namedImports.length > 0) {
+          for (const namedImport of namedImports) {
+            const name = namedImport.getName();
+            if (name === "z") {
+              namedImport.remove();
+            } else {
+              this.warnings.push(
+                `${sourceFile.getFilePath()}: '${name}' import requires manual conversion to ArkType equivalent.`
+              );
+              namedImport.remove();
+            }
+          }
+          importDecl.addNamedImport("type");
+        } else if (defaultImport) {
+          importDecl.removeDefaultImport();
+          importDecl.addNamedImport("type");
+        }
+      }
+    }
+  }
+  transformSchemas(sourceFile) {
+    let text = sourceFile.getFullText();
+    const filePath = sourceFile.getFilePath();
+    const simpleReplacements = [
+      // z.object({...}) → type({...}) — handled separately for nested content
+      [/\bz\.string\(\)/g, '"string"'],
+      [/\bz\.number\(\)/g, '"number"'],
+      [/\bz\.boolean\(\)/g, '"boolean"'],
+      [/\bz\.bigint\(\)/g, '"bigint"'],
+      [/\bz\.symbol\(\)/g, '"symbol"'],
+      [/\bz\.undefined\(\)/g, '"undefined"'],
+      [/\bz\.null\(\)/g, '"null"'],
+      [/\bz\.void\(\)/g, '"void"'],
+      [/\bz\.any\(\)/g, '"unknown"'],
+      [/\bz\.unknown\(\)/g, '"unknown"'],
+      [/\bz\.never\(\)/g, '"never"'],
+      [/\bz\.date\(\)/g, '"Date"'],
+      [/\bz\.nan\(\)/g, '"number"']
+    ];
+    for (const [pattern, replacement] of simpleReplacements) {
+      text = text.replace(pattern, replacement);
+    }
+    text = text.replace(/\bz\.object\(/g, "type(");
+    text = text.replace(/\bz\.array\(("[\w.]+")\)/g, 'type("$1[]")');
+    text = text.replace(/\bz\.enum\(\[([^\]]+)\]\)/g, (_match, values) => {
+      const items = values.split(",").map((v) => v.trim());
+      return `type("${items.join(" | ")}")`;
+    });
+    text = text.replace(/"([\w.]+)"\.optional\(\)/g, '"$1?"');
+    text = text.replace(/"([\w.?]+)"\.nullable\(\)/g, '"$1 | null"');
+    for (const [zodMethod, arktypeType] of Object.entries(ZOD_VALIDATION_TO_ARKTYPE)) {
+      const pattern = new RegExp(`"string"\\.${zodMethod}\\(\\)`, "g");
+      text = text.replace(pattern, `"${arktypeType}"`);
+    }
+    text = text.replace(/\bz\.union\(\[([^\]]+)\]\)/g, (_match, items) => {
+      const types = items.split(",").map((t) => t.trim().replace(/^"|"$/g, ""));
+      return `type("${types.join(" | ")}")`;
+    });
+    text = text.replace(/\bz\.literal\((\d+)\)/g, 'type("=== $1")');
+    text = text.replace(/\bz\.literal\((['"][^'"]+['"])\)/g, "type($1)");
+    text = text.replace(/\bz\.literal\((true|false)\)/g, 'type("=== $1")');
+    text = text.replace(/\bz\.record\("string", "(\w+)"\)/g, 'type("Record<string, $1>")');
+    sourceFile.replaceWithText(text);
+    const currentText = sourceFile.getFullText();
+    if (currentText.includes("z.")) {
+      this.warnings.push(
+        `${filePath}: Some Zod patterns could not be auto-transformed to ArkType. Look for remaining z.* references and convert manually.`
+      );
+    }
+  }
+  transformTypeHelpers(sourceFile) {
+    let text = sourceFile.getFullText();
+    text = text.replace(/z\.infer<typeof\s+(\w+)>/g, "typeof $1.infer");
+    text = text.replace(/z\.input<typeof\s+(\w+)>/g, "typeof $1.in");
+    text = text.replace(/z\.output<typeof\s+(\w+)>/g, "typeof $1.infer");
+    sourceFile.replaceWithText(text);
+  }
+  checkManualReviewPatterns(sourceFile) {
+    const filePath = sourceFile.getFilePath();
+    const text = sourceFile.getFullText();
+    for (const pattern of MANUAL_REVIEW_PATTERNS) {
+      if (text.includes(`.${pattern}(`)) {
+        const guidance = this.getManualGuidance(pattern);
+        this.warnings.push(
+          `${filePath}: .${pattern}() requires manual conversion to ArkType. ${guidance}`
+        );
+      }
+    }
+  }
+  getManualGuidance(pattern) {
+    const guidance = {
+      discriminatedUnion: `ArkType uses native TypeScript union syntax: type("{ kind: 'a', ... } | { kind: 'b', ... }").`,
+      superRefine: 'ArkType uses .narrow() for refinements: type("string").narrow((s) => s.length > 0).',
+      transform: 'ArkType uses morphs: type("string").pipe((s) => s.toUpperCase()).',
+      preprocess: "ArkType uses .from() for input transforms.",
+      lazy: 'ArkType handles recursion with scope(): const types = scope({ node: { left: "node | null", right: "node | null" } }).export().',
+      brand: "ArkType has no .brand() equivalent. Use nominal types or tagged unions instead.",
+      coerce: 'ArkType uses .from() morphs for coercion: type("string").from("number").',
+      pipe: "ArkType uses .pipe() with different semantics for morphs.",
+      catch: "ArkType has no .catch() equivalent. Handle fallback values at the application level."
+    };
+    return guidance[pattern] || "See ArkType documentation for equivalent pattern.";
+  }
+};
+
+// src/zod-to-arktype-handler.ts
+function createZodToArktypeHandler() {
+  return {
+    transform(sourceFile, _options) {
+      const transformer = new ZodToArktypeTransformer();
+      return transformer.transform(sourceFile);
+    }
+  };
+}
+export {
+  ARKTYPE_TO_ZOD_MAPPINGS,
+  ZOD_TO_ARKTYPE_MAPPINGS,
+  createArktypeToZodHandler,
+  createZodToArktypeHandler
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/mappings.ts","../src/arktype-to-zod-transformer.ts","../src/arktype-to-zod-handler.ts","../src/zod-to-arktype-transformer.ts","../src/zod-to-arktype-handler.ts"],"sourcesContent":["/**\n * Zod ↔ ArkType Mapping Tables\n *\n * ArkType uses a TypeScript-like string syntax for type definitions,\n * while Zod uses method chains. This makes the transformation quite different\n * from other library pairs.\n *\n * ArkType: type({ name: \"string\", age: \"number\" })\n * Zod:     z.object({ name: z.string(), age: z.number() })\n */\n\n// Zod factory → ArkType string type\nexport const ZOD_TO_ARKTYPE_MAPPINGS: Record<string, string> = {\n  'z.string()': '\"string\"',\n  'z.number()': '\"number\"',\n  'z.boolean()': '\"boolean\"',\n  'z.bigint()': '\"bigint\"',\n  'z.symbol()': '\"symbol\"',\n  'z.undefined()': '\"undefined\"',\n  'z.null()': '\"null\"',\n  'z.void()': '\"void\"',\n  'z.any()': '\"unknown\"',\n  'z.unknown()': '\"unknown\"',\n  'z.never()': '\"never\"',\n  'z.date()': '\"Date\"',\n};\n\n// Zod validation methods → ArkType constraints\nexport const ZOD_VALIDATION_TO_ARKTYPE: Record<string, string> = {\n  email: 'string.email',\n  url: 'string.url',\n  uuid: 'string.uuid',\n  ip: 'string.ip',\n  integer: 'number.integer',\n};\n\n// ArkType string type → Zod factory\nexport const ARKTYPE_TO_ZOD_MAPPINGS: Record<string, string> = {\n  string: 'z.string()',\n  number: 'z.number()',\n  boolean: 'z.boolean()',\n  bigint: 'z.bigint()',\n  symbol: 'z.symbol()',\n  undefined: 'z.undefined()',\n  null: 'z.null()',\n  void: 'z.void()',\n  unknown: 'z.unknown()',\n  never: 'z.never()',\n  Date: 'z.date()',\n  'string.email': 'z.string().email()',\n  'string.url': 'z.string().url()',\n  'string.uuid': 'z.string().uuid()',\n  'string.ip': 'z.string().ip()',\n  'number.integer': 'z.number().int()',\n};\n\n// Import mappings\nexport const IMPORT_MAPPINGS = {\n  zod: {\n    from: \"import { z } from 'zod'\",\n    to: \"import { type } from 'arktype'\",\n  },\n  arktype: {\n    from: \"import { type } from 'arktype'\",\n    to: \"import { z } from 'zod'\",\n  },\n};\n\n// Type helper mappings\nexport const TYPE_HELPER_MAPPINGS = {\n  zodToArktype: {\n    'z.infer': 'typeof',\n    'z.input': 'typeof',\n    'z.output': 'typeof',\n  },\n  arktypeToZod: {\n    'Type<typeof': 'z.infer<typeof',\n  },\n};\n\n// Patterns requiring manual review\nexport const MANUAL_REVIEW_PATTERNS = new Set([\n  'discriminatedUnion', // ArkType uses native TS union syntax\n  'superRefine', // ArkType uses .narrow()\n  'transform', // ArkType uses .pipe() or morphs\n  'preprocess', // ArkType uses .from()\n  'lazy', // ArkType handles recursion differently\n  'brand', // ArkType has no equivalent\n  'coerce', // ArkType uses .from() morphs\n  'pipe', // Different semantics\n  'catch', // ArkType has no .catch() equivalent\n]);\n","import type { TransformError, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { ARKTYPE_TO_ZOD_MAPPINGS } from './mappings.js';\n\n/**\n * ArkType → Zod Transformer (Backward Migration)\n *\n * Converts ArkType type definitions to Zod schemas.\n * ArkType uses string-based type syntax which makes AST-based\n * transformation challenging, so this uses text-based approach.\n *\n *   ArkType: type({ name: \"string.email\", age: \"number\" })\n *   Zod:     z.object({ name: z.string().email(), age: z.number() })\n */\nexport class ArktypeToZodTransformer {\n  private errors: TransformError[] = [];\n  private warnings: string[] = [];\n\n  transform(sourceFile: SourceFile): TransformResult {\n    this.errors = [];\n    this.warnings = [];\n\n    const filePath = sourceFile.getFilePath();\n    const originalCode = sourceFile.getFullText();\n\n    try {\n      let text = originalCode;\n\n      // Step 1: Rewrite imports\n      text = this.rewriteImports(text, filePath);\n\n      // Step 2: Transform type() calls to z.object() etc.\n      text = this.transformTypeDefinitions(text, filePath);\n\n      // Step 3: Transform type helpers\n      text = this.transformTypeHelpers(text);\n\n      // Step 4: Transform string type references to Zod factories\n      text = this.transformStringTypes(text);\n\n      sourceFile.replaceWithText(text);\n\n      return {\n        success: this.errors.length === 0,\n        filePath,\n        originalCode,\n        transformedCode: sourceFile.getFullText(),\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    } catch (error) {\n      this.errors.push({\n        message: error instanceof Error ? error.message : 'Unknown error',\n      });\n      return {\n        success: false,\n        filePath,\n        originalCode,\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    }\n  }\n\n  private rewriteImports(text: string, filePath: string): string {\n    // import { type } from 'arktype' → import { z } from 'zod'\n    text = text.replace(\n      /import\\s*\\{\\s*type\\s*\\}\\s*from\\s*['\"]arktype['\"]/g,\n      \"import { z } from 'zod'\",\n    );\n\n    // import { type, scope } from 'arktype' → import { z } from 'zod'\n    text = text.replace(\n      /import\\s*\\{[^}]*\\btype\\b[^}]*\\}\\s*from\\s*['\"]arktype['\"]/g,\n      \"import { z } from 'zod'\",\n    );\n\n    // import type { Type } from 'arktype' → import type { z } from 'zod'\n    text = text.replace(\n      /import\\s+type\\s*\\{[^}]*\\}\\s*from\\s*['\"]arktype['\"]/g,\n      \"import type { z } from 'zod'\",\n    );\n\n    // Check for scope() usage\n    if (text.includes('scope(')) {\n      this.warnings.push(\n        `${filePath}: ArkType scope() has no direct Zod equivalent. ` +\n          'Convert to individual z.object() schemas with z.lazy() for recursive types.',\n      );\n    }\n\n    return text;\n  }\n\n  private transformTypeDefinitions(text: string, filePath: string): string {\n    // type({ ... }) → z.object({ ... })\n    text = text.replace(/\\btype\\(\\{/g, 'z.object({');\n\n    // type(\"string\") → z.string()\n    text = text.replace(/\\btype\\(\"string\"\\)/g, 'z.string()');\n    text = text.replace(/\\btype\\(\"number\"\\)/g, 'z.number()');\n    text = text.replace(/\\btype\\(\"boolean\"\\)/g, 'z.boolean()');\n    text = text.replace(/\\btype\\(\"bigint\"\\)/g, 'z.bigint()');\n    text = text.replace(/\\btype\\(\"unknown\"\\)/g, 'z.unknown()');\n    text = text.replace(/\\btype\\(\"never\"\\)/g, 'z.never()');\n    text = text.replace(/\\btype\\(\"Date\"\\)/g, 'z.date()');\n\n    // type(\"string.email\") → z.string().email()\n    text = text.replace(/\\btype\\(\"string\\.email\"\\)/g, 'z.string().email()');\n    text = text.replace(/\\btype\\(\"string\\.url\"\\)/g, 'z.string().url()');\n    text = text.replace(/\\btype\\(\"string\\.uuid\"\\)/g, 'z.string().uuid()');\n    text = text.replace(/\\btype\\(\"string\\.ip\"\\)/g, 'z.string().ip()');\n    text = text.replace(/\\btype\\(\"number\\.integer\"\\)/g, 'z.number().int()');\n\n    // type(\"X[]\") → z.array(z.X())\n    text = text.replace(/\\btype\\(\"(\\w+)\\[\\]\"\\)/g, (_match, typeName: string) => {\n      const zodType = ARKTYPE_TO_ZOD_MAPPINGS[typeName];\n      return zodType ? `z.array(${zodType})` : `z.array(z.${typeName}())`;\n    });\n\n    // type(\"X | Y\") → z.union([z.X(), z.Y()])\n    text = text.replace(/\\btype\\(\"([^\"]+\\|[^\"]+)\"\\)/g, (_match, unionStr: string) => {\n      const types = unionStr.split('|').map((t: string) => {\n        const trimmed = t.trim();\n        const zodType = ARKTYPE_TO_ZOD_MAPPINGS[trimmed];\n        if (zodType) return zodType;\n        if (trimmed === 'null') return 'z.null()';\n        return `z.${trimmed}()`;\n      });\n      return `z.union([${types.join(', ')}])`;\n    });\n\n    // Check for .narrow() — ArkType refinement\n    if (text.includes('.narrow(')) {\n      this.warnings.push(\n        `${filePath}: ArkType .narrow() should be converted to z.refine() or z.superRefine().`,\n      );\n      text = text.replace(/\\.narrow\\(/g, '.refine(');\n    }\n\n    // Check for .pipe() morphs — ArkType transforms\n    if (text.includes('.pipe(')) {\n      this.warnings.push(\n        `${filePath}: ArkType .pipe() morphs should be reviewed — Zod .transform() or .pipe() may apply.`,\n      );\n    }\n\n    return text;\n  }\n\n  private transformTypeHelpers(text: string): string {\n    // typeof schema.infer → z.infer<typeof schema>\n    text = text.replace(/typeof\\s+(\\w+)\\.infer\\b/g, 'z.infer<typeof $1>');\n    text = text.replace(/typeof\\s+(\\w+)\\.in\\b/g, 'z.input<typeof $1>');\n\n    // Type<typeof schema> → z.infer<typeof schema>\n    text = text.replace(/Type<typeof\\s+(\\w+)>/g, 'z.infer<typeof $1>');\n\n    return text;\n  }\n\n  private transformStringTypes(text: string): string {\n    // Inside object definitions, transform string type references\n    // \"string\" → z.string()\n    // \"number\" → z.number()\n    // \"string?\" → z.string().optional()\n    // \"string | null\" → z.string().nullable()\n\n    // Optional types\n    text = text.replace(/\"string\\?\"/g, 'z.string().optional()');\n    text = text.replace(/\"number\\?\"/g, 'z.number().optional()');\n    text = text.replace(/\"boolean\\?\"/g, 'z.boolean().optional()');\n\n    // Nullable types\n    text = text.replace(/\"string \\| null\"/g, 'z.string().nullable()');\n    text = text.replace(/\"number \\| null\"/g, 'z.number().nullable()');\n    text = text.replace(/\"boolean \\| null\"/g, 'z.boolean().nullable()');\n\n    // Simple types in property positions\n    text = text.replace(/:\\s*\"string\"/g, ': z.string()');\n    text = text.replace(/:\\s*\"number\"/g, ': z.number()');\n    text = text.replace(/:\\s*\"boolean\"/g, ': z.boolean()');\n    text = text.replace(/:\\s*\"Date\"/g, ': z.date()');\n    text = text.replace(/:\\s*\"bigint\"/g, ': z.bigint()');\n    text = text.replace(/:\\s*\"unknown\"/g, ': z.unknown()');\n\n    // Validated string types in property positions\n    text = text.replace(/:\\s*\"string\\.email\"/g, ': z.string().email()');\n    text = text.replace(/:\\s*\"string\\.url\"/g, ': z.string().url()');\n    text = text.replace(/:\\s*\"string\\.uuid\"/g, ': z.string().uuid()');\n\n    return text;\n  }\n}\n","import type { TransformHandler, TransformOptions, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { ArktypeToZodTransformer } from './arktype-to-zod-transformer.js';\n\nexport function createArktypeToZodHandler(): TransformHandler {\n  return {\n    transform(sourceFile: SourceFile, _options: TransformOptions): TransformResult {\n      const transformer = new ArktypeToZodTransformer();\n      return transformer.transform(sourceFile);\n    },\n  };\n}\n","import type { TransformError, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { MANUAL_REVIEW_PATTERNS, ZOD_VALIDATION_TO_ARKTYPE } from './mappings.js';\n\n/**\n * Zod → ArkType Transformer\n *\n * Converts Zod schemas to ArkType type definitions.\n * ArkType uses a fundamentally different paradigm:\n *   Zod:     z.object({ name: z.string().email() })\n *   ArkType: type({ name: \"string.email\" })\n *\n * This transformer uses text-based transformation with AST-guided\n * import rewriting for the initial implementation.\n */\nexport class ZodToArktypeTransformer {\n  private errors: TransformError[] = [];\n  private warnings: string[] = [];\n\n  transform(sourceFile: SourceFile): TransformResult {\n    this.errors = [];\n    this.warnings = [];\n\n    const filePath = sourceFile.getFilePath();\n    const originalCode = sourceFile.getFullText();\n\n    try {\n      // Step 1: Rewrite imports\n      this.rewriteImports(sourceFile);\n\n      // Step 2: Transform schema definitions\n      this.transformSchemas(sourceFile);\n\n      // Step 3: Transform type helpers\n      this.transformTypeHelpers(sourceFile);\n\n      // Step 4: Check for patterns requiring manual review\n      this.checkManualReviewPatterns(sourceFile);\n\n      return {\n        success: this.errors.length === 0,\n        filePath,\n        originalCode,\n        transformedCode: sourceFile.getFullText(),\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    } catch (error) {\n      this.errors.push({\n        message: error instanceof Error ? error.message : 'Unknown error',\n      });\n      return {\n        success: false,\n        filePath,\n        originalCode,\n        errors: this.errors,\n        warnings: this.warnings,\n      };\n    }\n  }\n\n  private rewriteImports(sourceFile: SourceFile): void {\n    for (const importDecl of sourceFile.getImportDeclarations()) {\n      const moduleSpecifier = importDecl.getModuleSpecifierValue();\n      if (moduleSpecifier === 'zod') {\n        importDecl.setModuleSpecifier('arktype');\n\n        // Replace `import { z } from 'zod'` with `import { type } from 'arktype'`\n        const namedImports = importDecl.getNamedImports();\n        const defaultImport = importDecl.getDefaultImport();\n        const namespaceImport = importDecl.getNamespaceImport();\n\n        if (namespaceImport) {\n          // import * as z from 'zod' → import { type } from 'arktype'\n          importDecl.removeNamespaceImport();\n          importDecl.addNamedImport('type');\n        } else if (namedImports.length > 0) {\n          // Remove z, keep other type imports with warnings\n          for (const namedImport of namedImports) {\n            const name = namedImport.getName();\n            if (name === 'z') {\n              namedImport.remove();\n            } else {\n              // Type imports like ZodType need manual conversion\n              this.warnings.push(\n                `${sourceFile.getFilePath()}: '${name}' import requires manual conversion to ArkType equivalent.`,\n              );\n              namedImport.remove();\n            }\n          }\n          importDecl.addNamedImport('type');\n        } else if (defaultImport) {\n          importDecl.removeDefaultImport();\n          importDecl.addNamedImport('type');\n        }\n      }\n    }\n  }\n\n  private transformSchemas(sourceFile: SourceFile): void {\n    let text = sourceFile.getFullText();\n    const filePath = sourceFile.getFilePath();\n\n    // Transform z.object({...}) → type({...})\n    // First pass: simple factory replacements\n    const simpleReplacements: Array<[RegExp, string]> = [\n      // z.object({...}) → type({...}) — handled separately for nested content\n      [/\\bz\\.string\\(\\)/g, '\"string\"'],\n      [/\\bz\\.number\\(\\)/g, '\"number\"'],\n      [/\\bz\\.boolean\\(\\)/g, '\"boolean\"'],\n      [/\\bz\\.bigint\\(\\)/g, '\"bigint\"'],\n      [/\\bz\\.symbol\\(\\)/g, '\"symbol\"'],\n      [/\\bz\\.undefined\\(\\)/g, '\"undefined\"'],\n      [/\\bz\\.null\\(\\)/g, '\"null\"'],\n      [/\\bz\\.void\\(\\)/g, '\"void\"'],\n      [/\\bz\\.any\\(\\)/g, '\"unknown\"'],\n      [/\\bz\\.unknown\\(\\)/g, '\"unknown\"'],\n      [/\\bz\\.never\\(\\)/g, '\"never\"'],\n      [/\\bz\\.date\\(\\)/g, '\"Date\"'],\n      [/\\bz\\.nan\\(\\)/g, '\"number\"'],\n    ];\n\n    for (const [pattern, replacement] of simpleReplacements) {\n      text = text.replace(pattern, replacement);\n    }\n\n    // Transform z.object() → type()\n    text = text.replace(/\\bz\\.object\\(/g, 'type(');\n\n    // Transform z.array(X) → type(\"X[]\") for simple types\n    text = text.replace(/\\bz\\.array\\((\"[\\w.]+\")\\)/g, 'type(\"$1[]\")');\n\n    // Transform z.enum([\"a\", \"b\"]) → type(\"'a' | 'b'\")\n    text = text.replace(/\\bz\\.enum\\(\\[([^\\]]+)\\]\\)/g, (_match, values: string) => {\n      const items = values.split(',').map((v: string) => v.trim());\n      return `type(\"${items.join(' | ')}\")`;\n    });\n\n    // Transform .optional() → add \"?\" suffix or wrap\n    text = text.replace(/\"([\\w.]+)\"\\.optional\\(\\)/g, '\"$1?\"');\n\n    // Transform .nullable() → add \" | null\"\n    text = text.replace(/\"([\\w.?]+)\"\\.nullable\\(\\)/g, '\"$1 | null\"');\n\n    // Transform validation chains on strings\n    for (const [zodMethod, arktypeType] of Object.entries(ZOD_VALIDATION_TO_ARKTYPE)) {\n      const pattern = new RegExp(`\"string\"\\\\.${zodMethod}\\\\(\\\\)`, 'g');\n      text = text.replace(pattern, `\"${arktypeType}\"`);\n    }\n\n    // Transform z.union([...]) → type(\"X | Y\")\n    text = text.replace(/\\bz\\.union\\(\\[([^\\]]+)\\]\\)/g, (_match, items: string) => {\n      const types = items.split(',').map((t: string) => t.trim().replace(/^\"|\"$/g, ''));\n      return `type(\"${types.join(' | ')}\")`;\n    });\n\n    // Transform z.literal(value) → type(\"=== value\") for simple literals\n    text = text.replace(/\\bz\\.literal\\((\\d+)\\)/g, 'type(\"=== $1\")');\n    text = text.replace(/\\bz\\.literal\\((['\"][^'\"]+['\"])\\)/g, 'type($1)');\n    text = text.replace(/\\bz\\.literal\\((true|false)\\)/g, 'type(\"=== $1\")');\n\n    // Transform z.record(keySchema, valueSchema) → type(\"Record<string, X>\")\n    text = text.replace(/\\bz\\.record\\(\"string\", \"(\\w+)\"\\)/g, 'type(\"Record<string, $1>\")');\n\n    // Transform z.tuple([...]) → type([\"X\", \"Y\"])\n    // Leave as-is since ArkType has similar tuple syntax\n\n    // Transform z.intersection(a, b) → type(\"A & B\")\n    // Complex - add TODO for now\n\n    sourceFile.replaceWithText(text);\n\n    // Add warnings for complex patterns\n    const currentText = sourceFile.getFullText();\n    if (currentText.includes('z.')) {\n      this.warnings.push(\n        `${filePath}: Some Zod patterns could not be auto-transformed to ArkType. ` +\n          'Look for remaining z.* references and convert manually.',\n      );\n    }\n  }\n\n  private transformTypeHelpers(sourceFile: SourceFile): void {\n    let text = sourceFile.getFullText();\n\n    // z.infer<typeof schema> → typeof schema.infer (ArkType)\n    // Actually in ArkType: type().infer is the type, used as typeof schema.infer\n    text = text.replace(/z\\.infer<typeof\\s+(\\w+)>/g, 'typeof $1.infer');\n    text = text.replace(/z\\.input<typeof\\s+(\\w+)>/g, 'typeof $1.in');\n    text = text.replace(/z\\.output<typeof\\s+(\\w+)>/g, 'typeof $1.infer');\n\n    sourceFile.replaceWithText(text);\n  }\n\n  private checkManualReviewPatterns(sourceFile: SourceFile): void {\n    const filePath = sourceFile.getFilePath();\n    const text = sourceFile.getFullText();\n\n    for (const pattern of MANUAL_REVIEW_PATTERNS) {\n      if (text.includes(`.${pattern}(`)) {\n        const guidance = this.getManualGuidance(pattern);\n        this.warnings.push(\n          `${filePath}: .${pattern}() requires manual conversion to ArkType. ${guidance}`,\n        );\n      }\n    }\n  }\n\n  private getManualGuidance(pattern: string): string {\n    const guidance: Record<string, string> = {\n      discriminatedUnion:\n        \"ArkType uses native TypeScript union syntax: type(\\\"{ kind: 'a', ... } | { kind: 'b', ... }\\\").\",\n      superRefine:\n        'ArkType uses .narrow() for refinements: type(\"string\").narrow((s) => s.length > 0).',\n      transform: 'ArkType uses morphs: type(\"string\").pipe((s) => s.toUpperCase()).',\n      preprocess: 'ArkType uses .from() for input transforms.',\n      lazy: 'ArkType handles recursion with scope(): const types = scope({ node: { left: \"node | null\", right: \"node | null\" } }).export().',\n      brand: 'ArkType has no .brand() equivalent. Use nominal types or tagged unions instead.',\n      coerce: 'ArkType uses .from() morphs for coercion: type(\"string\").from(\"number\").',\n      pipe: 'ArkType uses .pipe() with different semantics for morphs.',\n      catch: 'ArkType has no .catch() equivalent. Handle fallback values at the application level.',\n    };\n    return guidance[pattern] || 'See ArkType documentation for equivalent pattern.';\n  }\n}\n","import type { TransformHandler, TransformOptions, TransformResult } from '@schemashift/core';\nimport type { SourceFile } from 'ts-morph';\nimport { ZodToArktypeTransformer } from './zod-to-arktype-transformer.js';\n\nexport function createZodToArktypeHandler(): TransformHandler {\n  return {\n    transform(sourceFile: SourceFile, _options: TransformOptions): TransformResult {\n      const transformer = new ZodToArktypeTransformer();\n      return transformer.transform(sourceFile);\n    },\n  };\n}\n"],"mappings":";AAYO,IAAM,0BAAkD;AAAA,EAC7D,cAAc;AAAA,EACd,cAAc;AAAA,EACd,eAAe;AAAA,EACf,cAAc;AAAA,EACd,cAAc;AAAA,EACd,iBAAiB;AAAA,EACjB,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,WAAW;AAAA,EACX,eAAe;AAAA,EACf,aAAa;AAAA,EACb,YAAY;AACd;AAGO,IAAM,4BAAoD;AAAA,EAC/D,OAAO;AAAA,EACP,KAAK;AAAA,EACL,MAAM;AAAA,EACN,IAAI;AAAA,EACJ,SAAS;AACX;AAGO,IAAM,0BAAkD;AAAA,EAC7D,QAAQ;AAAA,EACR,QAAQ;AAAA,EACR,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,QAAQ;AAAA,EACR,WAAW;AAAA,EACX,MAAM;AAAA,EACN,MAAM;AAAA,EACN,SAAS;AAAA,EACT,OAAO;AAAA,EACP,MAAM;AAAA,EACN,gBAAgB;AAAA,EAChB,cAAc;AAAA,EACd,eAAe;AAAA,EACf,aAAa;AAAA,EACb,kBAAkB;AACpB;AA2BO,IAAM,yBAAyB,oBAAI,IAAI;AAAA,EAC5C;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AAAA,EACA;AAAA;AACF,CAAC;;;AC7EM,IAAM,0BAAN,MAA8B;AAAA,EAC3B,SAA2B,CAAC;AAAA,EAC5B,WAAqB,CAAC;AAAA,EAE9B,UAAU,YAAyC;AACjD,SAAK,SAAS,CAAC;AACf,SAAK,WAAW,CAAC;AAEjB,UAAM,WAAW,WAAW,YAAY;AACxC,UAAM,eAAe,WAAW,YAAY;AAE5C,QAAI;AACF,UAAI,OAAO;AAGX,aAAO,KAAK,eAAe,MAAM,QAAQ;AAGzC,aAAO,KAAK,yBAAyB,MAAM,QAAQ;AAGnD,aAAO,KAAK,qBAAqB,IAAI;AAGrC,aAAO,KAAK,qBAAqB,IAAI;AAErC,iBAAW,gBAAgB,IAAI;AAE/B,aAAO;AAAA,QACL,SAAS,KAAK,OAAO,WAAW;AAAA,QAChC;AAAA,QACA;AAAA,QACA,iBAAiB,WAAW,YAAY;AAAA,QACxC,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF,SAAS,OAAO;AACd,WAAK,OAAO,KAAK;AAAA,QACf,SAAS,iBAAiB,QAAQ,MAAM,UAAU;AAAA,MACpD,CAAC;AACD,aAAO;AAAA,QACL,SAAS;AAAA,QACT;AAAA,QACA;AAAA,QACA,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,eAAe,MAAc,UAA0B;AAE7D,WAAO,KAAK;AAAA,MACV;AAAA,MACA;AAAA,IACF;AAGA,WAAO,KAAK;AAAA,MACV;AAAA,MACA;AAAA,IACF;AAGA,WAAO,KAAK;AAAA,MACV;AAAA,MACA;AAAA,IACF;AAGA,QAAI,KAAK,SAAS,QAAQ,GAAG;AAC3B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MAEb;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEQ,yBAAyB,MAAc,UAA0B;AAEvE,WAAO,KAAK,QAAQ,eAAe,YAAY;AAG/C,WAAO,KAAK,QAAQ,uBAAuB,YAAY;AACvD,WAAO,KAAK,QAAQ,uBAAuB,YAAY;AACvD,WAAO,KAAK,QAAQ,wBAAwB,aAAa;AACzD,WAAO,KAAK,QAAQ,uBAAuB,YAAY;AACvD,WAAO,KAAK,QAAQ,wBAAwB,aAAa;AACzD,WAAO,KAAK,QAAQ,sBAAsB,WAAW;AACrD,WAAO,KAAK,QAAQ,qBAAqB,UAAU;AAGnD,WAAO,KAAK,QAAQ,8BAA8B,oBAAoB;AACtE,WAAO,KAAK,QAAQ,4BAA4B,kBAAkB;AAClE,WAAO,KAAK,QAAQ,6BAA6B,mBAAmB;AACpE,WAAO,KAAK,QAAQ,2BAA2B,iBAAiB;AAChE,WAAO,KAAK,QAAQ,gCAAgC,kBAAkB;AAGtE,WAAO,KAAK,QAAQ,0BAA0B,CAAC,QAAQ,aAAqB;AAC1E,YAAM,UAAU,wBAAwB,QAAQ;AAChD,aAAO,UAAU,WAAW,OAAO,MAAM,aAAa,QAAQ;AAAA,IAChE,CAAC;AAGD,WAAO,KAAK,QAAQ,+BAA+B,CAAC,QAAQ,aAAqB;AAC/E,YAAM,QAAQ,SAAS,MAAM,GAAG,EAAE,IAAI,CAAC,MAAc;AACnD,cAAM,UAAU,EAAE,KAAK;AACvB,cAAM,UAAU,wBAAwB,OAAO;AAC/C,YAAI,QAAS,QAAO;AACpB,YAAI,YAAY,OAAQ,QAAO;AAC/B,eAAO,KAAK,OAAO;AAAA,MACrB,CAAC;AACD,aAAO,YAAY,MAAM,KAAK,IAAI,CAAC;AAAA,IACrC,CAAC;AAGD,QAAI,KAAK,SAAS,UAAU,GAAG;AAC7B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MACb;AACA,aAAO,KAAK,QAAQ,eAAe,UAAU;AAAA,IAC/C;AAGA,QAAI,KAAK,SAAS,QAAQ,GAAG;AAC3B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MACb;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EAEQ,qBAAqB,MAAsB;AAEjD,WAAO,KAAK,QAAQ,4BAA4B,oBAAoB;AACpE,WAAO,KAAK,QAAQ,yBAAyB,oBAAoB;AAGjE,WAAO,KAAK,QAAQ,yBAAyB,oBAAoB;AAEjE,WAAO;AAAA,EACT;AAAA,EAEQ,qBAAqB,MAAsB;AAQjD,WAAO,KAAK,QAAQ,eAAe,uBAAuB;AAC1D,WAAO,KAAK,QAAQ,eAAe,uBAAuB;AAC1D,WAAO,KAAK,QAAQ,gBAAgB,wBAAwB;AAG5D,WAAO,KAAK,QAAQ,qBAAqB,uBAAuB;AAChE,WAAO,KAAK,QAAQ,qBAAqB,uBAAuB;AAChE,WAAO,KAAK,QAAQ,sBAAsB,wBAAwB;AAGlE,WAAO,KAAK,QAAQ,iBAAiB,cAAc;AACnD,WAAO,KAAK,QAAQ,iBAAiB,cAAc;AACnD,WAAO,KAAK,QAAQ,kBAAkB,eAAe;AACrD,WAAO,KAAK,QAAQ,eAAe,YAAY;AAC/C,WAAO,KAAK,QAAQ,iBAAiB,cAAc;AACnD,WAAO,KAAK,QAAQ,kBAAkB,eAAe;AAGrD,WAAO,KAAK,QAAQ,wBAAwB,sBAAsB;AAClE,WAAO,KAAK,QAAQ,sBAAsB,oBAAoB;AAC9D,WAAO,KAAK,QAAQ,uBAAuB,qBAAqB;AAEhE,WAAO;AAAA,EACT;AACF;;;AC7LO,SAAS,4BAA8C;AAC5D,SAAO;AAAA,IACL,UAAU,YAAwB,UAA6C;AAC7E,YAAM,cAAc,IAAI,wBAAwB;AAChD,aAAO,YAAY,UAAU,UAAU;AAAA,IACzC;AAAA,EACF;AACF;;;ACIO,IAAM,0BAAN,MAA8B;AAAA,EAC3B,SAA2B,CAAC;AAAA,EAC5B,WAAqB,CAAC;AAAA,EAE9B,UAAU,YAAyC;AACjD,SAAK,SAAS,CAAC;AACf,SAAK,WAAW,CAAC;AAEjB,UAAM,WAAW,WAAW,YAAY;AACxC,UAAM,eAAe,WAAW,YAAY;AAE5C,QAAI;AAEF,WAAK,eAAe,UAAU;AAG9B,WAAK,iBAAiB,UAAU;AAGhC,WAAK,qBAAqB,UAAU;AAGpC,WAAK,0BAA0B,UAAU;AAEzC,aAAO;AAAA,QACL,SAAS,KAAK,OAAO,WAAW;AAAA,QAChC;AAAA,QACA;AAAA,QACA,iBAAiB,WAAW,YAAY;AAAA,QACxC,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF,SAAS,OAAO;AACd,WAAK,OAAO,KAAK;AAAA,QACf,SAAS,iBAAiB,QAAQ,MAAM,UAAU;AAAA,MACpD,CAAC;AACD,aAAO;AAAA,QACL,SAAS;AAAA,QACT;AAAA,QACA;AAAA,QACA,QAAQ,KAAK;AAAA,QACb,UAAU,KAAK;AAAA,MACjB;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,eAAe,YAA8B;AACnD,eAAW,cAAc,WAAW,sBAAsB,GAAG;AAC3D,YAAM,kBAAkB,WAAW,wBAAwB;AAC3D,UAAI,oBAAoB,OAAO;AAC7B,mBAAW,mBAAmB,SAAS;AAGvC,cAAM,eAAe,WAAW,gBAAgB;AAChD,cAAM,gBAAgB,WAAW,iBAAiB;AAClD,cAAM,kBAAkB,WAAW,mBAAmB;AAEtD,YAAI,iBAAiB;AAEnB,qBAAW,sBAAsB;AACjC,qBAAW,eAAe,MAAM;AAAA,QAClC,WAAW,aAAa,SAAS,GAAG;AAElC,qBAAW,eAAe,cAAc;AACtC,kBAAM,OAAO,YAAY,QAAQ;AACjC,gBAAI,SAAS,KAAK;AAChB,0BAAY,OAAO;AAAA,YACrB,OAAO;AAEL,mBAAK,SAAS;AAAA,gBACZ,GAAG,WAAW,YAAY,CAAC,MAAM,IAAI;AAAA,cACvC;AACA,0BAAY,OAAO;AAAA,YACrB;AAAA,UACF;AACA,qBAAW,eAAe,MAAM;AAAA,QAClC,WAAW,eAAe;AACxB,qBAAW,oBAAoB;AAC/B,qBAAW,eAAe,MAAM;AAAA,QAClC;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,iBAAiB,YAA8B;AACrD,QAAI,OAAO,WAAW,YAAY;AAClC,UAAM,WAAW,WAAW,YAAY;AAIxC,UAAM,qBAA8C;AAAA;AAAA,MAElD,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,qBAAqB,WAAW;AAAA,MACjC,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,oBAAoB,UAAU;AAAA,MAC/B,CAAC,uBAAuB,aAAa;AAAA,MACrC,CAAC,kBAAkB,QAAQ;AAAA,MAC3B,CAAC,kBAAkB,QAAQ;AAAA,MAC3B,CAAC,iBAAiB,WAAW;AAAA,MAC7B,CAAC,qBAAqB,WAAW;AAAA,MACjC,CAAC,mBAAmB,SAAS;AAAA,MAC7B,CAAC,kBAAkB,QAAQ;AAAA,MAC3B,CAAC,iBAAiB,UAAU;AAAA,IAC9B;AAEA,eAAW,CAAC,SAAS,WAAW,KAAK,oBAAoB;AACvD,aAAO,KAAK,QAAQ,SAAS,WAAW;AAAA,IAC1C;AAGA,WAAO,KAAK,QAAQ,kBAAkB,OAAO;AAG7C,WAAO,KAAK,QAAQ,6BAA6B,cAAc;AAG/D,WAAO,KAAK,QAAQ,8BAA8B,CAAC,QAAQ,WAAmB;AAC5E,YAAM,QAAQ,OAAO,MAAM,GAAG,EAAE,IAAI,CAAC,MAAc,EAAE,KAAK,CAAC;AAC3D,aAAO,SAAS,MAAM,KAAK,KAAK,CAAC;AAAA,IACnC,CAAC;AAGD,WAAO,KAAK,QAAQ,6BAA6B,OAAO;AAGxD,WAAO,KAAK,QAAQ,8BAA8B,aAAa;AAG/D,eAAW,CAAC,WAAW,WAAW,KAAK,OAAO,QAAQ,yBAAyB,GAAG;AAChF,YAAM,UAAU,IAAI,OAAO,cAAc,SAAS,UAAU,GAAG;AAC/D,aAAO,KAAK,QAAQ,SAAS,IAAI,WAAW,GAAG;AAAA,IACjD;AAGA,WAAO,KAAK,QAAQ,+BAA+B,CAAC,QAAQ,UAAkB;AAC5E,YAAM,QAAQ,MAAM,MAAM,GAAG,EAAE,IAAI,CAAC,MAAc,EAAE,KAAK,EAAE,QAAQ,UAAU,EAAE,CAAC;AAChF,aAAO,SAAS,MAAM,KAAK,KAAK,CAAC;AAAA,IACnC,CAAC;AAGD,WAAO,KAAK,QAAQ,0BAA0B,gBAAgB;AAC9D,WAAO,KAAK,QAAQ,qCAAqC,UAAU;AACnE,WAAO,KAAK,QAAQ,iCAAiC,gBAAgB;AAGrE,WAAO,KAAK,QAAQ,qCAAqC,4BAA4B;AAQrF,eAAW,gBAAgB,IAAI;AAG/B,UAAM,cAAc,WAAW,YAAY;AAC3C,QAAI,YAAY,SAAS,IAAI,GAAG;AAC9B,WAAK,SAAS;AAAA,QACZ,GAAG,QAAQ;AAAA,MAEb;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,qBAAqB,YAA8B;AACzD,QAAI,OAAO,WAAW,YAAY;AAIlC,WAAO,KAAK,QAAQ,6BAA6B,iBAAiB;AAClE,WAAO,KAAK,QAAQ,6BAA6B,cAAc;AAC/D,WAAO,KAAK,QAAQ,8BAA8B,iBAAiB;AAEnE,eAAW,gBAAgB,IAAI;AAAA,EACjC;AAAA,EAEQ,0BAA0B,YAA8B;AAC9D,UAAM,WAAW,WAAW,YAAY;AACxC,UAAM,OAAO,WAAW,YAAY;AAEpC,eAAW,WAAW,wBAAwB;AAC5C,UAAI,KAAK,SAAS,IAAI,OAAO,GAAG,GAAG;AACjC,cAAM,WAAW,KAAK,kBAAkB,OAAO;AAC/C,aAAK,SAAS;AAAA,UACZ,GAAG,QAAQ,MAAM,OAAO,6CAA6C,QAAQ;AAAA,QAC/E;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,kBAAkB,SAAyB;AACjD,UAAM,WAAmC;AAAA,MACvC,oBACE;AAAA,MACF,aACE;AAAA,MACF,WAAW;AAAA,MACX,YAAY;AAAA,MACZ,MAAM;AAAA,MACN,OAAO;AAAA,MACP,QAAQ;AAAA,MACR,MAAM;AAAA,MACN,OAAO;AAAA,IACT;AACA,WAAO,SAAS,OAAO,KAAK;AAAA,EAC9B;AACF;;;AC5NO,SAAS,4BAA8C;AAC5D,SAAO;AAAA,IACL,UAAU,YAAwB,UAA6C;AAC7E,YAAM,cAAc,IAAI,wBAAwB;AAChD,aAAO,YAAY,UAAU,UAAU;AAAA,IACzC;AAAA,EACF;AACF;","names":[]}

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "@schemashift/zod-arktype",
+  "version": "0.10.0",
+  "description": "Zod ↔ ArkType bidirectional transformer for SchemaShift",
+  "keywords": [
+    "schemashift",
+    "zod",
+    "arktype",
+    "migration",
+    "schema",
+    "codemod"
+  ],
+  "author": "Joseph May",
+  "license": "MIT",
+  "engines": {
+    "node": ">=22.0.0"
+  },
+  "type": "module",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": {
+        "types": "./dist/index.d.ts",
+        "default": "./dist/index.js"
+      },
+      "require": {
+        "types": "./dist/index.d.cts",
+        "default": "./dist/index.cjs"
+      }
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@schemashift/core": "0.10.0",
+    "ts-morph": "27.0.2"
+  },
+  "publishConfig": {
+    "access": "public"
+  }
+}