@elliots/typical 0.2.3 → 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

@@ -294,7 +294,6 @@ Create a `typical.json` file in your project root (optional):
 | `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       |
-| `reusableValidators`     | `true`                                                    | Hoist validators to module scope for reduced code size            |
 
 ---
 
@@ -357,6 +356,50 @@ The generated validation code is optimised for runtime performance:
 - **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
 
 Set `DEBUG=1` for verbose logging:
@@ -367,10 +410,42 @@ 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.)
 
 ---
 
@@ -378,34 +453,28 @@ DEBUG=1 npm run build
 
 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 | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{olive}1.0x}}$ |
-| number                             |  24.33M/s |  25.44M/s |  24.44M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{olive}1.0x}}$ |
-| boolean                            |  24.49M/s |  24.49M/s |  24.19M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{olive}1.0x}}$ |
-| object w/ template literals        |  24.53M/s |  21.39M/s |   7.71M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}2.8x}}$ |
-| nested w/ template literals        |  24.69M/s |   8.05M/s |   2.31M/s |   ${\textsf{\color{red}0.3x}}$ |  ${\textsf{\color{green}3.5x}}$ |
-| array w/ templates (10)            |  29.89M/s |   7.10M/s |   1.54M/s |   ${\textsf{\color{red}0.2x}}$ |  ${\textsf{\color{green}4.6x}}$ |
-| array w/ templates (100)           |  30.18M/s | 795.31K/s | 150.09K/s |   ${\textsf{\color{red}0.0x}}$ |  ${\textsf{\color{green}5.3x}}$ |
-| union types                        |  29.77M/s |  30.69M/s |  10.76M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{green}2.9x}}$ |
-| template literals                  |  30.09M/s |  17.23M/s |   1.71M/s |   ${\textsf{\color{red}0.6x}}$ | ${\textsf{\color{green}10.1x}}$ |
-| complex config                     |  30.56M/s |  29.14M/s |   3.51M/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{green}8.3x}}$ |
-| JSON.parse (small)                 |   4.61M/s |   4.37M/s |   3.85M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.1x}}$ |
-| JSON.parse (small+filtered extras) |   4.65M/s |   4.32M/s |   3.79M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.1x}}$ |
-| JSON.parse (medium)                |   2.85M/s |   2.26M/s | 928.42K/s |   ${\textsf{\color{red}0.8x}}$ |  ${\textsf{\color{green}2.4x}}$ |
-| JSON.parse (large)                 | 209.41K/s | 186.91K/s |  99.28K/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.9x}}$ |
-| JSON.parse (1000 large)            |     211/s |     212/s |     104/s | ${\textsf{\color{olive}1.0x}}$ |  ${\textsf{\color{green}2.0x}}$ |
-| JSON.stringify (small)             |   9.99M/s |   9.30M/s |   6.70M/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}1.4x}}$ |
-| JSON.stringify (small+extras)      |   2.85M/s |   9.20M/s |   6.98M/s | ${\textsf{\color{green}3.2x}}$ |  ${\textsf{\color{green}1.3x}}$ |
-| JSON.stringify (medium)            |   5.09M/s |   3.82M/s |   1.16M/s |   ${\textsf{\color{red}0.8x}}$ |  ${\textsf{\color{green}3.3x}}$ |
-| JSON.stringify (large)             | 392.53K/s | 330.45K/s | 132.50K/s |   ${\textsf{\color{red}0.8x}}$ |  ${\textsf{\color{green}2.5x}}$ |
-| JSON.stringify (1000 large)        |     362/s |     339/s |     128/s | ${\textsf{\color{olive}0.9x}}$ |  ${\textsf{\color{green}2.7x}}$ |
+| 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)
-
-Key findings:
-
-- Primitives and simple types have near-zero overhead
-- Typical is **2-10x faster than Zod** for complex types
-- JSON operations have minimal overhead while providing full type safety

package/dist/src/config.d.ts

@@ -21,13 +21,6 @@ export interface TypicalSourceMapConfig {
 export interface TypicalConfig {
     include?: string[];
     exclude?: string[];
-    /**
-     * Controls whether validators are hoisted to module scope for reuse.
-     * - 'auto' (default): Hoist only validators used more than once
-     * - 'never': Never hoist, always generate inline validators
-     * - 'always': Always hoist validators, even if only used once
-     */
-    reusableValidators?: 'auto' | 'never' | 'always';
     validateCasts?: boolean;
     hoistRegex?: boolean;
     debug?: TypicalDebugConfig;

package/dist/src/config.js

@@ -1,7 +1,6 @@
 export const defaultConfig = {
     include: ['**/*.ts', '**/*.tsx'],
     exclude: ['node_modules/**', '**/*.d.ts', 'dist/**', 'build/**'],
-    reusableValidators: 'auto', // Hoists validators to module scope for reduced code size
     validateCasts: false,
     validateFunctions: true,
     transformJSONParse: true,

package/dist/src/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AA0EA,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,MAAM,EAAE,0DAA0D;IACtF,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"}
+{"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();
@@ -46,7 +46,7 @@ export class TypicalTransformer {
         await this.ensureInitialized();
         const resolvedPath = resolve(fileName);
         // Pass config options to the Go compiler
-        const result = await this.compiler.transformFile(this.projectHandle, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions, this.config.reusableValidators);
+        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,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,EAAE,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAA;QAE/K,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.3",
+  "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.3"
+    "@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,13 +23,6 @@ export interface TypicalSourceMapConfig {
 export interface TypicalConfig {
   include?: string[]
   exclude?: string[]
-  /**
-   * Controls whether validators are hoisted to module scope for reuse.
-   * - 'auto' (default): Hoist only validators used more than once
-   * - 'never': Never hoist, always generate inline validators
-   * - 'always': Always hoist validators, even if only used once
-   */
-  reusableValidators?: 'auto' | 'never' | 'always'
   validateCasts?: boolean
   hoistRegex?: boolean
   debug?: TypicalDebugConfig
@@ -75,7 +68,6 @@ export interface TypicalConfig {
 export const defaultConfig: TypicalConfig = {
   include: ['**/*.ts', '**/*.tsx'],
   exclude: ['node_modules/**', '**/*.d.ts', 'dist/**', 'build/**'],
-  reusableValidators: 'auto', // Hoists validators to module scope for reduced code size
   validateCasts: false,
   validateFunctions: true,
   transformJSONParse: true,

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()
@@ -59,7 +59,7 @@ export class TypicalTransformer {
 
     const resolvedPath = resolve(fileName)
     // Pass config options to the Go compiler
-    const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions, this.config.reusableValidators)
+    const result = await this.compiler.transformFile(this.projectHandle!, resolvedPath, this.config.ignoreTypes, this.config.maxGeneratedFunctions)
 
     return {
       code: result.code,

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();