@m1212e/rumble 0.23.14 → 0.23.17

package/out/index.d.mts

@@ -11,8 +11,8 @@ import SchemaBuilder from "@pothos/core";
 import { IncomingMessage, RequestListener, ServerResponse } from "node:http";
 import { Http2ServerRequest, Http2ServerResponse } from "node:http2";
 import { Socket } from "node:net";
+import { useSofa } from "@m1212e/sofa-api";
 import { ServerOptions } from "graphql-ws";
-import { useSofa } from "sofa-api";
 
 //#region lib/helpers/asserts.d.ts
 /**
@@ -398,7 +398,7 @@ type UnionToTuple<Union, Tuple extends unknown[] = []> = [Union] extends [never]
 type Split$2<Str, Sep extends string, Acc extends string[] = []> = Str extends "" ? Acc : Str extends `${infer T}${Sep}${infer U}` ? Split$2<U, Sep, [...Acc, T]> : [...Acc, Str];
 type Stringifiable = string | number | boolean | bigint | null | undefined;
 type Primitive$1 = string | number | boolean | bigint | null | undefined | symbol;
-type Head<xs> = xs extends [infer first, ...any] ? first : never;
+type Head$1<xs> = xs extends [infer first, ...any] ? first : never;
 //#endregion
 //#region node_modules/hotscript/dist/internals/core/impl/MergeArgs.d.ts
 type ExcludePlaceholders<xs, output extends any[] = []> = xs extends [infer first, ...infer rest] ? Equal$1<first, _> extends true ? ExcludePlaceholders<rest, output> : ExcludePlaceholders<rest, [...output, first]> : output;
@@ -518,7 +518,7 @@ type Pipe<acc, xs extends Fn[]> = xs extends [infer first extends Fn, ...infer r
 interface ComposeLeft<fns extends Fn[]> extends Fn {
   return: ComposeLeftImpl<fns, this["args"]>;
 }
-type ComposeLeftImpl<fns extends Fn[], args extends any[]> = fns extends [infer first extends Fn, ...infer rest extends Fn[]] ? ComposeLeftImpl<rest, [Apply<first, args>]> : Head<args>;
+type ComposeLeftImpl<fns extends Fn[], args extends any[]> = fns extends [infer first extends Fn, ...infer rest extends Fn[]] ? ComposeLeftImpl<rest, [Apply<first, args>]> : Head$1<args>;
 /**
  * `PartialApply` Pre applies some arguments to a function.
  * it takes a `Fn`, and a list of pre applied arguments,
@@ -2884,7 +2884,7 @@ declare type Or<BOOL_A extends boolean, BOOL_B extends boolean> = BOOL_A extends
 declare type Prettify<TYPE> = IsObject<TYPE> extends true ? { [KEY in keyof TYPE]: KEY extends keyof TYPE ? TYPE[KEY] : never } : TYPE;
 //#endregion
 //#region node_modules/ts-algebra/lib/utils/tail.d.ts
-declare type Tail$1<ARRAY extends unknown[]> = ARRAY extends readonly [] ? ARRAY : ARRAY extends readonly [unknown?, ...infer TAIL] ? TAIL : ARRAY;
+declare type Tail$2<ARRAY extends unknown[]> = ARRAY extends readonly [] ? ARRAY : ARRAY extends readonly [unknown?, ...infer TAIL] ? TAIL : ARRAY;
 //#endregion
 //#region node_modules/ts-algebra/lib/utils/unionLast.d.ts
 declare type UnionLast<UNION> = IntersectUnion$1<UNION extends unknown ? (x: UNION) => void : never> extends ((x: infer LAST) => void) ? LAST : never;
@@ -3237,7 +3237,7 @@ declare type ExcludeTuples<META_TUPLE_A extends TupleType, META_TUPLE_B extends
   none: OmitOmittableExcludedItems<META_TUPLE_A, VALUE_EXCLUSION_RESULTS>;
 }[And$1<IsTupleOpen<META_TUPLE_A>, IS_OPEN_PROPS_EXCLUSION_REPRESENTABLE> extends true ? "moreThanTwo" : GetTupleLength<REPRESENTABLE_VALUE_EXCLUSION_RESULTS>], META_TUPLE_A>;
 declare type ExcludeTupleValues<META_TUPLE_A_VALUES extends Type[], META_TUPLE_B_VALUES extends Type[], IS_META_TUPLE_A_OPEN extends boolean, IS_META_TUPLE_B_OPEN extends boolean, META_TUPLE_A_OPEN_PROPS extends Type, META_TUPLE_B_OPEN_PROPS extends Type, VALUE_EXCLUSION_RESULTS extends ValueExclusionResultType[] = []> = META_TUPLE_A_VALUES extends [infer META_TUPLE_A_VALUES_HEAD, ...infer META_TUPLE_A_VALUES_TAIL] ? META_TUPLE_A_VALUES_HEAD extends Type ? META_TUPLE_A_VALUES_TAIL extends Type[] ? META_TUPLE_B_VALUES extends [infer META_TUPLE_B_VALUES_HEAD, ...infer META_TUPLE_B_VALUES_TAIL] ? META_TUPLE_B_VALUES_HEAD extends Type ? META_TUPLE_B_VALUES_TAIL extends Type[] ? ExcludeTupleValues<META_TUPLE_A_VALUES_TAIL, META_TUPLE_B_VALUES_TAIL, IS_META_TUPLE_A_OPEN, IS_META_TUPLE_B_OPEN, META_TUPLE_A_OPEN_PROPS, META_TUPLE_B_OPEN_PROPS, [...VALUE_EXCLUSION_RESULTS, ValueExclusionResult<META_TUPLE_A_VALUES_HEAD, true, true, META_TUPLE_B_VALUES_HEAD, true, true>]> : never : never : ExcludeTupleValues<META_TUPLE_A_VALUES_TAIL, [], IS_META_TUPLE_A_OPEN, IS_META_TUPLE_B_OPEN, META_TUPLE_A_OPEN_PROPS, META_TUPLE_B_OPEN_PROPS, [...VALUE_EXCLUSION_RESULTS, ValueExclusionResult<META_TUPLE_A_VALUES_HEAD, true, true, META_TUPLE_B_OPEN_PROPS, IS_META_TUPLE_B_OPEN, false>]> : never : never : META_TUPLE_B_VALUES extends [infer META_TUPLE_B_VALUES_HEAD, ...infer META_TUPLE_B_VALUES_TAIL] ? META_TUPLE_B_VALUES_HEAD extends Type ? META_TUPLE_B_VALUES_TAIL extends Type[] ? ExcludeTupleValues<[], META_TUPLE_B_VALUES_TAIL, IS_META_TUPLE_A_OPEN, IS_META_TUPLE_B_OPEN, META_TUPLE_A_OPEN_PROPS, META_TUPLE_B_OPEN_PROPS, [...VALUE_EXCLUSION_RESULTS, ValueExclusionResult<META_TUPLE_A_OPEN_PROPS, IS_META_TUPLE_A_OPEN, false, META_TUPLE_B_VALUES_HEAD, true, true>]> : never : never : VALUE_EXCLUSION_RESULTS;
-declare type GetTupleLength<ANY_TUPLE extends unknown[], TAIL extends unknown[] = Tail$1<ANY_TUPLE>> = If<DoesExtend$1<ANY_TUPLE, []>, "none", If<DoesExtend$1<TAIL, []>, "onlyOne", "moreThanTwo">>;
+declare type GetTupleLength<ANY_TUPLE extends unknown[], TAIL extends unknown[] = Tail$2<ANY_TUPLE>> = If<DoesExtend$1<ANY_TUPLE, []>, "none", If<DoesExtend$1<TAIL, []>, "onlyOne", "moreThanTwo">>;
 declare type DoesTupleSizesMatch<META_TUPLE_A extends TupleType, META_TUPLE_B extends TupleType, VALUE_EXCLUSION_RESULTS extends ValueExclusionResultType[]> = If<And$1<IsTupleOpen<META_TUPLE_A>, Not$1<IsTupleOpen<META_TUPLE_B>>>, false, And$1<IsExcludedSmallEnough<VALUE_EXCLUSION_RESULTS>, IsExcludedBigEnough<VALUE_EXCLUSION_RESULTS>>>;
 declare type IsExcludedSmallEnough<VALUE_EXCLUSION_RESULTS extends ValueExclusionResultType[]> = VALUE_EXCLUSION_RESULTS extends [infer VALUE_EXCLUSION_RESULTS_HEAD, ...infer VALUE_EXCLUSION_RESULTS_TAIL] ? VALUE_EXCLUSION_RESULTS_HEAD extends ValueExclusionResultType ? VALUE_EXCLUSION_RESULTS_TAIL extends ValueExclusionResultType[] ? If<IsOutsideOfSourceScope<VALUE_EXCLUSION_RESULTS_HEAD>, false, IsExcludedSmallEnough<VALUE_EXCLUSION_RESULTS_TAIL>> : never : never : true;
 declare type IsExcludedBigEnough<VALUE_EXCLUSION_RESULTS extends ValueExclusionResultType[]> = VALUE_EXCLUSION_RESULTS extends [infer VALUE_EXCLUSION_RESULTS_HEAD, ...infer VALUE_EXCLUSION_RESULTS_TAIL] ? VALUE_EXCLUSION_RESULTS_HEAD extends ValueExclusionResultType ? VALUE_EXCLUSION_RESULTS_TAIL extends ValueExclusionResultType[] ? If<IsOutsideOfExcludedScope<VALUE_EXCLUSION_RESULTS_HEAD>, false, IsExcludedBigEnough<VALUE_EXCLUSION_RESULTS_TAIL>> : never : never : true;
@@ -3368,7 +3368,7 @@ type RecursiveSplit<STRING extends string, SEPARATOR extends string = ""> = STRI
 type Split<STRING extends string, SEPARATOR extends string = "", RESULT extends string[] = RecursiveSplit<STRING, SEPARATOR>> = SEPARATOR extends "" ? Pop<RESULT> : RESULT;
 //#endregion
 //#region node_modules/json-schema-to-ts/lib/types/type-utils/tail.d.ts
-type Tail<ARRAY extends unknown[]> = ARRAY extends readonly [] ? ARRAY : ARRAY extends readonly [unknown?, ...infer ARRAY_TAIL] ? ARRAY_TAIL : ARRAY;
+type Tail$1<ARRAY extends unknown[]> = ARRAY extends readonly [] ? ARRAY : ARRAY extends readonly [unknown?, ...infer ARRAY_TAIL] ? ARRAY_TAIL : ARRAY;
 //#endregion
 //#region node_modules/json-schema-to-ts/lib/types/type-utils/writable.d.ts
 type Writable<TYPE> = TYPE extends ((...args: unknown[]) => unknown) | Date | RegExp ? TYPE : TYPE extends ReadonlyMap<infer KEYS, infer VALUES> ? Map<Writable<KEYS>, Writable<VALUES>> : TYPE extends ReadonlySet<infer VALUES> ? Set<Writable<VALUES>> : TYPE extends ReadonlyArray<unknown> ? `${bigint}` extends `${keyof TYPE & any}` ? { -readonly [KEY in keyof TYPE]: Writable<TYPE[KEY]> } : Writable<TYPE[number]>[] : TYPE extends object ? { -readonly [KEY in keyof TYPE]: Writable<TYPE[KEY]> } : TYPE;
@@ -3468,7 +3468,7 @@ type ParseOneOfSchema<ONE_OF_SCHEMA extends OneOfSchema, OPTIONS extends ParseSc
 type RecurseOnOneOfSchema<SUB_SCHEMAS extends readonly JSONSchema$1[], ROOT_ONE_OF_SCHEMA extends OneOfSchema, OPTIONS extends ParseSchemaOptions, RESULT = never> = SUB_SCHEMAS extends readonly [infer SUB_SCHEMAS_HEAD, ...infer SUB_SCHEMAS_TAIL] ? SUB_SCHEMAS_HEAD extends JSONSchema$1 ? SUB_SCHEMAS_TAIL extends readonly JSONSchema$1[] ? RecurseOnOneOfSchema<SUB_SCHEMAS_TAIL, ROOT_ONE_OF_SCHEMA, OPTIONS, RESULT | $Intersect<ParseSchema<Omit<ROOT_ONE_OF_SCHEMA, "oneOf">, OPTIONS>, ParseSchema<MergeSubSchema<Omit<ROOT_ONE_OF_SCHEMA, "oneOf">, SUB_SCHEMAS_HEAD>, OPTIONS>>> : never : never : RESULT;
 //#endregion
 //#region node_modules/json-schema-to-ts/lib/types/parse-schema/references/utils.d.ts
-type ParseReference<SCHEMA extends JSONSchema$1, OPTIONS extends ParseSchemaOptions, REFERENCE_SOURCE extends JSONSchema$1, PATH_IN_SOURCE extends string | undefined, MATCHING_REFERENCE extends JSONSchema$1 = (PATH_IN_SOURCE extends string ? DeepGet<REFERENCE_SOURCE, Tail<Split<PATH_IN_SOURCE, "/">>, false> : REFERENCE_SOURCE)> = $Intersect<ParseSchema<MATCHING_REFERENCE, OPTIONS>, ParseSchema<MergeSubSchema<MATCHING_REFERENCE, SCHEMA>, OPTIONS>>;
+type ParseReference<SCHEMA extends JSONSchema$1, OPTIONS extends ParseSchemaOptions, REFERENCE_SOURCE extends JSONSchema$1, PATH_IN_SOURCE extends string | undefined, MATCHING_REFERENCE extends JSONSchema$1 = (PATH_IN_SOURCE extends string ? DeepGet<REFERENCE_SOURCE, Tail$1<Split<PATH_IN_SOURCE, "/">>, false> : REFERENCE_SOURCE)> = $Intersect<ParseSchema<MATCHING_REFERENCE, OPTIONS>, ParseSchema<MergeSubSchema<MATCHING_REFERENCE, SCHEMA>, OPTIONS>>;
 //#endregion
 //#region node_modules/json-schema-to-ts/lib/types/parse-schema/references/external.d.ts
 type ParseExternalReferenceSchema<REF_SCHEMA extends ReferencingSchema, OPTIONS extends ParseSchemaOptions, EXTERNAL_REFERENCE_ID extends string, SUB_PATH extends string | undefined> = OPTIONS["references"] extends { [KEY in EXTERNAL_REFERENCE_ID]: JSONSchema$1 } ? ParseReference<Omit<REF_SCHEMA, "$ref">, OPTIONS, OPTIONS["references"][EXTERNAL_REFERENCE_ID], SUB_PATH> : OPTIONS extends {
@@ -3513,9 +3513,9 @@ type ApplyMinMaxAndAdditionalItems<PARSED_ITEM_SCHEMAS extends any[], ROOT_SCHEM
   additionalItems: JSONSchema$1;
 }> ? ROOT_SCHEMA["additionalItems"] : true, OPTIONS>;
 type ApplyMinMax<RECURSED_PARSED_ITEM_SCHEMAS extends any[], MIN extends number, MAX extends number | undefined, RESULT = never, HAS_ENCOUNTERED_MIN extends boolean = false, HAS_ENCOUNTERED_MAX extends boolean = false, INITIAL_PARSED_ITEM_SCHEMAS extends any[] = RECURSED_PARSED_ITEM_SCHEMAS> = And<Not<DoesExtend<MIN, RECURSED_PARSED_ITEM_SCHEMAS["length"]>>, DoesExtend<RECURSED_PARSED_ITEM_SCHEMAS, [any, ...any[]]>> extends true ? RECURSED_PARSED_ITEM_SCHEMAS extends [...infer RECURSED_PARSED_ITEM_SCHEMAS_BODY, unknown] ? ApplyMinMax<RECURSED_PARSED_ITEM_SCHEMAS_BODY, MIN, MAX, RECURSED_PARSED_ITEM_SCHEMAS["length"] extends MAX ? $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS>, HAS_ENCOUNTERED_MIN extends true ? true : DoesExtend<MIN, RECURSED_PARSED_ITEM_SCHEMAS["length"]>, HAS_ENCOUNTERED_MAX extends true ? true : DoesExtend<MAX, RECURSED_PARSED_ITEM_SCHEMAS["length"]>, INITIAL_PARSED_ITEM_SCHEMAS> : never : {
-  result: MAX extends undefined ? RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : HAS_ENCOUNTERED_MAX extends true ? RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : MAX extends RECURSED_PARSED_ITEM_SCHEMAS["length"] ? $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : IsLongerThan<Tail<RECURSED_PARSED_ITEM_SCHEMAS>, MAX> extends true ? never : RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS>;
+  result: MAX extends undefined ? RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : HAS_ENCOUNTERED_MAX extends true ? RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : MAX extends RECURSED_PARSED_ITEM_SCHEMAS["length"] ? $Tuple<RECURSED_PARSED_ITEM_SCHEMAS> : IsLongerThan<Tail$1<RECURSED_PARSED_ITEM_SCHEMAS>, MAX> extends true ? never : RESULT | $Tuple<RECURSED_PARSED_ITEM_SCHEMAS>;
   hasEncounteredMin: DoesExtend<MIN, RECURSED_PARSED_ITEM_SCHEMAS["length"]>;
-  hasEncounteredMax: HAS_ENCOUNTERED_MAX extends true ? true : MAX extends RECURSED_PARSED_ITEM_SCHEMAS["length"] ? true : IsLongerThan<Tail<RECURSED_PARSED_ITEM_SCHEMAS>, MAX>;
+  hasEncounteredMax: HAS_ENCOUNTERED_MAX extends true ? true : MAX extends RECURSED_PARSED_ITEM_SCHEMAS["length"] ? true : IsLongerThan<Tail$1<RECURSED_PARSED_ITEM_SCHEMAS>, MAX>;
   completeTuple: INITIAL_PARSED_ITEM_SCHEMAS;
 };
 type IsLongerThan<TUPLE extends any[], LENGTH extends number | undefined, RESULT extends boolean = false> = LENGTH extends undefined ? false : TUPLE["length"] extends LENGTH ? true : TUPLE extends [any, ...infer TUPLE_TAIL] ? IsLongerThan<TUPLE_TAIL, LENGTH> : RESULT;
@@ -3599,7 +3599,7 @@ type FromSchema$1<SCHEMA extends JSONSchema$1, OPTIONS extends FromSchemaOptions
 type MaybePromise<T> = Promise<T> | T;
 type MaybePromiseLike<T> = PromiseLike<T> | T;
 //#endregion
-//#region node_modules/fets/node_modules/@whatwg-node/server/typings/utils.d.cts
+//#region node_modules/@whatwg-node/server/typings/utils.d.cts
 interface NodeRequest {
   protocol?: string | undefined;
   hostname?: string | undefined;
@@ -3617,7 +3617,7 @@ interface NodeRequest {
 }
 type NodeResponse = ServerResponse | Http2ServerResponse;
 //#endregion
-//#region node_modules/fets/node_modules/@whatwg-node/server/typings/uwebsockets.d.cts
+//#region node_modules/@whatwg-node/server/typings/uwebsockets.d.cts
 interface UWSRequest {
   getMethod(): string;
   forEach(callback: (key: string, value: string) => void): void;
@@ -3638,7 +3638,7 @@ interface UWSResponse {
 }
 type UWSHandler = (res: UWSResponse, req: UWSRequest) => void | Promise<void>;
 //#endregion
-//#region node_modules/fets/node_modules/@whatwg-node/server/typings/types.d.cts
+//#region node_modules/@whatwg-node/server/typings/types.d.cts
 interface FetchEvent extends Event {
   waitUntil(f: MaybePromise<void>): void;
   request: Request;
@@ -4124,10 +4124,107 @@ type PropertyValue<TJSONSchema extends JSONSchema, TProperty extends keyof TJSON
 type ArrayItemValue<TJSONSchema extends JSONSchema> = TJSONSchema extends {
   items: infer TItems extends JSONSchema;
 } ? TItems : never;
+type HasCircularAnyOfRef<T extends JSONSchema> = T extends {
+  properties: Record<string, JSONSchema>;
+} ? true extends { [K in keyof T['properties']]: PropIntroducesCycle<T['properties'][K], T> }[keyof T['properties']] ? true : false : false;
+type PropIntroducesCycle<S, Root> = S extends {
+  anyOf: infer Items extends readonly JSONSchema[];
+} ? TupleIntroducesCycle<Items, Root> : S extends {
+  oneOf: infer Items extends readonly JSONSchema[];
+} ? TupleIntroducesCycle<Items, Root> : S extends {
+  items: infer I extends JSONSchema;
+} ? PropIntroducesCycle<I, Root> : S extends {
+  $id: string;
+} ? false : S extends {
+  properties: infer P extends Record<string, JSONSchema>;
+} ? true extends { [K in keyof P]: PropIntroducesCycle<P[K], Root> }[keyof P] ? true : AdditionalPropertiesCycle<S, Root> : AdditionalPropertiesCycle<S, Root>;
+type AdditionalPropertiesCycle<S, Root> = S extends {
+  additionalProperties: infer AP extends JSONSchema;
+} ? PropIntroducesCycle<AP, Root> : false;
+type TupleIntroducesCycle<Items extends readonly JSONSchema[], Root> = Items extends readonly [infer Head extends JSONSchema, ...infer Tail extends readonly JSONSchema[]] ? MemberIntroducesCycle<Head, Root> extends true ? true : TupleIntroducesCycle<Tail, Root> : false;
+type MemberIntroducesCycle<Item, Root> = Item extends {
+  $id: string;
+} ? [Item] extends [Root] ? true : HasSelfCircularAnyOf<Item> : false;
+type HasSelfCircularAnyOf<T> = T extends {
+  properties: Record<string, JSONSchema>;
+} ? true extends { [K in keyof T['properties']]: DirectSelfAnyOf<T['properties'][K], T> }[keyof T['properties']] ? true : false : false;
+type DirectSelfAnyOf<S, Root> = S extends {
+  anyOf: infer Items extends readonly JSONSchema[];
+} ? TupleHasSelf<Items, Root> : S extends {
+  oneOf: infer Items extends readonly JSONSchema[];
+} ? TupleHasSelf<Items, Root> : S extends {
+  items: infer I extends JSONSchema;
+} ? DirectSelfAnyOf<I, Root> : S extends {
+  $id: string;
+} ? false : S extends {
+  properties: infer P extends Record<string, JSONSchema>;
+} ? true extends { [K in keyof P]: DirectSelfAnyOf<P[K], Root> }[keyof P] ? true : AdditionalPropertiesSelf<S, Root> : AdditionalPropertiesSelf<S, Root>;
+type AdditionalPropertiesSelf<S, Root> = S extends {
+  additionalProperties: infer AP extends JSONSchema;
+} ? DirectSelfAnyOf<AP, Root> : false;
+type TupleHasSelf<Items extends readonly JSONSchema[], Root> = Items extends readonly [infer Head extends JSONSchema, ...infer Tail extends readonly JSONSchema[]] ? [Head] extends [Root] ? true : TupleHasSelf<Tail, Root> : false;
+type DirectType<T extends JSONSchema> = T extends {
+  nullable: true;
+} ? DirectTypeValue<T> | null : DirectTypeValue<T>;
+type DirectTypeValue<T extends JSONSchema> = T extends {
+  static: infer U;
+} ? U : T extends {
+  anyOf: infer Items extends readonly JSONSchema[];
+} ? DirectUnionType<Items> : T extends {
+  oneOf: infer Items extends readonly JSONSchema[];
+} ? DirectUnionType<Items> : T extends {
+  allOf: infer Items extends readonly JSONSchema[];
+} ? DirectIntersectionType<Items> : T extends {
+  type: 'array';
+  items: infer Items extends JSONSchema;
+} ? DirectType<Items>[] : T extends {
+  type: 'string';
+  enum: infer Vals extends readonly string[];
+} ? Vals[number] : T extends {
+  type: 'string';
+  format: 'binary';
+} ? File : T extends {
+  type: 'string';
+} ? string : T extends {
+  type: 'integer' | 'number';
+  format: 'int64';
+} ? number | bigint : T extends {
+  type: 'integer' | 'number';
+} ? number : T extends {
+  type: 'boolean';
+} ? boolean : T extends {
+  type: 'null';
+} ? null : T extends {
+  type: 'object';
+  properties: infer Props extends Record<string, JSONSchema>;
+  required: infer Req extends readonly string[];
+  additionalProperties: infer AP;
+} ? DirectNamedProps<Props, Req> & DirectIndexSignature<AP> : T extends {
+  type: 'object';
+  properties: infer Props extends Record<string, JSONSchema>;
+  additionalProperties: infer AP;
+} ? DirectNamedProps<Props> & DirectIndexSignature<AP> : T extends {
+  type: 'object';
+  properties: infer Props extends Record<string, JSONSchema>;
+  required: infer Req extends readonly string[];
+} ? DirectNamedProps<Props, Req> : T extends {
+  type: 'object';
+  properties: infer Props extends Record<string, JSONSchema>;
+} ? DirectNamedProps<Props> : T extends {
+  type: 'object';
+  additionalProperties: infer AP;
+} ? AP extends false ? Record<string, never> : DirectIndexSignature<AP> : T extends {
+  type: 'object';
+} ? Record<string, unknown> : unknown;
+type DirectNamedProps<Props extends Record<string, JSONSchema>, Req extends readonly string[] | undefined = undefined> = [Req] extends [readonly string[]] ? { [K in Extract<keyof Props, Req[number]>]: DirectType<Props[K]> } & { [K in Exclude<keyof Props, Req[number]>]?: DirectType<Props[K]> } : { [K in keyof Props]?: DirectType<Props[K]> };
+type DirectIndexSignature<AP> = AP extends false ? unknown : AP extends true ? Record<string, unknown> : AP extends JSONSchema ? Record<string, DirectType<AP>> : Record<string, unknown>;
+type DirectUnionType<Items extends readonly JSONSchema[]> = Items extends readonly [infer Head extends JSONSchema, ...infer Tail extends readonly JSONSchema[]] ? DirectType<Head> | DirectUnionType<Tail> : never;
+type DirectIntersectionType<Items extends readonly JSONSchema[]> = Items extends readonly [infer Head extends JSONSchema, ...infer Tail extends readonly JSONSchema[]] ? DirectType<Head> & DirectIntersectionType<Tail> : unknown;
+type UseDirectType<T extends JSONSchema> = HasCircularAnyOfRef<T> extends true ? true : Circular<T> extends true ? true : false;
 type FromSchema<T> = T extends {
   static: infer U;
-} ? U : T extends JSONSchema ? FromSchema$1<T, {
-  deserialize: Circular<T> extends false ? [{
+} ? U : T extends JSONSchema ? UseDirectType<T> extends true ? DirectType<T> : FromSchema$1<T, {
+  deserialize: [{
     pattern: {
       type: 'string';
       format: 'binary';
@@ -4145,7 +4242,7 @@ type FromSchema<T> = T extends {
       format: 'int64';
     };
     output: bigint | number;
-  }] : false;
+  }];
 }> : never;
 type PromiseOrValue<T> = T | Promise<T>;
 type StatusCodeMap<T> = { [TKey in StatusCode]?: T };