@elliots/typical 0.1.4 → 0.1.6

package/dist/src/config.d.ts

@@ -1,7 +1,19 @@
+export interface TypicalDebugConfig {
+    writeIntermediateFiles?: boolean;
+}
 export interface TypicalConfig {
     include?: string[];
     exclude?: string[];
     reusableValidators?: boolean;
+    validateCasts?: boolean;
+    hoistRegex?: boolean;
+    debug?: TypicalDebugConfig;
+    /**
+     * Type patterns to skip validation for (supports wildcards).
+     * Use this for types that typia cannot process (e.g., React event types).
+     * Example: ["React.*", "Express.Request", "*.Event"]
+     */
+    ignoreTypes?: string[];
 }
 export declare const defaultConfig: TypicalConfig;
 export declare function loadConfig(configPath?: string): TypicalConfig;

package/dist/src/config.js

@@ -2,6 +2,11 @@ export const defaultConfig = {
     include: ["**/*.ts", "**/*.tsx"],
     exclude: ["node_modules/**", "**/*.d.ts", "dist/**", "build/**"],
     reusableValidators: true,
+    validateCasts: false,
+    hoistRegex: true,
+    debug: {
+        writeIntermediateFiles: false,
+    },
 };
 import fs from 'fs';
 import path from 'path';

package/dist/src/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;IAChE,kBAAkB,EAAE,IAAI;CACzB,CAAC;AAEF,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAC;IAE1E,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAErE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC;YAClE,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;IAChE,kBAAkB,EAAE,IAAI;IACxB,aAAa,EAAE,KAAK;IACpB,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;CACF,CAAC;AAEF,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAC;IAE1E,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAErE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC;YAClE,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC"}

package/dist/src/esm-loader.d.ts

@@ -1,3 +1,7 @@
+/**
+ * Resolve hook - rewrites .js imports to .ts if the .ts file exists
+ */
+export declare function resolve(specifier: string, context: any, nextResolve: any): Promise<any>;
 /**
  * Load hook - transforms TypeScript files on the fly
  */

package/dist/src/esm-loader.js

@@ -1,6 +1,28 @@
-import { fileURLToPath } from "url";
+import { fileURLToPath, pathToFileURL } from "url";
+import { existsSync } from "fs";
 import { TypicalTransformer } from "./transformer.js";
 const transformer = new TypicalTransformer();
+/**
+ * Resolve hook - rewrites .js imports to .ts if the .ts file exists
+ */
+export async function resolve(specifier, context, nextResolve) {
+    // Only handle relative imports ending in .js
+    if (specifier.startsWith('.') && specifier.endsWith('.js')) {
+        const { parentURL } = context;
+        if (parentURL) {
+            const parentPath = fileURLToPath(parentURL);
+            const dir = parentPath.substring(0, parentPath.lastIndexOf('/'));
+            const tsPath = dir + '/' + specifier.slice(0, -3) + '.ts';
+            if (existsSync(tsPath)) {
+                return {
+                    url: pathToFileURL(tsPath).href,
+                    shortCircuit: true,
+                };
+            }
+        }
+    }
+    return nextResolve(specifier, context);
+}
 /**
  * Load hook - transforms TypeScript files on the fly
  */

package/dist/src/esm-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"esm-loader.js","sourceRoot":"","sources":["../../src/esm-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,WAAW,GAAG,IAAI,kBAAkB,EAAE,CAAC;AAE7C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,GAAW,EAAE,OAAY,EAAE,QAAa;IACjE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAEpC,IAAI,CAAC;QACH,MAAM,eAAe,GAAG,WAAW,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9D,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,eAAe;YACvB,YAAY,EAAE,IAAI;SACnB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,sBAAsB,QAAQ,GAAG,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}
+{"version":3,"file":"esm-loader.js","sourceRoot":"","sources":["../../src/esm-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAChC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,WAAW,GAAG,IAAI,kBAAkB,EAAE,CAAC;AAE7C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,SAAiB,EAAE,OAAY,EAAE,WAAgB;IAC7E,6CAA6C;IAC7C,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;QAC9B,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,GAAG,GAAG,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;YAE1D,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvB,OAAO;oBACL,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI;oBAC/B,YAAY,EAAE,IAAI;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,GAAW,EAAE,OAAY,EAAE,QAAa;IACjE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAEpC,IAAI,CAAC;QACH,MAAM,eAAe,GAAG,WAAW,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9D,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,eAAe;YACvB,YAAY,EAAE,IAAI;SACnB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,sBAAsB,QAAQ,GAAG,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/src/file-filter.js

@@ -5,6 +5,10 @@ import { minimatch } from 'minimatch';
  */
 export function shouldTransformFile(fileName, config) {
     const relativePath = path.relative(process.cwd(), fileName);
+    // Exclude files outside the project directory (e.g., resolved symlinks to parent dirs)
+    if (relativePath.startsWith('..')) {
+        return false;
+    }
     // Check include patterns
     const isIncluded = config.include?.some(pattern => {
         return minimatch(relativePath, pattern);

package/dist/src/file-filter.js.map

@@ -1 +1 @@
-{"version":3,"file":"file-filter.js","sourceRoot":"","sources":["../../src/file-filter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAGtC;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,MAAqB;IACzE,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE5D,yBAAyB;IACzB,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;QAChD,OAAO,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,IAAI,CAAC;IAEX,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAE9B,yBAAyB;IACzB,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;QAChD,OAAO,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,KAAK,CAAC;IAEZ,OAAO,CAAC,UAAU,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAAC,QAAgB;IAC5D,kCAAkC;IAClC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAEhD,yBAAyB;IACzB,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAE7C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,MAAqB;IACvE,OAAO,6BAA6B,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}
+{"version":3,"file":"file-filter.js","sourceRoot":"","sources":["../../src/file-filter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAGtC;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,MAAqB;IACzE,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;IAE5D,uFAAuF;IACvF,IAAI,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yBAAyB;IACzB,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;QAChD,OAAO,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,IAAI,CAAC;IAEX,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAE9B,yBAAyB;IACzB,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;QAChD,OAAO,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,KAAK,CAAC;IAEZ,OAAO,CAAC,UAAU,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAAC,QAAgB;IAC5D,kCAAkC;IAClC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAEhD,yBAAyB;IACzB,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAE7C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,MAAqB;IACvE,OAAO,6BAA6B,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}

package/dist/src/regex-hoister.d.ts

@@ -0,0 +1,11 @@
+import ts from "typescript";
+/**
+ * Hoists RegExp constructor calls to top-level constants.
+ * Transforms: RegExp(/pattern/).test(x) -> __regex_N.test(x)
+ * where __regex_N is a hoisted constant: const __regex_N = /pattern/;
+ *
+ * Due to typia's quirky AST structure where identifiers contain full expressions
+ * (e.g., identifier text is "RegExp(/pattern/).test"), we extract patterns from
+ * the identifier text directly.
+ */
+export declare function hoistRegexConstructors(sourceFile: ts.SourceFile, tsInstance: typeof ts, factory: ts.NodeFactory): ts.SourceFile;

package/dist/src/regex-hoister.js

@@ -0,0 +1,156 @@
+/**
+ * Hoists RegExp constructor calls to top-level constants.
+ * Transforms: RegExp(/pattern/).test(x) -> __regex_N.test(x)
+ * where __regex_N is a hoisted constant: const __regex_N = /pattern/;
+ *
+ * Due to typia's quirky AST structure where identifiers contain full expressions
+ * (e.g., identifier text is "RegExp(/pattern/).test"), we extract patterns from
+ * the identifier text directly.
+ */
+export function hoistRegexConstructors(sourceFile, tsInstance, factory) {
+    const regexPatterns = new Map(); // full RegExp(...) -> variable name
+    let regexCounter = 0;
+    // Extract regex pattern from identifier text like "RegExp(/pattern/).test"
+    // The pattern can contain escaped characters and parentheses
+    function extractRegexFromIdText(idText) {
+        // Match RegExp(/.../) where the regex can contain any characters except unescaped /
+        // We look for RegExp( followed by / then find the matching closing / and )
+        if (!idText.startsWith("RegExp(/"))
+            return null;
+        let inCharClass = false;
+        let escaped = false;
+        // Start after "RegExp(/"
+        const start = 7; // "RegExp(/" = 7 chars, but we want to include the /
+        for (let i = 8; i < idText.length; i++) {
+            const char = idText[i];
+            if (escaped) {
+                escaped = false;
+                continue;
+            }
+            if (char === "\\") {
+                escaped = true;
+                continue;
+            }
+            if (char === "[" && !inCharClass) {
+                inCharClass = true;
+                continue;
+            }
+            if (char === "]" && inCharClass) {
+                inCharClass = false;
+                continue;
+            }
+            // End of regex pattern (unescaped /)
+            if (char === "/" && !inCharClass) {
+                // Check for flags after the /
+                let j = i + 1;
+                while (j < idText.length && /[gimsuy]/.test(idText[j])) {
+                    j++;
+                }
+                // Should be followed by )
+                if (idText[j] === ")") {
+                    return idText.substring(start, j); // Include /pattern/flags
+                }
+                return null;
+            }
+        }
+        return null;
+    }
+    // First pass: collect all unique RegExp patterns from identifier texts
+    // Only collect from inside __typical_* declarations (our generated code)
+    function collectRegexPatterns(node, insideTypical) {
+        // Check if we're entering a __typical_* variable declaration
+        let nowInsideTypical = insideTypical;
+        if (tsInstance.isVariableDeclaration(node)) {
+            const name = node.name;
+            if (tsInstance.isIdentifier(name)) {
+                const varName = name.escapedText;
+                if (process.env.DEBUG && sourceFile.fileName.includes("object-types")) {
+                    console.log(`REGEX HOISTER: found var decl: ${varName.substring(0, 50)}`);
+                }
+                if (varName.startsWith("__typical_") || varName.startsWith("___typical_")) {
+                    nowInsideTypical = true;
+                    if (process.env.DEBUG) {
+                        console.log(`REGEX HOISTER: entering __typical_ declaration: ${varName}`);
+                    }
+                }
+            }
+        }
+        if (nowInsideTypical && tsInstance.isIdentifier(node)) {
+            const idText = node.escapedText;
+            if (idText.startsWith("RegExp(")) {
+                if (process.env.DEBUG) {
+                    console.log(`REGEX HOISTER: found RegExp identifier: ${idText.substring(0, 50)}...`);
+                }
+                const pattern = extractRegexFromIdText(idText);
+                if (pattern) {
+                    const fullMatch = `RegExp(${pattern})`;
+                    if (!regexPatterns.has(fullMatch)) {
+                        regexPatterns.set(fullMatch, `__regex_${regexCounter++}`);
+                    }
+                }
+            }
+        }
+        node.forEachChild((child) => collectRegexPatterns(child, nowInsideTypical));
+    }
+    collectRegexPatterns(sourceFile, false);
+    if (process.env.DEBUG) {
+        console.log(`REGEX HOISTER: ${sourceFile.fileName} - found ${regexPatterns.size} unique RegExp patterns`);
+    }
+    // No patterns found, return original
+    if (regexPatterns.size === 0) {
+        return sourceFile;
+    }
+    // Second pass: replace identifiers that start with RegExp(...)
+    function replaceRegexIdentifiers(node) {
+        if (tsInstance.isIdentifier(node)) {
+            const idText = node.escapedText;
+            if (idText.startsWith("RegExp(")) {
+                const pattern = extractRegexFromIdText(idText);
+                if (pattern) {
+                    const fullMatch = `RegExp(${pattern})`;
+                    const varName = regexPatterns.get(fullMatch);
+                    if (varName) {
+                        // Replace "RegExp(/pattern/).test" with "__regex_N.test"
+                        const newIdText = idText.replace(fullMatch, varName);
+                        return factory.createIdentifier(newIdText);
+                    }
+                }
+            }
+        }
+        return tsInstance.visitEachChild(node, replaceRegexIdentifiers, undefined);
+    }
+    // Create hoisted const declarations for each unique regex
+    const hoistedDeclarations = [];
+    for (const [fullMatch, varName] of regexPatterns) {
+        // Extract regex literal from "RegExp(/pattern/)"
+        const regexLiteral = fullMatch.slice(7, -1); // Remove "RegExp(" and ")"
+        const constDecl = factory.createVariableStatement(undefined, factory.createVariableDeclarationList([
+            factory.createVariableDeclaration(factory.createIdentifier(varName), undefined, undefined, factory.createRegularExpressionLiteral(regexLiteral)),
+        ], tsInstance.NodeFlags.Const));
+        hoistedDeclarations.push(constDecl);
+    }
+    // Transform all statements (replacing RegExp identifiers)
+    const transformedStatements = [];
+    for (const stmt of sourceFile.statements) {
+        const transformed = replaceRegexIdentifiers(stmt);
+        transformedStatements.push(transformed);
+    }
+    // Find insertion point: after imports but before other code
+    let insertIndex = 0;
+    for (let i = 0; i < transformedStatements.length; i++) {
+        if (tsInstance.isImportDeclaration(transformedStatements[i])) {
+            insertIndex = i + 1;
+        }
+        else {
+            break;
+        }
+    }
+    // Insert hoisted declarations after imports
+    const finalStatements = [
+        ...transformedStatements.slice(0, insertIndex),
+        ...hoistedDeclarations,
+        ...transformedStatements.slice(insertIndex),
+    ];
+    return factory.updateSourceFile(sourceFile, finalStatements, sourceFile.isDeclarationFile, sourceFile.referencedFiles, sourceFile.typeReferenceDirectives, sourceFile.hasNoDefaultLib, sourceFile.libReferenceDirectives);
+}
+//# sourceMappingURL=regex-hoister.js.map

package/dist/src/regex-hoister.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex-hoister.js","sourceRoot":"","sources":["../../src/regex-hoister.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAyB,EACzB,UAAqB,EACrB,OAAuB;IAEvB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,oCAAoC;IACrF,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,2EAA2E;IAC3E,6DAA6D;IAC7D,SAAS,sBAAsB,CAAC,MAAc;QAC5C,oFAAoF;QACpF,2EAA2E;QAC3E,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAEhD,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,OAAO,GAAG,KAAK,CAAC;QAEpB,yBAAyB;QACzB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,qDAAqD;QAEtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAEvB,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS;YACX,CAAC;YAED,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjC,WAAW,GAAG,IAAI,CAAC;gBACnB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;gBAChC,WAAW,GAAG,KAAK,CAAC;gBACpB,SAAS;YACX,CAAC;YAED,qCAAqC;YACrC,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjC,8BAA8B;gBAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvD,CAAC,EAAE,CAAC;gBACN,CAAC;gBACD,0BAA0B;gBAC1B,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACtB,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB;gBAC9D,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uEAAuE;IACvE,yEAAyE;IACzE,SAAS,oBAAoB,CAAC,IAAa,EAAE,aAAsB;QACjE,6DAA6D;QAC7D,IAAI,gBAAgB,GAAG,aAAa,CAAC;QACrC,IAAI,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAqB,CAAC;gBAC3C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;oBACtE,OAAO,CAAC,GAAG,CAAC,kCAAkC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC5E,CAAC;gBACD,IAAI,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;oBAC1E,gBAAgB,GAAG,IAAI,CAAC;oBACxB,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;wBACtB,OAAO,CAAC,GAAG,CAAC,mDAAmD,OAAO,EAAE,CAAC,CAAC;oBAC5E,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,IAAI,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAqB,CAAC;YAC1C,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;oBACtB,OAAO,CAAC,GAAG,CAAC,2CAA2C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;gBACvF,CAAC;gBACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,SAAS,GAAG,UAAU,OAAO,GAAG,CAAC;oBACvC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;wBAClC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,YAAY,EAAE,EAAE,CAAC,CAAC;oBAC5D,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAExC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,kBAAkB,UAAU,CAAC,QAAQ,YAAY,aAAa,CAAC,IAAI,yBAAyB,CAAC,CAAC;IAC5G,CAAC;IAED,qCAAqC;IACrC,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,+DAA+D;IAC/D,SAAS,uBAAuB,CAAC,IAAa;QAC5C,IAAI,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAqB,CAAC;YAC1C,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,SAAS,GAAG,UAAU,OAAO,GAAG,CAAC;oBACvC,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC7C,IAAI,OAAO,EAAE,CAAC;wBACZ,yDAAyD;wBACzD,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;wBACrD,OAAO,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC,cAAc,CAC9B,IAAI,EACJ,uBAAuB,EACvB,SAAgD,CACjD,CAAC;IACJ,CAAC;IAED,0DAA0D;IAC1D,MAAM,mBAAmB,GAAmB,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QACjD,iDAAiD;QACjD,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,2BAA2B;QACxE,MAAM,SAAS,GAAG,OAAO,CAAC,uBAAuB,CAC/C,SAAS,EACT,OAAO,CAAC,6BAA6B,CACnC;YACE,OAAO,CAAC,yBAAyB,CAC/B,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACjC,SAAS,EACT,SAAS,EACT,OAAO,CAAC,8BAA8B,CAAC,YAAY,CAAC,CACrD;SACF,EACD,UAAU,CAAC,SAAS,CAAC,KAAK,CAC3B,CACF,CAAC;QACF,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,0DAA0D;IAC1D,MAAM,qBAAqB,GAAmB,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAiB,CAAC;QAClE,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC;IAED,4DAA4D;IAC5D,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,IAAI,UAAU,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,WAAW,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,MAAM,eAAe,GAAG;QACtB,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC;QAC9C,GAAG,mBAAmB;QACtB,GAAG,qBAAqB,CAAC,KAAK,CAAC,WAAW,CAAC;KAC5C,CAAC;IAEF,OAAO,OAAO,CAAC,gBAAgB,CAC7B,UAAU,EACV,eAAe,EACf,UAAU,CAAC,iBAAiB,EAC5B,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,uBAAuB,EAClC,UAAU,CAAC,eAAe,EAC1B,UAAU,CAAC,sBAAsB,CAClC,CAAC;AACJ,CAAC"}

package/dist/src/setup.js

@@ -4,9 +4,15 @@ export function setupTsProgram(tsInstance) {
     if (!tsConfigPath) {
         throw new Error("Could not find tsconfig.json");
     }
+    if (process.env.DEBUG) {
+        console.log(`SETUP: Using tsconfig at ${tsConfigPath}`);
+    }
     // Load and parse tsconfig.json
     const configFile = tsInstance.readConfigFile(tsConfigPath, tsInstance.sys.readFile);
     const parsedConfig = tsInstance.parseJsonConfigFileContent(configFile.config, tsInstance.sys, process.cwd());
+    if (process.env.DEBUG) {
+        console.log(`SETUP: Parsed tsconfig with ${parsedConfig.fileNames.length} files`);
+    }
     // Create the TypeScript program with all project files
     const tsProgram = tsInstance.createProgram(parsedConfig.fileNames, parsedConfig.options);
     return tsProgram;

package/dist/src/setup.js.map

@@ -1 +1 @@
-{"version":3,"file":"setup.js","sourceRoot":"","sources":["../../src/setup.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,cAAc,CAAC,UAAqB;IAClD,qBAAqB;IACrB,MAAM,YAAY,GAAG,UAAU,CAAC,cAAc,CAC5C,OAAO,CAAC,GAAG,EAAE,EACb,UAAU,CAAC,GAAG,CAAC,UAAU,EACzB,eAAe,CAChB,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IAED,+BAA+B;IAC/B,MAAM,UAAU,GAAG,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpF,MAAM,YAAY,GAAG,UAAU,CAAC,0BAA0B,CACxD,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,GAAG,EACd,OAAO,CAAC,GAAG,EAAE,CACd,CAAC;IAEF,uDAAuD;IACvD,MAAM,SAAS,GAAG,UAAU,CAAC,aAAa,CACxC,YAAY,CAAC,SAAS,EACtB,YAAY,CAAC,OAAO,CACrB,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"setup.js","sourceRoot":"","sources":["../../src/setup.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,cAAc,CAAC,UAAqB;IAClD,qBAAqB;IACrB,MAAM,YAAY,GAAG,UAAU,CAAC,cAAc,CAC5C,OAAO,CAAC,GAAG,EAAE,EACb,UAAU,CAAC,GAAG,CAAC,UAAU,EACzB,eAAe,CAChB,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,4BAA4B,YAAY,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,+BAA+B;IAC/B,MAAM,UAAU,GAAG,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpF,MAAM,YAAY,GAAG,UAAU,CAAC,0BAA0B,CACxD,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,GAAG,EACd,OAAO,CAAC,GAAG,EAAE,CACd,CAAC;IAEF,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CACT,+BAA+B,YAAY,CAAC,SAAS,CAAC,MAAM,QAAQ,CACrE,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,MAAM,SAAS,GAAG,UAAU,CAAC,aAAa,CACxC,YAAY,CAAC,SAAS,EACtB,YAAY,CAAC,OAAO,CACrB,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/src/transformer.d.ts

@@ -27,9 +27,69 @@ export declare class TypicalTransformer {
      */
     private transformSourceFile;
     shouldTransformFile(fileName: string): boolean;
+    /**
+     * Check if a TypeNode represents any or unknown type.
+     * These types are intentional escape hatches and shouldn't be validated.
+     */
+    private isAnyOrUnknownType;
+    /**
+     * Check if a Type has any or unknown flags.
+     */
+    private isAnyOrUnknownTypeFlags;
+    /**
+     * Check if a type name matches any of the ignoreTypes patterns.
+     * Supports wildcards: "React.*" matches "React.FormEvent", "React.ChangeEvent", etc.
+     */
+    private isIgnoredType;
+    /**
+     * Find untransformed typia calls in the output code.
+     * These indicate types that typia could not process.
+     */
+    private findUntransformedTypiaCalls;
+    /**
+     * Infer type information from a JSON.stringify argument for creating a reusable stringifier.
+     */
+    private inferStringifyType;
+    /**
+     * Gets the root identifier from an expression.
+     * e.g., `user.address.city` -> "user"
+     */
+    private getRootIdentifier;
+    /**
+     * Check if a validated variable has been tainted (mutated) in the function body.
+     * A variable is tainted if it's reassigned, has properties modified, is passed
+     * to a function, has methods called on it, or if an await occurs.
+     */
+    private isTainted;
     private addTypiaImport;
+    /**
+     * Gets type text for use as a validator map key.
+     * Uses getText() to preserve local aliases (e.g., "User1" vs "User2"),
+     * but falls back to typeToString() for synthesized nodes without source positions.
+     *
+     * @param typeNode The TypeNode to get a key for
+     * @param typeChecker The TypeChecker to use
+     * @param typeObj Optional Type object - use this for synthesized nodes since
+     *                getTypeFromTypeNode doesn't work correctly on them
+     */
+    private getTypeKey;
+    /**
+     * Creates a readable name suffix from a type string.
+     * For simple identifiers like "User" or "string", returns the name directly.
+     * For complex types, returns a numeric index.
+     */
+    private getTypeNameSuffix;
+    /**
+     * Generic method to get or create a typed function (validator, stringifier, or parser).
+     */
+    private getOrCreateTypedFunction;
     private getOrCreateValidator;
     private getOrCreateStringifier;
     private getOrCreateParser;
+    /**
+     * Creates a nested property access expression from an array of identifiers.
+     * e.g., ['typia', 'json', 'createStringify'] -> typia.json.createStringify
+     */
+    private createPropertyAccessChain;
     private createValidatorStatements;
 }