bguard 0.6.0 → 0.7.1

package/lib/InferType.d.mts

@@ -1,7 +1,9 @@
-import { WithBGuardType, WithUndefined, WithNull, ExtractFromBGuardType, WithArray, ExtractFromArray, WithObject } from './commonTypes.mjs';
+import { WithInput, WithDefault, WithUndefined, WithNull, WithBGuardType, ExtractFromBGuardType, WithArray, ExtractFromArray, WithObject, WithUnion, ExtractFromUnion, WithRecord, WithTuple } from './commonTypes.mjs';
 
 type ResolveNullish<T, Y> = T extends WithUndefined<WithNull<unknown>> ? Y | null | undefined : T extends WithUndefined<unknown> ? Y | undefined : T extends WithNull<unknown> ? Y | null : Y;
-type InferType<T> = T extends WithBGuardType<unknown, unknown> ? ResolveNullish<T, ExtractFromBGuardType<T>> : T extends WithArray<unknown, unknown> ? ResolveNullish<T, InferType<ExtractFromArray<T>>[]> : T extends WithObject<unknown, unknown> ? ResolveNullish<T, ExtractFromObject<T>> : unknown;
+type InferType<T> = T extends WithBGuardType<unknown, unknown> ? ResolveNullish<T, ExtractFromBGuardType<T>> : T extends WithArray<unknown, unknown> ? ResolveNullish<T, InferType<ExtractFromArray<T>>[]> : T extends WithObject<unknown, unknown> ? ResolveNullish<T, ExtractFromObject<T>> : T extends WithUnion<unknown, readonly unknown[]> ? ResolveNullish<T, InferType<ExtractFromUnion<T>[number]>> : T extends WithRecord<unknown, unknown, unknown> ? ResolveNullish<T, ExtractFromRecord<T>> : T extends WithTuple<unknown, infer S extends readonly unknown[]> ? ResolveNullish<T, {
+    -readonly [K in keyof S]: InferType<S[K]>;
+}> : unknown;
 type Merge<T> = T extends infer U ? {
     [K in keyof U]: U[K];
 } : never;
@@ -10,5 +12,37 @@ type ExtractFromObject<T> = T extends WithObject<unknown, infer X> ? Merge<{
 } & {
     [K in keyof X as X[K] extends WithUndefined<unknown> ? K : never]?: InferType<X[K]>;
 }> : unknown;
+/**
+ * A record whose keys are unconstrained is an index signature, so every lookup is already
+ * `V | undefined`. A record with a restricted key type is `Partial`, because validation checks the
+ * keys that are present without requiring the whole set — claiming `Record<'a' | 'b', V>` would say
+ * both keys are always there.
+ */
+type ExtractFromRecord<T> = T extends WithRecord<unknown, infer K, infer V> ? string extends InferType<K> ? Record<string, InferType<V>> : Partial<Record<InferType<K> & PropertyKey, InferType<V>>> : unknown;
+/**
+ * The value a schema accepts, as opposed to the value it produces.
+ *
+ * The two differ wherever a schema converts or supplies something: a coercing transform accepts more
+ * than it yields, and a schema with a default accepts nothing at all in that position. Everywhere else
+ * they coincide, which is why `InferType` remains the output type and needs no change.
+ *
+ * This is what `~standard.types.input` reports, so a tool generating a form from a schema asks for
+ * what the schema takes rather than what it returns.
+ */
+type InferInput<T> = T extends WithInput<unknown, infer In> ? ResolveInputNullish<T, In> : T extends WithBGuardType<unknown, unknown> ? ResolveInputNullish<T, ExtractFromBGuardType<T>> : T extends WithArray<unknown, unknown> ? ResolveInputNullish<T, InferInput<ExtractFromArray<T>>[]> : T extends WithObject<unknown, unknown> ? ResolveInputNullish<T, ExtractInputFromObject<T>> : T extends WithUnion<unknown, readonly unknown[]> ? ResolveInputNullish<T, InferInput<ExtractFromUnion<T>[number]>> : T extends WithRecord<unknown, unknown, unknown> ? ResolveInputNullish<T, ExtractInputFromRecord<T>> : T extends WithTuple<unknown, infer S extends readonly unknown[]> ? ResolveInputNullish<T, {
+    -readonly [K in keyof S]: InferInput<S[K]>;
+}> : unknown;
+/** The output type, named for symmetry with `InferInput`. `InferType` is kept as it was. */
+type InferOutput<T> = InferType<T>;
+/** A default means the position may be left out, on top of whatever nullish markers apply. */
+type ResolveInputNullish<T, Y> = T extends WithDefault<unknown> ? ResolveNullish<T, Y> | undefined : ResolveNullish<T, Y>;
+/** In the input, a property is optional when it may be omitted or when a default will fill it. */
+type OptionalOnInput<T> = T extends WithUndefined<unknown> ? true : T extends WithDefault<unknown> ? true : false;
+type ExtractInputFromObject<T> = T extends WithObject<unknown, infer X> ? Merge<{
+    [K in keyof X as OptionalOnInput<X[K]> extends true ? never : K]: InferInput<X[K]>;
+} & {
+    [K in keyof X as OptionalOnInput<X[K]> extends true ? K : never]?: InferInput<X[K]>;
+}> : unknown;
+type ExtractInputFromRecord<T> = T extends WithRecord<unknown, infer K, infer V> ? string extends InferType<K> ? Record<string, InferInput<V>> : Partial<Record<InferType<K> & PropertyKey, InferInput<V>>> : unknown;
 
-export type { InferType };
+export type { InferInput, InferOutput, InferType };

package/lib/InferType.d.ts

@@ -1,7 +1,9 @@
-import { WithBGuardType, WithUndefined, WithNull, ExtractFromBGuardType, WithArray, ExtractFromArray, WithObject } from './commonTypes.js';
+import { WithInput, WithDefault, WithUndefined, WithNull, WithBGuardType, ExtractFromBGuardType, WithArray, ExtractFromArray, WithObject, WithUnion, ExtractFromUnion, WithRecord, WithTuple } from './commonTypes.js';
 
 type ResolveNullish<T, Y> = T extends WithUndefined<WithNull<unknown>> ? Y | null | undefined : T extends WithUndefined<unknown> ? Y | undefined : T extends WithNull<unknown> ? Y | null : Y;
-type InferType<T> = T extends WithBGuardType<unknown, unknown> ? ResolveNullish<T, ExtractFromBGuardType<T>> : T extends WithArray<unknown, unknown> ? ResolveNullish<T, InferType<ExtractFromArray<T>>[]> : T extends WithObject<unknown, unknown> ? ResolveNullish<T, ExtractFromObject<T>> : unknown;
+type InferType<T> = T extends WithBGuardType<unknown, unknown> ? ResolveNullish<T, ExtractFromBGuardType<T>> : T extends WithArray<unknown, unknown> ? ResolveNullish<T, InferType<ExtractFromArray<T>>[]> : T extends WithObject<unknown, unknown> ? ResolveNullish<T, ExtractFromObject<T>> : T extends WithUnion<unknown, readonly unknown[]> ? ResolveNullish<T, InferType<ExtractFromUnion<T>[number]>> : T extends WithRecord<unknown, unknown, unknown> ? ResolveNullish<T, ExtractFromRecord<T>> : T extends WithTuple<unknown, infer S extends readonly unknown[]> ? ResolveNullish<T, {
+    -readonly [K in keyof S]: InferType<S[K]>;
+}> : unknown;
 type Merge<T> = T extends infer U ? {
     [K in keyof U]: U[K];
 } : never;
@@ -10,5 +12,37 @@ type ExtractFromObject<T> = T extends WithObject<unknown, infer X> ? Merge<{
 } & {
     [K in keyof X as X[K] extends WithUndefined<unknown> ? K : never]?: InferType<X[K]>;
 }> : unknown;
+/**
+ * A record whose keys are unconstrained is an index signature, so every lookup is already
+ * `V | undefined`. A record with a restricted key type is `Partial`, because validation checks the
+ * keys that are present without requiring the whole set — claiming `Record<'a' | 'b', V>` would say
+ * both keys are always there.
+ */
+type ExtractFromRecord<T> = T extends WithRecord<unknown, infer K, infer V> ? string extends InferType<K> ? Record<string, InferType<V>> : Partial<Record<InferType<K> & PropertyKey, InferType<V>>> : unknown;
+/**
+ * The value a schema accepts, as opposed to the value it produces.
+ *
+ * The two differ wherever a schema converts or supplies something: a coercing transform accepts more
+ * than it yields, and a schema with a default accepts nothing at all in that position. Everywhere else
+ * they coincide, which is why `InferType` remains the output type and needs no change.
+ *
+ * This is what `~standard.types.input` reports, so a tool generating a form from a schema asks for
+ * what the schema takes rather than what it returns.
+ */
+type InferInput<T> = T extends WithInput<unknown, infer In> ? ResolveInputNullish<T, In> : T extends WithBGuardType<unknown, unknown> ? ResolveInputNullish<T, ExtractFromBGuardType<T>> : T extends WithArray<unknown, unknown> ? ResolveInputNullish<T, InferInput<ExtractFromArray<T>>[]> : T extends WithObject<unknown, unknown> ? ResolveInputNullish<T, ExtractInputFromObject<T>> : T extends WithUnion<unknown, readonly unknown[]> ? ResolveInputNullish<T, InferInput<ExtractFromUnion<T>[number]>> : T extends WithRecord<unknown, unknown, unknown> ? ResolveInputNullish<T, ExtractInputFromRecord<T>> : T extends WithTuple<unknown, infer S extends readonly unknown[]> ? ResolveInputNullish<T, {
+    -readonly [K in keyof S]: InferInput<S[K]>;
+}> : unknown;
+/** The output type, named for symmetry with `InferInput`. `InferType` is kept as it was. */
+type InferOutput<T> = InferType<T>;
+/** A default means the position may be left out, on top of whatever nullish markers apply. */
+type ResolveInputNullish<T, Y> = T extends WithDefault<unknown> ? ResolveNullish<T, Y> | undefined : ResolveNullish<T, Y>;
+/** In the input, a property is optional when it may be omitted or when a default will fill it. */
+type OptionalOnInput<T> = T extends WithUndefined<unknown> ? true : T extends WithDefault<unknown> ? true : false;
+type ExtractInputFromObject<T> = T extends WithObject<unknown, infer X> ? Merge<{
+    [K in keyof X as OptionalOnInput<X[K]> extends true ? never : K]: InferInput<X[K]>;
+} & {
+    [K in keyof X as OptionalOnInput<X[K]> extends true ? K : never]?: InferInput<X[K]>;
+}> : unknown;
+type ExtractInputFromRecord<T> = T extends WithRecord<unknown, infer K, infer V> ? string extends InferType<K> ? Record<string, InferInput<V>> : Partial<Record<InferType<K> & PropertyKey, InferInput<V>>> : unknown;
 
-export type { InferType };
+export type { InferInput, InferOutput, InferType };

package/lib/asserts/array/index.d.mts

@@ -2,6 +2,7 @@ import { WithArray } from '../../commonTypes.mjs';
 import { CommonSchema, ValidatorContext } from '../../core.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description Creates a new schema for validating arrays where each element must match the specified schema.
@@ -22,4 +23,4 @@ declare class ArraySchema extends CommonSchema {
     private validateArrayEntry;
 }
 
-export { array };
+export { ArraySchema, array };

package/lib/asserts/array/index.d.ts

@@ -2,6 +2,7 @@ import { WithArray } from '../../commonTypes.js';
 import { CommonSchema, ValidatorContext } from '../../core.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description Creates a new schema for validating arrays where each element must match the specified schema.
@@ -22,4 +23,4 @@ declare class ArraySchema extends CommonSchema {
     private validateArrayEntry;
 }
 
-export { array };
+export { ArraySchema, array };

package/lib/asserts/array/index.js

@@ -1,12 +1,14 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunkTCDQA2NUjs = require('../../chunk-TCDQA2NU.js');
-require('../../chunk-VN4GLOEN.js');
+
+var _chunkAGB5RWYDjs = require('../../chunk-AGB5RWYD.js');
+require('../../chunk-6LUSV3SS.js');
+require('../../chunk-ZJGY6EOE.js');
 require('../../chunk-VBTWYDEM.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
-require('../../chunk-AXKX5BGH.js');
+require('../../chunk-LHEU4XAC.js');
+require('../../chunk-ZWFSAKQK.js');
+
 
 
-exports.array = _chunkTCDQA2NUjs.array;
+exports.ArraySchema = _chunkAGB5RWYDjs.ArraySchema; exports.array = _chunkAGB5RWYDjs.array;
 //# sourceMappingURL=index.js.map

package/lib/asserts/array/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/home/runner/work/bguard/bguard/lib/asserts/array/index.js"],"names":[],"mappings":"AAAA;AACE;AACF,0DAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC;AACE;AACF,uCAAC","file":"/home/runner/work/bguard/bguard/lib/asserts/array/index.js"}
+{"version":3,"sources":["/home/runner/work/bguard/bguard/lib/asserts/array/index.js"],"names":[],"mappings":"AAAA;AACE;AACA;AACF,0DAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC;AACE;AACA;AACF,2FAAC","file":"/home/runner/work/bguard/bguard/lib/asserts/array/index.js"}

package/lib/asserts/array/index.mjs

@@ -1,12 +1,14 @@
 import {
+  ArraySchema,
   array
-} from "../../chunk-6WKSLMJG.mjs";
-import "../../chunk-QIPGUTIG.mjs";
+} from "../../chunk-A2LPSUNQ.mjs";
+import "../../chunk-LDZFOOWN.mjs";
+import "../../chunk-65X7NTUS.mjs";
 import "../../chunk-YBVMP4EI.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
-import "../../chunk-2ANPCB4O.mjs";
+import "../../chunk-C76DLZFD.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
+  ArraySchema,
   array
 };
 //# sourceMappingURL=index.mjs.map

package/lib/asserts/array/maxArrayLength.d.mts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.mjs';
 import '../../commonTypes.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description Asserts that the length of an array is not greater than a specified maximum length.
@@ -17,7 +18,7 @@ import '../../helpers/constants.mjs';
  * @translation Error Translation Key = 'a:maxArrayLength'
  */
 declare const maxArrayLength: {
-    (expected: number): RequiredValidation;
+    (expected: number): RequiredValidation<unknown[]>;
     key: string;
     message: string;
 };

package/lib/asserts/array/maxArrayLength.d.ts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.js';
 import '../../commonTypes.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description Asserts that the length of an array is not greater than a specified maximum length.
@@ -17,7 +18,7 @@ import '../../helpers/constants.js';
  * @translation Error Translation Key = 'a:maxArrayLength'
  */
 declare const maxArrayLength: {
-    (expected: number): RequiredValidation;
+    (expected: number): RequiredValidation<unknown[]>;
     key: string;
     message: string;
 };

package/lib/asserts/array/maxArrayLength.js

@@ -1,9 +1,10 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunkYMPRYKNYjs = require('../../chunk-YMPRYKNY.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
+var _chunkSZO4SUUGjs = require('../../chunk-SZO4SUUG.js');
+require('../../chunk-WOPNDC4R.js');
+require('../../chunk-ZJGY6EOE.js');
+require('../../chunk-ZWFSAKQK.js');
 
 
-exports.maxArrayLength = _chunkYMPRYKNYjs.maxArrayLength;
+exports.maxArrayLength = _chunkSZO4SUUGjs.maxArrayLength;
 //# sourceMappingURL=maxArrayLength.js.map

package/lib/asserts/array/maxArrayLength.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/home/runner/work/bguard/bguard/lib/asserts/array/maxArrayLength.js"],"names":[],"mappings":"AAAA;AACE;AACF,0DAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC;AACE;AACF,yDAAC","file":"/home/runner/work/bguard/bguard/lib/asserts/array/maxArrayLength.js"}
+{"version":3,"sources":["/home/runner/work/bguard/bguard/lib/asserts/array/maxArrayLength.js"],"names":[],"mappings":"AAAA;AACE;AACF,0DAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC;AACE;AACF,yDAAC","file":"/home/runner/work/bguard/bguard/lib/asserts/array/maxArrayLength.js"}

package/lib/asserts/array/maxArrayLength.mjs

@@ -1,8 +1,9 @@
 import {
   maxArrayLength
-} from "../../chunk-NY2TPU6O.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
+} from "../../chunk-K6QYFFMX.mjs";
+import "../../chunk-VERUOTB3.mjs";
+import "../../chunk-65X7NTUS.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
   maxArrayLength
 };

package/lib/asserts/array/minArrayLength.d.mts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.mjs';
 import '../../commonTypes.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description Asserts that the length of na array is not less than a specified minimum length.
@@ -17,7 +18,7 @@ import '../../helpers/constants.mjs';
  * @translation Error Translation Key = 'a:minArrayLength'
  */
 declare const minArrayLength: {
-    (expected: number): RequiredValidation;
+    (expected: number): RequiredValidation<unknown[]>;
     key: string;
     message: string;
 };

package/lib/asserts/array/minArrayLength.d.ts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.js';
 import '../../commonTypes.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description Asserts that the length of na array is not less than a specified minimum length.
@@ -17,7 +18,7 @@ import '../../helpers/constants.js';
  * @translation Error Translation Key = 'a:minArrayLength'
  */
 declare const minArrayLength: {
-    (expected: number): RequiredValidation;
+    (expected: number): RequiredValidation<unknown[]>;
     key: string;
     message: string;
 };

package/lib/asserts/array/minArrayLength.js

@@ -1,9 +1,10 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunkC2VSTWIDjs = require('../../chunk-C2VSTWID.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
+var _chunkTJ7IQSHUjs = require('../../chunk-TJ7IQSHU.js');
+require('../../chunk-WOPNDC4R.js');
+require('../../chunk-ZJGY6EOE.js');
+require('../../chunk-ZWFSAKQK.js');
 
 
-exports.minArrayLength = _chunkC2VSTWIDjs.minArrayLength;
+exports.minArrayLength = _chunkTJ7IQSHUjs.minArrayLength;
 //# sourceMappingURL=minArrayLength.js.map

package/lib/asserts/array/minArrayLength.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/home/runner/work/bguard/bguard/lib/asserts/array/minArrayLength.js"],"names":[],"mappings":"AAAA;AACE;AACF,0DAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC;AACE;AACF,yDAAC","file":"/home/runner/work/bguard/bguard/lib/asserts/array/minArrayLength.js"}
+{"version":3,"sources":["/home/runner/work/bguard/bguard/lib/asserts/array/minArrayLength.js"],"names":[],"mappings":"AAAA;AACE;AACF,0DAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC,mCAAgC;AAChC;AACE;AACF,yDAAC","file":"/home/runner/work/bguard/bguard/lib/asserts/array/minArrayLength.js"}

package/lib/asserts/array/minArrayLength.mjs

@@ -1,8 +1,9 @@
 import {
   minArrayLength
-} from "../../chunk-YDTQASAY.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
+} from "../../chunk-D4YY45O2.mjs";
+import "../../chunk-VERUOTB3.mjs";
+import "../../chunk-65X7NTUS.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
   minArrayLength
 };

package/lib/asserts/bigint/bigintMax.d.mts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.mjs';
 import '../../commonTypes.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description Asserts that a bigint value does not exceed a specified maximum value.
@@ -17,7 +18,7 @@ import '../../helpers/constants.mjs';
  * @translation Error Translation Key = 'bi:max'
  */
 declare const bigintMax: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMax.d.ts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.js';
 import '../../commonTypes.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description Asserts that a bigint value does not exceed a specified maximum value.
@@ -17,7 +18,7 @@ import '../../helpers/constants.js';
  * @translation Error Translation Key = 'bi:max'
  */
 declare const bigintMax: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMax.js

@@ -1,9 +1,9 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunkLXZTBF7Fjs = require('../../chunk-LXZTBF7F.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
+var _chunkVWHKNZLGjs = require('../../chunk-VWHKNZLG.js');
+require('../../chunk-ZJGY6EOE.js');
+require('../../chunk-ZWFSAKQK.js');
 
 
-exports.bigintMax = _chunkLXZTBF7Fjs.bigintMax;
+exports.bigintMax = _chunkVWHKNZLGjs.bigintMax;
 //# sourceMappingURL=bigintMax.js.map

package/lib/asserts/bigint/bigintMax.mjs

@@ -1,8 +1,8 @@
 import {
   bigintMax
-} from "../../chunk-QEG24G7E.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
+} from "../../chunk-3T5QKF7X.mjs";
+import "../../chunk-65X7NTUS.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
   bigintMax
 };

package/lib/asserts/bigint/bigintMaxExcluded.d.mts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.mjs';
 import '../../commonTypes.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description - Asserts that a bigint value is strictly less than a specified maximum value (i.e., the maximum value is excluded).
@@ -17,7 +18,7 @@ import '../../helpers/constants.mjs';
  * @translation Error Translation Key = 'bi:maxExcluded'
  */
 declare const bigintMaxExcluded: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMaxExcluded.d.ts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.js';
 import '../../commonTypes.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description - Asserts that a bigint value is strictly less than a specified maximum value (i.e., the maximum value is excluded).
@@ -17,7 +18,7 @@ import '../../helpers/constants.js';
  * @translation Error Translation Key = 'bi:maxExcluded'
  */
 declare const bigintMaxExcluded: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMaxExcluded.js

@@ -1,9 +1,9 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunk2D3HCTJVjs = require('../../chunk-2D3HCTJV.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
+var _chunkNZOANK7Ajs = require('../../chunk-NZOANK7A.js');
+require('../../chunk-ZJGY6EOE.js');
+require('../../chunk-ZWFSAKQK.js');
 
 
-exports.bigintMaxExcluded = _chunk2D3HCTJVjs.bigintMaxExcluded;
+exports.bigintMaxExcluded = _chunkNZOANK7Ajs.bigintMaxExcluded;
 //# sourceMappingURL=bigintMaxExcluded.js.map

package/lib/asserts/bigint/bigintMaxExcluded.mjs

@@ -1,8 +1,8 @@
 import {
   bigintMaxExcluded
-} from "../../chunk-QIFA6S5U.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
+} from "../../chunk-346TIMNH.mjs";
+import "../../chunk-65X7NTUS.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
   bigintMaxExcluded
 };

package/lib/asserts/bigint/bigintMin.d.mts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.mjs';
 import '../../commonTypes.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description Asserts that a bigint value is not less than a specified minimum value.
@@ -17,7 +18,7 @@ import '../../helpers/constants.mjs';
  * @translation Error Translation Key = 'bi:min'
  */
 declare const bigintMin: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMin.d.ts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.js';
 import '../../commonTypes.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description Asserts that a bigint value is not less than a specified minimum value.
@@ -17,7 +18,7 @@ import '../../helpers/constants.js';
  * @translation Error Translation Key = 'bi:min'
  */
 declare const bigintMin: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMin.js

@@ -1,9 +1,9 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunk3W2COCXVjs = require('../../chunk-3W2COCXV.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
+var _chunkORQBVFHYjs = require('../../chunk-ORQBVFHY.js');
+require('../../chunk-ZJGY6EOE.js');
+require('../../chunk-ZWFSAKQK.js');
 
 
-exports.bigintMin = _chunk3W2COCXVjs.bigintMin;
+exports.bigintMin = _chunkORQBVFHYjs.bigintMin;
 //# sourceMappingURL=bigintMin.js.map

package/lib/asserts/bigint/bigintMin.mjs

@@ -1,8 +1,8 @@
 import {
   bigintMin
-} from "../../chunk-Z3NPFUIA.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
+} from "../../chunk-H3FXZTYS.mjs";
+import "../../chunk-65X7NTUS.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
   bigintMin
 };

package/lib/asserts/bigint/bigintMinExcluded.d.mts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.mjs';
 import '../../commonTypes.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description Asserts that a bigint value is strictly greater than a specified minimum value (i.e., the minimum value is excluded).
@@ -17,7 +18,7 @@ import '../../helpers/constants.mjs';
  * @translation Error Translation Key = 'bi:minExcluded'
  */
 declare const bigintMinExcluded: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMinExcluded.d.ts

@@ -2,6 +2,7 @@ import { RequiredValidation } from '../../core.js';
 import '../../commonTypes.js';
 import '../../InferType.js';
 import '../../helpers/constants.js';
+import '../../standardSchema.js';
 
 /**
  * @description Asserts that a bigint value is strictly greater than a specified minimum value (i.e., the minimum value is excluded).
@@ -17,7 +18,7 @@ import '../../helpers/constants.js';
  * @translation Error Translation Key = 'bi:minExcluded'
  */
 declare const bigintMinExcluded: {
-    (expected: bigint): RequiredValidation;
+    (expected: bigint): RequiredValidation<bigint>;
     key: string;
     message: string;
 };

package/lib/asserts/bigint/bigintMinExcluded.js

@@ -1,9 +1,9 @@
 "use strict";Object.defineProperty(exports, "__esModule", {value: true});
 
-var _chunkZ2HZXSDAjs = require('../../chunk-Z2HZXSDA.js');
-require('../../chunk-TJQ5NVL4.js');
-require('../../chunk-FIDPCCCW.js');
+var _chunkGSLVYDXOjs = require('../../chunk-GSLVYDXO.js');
+require('../../chunk-ZJGY6EOE.js');
+require('../../chunk-ZWFSAKQK.js');
 
 
-exports.bigintMinExcluded = _chunkZ2HZXSDAjs.bigintMinExcluded;
+exports.bigintMinExcluded = _chunkGSLVYDXOjs.bigintMinExcluded;
 //# sourceMappingURL=bigintMinExcluded.js.map

package/lib/asserts/bigint/bigintMinExcluded.mjs

@@ -1,8 +1,8 @@
 import {
   bigintMinExcluded
-} from "../../chunk-NS4GXUCA.mjs";
-import "../../chunk-OE3L7EKN.mjs";
-import "../../chunk-ZTCXXAKD.mjs";
+} from "../../chunk-7F4P72SG.mjs";
+import "../../chunk-65X7NTUS.mjs";
+import "../../chunk-O2WD4JBG.mjs";
 export {
   bigintMinExcluded
 };

package/lib/asserts/bigint/index.d.mts

@@ -2,6 +2,7 @@ import { WithBGuardType } from '../../commonTypes.mjs';
 import { CommonSchema } from '../../core.mjs';
 import '../../InferType.mjs';
 import '../../helpers/constants.mjs';
+import '../../standardSchema.mjs';
 
 /**
  * @description - Creates a new schema for validating bigint values.
@@ -22,7 +23,7 @@ declare class BigIntSchema extends CommonSchema {
      * @method equalTo
      * @description Restricts the schema to exactly match the specified value and infers the literal value as the TypeScript type.
      * @param expectedValue - The value that the schema must exactly match.
-     * @returns The schema instance restricted to the specified value, with the literal value inferred as the TypeScript type
+     * @returns A new schema restricted to the specified value, with the literal value inferred as the TypeScript type
      * @example
      * bigint().equalTo(42n); // Infers the type 42n
      *
@@ -33,14 +34,18 @@ declare class BigIntSchema extends CommonSchema {
      * @method oneOfValues
      * @description Restricts the schema to match one of the specified values and infers the union of those values as the TypeScript type.
      * @param expectedValues - An array of values that the schema can match.
-     * @returns The schema instance restricted to one of the specified values, with the union of those values inferred as the TypeScript type.
+     * @returns A new schema restricted to one of the specified values, with the union of those values inferred as the TypeScript type.
      * @example
      * bigint().oneOfValues([5n, 7n]); // Infers the type 5n | 7n
      *
      * @public
      */
     oneOfValues<Y extends bigint>(expectedValue: Y[]): WithBGuardType<this, Y>;
-    private limitCheck;
+    /**
+     * Reads the once-only flag without setting it. The flag belongs on the schema that `custom`
+     * returns, not on the one it was derived from.
+     */
+    private limitGuard;
 }
 
-export { bigint };
+export { BigIntSchema, bigint };