@sinclair/typebox 0.34.41 → 0.34.43

package/build/cjs/type/composite/composite.d.ts

@@ -12,7 +12,7 @@ type TCompositeProperty<T extends TSchema[], K extends PropertyKey, Acc extends
 type TCompositeProperties<T extends TSchema[], K extends PropertyKey[], Acc = {}> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TCompositeProperties<T, R, Acc & {
     [_ in L]: TIntersectEvaluated<TCompositeProperty<T, L>>;
 }> : Acc);
-type TCompositeEvaluate<T extends TSchema[], K extends PropertyKey[] = TCompositeKeys<T>, P extends TProperties = Evaluate<TCompositeProperties<T, K>>, R extends TObject = TObject<P>> = R;
+type TCompositeEvaluate<T extends TSchema[], K extends PropertyKey[] = TCompositeKeys<T>, P extends TProperties = Evaluate<TCompositeProperties<T, K>>, R extends TSchema = TObject<P>> = R;
 export type TComposite<T extends TSchema[]> = TCompositeEvaluate<T>;
 export declare function Composite<T extends TSchema[]>(T: [...T], options?: ObjectOptions): TComposite<T>;
 export {};

package/build/cjs/type/instantiate/instantiate.d.ts

@@ -24,7 +24,7 @@ type TFromArray<Args extends TSchema[], Type extends TSchema, Result extends TAr
 type TFromAsyncIterator<Args extends TSchema[], Type extends TSchema, Result extends TAsyncIterator = TAsyncIterator<TFromType<Args, Type>>> = Result;
 type TFromIterator<Args extends TSchema[], Type extends TSchema, Result extends TIterator = TIterator<TFromType<Args, Type>>> = Result;
 type TFromPromise<Args extends TSchema[], Type extends TSchema, Result extends TPromise = TPromise<TFromType<Args, Type>>> = Result;
-type TFromObject<Args extends TSchema[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Args, Properties>, Result extends TObject = TObject<MappedProperties>> = Result;
+type TFromObject<Args extends TSchema[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Args, Properties>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TFromRecord<Args extends TSchema[], Key extends TSchema, Value extends TSchema, MappedKey extends TSchema = TFromType<Args, Key>, MappedValue extends TSchema = TFromType<Args, Value>, Result extends TSchema = TRecordOrObject<MappedKey, MappedValue>> = Result;
 type TFromArgument<Args extends TSchema[], Index extends number, Result extends TSchema = Index extends keyof Args[Index] ? Args[Index] : TUnknown> = Result;
 type TFromProperty<Args extends TSchema[], Type extends TSchema, IsReadonly extends boolean = Type extends TReadonly<Type> ? true : false, IsOptional extends boolean = Type extends TOptional<Type> ? true : false, Mapped extends TSchema = TFromType<Args, Type>, Result extends TSchema = ([

package/build/cjs/type/object/object.d.ts

@@ -1,6 +1,6 @@
 import type { TSchema, SchemaOptions } from '../schema/index';
 import type { Static } from '../static/index';
-import type { Evaluate } from '../helpers/index';
+import type { Evaluate, UnionToTuple } from '../helpers/index';
 import type { TReadonly } from '../readonly/index';
 import type { TOptional } from '../optional/index';
 import { Kind } from '../symbols/index';
@@ -20,6 +20,10 @@ type ObjectStatic<T extends TProperties, P extends unknown[]> = ObjectStaticProp
 }>;
 export type TPropertyKey = string | number;
 export type TProperties = Record<TPropertyKey, TSchema>;
+/** Creates a RequiredArray derived from the given TProperties value. */
+type TRequiredArray<Properties extends TProperties, RequiredProperties extends TProperties = {
+    [Key in keyof Properties as Properties[Key] extends TOptional<Properties[Key]> ? never : Key]: Properties[Key];
+}, RequiredKeys extends string[] = UnionToTuple<Extract<keyof RequiredProperties, string>>, Result extends string[] | undefined = RequiredKeys extends [] ? undefined : RequiredKeys> = Result;
 export type TAdditionalProperties = undefined | TSchema | boolean;
 export interface ObjectOptions extends SchemaOptions {
     /** Additional property constraints for this object */
@@ -35,7 +39,7 @@ export interface TObject<T extends TProperties = TProperties> extends TSchema, O
     additionalProperties?: TAdditionalProperties;
     type: 'object';
     properties: T;
-    required?: string[];
+    required: TRequiredArray<T>;
 }
 /** `[Json]` Creates an Object type */
 declare function _Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;

package/build/cjs/type/object/object.js

@@ -8,19 +8,15 @@ const index_1 = require("../symbols/index");
 // TypeGuard
 // ------------------------------------------------------------------
 const kind_1 = require("../guard/kind");
-function RequiredKeys(properties) {
-    const keys = [];
-    for (let key in properties) {
-        if (!(0, kind_1.IsOptional)(properties[key]))
-            keys.push(key);
-    }
-    return keys;
+/** Creates a RequiredArray derived from the given TProperties value. */
+function RequiredArray(properties) {
+    return globalThis.Object.keys(properties).filter((key) => !(0, kind_1.IsOptional)(properties[key]));
 }
 /** `[Json]` Creates an Object type */
 function _Object(properties, options) {
-    const required = RequiredKeys(properties);
-    const schematic = required.length > 0 ? { [index_1.Kind]: 'Object', type: 'object', properties, required } : { [index_1.Kind]: 'Object', type: 'object', properties };
-    return (0, type_1.CreateType)(schematic, options);
+    const required = RequiredArray(properties);
+    const schema = required.length > 0 ? { [index_1.Kind]: 'Object', type: 'object', required, properties } : { [index_1.Kind]: 'Object', type: 'object', properties };
+    return (0, type_1.CreateType)(schema, options);
 }
 /** `[Json]` Creates an Object type */
 exports.Object = _Object;

package/build/cjs/type/omit/omit.d.ts

@@ -1,5 +1,5 @@
 import type { SchemaOptions, TSchema } from '../schema/index';
-import type { TupleToUnion, Evaluate, Ensure } from '../helpers/index';
+import type { TupleToUnion, Evaluate } from '../helpers/index';
 import { type TRecursive } from '../recursive/index';
 import type { TMappedKey, TMappedResult } from '../mapped/index';
 import { TComputed } from '../computed/index';
@@ -14,9 +14,9 @@ import { type TOmitFromMappedResult } from './omit-from-mapped-result';
 type TFromIntersect<Types extends TSchema[], PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromIntersect<R, PropertyKeys, [...Result, TOmit<L, PropertyKeys>]> : Result);
 type TFromUnion<T extends TSchema[], K extends PropertyKey[], Result extends TSchema[] = []> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromUnion<R, K, [...Result, TOmit<L, K>]> : Result);
 type TFromProperties<Properties extends TProperties, PropertyKeys extends PropertyKey[], UnionKey extends PropertyKey = TupleToUnion<PropertyKeys>> = (Evaluate<Omit<Properties, UnionKey>>);
-type TFromObject<Type extends TObject, PropertyKeys extends PropertyKey[], Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties, PropertyKeys>)>>;
+type TFromObject<_Type extends TObject, PropertyKeys extends PropertyKey[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties, PropertyKeys>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TUnionFromPropertyKeys<PropertyKeys extends PropertyKey[], Result extends TLiteral[] = []> = (PropertyKeys extends [infer Key extends PropertyKey, ...infer Rest extends PropertyKey[]] ? Key extends TLiteralValue ? TUnionFromPropertyKeys<Rest, [...Result, TLiteral<Key>]> : TUnionFromPropertyKeys<Rest, [...Result]> : TUnion<Result>);
-export type TOmitResolve<Properties extends TProperties, PropertyKeys extends PropertyKey[]> = (Properties extends TRecursive<infer Types extends TSchema> ? TRecursive<TOmitResolve<Types, PropertyKeys>> : Properties extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Properties extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Properties extends TObject<infer Types extends TProperties> ? TFromObject<TObject<Types>, PropertyKeys> : TObject<{}>);
+export type TOmitResolve<Properties extends TProperties, PropertyKeys extends PropertyKey[]> = (Properties extends TRecursive<infer Types extends TSchema> ? TRecursive<TOmitResolve<Types, PropertyKeys>> : Properties extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Properties extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Properties extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, PropertyKeys, Properties> : TObject<{}>);
 type TResolvePropertyKeys<Key extends TSchema | PropertyKey[]> = Key extends TSchema ? TIndexPropertyKeys<Key> : Key;
 type TResolveTypeKey<Key extends TSchema | PropertyKey[]> = Key extends PropertyKey[] ? TUnionFromPropertyKeys<Key> : Key;
 export type TOmit<Type extends TSchema, Key extends TSchema | PropertyKey[], IsTypeRef extends boolean = Type extends TRef ? true : false, IsKeyRef extends boolean = Key extends TRef ? true : false> = (Type extends TMappedResult ? TOmitFromMappedResult<Type, TResolvePropertyKeys<Key>> : Key extends TMappedKey ? TOmitFromMappedKey<Type, Key> : [

package/build/cjs/type/omit/omit.js

@@ -42,10 +42,10 @@ function FromProperties(properties, propertyKeys) {
     return propertyKeys.reduce((T, K2) => FromProperty(T, K2), properties);
 }
 // prettier-ignore
-function FromObject(properties, propertyKeys) {
-    const options = (0, discard_1.Discard)(properties, [symbols_1.TransformKind, '$id', 'required', 'properties']);
-    const omittedProperties = FromProperties(properties['properties'], propertyKeys);
-    return (0, index_6.Object)(omittedProperties, options);
+function FromObject(type, propertyKeys, properties) {
+    const options = (0, discard_1.Discard)(type, [symbols_1.TransformKind, '$id', 'required', 'properties']);
+    const mappedProperties = FromProperties(properties, propertyKeys);
+    return (0, index_6.Object)(mappedProperties, options);
 }
 // prettier-ignore
 function UnionFromPropertyKeys(propertyKeys) {
@@ -53,10 +53,10 @@ function UnionFromPropertyKeys(propertyKeys) {
     return (0, index_5.Union)(result);
 }
 // prettier-ignore
-function OmitResolve(properties, propertyKeys) {
-    return ((0, kind_1.IsIntersect)(properties) ? (0, index_4.Intersect)(FromIntersect(properties.allOf, propertyKeys)) :
-        (0, kind_1.IsUnion)(properties) ? (0, index_5.Union)(FromUnion(properties.anyOf, propertyKeys)) :
-            (0, kind_1.IsObject)(properties) ? FromObject(properties, propertyKeys) :
+function OmitResolve(type, propertyKeys) {
+    return ((0, kind_1.IsIntersect)(type) ? (0, index_4.Intersect)(FromIntersect(type.allOf, propertyKeys)) :
+        (0, kind_1.IsUnion)(type) ? (0, index_5.Union)(FromUnion(type.anyOf, propertyKeys)) :
+            (0, kind_1.IsObject)(type) ? FromObject(type, propertyKeys, type.properties) :
                 (0, index_6.Object)({}));
 }
 /** `[Json]` Constructs a type whose keys are picked from the given type */

package/build/cjs/type/partial/partial.d.ts

@@ -25,9 +25,9 @@ type TFromRef<Ref extends string> = Ensure<TComputed<'Partial', [TRef<Ref>]>>;
 type TFromProperties<Properties extends TProperties> = Evaluate<{
     [K in keyof Properties]: Properties[K] extends (TReadonlyOptional<infer S>) ? TReadonlyOptional<S> : Properties[K] extends (TReadonly<infer S>) ? TReadonlyOptional<S> : Properties[K] extends (TOptional<infer S>) ? TOptional<S> : TOptional<Properties[K]>;
 }>;
-type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
+type TFromObject<_Type extends TObject, Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TPartial<L>]> : Result);
-export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
+export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, Properties> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are optional */
 export declare function Partial<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TPartialFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are optional */

package/build/cjs/type/partial/partial.js

@@ -65,10 +65,10 @@ function FromProperties(properties) {
     return partialProperties;
 }
 // prettier-ignore
-function FromObject(type) {
+function FromObject(type, properties) {
     const options = (0, index_7.Discard)(type, [index_8.TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(type['properties']);
-    return (0, index_3.Object)(properties, options);
+    const mappedProperties = FromProperties(properties);
+    return (0, index_3.Object)(mappedProperties, options);
 }
 // prettier-ignore
 function FromRest(types) {
@@ -85,7 +85,7 @@ function PartialResolve(type) {
         KindGuard.IsRef(type) ? FromRef(type.$ref) :
             KindGuard.IsIntersect(type) ? (0, index_4.Intersect)(FromRest(type.allOf)) :
                 KindGuard.IsUnion(type) ? (0, index_5.Union)(FromRest(type.anyOf)) :
-                    KindGuard.IsObject(type) ? FromObject(type) :
+                    KindGuard.IsObject(type) ? FromObject(type, type.properties) :
                         // Intrinsic
                         KindGuard.IsBigInt(type) ? type :
                             KindGuard.IsBoolean(type) ? type :

package/build/cjs/type/pick/pick.d.ts

@@ -1,5 +1,5 @@
 import type { TSchema, SchemaOptions } from '../schema/index';
-import type { TupleToUnion, Evaluate, Ensure } from '../helpers/index';
+import type { TupleToUnion, Evaluate } from '../helpers/index';
 import { type TRecursive } from '../recursive/index';
 import { type TComputed } from '../computed/index';
 import { type TIntersect } from '../intersect/index';
@@ -14,9 +14,9 @@ import { type TPickFromMappedResult } from './pick-from-mapped-result';
 type TFromIntersect<Types extends TSchema[], PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromIntersect<R, PropertyKeys, [...Result, TPick<L, PropertyKeys>]> : Result;
 type TFromUnion<Types extends TSchema[], PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromUnion<R, PropertyKeys, [...Result, TPick<L, PropertyKeys>]> : Result;
 type TFromProperties<Properties extends TProperties, PropertyKeys extends PropertyKey[], UnionKeys extends PropertyKey = TupleToUnion<PropertyKeys>> = (Evaluate<Pick<Properties, UnionKeys & keyof Properties>>);
-type TFromObject<Type extends TObject, Key extends PropertyKey[], Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties, Key>)>>;
+type TFromObject<_Type extends TObject, Keys extends PropertyKey[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties, Keys>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TUnionFromPropertyKeys<PropertyKeys extends PropertyKey[], Result extends TLiteral[] = []> = (PropertyKeys extends [infer Key extends PropertyKey, ...infer Rest extends PropertyKey[]] ? Key extends TLiteralValue ? TUnionFromPropertyKeys<Rest, [...Result, TLiteral<Key>]> : TUnionFromPropertyKeys<Rest, [...Result]> : TUnion<Result>);
-export type TPickResolve<Properties extends TProperties, PropertyKeys extends PropertyKey[]> = (Properties extends TRecursive<infer Types extends TSchema> ? TRecursive<TPickResolve<Types, PropertyKeys>> : Properties extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Properties extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Properties extends TObject<infer Types extends TProperties> ? TFromObject<TObject<Types>, PropertyKeys> : TObject<{}>);
+export type TPickResolve<Type extends TProperties, PropertyKeys extends PropertyKey[]> = (Type extends TRecursive<infer Types extends TSchema> ? TRecursive<TPickResolve<Types, PropertyKeys>> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, PropertyKeys, Properties> : TObject<{}>);
 type TResolvePropertyKeys<Key extends TSchema | PropertyKey[]> = Key extends TSchema ? TIndexPropertyKeys<Key> : Key;
 type TResolveTypeKey<Key extends TSchema | PropertyKey[]> = Key extends PropertyKey[] ? TUnionFromPropertyKeys<Key> : Key;
 export type TPick<Type extends TSchema, Key extends TSchema | PropertyKey[], IsTypeRef extends boolean = Type extends TRef ? true : false, IsKeyRef extends boolean = Key extends TRef ? true : false> = (Type extends TMappedResult ? TPickFromMappedResult<Type, TResolvePropertyKeys<Key>> : Key extends TMappedKey ? TPickFromMappedKey<Type, Key> : [

package/build/cjs/type/pick/pick.js

@@ -37,10 +37,10 @@ function FromProperties(properties, propertyKeys) {
     return result;
 }
 // prettier-ignore
-function FromObject(T, K) {
-    const options = (0, discard_1.Discard)(T, [symbols_1.TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(T['properties'], K);
-    return (0, index_4.Object)(properties, options);
+function FromObject(Type, keys, properties) {
+    const options = (0, discard_1.Discard)(Type, [symbols_1.TransformKind, '$id', 'required', 'properties']);
+    const mappedProperties = FromProperties(properties, keys);
+    return (0, index_4.Object)(mappedProperties, options);
 }
 // prettier-ignore
 function UnionFromPropertyKeys(propertyKeys) {
@@ -48,10 +48,10 @@ function UnionFromPropertyKeys(propertyKeys) {
     return (0, index_5.Union)(result);
 }
 // prettier-ignore
-function PickResolve(properties, propertyKeys) {
-    return ((0, kind_1.IsIntersect)(properties) ? (0, index_2.Intersect)(FromIntersect(properties.allOf, propertyKeys)) :
-        (0, kind_1.IsUnion)(properties) ? (0, index_5.Union)(FromUnion(properties.anyOf, propertyKeys)) :
-            (0, kind_1.IsObject)(properties) ? FromObject(properties, propertyKeys) :
+function PickResolve(type, propertyKeys) {
+    return ((0, kind_1.IsIntersect)(type) ? (0, index_2.Intersect)(FromIntersect(type.allOf, propertyKeys)) :
+        (0, kind_1.IsUnion)(type) ? (0, index_5.Union)(FromUnion(type.anyOf, propertyKeys)) :
+            (0, kind_1.IsObject)(type) ? FromObject(type, propertyKeys, type.properties) :
                 (0, index_4.Object)({}));
 }
 /** `[Json]` Constructs a type whose keys are picked from the given type */

package/build/cjs/type/required/required.d.ts

@@ -25,9 +25,9 @@ type TFromRef<Ref extends string> = Ensure<TComputed<'Required', [TRef<Ref>]>>;
 type TFromProperties<Properties extends TProperties> = Evaluate<{
     [K in keyof Properties]: Properties[K] extends (TReadonlyOptional<infer S>) ? TReadonly<S> : Properties[K] extends (TReadonly<infer S>) ? TReadonly<S> : Properties[K] extends (TOptional<infer S>) ? S : Properties[K];
 }>;
-type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
+type TFromObject<_Type extends TObject, Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TRequired<L>]> : Result);
-export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
+export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, Properties> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are required */
 export declare function Required<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TRequiredFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are required */

package/build/cjs/type/required/required.js

@@ -64,10 +64,10 @@ function FromProperties(properties) {
     return requiredProperties;
 }
 // prettier-ignore
-function FromObject(type) {
+function FromObject(type, properties) {
     const options = (0, index_7.Discard)(type, [index_6.TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(type['properties']);
-    return (0, index_2.Object)(properties, options);
+    const mappedProperties = FromProperties(properties);
+    return (0, index_2.Object)(mappedProperties, options);
 }
 // prettier-ignore
 function FromRest(types) {
@@ -84,7 +84,7 @@ function RequiredResolve(type) {
         KindGuard.IsRef(type) ? FromRef(type.$ref) :
             KindGuard.IsIntersect(type) ? (0, index_3.Intersect)(FromRest(type.allOf)) :
                 KindGuard.IsUnion(type) ? (0, index_4.Union)(FromRest(type.anyOf)) :
-                    KindGuard.IsObject(type) ? FromObject(type) :
+                    KindGuard.IsObject(type) ? FromObject(type, type.properties) :
                         // Intrinsic
                         KindGuard.IsBigInt(type) ? type :
                             KindGuard.IsBoolean(type) ? type :

package/build/cjs/type/tuple/tuple.d.ts

@@ -6,10 +6,10 @@ export interface TTuple<T extends TSchema[] = TSchema[]> extends TSchema {
     [Kind]: 'Tuple';
     static: TupleStatic<T, this['params']>;
     type: 'array';
-    items?: T;
+    items: T;
     additionalItems?: false;
-    minItems: number;
-    maxItems: number;
+    minItems: T['length'];
+    maxItems: T['length'];
 }
 /** `[Json]` Creates a Tuple type */
 export declare function Tuple<Types extends TSchema[]>(types: [...Types], options?: SchemaOptions): TTuple<Types>;

package/build/esm/type/composite/composite.d.mts

@@ -12,7 +12,7 @@ type TCompositeProperty<T extends TSchema[], K extends PropertyKey, Acc extends
 type TCompositeProperties<T extends TSchema[], K extends PropertyKey[], Acc = {}> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TCompositeProperties<T, R, Acc & {
     [_ in L]: TIntersectEvaluated<TCompositeProperty<T, L>>;
 }> : Acc);
-type TCompositeEvaluate<T extends TSchema[], K extends PropertyKey[] = TCompositeKeys<T>, P extends TProperties = Evaluate<TCompositeProperties<T, K>>, R extends TObject = TObject<P>> = R;
+type TCompositeEvaluate<T extends TSchema[], K extends PropertyKey[] = TCompositeKeys<T>, P extends TProperties = Evaluate<TCompositeProperties<T, K>>, R extends TSchema = TObject<P>> = R;
 export type TComposite<T extends TSchema[]> = TCompositeEvaluate<T>;
 export declare function Composite<T extends TSchema[]>(T: [...T], options?: ObjectOptions): TComposite<T>;
 export {};

package/build/esm/type/instantiate/instantiate.d.mts

@@ -24,7 +24,7 @@ type TFromArray<Args extends TSchema[], Type extends TSchema, Result extends TAr
 type TFromAsyncIterator<Args extends TSchema[], Type extends TSchema, Result extends TAsyncIterator = TAsyncIterator<TFromType<Args, Type>>> = Result;
 type TFromIterator<Args extends TSchema[], Type extends TSchema, Result extends TIterator = TIterator<TFromType<Args, Type>>> = Result;
 type TFromPromise<Args extends TSchema[], Type extends TSchema, Result extends TPromise = TPromise<TFromType<Args, Type>>> = Result;
-type TFromObject<Args extends TSchema[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Args, Properties>, Result extends TObject = TObject<MappedProperties>> = Result;
+type TFromObject<Args extends TSchema[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Args, Properties>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TFromRecord<Args extends TSchema[], Key extends TSchema, Value extends TSchema, MappedKey extends TSchema = TFromType<Args, Key>, MappedValue extends TSchema = TFromType<Args, Value>, Result extends TSchema = TRecordOrObject<MappedKey, MappedValue>> = Result;
 type TFromArgument<Args extends TSchema[], Index extends number, Result extends TSchema = Index extends keyof Args[Index] ? Args[Index] : TUnknown> = Result;
 type TFromProperty<Args extends TSchema[], Type extends TSchema, IsReadonly extends boolean = Type extends TReadonly<Type> ? true : false, IsOptional extends boolean = Type extends TOptional<Type> ? true : false, Mapped extends TSchema = TFromType<Args, Type>, Result extends TSchema = ([

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

@@ -1,6 +1,6 @@
 import type { TSchema, SchemaOptions } from '../schema/index.mjs';
 import type { Static } from '../static/index.mjs';
-import type { Evaluate } from '../helpers/index.mjs';
+import type { Evaluate, UnionToTuple } from '../helpers/index.mjs';
 import type { TReadonly } from '../readonly/index.mjs';
 import type { TOptional } from '../optional/index.mjs';
 import { Kind } from '../symbols/index.mjs';
@@ -20,6 +20,10 @@ type ObjectStatic<T extends TProperties, P extends unknown[]> = ObjectStaticProp
 }>;
 export type TPropertyKey = string | number;
 export type TProperties = Record<TPropertyKey, TSchema>;
+/** Creates a RequiredArray derived from the given TProperties value. */
+type TRequiredArray<Properties extends TProperties, RequiredProperties extends TProperties = {
+    [Key in keyof Properties as Properties[Key] extends TOptional<Properties[Key]> ? never : Key]: Properties[Key];
+}, RequiredKeys extends string[] = UnionToTuple<Extract<keyof RequiredProperties, string>>, Result extends string[] | undefined = RequiredKeys extends [] ? undefined : RequiredKeys> = Result;
 export type TAdditionalProperties = undefined | TSchema | boolean;
 export interface ObjectOptions extends SchemaOptions {
     /** Additional property constraints for this object */
@@ -35,7 +39,7 @@ export interface TObject<T extends TProperties = TProperties> extends TSchema, O
     additionalProperties?: TAdditionalProperties;
     type: 'object';
     properties: T;
-    required?: string[];
+    required: TRequiredArray<T>;
 }
 /** `[Json]` Creates an Object type */
 declare function _Object<T extends TProperties>(properties: T, options?: ObjectOptions): TObject<T>;

package/build/esm/type/object/object.mjs

@@ -4,19 +4,15 @@ import { Kind } from '../symbols/index.mjs';
 // TypeGuard
 // ------------------------------------------------------------------
 import { IsOptional } from '../guard/kind.mjs';
-function RequiredKeys(properties) {
-    const keys = [];
-    for (let key in properties) {
-        if (!IsOptional(properties[key]))
-            keys.push(key);
-    }
-    return keys;
+/** Creates a RequiredArray derived from the given TProperties value. */
+function RequiredArray(properties) {
+    return globalThis.Object.keys(properties).filter((key) => !IsOptional(properties[key]));
 }
 /** `[Json]` Creates an Object type */
 function _Object(properties, options) {
-    const required = RequiredKeys(properties);
-    const schematic = required.length > 0 ? { [Kind]: 'Object', type: 'object', properties, required } : { [Kind]: 'Object', type: 'object', properties };
-    return CreateType(schematic, options);
+    const required = RequiredArray(properties);
+    const schema = required.length > 0 ? { [Kind]: 'Object', type: 'object', required, properties } : { [Kind]: 'Object', type: 'object', properties };
+    return CreateType(schema, options);
 }
 /** `[Json]` Creates an Object type */
 export var Object = _Object;

package/build/esm/type/omit/omit.d.mts

@@ -1,5 +1,5 @@
 import type { SchemaOptions, TSchema } from '../schema/index.mjs';
-import type { TupleToUnion, Evaluate, Ensure } from '../helpers/index.mjs';
+import type { TupleToUnion, Evaluate } from '../helpers/index.mjs';
 import { type TRecursive } from '../recursive/index.mjs';
 import type { TMappedKey, TMappedResult } from '../mapped/index.mjs';
 import { TComputed } from '../computed/index.mjs';
@@ -14,9 +14,9 @@ import { type TOmitFromMappedResult } from './omit-from-mapped-result.mjs';
 type TFromIntersect<Types extends TSchema[], PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromIntersect<R, PropertyKeys, [...Result, TOmit<L, PropertyKeys>]> : Result);
 type TFromUnion<T extends TSchema[], K extends PropertyKey[], Result extends TSchema[] = []> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromUnion<R, K, [...Result, TOmit<L, K>]> : Result);
 type TFromProperties<Properties extends TProperties, PropertyKeys extends PropertyKey[], UnionKey extends PropertyKey = TupleToUnion<PropertyKeys>> = (Evaluate<Omit<Properties, UnionKey>>);
-type TFromObject<Type extends TObject, PropertyKeys extends PropertyKey[], Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties, PropertyKeys>)>>;
+type TFromObject<_Type extends TObject, PropertyKeys extends PropertyKey[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties, PropertyKeys>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TUnionFromPropertyKeys<PropertyKeys extends PropertyKey[], Result extends TLiteral[] = []> = (PropertyKeys extends [infer Key extends PropertyKey, ...infer Rest extends PropertyKey[]] ? Key extends TLiteralValue ? TUnionFromPropertyKeys<Rest, [...Result, TLiteral<Key>]> : TUnionFromPropertyKeys<Rest, [...Result]> : TUnion<Result>);
-export type TOmitResolve<Properties extends TProperties, PropertyKeys extends PropertyKey[]> = (Properties extends TRecursive<infer Types extends TSchema> ? TRecursive<TOmitResolve<Types, PropertyKeys>> : Properties extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Properties extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Properties extends TObject<infer Types extends TProperties> ? TFromObject<TObject<Types>, PropertyKeys> : TObject<{}>);
+export type TOmitResolve<Properties extends TProperties, PropertyKeys extends PropertyKey[]> = (Properties extends TRecursive<infer Types extends TSchema> ? TRecursive<TOmitResolve<Types, PropertyKeys>> : Properties extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Properties extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Properties extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, PropertyKeys, Properties> : TObject<{}>);
 type TResolvePropertyKeys<Key extends TSchema | PropertyKey[]> = Key extends TSchema ? TIndexPropertyKeys<Key> : Key;
 type TResolveTypeKey<Key extends TSchema | PropertyKey[]> = Key extends PropertyKey[] ? TUnionFromPropertyKeys<Key> : Key;
 export type TOmit<Type extends TSchema, Key extends TSchema | PropertyKey[], IsTypeRef extends boolean = Type extends TRef ? true : false, IsKeyRef extends boolean = Key extends TRef ? true : false> = (Type extends TMappedResult ? TOmitFromMappedResult<Type, TResolvePropertyKeys<Key>> : Key extends TMappedKey ? TOmitFromMappedKey<Type, Key> : [

package/build/esm/type/omit/omit.mjs

@@ -38,10 +38,10 @@ function FromProperties(properties, propertyKeys) {
     return propertyKeys.reduce((T, K2) => FromProperty(T, K2), properties);
 }
 // prettier-ignore
-function FromObject(properties, propertyKeys) {
-    const options = Discard(properties, [TransformKind, '$id', 'required', 'properties']);
-    const omittedProperties = FromProperties(properties['properties'], propertyKeys);
-    return Object(omittedProperties, options);
+function FromObject(type, propertyKeys, properties) {
+    const options = Discard(type, [TransformKind, '$id', 'required', 'properties']);
+    const mappedProperties = FromProperties(properties, propertyKeys);
+    return Object(mappedProperties, options);
 }
 // prettier-ignore
 function UnionFromPropertyKeys(propertyKeys) {
@@ -49,10 +49,10 @@ function UnionFromPropertyKeys(propertyKeys) {
     return Union(result);
 }
 // prettier-ignore
-function OmitResolve(properties, propertyKeys) {
-    return (IsIntersect(properties) ? Intersect(FromIntersect(properties.allOf, propertyKeys)) :
-        IsUnion(properties) ? Union(FromUnion(properties.anyOf, propertyKeys)) :
-            IsObject(properties) ? FromObject(properties, propertyKeys) :
+function OmitResolve(type, propertyKeys) {
+    return (IsIntersect(type) ? Intersect(FromIntersect(type.allOf, propertyKeys)) :
+        IsUnion(type) ? Union(FromUnion(type.anyOf, propertyKeys)) :
+            IsObject(type) ? FromObject(type, propertyKeys, type.properties) :
                 Object({}));
 }
 /** `[Json]` Constructs a type whose keys are picked from the given type */

package/build/esm/type/partial/partial.d.mts

@@ -25,9 +25,9 @@ type TFromRef<Ref extends string> = Ensure<TComputed<'Partial', [TRef<Ref>]>>;
 type TFromProperties<Properties extends TProperties> = Evaluate<{
     [K in keyof Properties]: Properties[K] extends (TReadonlyOptional<infer S>) ? TReadonlyOptional<S> : Properties[K] extends (TReadonly<infer S>) ? TReadonlyOptional<S> : Properties[K] extends (TOptional<infer S>) ? TOptional<S> : TOptional<Properties[K]>;
 }>;
-type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
+type TFromObject<_Type extends TObject, Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TPartial<L>]> : Result);
-export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
+export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, Properties> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are optional */
 export declare function Partial<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TPartialFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are optional */

package/build/esm/type/partial/partial.mjs

@@ -28,10 +28,10 @@ function FromProperties(properties) {
     return partialProperties;
 }
 // prettier-ignore
-function FromObject(type) {
+function FromObject(type, properties) {
     const options = Discard(type, [TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(type['properties']);
-    return Object(properties, options);
+    const mappedProperties = FromProperties(properties);
+    return Object(mappedProperties, options);
 }
 // prettier-ignore
 function FromRest(types) {
@@ -48,7 +48,7 @@ function PartialResolve(type) {
         KindGuard.IsRef(type) ? FromRef(type.$ref) :
             KindGuard.IsIntersect(type) ? Intersect(FromRest(type.allOf)) :
                 KindGuard.IsUnion(type) ? Union(FromRest(type.anyOf)) :
-                    KindGuard.IsObject(type) ? FromObject(type) :
+                    KindGuard.IsObject(type) ? FromObject(type, type.properties) :
                         // Intrinsic
                         KindGuard.IsBigInt(type) ? type :
                             KindGuard.IsBoolean(type) ? type :

package/build/esm/type/pick/pick.d.mts

@@ -1,5 +1,5 @@
 import type { TSchema, SchemaOptions } from '../schema/index.mjs';
-import type { TupleToUnion, Evaluate, Ensure } from '../helpers/index.mjs';
+import type { TupleToUnion, Evaluate } from '../helpers/index.mjs';
 import { type TRecursive } from '../recursive/index.mjs';
 import { type TComputed } from '../computed/index.mjs';
 import { type TIntersect } from '../intersect/index.mjs';
@@ -14,9 +14,9 @@ import { type TPickFromMappedResult } from './pick-from-mapped-result.mjs';
 type TFromIntersect<Types extends TSchema[], PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromIntersect<R, PropertyKeys, [...Result, TPick<L, PropertyKeys>]> : Result;
 type TFromUnion<Types extends TSchema[], PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromUnion<R, PropertyKeys, [...Result, TPick<L, PropertyKeys>]> : Result;
 type TFromProperties<Properties extends TProperties, PropertyKeys extends PropertyKey[], UnionKeys extends PropertyKey = TupleToUnion<PropertyKeys>> = (Evaluate<Pick<Properties, UnionKeys & keyof Properties>>);
-type TFromObject<Type extends TObject, Key extends PropertyKey[], Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties, Key>)>>;
+type TFromObject<_Type extends TObject, Keys extends PropertyKey[], Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties, Keys>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TUnionFromPropertyKeys<PropertyKeys extends PropertyKey[], Result extends TLiteral[] = []> = (PropertyKeys extends [infer Key extends PropertyKey, ...infer Rest extends PropertyKey[]] ? Key extends TLiteralValue ? TUnionFromPropertyKeys<Rest, [...Result, TLiteral<Key>]> : TUnionFromPropertyKeys<Rest, [...Result]> : TUnion<Result>);
-export type TPickResolve<Properties extends TProperties, PropertyKeys extends PropertyKey[]> = (Properties extends TRecursive<infer Types extends TSchema> ? TRecursive<TPickResolve<Types, PropertyKeys>> : Properties extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Properties extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Properties extends TObject<infer Types extends TProperties> ? TFromObject<TObject<Types>, PropertyKeys> : TObject<{}>);
+export type TPickResolve<Type extends TProperties, PropertyKeys extends PropertyKey[]> = (Type extends TRecursive<infer Types extends TSchema> ? TRecursive<TPickResolve<Types, PropertyKeys>> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromIntersect<Types, PropertyKeys>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromUnion<Types, PropertyKeys>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, PropertyKeys, Properties> : TObject<{}>);
 type TResolvePropertyKeys<Key extends TSchema | PropertyKey[]> = Key extends TSchema ? TIndexPropertyKeys<Key> : Key;
 type TResolveTypeKey<Key extends TSchema | PropertyKey[]> = Key extends PropertyKey[] ? TUnionFromPropertyKeys<Key> : Key;
 export type TPick<Type extends TSchema, Key extends TSchema | PropertyKey[], IsTypeRef extends boolean = Type extends TRef ? true : false, IsKeyRef extends boolean = Key extends TRef ? true : false> = (Type extends TMappedResult ? TPickFromMappedResult<Type, TResolvePropertyKeys<Key>> : Key extends TMappedKey ? TPickFromMappedKey<Type, Key> : [

package/build/esm/type/pick/pick.mjs

@@ -33,10 +33,10 @@ function FromProperties(properties, propertyKeys) {
     return result;
 }
 // prettier-ignore
-function FromObject(T, K) {
-    const options = Discard(T, [TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(T['properties'], K);
-    return Object(properties, options);
+function FromObject(Type, keys, properties) {
+    const options = Discard(Type, [TransformKind, '$id', 'required', 'properties']);
+    const mappedProperties = FromProperties(properties, keys);
+    return Object(mappedProperties, options);
 }
 // prettier-ignore
 function UnionFromPropertyKeys(propertyKeys) {
@@ -44,10 +44,10 @@ function UnionFromPropertyKeys(propertyKeys) {
     return Union(result);
 }
 // prettier-ignore
-function PickResolve(properties, propertyKeys) {
-    return (IsIntersect(properties) ? Intersect(FromIntersect(properties.allOf, propertyKeys)) :
-        IsUnion(properties) ? Union(FromUnion(properties.anyOf, propertyKeys)) :
-            IsObject(properties) ? FromObject(properties, propertyKeys) :
+function PickResolve(type, propertyKeys) {
+    return (IsIntersect(type) ? Intersect(FromIntersect(type.allOf, propertyKeys)) :
+        IsUnion(type) ? Union(FromUnion(type.anyOf, propertyKeys)) :
+            IsObject(type) ? FromObject(type, propertyKeys, type.properties) :
                 Object({}));
 }
 /** `[Json]` Constructs a type whose keys are picked from the given type */

package/build/esm/type/required/required.d.mts

@@ -25,9 +25,9 @@ type TFromRef<Ref extends string> = Ensure<TComputed<'Required', [TRef<Ref>]>>;
 type TFromProperties<Properties extends TProperties> = Evaluate<{
     [K in keyof Properties]: Properties[K] extends (TReadonlyOptional<infer S>) ? TReadonly<S> : Properties[K] extends (TReadonly<infer S>) ? TReadonly<S> : Properties[K] extends (TOptional<infer S>) ? S : Properties[K];
 }>;
-type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
+type TFromObject<_Type extends TObject, Properties extends TProperties, MappedProperties extends TProperties = TFromProperties<Properties>, Result extends TSchema = TObject<MappedProperties>> = Result;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TRequired<L>]> : Result);
-export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
+export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject, Properties> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are required */
 export declare function Required<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TRequiredFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are required */

package/build/esm/type/required/required.mjs

@@ -27,10 +27,10 @@ function FromProperties(properties) {
     return requiredProperties;
 }
 // prettier-ignore
-function FromObject(type) {
+function FromObject(type, properties) {
     const options = Discard(type, [TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(type['properties']);
-    return Object(properties, options);
+    const mappedProperties = FromProperties(properties);
+    return Object(mappedProperties, options);
 }
 // prettier-ignore
 function FromRest(types) {
@@ -47,7 +47,7 @@ function RequiredResolve(type) {
         KindGuard.IsRef(type) ? FromRef(type.$ref) :
             KindGuard.IsIntersect(type) ? Intersect(FromRest(type.allOf)) :
                 KindGuard.IsUnion(type) ? Union(FromRest(type.anyOf)) :
-                    KindGuard.IsObject(type) ? FromObject(type) :
+                    KindGuard.IsObject(type) ? FromObject(type, type.properties) :
                         // Intrinsic
                         KindGuard.IsBigInt(type) ? type :
                             KindGuard.IsBoolean(type) ? type :

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

@@ -6,10 +6,10 @@ export interface TTuple<T extends TSchema[] = TSchema[]> extends TSchema {
     [Kind]: 'Tuple';
     static: TupleStatic<T, this['params']>;
     type: 'array';
-    items?: T;
+    items: T;
     additionalItems?: false;
-    minItems: number;
-    maxItems: number;
+    minItems: T['length'];
+    maxItems: T['length'];
 }
 /** `[Json]` Creates a Tuple type */
 export declare function Tuple<Types extends TSchema[]>(types: [...Types], options?: SchemaOptions): TTuple<Types>;