typebox 1.0.14 → 1.0.16

package/build/type/types/_codec.d.mts

@@ -1,9 +1,9 @@
 import { type StaticDirection, type StaticType } from './static.mjs';
 import { type TSchema } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticCodec<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Decoded extends unknown> = Direction extends 'Decode' ? Decoded : StaticType<Direction, Context, This, Type>;
-export type TDecodeCallback<Type extends TSchema, Decoded = unknown> = (input: StaticType<'Decode', {}, {}, Type>) => Decoded;
-export type TEncodeCallback<Type extends TSchema, Decoded = unknown> = (input: Decoded) => StaticType<'Decode', {}, {}, Type>;
+export type StaticCodec<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Decoded extends unknown> = Direction extends 'Decode' ? Decoded : StaticType<Stack, Direction, Context, This, Type>;
+export type TDecodeCallback<Type extends TSchema, Decoded = unknown> = (input: StaticType<[], 'Decode', {}, {}, Type>) => Decoded;
+export type TEncodeCallback<Type extends TSchema, Decoded = unknown> = (input: Decoded) => StaticType<[], 'Decode', {}, {}, Type>;
 export type TCodec<Type extends TSchema = TSchema, Decoded extends unknown = unknown> = Type & {
     '~codec': {
         encode: TDecodeCallback<Type, Decoded>;

package/build/type/types/array.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TArrayOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticArray<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = StaticType<Direction, Context, This, Type>[]> = Result;
+export type StaticArray<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result extends unknown[] = StaticType<Stack, Direction, Context, This, Type>[]> = Result;
 /** Represents an Array type. */
 export interface TArray<Type extends TSchema = TSchema> extends TSchema {
     '~kind': 'Array';

package/build/type/types/async-iterator.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticAsyncIterator<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = AsyncIterableIterator<StaticType<Direction, Context, This, Type>>> = Result;
+export type StaticAsyncIterator<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = AsyncIterableIterator<StaticType<Stack, Direction, Context, This, Type>>> = Result;
 /** Represents a AsyncIterator. */
 export interface TAsyncIterator<Type extends TSchema = TSchema> extends TSchema {
     '~kind': 'AsyncIterator';

package/build/type/types/constructor.d.mts

@@ -2,7 +2,7 @@ import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type StaticInstantiatedParameters } from './function.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticConstructor<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Direction, Context, This, InstanceType>, Result = new (...args: StaticParameters) => StaticReturnType> = Result;
+export type StaticConstructor<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Stack, Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Stack, Direction, Context, This, InstanceType>, Result = new (...args: StaticParameters) => StaticReturnType> = Result;
 /** Represents a Constructor type. */
 export interface TConstructor<Parameters extends TSchema[] = TSchema[], InstanceType extends TSchema = TSchema> extends TSchema {
     '~kind': 'Constructor';

package/build/type/types/cyclic.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticCyclic<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Defs extends TProperties, Ref extends string, Result extends unknown = Ref extends keyof Defs ? StaticType<Direction, Defs, This, Defs[Ref]> : never> = Result;
+export type StaticCyclic<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Defs extends TProperties, Ref extends string, Result extends unknown = (Ref extends keyof Defs ? StaticType<[...Stack, Ref], Direction, Defs, This, Defs[Ref]> : never)> = Result;
 /** Represents a Cyclic type. */
 export interface TCyclic<Defs extends TProperties = TProperties, Ref extends string = string> extends TSchema {
     '~kind': 'Cyclic';

package/build/type/types/function.d.mts

@@ -3,8 +3,8 @@ import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
 import { type TTuple } from './tuple.mjs';
 import { type TInstantiate } from '../engine/instantiate.mjs';
-export type StaticInstantiatedParameters<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], Evaluated extends TSchema = TInstantiate<Context, TTuple<Parameters>>, Static extends unknown = StaticType<Direction, Context, This, Evaluated>, Result extends unknown[] = Static extends unknown[] ? Static : []> = Result;
-export type StaticFunction<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Direction, Context, This, ReturnType>, Result = (...args: StaticParameters) => StaticReturnType> = Result;
+export type StaticInstantiatedParameters<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], Evaluated extends TSchema = TInstantiate<Context, TTuple<Parameters>>, Static extends unknown = StaticType<Stack, Direction, Context, This, Evaluated>, Result extends unknown[] = Static extends unknown[] ? Static : []> = Result;
+export type StaticFunction<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Stack, Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Stack, Direction, Context, This, ReturnType>, Result = (...args: StaticParameters) => StaticReturnType> = Result;
 /** Represents a Function type. */
 export interface TFunction<Parameters extends TSchema[] = TSchema[], ReturnType extends TSchema = TSchema> extends TSchema {
     '~kind': 'Function';

package/build/type/types/intersect.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TIntersectOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticIntersect<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = unknown> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? StaticIntersect<Direction, Context, This, Right, Result & StaticType<Direction, Context, This, Left>> : Result);
+export type StaticIntersect<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = unknown> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? StaticIntersect<Stack, Direction, Context, This, Right, Result & StaticType<Stack, Direction, Context, This, Left>> : Result);
 /** Represents a logical Intersect type. */
 export interface TIntersect<Types extends TSchema[] = TSchema[]> extends TSchema {
     '~kind': 'Intersect';

package/build/type/types/iterator.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticIterator<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = IterableIterator<StaticType<Direction, Context, This, Type>>> = Result;
+export type StaticIterator<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = IterableIterator<StaticType<Stack, Direction, Context, This, Type>>> = Result;
 /** Represents an Iterator. */
 export interface TIterator<Type extends TSchema = TSchema> extends TSchema {
     '~kind': 'Iterator';

package/build/type/types/object.d.mts

@@ -1,7 +1,7 @@
 import { type StaticDirection } from './static.mjs';
 import { type TSchema, type TObjectOptions } from './schema.mjs';
 import { type TProperties, type TRequiredArray, type StaticProperties } from './properties.mjs';
-export type StaticObject<Direction extends StaticDirection, Context extends TProperties, _This extends TProperties, Properties extends TProperties, Result = keyof Properties extends never ? object : StaticProperties<Direction, Context, Properties, Properties>> = Result;
+export type StaticObject<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, _This extends TProperties, Properties extends TProperties, Result = keyof Properties extends never ? object : StaticProperties<Stack, Direction, Context, Properties, Properties>> = Result;
 /** Represents an Object type. */
 export interface TObject<Properties extends TProperties = TProperties> extends TSchema {
     '~kind': 'Object';

package/build/type/types/promise.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticPromise<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = Promise<StaticType<Direction, Context, This, Type>>> = Result;
+export type StaticPromise<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result = Promise<StaticType<Stack, Direction, Context, This, Type>>> = Result;
 /** Represents a Promise type. */
 export interface TPromise<Type extends TSchema = TSchema> extends TSchema {
     '~kind': 'Promise';

package/build/type/types/properties.d.mts

@@ -14,10 +14,10 @@ type OptionalKeys<Properties extends TProperties, Result extends PropertyKey = {
 }[keyof Properties]> = Result;
 type RequiredKeys<Properties extends TProperties, Result extends PropertyKey = keyof Omit<Properties, ReadonlyOptionalKeys<Properties> | ReadonlyKeys<Properties> | OptionalKeys<Properties>>> = Result;
 type StaticPropertiesWithModifiers<Properties extends TProperties, PropertiesWithoutModifiers extends Record<PropertyKey, unknown>> = StaticEvaluate<Readonly<Partial<Pick<PropertiesWithoutModifiers, ReadonlyOptionalKeys<Properties>>>> & Readonly<Pick<PropertiesWithoutModifiers, ReadonlyKeys<Properties>>> & Partial<Pick<PropertiesWithoutModifiers, OptionalKeys<Properties>>> & Required<Pick<PropertiesWithoutModifiers, RequiredKeys<Properties>>>>;
-type StaticPropertiesWithoutModifiers<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, Result extends Record<PropertyKey, unknown> = {
-    [Key in keyof Properties]: StaticType<Direction, Context, This, Properties[Key]>;
+type StaticPropertiesWithoutModifiers<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, Result extends Record<PropertyKey, unknown> = {
+    [Key in keyof Properties]: StaticType<Stack, Direction, Context, This, Properties[Key]>;
 }> = Result;
-export type StaticProperties<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, PropertiesWithoutModifiers extends Record<PropertyKey, unknown> = StaticPropertiesWithoutModifiers<Direction, Context, This, Properties>, PropertiesWithModifiers extends Record<PropertyKey, unknown> = StaticPropertiesWithModifiers<Properties, PropertiesWithoutModifiers>, Result extends Record<PropertyKey, unknown> = {
+export type StaticProperties<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, PropertiesWithoutModifiers extends Record<PropertyKey, unknown> = StaticPropertiesWithoutModifiers<Stack, Direction, Context, This, Properties>, PropertiesWithModifiers extends Record<PropertyKey, unknown> = StaticPropertiesWithModifiers<Properties, PropertiesWithoutModifiers>, Result extends Record<PropertyKey, unknown> = {
     [Key in keyof PropertiesWithModifiers]: PropertiesWithModifiers[Key];
 }> = Result;
 /** Represents a Record<PropertyKey, TSchema> structure. */

package/build/type/types/record.d.mts

@@ -6,7 +6,7 @@ import { type TNumber } from './number.mjs';
 import { type TString } from './string.mjs';
 import { type TDeferred } from './deferred.mjs';
 import { type TInstantiate } from '../engine/instantiate.mjs';
-export type StaticRecord<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Key extends string, Value extends TSchema, StaticValue extends unknown = StaticType<Direction, Context, This, Value>, Result extends Record<PropertyKey, unknown> = (Key extends TStringKey ? Record<string, StaticValue> : Key extends TIntegerKey ? Record<number, StaticValue> : Key extends TNumberKey ? Record<number, StaticValue> : Record<string, StaticValue>)> = Result;
+export type StaticRecord<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Key extends string, Value extends TSchema, StaticValue extends unknown = StaticType<Stack, Direction, Context, This, Value>, Result extends Record<PropertyKey, unknown> = (Key extends TStringKey ? Record<string, StaticValue> : Key extends TIntegerKey ? Record<number, StaticValue> : Key extends TNumberKey ? Record<number, StaticValue> : Record<string, StaticValue>)> = Result;
 export type TStringKey = typeof StringKey;
 export type TIntegerKey = typeof IntegerKey;
 export type TNumberKey = typeof NumberKey;

package/build/type/types/ref.d.mts

@@ -1,7 +1,12 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticRef<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Ref extends string, Result extends unknown = Ref extends keyof Context ? StaticType<Direction, Context, This, Context[Ref]> : unknown> = Result;
+import { type TObject } from './object.mjs';
+import { type TUnknown } from './unknown.mjs';
+type CyclicStackLength<Stack extends unknown[], MaxLength extends number, Buffer extends unknown[] = []> = (Stack extends [infer Left, ...infer Right] ? Buffer['length'] extends MaxLength ? false : CyclicStackLength<Right, MaxLength, [...Buffer, Left]> : true);
+type CyclicGuard<Stack extends unknown[], Ref extends string> = (Ref extends Stack[number] ? CyclicStackLength<Stack, 2> : true);
+type StaticGuardedRef<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Ref extends string, Type extends TSchema> = (CyclicGuard<Stack, Ref> extends true ? StaticType<[...Stack, Ref], Direction, Context, This, Type> : any);
+export type StaticRef<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Ref extends string, Target extends TSchema = Ref extends keyof Context ? Context[Ref] : TUnknown, Result extends unknown = Target extends TObject ? StaticType<[], Direction, Context, This, Target> : StaticGuardedRef<Stack, Direction, Context, This, Ref, Target>> = Result;
 /** Represents a type reference. */
 export interface TRef<Ref extends string = string> extends TSchema {
     '~kind': 'Ref';
@@ -11,3 +16,4 @@ export interface TRef<Ref extends string = string> extends TSchema {
 export declare function Ref<Ref extends string>(ref: Ref, options?: TSchemaOptions): TRef<Ref>;
 /** Returns true if the given value is TRef. */
 export declare function IsRef(value: unknown): value is TRef;
+export {};

package/build/type/types/static.d.mts

@@ -36,12 +36,12 @@ export type StaticEvaluate<T> = {
     [K in keyof T]: T[K];
 } & {};
 export type StaticDirection = 'Encode' | 'Decode';
-export type StaticType<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema> = (Type extends TCodec<infer Type extends TSchema, infer Decoded extends unknown> ? StaticCodec<Direction, Context, This, Type, Decoded> : Type extends TAny ? StaticAny : Type extends TArray<infer Type extends TSchema> ? StaticArray<Direction, Context, This, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? StaticAsyncIterator<Direction, Context, This, Type> : Type extends TBigInt ? StaticBigInt : Type extends TBoolean ? StaticBoolean : Type extends TConstructor<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticConstructor<Direction, Context, This, Parameters, ReturnType> : Type extends TEnum<infer Values extends TEnumValue[]> ? StaticEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticFunction<Direction, Context, This, Parameters, ReturnType> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<Direction, Context, This, Types> : Type extends TIterator<infer Types extends TSchema> ? StaticIterator<Direction, Context, This, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? StaticLiteral<Value> : Type extends TNever ? StaticNever : Type extends TNull ? StaticNull : Type extends TNumber ? StaticNumber : Type extends TObject<infer Properties extends TProperties> ? StaticObject<Direction, Context, This, Properties> : Type extends TPromise<infer Type extends TSchema> ? StaticPromise<Direction, Context, This, Type> : Type extends TRecord<infer Key extends string, infer Value extends TSchema> ? StaticRecord<Direction, Context, This, Key, Value> : Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? StaticCyclic<Direction, Context, This, Defs, Ref> : Type extends TRef<infer Ref extends string> ? StaticRef<Direction, Context, This, Ref> : Type extends TString ? StaticString : Type extends TSymbol ? StaticSymbol : Type extends TTemplateLiteral<infer Pattern extends string> ? StaticTemplateLiteral<Pattern> : Type extends TThis ? StaticThis<Direction, Context, This> : Type extends TTuple<infer Types extends TSchema[]> ? StaticTuple<Direction, Context, This, Types> : Type extends TUndefined ? StaticUndefined : Type extends TUnion<infer Types extends TSchema[]> ? StaticUnion<Direction, Context, This, Types> : Type extends TUnknown ? StaticUnknown : Type extends TUnsafe<infer Type extends unknown> ? StaticUnsafe<Type> : Type extends TVoid ? StaticVoid : XStatic<Type>);
+export type StaticType<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema> = (Type extends TCodec<infer Type extends TSchema, infer Decoded extends unknown> ? StaticCodec<Stack, Direction, Context, This, Type, Decoded> : Type extends TAny ? StaticAny : Type extends TArray<infer Type extends TSchema> ? StaticArray<Stack, Direction, Context, This, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? StaticAsyncIterator<Stack, Direction, Context, This, Type> : Type extends TBigInt ? StaticBigInt : Type extends TBoolean ? StaticBoolean : Type extends TConstructor<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticConstructor<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TEnum<infer Values extends TEnumValue[]> ? StaticEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticFunction<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<Stack, Direction, Context, This, Types> : Type extends TIterator<infer Types extends TSchema> ? StaticIterator<Stack, Direction, Context, This, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? StaticLiteral<Value> : Type extends TNever ? StaticNever : Type extends TNull ? StaticNull : Type extends TNumber ? StaticNumber : Type extends TObject<infer Properties extends TProperties> ? StaticObject<Stack, Direction, Context, This, Properties> : Type extends TPromise<infer Type extends TSchema> ? StaticPromise<Stack, Direction, Context, This, Type> : Type extends TRecord<infer Key extends string, infer Value extends TSchema> ? StaticRecord<Stack, Direction, Context, This, Key, Value> : Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? StaticCyclic<Stack, Direction, Context, This, Defs, Ref> : Type extends TRef<infer Ref extends string> ? StaticRef<Stack, Direction, Context, This, Ref> : Type extends TString ? StaticString : Type extends TSymbol ? StaticSymbol : Type extends TTemplateLiteral<infer Pattern extends string> ? StaticTemplateLiteral<Pattern> : Type extends TThis ? StaticThis<Stack, Direction, Context, This> : Type extends TTuple<infer Types extends TSchema[]> ? StaticTuple<Stack, Direction, Context, This, Types> : Type extends TUndefined ? StaticUndefined : Type extends TUnion<infer Types extends TSchema[]> ? StaticUnion<Stack, Direction, Context, This, Types> : Type extends TUnknown ? StaticUnknown : Type extends TUnsafe<infer Type extends unknown> ? StaticUnsafe<Type> : Type extends TVoid ? StaticVoid : XStatic<Type>);
 /** Infers a static type from a TypeBox type using Parse logic. */
-export type StaticParse<Type extends TSchema, Context extends TProperties = {}> = StaticType<'Decode', Context, {}, Type>;
+export type StaticParse<Type extends TSchema, Context extends TProperties = {}> = StaticType<[], 'Decode', Context, {}, Type>;
 /** Infers a static type from a TypeBox type using Decode logic. */
-export type StaticDecode<Type extends TSchema, Context extends TProperties = {}> = StaticType<'Decode', Context, {}, Type>;
+export type StaticDecode<Type extends TSchema, Context extends TProperties = {}> = StaticType<[], 'Decode', Context, {}, Type>;
 /** Infers a static type from a TypeBox type using Encode logic. */
-export type StaticEncode<Type extends TSchema, Context extends TProperties = {}> = StaticType<'Encode', Context, {}, Type>;
+export type StaticEncode<Type extends TSchema, Context extends TProperties = {}> = StaticType<[], 'Encode', Context, {}, Type>;
 /** Infers a static type from a TypeBox type. */
-export type Static<Type extends TSchema, Context extends TProperties = {}> = StaticType<'Encode', Context, {}, Type>;
+export type Static<Type extends TSchema, Context extends TProperties = {}> = StaticType<[], 'Encode', Context, {}, Type>;

package/build/type/types/this.d.mts

@@ -2,7 +2,7 @@ import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TObject } from './object.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticThis<Direction extends StaticDirection, Context extends TProperties, This extends TProperties> = (StaticType<Direction, Context, This, TObject<This>>);
+export type StaticThis<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties> = (StaticType<Stack, Direction, Context, This, TObject<This>>);
 /** Represents a This type. */
 export interface TThis extends TSchema {
     '~kind': 'This';

package/build/type/types/tuple.d.mts

@@ -5,8 +5,8 @@ import { type TOptional } from './_optional.mjs';
 import { type TProperties } from './properties.mjs';
 import { type TReadonly } from './_readonly.mjs';
 import { type TRest } from './rest.mjs';
-type StaticLast<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result extends unknown[]> = (Type extends TRest<infer RestType extends TSchema> ? RestType extends TArray<infer ArrayType extends TSchema> ? [...Result, ...TStaticElement<Direction, Context, This, ArrayType>[0][]] : [...Result, never] : [...Result, ...TStaticElement<Direction, Context, This, Type>]);
-type TStaticElement<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, IsReadonly extends boolean = Type extends TReadonly ? true : false, IsOptional extends boolean = Type extends TOptional ? true : false, Inferred extends unknown = StaticType<Direction, Context, This, Type>, Result extends [unknown?] = ([
+type StaticLast<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, Result extends unknown[]> = (Type extends TRest<infer RestType extends TSchema> ? RestType extends TArray<infer ArrayType extends TSchema> ? [...Result, ...TStaticElement<Stack, Direction, Context, This, ArrayType>[0][]] : [...Result, never] : [...Result, ...TStaticElement<Stack, Direction, Context, This, Type>]);
+type TStaticElement<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, IsReadonly extends boolean = Type extends TReadonly ? true : false, IsOptional extends boolean = Type extends TOptional ? true : false, Inferred extends unknown = StaticType<Stack, Direction, Context, This, Type>, Result extends [unknown?] = ([
     IsReadonly,
     IsOptional
 ] extends [true, true] ? [Readonly<Inferred>?] : [
@@ -18,8 +18,8 @@ type TStaticElement<Direction extends StaticDirection, Context extends TProperti
 ] extends [true, false] ? [Readonly<Inferred>] : [
     Inferred
 ])> = Result;
-export type TStaticElements<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown[] = []> = (Types extends [infer Last extends TSchema] ? StaticLast<Direction, Context, This, Last, Result> : Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TStaticElements<Direction, Context, This, Right, [...Result, ...TStaticElement<Direction, Context, This, Left>]> : Result);
-export type StaticTuple<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Elements extends unknown[] = TStaticElements<Direction, Context, This, Types>, Result extends unknown[] = Elements> = Result;
+export type TStaticElements<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown[] = []> = (Types extends [infer Last extends TSchema] ? StaticLast<Stack, Direction, Context, This, Last, Result> : Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TStaticElements<Stack, Direction, Context, This, Right, [...Result, ...TStaticElement<Stack, Direction, Context, This, Left>]> : Result);
+export type StaticTuple<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Elements extends unknown[] = TStaticElements<Stack, Direction, Context, This, Types>, Result extends unknown[] = Elements> = Result;
 /** Represents a Tuple type. */
 export interface TTuple<Types extends TSchema[] = TSchema[]> extends TSchema {
     '~kind': 'Tuple';

package/build/type/types/union.d.mts

@@ -1,7 +1,7 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-export type StaticUnion<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = never> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? StaticUnion<Direction, Context, This, Right, Result | StaticType<Direction, Context, This, Left>> : Result);
+export type StaticUnion<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = never> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? StaticUnion<Stack, Direction, Context, This, Right, Result | StaticType<Stack, Direction, Context, This, Left>> : Result);
 /** Represents a logical Union type. */
 export interface TUnion<Types extends TSchema[] = TSchema[]> extends TSchema {
     '~kind': 'Union';

package/build/value/assert/assert.d.mts

@@ -1,5 +1,10 @@
 import type { Static, TProperties, TSchema } from '../../type/index.mjs';
 export declare class AssertError extends Error {
+    readonly cause: {
+        source: string;
+        errors: object[];
+        value: unknown;
+    };
     constructor(source: string, value: unknown, errors: object[]);
 }
 /** Asserts the a value matches the given type. This function returns a TypeScript type asserts predicate and will throw AssertError if value does not match. */

package/build/value/clone/clone.mjs

@@ -26,6 +26,7 @@ function FromObjectInstance(value) {
     }
     return result;
 }
+Object.create({});
 // ------------------------------------------------------------------
 // Object
 // ------------------------------------------------------------------

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "A Runtime Type System for JavaScript",
-  "version": "1.0.14",
+  "version": "1.0.16",
   "keywords": [
     "typescript",
     "jsonschema"