Version 1.0.16 (#1358)

sinclairzx81 · web-flow · commit 1cb7e2fd317f · 2025-09-25T20:06:23.000+09:00
* Inference Stack

* ChangeLog

* Version

* Reduce Stack Limit to 2
diff --git a/changelog/1.0.0.md b/changelog/1.0.0.md
@@ -3,6 +3,8 @@
 ---
 
 ### Version Updates
+- [Revision 1.0.16](https://github.com/sinclairzx81/typebox/pull/1358)
+  - Inference Ref Stack | Cyclic Inference Termination
 - [Revision 1.0.15](https://github.com/sinclairzx81/typebox/pull/1346)
   - Specify Types for AssertError Cause Properties
 - [Revision 1.0.14](https://github.com/sinclairzx81/typebox/pull/1349)
diff --git a/src/type/types/_codec.ts b/src/type/types/_codec.ts
@@ -35,14 +35,14 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-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 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>
 
 // ------------------------------------------------------------------
 // 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 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>
diff --git a/src/type/types/array.ts b/src/type/types/array.ts
@@ -36,8 +36,8 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-export type StaticArray<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema,
-  Result = StaticType<Direction, Context, This, Type>[]
+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
 // ------------------------------------------------------------------
 // Type
diff --git a/src/type/types/async-iterator.ts b/src/type/types/async-iterator.ts
@@ -36,8 +36,8 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-export type StaticAsyncIterator<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, 
-  Result = AsyncIterableIterator<StaticType<Direction, Context, This, Type>>
+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
 // ------------------------------------------------------------------
 // Type
diff --git a/src/type/types/constructor.ts b/src/type/types/constructor.ts
@@ -37,9 +37,9 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-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>,
+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
 // ------------------------------------------------------------------
diff --git a/src/type/types/cyclic.ts b/src/type/types/cyclic.ts
@@ -37,10 +37,12 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-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
+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
 // ------------------------------------------------------------------
 // Type
diff --git a/src/type/types/function.ts b/src/type/types/function.ts
@@ -44,18 +44,18 @@ import { type TInstantiate } from '../engine/instantiate.ts'
 // performs a deferred Static Instantiate for inference only.
 //
 // ------------------------------------------------------------------
-export type StaticInstantiatedParameters<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], 
+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<Direction, Context, This, Evaluated>,
+  Static extends unknown = StaticType<Stack, Direction, Context, This, Evaluated>,
   Result extends unknown[] = Static extends unknown[] ? Static : []
 > = Result
 
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-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>,
+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
 // ------------------------------------------------------------------
diff --git a/src/type/types/intersect.ts b/src/type/types/intersect.ts
@@ -36,9 +36,9 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-export type StaticIntersect<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Types extends TSchema[], Result extends unknown = unknown> = (
+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<Direction, Context, This, Right, Result & StaticType<Direction, Context, This, Left>>
+    ? StaticIntersect<Stack, Direction, Context, This, Right, Result & StaticType<Stack, Direction, Context, This, Left>>
     : Result
 )
 // ------------------------------------------------------------------
diff --git a/src/type/types/iterator.ts b/src/type/types/iterator.ts
@@ -36,8 +36,8 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-export type StaticIterator<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema,
-  Result = IterableIterator<StaticType<Direction, Context, This, Type>>
+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
 // ------------------------------------------------------------------
 // Type
diff --git a/src/type/types/object.ts b/src/type/types/object.ts
@@ -36,8 +36,8 @@ import { type TProperties, type TRequiredArray, type StaticProperties, RequiredA
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-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>
+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
 // ------------------------------------------------------------------
 // Schema
diff --git a/src/type/types/promise.ts b/src/type/types/promise.ts
@@ -36,8 +36,8 @@ import { type TProperties } from './properties.ts'
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
-export type StaticPromise<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema, 
-  Result = Promise<StaticType<Direction, Context, This, Type>>
+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
 // ------------------------------------------------------------------
 // Type
diff --git a/src/type/types/properties.ts b/src/type/types/properties.ts
@@ -53,15 +53,15 @@ type StaticPropertiesWithModifiers<Properties extends TProperties, PropertiesWit
 // ----------------------------------------------------------------------------
 // StaticPropertiesWithoutModifiers
 // ----------------------------------------------------------------------------
-type StaticPropertiesWithoutModifiers<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Properties extends TProperties, 
+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<Direction, Context, This, Properties[Key]> 
+    [Key in keyof Properties]: StaticType<Stack, Direction, Context, This, Properties[Key]> 
   }> = Result
 // ----------------------------------------------------------------------------
 // StaticProperties
 // ----------------------------------------------------------------------------
-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>,
+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
diff --git a/src/type/types/record.ts b/src/type/types/record.ts
@@ -47,8 +47,8 @@ import { CreateRecord } from '../engine/record/record-create.ts'
 // -------------------------------------------------------------------
 // Static
 // -------------------------------------------------------------------
-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>,
+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> :
diff --git a/src/type/types/ref.ts b/src/type/types/ref.ts
@@ -32,13 +32,62 @@ import { Memory } from '../../system/memory/index.ts'
 import { type StaticType, type StaticDirection } from './static.ts'
 import { type TSchema, type TSchemaOptions, IsKind } from './schema.ts'
 import { type TProperties } from './properties.ts'
+import { type TObject } from './object.ts'
+import { type TUnknown } from './unknown.ts'
 
 // ------------------------------------------------------------------
-// Static
+//
+// CyclicGuard
+//
+// This Guard checks if a given Ref already exists in the Stack,
+// indicating recursion. If recursion is found, it ensures the Stack
+// length remains below a safe threshold. 
+//
+// The purpose is to allow recursive types to instantiate up to a
+// reasonable depth (for user feedback) while preventing unbounded
+// recursion. 
+//
+// Note: This Guard is only needed for non-Object types, since
+// TypeScript automatically defers inference for referential
+// mapped property types.
+//
 // ------------------------------------------------------------------
-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
+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
+)
+
+// ------------------------------------------------------------------
+// StaticRef
+//
+// The inference Stack is appended only when encountering a Ref. If the
+// referenced target is a TObject, the Stack is reset, and TypeScript's
+// built-in inference deferral for referential property types applies.
+//
+// In all other cases, the Ref is pushed onto the Stack and checked
+// with CyclicGuard to ensure recursion is terminated based on the
+// CyclicGuard heuristic. Terminated recursion defaults to Any as an
+// approximation of the expansive type.
+//
+// ------------------------------------------------------------------
+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<[/* Reset */], Direction, Context, This, Target>
+    : StaticGuardedRef<Stack, Direction, Context, This, Ref, Target>
 > = Result
+
 // ------------------------------------------------------------------
 // Type
 // ------------------------------------------------------------------
diff --git a/src/type/types/static.ts b/src/type/types/static.ts
diff --git a/src/type/types/this.ts b/src/type/types/this.ts
diff --git a/src/type/types/tuple.ts b/src/type/types/tuple.ts
diff --git a/src/type/types/union.ts b/src/type/types/union.ts
diff --git a/src/value/clone/clone.ts b/src/value/clone/clone.ts
diff --git a/tasks.ts b/tasks.ts
diff --git a/test/typebox/static/type/cyclic.ts b/test/typebox/static/type/cyclic.ts
