typedriver 0.8.4 → 0.8.6

package/build/compile.mjs

@@ -1,9 +1,9 @@
 // deno-fmt-ignore-file
 import { IsJsonSchema, IsStandardSchemaV1, IsStandardJsonSchemaV1, IsTypeScript } from './guard/index.mjs';
-import { JsonSchemaValidator } from './json-schema/validator.mjs';
-import { StandardJsonSchemaValidator } from './standard-json-schema/validator.mjs';
-import { StandardSchemaValidator } from './standard-schema/validator.mjs';
-import { TypeScriptValidator } from './typescript/validator.mjs';
+import { JsonSchemaValidator } from './validators/json-schema/validator.mjs';
+import { StandardJsonSchemaValidator } from './validators/standard-json-schema/validator.mjs';
+import { StandardSchemaValidator } from './validators/standard-schema/validator.mjs';
+import { TypeScriptValidator } from './validators/typescript/validator.mjs';
 function FromStandardSchema(schema) {
     return new StandardSchemaValidator(schema);
 }

package/build/errors/error-to-issue.d.mts

@@ -0,0 +1,3 @@
+import { StandardSchemaV1 } from '../_standard/standard-schema.mjs';
+import { TLocalizedValidationError } from 'typebox/error';
+export declare function errorToIssue(error: TLocalizedValidationError): StandardSchemaV1.Issue;

package/build/errors/error-to-issue.mjs

@@ -0,0 +1,14 @@
+// deno-fmt-ignore-file
+import { Guard } from 'typebox/guard';
+// ------------------------------------------------------------------
+// Issues
+// ------------------------------------------------------------------
+function pathSegments(pointer) {
+    if (Guard.IsEqual(pointer.length, 0))
+        return [];
+    return pointer.slice(1).split('/').map((segment) => segment.replace(/~1/g, '/').replace(/~0/g, '~'));
+}
+export function errorToIssue(error) {
+    const path = pathSegments(error.instancePath);
+    return { path, message: error.message };
+}

package/build/{errors.d.mts → errors/exceptions.d.mts}

@@ -1,6 +1,11 @@
 export declare class ParseError extends globalThis.Error {
+    value: unknown;
     readonly errors: object[];
-    constructor(errors: object[]);
+    readonly cause: {
+        errors: object[];
+        value: unknown;
+    };
+    constructor(value: unknown, errors: object[]);
 }
 export declare class UnknownError extends globalThis.Error {
     constructor(message: string);

package/build/{errors.mjs → errors/exceptions.mjs}

@@ -1,8 +1,15 @@
 // deno-fmt-ignore-file
 export class ParseError extends globalThis.Error {
-    constructor(errors) {
+    constructor(value, errors) {
         super('ParseError');
+        this.value = value;
         this.errors = errors;
+        Object.defineProperty(this, 'cause', {
+            value: { errors, value },
+            writable: false,
+            configurable: false,
+            enumerable: false
+        });
     }
 }
 export class UnknownError extends globalThis.Error {

package/build/errors/index.d.mts

@@ -0,0 +1,3 @@
+export * from './exceptions.mjs';
+export * from './error-to-issue.mjs';
+export * from './issue-to-error.mjs';

package/build/errors/index.mjs

@@ -0,0 +1,4 @@
+// deno-fmt-ignore-file
+export * from './exceptions.mjs';
+export * from './error-to-issue.mjs';
+export * from './issue-to-error.mjs';

package/build/errors/issue-to-error.d.mts

@@ -0,0 +1,3 @@
+import { StandardSchemaV1 } from '../_standard/standard-schema.mjs';
+import { TLocalizedValidationError } from 'typebox/error';
+export declare function issueToError(issue: StandardSchemaV1.Issue): TLocalizedValidationError;

package/build/errors/issue-to-error.mjs

@@ -0,0 +1,20 @@
+// deno-fmt-ignore-file
+import { Guard } from 'typebox/guard';
+// ------------------------------------------------------------------
+// Issues
+// ------------------------------------------------------------------
+function jsonPointer(segments) {
+    return `#${segments.join('/')}`;
+}
+export function issueToError(issue) {
+    const instancePath = Guard.HasPropertyKey(issue, 'path') && Guard.IsArray(issue.path)
+        ? jsonPointer(issue.path)
+        : jsonPointer([]);
+    return {
+        instancePath,
+        schemaPath: '#',
+        keyword: 'type',
+        message: issue.message,
+        params: { type: 'standard-schema' }
+    };
+}

package/build/index.d.mts

@@ -1,4 +1,3 @@
-export * from './locale.mjs';
-export * from './compile.mjs';
-export * from './validator.mjs';
-export * from './static.mjs';
+export { type TCompile, compile } from './compile.mjs';
+export { type Static } from './static.mjs';
+export { Validator, type TErrorFormat, type TErrorLocale, type TErrorOptions, type TErrorResult } from './validator.mjs';

package/build/index.mjs

@@ -1,5 +1,9 @@
 // deno-fmt-ignore-file
-export * from './locale.mjs';
-export * from './compile.mjs';
-export * from './validator.mjs';
-export * from './static.mjs';
+// ------------------------------------------------------------------
+// Compile
+// ------------------------------------------------------------------
+export { compile } from './compile.mjs';
+// ------------------------------------------------------------------
+// Validator
+// ------------------------------------------------------------------
+export { Validator } from './validator.mjs';

package/build/validator.d.mts

@@ -1,3 +1,33 @@
+import { System } from 'typebox/system';
+import { TLocalizedValidationError } from 'typebox/error';
+import { StandardSchemaV1 } from './_standard/standard-schema.mjs';
+export type TErrorFormat = 'json-schema' | 'standard-schema';
+declare const Locale: typeof System.Locale;
+export type TErrorLocale = (Exclude<keyof typeof Locale, 'Get' | 'Set' | 'Reset'> & ({} & string));
+/** Internal */
+export declare function resolveErrorOptions(options?: Partial<TErrorOptions>): TErrorOptions;
+export interface TErrorOptions {
+    /**
+     * Specifies the error message generation format.
+     *
+     * Supported values are `json-schema` and `standard-schema`.
+     *
+     * Default: `json-schema`
+     */
+    format: TErrorFormat;
+    /**
+     * Specifies the locale used when generating error messages.
+     *
+     * This setting applies only when used with TypeScript, JSON Schema,
+     * or implementations that follow the Standard JSON Schema specification.
+     * When the compiled type is Standard Schema only, the error message
+     * will be whatever is returned from that library.
+     *
+     * Default: `en_US`
+     */
+    locale: TErrorLocale;
+}
+export type TErrorResult<Options extends Partial<TErrorOptions>> = (Options['format'] extends 'standard-schema' ? StandardSchemaV1.Issue[] : TLocalizedValidationError[]);
 /** Abstract Base for all Validator types. */
 export declare abstract class Validator<Input extends unknown = unknown, Output extends unknown = unknown> {
     /** Returns the schema used to construct this validator */
@@ -7,7 +37,7 @@ export declare abstract class Validator<Input extends unknown = unknown, Output
     /** Parses a value and throws if invalid */
     abstract parse(value: unknown): Output;
     /** Returns errors for the given value */
-    abstract errors(value: unknown): object[];
+    abstract errors<Options extends Partial<TErrorOptions>>(value: unknown, options?: Options): TErrorResult<Options>;
     /** True if the validator has a Json Schema representation */
     abstract isJsonSchema(): boolean;
     /** Return the validator Json Schema representation. */
@@ -15,3 +45,4 @@ export declare abstract class Validator<Input extends unknown = unknown, Output
     /** Returns true if this validator is JIT accelerated */
     abstract isAccelerated(): boolean;
 }
+export {};

package/build/validator.mjs

@@ -1,4 +1,21 @@
 // deno-fmt-ignore-file
+import { System } from 'typebox/system';
+// ------------------------------------------------------------------
+// TErrorLocale
+// ------------------------------------------------------------------
+const Locale = System.Locale;
+// ------------------------------------------------------------------
+// TErrorOptions
+// ------------------------------------------------------------------
+/** Internal */
+export function resolveErrorOptions(options) {
+    const defaults = { format: 'json-schema', locale: 'en_US' };
+    const resolved = options ?? {};
+    return { ...defaults, ...resolved };
+}
+// ------------------------------------------------------------------
+// Validator
+// ------------------------------------------------------------------
 /** Abstract Base for all Validator types. */
 export class Validator {
 }

package/build/validators/json-schema/validator.d.mts

@@ -0,0 +1,14 @@
+import { Validator, type TErrorOptions, type TErrorResult } from '../../validator.mjs';
+import Type from 'typebox';
+export declare class JsonSchemaValidator<Input extends Type.TSchema, Output extends unknown = Type.Static<Input>> extends Validator<Input, Output> {
+    private readonly input;
+    private readonly validator;
+    constructor(input: Input);
+    schema(): Input;
+    isJsonSchema(): boolean;
+    toJsonSchema(): unknown;
+    isAccelerated(): boolean;
+    check(value: unknown): value is Output;
+    parse(value: unknown): Output;
+    errors<Options extends Partial<TErrorOptions>>(value: unknown, options?: Options): TErrorResult<Options>;
+}

package/build/{json-schema → validators/json-schema}/validator.mjs

@@ -1,24 +1,8 @@
 // deno-fmt-ignore-file
+import { System } from 'typebox/system';
 import { Validator as TBValidator } from 'typebox/compile';
-import { ParseError } from '../errors.mjs';
-import { Validator } from '../validator.mjs';
-/**
- * High-performance Json Schema validator that uses library-specific
- * inference mechanisms. The validator assumes the source library
- * produces accurate schematics that encode the runtime
- * representations of its types.
- *
- * In TypeBox terminology, this falls under the TUnsafe<T> category.
- * Preferably, TypeScript types "should" be derived from the
- * schematics rather than assumed.
- *
- * Note:
- *
- * Standard JSON Schema does not advertise which Draft versions it
- * supports, and the resolver is using try/catch resolution. This
- * should be brought up in RFC feedback, not by me of course, I don't
- * know anything about Json Schema.
- */
+import { ParseError, errorToIssue } from '../../errors/index.mjs';
+import { Validator, resolveErrorOptions } from '../../validator.mjs';
 export class JsonSchemaValidator extends Validator {
     constructor(input) {
         super();
@@ -41,7 +25,7 @@ export class JsonSchemaValidator extends Validator {
         return this.input;
     }
     // ----------------------------------------------------------------
-    // Accelerated
+    // Acceleration
     // ----------------------------------------------------------------
     isAccelerated() {
         return this.validator.IsEvaluated();
@@ -54,10 +38,15 @@ export class JsonSchemaValidator extends Validator {
     }
     parse(value) {
         if (!this.validator.Check(value))
-            throw new ParseError(this.errors(value));
+            throw new ParseError(value, this.errors(value));
         return value;
     }
-    errors(value) {
-        return this.validator.Errors(value);
+    errors(value, options) {
+        const config = resolveErrorOptions(options);
+        System.Locale.Set(System.Locale[config.locale]);
+        const errors = this.validator.Errors(value);
+        return (config.format === 'standard-schema'
+            ? errors.map(error => errorToIssue(error))
+            : errors);
     }
 }

package/build/{standard-json-schema → validators/standard-json-schema}/resolve.d.mts

@@ -1,2 +1,2 @@
-import { StandardJSONSchemaV1 } from '../_standard/standard-schema.mjs';
+import { StandardJSONSchemaV1 } from '../../_standard/standard-schema.mjs';
 export declare function ResolveJsonSchema(input: StandardJSONSchemaV1): Record<string, unknown>;

package/build/{standard-json-schema → validators/standard-json-schema}/resolve.mjs

@@ -24,6 +24,7 @@ function AsDraft2020_12(input) {
         return undefined;
     }
 }
+// Standard JSON Schema should provide mechanism to query supported specifications
 export function ResolveJsonSchema(input) {
     const jsonschema = AsDraft2020_12(input) ?? AsDraft7(input) ?? AsOpenAPI3_0(input);
     if (Guard.IsUndefined(jsonschema))

package/build/validators/standard-json-schema/validator.d.mts

@@ -0,0 +1,14 @@
+import { StandardJSONSchemaV1, StandardSchemaV1 } from '../../_standard/standard-schema.mjs';
+import { Validator, type TErrorOptions, type TErrorResult } from '../../validator.mjs';
+export declare class StandardJsonSchemaValidator<Input extends StandardJSONSchemaV1 & StandardSchemaV1, Output extends unknown = StandardSchemaV1.InferOutput<Input>> extends Validator<Input, Output> {
+    private readonly input;
+    private readonly validator;
+    constructor(input: Input);
+    schema(): Input;
+    isJsonSchema(): boolean;
+    toJsonSchema(): unknown;
+    isAccelerated(): boolean;
+    check(value: unknown): value is Output;
+    parse(value: unknown): Output;
+    errors<Options extends Partial<TErrorOptions>>(value: unknown, options?: Options): TErrorResult<Options>;
+}

package/build/{standard-json-schema → validators/standard-json-schema}/validator.mjs

@@ -1,20 +1,9 @@
 // deno-fmt-ignore-file
-import { ParseError } from '../errors.mjs';
-import { Validator } from '../validator.mjs';
+import { System } from 'typebox/system';
+import { Validator, resolveErrorOptions } from '../../validator.mjs';
+import { ParseError, errorToIssue } from '../../errors/index.mjs';
 import { Validator as TBValidator } from 'typebox/compile';
 import { ResolveJsonSchema } from './resolve.mjs';
-/**
- * High-performance Json Schema validator that uses library-specific
- * inference mechanisms. The validator assumes the source library
- * produces accurate schematics that encode the runtime
- * representations of its types.
- *
- * Note:
- *
- * Standard JSON Schema does not advertise which Draft versions it
- * supports, and the resolver is using try/catch resolution. This
- * should be brought up in RFC feedback.
- */
 export class StandardJsonSchemaValidator extends Validator {
     constructor(input) {
         super();
@@ -38,7 +27,7 @@ export class StandardJsonSchemaValidator extends Validator {
         return this.validator.Type();
     }
     // ----------------------------------------------------------------
-    // Accelerated
+    // Acceleration
     // ----------------------------------------------------------------
     isAccelerated() {
         return this.validator.IsEvaluated();
@@ -51,10 +40,15 @@ export class StandardJsonSchemaValidator extends Validator {
     }
     parse(value) {
         if (!this.validator.Check(value))
-            throw new ParseError(this.errors(value));
+            throw new ParseError(value, this.errors(value));
         return value;
     }
-    errors(value) {
-        return this.validator.Errors(value);
+    errors(value, options) {
+        const config = resolveErrorOptions(options);
+        System.Locale.Set(System.Locale[config.locale]);
+        const errors = this.validator.Errors(value);
+        return (config.format === 'standard-schema'
+            ? errors.map(error => errorToIssue(error))
+            : errors);
     }
 }

package/build/{standard-schema → validators/standard-schema}/validator.d.mts

@@ -1,5 +1,5 @@
-import { StandardSchemaV1 } from '../_standard/standard-schema.mjs';
-import { Validator } from '../validator.mjs';
+import { StandardSchemaV1 } from '../../_standard/standard-schema.mjs';
+import { Validator, type TErrorOptions, type TErrorResult } from '../../validator.mjs';
 export declare class StandardSchemaValidator<Input extends StandardSchemaV1, Output extends unknown = StandardSchemaV1.InferOutput<Input>> extends Validator<Input, Output> {
     private readonly input;
     constructor(input: Input);
@@ -9,5 +9,5 @@ export declare class StandardSchemaValidator<Input extends StandardSchemaV1, Out
     isAccelerated(): boolean;
     check(value: unknown): value is Output;
     parse(value: unknown): Output;
-    errors(value: unknown): object[];
+    errors<Options extends Partial<TErrorOptions>>(value: unknown, options?: Options): TErrorResult<Options>;
 }

package/build/{standard-schema → validators/standard-schema}/validator.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
-import { ParseError, UnknownError } from '../errors.mjs';
-import { Validator } from '../validator.mjs';
+import { ParseError, UnknownError, issueToError } from '../../errors/index.mjs';
+import { Validator, resolveErrorOptions } from '../../validator.mjs';
 export class StandardSchemaValidator extends Validator {
     constructor(input) {
         super();
@@ -22,7 +22,7 @@ export class StandardSchemaValidator extends Validator {
         return {};
     }
     // ----------------------------------------------------------------
-    // Accelerated
+    // Acceleration
     // ----------------------------------------------------------------
     isAccelerated() {
         return false;
@@ -37,15 +37,17 @@ export class StandardSchemaValidator extends Validator {
     parse(value) {
         const result = this.input['~standard'].validate(value);
         if ('issues' in result)
-            throw new ParseError(result.issues || []);
+            throw new ParseError(value, result.issues ?? []);
         if ('value' in result)
             return result.value;
         throw new UnknownError('Invalid result');
     }
-    errors(value) {
+    errors(value, options) {
         const result = this.input['~standard'].validate(value);
-        if ('issues' in result)
-            return result.issues || [];
-        return [];
+        const issues = (('issues' in result) ? result.issues : []);
+        const config = resolveErrorOptions(options);
+        return (config.format === 'json-schema'
+            ? issues.map(issue => issueToError(issue))
+            : issues.map(issue => ({ path: issue.path, message: issue.message })));
     }
 }

package/build/{typescript → validators/typescript}/validator.d.mts

@@ -1,4 +1,4 @@
-import { Validator } from '../validator.mjs';
+import { Validator, type TErrorOptions, type TErrorResult } from '../../validator.mjs';
 import Type from 'typebox';
 export declare class TypeScriptValidator<Input extends string, Schema extends Type.TSchema = Type.TScript<{}, Input>, Output extends unknown = Type.Static<Schema>> extends Validator<Input, Output> {
     private readonly validator;
@@ -11,5 +11,5 @@ export declare class TypeScriptValidator<Input extends string, Schema extends Ty
     isAccelerated(): boolean;
     check(value: unknown): value is Output;
     parse(value: unknown): Output;
-    errors(value: unknown): object[];
+    errors<Options extends Partial<TErrorOptions>>(value: unknown, options?: Options): TErrorResult<Options>;
 }

package/build/{typescript → validators/typescript}/validator.mjs

@@ -1,7 +1,8 @@
 // deno-fmt-ignore-file
+import { System } from 'typebox/system';
 import { Validator as TBValidator } from 'typebox/compile';
-import { Validator } from '../validator.mjs';
-import { ParseError } from '../errors.mjs';
+import { ParseError, errorToIssue } from '../../errors/index.mjs';
+import { Validator, resolveErrorOptions } from '../../validator.mjs';
 import Type from 'typebox';
 export class TypeScriptValidator extends Validator {
     constructor(script) {
@@ -26,7 +27,7 @@ export class TypeScriptValidator extends Validator {
         return this.jsonschema;
     }
     // ----------------------------------------------------------------
-    // Accelerated
+    // Acceleration
     // ----------------------------------------------------------------
     isAccelerated() {
         return this.validator.IsEvaluated();
@@ -39,10 +40,15 @@ export class TypeScriptValidator extends Validator {
     }
     parse(value) {
         if (!this.validator.Check(value))
-            throw new ParseError(this.errors(value));
+            throw new ParseError(value, this.errors(value));
         return value;
     }
-    errors(value) {
-        return this.validator.Errors(value);
+    errors(value, options) {
+        const config = resolveErrorOptions(options);
+        System.Locale.Set(System.Locale[config.locale]);
+        const errors = this.validator.Errors(value);
+        return (config.format === 'standard-schema'
+            ? errors.map(error => errorToIssue(error))
+            : errors);
     }
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typedriver",
-  "description": "Unified Runtime Validation and Inference Driver for TypeScript",
-  "version": "0.8.4",
+  "description": "High Performance Driver for Runtime Type System Integration",
+  "version": "0.8.6",
   "keywords": [
     "typescript",
     "json-schema",
@@ -20,25 +20,13 @@
   "types": "./build/index.d.mts",
   "module": "./build/index.mjs",
   "exports": {
-    "./standard-schema": {
-      "import": "./build/standard-schema/index.mjs",
-      "default": "./build/standard-schema/index.mjs"
-    },
     "./guard": {
       "import": "./build/guard/index.mjs",
       "default": "./build/guard/index.mjs"
     },
-    "./json-schema": {
-      "import": "./build/json-schema/index.mjs",
-      "default": "./build/json-schema/index.mjs"
-    },
-    "./standard-json-schema": {
-      "import": "./build/standard-json-schema/index.mjs",
-      "default": "./build/standard-json-schema/index.mjs"
-    },
-    "./typescript": {
-      "import": "./build/typescript/index.mjs",
-      "default": "./build/typescript/index.mjs"
+    "./errors": {
+      "import": "./build/errors/index.mjs",
+      "default": "./build/errors/index.mjs"
     },
     ".": {
       "import": "./build/index.mjs",
@@ -47,20 +35,11 @@
   },
   "typesVersions": {
     "*": {
-      "standard-schema": [
-        "./build/standard-schema/index.d.mts"
-      ],
       "guard": [
         "./build/guard/index.d.mts"
       ],
-      "json-schema": [
-        "./build/json-schema/index.d.mts"
-      ],
-      "standard-json-schema": [
-        "./build/standard-json-schema/index.d.mts"
-      ],
-      "typescript": [
-        "./build/typescript/index.d.mts"
+      "errors": [
+        "./build/errors/index.d.mts"
       ],
       ".": [
         "./build/index.d.mts"

package/readme.md

@@ -2,7 +2,7 @@
 
 <h1>TypeDriver</h1>
 
-<p>Integration Middlware for High Performance Runtime Validation</p>
+<p>High Performance Driver for Runtime Type System Integration</p>
 
 <img src="typedriver.png" />
 
@@ -23,10 +23,7 @@ $ npm install typedriver
 
 ## Example
 
-Framework Compiler System for JSON Schema, Standard Schema and TypeScript
-
-Ref: [TypeScript](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoAqBPADgUwMoDGATgJbYAuqYStd9D4ypAttgPbEWgDeoh7NqQA2uUAF9QAM2KDQAcgo5cAEzIA3XMXnJkAgHYBnbgDVchCpwDMoALz9B2EbgAUAAx7JQoAB4AuUH0AVxYAIy0AGi9QTADgsMjogC84kPDiZHE3AEpdFXNhAENiMQNjUHVC4SDcAKD9AGt9dgB3fV0y7g5DUgpSdn07UDMLawA6bGLDV0rq3GzvRaXFtE7Qbt7+-QDPZb39g8OjpbRvf0C0xOPrm5vTmNSE4ijb17eTsG8Ui6fo9--rmhJPYxqCgA) | [JSON Schema](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoBSBnA9gO1AMoDGAFgKYC2AhqmEvQ40+MgJYUAO2ATgC6gBvUEWydWAGzKgAvqABm3UaADkvAJ4cyAE26sAbmW7LkyEbkz8AamSK8eAZlABeYaI4SyACgHJQodZoAXCrYAEYAVja8ygA0vqDcZACOAK6siVrBANrKAB6xKmoFygBeygC6cX4cipp8rGSYwT5+frnN-hpkwcq4KRShhsoyVa1qHQHdKn0DQyPxfiUTXT0zg0Yy8dLI0gCUJlo24lSJrub8elTiKVMpuADWuNgA7rgmZhagXJisvKx4zlA1lsDgAdBwTpgvJdrmRdq0EYi0B9+N9fv9cM0Foicbi8fiCaA0G1gmtDKNCZSqYTiaBxqAydwKdSWayiWBFqT+utsWy+QS0LIXKCRUA) | [TypeBox](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoBSBnA9gO1AMoDGAFgKYC2AhgFygAqAngA5kBC2AHqmEn-wMHhkASwrNsAJwAuoAN6gi2cSIA2ZUAF9QAM0nLQAcmksyAE0kiAbmUmHR4qbKatd+ikZOsARl0OgA5GQlXExZADUyImkpAGZQAF5FZWY1MgAKFzIAOgB5bwArKOl0uWQAzjos7IA5AFcKb1t0gEoAGnLQRirTWoamyVaOgIAvHtY+xuaW5E0WmeQzKNUqSQ0QsNArKlU6sjo63ABrXGwAd1wgjdkJTBFpETxE0EjouOzmVcwM7d2yFoCgKBgLQ11At3uj1wdDKwLh8IRiKRQLQFTouH6tmGyJxuJxqK66MxkmxeLJ5ICBLGoAxU0knQpjPxYG0SWy7KAA) | [Zod](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygBaA9vqmEl9z7+MgEsaABxZFMoAN6gyLEQIA2VUAF9QAMyJzQAckwBPYVXxEBANypEdyQSLESAVKGwBnUAC8NWmrvdtryLK4LhIAalRkmGIAzKAAvDJywopUABTuAHQsAEYAVhGYqZLIoKAAHoyZuACuNNmWqQCUADQloPqVGTV1DS1t7p3d9URNyCqNjTb4EQrEykEhoGbYCtVUjNW4ANa4LADuuDYLEqIuApgCLLjxoOGRMRnCxC5py6tUjaVf319ox6Cnc6XXCMYo-cEQyFQ6HfNClCqgIaWVow1FotFw9qMJFEFHo-EE35gUoDRG1YZtQlU1FoNQJDIMoA) | [Valibot](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygBq2ANgJYBGA9pqmEkFDhI8MnY0ADtyKZQAb1BluU9qyqgAvqABmRFaADkmAJ6Sq+IuwBuVIoeTipMuQCpQ2AM6hru-TSNrNi5eB2RlXE85JioyTBkAZlAAXiUVSTUqAAprADpuTgArWMws+WRQUAAPRjzcAFcaTjssgEoAGgrQE1rchqaWjq6AL17+5qI25E1W1sd8WNZiDQionzZ6qkZ63ABrXG4Ad1xHVblpT3ZMdm5cFOYSxNzJYk9soNZN1sqf35+0M6gC5XG64RjlP6QqHQmGw35oSo1UDjOydOHojEYhHdRgoohozGEon-MCVUbIxoTLrEmnotDaVK5JlAA) | [ArkType](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygCCRA1gCoCeADlamEkFDhI8MgCWNbgHsimUAG9QZaVPEAbKqAC+oAGZFVoAOSYeVfEXEA3KkWPIJU2fKVneO-YZonird1QOyCq4AM7yAGpUZJiyAMygALzKqtwaVAAUARkKyKCgAB6MxrgArjQARnbGADR5oJzFZZXVdfkAXk3lVfbI2gCU-Y740erEWiHhoNbY6qVUjKW4rLjSAO64jpPyMqHimOLSuEmgUTHxAHTcxKGZM3NU-fnPL89o26C7+4e4jLmvAMBQOBIJeaHyRVAzR6bVBcPhcPBDUY0LssIRGMx+SRnSh3Ts9SxRMRYF0yQuFKAA) | [Effect](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygCiAZi1WZqmEr3-wPDIAljQAOAeyKZQAb1BkJ44QBsqoAL6gWRJaADkmAJ5iq+IsIBuVIvpHipM+ekq1sm7bpoGqbDpjtkRVwAZxkANX8pAGZQAF4FJTFVKgAKF2o6ADowvEISDLdwgEZ012ysIgBXTlTZZFBQAA9GQuyAOSqaACMbABoG0CNW8uwszp7+wYAvEcyxid6iZA0ASnXkZHwOFWJ1YLDQS2wVKqpGKtwAa1wJAHdcTYOZSRDhTGEJXHjQSM4YrJiYghNLHU5UVaNKHQqFoZ6gV7vT64Rj1GHojGYrHY6FoRpEKjYfBfFRGZqMXBdJYDHG0ul0vGgAlEklk4agSmTIg0+m8vmwsD4wnE3Ck0CzDlUmyDfmy2loLQJLLKoA) | [Arri](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygCCRRAlqmEtz73+MjY0ADgHsimUAG9QZUSLYAbKqAC+oAGZF5oAOSYAnsKr52ANypFdgkeMkzsazdpp6AAsXZFhZYAGdKWmxrZDlcP0kANSoyTHEAZlAAXll5YSUqAApsADpRACMAKxjMTKlkUFAAD0Zc3ABXGnzLTIBKABoK0ANanIamlo6ugC9e-uaiNuRVVtbkZHwYxWIVMIjQM2xFeqpGetwAa1xRAHdcebXJMT82TDZRXGTQaNiEnOFiPyzN7apWyoBgIBaEuoGut3uuEY5SBsLh8IRiMBaEqNVA40snSR2JxOJR3UYGKIWNxpLJwLAlVG6MaEy65IZ2LQ6hSOTZQA) | [Sury](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFwYCuRAnqmEl9z7+MgEsaABwD2RTKADeoMqJECANlVABfUADMi80AHJMrYVXxEBANypFdgkeMkAqUNgDOGTdpp7nLVrtD+AwKDg-zQAFgA6AGZQAGsAIVAAChoBXFAAalAAcwAvAWEASmRkOVxnSQA1KjJMcRiAXll5YSUqJPQI50pabCSpZH8AD0ZO3CYaACNLABpB0FZRiPGp2fncpZXpojnVQuLkfBrFYhUyitAzbEUmKkYmXFjcUQB3XBLzyTFnAUwBUXSTWqtXqEWExGc7SuNyohRCQTQn1A31+-1wjAG8Kx2JxOLQw0YWzWuJJpOx+IWhIm2zmZLp9NAFI2oCJRHmDI55LA6iaET5QA)
-
+Multi-Library Type Compiler and Inference System for High Performance Frameworks
 
 ```typescript
 import { compile } from 'typedriver'
@@ -46,26 +43,37 @@ const position = Vector3.parse(value)            // const position: {
                                                  // } = ...
 ```
 
-## Overview
+Supports: [TypeScript](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoAqBPADgUwMoDGATgJbYAuqYStd9D4ypAttgPbEWgDeoh7NqQA2uUAF9QAM2KDQAcgo5cAEzIA3XMXnJkAgHYBnbgDVchCpwDMoALz9B2EbgAUAAx7JQoAB4AuUH0AVxYAIy0AGi9QTADgsMjogC84kPDiZHE3AEpdFXNhAENiMQNjUHVC4SDcAKD9AGt9dgB3fV0y7g5DUgpSdn07UDMLawA6bGLDV0rq3GzvRaXFtE7Qbt7+-QDPZb39g8OjpbRvf0C0xOPrm5vTmNSE4ijb17eTsG8Ui6fo9--rmhJPYxqCgA) | [JSON Schema](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoBSBnA9gO1AMoDGAFgKYC2AhqmEvQ40+MgJYUAO2ATgC6gBvUEWydWAGzKgAvqABm3UaADkvAJ4cyAE26sAbmW7LkyEbkz8AamSK8eAZlABeYaI4SyACgHJQodZoAXCrYAEYAVja8ygA0vqDcZACOAK6siVrBANrKAB6xKmoFygBeygC6cX4cipp8rGSYwT5+frnN-hpkwcq4KRShhsoyVa1qHQHdKn0DQyPxfiUTXT0zg0Yy8dLI0gCUJlo24lSJrub8elTiKVMpuADWuNgA7rgmZhagXJisvKx4zlA1lsDgAdBwTpgvJdrmRdq0EYi0B9+N9fv9cM0Foicbi8fiCaA0G1gmtDKNCZSqYTiaBxqAydwKdSWayiWBFqT+utsWy+QS0LIXKCRUA) | [TypeBox](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoBSBnA9gO1AMoDGAFgKYC2AhgFygAqAngA5kBC2AHqmEn-wMHhkASwrNsAJwAuoAN6gi2cSIA2ZUAF9QAM0nLQAcmksyAE0kiAbmUmHR4qbKatd+ikZOsARl0OgA5GQlXExZADUyImkpAGZQAF5FZWY1MgAKFzIAOgB5bwArKOl0uWQAzjos7IA5AFcKb1t0gEoAGnLQRirTWoamyVaOgIAvHtY+xuaW5E0WmeQzKNUqSQ0QsNArKlU6sjo63ABrXGwAd1wgjdkJTBFpETxE0EjouOzmVcwM7d2yFoCgKBgLQ11At3uj1wdDKwLh8IRiKRQLQFTouH6tmGyJxuJxqK66MxkmxeLJ5ICBLGoAxU0knQpjPxYG0SWy7KAA) | [Effect](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygCiAZi1WZqmEr3-wPDIAljQAOAeyKZQAb1BkJ44QBsqoAL6gWRJaADkmAJ5iq+IsIBuVIvpHipM+ekq1sm7bpoGqbDpjtkRVwAZxkANX8pAGZQAF4FJTFVKgAKF2o6ADowvEISDLdwgEZ012ysIgBXTlTZZFBQAA9GQuyAOSqaACMbABoG0CNW8uwszp7+wYAvEcyxid6iZA0ASnXkZHwOFWJ1YLDQS2wVKqpGKtwAa1wJAHdcTYOZSRDhTGEJXHjQSM4YrJiYghNLHU5UVaNKHQqFoZ6gV7vT64Rj1GHojGYrHY6FoRpEKjYfBfFRGZqMXBdJYDHG0ul0vGgAlEklk4agSmTIg0+m8vmwsD4wnE3Ck0CzDlUmyDfmy2loLQJLLKoA) | [Zod](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygBaA9vqmEl9z7+MgEsaABxZFMoAN6gyLEQIA2VUAF9QAMyJzQAckwBPYVXxEBANypEdyQSLESAVKGwBnUAC8NWmrvdtryLK4LhIAalRkmGIAzKAAvDJywopUABTuAHQsAEYAVhGYqZLIoKAAHoyZuACuNNmWqQCUADQloPqVGTV1DS1t7p3d9URNyCqNjTb4EQrEykEhoGbYCtVUjNW4ANa4LADuuDYLEqIuApgCLLjxoOGRMRnCxC5py6tUjaVf319ox6Cnc6XXCMYo-cEQyFQ6HfNClCqgIaWVow1FotFw9qMJFEFHo-EE35gUoDRG1YZtQlU1FoNQJDIMoA) | [ArkType](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygCCRA1gCoCeADlamEkFDhI8MgCWNbgHsimUAG9QZaVPEAbKqAC+oAGZFVoAOSYeVfEXEA3KkWPIJU2fKVneO-YZonird1QOyCq4AM7yAGpUZJiyAMygALzKqtwaVAAUARkKyKCgAB6MxrgArjQARnbGADR5oJzFZZXVdfkAXk3lVfbI2gCU-Y740erEWiHhoNbY6qVUjKW4rLjSAO64jpPyMqHimOLSuEmgUTHxAHTcxKGZM3NU-fnPL89o26C7+4e4jLmvAMBQOBIJeaHyRVAzR6bVBcPhcPBDUY0LssIRGMx+SRnSh3Ts9SxRMRYF0yQuFKAA) | [Valibot](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygBq2ANgJYBGA9pqmEkFDhI8MnY0ADtyKZQAb1BluU9qyqgAvqABmRFaADkmAJ6Sq+IuwBuVIoeTipMuQCpQ2AM6hru-TSNrNi5eB2RlXE85JioyTBkAZlAAXiUVSTUqAAprADpuTgArWMws+WRQUAAPRjzcAFcaTjssgEoAGgrQE1rchqaWjq6AL17+5qI25E1W1sd8WNZiDQionzZ6qkZ63ABrXG4Ad1xHVblpT3ZMdm5cFOYSxNzJYk9soNZN1sqf35+0M6gC5XG64RjlP6QqHQmGw35oSo1UDjOydOHojEYhHdRgoohozGEon-MCVUbIxoTLrEmnotDaVK5JlAA) | [Arri](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFygCCRRAlqmEtz73+MjY0ADgHsimUAG9QZUSLYAbKqAC+oAGZF5oAOSYAnsKr52ANypFdgkeMkzsazdpp6AAsXZFhZYAGdKWmxrZDlcP0kANSoyTHEAZlAAXll5YSUqAApsADpRACMAKxjMTKlkUFAAD0Zc3ABXGnzLTIBKABoK0ANanIamlo6ugC9e-uaiNuRVVtbkZHwYxWIVMIjQM2xFeqpGetwAa1xRAHdcebXJMT82TDZRXGTQaNiEnOFiPyzN7apWyoBgIBaEuoGut3uuEY5SBsLh8IRiMBaEqNVA40snSR2JxOJR3UYGKIWNxpLJwLAlVG6MaEy65IZ2LQ6hSOTZQA) | [Sury](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YpAoEoDKAXAhgOwCbYBO+GAxgBYCmAttgFwYCuRAnqmEl9z7+MgEsaABwD2RTKADeoMqJECANlVABfUADMi80AHJMrYVXxEBANypFdgkeMkAqUNgDOGTdpp7nLVrtD+AwKDg-zQAFgA6AGZQAGsAIVAAChoBXFAAalAAcwAvAWEASmRkOVxnSQA1KjJMcRiAXll5YSUqJPQI50pabCSpZH8AD0ZO3CYaACNLABpB0FZRiPGp2fncpZXpojnVQuLkfBrFYhUyitAzbEUmKkYmXFjcUQB3XBLzyTFnAUwBUXSTWqtXqEWExGc7SuNyohRCQTQn1A31+-1wjAG8Kx2JxOLQw0YWzWuJJpOx+IWhIm2zmZLp9NAFI2oCJRHmDI55LA6iaET5QA) | ... and more
 
-TypeDriver is a high-performance validation middleware that enables frameworks to incorporate both JSON Schema and Standard Schema specifications into framework interfaces (for example, HTTP route handlers, RPC endpoints, etc.). It provides a unified validation and type inference system to simplify integrating runtime types, and offers a TypeScript DSL compiler and inference system as standard.
+## Overview
 
-> TypeDriver unifies heterogeneous runtime schema systems based on JSON Schema and Standard Schema into a single system that preserves static type inference, runtime validation, and schema reflection, while remaining compatible with multiple schema ecosystems.
+TypeDriver is a high-performance validation and type inference middleware designed to integrate JSON Schema and Standard Schema compliant validation into framework interfaces such as HTTP routes and RPC endpoints. It targets type safety at I/O boundaries by providing a unified validation and inference pipeline that can be bound directly to request-receiving interfaces.
 
-TypeDriver provides high-performance validation for JSON Schema Drafts 3 through 2020-12. Internally, it uses TypeBox for schema validation and type inference, and Standard Schema for remote library integration. The TypeScript DSL provides runtime and type-level TypeScript emulation in support of TS 7 native compiler.
+This project is designed to unify heterogeneous runtime schema systems based on JSON Schema and Standard Schema into a single system that preserves static type inference, runtime validation, and schema reflection, while remaining compatible with multiple schema ecosystems.
 
 License MIT
 
 ## Features
 
-- Designed Specifically for Framework Integration
-- Integrated TypeScript DSL for TS7 Native (supported in TS5 and above)
-- Unified Validation for JSON Schema and Standard Schema
-- Unified Inference for JSON Schema and Standard Schema
-- High Performance Validation Compiler (performance approx 2x Ajv)
-- Acceleration support for Standard JSON Schema
-- JSON Schema Reflect for OpenAPI, MCP and IDL Based Systems
-- Localization Support for 40+ languages
+- Framework Integration
+  - Designed for [Type-Safe](#Framework) public IO interfaces (Routes)
+  - One [Function](#Compile) to compile schematics into uniform Validators.
+  - One [Type](#Static) to infer schematics into TypeScript types.
+  - [Extension](#Extensions) Model for Framework Specific Runtime Type APIs
+- Schema Support
+  - TypeScript [DSL](#Script) feature for TS7-native (supported in TS5+).
+  - Scalable [JSON Schema Type Inference](https://tsplay.dev/NlrkxW) as standard.
+  - Supports JSON Schema Drafts 3 through 2020-12.
+  - Full support for Standard Schema
+- Validation Compiler
+  - High-performance JIT compiler for faster application start up.
+  - High-performance runtime validation (approx 2x Ajv under comparable workloads)
+  - Automatic [Acceleration](#Accelerate) for libraries supporting Standard JSON Schema.
+  - Automatic JIT fallback for [Content-Security](https://developer.mozilla.org/en-US/docs/Web/HTTP/Guides/CSP) restrictive environments (Cloudflare)
+- Tooling and Interoperability
+  - JSON Schema [Reflect](#Reflect) API for OpenAPI, MCP, and IDL-Based Systems
+  - Error [Formats](#Errors) for JSON Schema and Standard Schema Based Systems
+  - [Localized](#Locales) Error Messages (i18n)
 
 ## Contents
 
@@ -76,20 +84,23 @@ License MIT
 - [Check](#Check)
 - [Parse](#Parse)
 - [Errors](#Errors)
+- [Locales](#Locales)
 - [Static](#Static)
+- [Script](#Script)
 - [Reflect](#Schema)
-- [Locale](#Locale)
+- [Extensions](#Extensions)
 - [Accelerate](#Accelerate)
+- [Compression](#Compression)
 - [Contribute](#Contribute)
 
 ## Framework
 
-TypeDriver is designed for framework integration to allow multiple type safe libraries to be hosted on framework interfaces. It provides a simple infrastructure to connect type inference and validation to the framework. The following shows a simple design for a route function ...
+TypeDriver is designed for framework integration. It provides a simple infrastructure to connect type inference and validation to framework interfaces.
 
 Ref: [TypeScript](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YyAoEoAiBTAzgSwOYB2qYSZ5FcyADgPbYAuAFAOTAsA0oA3sqKACNaAEwCeALlAADXv34APSYQCuAWwGYAThz5yJoFeq065oAF5K1GzboC+U5La5NNmAI7KcDAJSgAvAB8PLoAxrSEjDyg8lyiXGagtv6grh5eAHRCYqBoDKLUmODYAIYAZpgAhI7eyCQQlA2N8HUAYprFqpgA7rSaANZ1TUPDyLiqdJoMUXkFoADKDMUMuCFcYeO4ADaYiaClmrSqoCwzmMKauABuWiy1mPITU7iEDFqlxSE7AEq0yq8A8tRluFsAAeABCIlEoHur0IwmwoGUhD6hFoXUIyWRqPRhCCskEUMkkLEjmQ90eoFOoB+f0wAGFiptNgIPn1QQAFJYACxh8jhCNAjAuhHwXEBwIifIFiNpAKBuBBQT8oCYuhc7k8jEk3CRmk2ki5DG5XCy+gWSxWoIlioiAG0WGaWABdIK2XyBUCXWi4YTIGoU3pTUrIkKS0B0RicnnSzDwxHC55i0BhCJTG0g2Pxmm-eWS7BcXSM5mskJ9ZJyhlMlls6PG8UKpXIAJMag8w08ri0RsRSQZiJraulvqSYs1su+AmpyJmgD6lyZvqWvWS62oW0wTG7+YdTudNX4uREtEk6TPoDG1G2nReKVzO02tHwKzJQA) | [JSON Schema](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YyAoEoAiBTAzgSwOYB2qYSZ5FcyADgPbYAuAFAOTAsA0oA3sqKACNaAEwCeALh59+oBqOqZJLWgIBWmAMYNO0-gCdMARwCuuA8MkBtFgA9OoFqPssAXiwC6HXaGp7aCvQZcHEleGRkbUNl5RQdCYwBbAUw9FlAAXy9w-gkeaIUleKSUtMzvfhcouQK4xOTUjKyZdOkWzNAmAxMcBgBKUABeAD4pfg1aQkY8my5RLhcMwdAu4x6AOiExUDRqzHBsAEMAM0wAQmR03uQSCEo7+-gbgDE9A4TMAHdaPQBrG4eAYDkLgEnRAnldqAAMoMA5BDRccag3AAG0wiyOfgSDl2wj0uAAbiVrpgbGCGKBcIQGCkjgcNOiAEq0Yw0gDy1CCE2wAB4AEIiUSgUk0wjCbCgYyEH6EWgfQhLKUyuWEEZhQSCyQCsQXZCk8n5JksmkAYQOKJRAnpPx5AAU4QALYU2UXi0CMfGEfBcDlcybO10S5mszC+3DckYDDrSTpGVaMKLGPQoyT2hgOribXIwuG4DQ8sPc6xZjwjS6DEYE2i4YTIK7674Uo5SrThhV0Rh2x0BzBiiUeqne0DjSYUwv+kW9t3B9mctvYLjSM0Wq0aH5LGeYZeW61d9M+ucR5BDJjUR2px1cfx+7CSccL4fmndryTb1c-frqkdTLMAfQJ5o1nC3xLEi1CopgTDXvOxaCh4Vz8DsIi0JIaxoZSoJou81LLMa6IorQ+B5rqQA) | [Standard Schema](https://www.typescriptlang.org/play/?target=99&module=7#code/PTAEFpK6dv4YyAoEoAiBTAzgSwOYB2qYSZ5FcyuAtgA4D2ATgC6gBUoAhtqAF6gAZkwY1QAcj4MAJuOTJG2FgApxwcQBpQAb2ShQAIxkBPAFz8AdAwMArTAGMVu-foAe5vhcIBXGgcxMygCUGnouZpY+fgHBoS78Hl6+-oEhYQC+QcjpWspMmACO3jgsQaAAvAB8OmH2DIRKOqCuWsZaAukVoPlFJRZG0sagaCzGdJjg2FyCmACE2VkkEJQrq-BLAGJMXDSYAO7MANZLa6dn1PTMbNqgo+OgAMosXCy49lp19LgANpigncJRBI7phpExcAA3AJyZCYVyMVigXCEFgBQRcex-ABKDG8qIA8nRXvVsAAeABCJlAcNRhGkvG8hEOhAYe0IXUZzNZhGqzkMJnMlMG2Vh8KutzG2NxqIAwlxvt8DBjDqSAAovAAW1NctPpoCU4MI+C0hOJDW1ut4OLxmFNuBJ1XKoGUYTyhWKSnMN28TG+5nVLA1WgGESeLzepLtJIA2uIQ+IALrVTIVaoQhi4aTILJwhFsQSMxz29mKFhqzUWzB03gG5HG0B1BpsKPmmlVvXWglE4vYLRhOUKpX2Q5dTuYAeK5XlwMm7sO5CVZR0TX+zVaBhzhrmFu9hvyyfD8wToeHMp8xuNEMAfQh8szL2YXU+dB+mGUG7N2Fj8YTWX0IxkBhzAsECkXoX5dhRbppT+b4GHwN4RSAA)
 
 ```typescript
-post('/', {
+route('/', {
   body: `{
     x: number,
     y: number,
@@ -100,11 +111,11 @@ post('/', {
 })
 ```
 
-Where the above design is achieved with the following TS definitions (Expand to View)
+The above interface design is achieved with the following TypeScript definitions 
 
 <details>
 
-<summary>TypeDriver Route Definition</summary>
+<summary>Route Interface Definition (Expand)</summary>
 
 
 ```typescript
@@ -116,7 +127,7 @@ export interface RouteOptions<Body extends unknown = unknown> {
 export type RouteCallback<Path extends string, Options extends RouteOptions> = (
   (request: { url: Path, body: Static<Options['body']> }) => void
 )
-export function post<Path extends string, const Options extends RouteOptions, 
+export function route<Path extends string, const Options extends RouteOptions, 
   Callback = RouteCallback<Path, Options>
 >(path: Path, options: Options, callback: Callback) {
   const body_validator = compile(options['body'])
@@ -134,7 +145,7 @@ TypeDriver consists of a single compile(...) function that accepts JSON Schema,
 import { compile } from 'typedriver'
 ```
 
-TypeScript [Example](https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBAbzgYwuYAbApnAvnAMyjTgHIYBPMLAEymADcspSAoV1AOwGd4A1LMhjQAzHAC8KNGExYAFAAMErOHAAeALjicAriABGzFXApbdBo6oBeZvYaitcCgJSq37j56-ef7gPR+Ujz8gsJQIlp8AIYYwDRRYQA8AHSpADSIxr7ZObluAW6a2nbMaVl5FZX5gaqmxRZQZVXNlQXWtg1NLd3ZBbgAfOxcvHCQ3MAwwBCcEnACQqLJYFFQ3PJIxkUADF11AIxdNnBbjs5AA)
+ Ref: [TypeScript](https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBAbzgYwuYAbApnAvnAMyjTgHIYBPMLAEymADcspSAoV1AOwGd4A1LMhjQAzHAC8KNGExYAFAAMErOHAAeALjicAriABGzFXApbdBo6oBeZvYaitcCgJSq37j56-ef7gPR+Ujz8gsJQIlp8AIYYwDRRYQA8AHSpADSIxr7ZObluAW6a2nbMaVl5FZX5gaqmxRZQZVXNlQXWtg1NLd3ZBbgAfOxcvHCQ3MAwwBCcEnACQqLJYFFQ3PJIxkUADF11AIxdNnBbjs5AA)
 
 ```typescript
 const Vector3 = compile(`{
@@ -144,7 +155,7 @@ const Vector3 = compile(`{
 }`)
 ```
 
-JSON Schema [Example](https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBAbzgYwuYAbApnAvnAMyjTgHIYBPMLAEymADcspSAoV1AOwGd4A1LMhjQAzHAC8KNGExYAFEjhLlK1WtUB6DVJ79BwqCIBccPgEMMwGmYMAeAHSOANIlZLK1E6QgAjAFb6pC7qIaFhWsoAHiacAK4gPsxObnBQWACOscBpNCYA2qSRQWQUxaQAXqQAusFhdXARShQx8YlQyUpgxNSwwFjcJor1w+HaSuUtCcwpStGIcB5YXnFTLHi1I6ERuAB8M3DN84vLrcyk6-sTR1RLZCtt57gpT7gAlOxcvHCQ3MAwwBBOBJTPpRPYwGYoNx5EgUnMAAwdA4mACMSKu8NYbyAA)
+ Ref: [JSON Schema](https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBAbzgYwuYAbApnAvnAMyjTgHIYBPMLAEymADcspSAoV1AOwGd4A1LMhjQAzHAC8KNGExYAFEjhLlK1WtUB6DVJ79BwqCIBccPgEMMwGmYMAeAHSOANIlZLK1E6QgAjAFb6pC7qIaFhWsoAHiacAK4gPsxObnBQWACOscBpNCYA2qSRQWQUxaQAXqQAusFhdXARShQx8YlQyUpgxNSwwFjcJor1w+HaSuUtCcwpStGIcB5YXnFTLHi1I6ERuAB8M3DN84vLrcyk6-sTR1RLZCtt57gpT7gAlOxcvHCQ3MAwwBBOBJTPpRPYwGYoNx5EgUnMAAwdA4mACMSKu8NYbyAA)
 
 ```typescript
 const Vector3 = compile({ 
@@ -158,7 +169,7 @@ const Vector3 = compile({
 })
 ```
 
-Standard Schema [Example](https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBAbzgYwuYAbApnAvnAMyjTgHIYBPMLAEymADcspSAoV0SWOAKjgEMAznABehYiDIiINNq1QA7QfABqWZDGgBmOAF4UaMJiwAKEQDoIAIwBW6mCaRxnL12+cB6DwaWr72gC44FX4MYBp+TSgAHnM4gBpEVmcADyCLBQBXECtmEwBKRPdiktK3Lxc0uCyc5njkuAp08xrcqAKisq7uuArnJurstvrnEWbWvMKe6dK+0SCJqFZcfPyZ9Y3e71wAPnZFZThIQWAYYAgFPWD-KC1zMH4oQVMkBqqABhHGoIBGL7G4O9lvkgA)
+ Ref: [Standard Schema](https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBAbzgYwuYAbApnAvnAMyjTgHIYBPMLAEymADcspSAoV0SWOAKjgEMAznABehYiDIiINNq1QA7QfABqWZDGgBmOAF4UaMJiwAKEQDoIAIwBW6mCaRxnL12+cB6DwaWr72gC44FX4MYBp+TSgAHnM4gBpEVmcADyCLBQBXECtmEwBKRPdiktK3Lxc0uCyc5njkuAp08xrcqAKisq7uuArnJurstvrnEWbWvMKe6dK+0SCJqFZcfPyZ9Y3e71wAPnZFZThIQWAYYAgFPWD-KC1zMH4oQVMkBqqABhHGoIBGL7G4O9lvkgA)
 
 ```typescript
 import * as z from 'zod'
@@ -200,17 +211,104 @@ const { x, y, z } = Vector3.parse(value)
 
 ## Errors
 
-The errors(...) function returns diagnostics (use only after failed check)
+The errors(...) function returns error diagnostics for values (use after failed check only)
 
 ```typescript
-// Vector3.errors(value: unknown): object[]
+// Vector3.errors(value: unknown): TLocalizedValidationError[]
 
 const errors = Vector3.errors(value)              
 ```
 
+The errors(...) function can generate both JSON Schema and Standard Schema error formats.
+
+```typescript
+const errors = Vector3.errors({ x: 1, y: true }, {  
+  format: 'json-schema'                             
+})
+
+const issues = Vector3.errors({ x: 1, y: true }, {  
+  format: 'standard-schema'                         
+})
+```
+
+<details>
+
+<summary>Generated Errors and Issues</summary>
+
+```typescript
+// TLocalizedValidationError[]
+
+const errors = [{    
+  keyword: "required",    
+  schemaPath: "#",
+  instancePath: "",
+  params: { requiredProperties: [ "z" ] },
+  message: "must have required properties z"
+},
+{
+  keyword: "type",
+  schemaPath: "#/properties/y",
+  instancePath: "/y",
+  params: { type: "number" },
+  message: "must be number"
+}]
+
+// StandardSchemaV1.Issue[]
+
+const issues = [
+  { path: [], message: "must have required properties z" },
+  { path: [ "y" ], message: "must be number" }
+]
+```
+</details>
+
+## Locales
+
+TypeDriver has translations for many different languages and locales.
+
+```typescript
+const issues = Vector3.errors({ x: 1, y: true }, {  
+  format: 'standard-schema',                        
+  locale: 'ko_KR'                                   
+})                                                 
+```
+
+<details>
+
+<summary>Generated Localization</summary>
+
+```typescript
+
+// StandardSchemaV1.Issue[]
+
+const issues = [
+  { path: [], message: "필수 속성 z을(를) 가지고 있어야 합니다" },
+  { path: [ "y" ], message: "number이어야 합니다" }
+]
+```
+</details>
+
+<details>
+
+<summary>Supported Locales</summary>
+
+```typescript
+type LocaleString = (
+  | "ar_001" | "bn_BD"   | "cs_CZ"   | "de_DE"  | "el_GR"  | "en_US" | "es_419" 
+  | "es_AR"  | "es_ES"   | "es_MX"   | "fa_IR"  | "fil_PH" | "fr_CA" | "fr_FR" 
+  | "ha_NG"  | "hi_IN"   | "hu_HU"   | "id_ID"  | "it_IT"  | "ja_JP" | "ko_KR" 
+  | "ms_MY"  | "nl_NL"   | "pl_PL"   | "pt_BR"  | "pt_PT"  | "ro_RO" | "ru_RU" 
+  | "sv_SE"  | "sw_TZ"   | "th_TH"   | "tr_TR"  | "uk_UA"  | "ur_PK" | "vi_VN" 
+  | "yo_NG"  | "zh_Hans" | "zh_Hant"
+)
+```
+</details>
+
+Localization support is only available for JSON Schema
+
 ## Static
 
-TypeDriver provides type infernece for JSON Schema, Standard Schema or TypeScript | [Example](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAbzjAnmApnAyjAhjYAYzgF84AzKCEOAclQwBMpgA3dKWgKC4Hpe4ASQB25DsjToAzhSo1cAGwXIAFsGEBzKQEIeDTAEE4AXmx4ChADwADJFzhwAHgC44wgK4gARhwA09uBRXD28-AIAvYM8fKC4SawA+PUk4ACETM3wiSwQA-VdaCC8AK3RCGFp-Byh0AEd3YBrGVwBtWkdKuhRO2nDaAF0quDAqDFhgaVdchwcXRAkMApCY2lIhhyD5-LpljlWSdbhIrckl6L21gJI4pK5QSFg4ACo4XBlw2Wo6cIhGbi5CBBhFJ4ABhDLhAB0RVK5QAFNMnK4obsoHCAJRDTYo85ozERZGQ1EY-wkdFcfRwcGmHBZKz6CDkKm3IA)
+TypeDriver provides unified type inference for JSON Schema, Standard Schema and TypeScript | [Reference](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAbzjAnmApnAyjAhjYAYzgF84AzKCEOAclQwBMpgA3dKWgKC4Hpe4ACQjsocdLkIALOI3TlgAO2AEIi5BDhKAzhkLwYUzA3Q9+cACpp0WQizAweJuAEE4AXmx4ChADwADJC44OAAPAC44RQBXEAAjDgAaYLgUSJj4pJSAL3TYhKguEn8APjMBACksAHkAOWxpdBBcJ2s4ACEPL3wiXwQUk0jaCDiAK3R9WmSQqHQAR2jgWcZIgG1aUKm6FC3abNoAXWm4MCoMWGB0bUj+kJCIxGRrIYyC2lJjkLTHwbpXjneJE+cFyP2ef3yAI+KRIRTKfAEOFwikYuCgjAaRmaPFAkFgcAAVHBcNoQRQqDQ9hBGNwuM4AMJdJE+XwmCDkOD0sqENTaeCMzzZAB0I3G+gAFLcwpFhf8oOKAJTHb6yyHypU5GVCuWK5IkBVcIA)
 
 ```typescript
 import { type Static } from 'typedriver'
@@ -239,16 +337,44 @@ type B = Static<{
 
 import * as z from 'zod'
 
+type C = Static<typeof C>
 const C = z.object({
   x: z.number(),
   y: z.number(),
   z: z.number(),
 })
-type C = Static<typeof C>
+```
+
+Localization support is only available for JSON Schema
+
+## Script
+
+The TypeScript DSL is a runtime and type-level emulation of TypeScript. This feature is based on TypeBox’s ability to transform TypeScript syntax into JSON Schema. The TypeScript DSL supports most TypeScript definitions, as well as type-level constraints expressed using JSON Schema keywords.
+
+> ⚠️ The name `Options<T>` is subject to change. Because Options is a commonly used type name, it may not be appropriate for schema constraint augmentation. As a result, Options should be considered an experimental feature. TypeBox and TypeDriver are open to suggestions for a more suitable name for this type.
 
+```typescript
+const ClampedVector3 = compile(`{
+  x: Options<number, { minimum: 0, maximum: 1 }>,
+  y: Options<number, { minimum: 0, maximum: 1 }>,
+  z: Options<number, { minimum: 0, maximum: 1 }>
+}`)
 
+const JsonSchema = ClampedVector3.toJsonSchema()
+
+// const JsonSchema = {
+//   type: "object",
+//   required: [ "x", "y", "z" ],
+//   properties: {
+//     x: { type: "number", minimum: 0, maximum: 1 },
+//     y: { type: "number", minimum: 0, maximum: 1 },
+//     z: { type: "number", minimum: 0, maximum: 1 }
+//   }
+// }
 ```
 
+Refer to [TypeBox](https://github.com/sinclairzx81/typebox) for additional information on this feature.
+
 ## Reflect
 
 Validators can reflect back a JSON Schema representation if the underlying type supports it. This is true for all TypeScript and JSON Schema source types. Reflect can be used for OpenAPI metadata publishing, or RPC systems that need to publish JSON based IDL (interface definition language) to remote callers. Validators provide two functions for this.
@@ -274,54 +400,39 @@ The source type used for compilation can also be returned via
 validator.schema()          // will return the schematic used for compile.
 ```
 
-## Locale
+## Extensions
 
-TypeDriver provides (i18n) error message translations for many languages and locales. Locales are defined as [IETF BCP 47](https://www.rfc-editor.org/rfc/bcp/bcp47.txt) localization codes. Additional localizations can be submitted to the TypeBox project.
+TypeDriver enables Frameworks to define custom Runtime Types specific to the Framework. This can be achieved by creating functions that return statically observable JSON Schema. These schematics can be passed to compile(...) and Static and used like any other type.
+
+Ref: [Framework Types](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAbzgYwuYAbApgGjjATzCzgGUYBDGYZOAXzgDMo04ByQ4gEymADcsUNgChhAejFwAtDNlz5CxUuUrVU8ZICqAZwoBzLBulqTps2uGoAdtvgA1LMhjQAzHAC8KNGExYAFBAARgBWjjB+CMJwcAAeAFxwVgCuIIGCfgCUOFFwBAnJqelZOQBe+SlpUJnCdBkZopwkDk6uHmSU1MgAPI0QjHDNzlAuAHyiEsbmU9MmRppWwBBWACoQy0lg2Ak6WFz4EHAAojEwUBROcAAKLMSwBADSWATaTCwgVzeC1FjaRjP-AIUwkacHmixWEAAklYYIJtGFwV1NCM2n5NHAsCcsFYuC8KFYCHAAPxwPzxUEZDwovgQYB7fJYARQSmY2E4l5khLAKyMQRwSGU9zU2l7EmQuAMpnAogkAAyFFsAHlGEiUZ4wUtVtDYVB4U5EaCMVj2XB8YSSZyKVS4DS6RLEoy+SjWdjcaTydzeVA4LLBcK7STZfarI6oNLiKCFpq1htsEi8PLbG1EzBlaq1XAANqaAC6RrZbszIaZeZJmbzCUzADoaxqIetNlgusdkBgklwm5oEwqYCMRt3bDnxpJAaPAUYAGJnEBYADu0AA1oqQmE-mP11NwyQAEpYACOSWAUF2AEEoGcCF1rhBbt8Xi6TbvUFAuF1bLwrHo8EkrAurBBZysfscmvW8Hiee9jTdd9uT0NpjlOc4YC6Bcnj6D4by+YAfjwGDP2A6JdwPI9T3PChCXVKN61jJtQK+cDnjGDMiMPY8uDPC9hExSBYDgbkdUYc4SCnCgZ3nKAlxXJwr0+WBsMggsXifaBXzwr84B-P8AKAlFImiRoEjYIJQicNg8ByMBZLvBI6LknC4ByY9iLYhIWJI9iyMvWy7zGOguJiHj4EYH99SWOBjLCLprCTbz5PzV0lMcFS31OWDv1-f9AL7PxLMwuztBsqz5IyBIRLExdlxM5DYp+XTHKwGAkigKxEHwGVDIi0y8Cc1jdgSSqwirVDnhyoqfiyOBctvOKGAVB0pT8iYN2W0xJ2nOdFwAOQqQQ1xW-alGEfjBEE5BhPW8SF22wpvT0triEMgpKhEPzuOgIKQuoMKnqKUqLq2nbboc6Jj0a5rWoM9gfqEegaiAA)
 
 ```typescript
-import { compile, locale } from 'typedriver'
+import { compile, type Static } from 'typedriver'
 
-// Supported Locales
+interface FrameworkString {
+  type: 'string'
+}
+export function number(): FrameworkString { 
+  return { type: 'string' }
+}
 
-type LocaleString = (
-  | "ar_001" | "bn_BD"   | "cs_CZ"   | "de_DE"  | "el_GR"  | "en_US" | "es_419" 
-  | "es_AR"  | "es_ES"   | "es_MX"   | "fa_IR"  | "fil_PH" | "fr_CA" | "fr_FR" 
-  | "ha_NG"  | "hi_IN"   | "hu_HU"   | "id_ID"  | "it_IT"  | "ja_JP" | "ko_KR" 
-  | "ms_MY"  | "nl_NL"   | "pl_PL"   | "pt_BR"  | "pt_PT"  | "ro_RO" | "ru_RU" 
-  | "sv_SE"  | "sw_TZ"   | "th_TH"   | "tr_TR"  | "uk_UA"  | "ur_PK" | "vi_VN" 
-  | "yo_NG"  | "zh_Hans" | "zh_Hant"
-)
+// ... Usage
 
-locale('en_US') // Set: English | US (Default)
-
-console.log(compile('string').errors(42)) // [{
-                                          //   keyword: "type",
-                                          //   schemaPath: "#",
-                                          //   instancePath: "",
-                                          //   params: { type: "string" },
-                                          //   message: "must be string"
-                                          // }]
-
-locale('ko_KR') // Set: Korean | South Korea
-
-console.log(compile('string').errors(42)) // [{
-                                          //   keyword: "type",
-                                          //   schemaPath: "#",
-                                          //   instancePath: "",
-                                          //   params: { type: "string" },
-                                          //   message: "string이어야 합니다"
-                                          // }]
+const T = number()                     // const T: FrameworkString = { type: 'number' }
+
+type T = Static<typeof T>              // type T = number
 ```
-Localization support is only available for JSON Schema.
+
+This is an advanced feature based on TypeBox's extension model for JSON Schema.
 
 ## Accelerate
 
-TypeDriver provides acceleration support for libraries that implement the Standard JSON Schema specification. This is a new specification that enables runtime type libraries to be integrated into TypeBox validation infrastructure. This project tracks upstream implementations of this specification and maintains a benchmark measuring compariative performance with and without compile(...).
+TypeDriver provides acceleration support for libraries that implement the upcoming Standard JSON Schema specification. This is a new specification enables remote type libraries to be integrated directly into TypeBox validation infrastructure. This project tracks upstream implementations of this specification and maintains a benchmark measuring compariative performance with and without compile(...).
 
 ```bash
 $ deno task bench
 ```
-Benchmark 16M Parse Operations of this Structure
+Benchmark 16M Parse Operations of this Structure | We Measure Time To Complete
 ```typescript
 const Vector3 = compile(`{
   x: number,
@@ -349,6 +460,22 @@ Accelerated Indicates Support for Standard JSON Schema
 Last Run: Thu Dec 04 2025
 ```
 
+## Compression
+
+TypeDriver is intended for server-side validation in Node, Deno and Bun runtimes, but can be used in Browsers also. TypeDriver depends on most of TypeBox's internal compiler and TS emulation infrastructure. The following shows the compression metrics for bundled, minified and gzipped. TypeDriver uses esbuild for bundling and Deno local gzipped compression.
+
+```bash
+$ deno task metrics
+```
+Compression Rates
+```bash
+┌───────┬─────────────────────────┬─────────────┬─────────────┬────────────┐
+│ (idx) │ path                    │ bundled     │ minified    │ gzipped    │
+├───────┼─────────────────────────┼─────────────┼─────────────┼────────────┤
+│     0 │ "./task/metrics/all.ts" │ "579.74 KB" │ "286.01 KB" │ "55.14 KB" │
+└───────┴─────────────────────────┴─────────────┴─────────────┴────────────┘
+```
+
 ## Contribute
 
 TypeDriver is open to community contribution. Please ensure you submit an issue before submitting a pull request. This project prefers open community discussion before accepting new features.

package/build/json-schema/index.d.mts

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/json-schema/index.mjs

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/json-schema/validator.d.mts

@@ -1,31 +0,0 @@
-import { Validator } from '../validator.mjs';
-import Type from 'typebox';
-/**
- * High-performance Json Schema validator that uses library-specific
- * inference mechanisms. The validator assumes the source library
- * produces accurate schematics that encode the runtime
- * representations of its types.
- *
- * In TypeBox terminology, this falls under the TUnsafe<T> category.
- * Preferably, TypeScript types "should" be derived from the
- * schematics rather than assumed.
- *
- * Note:
- *
- * Standard JSON Schema does not advertise which Draft versions it
- * supports, and the resolver is using try/catch resolution. This
- * should be brought up in RFC feedback, not by me of course, I don't
- * know anything about Json Schema.
- */
-export declare class JsonSchemaValidator<Input extends Type.TSchema, Output extends unknown = Type.Static<Input>> extends Validator<Input, Output> {
-    private readonly input;
-    private readonly validator;
-    constructor(input: Input);
-    schema(): Input;
-    isJsonSchema(): boolean;
-    toJsonSchema(): unknown;
-    isAccelerated(): boolean;
-    check(value: unknown): value is Output;
-    parse(value: unknown): Output;
-    errors(value: unknown): object[];
-}

package/build/locale.d.mts

@@ -1,6 +0,0 @@
-import { System } from 'typebox/system';
-declare const Locale: typeof System.Locale;
-type LocaleString = Exclude<keyof typeof Locale, 'Get' | 'Set' | 'Reset'> & ({} & string);
-/** Sets the locale for which errors are generated. */
-export declare function locale(locale: LocaleString): void;
-export {};

package/build/locale.mjs

@@ -1,7 +0,0 @@
-import { System } from 'typebox/system';
-const Locale = System.Locale;
-/** Sets the locale for which errors are generated. */
-export function locale(locale) {
-    const F = locale in System.Locale ? System.Locale[locale] : System.Locale.en_US;
-    System.Locale.Set(F);
-}

package/build/standard-json-schema/index.d.mts

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/standard-json-schema/index.mjs

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/standard-json-schema/validator.d.mts

@@ -1,26 +0,0 @@
-import { StandardJSONSchemaV1, StandardSchemaV1 } from '../_standard/standard-schema.mjs';
-import { Validator } from '../validator.mjs';
-/**
- * High-performance Json Schema validator that uses library-specific
- * inference mechanisms. The validator assumes the source library
- * produces accurate schematics that encode the runtime
- * representations of its types.
- *
- * Note:
- *
- * Standard JSON Schema does not advertise which Draft versions it
- * supports, and the resolver is using try/catch resolution. This
- * should be brought up in RFC feedback.
- */
-export declare class StandardJsonSchemaValidator<Input extends StandardJSONSchemaV1 & StandardSchemaV1, Output extends unknown = StandardSchemaV1.InferOutput<Input>> extends Validator<Input, Output> {
-    private readonly input;
-    private readonly validator;
-    constructor(input: Input);
-    schema(): Input;
-    isJsonSchema(): boolean;
-    toJsonSchema(): unknown;
-    isAccelerated(): boolean;
-    check(value: unknown): value is Output;
-    parse(value: unknown): Output;
-    errors(value: unknown): object[];
-}

package/build/standard-schema/index.d.mts

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/standard-schema/index.mjs

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/typescript/index.d.mts

@@ -1 +0,0 @@
-export * from './validator.mjs';

package/build/typescript/index.mjs

@@ -1 +0,0 @@
-export * from './validator.mjs';