@elliots/typical 0.2.0-beta.1 → 0.2.1

package/README.md

@@ -286,12 +286,57 @@ Create a `typical.json` file in your project root (optional):
 
 ### Options
 
-| Option              | Default                                                   | Description                                   |
-| ------------------- | --------------------------------------------------------- | --------------------------------------------- |
-| `include`           | `["**/*.ts", "**/*.tsx"]`                                 | Files to transform                            |
-| `exclude`           | `["node_modules/**", "**/*.d.ts", "dist/**", "build/**"]` | Files to skip                                 |
-| `validateFunctions` | `true`                                                    | Validate function parameters and return types |
-| `validateCasts`     | `false`                                                   | Validate type assertions (`as Type`)          |
+| Option                   | Default                                                   | Description                                                       |
+| ------------------------ | --------------------------------------------------------- | ----------------------------------------------------------------- |
+| `include`                | `["**/*.ts", "**/*.tsx"]`                                 | Files to transform                                                |
+| `exclude`                | `["node_modules/**", "**/*.d.ts", "dist/**", "build/**"]` | Files to skip                                                     |
+| `validateFunctions`      | `true`                                                    | Validate function parameters and return types                     |
+| `validateCasts`          | `false`                                                   | Validate type assertions (`as Type`)                              |
+| `transformJSONParse`     | `true`                                                    | Transform `JSON.parse` to validate and filter to typed properties |
+| `transformJSONStringify` | `true`                                                    | Transform `JSON.stringify` to only include typed properties       |
+
+---
+
+## JSON Transformations
+
+Typical automatically transforms `JSON.parse` and `JSON.stringify` calls when type information is available.
+
+### JSON.parse
+
+When you cast the result of `JSON.parse`, Typical validates the parsed data and filters it to only include properties defined in your type:
+
+```ts
+interface User {
+  name: string;
+  age: number;
+}
+
+// Input: '{"name":"Alice","age":30,"password":"secret"}'
+const user = JSON.parse(jsonString) as User;
+// Result: { name: "Alice", age: 30 } - password is filtered out!
+// Throws TypeError if name isn't a string or age isn't a number
+```
+
+### JSON.stringify
+
+When you use a type assertion with `JSON.stringify`, only properties defined in your type are included - preventing accidental data leaks:
+
+```ts
+interface PublicUser {
+  name: string;
+  age: number;
+}
+
+const user = { name: "Alice", age: 30, password: "secret", ssn: "123-45-6789" };
+const json = JSON.stringify(user as PublicUser);
+// Result: '{"name":"Alice","age":30}' - sensitive data excluded!
+```
+
+Both patterns detect type information from:
+
+- Type assertions: `JSON.parse(str) as User` or `JSON.stringify(obj as User)`
+- Variable declarations: `const user: User = JSON.parse(str)`
+- Function return types: `function getUser(): User { return JSON.parse(str) }`
 
 ---
 
@@ -301,6 +346,16 @@ Typical uses a Go-based compiler that leverages the TypeScript type checker to a
 
 Types that can't be validated at runtime (like generic type parameters `T`) are skipped. You can still use `any` and `unknown` to opt out of validation.
 
+## Compiler Optimizations
+
+The generated validation code is optimized for runtime performance:
+
+- **Skip redundant validation** - When returning a validated parameter directly, the return validation is skipped (e.g., `return x` where `x: string` was already validated)
+- **Subtype-aware skipping** - If a validated type is assignable to the return type, validation is skipped (e.g., `string` parameter returned as `string | null`)
+- **Property chain tracking** - Accessing properties of validated objects skips re-validation (e.g., `return user.name` when `user: User` was validated)
+- **Type-aware dirty tracking** - Primitives stay validated after being passed to functions (they're copied), but objects are re-validated (they could be mutated)
+- **Union early bail-out** - Union type checks use if-else chains so the first matching type succeeds immediately
+
 ## Debugging
 
 Set `DEBUG=1` for verbose logging:

package/dist/src/config.d.ts

@@ -31,55 +31,39 @@ export interface TypicalConfig {
      * Example: ["React.*", "Express.Request", "*.Event"]
      */
     ignoreTypes?: string[];
-    /**
-     * Skip validation for DOM types (Document, Element, Node, etc.) and their subclasses.
-     * These types have complex Window intersections that typia cannot process.
-     * Default: true
-     */
-    ignoreDOMTypes?: boolean;
     /**
      * Validate function parameters and return types at runtime.
      * When enabled, typed function parameters get runtime validation calls injected.
      * Default: true
      */
     validateFunctions?: boolean;
+    /**
+     * Transform JSON.parse<T>() calls to validate and filter the parsed result
+     * to only include properties defined in type T.
+     * Default: true
+     */
+    transformJSONParse?: boolean;
+    /**
+     * Transform JSON.stringify<T>() calls to only stringify properties defined
+     * in type T, preventing accidental data leaks.
+     * Default: true
+     */
+    transformJSONStringify?: boolean;
     /**
      * Source map generation settings.
      * Controls whether and how source maps are generated for transformed code.
      */
     sourceMap?: TypicalSourceMapConfig;
-}
-/**
- * Pre-compiled regex patterns for ignore type matching.
- * This is populated during config loading for performance.
- */
-export interface CompiledIgnorePatterns {
-    /** Compiled patterns from user ignoreTypes config */
-    userPatterns: RegExp[];
-    /** Compiled patterns from DOM_TYPES_TO_IGNORE (when ignoreDOMTypes is true) */
-    domPatterns: RegExp[];
-    /** All patterns combined for quick checking */
-    allPatterns: RegExp[];
+    /**
+     * Maximum number of helper functions (_io0, _io1, etc.) that can be generated
+     * for a single type before erroring. Complex DOM types or library types can
+     * generate hundreds of functions which indicates a type that should be excluded.
+     * Set to 0 to disable the limit.
+     * Default: 50
+     */
+    maxGeneratedFunctions?: number;
 }
 export declare const defaultConfig: TypicalConfig;
-/**
- * DOM types that typia cannot process due to Window global intersections.
- * These are the base DOM types - classes extending them are checked separately.
- */
-export declare const DOM_TYPES_TO_IGNORE: string[];
-/**
- * Convert a glob pattern to a RegExp for type matching.
- * Supports wildcards: "React.*" -> /^React\..*$/
- */
-export declare function compileIgnorePattern(pattern: string): RegExp | null;
-/**
- * Pre-compile all ignore patterns for efficient matching.
- */
-export declare function compileIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns;
-/**
- * Get compiled ignore patterns, using cache if config hasn't changed.
- */
-export declare function getCompiledIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns;
 export declare function loadConfig(configPath?: string): TypicalConfig;
 /**
  * Validate and adjust config for consistency.

package/dist/src/config.js

@@ -4,8 +4,9 @@ export const defaultConfig = {
     reusableValidators: false, // Off by default for accurate source maps (set to true for production)
     validateCasts: false,
     validateFunctions: true,
+    transformJSONParse: true,
+    transformJSONStringify: true,
     hoistRegex: true,
-    ignoreDOMTypes: true,
     debug: {
         writeIntermediateFiles: false,
     },
@@ -15,110 +16,8 @@ export const defaultConfig = {
         inline: false,
     },
 };
-// FIXME: find a better way to work out which types to ignore
-/**
- * DOM types that typia cannot process due to Window global intersections.
- * These are the base DOM types - classes extending them are checked separately.
- */
-export const DOM_TYPES_TO_IGNORE = [
-    // Core DOM types
-    'Document',
-    'DocumentFragment',
-    'Element',
-    'Node',
-    'ShadowRoot',
-    'Window',
-    'EventTarget',
-    // HTML Elements
-    'HTML*Element',
-    'HTMLElement',
-    'HTMLCollection',
-    // SVG Elements
-    'SVG*Element',
-    'SVGElement',
-    // Events
-    '*Event',
-    // Other common DOM types
-    'NodeList',
-    'DOMTokenList',
-    'NamedNodeMap',
-    'CSSStyleDeclaration',
-    'Selection',
-    'Range',
-    'Text',
-    'Comment',
-    'CDATASection',
-    'ProcessingInstruction',
-    'DocumentType',
-    'Attr',
-    'Table',
-    'TableRow',
-    'TableCell',
-    'StyleSheet',
-];
 import fs from 'fs';
 import path from 'path';
-/**
- * Convert a glob pattern to a RegExp for type matching.
- * Supports wildcards: "React.*" -> /^React\..*$/
- */
-export function compileIgnorePattern(pattern) {
-    try {
-        const regexStr = '^' +
-            pattern
-                .replace(/[.+^${}()|[\]\\]/g, '\\$&') // Escape special regex chars except *
-                .replace(/\*/g, '.*') +
-            '$';
-        return new RegExp(regexStr);
-    }
-    catch (error) {
-        console.warn(`TYPICAL: Invalid ignoreTypes pattern "${pattern}": ${error.message}`);
-        return null;
-    }
-}
-/**
- * Pre-compile all ignore patterns for efficient matching.
- */
-export function compileIgnorePatterns(config) {
-    const userPatterns = [];
-    const domPatterns = [];
-    // Compile user patterns
-    for (const pattern of config.ignoreTypes ?? []) {
-        const compiled = compileIgnorePattern(pattern);
-        if (compiled) {
-            userPatterns.push(compiled);
-        }
-    }
-    // Compile DOM patterns if enabled (default: true)
-    if (config.ignoreDOMTypes !== false) {
-        for (const pattern of DOM_TYPES_TO_IGNORE) {
-            const compiled = compileIgnorePattern(pattern);
-            if (compiled) {
-                domPatterns.push(compiled);
-            }
-        }
-    }
-    return {
-        userPatterns,
-        domPatterns,
-        allPatterns: [...userPatterns, ...domPatterns],
-    };
-}
-// Cache for compiled patterns, keyed by config identity
-let cachedPatterns = null;
-let cachedConfig = null;
-/**
- * Get compiled ignore patterns, using cache if config hasn't changed.
- */
-export function getCompiledIgnorePatterns(config) {
-    // Simple identity check - if same config object, use cache
-    if (cachedConfig === config && cachedPatterns) {
-        return cachedPatterns;
-    }
-    cachedConfig = config;
-    cachedPatterns = compileIgnorePatterns(config);
-    return cachedPatterns;
-}
 export function loadConfig(configPath) {
     const configFile = configPath || path.join(process.cwd(), 'typical.json');
     if (fs.existsSync(configFile)) {

package/dist/src/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AAmEA,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,KAAK,EAAE,uEAAuE;IAClG,aAAa,EAAE,KAAK;IACpB,iBAAiB,EAAE,IAAI;IACvB,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;IACpB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,IAAI,EAAE,4DAA4D;QAC3E,cAAc,EAAE,IAAI;QACpB,MAAM,EAAE,KAAK;KACd;CACF,CAAA;AAED,6DAA6D;AAC7D;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,iBAAiB;IACjB,UAAU;IACV,kBAAkB;IAClB,SAAS;IACT,MAAM;IACN,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,YAAY;IACZ,SAAS;IACT,QAAQ;IACR,yBAAyB;IACzB,UAAU;IACV,cAAc;IACd,cAAc;IACd,qBAAqB;IACrB,WAAW;IACX,OAAO;IACP,MAAM;IACN,SAAS;IACT,cAAc;IACd,uBAAuB;IACvB,cAAc;IACd,MAAM;IACN,OAAO;IACP,UAAU;IACV,WAAW;IACX,YAAY;CACb,CAAA;AAED,OAAO,EAAE,MAAM,IAAI,CAAA;AACnB,OAAO,IAAI,MAAM,MAAM,CAAA;AAEvB;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAClD,IAAI,CAAC;QACH,MAAM,QAAQ,GACZ,GAAG;YACH,OAAO;iBACJ,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC,sCAAsC;iBAC3E,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC;YACvB,GAAG,CAAA;QACL,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,yCAAyC,OAAO,MAAO,KAAe,CAAC,OAAO,EAAE,CAAC,CAAA;QAC9F,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,MAAM,WAAW,GAAa,EAAE,CAAA;IAEhC,wBAAwB;IACxB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,QAAQ,EAAE,CAAC;YACb,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC7B,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,IAAI,MAAM,CAAC,cAAc,KAAK,KAAK,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,mBAAmB,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAA;YAC9C,IAAI,QAAQ,EAAE,CAAC;gBACb,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,YAAY;QACZ,WAAW;QACX,WAAW,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,WAAW,CAAC;KAC/C,CAAA;AACH,CAAC;AAED,wDAAwD;AACxD,IAAI,cAAc,GAAkC,IAAI,CAAA;AACxD,IAAI,YAAY,GAAyB,IAAI,CAAA;AAE7C;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAqB;IAC7D,2DAA2D;IAC3D,IAAI,YAAY,KAAK,MAAM,IAAI,cAAc,EAAE,CAAC;QAC9C,OAAO,cAAc,CAAA;IACvB,CAAC;IAED,YAAY,GAAG,MAAM,CAAA;IACrB,cAAc,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAC9C,OAAO,cAAc,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAA;IAEzE,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YACzD,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;YAEpE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAA;YACjE,OAAO,aAAa,CAAA;QACtB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC;AAED,IAAI,qBAAqB,GAAG,KAAK,CAAA;AAEjC;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,IAAI,MAAM,GAAG,MAAM,CAAA;IAEnB,+EAA+E;IAC/E,gFAAgF;IAChF,mFAAmF;IACnF,sDAAsD;IACtD,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,KAAK,KAAK,CAAA;IAC5D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,KAAK,IAAI,CAAA;IAEpE,IAAI,gBAAgB,IAAI,yBAAyB,EAAE,CAAC;QAClD,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3B,qBAAqB,GAAG,IAAI,CAAA;YAC5B,OAAO,CAAC,IAAI,CACV,8DAA8D,GAAG,4DAA4D,GAAG,gFAAgF,CACjN,CAAA;QACH,CAAC;QACD,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAA;IACnD,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AAoEA,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,KAAK,EAAE,uEAAuE;IAClG,aAAa,EAAE,KAAK;IACpB,iBAAiB,EAAE,IAAI;IACvB,kBAAkB,EAAE,IAAI;IACxB,sBAAsB,EAAE,IAAI;IAC5B,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,IAAI,EAAE,4DAA4D;QAC3E,cAAc,EAAE,IAAI;QACpB,MAAM,EAAE,KAAK;KACd;CACF,CAAA;AAED,OAAO,EAAE,MAAM,IAAI,CAAA;AACnB,OAAO,IAAI,MAAM,MAAM,CAAA;AAEvB,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAA;IAEzE,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YACzD,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;YAEpE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAA;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAA;YACjE,OAAO,aAAa,CAAA;QACtB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC;AAED,IAAI,qBAAqB,GAAG,KAAK,CAAA;AAEjC;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,IAAI,MAAM,GAAG,MAAM,CAAA;IAEnB,+EAA+E;IAC/E,gFAAgF;IAChF,mFAAmF;IACnF,sDAAsD;IACtD,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,KAAK,KAAK,CAAA;IAC5D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,KAAK,IAAI,CAAA;IAEpE,IAAI,gBAAgB,IAAI,yBAAyB,EAAE,CAAC;QAClD,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3B,qBAAqB,GAAG,IAAI,CAAA;YAC5B,OAAO,CAAC,IAAI,CACV,8DAA8D,GAAG,4DAA4D,GAAG,gFAAgF,CACjN,CAAA;QACH,CAAC;QACD,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAA;IACnD,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/src/transformer.js

@@ -45,7 +45,8 @@ export class TypicalTransformer {
         }
         await this.ensureInitialized();
         const resolvedPath = resolve(fileName);
-        const result = await this.compiler.transformFile(this.projectHandle, resolvedPath);
+        // Pass ignoreTypes and maxGeneratedFunctions from config to the Go compiler
+        const result = await this.compiler.transformFile(this.projectHandle, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions);
         return {
             code: result.code,
             map: result.sourceMap ?? null,

package/dist/src/transformer.js.map

@@ -1 +1 @@
-{"version":3,"file":"transformer.js","sourceRoot":"","sources":["../../src/transformer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAC9B,OAAO,EAAE,eAAe,EAAyC,MAAM,2BAA2B,CAAA;AAElG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAOxC,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAe;IACpB,QAAQ,CAAiB;IACzB,aAAa,GAAyB,IAAI,CAAA;IAC1C,WAAW,GAAyB,IAAI,CAAA;IACxC,UAAU,CAAQ;IAE1B,YAAY,MAAsB,EAAE,aAAqB,eAAe;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,UAAU,EAAE,CAAA;QACpC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IAC7D,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,iBAAiB;QAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,IAAI,CAAC,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;gBAC7B,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;gBAC3B,IAAI,CAAC,aAAa,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACvE,CAAC,CAAC,EAAE,CAAA;QACN,CAAC;QACD,MAAM,IAAI,CAAC,WAAW,CAAA;IACxB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,OAAoB,IAAI;QACxD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;QACpF,CAAC;QAED,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAE9B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QACtC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,aAAc,EAAE,YAAY,CAAC,CAAA;QAEnF,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;SAC9B,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;QACzB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;IAC7B,CAAC;CACF"}
+{"version":3,"file":"transformer.js","sourceRoot":"","sources":["../../src/transformer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAC9B,OAAO,EAAE,eAAe,EAAyC,MAAM,2BAA2B,CAAA;AAElG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAOxC,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAe;IACpB,QAAQ,CAAiB;IACzB,aAAa,GAAyB,IAAI,CAAA;IAC1C,WAAW,GAAyB,IAAI,CAAA;IACxC,UAAU,CAAQ;IAE1B,YAAY,MAAsB,EAAE,aAAqB,eAAe;QACtE,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,UAAU,EAAE,CAAA;QACpC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,eAAe,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IAC7D,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,iBAAiB;QAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,IAAI,CAAC,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;gBAC7B,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;gBAC3B,IAAI,CAAC,aAAa,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACvE,CAAC,CAAC,EAAE,CAAA;QACN,CAAC;QACD,MAAM,IAAI,CAAC,WAAW,CAAA;IACxB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,OAAoB,IAAI;QACxD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;QACpF,CAAC;QAED,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAE9B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QACtC,4EAA4E;QAC5E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,aAAc,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAA;QAE/I,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;SAC9B,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;QACzB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;IAC7B,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elliots/typical",
-  "version": "0.2.0-beta.1",
+  "version": "0.2.1",
   "description": "Runtime safe TypeScript transformer using typia",
   "keywords": [
     "runtime",
@@ -40,7 +40,7 @@
   },
   "dependencies": {
     "commander": "14.0.2",
-    "@elliots/typical-compiler": "0.2.0-beta.1"
+    "@elliots/typical-compiler": "0.2.1"
   },
   "devDependencies": {
     "@types/node": "22",

package/src/config.ts

@@ -33,36 +33,37 @@ export interface TypicalConfig {
    * Example: ["React.*", "Express.Request", "*.Event"]
    */
   ignoreTypes?: string[]
-  /**
-   * Skip validation for DOM types (Document, Element, Node, etc.) and their subclasses.
-   * These types have complex Window intersections that typia cannot process.
-   * Default: true
-   */
-  ignoreDOMTypes?: boolean
   /**
    * Validate function parameters and return types at runtime.
    * When enabled, typed function parameters get runtime validation calls injected.
    * Default: true
    */
   validateFunctions?: boolean
+  /**
+   * Transform JSON.parse<T>() calls to validate and filter the parsed result
+   * to only include properties defined in type T.
+   * Default: true
+   */
+  transformJSONParse?: boolean
+  /**
+   * Transform JSON.stringify<T>() calls to only stringify properties defined
+   * in type T, preventing accidental data leaks.
+   * Default: true
+   */
+  transformJSONStringify?: boolean
   /**
    * Source map generation settings.
    * Controls whether and how source maps are generated for transformed code.
    */
   sourceMap?: TypicalSourceMapConfig
-}
-
-/**
- * Pre-compiled regex patterns for ignore type matching.
- * This is populated during config loading for performance.
- */
-export interface CompiledIgnorePatterns {
-  /** Compiled patterns from user ignoreTypes config */
-  userPatterns: RegExp[]
-  /** Compiled patterns from DOM_TYPES_TO_IGNORE (when ignoreDOMTypes is true) */
-  domPatterns: RegExp[]
-  /** All patterns combined for quick checking */
-  allPatterns: RegExp[]
+  /**
+   * Maximum number of helper functions (_io0, _io1, etc.) that can be generated
+   * for a single type before erroring. Complex DOM types or library types can
+   * generate hundreds of functions which indicates a type that should be excluded.
+   * Set to 0 to disable the limit.
+   * Default: 50
+   */
+  maxGeneratedFunctions?: number
 }
 
 export const defaultConfig: TypicalConfig = {
@@ -71,8 +72,9 @@ export const defaultConfig: TypicalConfig = {
   reusableValidators: false, // Off by default for accurate source maps (set to true for production)
   validateCasts: false,
   validateFunctions: true,
+  transformJSONParse: true,
+  transformJSONStringify: true,
   hoistRegex: true,
-  ignoreDOMTypes: true,
   debug: {
     writeIntermediateFiles: false,
   },
@@ -83,120 +85,9 @@ export const defaultConfig: TypicalConfig = {
   },
 }
 
-// FIXME: find a better way to work out which types to ignore
-/**
- * DOM types that typia cannot process due to Window global intersections.
- * These are the base DOM types - classes extending them are checked separately.
- */
-export const DOM_TYPES_TO_IGNORE = [
-  // Core DOM types
-  'Document',
-  'DocumentFragment',
-  'Element',
-  'Node',
-  'ShadowRoot',
-  'Window',
-  'EventTarget',
-  // HTML Elements
-  'HTML*Element',
-  'HTMLElement',
-  'HTMLCollection',
-  // SVG Elements
-  'SVG*Element',
-  'SVGElement',
-  // Events
-  '*Event',
-  // Other common DOM types
-  'NodeList',
-  'DOMTokenList',
-  'NamedNodeMap',
-  'CSSStyleDeclaration',
-  'Selection',
-  'Range',
-  'Text',
-  'Comment',
-  'CDATASection',
-  'ProcessingInstruction',
-  'DocumentType',
-  'Attr',
-  'Table',
-  'TableRow',
-  'TableCell',
-  'StyleSheet',
-]
-
 import fs from 'fs'
 import path from 'path'
 
-/**
- * Convert a glob pattern to a RegExp for type matching.
- * Supports wildcards: "React.*" -> /^React\..*$/
- */
-export function compileIgnorePattern(pattern: string): RegExp | null {
-  try {
-    const regexStr =
-      '^' +
-      pattern
-        .replace(/[.+^${}()|[\]\\]/g, '\\$&') // Escape special regex chars except *
-        .replace(/\*/g, '.*') +
-      '$'
-    return new RegExp(regexStr)
-  } catch (error) {
-    console.warn(`TYPICAL: Invalid ignoreTypes pattern "${pattern}": ${(error as Error).message}`)
-    return null
-  }
-}
-
-/**
- * Pre-compile all ignore patterns for efficient matching.
- */
-export function compileIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns {
-  const userPatterns: RegExp[] = []
-  const domPatterns: RegExp[] = []
-
-  // Compile user patterns
-  for (const pattern of config.ignoreTypes ?? []) {
-    const compiled = compileIgnorePattern(pattern)
-    if (compiled) {
-      userPatterns.push(compiled)
-    }
-  }
-
-  // Compile DOM patterns if enabled (default: true)
-  if (config.ignoreDOMTypes !== false) {
-    for (const pattern of DOM_TYPES_TO_IGNORE) {
-      const compiled = compileIgnorePattern(pattern)
-      if (compiled) {
-        domPatterns.push(compiled)
-      }
-    }
-  }
-
-  return {
-    userPatterns,
-    domPatterns,
-    allPatterns: [...userPatterns, ...domPatterns],
-  }
-}
-
-// Cache for compiled patterns, keyed by config identity
-let cachedPatterns: CompiledIgnorePatterns | null = null
-let cachedConfig: TypicalConfig | null = null
-
-/**
- * Get compiled ignore patterns, using cache if config hasn't changed.
- */
-export function getCompiledIgnorePatterns(config: TypicalConfig): CompiledIgnorePatterns {
-  // Simple identity check - if same config object, use cache
-  if (cachedConfig === config && cachedPatterns) {
-    return cachedPatterns
-  }
-
-  cachedConfig = config
-  cachedPatterns = compileIgnorePatterns(config)
-  return cachedPatterns
-}
-
 export function loadConfig(configPath?: string): TypicalConfig {
   const configFile = configPath || path.join(process.cwd(), 'typical.json')
 

package/src/transformer.ts

@@ -58,7 +58,8 @@ export class TypicalTransformer {
     await this.ensureInitialized()
 
     const resolvedPath = resolve(fileName)
-    const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath)
+    // Pass ignoreTypes and maxGeneratedFunctions from config to the Go compiler
+    const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions)
 
     return {
       code: result.code,