ts-fortress 2.1.0 → 2.2.1

package/README.md

@@ -553,6 +553,12 @@ const StrictUserType = t.record(
     },
 );
 
+// Alternatively, use the strictRecord alias for cleaner syntax
+const StrictUserTypeAlias = t.strictRecord({
+    id: t.string(''),
+    name: t.string(''),
+});
+
 // Permissive validation (allow excess properties) - this is the default
 const PermissiveUserType = t.record(
     {
@@ -564,12 +570,29 @@ const PermissiveUserType = t.record(
     },
 );
 
-// Example usage
+// Example usage - both StrictUserType and StrictUserTypeAlias behave identically
 const strictData = { id: '123', name: 'John', extra: 'not allowed' };
 console.log(StrictUserType.is(strictData)); // false - 'extra' property causes rejection
+console.log(StrictUserTypeAlias.is(strictData)); // false - same as above
 
 const permissiveData = { id: '123', name: 'John', extra: 'allowed' };
 console.log(PermissiveUserType.is(permissiveData)); // true - 'extra' property is allowed
+
+// strictRecord provides cleaner syntax for strict validation
+const UserSchema = t.strictRecord({
+    name: t.string(''),
+    email: t.string(''),
+    age: t.number(0),
+});
+
+// Validation examples
+UserSchema.is({ name: 'John', email: 'john@example.com', age: 30 }); // ✅ true
+UserSchema.is({
+    name: 'John',
+    email: 'john@example.com',
+    age: 30,
+    role: 'admin',
+}); // ❌ false - excess property
 ```
 
 ### Branded Types
@@ -740,6 +763,7 @@ type ValidationError = Readonly<{
 
 - `t.record(schema, options?)` - Object validation
     - `options.allowExcessProperties?: boolean` - Allow properties not defined in schema (default: true)
+- `t.strictRecord(schema, options?)` - Object validation with strict mode (alias for `record` with `allowExcessProperties: false`)
 - `t.keyValueRecord(keyType, valueType)` - Corresponding to the `Record<K, V>` type
 - `t.partial(recordType)` - Make all fields optional
 - `t.optional(type)` - Optional field wrapper

package/dist/index.mjs

@@ -39,7 +39,7 @@ export { omit } from './record/omit.mjs';
 export { isOptionalProperty, optional } from './record/optional.mjs';
 export { partial } from './record/partial.mjs';
 export { pick } from './record/pick.mjs';
-export { record } from './record/record.mjs';
+export { record, strictRecord } from './record/record.mjs';
 export { unknown } from './unknown.mjs';
 export { createAssertFn } from './utils/create-assert-fn.mjs';
 export { createCastFn } from './utils/create-cast-fn.mjs';

package/dist/record/index.mjs

@@ -4,5 +4,5 @@ export { omit } from './omit.mjs';
 export { isOptionalProperty, optional } from './optional.mjs';
 export { partial } from './partial.mjs';
 export { pick } from './pick.mjs';
-export { record } from './record.mjs';
+export { record, strictRecord } from './record.mjs';
 //# sourceMappingURL=index.mjs.map

package/dist/record/key-value-record.d.mts

@@ -1,5 +1,5 @@
 import { type Type, type TypeOf } from '../type.mjs';
-type RecordResultType<K extends Type<string>, V extends Type<unknown>> = Record<TypeOf<K>, TypeOf<V>>;
+type RecordResultType<K extends Type<string>, V extends Type<unknown>> = ReadonlyRecord<TypeOf<K>, TypeOf<V>>;
 export declare const keyValueRecord: <K extends Type<string>, V extends Type<unknown>>(keyType: K, valueType: V, options?: Readonly<{
     typeName?: string;
 }>) => Type<RecordResultType<K, V>>;

package/dist/record/key-value-record.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"key-value-record.d.mts","sourceRoot":"","sources":["../../src/record/key-value-record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,KAAK,gBAAgB,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAC7E,MAAM,CAAC,CAAC,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,CACV,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EAC5E,SAAS,CAAC,EACV,WAAW,CAAC,EACZ,UAAU,QAAQ,CAAC;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,KACxC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAoF7B,CAAC"}
+{"version":3,"file":"key-value-record.d.mts","sourceRoot":"","sources":["../../src/record/key-value-record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,KAAK,gBAAgB,CACnB,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EACtB,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IACrB,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzC,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EAC5E,SAAS,CAAC,EACV,WAAW,CAAC,EACZ,UAAU,QAAQ,CAAC;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,KACxC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAoF7B,CAAC"}

package/dist/record/record.d.mts

@@ -1,23 +1,51 @@
 import { type Type, type TypeOf } from '../type.mjs';
-export declare const record: <const R extends Record<string, Type<unknown>>>(source: R, options?: Partial<Readonly<{
+export declare const record: <const R extends ReadonlyRecord<string, Type<unknown>>>(source: R, options?: Partial<Readonly<{
     typeName: string;
     /** @default true */
     allowExcessProperties: boolean;
 }>>) => Type<RecordTypeValue<R>>;
-type RecordTypeValue<R extends Record<string, Type<unknown>>> = TsFortressInternal.RecordTypeValueImpl<R>;
+type RecordTypeValue<R extends ReadonlyRecord<string, Type<unknown>>> = TsFortressInternal.RecordTypeValueImpl<R>;
 declare namespace TsFortressInternal {
-    export type RecordTypeValueImpl<R extends Record<string, Type<unknown>>> = RecordTypeValueImplSub<R, OptionalTypeKeys<R>>;
-    type RecordTypeValueImplSub<A extends Record<string, Type<unknown>>, OptionalKeys extends keyof A> = Readonly<{
+    export type RecordTypeValueImpl<R extends ReadonlyRecord<string, Type<unknown>>> = RecordTypeValueImplSub<R, OptionalTypeKeys<R>>;
+    type RecordTypeValueImplSub<A extends ReadonlyRecord<string, Type<unknown>>, OptionalKeys extends keyof A> = TypeEq<OptionalKeys, never> extends true ? Readonly<{
+        [key in Exclude<keyof A, OptionalKeys>]: TypeOf<A[key]>;
+    }> : TypeEq<keyof A, OptionalKeys> extends true ? Readonly<MergeIntersection<{
+        [key in OptionalKeys]?: TypeOf<A[key]>;
+    }>> : Readonly<MergeIntersection<{
         [key in OptionalKeys]?: TypeOf<A[key]>;
     } & {
         [key in Exclude<keyof A, OptionalKeys>]: TypeOf<A[key]>;
-    }>;
-    type OptionalTypeKeys<A extends Record<string, Type<unknown>>> = {
+    }>>;
+    type OptionalTypeKeys<A extends ReadonlyRecord<string, Type<unknown>>> = {
         [K in keyof A]: A[K] extends {
             optional: true;
         } ? K : never;
     }[keyof A];
     export {};
 }
+/**
+ * Creates a strict record type that does not allow excess properties.
+ * This is an alias for `record(source, { allowExcessProperties: false })`.
+ *
+ * @param source - The record schema definition
+ * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @returns A Type that validates records without allowing excess properties
+ *
+ * @example
+ * ```typescript
+ * import { strictRecord, string, number } from 'ts-fortress';
+ *
+ * const User = strictRecord({
+ *   name: string(),
+ *   age: number()
+ * });
+ *
+ * User.is({ name: "John", age: 30 }); // true
+ * User.is({ name: "John", age: 30, extra: "not allowed" }); // false
+ * ```
+ */
+export declare const strictRecord: <const R extends ReadonlyRecord<string, Type<unknown>>>(source: R, options?: Partial<Readonly<{
+    typeName: string;
+}>>) => Type<RecordTypeValue<R>>;
 export {};
 //# 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,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAClE,QAAQ,CAAC,EACT,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAwGzB,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAC1D,kBAAkB,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE5C,kBAAU,kBAAkB,CAAC;IAC3B,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IACrE,sBAAsB,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjD,KAAK,sBAAsB,CACzB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EACvC,YAAY,SAAS,MAAM,CAAC,IAC1B,QAAQ,CACV;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,CAAC;IAEF,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI;SAC9D,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":"record.d.mts","sourceRoot":"","sources":["../../src/record/record.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AASrD,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAC1E,QAAQ,CAAC,EACT,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IAEjB,oBAAoB;IACpB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAwGzB,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,IAClE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;AAE5C,kBAAU,kBAAkB,CAAC;IAC3B,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;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAErD,QAAQ,CAAC,EACT,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CACoC,CAAC"}

package/dist/record/record.mjs

@@ -79,6 +79,28 @@ const record = (source, options) => {
         cast: createCastFn(validate),
     };
 };
+/**
+ * Creates a strict record type that does not allow excess properties.
+ * This is an alias for `record(source, { allowExcessProperties: false })`.
+ *
+ * @param source - The record schema definition
+ * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @returns A Type that validates records without allowing excess properties
+ *
+ * @example
+ * ```typescript
+ * import { strictRecord, string, number } from 'ts-fortress';
+ *
+ * const User = strictRecord({
+ *   name: string(),
+ *   age: number()
+ * });
+ *
+ * User.is({ name: "John", age: 30 }); // true
+ * User.is({ name: "John", age: 30, extra: "not allowed" }); // false
+ * ```
+ */
+const strictRecord = (source, options) => record(source, { ...options, allowExcessProperties: false });
 
-export { record };
+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":";;;;;;MAUa,MAAM,GAAG,CACpB,MAAS,EACT,OAOC,KAC2B;AAG5B,IAAA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAE/C,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,EAAA,EAAK,MAAM,CAAC,OAAO,CAAC,MAAM;AACvB,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,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACrE;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;iBACzB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,aAAa,GAA+B,MAAM,CAAC,OAAO,CAC9D,MAAM,CACP,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAI;YAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;AACxB,gBAAA,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,IAAI;AAAE,oBAAA,OAAO,EAAE;gBAE3C,OAAO;AACL,oBAAA;wBACE,IAAI,EAAE,CAAC,CAAC,CAAC;AACT,wBAAA,WAAW,EAAE,CAAC;AACd,wBAAA,QAAQ,EAAE,cAAc;AACxB,wBAAA,YAAY,EAAE,cAAc;wBAC5B,OAAO,EAAE,CAAA,sBAAA,EAAyB,CAAC,CAAA,CAAA,CAAG;AACF,qBAAA;iBACvC;YACH;AAEA,YAAA,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEjC,YAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;gBACrB,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YACpD;AAEA,YAAA,OAAO,EAAE;AACX,QAAA,CAAC,CAAC;;QAGF,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;oBAC5B,OAAO,EAAE,CAAA,iBAAA,EAAoB,GAAG,CAAA,gBAAA,CAAkB;AACnD,iBAAA,CAAsC,CAC1C;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,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAChC,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;KAC7B;AACH;;;;"}
+{"version":3,"file":"record.mjs","sources":["../../src/record/record.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAUa,MAAM,GAAG,CACpB,MAAS,EACT,OAOC,KAC2B;AAG5B,IAAA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAE/C,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,EAAA,EAAK,MAAM,CAAC,OAAO,CAAC,MAAM;AACvB,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,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CACrE;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;iBACzB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,aAAa,GAA+B,MAAM,CAAC,OAAO,CAC9D,MAAM,CACP,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAI;YAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;AACxB,gBAAA,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,KAAK,IAAI;AAAE,oBAAA,OAAO,EAAE;gBAE3C,OAAO;AACL,oBAAA;wBACE,IAAI,EAAE,CAAC,CAAC,CAAC;AACT,wBAAA,WAAW,EAAE,CAAC;AACd,wBAAA,QAAQ,EAAE,cAAc;AACxB,wBAAA,YAAY,EAAE,cAAc;wBAC5B,OAAO,EAAE,CAAA,sBAAA,EAAyB,CAAC,CAAA,CAAA,CAAG;AACF,qBAAA;iBACvC;YACH;AAEA,YAAA,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEjC,YAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;gBACrB,OAAO,6BAA6B,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YACpD;AAEA,YAAA,OAAO,EAAE;AACX,QAAA,CAAC,CAAC;;QAGF,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;oBAC5B,OAAO,EAAE,CAAA,iBAAA,EAAoB,GAAG,CAAA,gBAAA,CAAkB;AACnD,iBAAA,CAAsC,CAC1C;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,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAChC,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;KAC7B;AACH;AAuCA;;;;;;;;;;;;;;;;;;;;AAoBG;AACI,MAAM,YAAY,GAAG,CAG1B,MAAS,EACT,OAIC,KAED,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "2.1.0",
+  "version": "2.2.1",
   "private": false,
   "keywords": [
     "typescript"

package/src/record/key-value-record.mts

@@ -8,10 +8,10 @@ import {
   type ValidationErrorWithMessage,
 } from '../validation-error.mjs';
 
-type RecordResultType<K extends Type<string>, V extends Type<unknown>> = Record<
-  TypeOf<K>,
-  TypeOf<V>
->;
+type RecordResultType<
+  K extends Type<string>,
+  V extends Type<unknown>,
+> = ReadonlyRecord<TypeOf<K>, TypeOf<V>>;
 
 export const keyValueRecord = <K extends Type<string>, V extends Type<unknown>>(
   keyType: K,

package/src/record/key-value-record.test.mts

@@ -12,7 +12,7 @@ describe('keyValueRecord', () => {
 
   type StrNumRecord = TypeOf<typeof strNumRecord>;
 
-  expectType<StrNumRecord, Record<string, number>>('=');
+  expectType<StrNumRecord, ReadonlyRecord<string, number>>('=');
 
   expectType<typeof strNumRecord.defaultValue, StrNumRecord>('=');
 

package/src/record/record.mts

@@ -8,7 +8,7 @@ import {
   type ValidationErrorWithMessage,
 } from '../validation-error.mjs';
 
-export const record = <const R extends Record<string, Type<unknown>>>(
+export const record = <const R extends ReadonlyRecord<string, Type<unknown>>>(
   source: R,
   options?: Partial<
     Readonly<{
@@ -124,25 +124,72 @@ export const record = <const R extends Record<string, Type<unknown>>>(
   };
 };
 
-type RecordTypeValue<R extends Record<string, Type<unknown>>> =
+type RecordTypeValue<R extends ReadonlyRecord<string, Type<unknown>>> =
   TsFortressInternal.RecordTypeValueImpl<R>;
 
 namespace TsFortressInternal {
-  export type RecordTypeValueImpl<R extends Record<string, Type<unknown>>> =
-    RecordTypeValueImplSub<R, OptionalTypeKeys<R>>;
+  export type RecordTypeValueImpl<
+    R extends ReadonlyRecord<string, Type<unknown>>,
+  > = RecordTypeValueImplSub<R, OptionalTypeKeys<R>>;
 
   type RecordTypeValueImplSub<
-    A extends Record<string, Type<unknown>>,
+    A extends ReadonlyRecord<string, Type<unknown>>,
     OptionalKeys extends keyof A,
-  > = Readonly<
-    {
-      [key in OptionalKeys]?: TypeOf<A[key]>;
-    } & {
-      [key in Exclude<keyof A, OptionalKeys>]: TypeOf<A[key]>;
-    }
-  >;
-
-  type OptionalTypeKeys<A extends Record<string, Type<unknown>>> = {
+  > =
+    TypeEq<OptionalKeys, never> extends true
+      ? Readonly<{
+          [key in Exclude<keyof A, OptionalKeys>]: TypeOf<A[key]>;
+        }>
+      : TypeEq<keyof A, OptionalKeys> extends true
+        ? Readonly<
+            MergeIntersection<{
+              [key in OptionalKeys]?: TypeOf<A[key]>;
+            }>
+          >
+        : Readonly<
+            MergeIntersection<
+              {
+                [key in OptionalKeys]?: TypeOf<A[key]>;
+              } & {
+                [key in Exclude<keyof A, OptionalKeys>]: TypeOf<A[key]>;
+              }
+            >
+          >;
+
+  type OptionalTypeKeys<A extends ReadonlyRecord<string, Type<unknown>>> = {
     [K in keyof A]: A[K] extends { optional: true } ? K : never;
   }[keyof A];
 }
+
+/**
+ * Creates a strict record type that does not allow excess properties.
+ * This is an alias for `record(source, { allowExcessProperties: false })`.
+ *
+ * @param source - The record schema definition
+ * @param options - Optional configuration (allowExcessProperties will be overridden to false)
+ * @returns A Type that validates records without allowing excess properties
+ *
+ * @example
+ * ```typescript
+ * import { strictRecord, string, number } from 'ts-fortress';
+ *
+ * const User = strictRecord({
+ *   name: string(),
+ *   age: number()
+ * });
+ *
+ * User.is({ name: "John", age: 30 }); // true
+ * User.is({ name: "John", age: 30, extra: "not allowed" }); // false
+ * ```
+ */
+export const strictRecord = <
+  const R extends ReadonlyRecord<string, Type<unknown>>,
+>(
+  source: R,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+    }>
+  >,
+): Type<RecordTypeValue<R>> =>
+  record(source, { ...options, allowExcessProperties: false });

package/src/record/strict-record.test.mts

@@ -0,0 +1,192 @@
+import { expectType, Result } from 'ts-data-forge';
+import { number, string } from '../primitives/index.mjs';
+import { type TypeOf } from '../type.mjs';
+import { validationErrorsToMessages } from '../validation-error.mjs';
+import { record, strictRecord } from './record.mjs';
+
+describe('strictRecord', () => {
+  const userType = strictRecord({
+    name: string(''),
+    age: number(0),
+  });
+
+  type User = TypeOf<typeof userType>;
+  expectType<User, Readonly<{ name: string; age: number }>>('=');
+
+  describe('is', () => {
+    test('valid data without excess properties', () => {
+      const validUser = { name: 'John', age: 30 };
+
+      expect(userType.is(validUser)).toBe(true);
+    });
+
+    test('rejects data with excess properties', () => {
+      const userWithExtra = { name: 'John', age: 30, extra: 'not allowed' };
+
+      expect(userType.is(userWithExtra)).toBe(false);
+    });
+
+    test('rejects invalid property types', () => {
+      const invalidUser = { name: 'John', age: 'thirty' };
+
+      expect(userType.is(invalidUser)).toBe(false);
+    });
+  });
+
+  describe('validate', () => {
+    test('truthy case - valid data', () => {
+      const validUser = { name: 'John', age: 30 };
+
+      const result = userType.validate(validUser);
+      expect(Result.isOk(result)).toBe(true);
+
+      if (Result.isOk(result)) {
+        expectType<typeof result.value, User>('=');
+        expect(result.value).toStrictEqual({
+          name: 'John',
+          age: 30,
+        });
+      }
+    });
+
+    test('falsy case - excess properties', () => {
+      const userWithExtra = { name: 'John', age: 30, extra: 'not allowed' };
+
+      const result = userType.validate(userWithExtra);
+      expect(Result.isErr(result)).toBe(true);
+
+      if (Result.isErr(result)) {
+        expect(result.value).toStrictEqual([
+          {
+            path: ['extra'],
+            actualValue: 'not allowed',
+            expectedType: '{ name: string, age: number }',
+            typeName: '{ name: string, age: number }',
+            message: 'Excess property "extra" is not allowed',
+          },
+        ]);
+        expect(validationErrorsToMessages(result.value)).toStrictEqual([
+          'Excess property "extra" is not allowed at extra',
+        ]);
+      }
+    });
+
+    test('falsy case - invalid property type', () => {
+      const invalidUser = { name: 'John', age: 'thirty' };
+
+      const result = userType.validate(invalidUser);
+      expect(Result.isErr(result)).toBe(true);
+
+      if (Result.isErr(result)) {
+        expect(result.value).toStrictEqual([
+          {
+            path: ['age'],
+            actualValue: 'thirty',
+            expectedType: 'number',
+            typeName: 'number',
+            message: undefined,
+          },
+        ]);
+      }
+    });
+
+    test('falsy case - missing required property', () => {
+      const incompleteUser = { name: 'John' };
+
+      const result = userType.validate(incompleteUser);
+      expect(Result.isErr(result)).toBe(true);
+
+      if (Result.isErr(result)) {
+        expect(result.value).toStrictEqual([
+          {
+            path: ['age'],
+            actualValue: incompleteUser,
+            expectedType: '{ name: string, age: number }',
+            typeName: '{ name: string, age: number }',
+            message: 'Missing required key "age"',
+          },
+        ]);
+      }
+    });
+  });
+
+  describe('comparison with regular record', () => {
+    const regularRecord = record({
+      name: string(''),
+      age: number(0),
+    });
+
+    test('regular record allows excess properties', () => {
+      const dataWithExtra = { name: 'John', age: 30, extra: 'allowed' };
+
+      expect(regularRecord.is(dataWithExtra)).toBe(true);
+      expect(
+        strictRecord({ name: string(''), age: number(0) }).is(dataWithExtra),
+      ).toBe(false);
+    });
+
+    test('both reject invalid property types', () => {
+      const invalidData = { name: 'John', age: 'thirty' };
+
+      expect(regularRecord.is(invalidData)).toBe(false);
+      expect(
+        strictRecord({ name: string(''), age: number(0) }).is(invalidData),
+      ).toBe(false);
+    });
+  });
+
+  describe('with custom typeName', () => {
+    test('uses custom typeName in errors', () => {
+      const customUserType = strictRecord(
+        {
+          name: string(''),
+          age: number(0),
+        },
+        { typeName: 'User' },
+      );
+
+      const result = customUserType.validate({
+        name: 'John',
+        age: 30,
+        extra: 'not allowed',
+      });
+      expect(Result.isErr(result)).toBe(true);
+
+      if (Result.isErr(result)) {
+        expect(result.value[0]?.expectedType).toBe('User');
+        expect(result.value[0]?.typeName).toBe('User');
+      }
+    });
+  });
+
+  describe('default values', () => {
+    test('has correct default value', () => {
+      expect(userType.defaultValue).toStrictEqual({
+        name: '',
+        age: 0,
+      });
+    });
+  });
+
+  describe('fill', () => {
+    test('fills missing properties with defaults', () => {
+      const partialData = { name: 'John' };
+
+      const result = userType.fill(partialData);
+      expect(result).toStrictEqual({
+        name: 'John',
+        age: 0,
+      });
+    });
+
+    test('preserves all valid properties', () => {
+      const validData = { name: 'John', age: 30 };
+
+      const result = userType.fill(validData);
+      expect(result).toStrictEqual({
+        name: 'John',
+        age: 30,
+      });
+    });
+  });
+});