@elliots/typical 0.2.1 → 0.2.4

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Elliot Shepherd
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -346,15 +346,59 @@ 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
+## Compiler Optimisations
 
-The generated validation code is optimized for runtime performance:
+The generated validation code is optimised 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)
+- **Reusable validators** - When the same type is validated multiple times, Typical hoists the validation logic to a reusable function at module scope. Nested types that appear in multiple places (e.g., `Address` used in both `User` and `Company`) are also extracted and reused.
+- **Smart redundancy elimination** - Skips validation when returning values that are already known to be valid: validated parameters, properties of validated objects, variables assigned from casts or `JSON.parse`, and aliased variables
+- **Type-aware dirty tracking** - Tracks when validated values might become invalid. Primitives stay valid after being passed to functions (they're copied), but objects are re-validated if passed to unknown functions. Pure functions (listed in the config) like `console.log` don't invalidate objects.
 - **Union early bail-out** - Union type checks use if-else chains so the first matching type succeeds immediately
+- **Skip comments** - Add `// @typical-ignore` before a function to skip all validation for it
+
+## VSCode Extension
+
+A VSCode extension is available that shows runtime validation indicators directly in your editor. It's not yet published to the marketplace, but you can build and install it locally.
+
+### Features
+
+- **Subtle underlines** on validated parameters, return values, type casts, and JSON operations
+  - Green dotted underline = validated at runtime
+  - Grey dotted underline = skipped (e.g., generic types)
+- **Hover tooltips** explaining what's being validated and why
+- **Optional inlay hints** showing validation status inline
+- **Preview command** to see the compiled output with validation code
+
+### Building and Installing
+
+```bash
+# Navigate to the extension directory
+cd packages/vscode-extension
+
+# Install dependencies
+pnpm install
+
+# Build and package the extension
+pnpm run build
+pnpm run package
+
+# Install the .vsix file
+code --install-extension typical-vscode-0.0.1.vsix
+```
+
+Or use the convenience script:
+
+```bash
+cd packages/vscode-extension
+pnpm run dev-install
+```
+
+### Requirements
+
+- Your project must have `@elliots/typical` or `@elliots/typical-compiler` as a dependency
+- The extension uses the compiler binary from your project's `node_modules`
+
+---
 
 ## Debugging
 
@@ -366,7 +410,71 @@ DEBUG=1 npm run build
 
 ## Limitations
 
-- Generic type parameters (`T`) cannot be validated - no runtime type information
-- Type-only imports of classes aren't checked (can't do instanceof on type-only imports)
-- Validation of functions is just not done. Need to think about that one.
-- Some complex types may not be fully supported yet. If you find any that fail, please open an issue!
+### Types that cannot be validated at runtime
+
+These TypeScript features have no runtime representation and are skipped:
+
+| Feature                 | Why                              | Example                                |
+| ----------------------- | -------------------------------- | -------------------------------------- |
+| Generic type parameters | No runtime type info for `T`     | `function process<T>(x: T): T`         |
+| Conditional types       | Compile-time only                | `T extends string ? A : B`             |
+| `infer` keyword         | Compile-time type inference      | `T extends Array<infer U> ? U : never` |
+| `keyof` operator        | Compile-time key extraction      | `keyof User`                           |
+| Indexed access types    | Compile-time type lookup         | `User['name']`                         |
+| Unique symbols          | Symbol identity not checkable    | `declare const id: unique symbol`      |
+| Index signature values  | Would require iterating all keys | `{ [key: string]: number }`            |
+
+### Other limitations
+
+- **Type-only imports** - `import type { MyClass }` can't use instanceof (class doesn't exist at runtime)
+- **Function signatures** - Only validates `typeof === 'function'`, not parameter/return types
+- **Function overloads** - Validates the implementation signature, not individual overload signatures
+- **Complex library types** - DOM types, React types, etc. may exceed complexity limits (configurable via `maxGeneratedFunctions`)
+
+### What IS validated
+
+Despite these limitations, Typical validates most practical TypeScript patterns:
+
+- All primitive types (string, number, boolean, bigint, symbol, null, undefined)
+- Object properties and nested objects
+- Arrays and tuples (including variadic tuples)
+- Union and intersection types
+- Literal types and template literal types
+- Enums (string and numeric)
+- Utility types (Partial, Required, Pick, Omit, Record, Extract, Exclude)
+- Mapped and conditional types (when resolved to concrete types)
+- Branded/opaque types (validates the underlying primitive)
+- Class instances (via instanceof)
+- Built-in types (Date, Map, Set, URL, Error, etc.)
+
+---
+
+## Benchmarks
+
+Runtime validation performance comparing Typical vs Zod vs no validation:
+
+| Scenario                           |   Nothing |   Typical |       Zod | vs Nothing |   vs Zod |
+| ---------------------------------- | --------: | --------: | --------: | ---------: | -------: |
+| string                             |  23.91M/s |  24.86M/s |  24.80M/s |    🟡 1.0x |  🟡 1.0x |
+| number                             |  24.33M/s |  25.44M/s |  24.44M/s |    🟡 1.0x |  🟡 1.0x |
+| boolean                            |  24.49M/s |  24.49M/s |  24.19M/s |    🟡 1.0x |  🟡 1.0x |
+| object w/ template literals        |  24.53M/s |  21.39M/s |   7.71M/s |    🟡 0.9x |  🟢 2.8x |
+| nested w/ template literals        |  24.69M/s |   8.05M/s |   2.31M/s |    🔴 0.3x |  🟢 3.5x |
+| array w/ templates (10)            |  29.89M/s |   7.10M/s |   1.54M/s |    🔴 0.2x |  🟢 4.6x |
+| array w/ templates (100)           |  30.18M/s | 795.31K/s | 150.09K/s |    🔴 0.0x |  🟢 5.3x |
+| union types                        |  29.77M/s |  30.69M/s |  10.76M/s |    🟡 1.0x |  🟢 2.9x |
+| template literals                  |  30.09M/s |  17.23M/s |   1.71M/s |    🔴 0.6x | 🟢 10.1x |
+| complex config                     |  30.56M/s |  29.14M/s |   3.51M/s |    🟡 1.0x |  🟢 8.3x |
+| JSON.parse (small)                 |   4.61M/s |   4.37M/s |   3.85M/s |    🟡 0.9x |  🟢 1.1x |
+| JSON.parse (small+filtered extras) |   4.65M/s |   4.32M/s |   3.79M/s |    🟡 0.9x |  🟢 1.1x |
+| JSON.parse (medium)                |   2.85M/s |   2.26M/s | 928.42K/s |    🔴 0.8x |  🟢 2.4x |
+| JSON.parse (large)                 | 209.41K/s | 186.91K/s |  99.28K/s |    🟡 0.9x |  🟢 1.9x |
+| JSON.parse (1000 large)            |     211/s |     212/s |     104/s |    🟡 1.0x |  🟢 2.0x |
+| JSON.stringify (small)             |   9.99M/s |   9.30M/s |   6.70M/s |    🟡 0.9x |  🟢 1.4x |
+| JSON.stringify (small+extras)      |   2.85M/s |   9.20M/s |   6.98M/s |    🟢 3.2x |  🟢 1.3x |
+| JSON.stringify (medium)            |   5.09M/s |   3.82M/s |   1.16M/s |    🔴 0.8x |  🟢 3.3x |
+| JSON.stringify (large)             | 392.53K/s | 330.45K/s | 132.50K/s |    🔴 0.8x |  🟢 2.5x |
+| JSON.stringify (1000 large)        |     362/s |     339/s |     128/s |    🟡 0.9x |  🟢 2.7x |
+
+- **vs Nothing**: Speed relative to no validation or filtering (1.0x = same speed)
+- **vs Zod**: Speed relative to Zod (1.0x = same speed)

package/dist/src/config.d.ts

@@ -21,7 +21,6 @@ export interface TypicalSourceMapConfig {
 export interface TypicalConfig {
     include?: string[];
     exclude?: string[];
-    reusableValidators?: boolean;
     validateCasts?: boolean;
     hoistRegex?: boolean;
     debug?: TypicalDebugConfig;
@@ -67,8 +66,6 @@ export declare const defaultConfig: TypicalConfig;
 export declare function loadConfig(configPath?: string): TypicalConfig;
 /**
  * Validate and adjust config for consistency.
- * Currently handles:
- * - Disabling reusableValidators when source maps are enabled (required for accurate mappings)
  *
  * @param config The config to validate
  * @returns Validated/adjusted config

package/dist/src/config.js

@@ -1,7 +1,6 @@
 export const defaultConfig = {
     include: ['**/*.ts', '**/*.tsx'],
     exclude: ['node_modules/**', '**/*.d.ts', 'dist/**', 'build/**'],
-    reusableValidators: false, // Off by default for accurate source maps (set to true for production)
     validateCasts: false,
     validateFunctions: true,
     transformJSONParse: true,
@@ -11,7 +10,7 @@ export const defaultConfig = {
         writeIntermediateFiles: false,
     },
     sourceMap: {
-        enabled: true, // On by default for debugging (set to false for production)
+        enabled: true,
         includeContent: true,
         inline: false,
     },
@@ -36,30 +35,15 @@ export function loadConfig(configPath) {
     }
     return defaultConfig;
 }
-let warnedAboutSourceMaps = false;
 /**
  * Validate and adjust config for consistency.
- * Currently handles:
- * - Disabling reusableValidators when source maps are enabled (required for accurate mappings)
  *
  * @param config The config to validate
  * @returns Validated/adjusted config
  */
 export function validateConfig(config) {
-    let result = config;
-    // Source maps require inline validators (not reusable) because each validation
-    // call needs its own source map marker pointing to the correct type annotation.
-    // With reusable validators, the expanded typia code would all map to the validator
-    // declaration rather than the individual usage sites.
-    const sourceMapEnabled = config.sourceMap?.enabled !== false;
-    const reusableValidatorsEnabled = config.reusableValidators === true;
-    if (sourceMapEnabled && reusableValidatorsEnabled) {
-        if (!warnedAboutSourceMaps) {
-            warnedAboutSourceMaps = true;
-            console.warn('TYPICAL: Both sourceMap and reusableValidators are enabled. ' + 'Disabling reusableValidators for accurate source mapping. ' + 'For production builds, set sourceMap.enabled: false to use reusableValidators.');
-        }
-        result = { ...result, reusableValidators: false };
-    }
-    return result;
+    // Reusable validators now throw at the call site, so they work correctly
+    // with source maps. No need for special handling.
+    return config;
 }
 //# sourceMappingURL=config.js.map

package/dist/src/config.js.map

@@ -1 +1 @@
-{"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"}
+{"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,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;QACb,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;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,yEAAyE;IACzE,kDAAkD;IAClD,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/src/transformer.js

@@ -23,7 +23,7 @@ export class TypicalTransformer {
      * Ensure the Go compiler is started and project is loaded.
      * Uses lazy initialization - only starts on first transform.
      */
-    async ensureInitialized() {
+    async ensureInitialized(x) {
         if (!this.initPromise) {
             this.initPromise = (async () => {
                 await this.compiler.start();
@@ -45,7 +45,7 @@ export class TypicalTransformer {
         }
         await this.ensureInitialized();
         const resolvedPath = resolve(fileName);
-        // Pass ignoreTypes and maxGeneratedFunctions from config to the Go compiler
+        // Pass config options to the Go compiler
         const result = await this.compiler.transformFile(this.projectHandle, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions);
         return {
             code: result.code,

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,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"}
+{"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,CAAC,CAAU;QACxC,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,yCAAyC;QACzC,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.1",
+  "version": "0.2.4",
   "description": "Runtime safe TypeScript transformer using typia",
   "keywords": [
     "runtime",
@@ -40,7 +40,7 @@
   },
   "dependencies": {
     "commander": "14.0.2",
-    "@elliots/typical-compiler": "0.2.1"
+    "@elliots/typical-compiler": "0.2.4"
   },
   "devDependencies": {
     "@types/node": "22",
@@ -61,11 +61,11 @@
     "lint:fix": "oxlint --type-aware --fix",
     "format": "oxfmt",
     "format:check": "oxfmt --check",
-    "build": "tsc",
-    "build:all": "pnpm run build:go:all && pnpm run build:ts",
+    "build": "pnpm run build:go:all && pnpm run build:ts",
     "build:go": "cd packages/compiler && npm run build:go",
     "build:go:all": "./scripts/build-binaries.sh",
-    "build:ts": "pnpm --filter './packages/*' run build && pnpm run build",
+    "build:ts": "pnpm --filter './packages/*' run build && tsc",
+    "build:website": "cd docs/website && pnpm install && pnpm run build",
     "dev": "tsc --watch",
     "test": "rm -f test/test.temp.ts && tsc && node --import ./dist/src/esm-loader-register.js --test dist/test/*.test.js",
     "test:coverage": "rm -f test/test.temp.ts && tsc && node --import ./dist/src/esm-loader-register.js --test --experimental-test-coverage dist/test/*.test.js",

package/src/config.ts

@@ -23,7 +23,6 @@ export interface TypicalSourceMapConfig {
 export interface TypicalConfig {
   include?: string[]
   exclude?: string[]
-  reusableValidators?: boolean
   validateCasts?: boolean
   hoistRegex?: boolean
   debug?: TypicalDebugConfig
@@ -69,7 +68,6 @@ export interface TypicalConfig {
 export const defaultConfig: TypicalConfig = {
   include: ['**/*.ts', '**/*.tsx'],
   exclude: ['node_modules/**', '**/*.d.ts', 'dist/**', 'build/**'],
-  reusableValidators: false, // Off by default for accurate source maps (set to true for production)
   validateCasts: false,
   validateFunctions: true,
   transformJSONParse: true,
@@ -79,7 +77,7 @@ export const defaultConfig: TypicalConfig = {
     writeIntermediateFiles: false,
   },
   sourceMap: {
-    enabled: true, // On by default for debugging (set to false for production)
+    enabled: true,
     includeContent: true,
     inline: false,
   },
@@ -109,35 +107,14 @@ export function loadConfig(configPath?: string): TypicalConfig {
   return defaultConfig
 }
 
-let warnedAboutSourceMaps = false
-
 /**
  * Validate and adjust config for consistency.
- * Currently handles:
- * - Disabling reusableValidators when source maps are enabled (required for accurate mappings)
  *
  * @param config The config to validate
  * @returns Validated/adjusted config
  */
 export function validateConfig(config: TypicalConfig): TypicalConfig {
-  let result = config
-
-  // Source maps require inline validators (not reusable) because each validation
-  // call needs its own source map marker pointing to the correct type annotation.
-  // With reusable validators, the expanded typia code would all map to the validator
-  // declaration rather than the individual usage sites.
-  const sourceMapEnabled = config.sourceMap?.enabled !== false
-  const reusableValidatorsEnabled = config.reusableValidators === true
-
-  if (sourceMapEnabled && reusableValidatorsEnabled) {
-    if (!warnedAboutSourceMaps) {
-      warnedAboutSourceMaps = true
-      console.warn(
-        'TYPICAL: Both sourceMap and reusableValidators are enabled. ' + 'Disabling reusableValidators for accurate source mapping. ' + 'For production builds, set sourceMap.enabled: false to use reusableValidators.',
-      )
-    }
-    result = { ...result, reusableValidators: false }
-  }
-
-  return result
+  // Reusable validators now throw at the call site, so they work correctly
+  // with source maps. No need for special handling.
+  return config
 }

package/src/transformer.ts

@@ -33,7 +33,7 @@ export class TypicalTransformer {
    * Ensure the Go compiler is started and project is loaded.
    * Uses lazy initialization - only starts on first transform.
    */
-  private async ensureInitialized(): Promise<void> {
+  private async ensureInitialized(x?: string): Promise<void> {
     if (!this.initPromise) {
       this.initPromise = (async () => {
         await this.compiler.start()
@@ -58,7 +58,7 @@ export class TypicalTransformer {
     await this.ensureInitialized()
 
     const resolvedPath = resolve(fileName)
-    // Pass ignoreTypes and maxGeneratedFunctions from config to the Go compiler
+    // Pass config options to the Go compiler
     const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions)
 
     return {

package/dist/src/cli.typical.ts

@@ -1,136 +0,0 @@
-#!/usr/bin/env node
-import typia from "typia";
-//@L:3
-import { Command } from 'commander';
-//@L:4
-import * as fs from 'fs';
-//@L:5
-import * as path from 'path';
-//@L:6
-import { TypicalTransformer } from './transformer.js';
-//@L:7
-import * as ts from 'typescript';
-//@L:8
-import { loadConfig, validateConfig } from './config.js';
-//@L:9
-import { shouldIncludeFile } from './file-filter.js';
-//@L:10
-import { inlineSourceMapComment, externalSourceMapComment } from './source-map.js';
-//@L:12
-const program = new Command();
-//@L:14
-program
-    .name('typical')
-    .description('Runtime safe TypeScript transformer using typia')
-    .version('0.1.0');
-//@L:19
-program
-    .command('transform')
-    .description('Transform a TypeScript file with runtime validation')
-    .argument('<file>', 'TypeScript file to transform')
-    .option('-o, --output <file>', 'Output file')
-    .option('-c, --config <file>', 'Config file path', 'typical.json')
-    .option('-m, --mode <mode>', 'Transformation mode:  basic, typia, js', 'basic')
-    .option('--source-map', 'Generate external source map file')
-    .option('--inline-source-map', 'Include inline source map in output')
-    .option('--no-source-map', 'Disable source map generation')
-    .action(async (file: string, options: {
-    output?: string;
-    config?: string;
-    mode?: 'basic' | 'typia' | 'js';
-    sourceMap?: boolean;
-    inlineSourceMap?: boolean;
-}) => {
-    try {
-        const config = validateConfig(loadConfig(options.config));
-        const transformer = new TypicalTransformer(config);
-        if (!fs.existsSync(file)) {
-            console.error(`File not found: ${file}`);
-            process.exit(1);
-        }
-        // Determine source map behavior
-        const generateSourceMap = options.inlineSourceMap || options.sourceMap !== false;
-        console.log(`Transforming ${file}...`);
-        const result = transformer.transform(path.resolve(file), options.mode ?? 'basic', {
-            sourceMap: generateSourceMap,
-        });
-        // Determine output file path
-        const outputFile = options.output
-            ? path.resolve(options.output)
-            : options.mode === 'js'
-                ? file.replace(/\.tsx?$/, '.js')
-                : file + '.transformed.ts';
-        let outputCode = result.code;
-        // Handle source maps
-        if (result.map) {
-            if (options.inlineSourceMap) {
-                // Inline source map as data URL
-                outputCode += '\n' + inlineSourceMapComment(result.map);
-            }
-            else if (options.sourceMap !== false) {
-                // Write external source map file
-                const mapFile = outputFile + '.map';
-                fs.writeFileSync(mapFile, typia.json.stringify(result.map, null, 2));
-                outputCode += '\n' + externalSourceMapComment(path.basename(mapFile));
-                console.log(`Source map written to ${mapFile}`);
-            }
-        }
-        fs.writeFileSync(outputFile, outputCode);
-        console.log(`Transformed code written to ${outputFile}`);
-    }
-    catch (error) {
-        console.error('Transformation failed:', error);
-        process.exit(1);
-    }
-});
-// program
-//   .command('build')
-//   .description('Transform all TypeScript files in the project')
-//   .option('-c, --config <file>', 'Config file path')
-//   .option('--dry-run', 'Show what would be transformed without making changes')
-//   .action(async (options: { config?: string, dryRun?: boolean }) => {
-//     try {
-//       const transformer = new TypicalTransformer();
-//       const { glob } = await import('glob');
-//       const config = loadConfig(options.config);
-//       if (!config.include || config.include.length === 0) {
-//         console.error('No include patterns specified in config');
-//         process.exit(1);
-//       }
-//       const files: string[] = [];
-//       for (const pattern of config.include) {
-//         const matched = await glob(pattern, { 
-//           ignore: config.exclude,
-//           absolute: true 
-//         });
-//         files.push(...matched);
-//       }
-//       console.log(`Found ${files.length} files to transform`);
-//       if (options.dryRun) {
-//         files.forEach(file => console.log(`Would transform: ${file}`));
-//         return;
-//       }
-//       let transformed = 0;
-//       for (const file of files) {
-//         // Double-check with our shared filtering logic
-//         if (!shouldIncludeFile(file, config)) {
-//           console.log(`Skipping ${file} (excluded by filters)`);
-//           continue;
-//         }
-//         try {
-//           console.log(`Transforming ${file}...`);
-//           const transformedCode = transformer.transformFile(file, ts);
-//           fs.writeFileSync(file, transformedCode);
-//           transformed++;
-//         } catch (error) {
-//           console.error(`Failed to transform ${file}:`, error);
-//         }
-//       }
-//       console.log(`Successfully transformed ${transformed}/${files.length} files`);
-//     } catch (error) {
-//       console.error('Build failed:', error);
-//       process.exit(1);
-//     }
-//   });
-//@L:145
-program.parse();