ts-fortress 5.3.0 → 6.0.1

package/README.md

@@ -395,14 +395,14 @@ const User = t.record({
     age: t.number(),
 });
 
-// Success case - returns the same object reference
+// Success case - validates correctly
 const validData = { name: 'Alice', age: 30 } as const;
 const result = User.validate(validData);
 
 assert(t.Result.isOk(result));
-assert(result.value === validData); // true - same reference!
-
+// In strip mode (default), a new object is created even without excess properties
 assert.deepStrictEqual(result.value, { name: 'Alice', age: 30 });
+assert.notEqual(result.value, validData);
 
 // Error case - provides detailed error information
 const invalidData = { name: 'Bob', age: 'thirty' } as const;
@@ -596,7 +596,8 @@ const StrictUserType = t.record(
         name: t.string(),
     },
     {
-        allowExcessProperties: false, // Reject any properties not defined in schema
+        excessPropertyValidation: 'error', // Reject any properties not defined in schema
+        excessPropertyFill: 'strip',
     },
 );
 
@@ -613,7 +614,8 @@ const PermissiveUserType = t.record(
         name: t.string(),
     },
     {
-        allowExcessProperties: true, // Allow additional properties (default behavior)
+        excessPropertyValidation: 'allow', // Allow additional properties (default behavior)
+        excessPropertyFill: 'allow',
     },
 );
 
@@ -938,7 +940,8 @@ const StrictType = t.record(
         age: t.number(),
     },
     {
-        allowExcessProperties: false,
+        excessPropertyValidation: 'error',
+        excessPropertyFill: 'strip',
     },
 );
 

package/dist/predefined/brand/string/iso-8601.d.mts

@@ -16,7 +16,7 @@ declare const ISO8601ValidatorOption: import("../../../type.mjs").RecordType<{
         assertIs: (a: unknown) => asserts a is boolean;
         cast: (a: unknown) => boolean;
         fill: (a: unknown) => boolean;
-        validate: (a: unknown) => import("ts-data-forge").Result<boolean, readonly Readonly<{
+        validate: (a: unknown) => Result<boolean, readonly Readonly<{
             path: readonly string[];
             actualValue: unknown;
             expectedType: string;
@@ -35,7 +35,7 @@ declare const ISO8601ValidatorOption: import("../../../type.mjs").RecordType<{
         assertIs: (a: unknown) => asserts a is boolean;
         cast: (a: unknown) => boolean;
         fill: (a: unknown) => boolean;
-        validate: (a: unknown) => import("ts-data-forge").Result<boolean, readonly Readonly<{
+        validate: (a: unknown) => Result<boolean, readonly Readonly<{
             path: readonly string[];
             actualValue: unknown;
             expectedType: string;
@@ -54,7 +54,7 @@ declare const ISO8601ValidatorOption: import("../../../type.mjs").RecordType<{
         assertIs: (a: unknown) => asserts a is string;
         cast: (a: unknown) => string;
         fill: (a: unknown) => string;
-        validate: (a: unknown) => import("ts-data-forge").Result<string, readonly Readonly<{
+        validate: (a: unknown) => Result<string, readonly Readonly<{
             path: readonly string[];
             actualValue: unknown;
             expectedType: string;
@@ -63,7 +63,7 @@ declare const ISO8601ValidatorOption: import("../../../type.mjs").RecordType<{
         }>[]>;
         optional?: true;
     }>;
-}>;
+}, "strip">;
 type ISO8601ValidatorOption = TypeOf<typeof ISO8601ValidatorOption>;
 export {};
 //# sourceMappingURL=iso-8601.d.mts.map

package/dist/predefined/brand/string/iso-8601.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"iso-8601.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/iso-8601.mts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3D;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,UAAU,sBAAsB,KAAG,IAAI,CAAC,OAAO,CAStE,CAAC;AAEF,QAAA,MAAM,sBAAsB;IAC1B;;OAEG;;;;;;;;;;;;;;;;;IAGH;;OAEG;;;;;;;;;;;;;;;;;IAGH;;OAEG;;;;;;;;;;;;;;;;;EAEH,CAAC;AAEH,KAAK,sBAAsB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC"}
+{"version":3,"file":"iso-8601.d.mts","sourceRoot":"","sources":["../../../../src/predefined/brand/string/iso-8601.mts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3D;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,UAAU,sBAAsB,KAAG,IAAI,CAAC,OAAO,CAStE,CAAC;AAEF,QAAA,MAAM,sBAAsB;IAC1B;;OAEG;;;;;;;;;;;;;;;;;IAGH;;OAEG;;;;;;;;;;;;;;;;;IAGH;;OAEG;;;;;;;;;;;;;;;;;WAEH,CAAC;AAEH,KAAK,sBAAsB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC"}

package/dist/predefined/json.d.mts

@@ -6,7 +6,7 @@ export declare const JsonPrimitive: Readonly<{
     assertIs: (a: unknown) => asserts a is string | number | boolean | null;
     cast: (a: unknown) => string | number | boolean | null;
     fill: (a: unknown) => string | number | boolean | null;
-    validate: (a: unknown) => import("ts-data-forge").Result<string | number | boolean | null, readonly Readonly<{
+    validate: (a: unknown) => Result<string | number | boolean | null, readonly Readonly<{
         path: readonly string[];
         actualValue: unknown;
         expectedType: string;
@@ -33,7 +33,7 @@ export declare const JsonObject: Readonly<{
     fill: (a: unknown) => {
         readonly [x: string]: JsonValue;
     };
-    validate: (a: unknown) => import("ts-data-forge").Result<{
+    validate: (a: unknown) => Result<{
         readonly [x: string]: JsonValue;
     }, readonly Readonly<{
         path: readonly string[];

package/dist/record/omit.d.mts

@@ -1,9 +1,9 @@
-import { type RecordType, type Type } from '../type.mjs';
+import { type ExcessPropertyBehavior, type RecordType, type Type } from '../type.mjs';
 /** Creates a record type with keys omitted. */
-export declare const omit: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToOmit extends readonly (keyof R & string)[]>(recordType: RecordType<R>, keysToOmit: KeysToOmit, options?: PartialReadonly<{
+export declare const omit: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToOmit extends readonly (keyof R & string)[], const ExcessValidation extends ExcessPropertyBehavior = "strip">(recordType: RecordType<R, ExcessValidation>, keysToOmit: KeysToOmit, options?: PartialReadonly<{
     typeName: string;
-    /** @default true */
-    allowExcessProperties: boolean;
-}>) => OmittedType<R, KeysToOmit>;
-export type OmittedType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToOmit extends readonly (keyof R)[]> = RecordType<Omit<R, ArrayElement<KeysToOmit>>>;
+    excessPropertyValidation: ExcessValidation;
+    excessPropertyFill: Extract<ExcessPropertyBehavior, "allow" | "strip">;
+}>) => OmittedType<R, KeysToOmit, ExcessValidation>;
+export type OmittedType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToOmit extends readonly (keyof R)[], ExcessValidation extends ExcessPropertyBehavior = 'strip'> = RecordType<Omit<R, ArrayElement<KeysToOmit>>, ExcessValidation>;
 //# sourceMappingURL=omit.d.mts.map

package/dist/record/omit.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"omit.d.mts","sourceRoot":"","sources":["../../src/record/omit.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAIzD,+CAA+C;AAC/C,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,EAEtD,YAAY,UAAU,CAAC,CAAC,CAAC,EACzB,YAAY,UAAU,EACtB,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,KACD,WAAW,CAAC,CAAC,EAAE,UAAU,CAOxB,CAAC;AAEL,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IACrC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"omit.d.mts","sourceRoot":"","sources":["../../src/record/omit.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,UAAU,EACf,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAIrB,+CAA+C;AAC/C,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,EACtD,KAAK,CAAC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,EAE/D,YAAY,UAAU,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAC3C,YAAY,UAAU,EACtB,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB,EAAE,gBAAgB,CAAC;IAC3C,kBAAkB,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC;CACxE,CAAC,KACD,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,gBAAgB,CAS1C,CAAC;AAEL,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACvC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,IACvD,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/record/omit.mjs

@@ -6,7 +6,8 @@ import { record } from './record.mjs';
 const omit = (recordType, keysToOmit, options) => record(Obj.omit(recordType.shape, keysToOmit), {
     typeName: options?.typeName ??
         `Omit<${recordType.typeName}, ${toUnionKeyString(keysToOmit)}>`,
-    allowExcessProperties: options?.allowExcessProperties ?? recordType.allowExcessProperties,
+    excessPropertyValidation: options?.excessPropertyValidation ?? recordType.excessPropertyValidation,
+    excessPropertyFill: options?.excessPropertyFill ?? recordType.excessPropertyFill,
 });
 
 export { omit };

package/dist/record/omit.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"omit.mjs","sources":["../../src/record/omit.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKA;AACO,MAAM,IAAI,GAAG,CAIlB,UAAyB,EACzB,UAAsB,EACtB,OAKE,KAEF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;IAC7C,QAAQ,EACN,OAAO,EAAE,QAAQ;QACjB,CAAA,KAAA,EAAQ,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,UAAU,CAAC,CAAA,CAAA,CAAG;AACjE,IAAA,qBAAqB,EACnB,OAAO,EAAE,qBAAqB,IAAI,UAAU,CAAC,qBAAqB;AACrE,CAAA;;;;"}
+{"version":3,"file":"omit.mjs","sources":["../../src/record/omit.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AASA;AACO,MAAM,IAAI,GAAG,CAKlB,UAA2C,EAC3C,UAAsB,EACtB,OAIE,KAEF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;IAC7C,QAAQ,EACN,OAAO,EAAE,QAAQ;QACjB,CAAA,KAAA,EAAQ,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,UAAU,CAAC,CAAA,CAAA,CAAG;AACjE,IAAA,wBAAwB,EACtB,OAAO,EAAE,wBAAwB,IAAI,UAAU,CAAC,wBAAwB;AAC1E,IAAA,kBAAkB,EAChB,OAAO,EAAE,kBAAkB,IAAI,UAAU,CAAC,kBAAkB;AAC/D,CAAA;;;;"}

package/dist/record/partial.d.mts

@@ -1,15 +1,15 @@
-import { type RecordType, type Type } from '../type.mjs';
+import { type ExcessPropertyBehavior, type RecordType, type Type } from '../type.mjs';
 import { type OptionalPropertyType } from './optional.mjs';
 /**
  * Creates a Partial type. If keysToBeOptional is set, only those keys are
  * optional, otherwise, all properties are optional.
  */
-export declare const partial: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToBeOptional extends NonEmptyArray<keyof R & string>>(recordType: RecordType<R>, options?: PartialReadonly<{
+export declare const partial: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToBeOptional extends NonEmptyArray<keyof R & string>, const ExcessValidation extends ExcessPropertyBehavior = "strip">(recordType: RecordType<R, ExcessValidation>, options?: PartialReadonly<{
     keysToBeOptional: KeysToBeOptional;
     typeName: string;
-    /** @default true */
-    allowExcessProperties: boolean;
-}>) => PartialType<R, KeysToBeOptional>;
+    excessPropertyValidation: ExcessValidation;
+    excessPropertyFill: Extract<ExcessPropertyBehavior, "allow" | "strip">;
+}>) => PartialType<R, KeysToBeOptional, ExcessValidation>;
 type PartialTypeShape<R extends ReadonlyRecord<string, Type<unknown>>, KeysToBeOptional extends NonEmptyArray<keyof R & string> | undefined> = TypeEq<KeysToBeOptional, undefined> extends true ? FullyOptionalType<R> : PartiallyOptionalType<R, ArrayElement<KeysToBeOptional>>;
 type FullyOptionalType<R extends ReadonlyRecord<string, Type<unknown>>> = {
     readonly [P in keyof R]: OptionalPropertyType<R[P]>;
@@ -17,6 +17,6 @@ type FullyOptionalType<R extends ReadonlyRecord<string, Type<unknown>>> = {
 type PartiallyOptionalType<R extends ReadonlyRecord<string, Type<unknown>>, K extends keyof R> = {
     readonly [P in keyof R]: P extends K ? OptionalPropertyType<R[P]> : R[P];
 };
-export type PartialType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToBeOptional extends NonEmptyArray<keyof R & string> | undefined> = RecordType<PartialTypeShape<R, KeysToBeOptional>>;
+export type PartialType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToBeOptional extends NonEmptyArray<keyof R & string> | undefined, ExcessValidation extends ExcessPropertyBehavior = 'strip'> = RecordType<PartialTypeShape<R, KeysToBeOptional>, ExcessValidation>;
 export {};
 //# sourceMappingURL=partial.d.mts.map

package/dist/record/partial.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"partial.d.mts","sourceRoot":"","sources":["../../src/record/partial.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAEzD,OAAO,EAAY,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAGrE;;;GAGG;AACH,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAE9D,YAAY,UAAU,CAAC,CAAC,CAAC,EACzB,UAAU,eAAe,CAAC;IACxB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,KACD,WAAW,CAAC,CAAC,EAAE,gBAAgB,CA2BjC,CAAC;AAEF,KAAK,gBAAgB,CACnB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,IAEpE,MAAM,CAAC,gBAAgB,EAAE,SAAS,CAAC,SAAS,IAAI,GAC5C,iBAAiB,CAAC,CAAC,CAAC,GACpB,qBAAqB,CAAC,CAAC,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAE/D,KAAK,iBAAiB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;IACxE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,KAAK,qBAAqB,CACxB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,CAAC,SAAS,MAAM,CAAC,IACf;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACzE,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,IAClE,UAAU,CAAC,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC"}
+{"version":3,"file":"partial.d.mts","sourceRoot":"","sources":["../../src/record/partial.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,UAAU,EACf,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAErB,OAAO,EAAY,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAGrE;;;GAGG;AACH,eAAO,MAAM,OAAO,GAClB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAC9D,KAAK,CAAC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,EAE/D,YAAY,UAAU,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAC3C,UAAU,eAAe,CAAC;IACxB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB,EAAE,gBAAgB,CAAC;IAC3C,kBAAkB,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC;CACxE,CAAC,KACD,WAAW,CAAC,CAAC,EAAE,gBAAgB,EAAE,gBAAgB,CA6BnD,CAAC;AAEF,KAAK,gBAAgB,CACnB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,IAEpE,MAAM,CAAC,gBAAgB,EAAE,SAAS,CAAC,SAAS,IAAI,GAC5C,iBAAiB,CAAC,CAAC,CAAC,GACpB,qBAAqB,CAAC,CAAC,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAE/D,KAAK,iBAAiB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;IACxE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,KAAK,qBAAqB,CACxB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,CAAC,SAAS,MAAM,CAAC,IACf;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACzE,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,EACpE,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,IACvD,UAAU,CAAC,gBAAgB,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/record/partial.mjs

@@ -18,7 +18,8 @@ const partial = (recordType, options) => {
     Object.fromEntries(Object.entries(recordType.shape).map(([k, v]) => [k, keysToBeOptional.has(k) ? optional(v) : v]));
     return record(partialShape, {
         typeName: typeNameFilled,
-        allowExcessProperties: options?.allowExcessProperties ?? recordType.allowExcessProperties,
+        excessPropertyValidation: options?.excessPropertyValidation ?? recordType.excessPropertyValidation,
+        excessPropertyFill: options?.excessPropertyFill ?? recordType.excessPropertyFill,
     });
 };
 

package/dist/record/partial.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"partial.mjs","sources":["../../src/record/partial.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AAMA;;;AAGG;MACU,OAAO,GAAG,CAIrB,UAAyB,EACzB,OAME,KACkC;AACpC,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,SAAC,OAAO,EAAE,gBAAgB,KAAK;AAC7B,cAAE,CAAA,QAAA,EAAW,UAAU,CAAC,QAAQ,CAAA,CAAA;AAChC,cAAE,CAAA,iBAAA,EAAoB,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA,CAAA,CAAG,CAAC;AAEhG,IAAA,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CACnD,OAAO,EAAE,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAC3D;AAED,IAAA,MAAM,YAAY;;IAEhB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAClC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAU,CACpE,CAIF;IAEH,OAAO,MAAM,CAAC,YAAY,EAAE;AAC1B,QAAA,QAAQ,EAAE,cAAc;AACxB,QAAA,qBAAqB,EACnB,OAAO,EAAE,qBAAqB,IAAI,UAAU,CAAC,qBAAqB;AACrE,KAAA,CAAC;AACJ;;;;"}
+{"version":3,"file":"partial.mjs","sources":["../../src/record/partial.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AAUA;;;AAGG;MACU,OAAO,GAAG,CAKrB,UAA2C,EAC3C,OAKE,KACoD;AACtD,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,SAAC,OAAO,EAAE,gBAAgB,KAAK;AAC7B,cAAE,CAAA,QAAA,EAAW,UAAU,CAAC,QAAQ,CAAA,CAAA;AAChC,cAAE,CAAA,iBAAA,EAAoB,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA,CAAA,CAAG,CAAC;AAEhG,IAAA,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CACnD,OAAO,EAAE,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAC3D;AAED,IAAA,MAAM,YAAY;;IAEhB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAClC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAU,CACpE,CAIF;IAEH,OAAO,MAAM,CAAC,YAAY,EAAE;AAC1B,QAAA,QAAQ,EAAE,cAAc;AACxB,QAAA,wBAAwB,EACtB,OAAO,EAAE,wBAAwB,IAAI,UAAU,CAAC,wBAAwB;AAC1E,QAAA,kBAAkB,EAChB,OAAO,EAAE,kBAAkB,IAAI,UAAU,CAAC,kBAAkB;AAC/D,KAAA,CAAC;AACJ;;;;"}

package/dist/record/pick.d.mts

@@ -1,9 +1,9 @@
-import { type RecordType, type Type } from '../type.mjs';
+import { type ExcessPropertyBehavior, type RecordType, type Type } from '../type.mjs';
 /** Creates a record type with keys picked. */
-export declare const pick: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToPick extends readonly (keyof R & string)[]>(recordType: RecordType<R>, keysToPick: KeysToPick, options?: PartialReadonly<{
+export declare const pick: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToPick extends readonly (keyof R & string)[], const ExcessValidation extends ExcessPropertyBehavior = "strip">(recordType: RecordType<R, ExcessValidation>, keysToPick: KeysToPick, options?: PartialReadonly<{
     typeName: string;
-    /** @default true */
-    allowExcessProperties: boolean;
-}>) => PickedType<R, KeysToPick>;
-export type PickedType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToPick extends readonly (keyof R)[]> = RecordType<Pick<R, ArrayElement<KeysToPick>>>;
+    excessPropertyValidation: ExcessValidation;
+    excessPropertyFill: Extract<ExcessPropertyBehavior, "allow" | "strip">;
+}>) => PickedType<R, KeysToPick, ExcessValidation>;
+export type PickedType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToPick extends readonly (keyof R)[], ExcessValidation extends ExcessPropertyBehavior = 'strip'> = RecordType<Pick<R, ArrayElement<KeysToPick>>, ExcessValidation>;
 //# sourceMappingURL=pick.d.mts.map

package/dist/record/pick.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"pick.d.mts","sourceRoot":"","sources":["../../src/record/pick.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAIzD,8CAA8C;AAC9C,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,EAEtD,YAAY,UAAU,CAAC,CAAC,CAAC,EACzB,YAAY,UAAU,EACtB,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,KACD,UAAU,CAAC,CAAC,EAAE,UAAU,CAOvB,CAAC;AAEL,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IACrC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"pick.d.mts","sourceRoot":"","sources":["../../src/record/pick.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,UAAU,EACf,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAIrB,8CAA8C;AAC9C,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,EACtD,KAAK,CAAC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,EAE/D,YAAY,UAAU,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAC3C,YAAY,UAAU,EACtB,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB,EAAE,gBAAgB,CAAC;IAC3C,kBAAkB,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC;CACxE,CAAC,KACD,UAAU,CAAC,CAAC,EAAE,UAAU,EAAE,gBAAgB,CASzC,CAAC;AAEL,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,UAAU,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACvC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,IACvD,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/record/pick.mjs

@@ -6,7 +6,8 @@ import { record } from './record.mjs';
 const pick = (recordType, keysToPick, options) => record(Obj.pick(recordType.shape, keysToPick), {
     typeName: options?.typeName ??
         `Pick<${recordType.typeName}, ${toUnionKeyString(keysToPick)}>`,
-    allowExcessProperties: options?.allowExcessProperties ?? recordType.allowExcessProperties,
+    excessPropertyValidation: options?.excessPropertyValidation ?? recordType.excessPropertyValidation,
+    excessPropertyFill: options?.excessPropertyFill ?? recordType.excessPropertyFill,
 });
 
 export { pick };

package/dist/record/pick.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"pick.mjs","sources":["../../src/record/pick.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AAKA;AACO,MAAM,IAAI,GAAG,CAIlB,UAAyB,EACzB,UAAsB,EACtB,OAKE,KAEF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;IAC7C,QAAQ,EACN,OAAO,EAAE,QAAQ;QACjB,CAAA,KAAA,EAAQ,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,UAAU,CAAC,CAAA,CAAA,CAAG;AACjE,IAAA,qBAAqB,EACnB,OAAO,EAAE,qBAAqB,IAAI,UAAU,CAAC,qBAAqB;AACrE,CAAA;;;;"}
+{"version":3,"file":"pick.mjs","sources":["../../src/record/pick.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;AASA;AACO,MAAM,IAAI,GAAG,CAKlB,UAA2C,EAC3C,UAAsB,EACtB,OAIE,KAEF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;IAC7C,QAAQ,EACN,OAAO,EAAE,QAAQ;QACjB,CAAA,KAAA,EAAQ,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,UAAU,CAAC,CAAA,CAAA,CAAG;AACjE,IAAA,wBAAwB,EACtB,OAAO,EAAE,wBAAwB,IAAI,UAAU,CAAC,wBAAwB;AAC1E,IAAA,kBAAkB,EAChB,OAAO,EAAE,kBAAkB,IAAI,UAAU,CAAC,kBAAkB;AAC/D,CAAA;;;;"}

package/dist/record/record.d.mts

@@ -1,15 +1,28 @@
-import { type RecordType, type Type } from '../type.mjs';
-export declare const record: <const R extends ReadonlyRecord<string, Type<unknown>>>(shape: R, options?: PartialReadonly<{
+import { type ExcessPropertyBehavior, type ExcessPropertyFillBehavior, type RecordType, type Type } from '../type.mjs';
+export declare const record: <const R extends ReadonlyRecord<string, Type<unknown>>, const ExcessValidation extends ExcessPropertyBehavior = "strip">(shape: R, options?: PartialReadonly<{
     typeName: string;
-    /** @default true */
-    allowExcessProperties: boolean;
-}>) => RecordType<R>;
+    /**
+     * Behavior when validating objects with excess properties.
+     * - 'allow': Accept excess properties
+     * - 'strip': Remove excess properties from the result (default)
+     * - 'error': Reject objects with excess properties
+     * @default 'strip'
+     */
+    excessPropertyValidation: ExcessValidation;
+    /**
+     * Behavior when filling objects with excess properties.
+     * - 'allow': Keep excess properties in the result
+     * - 'strip': Remove excess properties from the result (default)
+     * @default 'strip'
+     */
+    excessPropertyFill: ExcessPropertyFillBehavior;
+}>) => RecordType<R, ExcessValidation>;
 /**
  * Creates a strict record type that does not allow excess properties.
- * This is an alias for `record(source, { allowExcessProperties: false })`.
+ * This is an alias for `record(source, { excessPropertyValidation: 'error' })`.
  *
  * @param source - The record schema definition
- * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @param options - Optional configuration
  * @returns A Type that validates records without allowing excess properties
  *
  * @example
@@ -27,5 +40,6 @@ export declare const record: <const R extends ReadonlyRecord<string, Type<unknow
  */
 export declare const strictRecord: <const R extends ReadonlyRecord<string, Type<unknown>>>(source: R, options?: PartialReadonly<{
     typeName: string;
-}>) => RecordType<R>;
+    excessPropertyFill: Extract<ExcessPropertyBehavior, "allow" | "strip">;
+}>) => RecordType<R, "error">;
 //# sourceMappingURL=record.d.mts.map

package/dist/record/record.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"record.d.mts","sourceRoot":"","sources":["../../src/record/record.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,UAAU,EAEf,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAUrB,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC1E,OAAO,CAAC,EACR,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,KACD,UAAU,CAAC,CAAC,CAgHd,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAErD,QAAQ,CAAC,EACT,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,KACD,UAAU,CAAC,CAAC,CAC+C,CAAC"}
+{"version":3,"file":"record.d.mts","sourceRoot":"","sources":["../../src/record/record.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,EAC/B,KAAK,UAAU,EAEf,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAUrB,eAAO,MAAM,MAAM,GACjB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,EAE/D,OAAO,CAAC,EACR,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IAEjB;;;;;;OAMG;IACH,wBAAwB,EAAE,gBAAgB,CAAC;IAE3C;;;;;OAKG;IACH,kBAAkB,EAAE,0BAA0B,CAAC;CAChD,CAAC,KACD,UAAU,CAAC,CAAC,EAAE,gBAAgB,CA0JhC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAErD,QAAQ,CAAC,EACT,UAAU,eAAe,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC;CACxE,CAAC,KACD,UAAU,CAAC,CAAC,EAAE,OAAO,CAC2C,CAAC"}

package/dist/record/record.mjs

@@ -10,10 +10,14 @@ const record = (shape, options) => {
         `{ ${Object.entries(shape)
             .map(([k, v]) => `${k}: ${v.typeName}`)
             .join(', ')} }`;
-    const allowExcessProperties = options?.allowExcessProperties ?? true;
+    const excessPropertyValidation = options?.excessPropertyValidation ?? 'strip';
+    const excessPropertyFill = options?.excessPropertyFill ?? 'strip';
     const defaultValue = 
     // eslint-disable-next-line total-functions/no-unsafe-type-assertion
     Object.fromEntries(Object.entries(shape).map(([key, value]) => tp(key, value.defaultValue)));
+    const stripExcessProperties = (obj) => 
+    // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+    Object.fromEntries(Object.entries(obj).filter(([key]) => sourceKeys.has(key)));
     const validate = (a) => {
         if (!isRecord(a)) {
             return Result.err([
@@ -51,10 +55,18 @@ const record = (shape, options) => {
                 }
             }
         });
-        // Check for excess properties if allowExcessProperties is false
-        if (!allowExcessProperties) {
-            const excessKeys = Object.keys(a).filter((key) => !sourceKeys.has(key));
-            if (excessKeys.length > 0) {
+        switch (excessPropertyValidation) {
+            case 'allow':
+                return defaultErrors.length > 0
+                    ? Result.err(defaultErrors)
+                    : // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+                        Result.ok(a);
+            case 'strip':
+                return defaultErrors.length > 0
+                    ? Result.err(defaultErrors)
+                    : Result.ok(stripExcessProperties(a));
+            case 'error': {
+                const excessKeys = Object.keys(a).filter((key) => !sourceKeys.has(key));
                 const excessErrors = excessKeys.map((key) => ({
                     path: [key],
                     actualValue: a[key],
@@ -65,19 +77,36 @@ const record = (shape, options) => {
                         key,
                     },
                 }));
-                return Result.err([...defaultErrors, ...excessErrors]);
+                // Combine all errors
+                const allErrors = [...defaultErrors, ...excessErrors];
+                return allErrors.length > 0
+                    ? Result.err(allErrors)
+                    : // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+                        Result.ok(a);
             }
         }
-        if (defaultErrors.length > 0) {
-            return Result.err(defaultErrors);
+    };
+    const fill = (a) => {
+        if (!isRecord(a)) {
+            return defaultValue;
+        }
+        // Handle excess properties based on fill option
+        switch (excessPropertyFill) {
+            case 'allow': {
+                const excessEntries = Object.entries(a).filter(([key]) => !sourceKeys.has(key));
+                // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+                return Object.fromEntries([
+                    ...Object.entries(shape).map(([k, v]) => tp(k, Object.hasOwn(a, k) ? v.fill(a[k]) : v.defaultValue)),
+                    ...excessEntries,
+                ]);
+            }
+            case 'strip': {
+                // For 'strip' or 'error' (treated as 'strip' for fill), return only defined keys
+                // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+                return Object.fromEntries(Object.entries(shape).map(([k, v]) => tp(k, Object.hasOwn(a, k) ? v.fill(a[k]) : v.defaultValue)));
+            }
         }
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        return Result.ok(a);
     };
-    const fill = (a) => isRecord(a)
-        ? // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-            Object.fromEntries(Object.entries(shape).map(([k, v]) => tp(k, Object.hasOwn(a, k) ? v.fill(a[k]) : v.defaultValue)))
-        : defaultValue;
     return {
         typeName: typeNameFilled,
         defaultValue,
@@ -87,15 +116,17 @@ const record = (shape, options) => {
         assertIs: createAssertFn(validate),
         cast: createCastFn(validate),
         shape,
-        allowExcessProperties,
+        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
+        excessPropertyValidation: excessPropertyValidation,
+        excessPropertyFill,
     };
 };
 /**
  * Creates a strict record type that does not allow excess properties.
- * This is an alias for `record(source, { allowExcessProperties: false })`.
+ * This is an alias for `record(source, { excessPropertyValidation: 'error' })`.
  *
  * @param source - The record schema definition
- * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @param options - Optional configuration
  * @returns A Type that validates records without allowing excess properties
  *
  * @example
@@ -111,7 +142,7 @@ const record = (shape, options) => {
  * User.is({ name: "John", age: 30, extra: "not allowed" }); // false
  * ```
  */
-const strictRecord = (source, options) => record(source, { ...options, allowExcessProperties: false });
+const strictRecord = (source, options) => record(source, { ...options, excessPropertyValidation: 'error' });
 
 export { record, strictRecord };
 //# sourceMappingURL=record.mjs.map

package/dist/record/record.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"record.mjs","sources":["../../src/record/record.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAea,MAAM,GAAG,CACpB,KAAQ,EACR,OAKE,KACe;AAGjB,IAAA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE9C,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,EAAA,EAAK,MAAM,CAAC,OAAO,CAAC,KAAK;AACtB,aAAA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA,EAAA,EAAK,CAAC,CAAC,QAAQ,EAAE;AACrC,aAAA,IAAI,CAAC,IAAI,CAAC,CAAA,EAAA,CAAI;AAEnB,IAAA,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,IAAI,IAAI;AAEpE,IAAA,MAAM,YAAY;;AAEhB,IAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACpE;AAER,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;AAC1C,QAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YAChB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;AACtB,oBAAA,QAAQ,EAAE,cAAc;AACxB,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,aAAa,GAA+B,GAAG,CAAC,QAAQ,CAC5D,aAAS;AACP,YAAA,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBAClD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;oBACxB,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,IAAI,EAAE;wBAC/B,MAAM;4BACJ,IAAI,EAAE,CAAC,CAAC,CAAC;AACT,4BAAA,WAAW,EAAE,CAAC;AACd,4BAAA,QAAQ,EAAE,cAAc;AACxB,4BAAA,YAAY,EAAE,cAAc;AAC5B,4BAAA,OAAO,EAAE;AACP,gCAAA,IAAI,EAAE,aAAa;AACnB,gCAAA,GAAG,EAAE,CAAC;AACP,6BAAA;yBACwB;oBAC7B;gBACF;qBAAO;;AAEL,oBAAA,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACd,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEjC,oBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;wBACrB,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;oBACpD;gBACF;YACF;AACF,QAAA,CAAC,CACF;;QAGD,IAAI,CAAC,qBAAqB,EAAE;YAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEvE,YAAA,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;gBACzB,MAAM,YAAY,GAA+B,UAAU,CAAC,GAAG,CAC7D,CAAC,GAAG,MACD;oBACC,IAAI,EAAE,CAAC,GAAG,CAAC;AACX,oBAAA,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC;AACnB,oBAAA,QAAQ,EAAE,cAAc;AACxB,oBAAA,YAAY,EAAE,cAAc;AAC5B,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,YAAY;wBAClB,GAAG;AACJ,qBAAA;AACF,iBAAA,CAA2B,CAC/B;AAED,gBAAA,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,YAAY,CAAC,CAAC;YACxD;QACF;AAEA,QAAA,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE;AAC5B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;QAClC;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;IAED,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,QAAQ,CAAC,CAAC;AACR;YACG,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAC/B,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAC3D;UAEH,YAAY;IAElB,OAAO;AACL,QAAA,QAAQ,EAAE,cAAc;QACxB,YAAY;QACZ,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,KAAK;QACL,qBAAqB;KACtB;AACH;AAEA;;;;;;;;;;;;;;;;;;;;AAoBG;AACI,MAAM,YAAY,GAAG,CAG1B,MAAS,EACT,OAEE,KAEF,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE;;;;"}
+{"version":3,"file":"record.mjs","sources":["../../src/record/record.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAiBa,MAAM,GAAG,CAIpB,KAAQ,EACR,OAmBE,KACiC;AAKnC,IAAA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE9C,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,EAAA,EAAK,MAAM,CAAC,OAAO,CAAC,KAAK;AACtB,aAAA,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA,EAAA,EAAK,CAAC,CAAC,QAAQ,EAAE;AACrC,aAAA,IAAI,CAAC,IAAI,CAAC,CAAA,EAAA,CAAI;AAEnB,IAAA,MAAM,wBAAwB,GAAG,OAAO,EAAE,wBAAwB,IAAI,OAAO;AAC7E,IAAA,MAAM,kBAAkB,GAAG,OAAO,EAAE,kBAAkB,IAAI,OAAO;AAEjE,IAAA,MAAM,YAAY;;AAEhB,IAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACpE;AAER,IAAA,MAAM,qBAAqB,GAAG,CAAC,GAAoC;;IAEjE,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CACtD;AAER,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;AAC1C,QAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YAChB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;AACtB,oBAAA,QAAQ,EAAE,cAAc;AACxB,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,aAAa,GAA+B,GAAG,CAAC,QAAQ,CAC5D,aAAS;AACP,YAAA,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBAClD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;oBACxB,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,IAAI,EAAE;wBAC/B,MAAM;4BACJ,IAAI,EAAE,CAAC,CAAC,CAAC;AACT,4BAAA,WAAW,EAAE,CAAC;AACd,4BAAA,QAAQ,EAAE,cAAc;AACxB,4BAAA,YAAY,EAAE,cAAc;AAC5B,4BAAA,OAAO,EAAE;AACP,gCAAA,IAAI,EAAE,aAAa;AACnB,gCAAA,GAAG,EAAE,CAAC;AACP,6BAAA;yBACwB;oBAC7B;gBACF;qBAAO;;AAEL,oBAAA,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACd,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEjC,oBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;wBACrB,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;oBACpD;gBACF;YACF;AACF,QAAA,CAAC,CACF;QAED,QAAQ,wBAAwB;AAC9B,YAAA,KAAK,OAAO;AACV,gBAAA,OAAO,aAAa,CAAC,MAAM,GAAG;AAC5B,sBAAE,MAAM,CAAC,GAAG,CAAC,aAAa;AAC1B;AACE,wBAAA,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAEvB,YAAA,KAAK,OAAO;AACV,gBAAA,OAAO,aAAa,CAAC,MAAM,GAAG;AAC5B,sBAAE,MAAM,CAAC,GAAG,CAAC,aAAa;sBACxB,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAEzC,KAAK,OAAO,EAAE;gBACZ,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAEvE,MAAM,YAAY,GAA+B,UAAU,CAAC,GAAG,CAC7D,CAAC,GAAG,MACD;oBACC,IAAI,EAAE,CAAC,GAAG,CAAC;AACX,oBAAA,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC;AACnB,oBAAA,QAAQ,EAAE,cAAc;AACxB,oBAAA,YAAY,EAAE,cAAc;AAC5B,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,YAAY;wBAClB,GAAG;AACJ,qBAAA;AACF,iBAAA,CAA2B,CAC/B;;gBAGD,MAAM,SAAS,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,YAAY,CAAC;AAErD,gBAAA,OAAO,SAAS,CAAC,MAAM,GAAG;AACxB,sBAAE,MAAM,CAAC,GAAG,CAAC,SAAS;AACtB;AACE,wBAAA,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;YACvB;;AAEJ,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAAI;AAClC,QAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;AAChB,YAAA,OAAO,YAAY;QACrB;;QAGA,QAAQ,kBAAkB;YACxB,KAAK,OAAO,EAAE;gBACZ,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAC5C,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAChC;;gBAED,OAAO,MAAM,CAAC,WAAW,CAAC;oBACxB,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAClC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAC3D;AACD,oBAAA,GAAG,aAAa;AACjB,iBAAA,CAAM;YACT;YAEA,KAAK,OAAO,EAAE;;;gBAGZ,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAC/B,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAC3D,CACG;YACR;;AAEJ,IAAA,CAAC;IAED,OAAO;AACL,QAAA,QAAQ,EAAE,cAAc;QACxB,YAAY;QACZ,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,KAAK;;AAEL,QAAA,wBAAwB,EAAE,wBAA4C;QACtE,kBAAkB;KACnB;AACH;AAEA;;;;;;;;;;;;;;;;;;;;AAoBG;AACI,MAAM,YAAY,GAAG,CAG1B,MAAS,EACT,OAGE,KAEF,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,wBAAwB,EAAE,OAAO,EAAE;;;;"}

package/dist/record/required.d.mts

@@ -1,15 +1,15 @@
-import { type RecordType, type Type } from '../type.mjs';
+import { type ExcessPropertyBehavior, type RecordType, type Type } from '../type.mjs';
 import { type RequiredPropertyType } from './optional.mjs';
 /**
  * Creates a Required type. If keysToBeRequired is set, only those keys are
  * made required, otherwise, all properties are made required.
  */
-export declare const required: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToBeRequired extends NonEmptyArray<keyof R & string>>(recordType: RecordType<R>, options?: PartialReadonly<{
+export declare const required: <const R extends ReadonlyRecord<string, Type<unknown>>, const KeysToBeRequired extends NonEmptyArray<keyof R & string>, const ExcessValidation extends ExcessPropertyBehavior = "strip">(recordType: RecordType<R, ExcessValidation>, options?: PartialReadonly<{
     keysToBeRequired: KeysToBeRequired;
     typeName: string;
-    /** @default true */
-    allowExcessProperties: boolean;
-}>) => RequiredType<R, KeysToBeRequired>;
+    excessPropertyValidation: ExcessValidation;
+    excessPropertyFill: Extract<ExcessPropertyBehavior, "allow" | "strip">;
+}>) => RequiredType<R, KeysToBeRequired, ExcessValidation>;
 type RequiredTypeShape<R extends ReadonlyRecord<string, Type<unknown>>, KeysToBeRequired extends NonEmptyArray<keyof R & string> | undefined> = TypeEq<KeysToBeRequired, undefined> extends true ? FullyRequiredType<R> : PartiallyRequiredType<R, ArrayElement<KeysToBeRequired>>;
 type FullyRequiredType<R extends ReadonlyRecord<string, Type<unknown>>> = {
     readonly [P in keyof R]: RequiredPropertyType<R[P]>;
@@ -17,6 +17,6 @@ type FullyRequiredType<R extends ReadonlyRecord<string, Type<unknown>>> = {
 type PartiallyRequiredType<R extends ReadonlyRecord<string, Type<unknown>>, K extends keyof R> = {
     readonly [P in keyof R]: P extends K ? RequiredPropertyType<R[P]> : R[P];
 };
-export type RequiredType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToBeRequired extends NonEmptyArray<keyof R & string> | undefined> = RecordType<RequiredTypeShape<R, KeysToBeRequired>>;
+export type RequiredType<R extends ReadonlyRecord<string, Type<unknown>>, KeysToBeRequired extends NonEmptyArray<keyof R & string> | undefined, ExcessValidation extends ExcessPropertyBehavior = 'strip'> = RecordType<RequiredTypeShape<R, KeysToBeRequired>, ExcessValidation>;
 export {};
 //# sourceMappingURL=required.d.mts.map

package/dist/record/required.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"required.d.mts","sourceRoot":"","sources":["../../src/record/required.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAEzD,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,gBAAgB,CAAC;AAGxB;;;GAGG;AACH,eAAO,MAAM,QAAQ,GACnB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAE9D,YAAY,UAAU,CAAC,CAAC,CAAC,EACzB,UAAU,eAAe,CAAC;IACxB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,KACD,YAAY,CAAC,CAAC,EAAE,gBAAgB,CA2BlC,CAAC;AAaF,KAAK,iBAAiB,CACpB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,IAEpE,MAAM,CAAC,gBAAgB,EAAE,SAAS,CAAC,SAAS,IAAI,GAC5C,iBAAiB,CAAC,CAAC,CAAC,GACpB,qBAAqB,CAAC,CAAC,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAE/D,KAAK,iBAAiB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;IACxE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,KAAK,qBAAqB,CACxB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,CAAC,SAAS,MAAM,CAAC,IACf;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACzE,CAAC;AAEF,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,IAClE,UAAU,CAAC,iBAAiB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC"}
+{"version":3,"file":"required.d.mts","sourceRoot":"","sources":["../../src/record/required.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,UAAU,EACf,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAErB,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,gBAAgB,CAAC;AAGxB;;;GAGG;AACH,eAAO,MAAM,QAAQ,GACnB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACrD,KAAK,CAAC,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAC9D,KAAK,CAAC,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,EAE/D,YAAY,UAAU,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAC3C,UAAU,eAAe,CAAC;IACxB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB,EAAE,gBAAgB,CAAC;IAC3C,kBAAkB,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC;CACxE,CAAC,KACD,YAAY,CAAC,CAAC,EAAE,gBAAgB,EAAE,gBAAgB,CA6BpD,CAAC;AAaF,KAAK,iBAAiB,CACpB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,IAEpE,MAAM,CAAC,gBAAgB,EAAE,SAAS,CAAC,SAAS,IAAI,GAC5C,iBAAiB,CAAC,CAAC,CAAC,GACpB,qBAAqB,CAAC,CAAC,EAAE,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAE/D,KAAK,iBAAiB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;IACxE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,KAAK,qBAAqB,CACxB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,CAAC,SAAS,MAAM,CAAC,IACf;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACzE,CAAC;AAEF,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,gBAAgB,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,SAAS,EACpE,gBAAgB,SAAS,sBAAsB,GAAG,OAAO,IACvD,UAAU,CAAC,iBAAiB,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/record/required.mjs

@@ -18,7 +18,8 @@ const required = (recordType, options) => {
     Object.fromEntries(Object.entries(recordType.shape).map(([k, v]) => [k, keysToBeRequired.has(k) ? makeRequired(v) : v]));
     return record(requiredShape, {
         typeName: typeNameFilled,
-        allowExcessProperties: options?.allowExcessProperties ?? recordType.allowExcessProperties,
+        excessPropertyValidation: options?.excessPropertyValidation ?? recordType.excessPropertyValidation,
+        excessPropertyFill: options?.excessPropertyFill ?? recordType.excessPropertyFill,
     });
 };
 /**

package/dist/record/required.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"required.mjs","sources":["../../src/record/required.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AAUA;;;AAGG;MACU,QAAQ,GAAG,CAItB,UAAyB,EACzB,OAME,KACmC;AACrC,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,SAAC,OAAO,EAAE,gBAAgB,KAAK;AAC7B,cAAE,CAAA,SAAA,EAAY,UAAU,CAAC,QAAQ,CAAA,CAAA;AACjC,cAAE,CAAA,kBAAA,EAAqB,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA,CAAA,CAAG,CAAC;AAEjG,IAAA,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CACnD,OAAO,EAAE,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAC3D;AAED,IAAA,MAAM,aAAa;;IAEjB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAClC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAU,CACxE,CAIF;IAEH,OAAO,MAAM,CAAC,aAAa,EAAE;AAC3B,QAAA,QAAQ,EAAE,cAAc;AACxB,QAAA,qBAAqB,EACnB,OAAO,EAAE,qBAAqB,IAAI,UAAU,CAAC,qBAAqB;AACrE,KAAA,CAAC;AACJ;AAEA;;AAEG;AACH,MAAM,YAAY,GAAG,CACnB,CAAI,KAEJ,kBAAkB,CAAC,CAAC;AAClB;QACG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC;MACzB,CAAC;;;;"}
+{"version":3,"file":"required.mjs","sources":["../../src/record/required.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;AAcA;;;AAGG;MACU,QAAQ,GAAG,CAKtB,UAA2C,EAC3C,OAKE,KACqD;AACvD,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,SAAC,OAAO,EAAE,gBAAgB,KAAK;AAC7B,cAAE,CAAA,SAAA,EAAY,UAAU,CAAC,QAAQ,CAAA,CAAA;AACjC,cAAE,CAAA,kBAAA,EAAqB,UAAU,CAAC,QAAQ,CAAA,EAAA,EAAK,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA,CAAA,CAAG,CAAC;AAEjG,IAAA,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CACnD,OAAO,EAAE,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAC3D;AAED,IAAA,MAAM,aAAa;;IAEjB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAClC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAU,CACxE,CAIF;IAEH,OAAO,MAAM,CAAC,aAAa,EAAE;AAC3B,QAAA,QAAQ,EAAE,cAAc;AACxB,QAAA,wBAAwB,EACtB,OAAO,EAAE,wBAAwB,IAAI,UAAU,CAAC,wBAAwB;AAC1E,QAAA,kBAAkB,EAChB,OAAO,EAAE,kBAAkB,IAAI,UAAU,CAAC,kBAAkB;AAC/D,KAAA,CAAC;AACJ;AAEA;;AAEG;AACH,MAAM,YAAY,GAAG,CACnB,CAAI,KAEJ,kBAAkB,CAAC,CAAC;AAClB;QACG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC;MACzB,CAAC;;;;"}

package/dist/type.d.mts

@@ -1,4 +1,3 @@
-import { type Result } from 'ts-data-forge';
 import { type ValidationError } from './utils/index.mjs';
 /**
  * - `typeName` : Name for this type
@@ -26,9 +25,12 @@ export type TypeOf<A extends Type<unknown>> = A['defaultValue'];
 export type OptionalType<A> = MergeIntersection<Type<A> & Readonly<{
     optional: true;
 }>>;
-export type RecordType<R extends ReadonlyRecord<string, Type<unknown>>> = Type<TsFortressInternal.RecordTypeValue<R>> & Readonly<{
+export type ExcessPropertyBehavior = 'allow' | 'strip' | 'error';
+export type ExcessPropertyFillBehavior = Extract<ExcessPropertyBehavior, 'allow' | 'strip'>;
+export type RecordType<R extends ReadonlyRecord<string, Type<unknown>>, ExcessPropertyValidation extends ExcessPropertyBehavior = 'strip'> = Type<ExcessPropertyValidation extends 'allow' ? TsFortressInternal.RecordTypeValue<R> | UnknownRecord : TsFortressInternal.RecordTypeValue<R>> & Readonly<{
     shape: R;
-    allowExcessProperties: boolean;
+    excessPropertyValidation: ExcessPropertyValidation;
+    excessPropertyFill: ExcessPropertyFillBehavior;
 }>;
 export declare namespace TsFortressInternal {
     export type RecordTypeValue<R extends ReadonlyRecord<string, Type<unknown>>> = RecordTypeValueImpl<R>;

package/dist/type.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"type.d.mts","sourceRoot":"","sources":["../src/type.mts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,CAAC,CAAC;IAChB,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACxB,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC;IAEhE,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC;AAEhE,kBAAkB;AAClB,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,iBAAiB,CAC7C,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC,CACvC,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAC5E,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,CACtC,GACC,QAAQ,CAAC;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,qBAAqB,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAWzD,yBAAiB,kBAAkB,CAAC;IAClC,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IACzE,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAEzB,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAC7C,sBAAsB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnD,KAAK,sBAAsB,CACzB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,YAAY,SAAS,MAAM,CAAC,IAE5B,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,SAAS,IAAI,GACpC,QAAQ,CAAC;SACN,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACxD,CAAC,GACF,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,SAAS,IAAI,GACxC,QAAQ,CACN,iBAAiB,CAAC;SACf,GAAG,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACvC,CAAC,CACH,GACD,QAAQ,CACN,iBAAiB,CACf;SACG,GAAG,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACvC,GAAG;SACD,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACxD,CACF,CACF,CAAC;IAEV,KAAK,gBAAgB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;SACtE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;YAAE,QAAQ,EAAE,IAAI,CAAA;SAAE,GAAG,CAAC,GAAG,KAAK;KAC5D,CAAC,MAAM,CAAC,CAAC,CAAC;;CACZ"}
+{"version":3,"file":"type.d.mts","sourceRoot":"","sources":["../src/type.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;;;;;GASG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,CAAC,CAAC;IAChB,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACxB,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC;IAEhE,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC;AAEhE,kBAAkB;AAClB,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,iBAAiB,CAC7C,IAAI,CAAC,CAAC,CAAC,GACL,QAAQ,CAAC;IACP,QAAQ,EAAE,IAAI,CAAC;CAChB,CAAC,CACL,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAEjE,MAAM,MAAM,0BAA0B,GAAG,OAAO,CAC9C,sBAAsB,EACtB,OAAO,GAAG,OAAO,CAClB,CAAC;AAEF,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,wBAAwB,SAAS,sBAAsB,GAAG,OAAO,IAC/D,IAAI,CACN,wBAAwB,SAAS,OAAO,GACpC,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,aAAa,GACrD,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAC,CAC1C,GACC,QAAQ,CAAC;IACP,KAAK,EAAE,CAAC,CAAC;IACT,wBAAwB,EAAE,wBAAwB,CAAC;IACnD,kBAAkB,EAAE,0BAA0B,CAAC;CAChD,CAAC,CAAC;AAYL,yBAAiB,kBAAkB,CAAC;IAClC,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IACzE,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAEzB,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAC7C,sBAAsB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnD,KAAK,sBAAsB,CACzB,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC/C,YAAY,SAAS,MAAM,CAAC,IAE5B,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,SAAS,IAAI,GACpC,QAAQ,CAAC;SACN,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACxD,CAAC,GACF,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,SAAS,IAAI,GACxC,QAAQ,CACN,iBAAiB,CAAC;SACf,GAAG,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACvC,CAAC,CACH,GACD,QAAQ,CACN,iBAAiB,CACf;SACG,GAAG,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACvC,GAAG;SACD,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;KACxD,CACF,CACF,CAAC;IAEV,KAAK,gBAAgB,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;SACtE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;YAAE,QAAQ,EAAE,IAAI,CAAA;SAAE,GAAG,CAAC,GAAG,KAAK;KAC5D,CAAC,MAAM,CAAC,CAAC,CAAC;;CACZ"}

package/dist/utils/create-is-fn.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"create-is-fn.d.mts","sourceRoot":"","sources":["../../src/utils/create-is-fn.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,eAAO,MAAM,UAAU,GACpB,CAAC,EAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MACjC,GAAG,OAAO,KAAG,CAAC,IAAI,CACO,CAAC"}
+{"version":3,"file":"create-is-fn.d.mts","sourceRoot":"","sources":["../../src/utils/create-is-fn.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,eAAO,MAAM,UAAU,GACpB,CAAC,EAAG,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MACjC,GAAG,OAAO,KAAG,CAAC,IAAI,CACS,CAAC"}

package/dist/utils/create-is-fn.mjs

@@ -1,6 +1,6 @@
 import { Result } from 'ts-data-forge';
 
-const createIsFn = (validate) => (a) => Result.isOk(validate(a));
+const createIsFn = (validate) => (a) => !Result.isErr(validate(a));
 
 export { createIsFn };
 //# sourceMappingURL=create-is-fn.mjs.map

package/dist/utils/create-is-fn.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"create-is-fn.mjs","sources":["../../src/utils/create-is-fn.mts"],"sourcesContent":[null],"names":[],"mappings":";;MAGa,UAAU,GACrB,CAAK,QAA6B,KAClC,CAAC,CAAU,KACT,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;;;;"}
+{"version":3,"file":"create-is-fn.mjs","sources":["../../src/utils/create-is-fn.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAGO,MAAM,UAAU,GACrB,CAAK,QAA6B,KAClC,CAAC,CAAU,KACT,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;;;;"}