@regle/core 1.2.3 → 1.3.0

package/dist/regle-core.d.ts

@@ -1,9 +1,8 @@
-import * as vue from 'vue';
-import { Ref, MaybeRef, UnwrapRef, UnwrapNestedRefs, Raw, MaybeRefOrGetter } from 'vue';
+import * as vue0 from "vue";
+import { MaybeRef, MaybeRefOrGetter, Raw, Ref, UnwrapNestedRefs, UnwrapRef } from "vue";
 
-type Prettify<T> = T extends infer R ? {
-    [K in keyof R]: R[K];
-} & {} : never;
+//#region src/types/utils/misc.types.d.ts
+type Prettify<T> = T extends infer R ? { [K in keyof R]: R[K] } & {} : never;
 type Maybe<T = any> = T | null | undefined;
 type MaybeInput<T = any> = T | null | undefined;
 type MaybeOutput<T = any> = T | undefined;
@@ -11,45 +10,51 @@ type MaybeReadonly<T> = T | Readonly<T>;
 type PromiseReturn<T> = T extends Promise<infer U> ? U : T;
 type MaybeGetter<T, V = any, TAdd extends Record<string, any> = {}> = T | ((value: Ref<V>, index: number) => T & TAdd);
 type Unwrap<T extends MaybeRef<Record<string, any>>> = T extends Ref ? UnwrapRef<T> : UnwrapNestedRefs<T>;
-type UnwrapSimple<T extends MaybeRef<Record<string, any>>> = T extends Ref ? UnwrapRef<T> : T extends (...args: any[]) => infer U ? U : T;
+type UnwrapSimple<T extends MaybeRef<Record<string, any>>> = T extends Ref ? UnwrapRef<T> : T extends ((...args: any[]) => infer U) ? U : T;
 type ExtractFromGetter<T extends MaybeGetter<any, any, any>> = T extends ((value: Ref<any>, index: number) => infer U extends Record<string, any>) ? U : T;
 type ExtendOnlyRealRecord<T extends unknown> = NonNullable<T> extends File | Date ? false : NonNullable<T> extends Record<string, any> ? true : false;
-type OmitByType<T extends Record<string, any>, U> = {
-    [K in keyof T as T[K] extends U ? never : K]: T[K];
-};
-type DeepMaybeRef<T extends Record<string, any>> = {
-    [K in keyof T]: MaybeRef<T[K]>;
-};
-type ExcludeByType<T, U> = {
-    [K in keyof T as T[K] extends U ? never : K]: T[K] extends U ? never : T[K];
-};
+type OmitByType<T extends Record<string, any>, U> = { [K in keyof T as T[K] extends U ? never : K]: T[K] };
+type DeepMaybeRef<T extends Record<string, any>> = { [K in keyof T]: MaybeRef<T[K]> };
+type ExcludeByType<T, U> = { [K in keyof T as T[K] extends U ? never : K]: T[K] extends U ? never : T[K] };
 type PrimitiveTypes = string | number | boolean | bigint | Date | File;
 type isRecordLiteral<T extends unknown> = NonNullable<T> extends Date | File ? false : NonNullable<T> extends Record<string, any> ? true : false;
 type NoInferLegacy<A extends any> = [A][A extends any ? 0 : never];
 
+//#endregion
+//#region src/types/utils/Array.types.d.ts
 type ArrayElement<T> = T extends Array<infer U> ? U : never;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/primitive.d.ts
 /**
 Matches any [primitive value](https://developer.mozilla.org/en-US/docs/Glossary/Primitive).
 
 @category Type
 */
-type Primitive =
-	| null
-	| undefined
-	| string
-	| number
-	| boolean
-	| symbol
-	| bigint;
+type Primitive = null | undefined | string | number | boolean | symbol | bigint;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/observable-like.d.ts
 declare global {
-	// eslint-disable-next-line @typescript-eslint/consistent-type-definitions -- It has to be an `interface` so that it can be merged.
-	interface SymbolConstructor {
-		readonly observable: symbol;
-	}
+  // eslint-disable-next-line @typescript-eslint/consistent-type-definitions -- It has to be an `interface` so that it can be merged.
+  interface SymbolConstructor {
+    readonly observable: symbol;
+  }
 }
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/union-to-intersection.d.ts
+/**
+@remarks
+The TC39 observable proposal defines a `closed` property, but some implementations (such as xstream) do not as of 10/08/2021.
+As well, some guidance on making an `Observable` to not include `closed` property.
+@see https://github.com/tc39/proposal-observable/blob/master/src/Observable.js#L129-L130
+@see https://github.com/staltz/xstream/blob/6c22580c1d84d69773ee4b0905df44ad464955b3/src/index.ts#L79-L85
+@see https://github.com/benlesh/symbol-observable#making-an-object-observable
+
+@category Observable
+*/
+
 /**
 Convert a union type to an intersection type using [distributive conditional types](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).
 
@@ -96,22 +101,23 @@ type Intersection = UnionToIntersection<Union>;
 @category Type
 */
 type UnionToIntersection$1<Union> = (
-	// `extends unknown` is always going to be the case and is used to convert the
-	// `Union` into a [distributive conditional
-	// type](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).
-	Union extends unknown
-		// The union type is used as the only argument to a function since the union
-		// of function arguments is an intersection.
-		? (distributedUnion: Union) => void
-		// This won't happen.
-		: never
-		// Infer the `Intersection` type since TypeScript represents the positional
-		// arguments of unions of functions as an intersection of the union.
+// `extends unknown` is always going to be the case and is used to convert the
+// `Union` into a [distributive conditional
+// type](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).
+Union extends unknown
+// The union type is used as the only argument to a function since the union
+// of function arguments is an intersection.
+? (distributedUnion: Union) => void
+// This won't happen.
+: never
+// Infer the `Intersection` type since TypeScript represents the positional
+// arguments of unions of functions as an intersection of the union.
 ) extends ((mergedIntersection: infer Intersection) => void)
-	// The `& Union` is to allow indexing by the resulting type
-	? Intersection & Union
-	: never;
+// The `& Union` is to allow indexing by the resulting type
+? Intersection & Union : never;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/empty-object.d.ts
 declare const emptyObjectSymbol: unique symbol;
 
 /**
@@ -140,7 +146,9 @@ Unfortunately, `Record<string, never>`, `Record<keyof any, never>` and `Record<n
 
 @category Object
 */
-type EmptyObject = {[emptyObjectSymbol]?: never};
+type EmptyObject = {
+  [emptyObjectSymbol]?: never;
+};
 
 /**
 Returns a `boolean` for whether the type is strictly equal to an empty plain object, the `{}` value.
@@ -159,6 +167,8 @@ type Fail = IsEmptyObject<null>; //=> false
 */
 type IsEmptyObject<T> = T extends EmptyObject ? true : false;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/optional-keys-of.d.ts
 /**
 Extract all optional keys from the given type.
 
@@ -192,13 +202,13 @@ const update2: UpdateOperation<User> = {
 
 @category Utilities
 */
-type OptionalKeysOf<BaseType extends object> =
-	BaseType extends unknown // For distributing `BaseType`
-		? (keyof {
-			[Key in keyof BaseType as BaseType extends Record<Key, BaseType[Key]> ? never : Key]: never
-		}) & (keyof BaseType) // Intersect with `keyof BaseType` to ensure result of `OptionalKeysOf<BaseType>` is always assignable to `keyof BaseType`
-		: never; // Should never happen
+type OptionalKeysOf<BaseType extends object> = BaseType extends unknown // For distributing `BaseType`
+? (keyof { [Key in keyof BaseType as BaseType extends Record<Key, BaseType[Key]> ? never : Key]: never }) & (keyof BaseType) // Intersect with `keyof BaseType` to ensure result of `OptionalKeysOf<BaseType>` is always assignable to `keyof BaseType`
+: never;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/required-keys-of.d.ts
+// Should never happen
 /**
 Extract all required keys from the given type.
 
@@ -223,10 +233,12 @@ const validator2 = createValidation<User>('surname', value => value.length < 25)
 
 @category Utilities
 */
-type RequiredKeysOf<BaseType extends object> =
-	BaseType extends unknown // For distributing `BaseType`
-		? Exclude<keyof BaseType, OptionalKeysOf<BaseType>>
-		: never; // Should never happen
+type RequiredKeysOf<BaseType extends object> = BaseType extends unknown // For distributing `BaseType`
+? Exclude<keyof BaseType, OptionalKeysOf<BaseType>> : never;
+
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/is-never.d.ts
+// Should never happen
 
 /**
 Returns a boolean for whether the given type is `never`.
@@ -271,6 +283,8 @@ endIfEqual('abc', '123');
 */
 type IsNever$1<T> = [T] extends [never] ? true : false;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/if-never.d.ts
 /**
 An if-else-like type that resolves depending on whether the given type is `never`.
 
@@ -290,10 +304,10 @@ type ShouldBeBar = IfNever<'not never', 'foo', 'bar'>;
 @category Type Guard
 @category Utilities
 */
-type IfNever<T, TypeIfNever = true, TypeIfNotNever = false> = (
-	IsNever$1<T> extends true ? TypeIfNever : TypeIfNotNever
-);
+type IfNever<T, TypeIfNever = true, TypeIfNotNever = false> = (IsNever$1<T> extends true ? TypeIfNever : TypeIfNotNever);
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/is-any.d.ts
 // Can eventually be replaced with the built-in once this library supports
 // TS5.4+ only. Tracked in https://github.com/sindresorhus/type-fest/issues/848
 type NoInfer<T> = T extends infer U ? U : never;
@@ -328,11 +342,18 @@ const anyA = get(anyObject, 'a');
 */
 type IsAny$1<T> = 0 extends 1 & NoInfer<T> ? true : false;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/internal/keys.d.ts
 /**
 Disallows any of the given keys.
 */
 type RequireNone<KeysType extends PropertyKey> = Partial<Record<KeysType, never>>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/simplify.d.ts
+/**
+Utility type to retrieve only literal keys from type.
+*/
 /**
 Useful to flatten the type output to improve type hints shown in editors. And also to transform an interface into a type to aide with assignability.
 
@@ -390,8 +411,10 @@ fn(someInterface as Simplify<SomeInterface>); // Good: transform an `interface`
 @see SimplifyDeep
 @category Object
 */
-type Simplify<T> = {[KeyType in keyof T]: T[KeyType]} & {};
+type Simplify<T> = { [KeyType in keyof T]: T[KeyType] } & {};
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/omit-index-signature.d.ts
 /**
 Omit any index signatures from the given object type, leaving only explicitly defined properties.
 
@@ -482,12 +505,10 @@ type ExampleWithoutIndexSignatures = OmitIndexSignature<Example>;
 @see PickIndexSignature
 @category Object
 */
-type OmitIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType as {} extends Record<KeyType, unknown>
-		? never
-		: KeyType]: ObjectType[KeyType];
-};
+type OmitIndexSignature<ObjectType> = { [KeyType in keyof ObjectType as {} extends Record<KeyType, unknown> ? never : KeyType]: ObjectType[KeyType] };
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/pick-index-signature.d.ts
 /**
 Pick only index signatures from the given object type, leaving out all explicitly defined properties.
 
@@ -533,16 +554,12 @@ type ExampleIndexSignature = PickIndexSignature<Example>;
 @see OmitIndexSignature
 @category Object
 */
-type PickIndexSignature<ObjectType> = {
-	[KeyType in keyof ObjectType as {} extends Record<KeyType, unknown>
-		? KeyType
-		: never]: ObjectType[KeyType];
-};
+type PickIndexSignature<ObjectType> = { [KeyType in keyof ObjectType as {} extends Record<KeyType, unknown> ? KeyType : never]: ObjectType[KeyType] };
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/merge.d.ts
 // Merges two objects without worrying about index signatures.
-type SimpleMerge<Destination, Source> = {
-	[Key in keyof Destination as Key extends keyof Source ? never : Key]: Destination[Key];
-} & Source;
+type SimpleMerge<Destination, Source> = { [Key in keyof Destination as Key extends keyof Source ? never : Key]: Destination[Key] } & Source;
 
 /**
 Merge two types into a new type. Keys of the second type overrides keys of the first type.
@@ -578,12 +595,10 @@ export type FooBar = Merge<Foo, Bar>;
 
 @category Object
 */
-type Merge<Destination, Source> =
-Simplify<
-SimpleMerge<PickIndexSignature<Destination>, PickIndexSignature<Source>>
-& SimpleMerge<OmitIndexSignature<Destination>, OmitIndexSignature<Source>>
->;
+type Merge<Destination, Source> = Simplify<SimpleMerge<PickIndexSignature<Destination>, PickIndexSignature<Source>> & SimpleMerge<OmitIndexSignature<Destination>, OmitIndexSignature<Source>>>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/if-any.d.ts
 /**
 An if-else-like type that resolves depending on whether the given type is `any`.
 
@@ -603,15 +618,19 @@ type ShouldBeBar = IfAny<'not any', 'foo', 'bar'>;
 @category Type Guard
 @category Utilities
 */
-type IfAny<T, TypeIfAny = true, TypeIfNotAny = false> = (
-	IsAny$1<T> extends true ? TypeIfAny : TypeIfNotAny
-);
+type IfAny<T, TypeIfAny = true, TypeIfNotAny = false> = (IsAny$1<T> extends true ? TypeIfAny : TypeIfNotAny);
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/internal/type.d.ts
 /**
 Matches any primitive, `void`, `Date`, or `RegExp` value.
 */
 type BuiltIns = Primitive | void | Date | RegExp;
 
+/**
+Matches non-recursive types.
+*/
+
 /**
 Test if the given function has multiple call signatures.
 
@@ -620,14 +639,14 @@ Needed to handle the case of a single call signature with properties.
 Multiple call signatures cannot currently be supported due to a TypeScript limitation.
 @see https://github.com/microsoft/TypeScript/issues/29732
 */
-type HasMultipleCallSignatures<T extends (...arguments_: any[]) => unknown> =
-	T extends {(...arguments_: infer A): unknown; (...arguments_: infer B): unknown}
-		? B extends A
-			? A extends B
-				? false
-				: true
-			: true
-		: false;
+type HasMultipleCallSignatures<T extends (...arguments_: any[]) => unknown> = T extends {
+  (...arguments_: infer A): unknown;
+  (...arguments_: infer B): unknown;
+} ? B extends A ? A extends B ? false : true : true : false;
+
+/**
+Returns a boolean for whether the given `boolean` is not `false`.
+*/
 
 /**
 Returns a boolean for whether the given type is a union type.
@@ -646,23 +665,17 @@ type IsUnion$1<T> = InternalIsUnion<T>;
 /**
 The actual implementation of `IsUnion`.
 */
-type InternalIsUnion<T, U = T> =
-(
-	// @link https://ghaiklor.github.io/type-challenges-solutions/en/medium-isunion.html
-	IsNever$1<T> extends true
-		? false
-		: T extends any
-			? [U] extends [T]
-				? false
-				: true
-			: never
-) extends infer Result
-	// In some cases `Result` will return `false | true` which is `boolean`,
-	// that means `T` has at least two types and it's a union type,
-	// so we will return `true` instead of `boolean`.
-	? boolean extends Result ? true
-		: Result
-	: never; // Should never happen
+type InternalIsUnion<T, U = T> = (
+// @link https://ghaiklor.github.io/type-challenges-solutions/en/medium-isunion.html
+IsNever$1<T> extends true ? false : T extends any ? [U] extends [T] ? false : true : never) extends infer Result
+// In some cases `Result` will return `false | true` which is `boolean`,
+// that means `T` has at least two types and it's a union type,
+// so we will return `true` instead of `boolean`.
+? boolean extends Result ? true : Result : never;
+
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/internal/object.d.ts
+// Should never happen
 
 /**
 Merges user specified options with default options.
@@ -716,24 +729,11 @@ type Result = ApplyDefaultOptions<PathsOptions, DefaultPathsOptions, SpecifiedOp
 // Types of property 'leavesOnly' are incompatible. Type 'string' is not assignable to type 'boolean'.
 ```
 */
-type ApplyDefaultOptions<
-	Options extends object,
-	Defaults extends Simplify<Omit<Required<Options>, RequiredKeysOf<Options>> & Partial<Record<RequiredKeysOf<Options>, never>>>,
-	SpecifiedOptions extends Options,
-> =
-	IfAny<SpecifiedOptions, Defaults,
-	IfNever<SpecifiedOptions, Defaults,
-	Simplify<Merge<Defaults, {
-		[Key in keyof SpecifiedOptions
-		as Key extends OptionalKeysOf<Options>
-			? Extract<SpecifiedOptions[Key], undefined> extends never
-				? Key
-				: never
-			: Key
-		]: SpecifiedOptions[Key]
-	}> & Required<Options>> // `& Required<Options>` ensures that `ApplyDefaultOptions<SomeOption, ...>` is always assignable to `Required<SomeOption>`
-	>>;
+type ApplyDefaultOptions<Options extends object, Defaults extends Simplify<Omit<Required<Options>, RequiredKeysOf<Options>> & Partial<Record<RequiredKeysOf<Options>, never>>>, SpecifiedOptions extends Options> = IfAny<SpecifiedOptions, Defaults, IfNever<SpecifiedOptions, Defaults, Simplify<Merge<Defaults, { [Key in keyof SpecifiedOptions as Key extends OptionalKeysOf<Options> ? Extract<SpecifiedOptions[Key], undefined> extends never ? Key : never : Key]: SpecifiedOptions[Key] }> & Required<Options>> // `& Required<Options>` ensures that `ApplyDefaultOptions<SomeOption, ...>` is always assignable to `Required<SomeOption>`
+>>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/require-exactly-one.d.ts
 /**
 Create a type that requires exactly one of the given keys and disallows more. The remaining keys are kept as is.
 
@@ -763,12 +763,10 @@ const responder: RequireExactlyOne<Responder, 'text' | 'json'> = {
 
 @category Object
 */
-type RequireExactlyOne<ObjectType, KeysType extends keyof ObjectType = keyof ObjectType> =
-	{[Key in KeysType]: (
-		Required<Pick<ObjectType, Key>> &
-		Partial<Record<Exclude<KeysType, Key>, never>>
-	)}[KeysType] & Omit<ObjectType, KeysType>;
+type RequireExactlyOne<ObjectType, KeysType extends keyof ObjectType = keyof ObjectType> = { [Key in KeysType]: (Required<Pick<ObjectType, Key>> & Partial<Record<Exclude<KeysType, Key>, never>>) }[KeysType] & Omit<ObjectType, KeysType>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/require-one-or-none.d.ts
 /**
 Create a type that requires exactly one of the given keys and disallows more, or none of the given keys. The remaining keys are kept as is.
 
@@ -799,52 +797,43 @@ const responder3: Responder = {
 
 @category Object
 */
-type RequireOneOrNone<ObjectType, KeysType extends keyof ObjectType = keyof ObjectType> = (
-	| RequireExactlyOne<ObjectType, KeysType>
-	| RequireNone<KeysType>
-) & Omit<ObjectType, KeysType>; // Ignore unspecified keys.
+type RequireOneOrNone<ObjectType, KeysType extends keyof ObjectType = keyof ObjectType> = (RequireExactlyOne<ObjectType, KeysType> | RequireNone<KeysType>) & Omit<ObjectType, KeysType>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/partial-deep.d.ts
+// Ignore unspecified keys.
 /**
 @see {@link PartialDeep}
 */
 type PartialDeepOptions = {
-	/**
-	Whether to affect the individual elements of arrays and tuples.
-
-	@default false
-	*/
-	readonly recurseIntoArrays?: boolean;
-
-	/**
-	Allows `undefined` values in non-tuple arrays.
-
-	- When set to `true`, elements of non-tuple arrays can be `undefined`.
-	- When set to `false`, only explicitly defined elements are allowed in non-tuple arrays, ensuring stricter type checking.
-
-	@default true
-
-	@example
-	You can prevent `undefined` values in non-tuple arrays by passing `{recurseIntoArrays: true; allowUndefinedInNonTupleArrays: false}` as the second type argument:
-
-	```
-	import type {PartialDeep} from 'type-fest';
-
-	type Settings = {
-		languages: string[];
-	};
-
-	declare const partialSettings: PartialDeep<Settings, {recurseIntoArrays: true; allowUndefinedInNonTupleArrays: false}>;
-
-	partialSettings.languages = [undefined]; // Error
-	partialSettings.languages = []; // Ok
-	```
-	*/
-	readonly allowUndefinedInNonTupleArrays?: boolean;
+  /**
+  Whether to affect the individual elements of arrays and tuples.
+  	@default false
+  */
+  readonly recurseIntoArrays?: boolean;
+
+  /**
+  Allows `undefined` values in non-tuple arrays.
+  	- When set to `true`, elements of non-tuple arrays can be `undefined`.
+  - When set to `false`, only explicitly defined elements are allowed in non-tuple arrays, ensuring stricter type checking.
+  	@default true
+  	@example
+  You can prevent `undefined` values in non-tuple arrays by passing `{recurseIntoArrays: true; allowUndefinedInNonTupleArrays: false}` as the second type argument:
+  	```
+  import type {PartialDeep} from 'type-fest';
+  	type Settings = {
+  	languages: string[];
+  };
+  	declare const partialSettings: PartialDeep<Settings, {recurseIntoArrays: true; allowUndefinedInNonTupleArrays: false}>;
+  	partialSettings.languages = [undefined]; // Error
+  partialSettings.languages = []; // Ok
+  ```
+  */
+  readonly allowUndefinedInNonTupleArrays?: boolean;
 };
-
 type DefaultPartialDeepOptions = {
-	recurseIntoArrays: false;
-	allowUndefinedInNonTupleArrays: true;
+  recurseIntoArrays: false;
+  allowUndefinedInNonTupleArrays: true;
 };
 
 /**
@@ -896,32 +885,14 @@ const partialSettings: PartialDeep<Settings, {recurseIntoArrays: true}> = {
 @category Set
 @category Map
 */
-type PartialDeep<T, Options extends PartialDeepOptions = {}> =
-	_PartialDeep<T, ApplyDefaultOptions<PartialDeepOptions, DefaultPartialDeepOptions, Options>>;
-
-type _PartialDeep<T, Options extends Required<PartialDeepOptions>> = T extends BuiltIns | ((new (...arguments_: any[]) => unknown))
-	? T
-	: IsNever$1<keyof T> extends true // For functions with no properties
-		? T
-		: T extends Map<infer KeyType, infer ValueType>
-			? PartialMapDeep<KeyType, ValueType, Options>
-			: T extends Set<infer ItemType>
-				? PartialSetDeep<ItemType, Options>
-				: T extends ReadonlyMap<infer KeyType, infer ValueType>
-					? PartialReadonlyMapDeep<KeyType, ValueType, Options>
-					: T extends ReadonlySet<infer ItemType>
-						? PartialReadonlySetDeep<ItemType, Options>
-						: T extends object
-							? T extends ReadonlyArray<infer ItemType> // Test for arrays/tuples, per https://github.com/microsoft/TypeScript/issues/35156
-								? Options['recurseIntoArrays'] extends true
-									? ItemType[] extends T // Test for arrays (non-tuples) specifically
-										? readonly ItemType[] extends T // Differentiate readonly and mutable arrays
-											? ReadonlyArray<_PartialDeep<Options['allowUndefinedInNonTupleArrays'] extends false ? ItemType : ItemType | undefined, Options>>
-											: Array<_PartialDeep<Options['allowUndefinedInNonTupleArrays'] extends false ? ItemType : ItemType | undefined, Options>>
-										: PartialObjectDeep<T, Options> // Tuples behave properly
-									: T // If they don't opt into array testing, just use the original type
-								: PartialObjectDeep<T, Options>
-							: unknown;
+type PartialDeep<T, Options extends PartialDeepOptions = {}> = _PartialDeep<T, ApplyDefaultOptions<PartialDeepOptions, DefaultPartialDeepOptions, Options>>;
+type _PartialDeep<T, Options extends Required<PartialDeepOptions>> = T extends BuiltIns | ((new (...arguments_: any[]) => unknown)) ? T : IsNever$1<keyof T> extends true // For functions with no properties
+? T : T extends Map<infer KeyType, infer ValueType> ? PartialMapDeep<KeyType, ValueType, Options> : T extends Set<infer ItemType> ? PartialSetDeep<ItemType, Options> : T extends ReadonlyMap<infer KeyType, infer ValueType> ? PartialReadonlyMapDeep<KeyType, ValueType, Options> : T extends ReadonlySet<infer ItemType> ? PartialReadonlySetDeep<ItemType, Options> : T extends object ? T extends ReadonlyArray<infer ItemType> // Test for arrays/tuples, per https://github.com/microsoft/TypeScript/issues/35156
+? Options['recurseIntoArrays'] extends true ? ItemType[] extends T // Test for arrays (non-tuples) specifically
+? readonly ItemType[] extends T // Differentiate readonly and mutable arrays
+? ReadonlyArray<_PartialDeep<Options['allowUndefinedInNonTupleArrays'] extends false ? ItemType : ItemType | undefined, Options>> : Array<_PartialDeep<Options['allowUndefinedInNonTupleArrays'] extends false ? ItemType : ItemType | undefined, Options>> : PartialObjectDeep<T, Options> // Tuples behave properly
+: T // If they don't opt into array testing, just use the original type
+: PartialObjectDeep<T, Options> : unknown;
 
 /**
 Same as `PartialDeep`, but accepts only `Map`s and as inputs. Internal helper for `PartialDeep`.
@@ -946,13 +917,10 @@ type PartialReadonlySetDeep<T, Options extends Required<PartialDeepOptions>> = {
 /**
 Same as `PartialDeep`, but accepts only `object`s as inputs. Internal helper for `PartialDeep`.
 */
-type PartialObjectDeep<ObjectType extends object, Options extends Required<PartialDeepOptions>> =
-	(ObjectType extends (...arguments_: any) => unknown
-		? (...arguments_: Parameters<ObjectType>) => ReturnType<ObjectType>
-		: {}) & ({
-		[KeyType in keyof ObjectType]?: _PartialDeep<ObjectType[KeyType], Options>
-	});
+type PartialObjectDeep<ObjectType extends object, Options extends Required<PartialDeepOptions>> = (ObjectType extends ((...arguments_: any) => unknown) ? (...arguments_: Parameters<ObjectType>) => ReturnType<ObjectType> : {}) & ({ [KeyType in keyof ObjectType]?: _PartialDeep<ObjectType[KeyType], Options> });
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/required-deep.d.ts
 type ExcludeUndefined<T> = Exclude<T, undefined>;
 
 /**
@@ -996,40 +964,15 @@ Note that types containing overloaded functions are not made deeply required due
 @category Set
 @category Map
 */
-type RequiredDeep<T, E extends ExcludeUndefined<T> = ExcludeUndefined<T>> = E extends BuiltIns
-	? E
-	: E extends Map<infer KeyType, infer ValueType>
-		? Map<RequiredDeep<KeyType>, RequiredDeep<ValueType>>
-		: E extends Set<infer ItemType>
-			? Set<RequiredDeep<ItemType>>
-			: E extends ReadonlyMap<infer KeyType, infer ValueType>
-				? ReadonlyMap<RequiredDeep<KeyType>, RequiredDeep<ValueType>>
-				: E extends ReadonlySet<infer ItemType>
-					? ReadonlySet<RequiredDeep<ItemType>>
-					: E extends WeakMap<infer KeyType, infer ValueType>
-						? WeakMap<RequiredDeep<KeyType>, RequiredDeep<ValueType>>
-						: E extends WeakSet<infer ItemType>
-							? WeakSet<RequiredDeep<ItemType>>
-							: E extends Promise<infer ValueType>
-								? Promise<RequiredDeep<ValueType>>
-								: E extends (...arguments_: any[]) => unknown
-									? {} extends RequiredObjectDeep<E>
-										? E
-										: HasMultipleCallSignatures<E> extends true
-											? E
-											: ((...arguments_: Parameters<E>) => ReturnType<E>) & RequiredObjectDeep<E>
-									: E extends object
-										? E extends Array<infer ItemType> // Test for arrays/tuples, per https://github.com/microsoft/TypeScript/issues/35156
-											? ItemType[] extends E // Test for arrays (non-tuples) specifically
-												? Array<RequiredDeep<ItemType>> // Recreate relevant array type to prevent eager evaluation of circular reference
-												: RequiredObjectDeep<E> // Tuples behave properly
-											: RequiredObjectDeep<E>
-										: unknown;
-
-type RequiredObjectDeep<ObjectType extends object> = {
-	[KeyType in keyof ObjectType]-?: RequiredDeep<ObjectType[KeyType]>
-};
+type RequiredDeep<T, E extends ExcludeUndefined<T> = ExcludeUndefined<T>> = E extends BuiltIns ? E : E extends Map<infer KeyType, infer ValueType> ? Map<RequiredDeep<KeyType>, RequiredDeep<ValueType>> : E extends Set<infer ItemType> ? Set<RequiredDeep<ItemType>> : E extends ReadonlyMap<infer KeyType, infer ValueType> ? ReadonlyMap<RequiredDeep<KeyType>, RequiredDeep<ValueType>> : E extends ReadonlySet<infer ItemType> ? ReadonlySet<RequiredDeep<ItemType>> : E extends WeakMap<infer KeyType, infer ValueType> ? WeakMap<RequiredDeep<KeyType>, RequiredDeep<ValueType>> : E extends WeakSet<infer ItemType> ? WeakSet<RequiredDeep<ItemType>> : E extends Promise<infer ValueType> ? Promise<RequiredDeep<ValueType>> : E extends ((...arguments_: any[]) => unknown) ? {} extends RequiredObjectDeep<E> ? E : HasMultipleCallSignatures<E> extends true ? E : ((...arguments_: Parameters<E>) => ReturnType<E>) & RequiredObjectDeep<E> : E extends object ? E extends Array<infer ItemType> // Test for arrays/tuples, per https://github.com/microsoft/TypeScript/issues/35156
+? ItemType[] extends E // Test for arrays (non-tuples) specifically
+? Array<RequiredDeep<ItemType>> // Recreate relevant array type to prevent eager evaluation of circular reference
+: RequiredObjectDeep<E> // Tuples behave properly
+: RequiredObjectDeep<E> : unknown;
+type RequiredObjectDeep<ObjectType extends object> = { [KeyType in keyof ObjectType]-?: RequiredDeep<ObjectType[KeyType]> };
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/union-to-tuple.d.ts
 /**
 Returns the last element of a union type.
 
@@ -1039,10 +982,7 @@ type Last = LastOfUnion<1 | 2 | 3>;
 //=> 3
 ```
 */
-type LastOfUnion<T> =
-UnionToIntersection$1<T extends any ? () => T : never> extends () => (infer R)
-	? R
-	: never;
+type LastOfUnion<T> = UnionToIntersection$1<T extends any ? () => T : never> extends (() => (infer R)) ? R : never;
 
 /**
 Convert a union type into an unordered tuple type of its elements.
@@ -1079,11 +1019,10 @@ const petList = Object.keys(pets) as UnionToTuple<Pet>;
 
 @category Array
 */
-type UnionToTuple$1<T, L = LastOfUnion<T>> =
-IsNever$1<T> extends false
-	? [...UnionToTuple$1<Exclude<T, L>>, L]
-	: [];
+type UnionToTuple$1<T, L = LastOfUnion<T>> = IsNever$1<T> extends false ? [...UnionToTuple$1<Exclude<T, L>>, L] : [];
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/is-null.d.ts
 /**
 Returns a boolean for whether the given type is `null`.
 
@@ -1105,6 +1044,8 @@ type Example2 = NonNullFallback<number, string>;
 */
 type IsNull<T> = [T] extends [null] ? true : false;
 
+//#endregion
+//#region ../../node_modules/.pnpm/type-fest@4.40.1/node_modules/type-fest/source/is-unknown.d.ts
 /**
 Returns a boolean for whether the given type is `unknown`.
 
@@ -1148,158 +1089,155 @@ store.execute((state, payload) => ({value: state.value + payload}), someExternal
 
 @category Utilities
 */
-type IsUnknown$1<T> = (
-	unknown extends T // `T` can be `unknown` or `any`
-		? IsNull<T> extends false // `any` can be `null`, but `unknown` can't be
-			? true
-			: false
-		: false
-);
+type IsUnknown$1<T> = (unknown extends T // `T` can be `unknown` or `any`
+? IsNull<T> extends false // `any` can be `null`, but `unknown` can't be
+? true : false : false);
 
+//#endregion
+//#region src/types/core/modifiers.types.d.ts
 interface RegleBehaviourOptions {
-    /**
-     * Only display error when calling `r$.$validate()`
-     * @default false
-     */
-    lazy?: boolean | undefined;
-    /**
-     * Automatically set the dirty set without the need of `$value` or `$touch`.
-     * @default true
-     *
-     */
-    autoDirty?: boolean | undefined;
-    /**
-     * Only update error status when calling `$validate`.
-     * Will not display errors as you type
-     * @default false
-     *
-     * @default true if rewardEarly is true
-     *
-     */
-    silent?: boolean | undefined;
-    /**
-     * The fields will turn valid when they are, but not invalid unless calling `r$.$validate()`
-     * @default false
-     */
-    rewardEarly?: boolean | undefined;
-    /**
-     * Define whether the external errors should be cleared when updating a field
-     *
-     * Default to `false` if `$silent` is set to `true`
-  
-     * @default true
-     *
-     *
-     */
-    clearExternalErrorsOnChange?: boolean | undefined;
+  /**
+   * Only display error when calling `r$.$validate()`
+   * @default false
+   */
+  lazy?: boolean | undefined;
+  /**
+   * Automatically set the dirty set without the need of `$value` or `$touch`.
+   * @default true
+   *
+   */
+  autoDirty?: boolean | undefined;
+  /**
+   * Only update error status when calling `$validate`.
+   * Will not display errors as you type
+   * @default false
+   *
+   * @default true if rewardEarly is true
+   *
+   */
+  silent?: boolean | undefined;
+  /**
+   * The fields will turn valid when they are, but not invalid unless calling `r$.$validate()`
+   * @default false
+   */
+  rewardEarly?: boolean | undefined;
+  /**
+   * Define whether the external errors should be cleared when updating a field
+   *
+   * Default to `false` if `$silent` is set to `true`
+      * @default true
+   *
+   *
+   */
+  clearExternalErrorsOnChange?: boolean | undefined;
 }
 interface LocalRegleBehaviourOptions<TState extends Record<string, any>, TRules extends ReglePartialRuleTree<TState, CustomRulesDeclarationTree>, TValidationGroups extends Record<string, RegleValidationGroupEntry[]> = {}> {
-    externalErrors?: Ref<RegleExternalErrorTree<Unwrap<TState>>>;
-    validationGroups?: (fields: RegleStatus<TState, TRules>['$fields']) => TValidationGroups;
+  externalErrors?: Ref<RegleExternalErrorTree<Unwrap<TState>>>;
+  validationGroups?: (fields: RegleStatus<TState, TRules>['$fields']) => TValidationGroups;
 }
 type RegleValidationGroupEntry = RegleFieldStatus<any, any>;
 interface RegleValidationGroupOutput {
-    $invalid: boolean;
-    $error: boolean;
-    $pending: boolean;
-    $dirty: boolean;
-    $correct: boolean;
-    $errors: string[];
-    $silentErrors: string[];
+  $invalid: boolean;
+  $error: boolean;
+  $pending: boolean;
+  $dirty: boolean;
+  $correct: boolean;
+  $errors: string[];
+  $silentErrors: string[];
 }
 type FieldRegleBehaviourOptions = AddDollarToOptions<RegleBehaviourOptions> & {
-    /**
-     * Let you declare the number of milliseconds the rule needs to wait before executing. Useful for async or heavy computations.
-     */
-    $debounce?: number;
+  /**
+   * Let you declare the number of milliseconds the rule needs to wait before executing. Useful for async or heavy computations.
+   */
+  $debounce?: number;
 };
 type CollectionRegleBehaviourOptions = FieldRegleBehaviourOptions & {
-    /**
-     * Allow deep compare of array children to compute the `$edited` property
-     *
-     * Disabled by default for performance
-     *
-     * @default false
-     * */
-    $deepCompare?: boolean;
+  /**
+   * Allow deep compare of array children to compute the `$edited` property
+   *
+   * Disabled by default for performance
+   *
+   * @default false
+   * */
+  $deepCompare?: boolean;
 };
 type ResolvedRegleBehaviourOptions = DeepMaybeRef<RequiredDeep<RegleBehaviourOptions>> & LocalRegleBehaviourOptions<Record<string, any>, Record<string, any>, Record<string, any[]>>;
 type ShortcutCommonFn<T extends Record<string, any>> = {
-    [x: string]: (element: OmitByType<T, Function>) => unknown;
+  [x: string]: (element: OmitByType<T, Function>) => unknown;
 };
 type RegleShortcutDefinition<TCustomRules extends Record<string, any> = {}> = {
-    /**
-     * Allow you to customize the properties for every field
-     */
-    fields?: ShortcutCommonFn<RegleFieldStatus<any, Partial<TCustomRules> & Partial<DefaultValidators>>>;
-    /**
-     * Allow you to customize the properties for every parent of a nested object
-     */
-    nested?: ShortcutCommonFn<RegleStatus<Record<string, any>, ReglePartialRuleTree<any, Partial<TCustomRules> & Partial<DefaultValidators>>>>;
-    /**
-     * Allow you to customize the properties for every parent of a collection
-     */
-    collections?: ShortcutCommonFn<RegleCollectionStatus<any[], Partial<TCustomRules> & Partial<DefaultValidators>>>;
-};
-type AddDollarToOptions<T extends Record<string, any>> = {
-    [K in keyof T as `$${string & K}`]: T[K];
-};
-
+  /**
+   * Allow you to customize the properties for every field
+   */
+  fields?: ShortcutCommonFn<RegleFieldStatus<any, Partial<TCustomRules> & Partial<DefaultValidators>>>;
+  /**
+   * Allow you to customize the properties for every parent of a nested object
+   */
+  nested?: ShortcutCommonFn<RegleStatus<Record<string, any>, ReglePartialRuleTree<any, Partial<TCustomRules> & Partial<DefaultValidators>>>>;
+  /**
+   * Allow you to customize the properties for every parent of a collection
+   */
+  collections?: ShortcutCommonFn<RegleCollectionStatus<any[], Partial<TCustomRules> & Partial<DefaultValidators>>>;
+};
+type AddDollarToOptions<T extends Record<string, any>> = { [K in keyof T as `$${string & K}`]: T[K] };
+
+//#endregion
+//#region src/types/core/useRegle.types.d.ts
 type Regle<TState extends Record<string, any> = EmptyObject, TRules extends ReglePartialRuleTree<TState, CustomRulesDeclarationTree> = EmptyObject, TValidationGroups extends Record<string, RegleValidationGroupEntry[]> = {}, TShortcuts extends RegleShortcutDefinition = {}, TAdditionalReturnProperties extends Record<string, any> = {}> = {
-    /**
-     * r$ is a reactive object containing the values, errors, dirty state and all the necessary validations properties you'll need to display information.
-     *
-     * To see the list of properties: {@link https://reglejs.dev/core-concepts/validation-properties}
-     */
-    r$: Raw<RegleRoot<TState, TRules, TValidationGroups, TShortcuts>>;
+  /**
+   * r$ is a reactive object containing the values, errors, dirty state and all the necessary validations properties you'll need to display information.
+   *
+   * To see the list of properties: {@link https://reglejs.dev/core-concepts/validation-properties}
+   */
+  r$: Raw<RegleRoot<TState, TRules, TValidationGroups, TShortcuts>>;
 } & TAdditionalReturnProperties;
 type RegleSingleField<TState extends Maybe<PrimitiveTypes> = any, TRules extends RegleRuleDecl<NonNullable<TState>> = EmptyObject, TShortcuts extends RegleShortcutDefinition = {}, TAdditionalReturnProperties extends Record<string, any> = {}> = {
-    /**
-     * r$ is a reactive object containing the values, errors, dirty state and all the necessary validations properties you'll need to display information.
-     *
-     * To see the list of properties: {@link https://reglejs.dev/core-concepts/validation-properties}
-     */
-    r$: Raw<RegleFieldStatus<TState, TRules, TShortcuts>>;
+  /**
+   * r$ is a reactive object containing the values, errors, dirty state and all the necessary validations properties you'll need to display information.
+   *
+   * To see the list of properties: {@link https://reglejs.dev/core-concepts/validation-properties}
+   */
+  r$: Raw<RegleFieldStatus<TState, TRules, TShortcuts>>;
 } & TAdditionalReturnProperties;
-type DeepReactiveState<T extends Record<string, any> | unknown | undefined> = ExtendOnlyRealRecord<T> extends true ? {
-    [K in keyof T]: InferDeepReactiveState<T[K]>;
-} : never;
+type DeepReactiveState<T extends Record<string, any> | unknown | undefined> = ExtendOnlyRealRecord<T> extends true ? { [K in keyof T]: InferDeepReactiveState<T[K]> } : never;
 type InferDeepReactiveState<TState> = NonNullable<TState> extends Array<infer U extends Record<string, any>> ? DeepReactiveState<U[]> : NonNullable<TState> extends Date | File ? MaybeRef<TState> : NonNullable<TState> extends Record<string, any> ? DeepReactiveState<TState> : MaybeRef<TState>;
 
+//#endregion
+//#region src/types/core/reset.types.d.ts
 type ResetOptions<TState extends unknown> = RequireOneOrNone<{
-    /**
-     * Reset validation status and reset form state to its initial state
-     *
-     * ⚠️ This doesn't work if the state is a `reactive` object.
-     */
-    toInitialState?: boolean;
-    /**
-     * Reset validation status and reset form state to the given state
-     * Also set the new state as the initial state.
-     */
-    toState?: TState | (() => TState);
-    /**
-     * Clears the $externalErrors state back to an empty object.
-     */
-    clearExternalErrors?: boolean;
+  /**
+   * Reset validation status and reset form state to its initial state
+   *
+   * ⚠️ This doesn't work if the state is a `reactive` object.
+   */
+  toInitialState?: boolean;
+  /**
+   * Reset validation status and reset form state to the given state
+   * Also set the new state as the initial state.
+   */
+  toState?: TState | (() => TState);
+  /**
+   * Clears the $externalErrors state back to an empty object.
+   */
+  clearExternalErrors?: boolean;
 }, 'toInitialState' | 'toState'>;
 
+//#endregion
+//#region src/types/core/scopedRegle.types.d.ts
 type ScopedInstancesRecord = Record<string, Record<string, SuperCompatibleRegleRoot>> & {
-    '~~global': Record<string, SuperCompatibleRegleRoot>;
+  '~~global': Record<string, SuperCompatibleRegleRoot>;
 };
 type ScopedInstancesRecordLike = Partial<ScopedInstancesRecord>;
 
-type PartialFormState<TState extends Record<string, any>> = [unknown] extends [TState] ? {} : Prettify<{
-    [K in keyof TState as ExtendOnlyRealRecord<TState[K]> extends true ? never : TState[K] extends Array<any> ? never : K]?: MaybeOutput<TState[K]>;
-} & {
-    [K in keyof TState as ExtendOnlyRealRecord<TState[K]> extends true ? K : TState[K] extends Array<any> ? K : never]: NonNullable<TState[K]> extends Array<infer U extends Record<string, any>> ? PartialFormState<U>[] : PartialFormState<TState[K]>;
-}>;
+//#endregion
+//#region src/types/core/results.types.d.ts
+type PartialFormState<TState extends Record<string, any>> = [unknown] extends [TState] ? {} : Prettify<{ [K in keyof TState as ExtendOnlyRealRecord<TState[K]> extends true ? never : TState[K] extends Array<any> ? never : K]?: MaybeOutput<TState[K]> } & { [K in keyof TState as ExtendOnlyRealRecord<TState[K]> extends true ? K : TState[K] extends Array<any> ? K : never]: NonNullable<TState[K]> extends Array<infer U extends Record<string, any>> ? PartialFormState<U>[] : PartialFormState<TState[K]> }>;
 type RegleResult<Data extends Record<string, any> | any[] | unknown, TRules extends ReglePartialRuleTree<any>> = {
-    valid: false;
-    data: IsUnknown$1<Data> extends true ? unknown : NonNullable<Data> extends Date | File ? MaybeOutput<Data> : NonNullable<Data> extends Array<infer U extends Record<string, any>> ? PartialFormState<U>[] : NonNullable<Data> extends Record<string, any> ? PartialFormState<NonNullable<Data>> : MaybeOutput<Data>;
+  valid: false;
+  data: IsUnknown$1<Data> extends true ? unknown : NonNullable<Data> extends Date | File ? MaybeOutput<Data> : NonNullable<Data> extends Array<infer U extends Record<string, any>> ? PartialFormState<U>[] : NonNullable<Data> extends Record<string, any> ? PartialFormState<NonNullable<Data>> : MaybeOutput<Data>;
 } | {
-    valid: true;
-    data: IsUnknown$1<Data> extends true ? unknown : Data extends Array<infer U extends Record<string, any>> ? DeepSafeFormState<U, TRules>[] : Data extends Date | File ? SafeFieldProperty<Data, TRules> : Data extends Record<string, any> ? DeepSafeFormState<Data, TRules> : SafeFieldProperty<Data, TRules>;
+  valid: true;
+  data: IsUnknown$1<Data> extends true ? unknown : Data extends Array<infer U extends Record<string, any>> ? DeepSafeFormState<U, TRules>[] : Data extends Date | File ? SafeFieldProperty<Data, TRules> : Data extends Record<string, any> ? DeepSafeFormState<Data, TRules> : SafeFieldProperty<Data, TRules>;
 };
 /**
  * Infer safe output from any `r$` instance
@@ -1310,33 +1248,38 @@ type RegleResult<Data extends Record<string, any> | any[] | unknown, TRules exte
  */
 type InferSafeOutput<TRegle extends MaybeRef<RegleRoot<{}, any, any, any>> | MaybeRef<RegleFieldStatus<any, any, any>>> = UnwrapRef<TRegle> extends Raw<RegleRoot<infer TState extends Record<string, any>, infer TRules, any, any>> ? DeepSafeFormState<JoinDiscriminatedUnions<TState>, TRules> : UnwrapRef<TRegle> extends RegleFieldStatus<infer TState, infer TRules> ? SafeFieldProperty<TState, TRules> : never;
 type $InternalRegleResult = {
-    valid: boolean;
-    data: any;
+  valid: boolean;
+  data: any;
 };
-type DeepSafeFormState<TState extends Record<string, any>, TRules extends ReglePartialRuleTree<Record<string, any>, CustomRulesDeclarationTree> | undefined> = [unknown] extends [TState] ? {} : TRules extends undefined ? TState : TRules extends ReglePartialRuleTree<TState, CustomRulesDeclarationTree> ? Prettify<{
-    [K in keyof TState as IsPropertyOutputRequired<TState[K], TRules[K]> extends false ? K : never]?: SafeProperty<TState[K], TRules[K]> extends MaybeInput<infer M> ? MaybeOutput<M> : SafeProperty<TState[K], TRules[K]>;
-} & {
-    [K in keyof TState as IsPropertyOutputRequired<TState[K], TRules[K]> extends false ? never : K]-?: unknown extends SafeProperty<TState[K], TRules[K]> ? unknown : NonNullable<SafeProperty<TState[K], TRules[K]>>;
-}> : TState;
+type DeepSafeFormState<TState extends Record<string, any>, TRules extends ReglePartialRuleTree<Record<string, any>, CustomRulesDeclarationTree> | undefined> = [unknown] extends [TState] ? {} : TRules extends undefined ? TState : TRules extends ReglePartialRuleTree<TState, CustomRulesDeclarationTree> ? Prettify<{ [K in keyof TState as IsPropertyOutputRequired<TState[K], TRules[K]> extends false ? K : never]?: SafeProperty<TState[K], TRules[K]> extends MaybeInput<infer M> ? MaybeOutput<M> : SafeProperty<TState[K], TRules[K]> } & { [K in keyof TState as IsPropertyOutputRequired<TState[K], TRules[K]> extends false ? never : K]-?: unknown extends SafeProperty<TState[K], TRules[K]> ? unknown : NonNullable<SafeProperty<TState[K], TRules[K]>> }> : TState;
 type FieldHaveRequiredRule<TRule extends RegleFormPropertyType<any, any> | undefined = never> = TRule extends RegleRuleDecl<any, any> ? [unknown] extends TRule['required'] ? NonNullable<TRule['literal']> extends RegleRuleDefinition<any, any[], any, any, any, any> ? true : false : NonNullable<TRule['required']> extends TRule['required'] ? TRule['required'] extends RegleRuleDefinition<any, infer Params, any, any, any, any> ? Params extends never[] ? true : false : false : false : false;
-type ObjectHaveAtLeastOneRequiredField<TState extends Record<string, any>, TRule extends ReglePartialRuleTree<TState, any>> = TState extends Maybe<TState> ? {
-    [K in keyof NonNullable<TState>]-?: IsPropertyOutputRequired<NonNullable<TState>[K], TRule[K]>;
-}[keyof TState] extends false ? false : true : true;
+type ObjectHaveAtLeastOneRequiredField<TState extends Record<string, any>, TRule extends ReglePartialRuleTree<TState, any>> = TState extends Maybe<TState> ? { [K in keyof NonNullable<TState>]-?: IsPropertyOutputRequired<NonNullable<TState>[K], TRule[K]> }[keyof TState] extends false ? false : true : true;
 type ArrayHaveAtLeastOneRequiredField<TState extends Maybe<any[]>, TRule extends RegleCollectionRuleDecl<TState>> = TState extends Maybe<TState> ? FieldHaveRequiredRule<Omit<TRule, '$each'> extends RegleRuleDecl ? Omit<TRule, '$each'> : {}> | ObjectHaveAtLeastOneRequiredField<ArrayElement<NonNullable<TState>>, ExtractFromGetter<TRule['$each']> extends undefined ? {} : NonNullable<ExtractFromGetter<TRule['$each']>>> extends false ? false : true : true;
 type SafeProperty<TState, TRule extends RegleFormPropertyType<any, any> | undefined> = unknown extends TState ? unknown : TRule extends RegleCollectionRuleDecl<any, any> ? TState extends Array<infer U extends Record<string, any>> ? DeepSafeFormState<U, ExtractFromGetter<TRule['$each']>>[] : TState : TRule extends ReglePartialRuleTree<any, any> ? ExtendOnlyRealRecord<TState> extends true ? DeepSafeFormState<NonNullable<TState> extends Record<string, any> ? JoinDiscriminatedUnions<NonNullable<TState>> : {}, TRule> : TRule extends RegleRuleDecl<any, any> ? FieldHaveRequiredRule<TRule> extends true ? TState : MaybeOutput<TState> : TState : TState;
-type IsPropertyOutputRequired<TState, TRule extends RegleFormPropertyType<any, any> | undefined> = [
-    unknown
-] extends [TState] ? unknown : NonNullable<TState> extends Array<any> ? TRule extends RegleCollectionRuleDecl<any, any> ? ArrayHaveAtLeastOneRequiredField<NonNullable<TState>, TRule> extends false ? false : true : false : TRule extends ReglePartialRuleTree<any, any> ? ExtendOnlyRealRecord<TState> extends true ? ObjectHaveAtLeastOneRequiredField<NonNullable<TState> extends Record<string, any> ? NonNullable<TState> : {}, TRule> extends false ? false : true : TRule extends RegleRuleDecl<any, any> ? FieldHaveRequiredRule<TRule> extends false ? false : true : false : false;
+type IsPropertyOutputRequired<TState, TRule extends RegleFormPropertyType<any, any> | undefined> = [unknown] extends [TState] ? unknown : NonNullable<TState> extends Array<any> ? TRule extends RegleCollectionRuleDecl<any, any> ? ArrayHaveAtLeastOneRequiredField<NonNullable<TState>, TRule> extends false ? false : true : false : TRule extends ReglePartialRuleTree<any, any> ? ExtendOnlyRealRecord<TState> extends true ? ObjectHaveAtLeastOneRequiredField<NonNullable<TState> extends Record<string, any> ? NonNullable<TState> : {}, TRule> extends false ? false : true : TRule extends RegleRuleDecl<any, any> ? FieldHaveRequiredRule<TRule> extends false ? false : true : false : false;
 type SafeFieldProperty<TState, TRule extends RegleFormPropertyType<any, any> | undefined = never> = FieldHaveRequiredRule<TRule> extends true ? NonNullable<TState> : MaybeOutput<TState>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/expect-type@1.2.1/node_modules/expect-type/dist/utils.d.ts
 /**
  * Negates a boolean type.
  */
 type Not<T extends boolean> = T extends true ? false : true;
+/**
+ * Returns `true` if at least one of the types in the
+ * {@linkcode Types} array is `true`, otherwise returns `false`.
+ */
+
 /**
  * Checks if all the boolean types in the {@linkcode Types} array are `true`.
  */
 type And<Types extends boolean[]> = Types[number] extends true ? true : false;
+/**
+ * Represents an equality type that returns {@linkcode Right} if
+ * {@linkcode Left} is `true`,
+ * otherwise returns the negation of {@linkcode Right}.
+ */
+
 /**
  * @internal
  */
@@ -1357,6 +1300,10 @@ type IsAny<T> = [T] extends [Secret] ? Not<IsNever<T>> : false;
  * Determines if the given type is `unknown`.
  */
 type IsUnknown<T> = [unknown] extends [T] ? Not<IsAny<T>> : false;
+/**
+ * Determines if a type is either `never` or `any`.
+ */
+
 /**
  * Subjective "useful" keys from a type. For objects it's just `keyof` but for
  * tuples/arrays it's the number keys.
@@ -1370,15 +1317,11 @@ type IsUnknown<T> = [unknown] extends [T] ? Not<IsAny<T>> : false;
  * UsefulKeys<string[]> // number
  * ```
  */
-type UsefulKeys<T> = T extends any[] ? {
-    [K in keyof T]: K;
-}[number] : keyof T;
+type UsefulKeys<T> = T extends any[] ? { [K in keyof T]: K }[number] : keyof T;
 /**
  * Extracts the keys from a type that are required (not optional).
  */
-type RequiredKeys<T> = Extract<{
-    [K in keyof T]-?: {} extends Pick<T, K> ? never : K;
-}[keyof T], keyof T>;
+type RequiredKeys<T> = Extract<{ [K in keyof T]-?: {} extends Pick<T, K> ? never : K }[keyof T], keyof T>;
 /**
  * Gets the keys of an object type that are optional.
  */
@@ -1386,13 +1329,7 @@ type OptionalKeys<T> = Exclude<keyof T, RequiredKeys<T>>;
 /**
  * Extracts the keys from a type that are not `readonly`.
  */
-type ReadonlyKeys<T> = Extract<{
-    [K in keyof T]-?: ReadonlyEquivalent<{
-        [_K in K]: T[K];
-    }, {
-        -readonly [_K in K]: T[K];
-    }> extends true ? never : K;
-}[keyof T], keyof T>;
+type ReadonlyKeys<T> = Extract<{ [K in keyof T]-?: ReadonlyEquivalent<{ [_K in K]: T[K] }, { -readonly [_K in K]: T[K] }> extends true ? never : K }[keyof T], keyof T>;
 /**
  * Determines if two types, are equivalent in a `readonly` manner.
  *
@@ -1405,13 +1342,18 @@ type ReadonlyEquivalent<X, Y> = Extends<(<T>() => T extends X ? true : false), (
  * 2. Types are wrapped in a 1-tuple so that union types are not distributed - instead we consider `string | number` to _not_ extend `number`. If we used `Left extends Right` directly you would get `Extends<string | number, number>` => `false | true` => `boolean`.
  */
 type Extends<Left, Right> = IsNever<Left> extends true ? IsNever<Right> : [Left] extends [Right] ? true : false;
+/**
+ * Checks if the {@linkcode Left} type extends the {@linkcode Right} type,
+ * excluding `any` or `never`.
+ */
+
 /**
  * Checks if two types are strictly equal using
  * the TypeScript internal identical-to operator.
  *
  * @see {@link https://github.com/microsoft/TypeScript/issues/55188#issuecomment-1656328122 | much history}
  */
-type StrictEqualUsingTSInternalIdenticalToOperator<L, R> = (<T>() => T extends (L & T) | T ? true : false) extends <T>() => T extends (R & T) | T ? true : false ? IsNever<L> extends IsNever<R> ? true : false : false;
+type StrictEqualUsingTSInternalIdenticalToOperator<L, R> = (<T>() => T extends (L & T) | T ? true : false) extends (<T>() => T extends (R & T) | T ? true : false) ? IsNever<L> extends IsNever<R> ? true : false : false;
 /**
  * Checks that {@linkcode Left} and {@linkcode Right} extend each other.
  * Not quite the same as an equality check since `any` can make it resolve
@@ -1419,17 +1361,21 @@ type StrictEqualUsingTSInternalIdenticalToOperator<L, R> = (<T>() => T extends (
  * {@linkcode Right} are known to avoid `any`.
  */
 type MutuallyExtends<Left, Right> = And<[Extends<Left, Right>, Extends<Right, Left>]>;
+/**
+ * @internal
+ */
+
 /**
  * Convert a union to an intersection.
  * `A | B | C` -\> `A & B & C`
  */
-type UnionToIntersection<Union> = (Union extends any ? (distributedUnion: Union) => void : never) extends (mergedIntersection: infer Intersection) => void ? Intersection : never;
+type UnionToIntersection<Union> = (Union extends any ? (distributedUnion: Union) => void : never) extends ((mergedIntersection: infer Intersection) => void) ? Intersection : never;
 /**
  * Get the last element of a union.
  * First, converts to a union of `() => T` functions,
  * then uses {@linkcode UnionToIntersection} to get the last one.
  */
-type LastOf<Union> = UnionToIntersection<Union extends any ? () => Union : never> extends () => infer R ? R : never;
+type LastOf<Union> = UnionToIntersection<Union extends any ? () => Union : never> extends (() => infer R) ? R : never;
 /**
  * Intermediate type for {@linkcode UnionToTuple} which pushes the
  * "last" union member to the end of a tuple, and recursively prepends
@@ -1442,6 +1388,19 @@ type TuplifyUnion<Union, LastElement = LastOf<Union>> = IsNever<Union> extends t
 type UnionToTuple<Union> = TuplifyUnion<Union>;
 type IsUnion<T> = Not<Extends<UnionToTuple<T>['length'], 1>>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/expect-type@1.2.1/node_modules/expect-type/dist/overloads.d.ts
+/**
+ * A recursive version of `Pick` that selects properties from the left type that are present in the right type.
+ * The "leaf" types from `Left` are used - only the keys of `Right` are considered.
+ *
+ * @example
+ * ```ts
+ * const user = {email: 'a@b.com', name: 'John Doe', address: {street: '123 2nd St', city: 'New York', zip: '10001', state: 'NY', country: 'USA'}}
+ *
+ * type Result = DeepPickMatchingProps<typeof user, {name: unknown; address: {city: unknown}}> // {name: string, address: {city: string}}
+ * ```
+ */
 /**
  * The simple(ish) way to get overload info from a function
  * {@linkcode FunctionType}. Recent versions of TypeScript will match any
@@ -1453,16 +1412,16 @@ type IsUnion<T> = Not<Extends<UnionToTuple<T>['length'], 1>>;
  * ten separate matches.
  */
 type TSPost53OverloadsInfoUnion<FunctionType> = FunctionType extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
-    (...args: infer A6): infer R6;
-    (...args: infer A7): infer R7;
-    (...args: infer A8): infer R8;
-    (...args: infer A9): infer R9;
-    (...args: infer A10): infer R10;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
+  (...args: infer A6): infer R6;
+  (...args: infer A7): infer R7;
+  (...args: infer A8): infer R8;
+  (...args: infer A9): infer R9;
+  (...args: infer A10): infer R10;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) | ((...p: A6) => R6) | ((...p: A7) => R7) | ((...p: A8) => R8) | ((...p: A9) => R9) | ((...p: A10) => R10) : never;
 /**
  * A function with `unknown` parameters and return type.
@@ -1503,69 +1462,69 @@ type TSPre53OverloadsInfoUnion<FunctionType> = Tuplify<DecreasingOverloadsInfoUn
  * then 9, then 8, etc., to get a union of the overload variants.
  */
 type DecreasingOverloadsInfoUnion<F> = F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
-    (...args: infer A6): infer R6;
-    (...args: infer A7): infer R7;
-    (...args: infer A8): infer R8;
-    (...args: infer A9): infer R9;
-    (...args: infer A10): infer R10;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
+  (...args: infer A6): infer R6;
+  (...args: infer A7): infer R7;
+  (...args: infer A8): infer R8;
+  (...args: infer A9): infer R9;
+  (...args: infer A10): infer R10;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) | ((...p: A6) => R6) | ((...p: A7) => R7) | ((...p: A8) => R8) | ((...p: A9) => R9) | ((...p: A10) => R10) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
-    (...args: infer A6): infer R6;
-    (...args: infer A7): infer R7;
-    (...args: infer A8): infer R8;
-    (...args: infer A9): infer R9;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
+  (...args: infer A6): infer R6;
+  (...args: infer A7): infer R7;
+  (...args: infer A8): infer R8;
+  (...args: infer A9): infer R9;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) | ((...p: A6) => R6) | ((...p: A7) => R7) | ((...p: A8) => R8) | ((...p: A9) => R9) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
-    (...args: infer A6): infer R6;
-    (...args: infer A7): infer R7;
-    (...args: infer A8): infer R8;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
+  (...args: infer A6): infer R6;
+  (...args: infer A7): infer R7;
+  (...args: infer A8): infer R8;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) | ((...p: A6) => R6) | ((...p: A7) => R7) | ((...p: A8) => R8) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
-    (...args: infer A6): infer R6;
-    (...args: infer A7): infer R7;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
+  (...args: infer A6): infer R6;
+  (...args: infer A7): infer R7;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) | ((...p: A6) => R6) | ((...p: A7) => R7) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
-    (...args: infer A6): infer R6;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
+  (...args: infer A6): infer R6;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) | ((...p: A6) => R6) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
-    (...args: infer A5): infer R5;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
+  (...args: infer A5): infer R5;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) | ((...p: A5) => R5) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
-    (...args: infer A4): infer R4;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
+  (...args: infer A4): infer R4;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) | ((...p: A4) => R4) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-    (...args: infer A3): infer R3;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+  (...args: infer A3): infer R3;
 } ? ((...p: A1) => R1) | ((...p: A2) => R2) | ((...p: A3) => R3) : F extends {
-    (...args: infer A1): infer R1;
-    (...args: infer A2): infer R2;
-} ? ((...p: A1) => R1) | ((...p: A2) => R2) : F extends (...args: infer A1) => infer R1 ? ((...p: A1) => R1) : never;
+  (...args: infer A1): infer R1;
+  (...args: infer A2): infer R2;
+} ? ((...p: A1) => R1) | ((...p: A2) => R2) : F extends ((...args: infer A1) => infer R1) ? ((...p: A1) => R1) : never;
 /**
  * Get a union of overload variants for a function {@linkcode FunctionType}.
  * Does a check for whether we can do the one-shot
@@ -1573,6 +1532,10 @@ type DecreasingOverloadsInfoUnion<F> = F extends {
  * falls back to the more complicated utility.
  */
 type OverloadsInfoUnion<FunctionType> = IsNever<TSPost53OverloadsInfoUnion<(a: 1) => 2>> extends true ? TSPre53OverloadsInfoUnion<FunctionType> : TSPost53OverloadsInfoUnion<FunctionType>;
+/**
+ * Allows inferring any function using the `infer` keyword.
+ */
+
 /**
  * The simple(ish) way to get overload info from a constructor
  * {@linkcode ConstructorType}. Recent versions of TypeScript will match any
@@ -1584,16 +1547,16 @@ type OverloadsInfoUnion<FunctionType> = IsNever<TSPost53OverloadsInfoUnion<(a: 1
  * we'll need to painstakingly do ten separate matches.
  */
 type TSPost53ConstructorOverloadsInfoUnion<ConstructorType> = ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
-    new (...args: infer A6): infer R6;
-    new (...args: infer A7): infer R7;
-    new (...args: infer A8): infer R8;
-    new (...args: infer A9): infer R9;
-    new (...args: infer A10): infer R10;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
+  new (...args: infer A6): infer R6;
+  new (...args: infer A7): infer R7;
+  new (...args: infer A8): infer R8;
+  new (...args: infer A9): infer R9;
+  new (...args: infer A10): infer R10;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) | (new (...p: A6) => R6) | (new (...p: A7) => R7) | (new (...p: A8) => R8) | (new (...p: A9) => R9) | (new (...p: A10) => R10) : never;
 /**
  * A constructor function with `unknown` parameters and return type.
@@ -1620,69 +1583,69 @@ type TSPre53ConstructorOverloadsInfoUnion<ConstructorType> = Tuplify<DecreasingC
  * then 9, then 8, etc., to get a union of the overload variants.
  */
 type DecreasingConstructorOverloadsInfoUnion<ConstructorType> = ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
-    new (...args: infer A6): infer R6;
-    new (...args: infer A7): infer R7;
-    new (...args: infer A8): infer R8;
-    new (...args: infer A9): infer R9;
-    new (...args: infer A10): infer R10;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
+  new (...args: infer A6): infer R6;
+  new (...args: infer A7): infer R7;
+  new (...args: infer A8): infer R8;
+  new (...args: infer A9): infer R9;
+  new (...args: infer A10): infer R10;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) | (new (...p: A6) => R6) | (new (...p: A7) => R7) | (new (...p: A8) => R8) | (new (...p: A9) => R9) | (new (...p: A10) => R10) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
-    new (...args: infer A6): infer R6;
-    new (...args: infer A7): infer R7;
-    new (...args: infer A8): infer R8;
-    new (...args: infer A9): infer R9;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
+  new (...args: infer A6): infer R6;
+  new (...args: infer A7): infer R7;
+  new (...args: infer A8): infer R8;
+  new (...args: infer A9): infer R9;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) | (new (...p: A6) => R6) | (new (...p: A7) => R7) | (new (...p: A8) => R8) | (new (...p: A9) => R9) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
-    new (...args: infer A6): infer R6;
-    new (...args: infer A7): infer R7;
-    new (...args: infer A8): infer R8;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
+  new (...args: infer A6): infer R6;
+  new (...args: infer A7): infer R7;
+  new (...args: infer A8): infer R8;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) | (new (...p: A6) => R6) | (new (...p: A7) => R7) | (new (...p: A8) => R8) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
-    new (...args: infer A6): infer R6;
-    new (...args: infer A7): infer R7;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
+  new (...args: infer A6): infer R6;
+  new (...args: infer A7): infer R7;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) | (new (...p: A6) => R6) | (new (...p: A7) => R7) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
-    new (...args: infer A6): infer R6;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
+  new (...args: infer A6): infer R6;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) | (new (...p: A6) => R6) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
-    new (...args: infer A5): infer R5;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
+  new (...args: infer A5): infer R5;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) | (new (...p: A5) => R5) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
-    new (...args: infer A4): infer R4;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
+  new (...args: infer A4): infer R4;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) | (new (...p: A4) => R4) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-    new (...args: infer A3): infer R3;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+  new (...args: infer A3): infer R3;
 } ? (new (...p: A1) => R1) | (new (...p: A2) => R2) | (new (...p: A3) => R3) : ConstructorType extends {
-    new (...args: infer A1): infer R1;
-    new (...args: infer A2): infer R2;
-} ? (new (...p: A1) => R1) | (new (...p: A2) => R2) : ConstructorType extends new (...args: infer A1) => infer R1 ? (new (...p: A1) => R1) : never;
+  new (...args: infer A1): infer R1;
+  new (...args: infer A2): infer R2;
+} ? (new (...p: A1) => R1) | (new (...p: A2) => R2) : ConstructorType extends (new (...args: infer A1) => infer R1) ? (new (...p: A1) => R1) : never;
 /**
  * Get a union of overload variants for a constructor
  * {@linkcode ConstructorType}. Does a check for whether we can do the
@@ -1704,6 +1667,8 @@ type ConstructorOverloadParameters<ConstructorType> = ConstructorOverloadsUnion<
  */
 type NumOverloads<FunctionType> = UnionToTuple<OverloadsInfoUnion<FunctionType>>['length'];
 
+//#endregion
+//#region ../../node_modules/.pnpm/expect-type@1.2.1/node_modules/expect-type/dist/branding.d.ts
 /**
  * Represents a deeply branded type.
  *
@@ -1721,117 +1686,92 @@ type NumOverloads<FunctionType> = UnionToTuple<OverloadsInfoUnion<FunctionType>>
  * better to use {@linkcode StrictEqualUsingTSInternalIdenticalToOperator}.
  */
 type DeepBrand<T> = IsNever<T> extends true ? {
-    type: 'never';
+  type: 'never';
 } : IsAny<T> extends true ? {
-    type: 'any';
+  type: 'any';
 } : IsUnknown<T> extends true ? {
-    type: 'unknown';
+  type: 'unknown';
 } : T extends string | number | boolean | symbol | bigint | null | undefined | void ? {
-    type: 'primitive';
-    value: T;
-} : T extends new (...args: any[]) => any ? {
-    type: 'constructor';
-    params: ConstructorOverloadParameters<T>;
-    instance: DeepBrand<InstanceType<Extract<T, new (...args: any) => any>>>;
-} : T extends (...args: infer P) => infer R ? NumOverloads<T> extends 1 ? {
-    type: 'function';
-    params: DeepBrand<P>;
-    return: DeepBrand<R>;
-    this: DeepBrand<ThisParameterType<T>>;
-    props: DeepBrand<Omit<T, keyof Function>>;
+  type: 'primitive';
+  value: T;
+} : T extends (new (...args: any[]) => any) ? {
+  type: 'constructor';
+  params: ConstructorOverloadParameters<T>;
+  instance: DeepBrand<InstanceType<Extract<T, new (...args: any) => any>>>;
+} : T extends ((...args: infer P) => infer R) ? NumOverloads<T> extends 1 ? {
+  type: 'function';
+  params: DeepBrand<P>;
+  return: DeepBrand<R>;
+  this: DeepBrand<ThisParameterType<T>>;
+  props: DeepBrand<Omit<T, keyof Function>>;
 } : UnionToTuple<OverloadsInfoUnion<T>> extends infer OverloadsTuple ? {
-    type: 'overloads';
-    overloads: {
-        [K in keyof OverloadsTuple]: DeepBrand<OverloadsTuple[K]>;
-    };
+  type: 'overloads';
+  overloads: { [K in keyof OverloadsTuple]: DeepBrand<OverloadsTuple[K]> };
 } : never : T extends any[] ? {
-    type: 'array';
-    items: {
-        [K in keyof T]: T[K];
-    };
+  type: 'array';
+  items: { [K in keyof T]: T[K] };
 } : {
-    type: 'object';
-    properties: {
-        [K in keyof T]: DeepBrand<T[K]>;
-    };
-    readonly: ReadonlyKeys<T>;
-    required: RequiredKeys<T>;
-    optional: OptionalKeys<T>;
-    constructorParams: DeepBrand<ConstructorOverloadParameters<T>>;
+  type: 'object';
+  properties: { [K in keyof T]: DeepBrand<T[K]> };
+  readonly: ReadonlyKeys<T>;
+  required: RequiredKeys<T>;
+  optional: OptionalKeys<T>;
+  constructorParams: DeepBrand<ConstructorOverloadParameters<T>>;
 };
 /**
  * Checks if two types are strictly equal using branding.
  */
 type StrictEqualUsingBranding<Left, Right> = MutuallyExtends<DeepBrand<Left>, DeepBrand<Right>>;
 
+//#endregion
+//#region ../../node_modules/.pnpm/expect-type@1.2.1/node_modules/expect-type/dist/messages.d.ts
 /**
  * Determines the printable type representation for a given type.
  */
-type PrintType<T> = IsUnknown<T> extends true ? 'unknown' : IsNever<T> extends true ? 'never' : IsAny<T> extends true ? never : boolean extends T ? 'boolean' : T extends boolean ? `literal boolean: ${T}` : string extends T ? 'string' : T extends string ? `literal string: ${T}` : number extends T ? 'number' : T extends number ? `literal number: ${T}` : bigint extends T ? 'bigint' : T extends bigint ? `literal bigint: ${T}` : T extends null ? 'null' : T extends undefined ? 'undefined' : T extends (...args: any[]) => any ? 'function' : '...';
+type PrintType<T> = IsUnknown<T> extends true ? 'unknown' : IsNever<T> extends true ? 'never' : IsAny<T> extends true ? never : boolean extends T ? 'boolean' : T extends boolean ? `literal boolean: ${T}` : string extends T ? 'string' : T extends string ? `literal string: ${T}` : number extends T ? 'number' : T extends number ? `literal number: ${T}` : bigint extends T ? 'bigint' : T extends bigint ? `literal bigint: ${T}` : T extends null ? 'null' : T extends undefined ? 'undefined' : T extends ((...args: any[]) => any) ? 'function' : '...';
 /**
  * Helper for showing end-user a hint why their type assertion is failing.
  * This swaps "leaf" types with a literal message about what the actual and
  * expected types are. Needs to check for `Not<IsAny<Actual>>` because
  * otherwise `LeafTypeOf<Actual>` returns `never`, which extends everything 🤔
  */
-type MismatchInfo<Actual, Expected> = And<[Extends<PrintType<Actual>, '...'>, Not<IsAny<Actual>>]> extends true ? And<[Extends<any[], Actual>, Extends<any[], Expected>]> extends true ? Array<MismatchInfo<Extract<Actual, any[]>[number], Extract<Expected, any[]>[number]>> : {
-    [K in UsefulKeys<Actual> | UsefulKeys<Expected>]: MismatchInfo<K extends keyof Actual ? Actual[K] : never, K extends keyof Expected ? Expected[K] : never>;
-} : StrictEqualUsingBranding<Actual, Expected> extends true ? Actual : `Expected: ${PrintType<Expected>}, Actual: ${PrintType<Exclude<Actual, Expected>>}`;
+type MismatchInfo<Actual, Expected> = And<[Extends<PrintType<Actual>, '...'>, Not<IsAny<Actual>>]> extends true ? And<[Extends<any[], Actual>, Extends<any[], Expected>]> extends true ? Array<MismatchInfo<Extract<Actual, any[]>[number], Extract<Expected, any[]>[number]>> : { [K in UsefulKeys<Actual> | UsefulKeys<Expected>]: MismatchInfo<K extends keyof Actual ? Actual[K] : never, K extends keyof Expected ? Expected[K] : never> } : StrictEqualUsingBranding<Actual, Expected> extends true ? Actual : `Expected: ${PrintType<Expected>}, Actual: ${PrintType<Exclude<Actual, Expected>>}`;
 
+//#endregion
+//#region src/types/core/variants.types.d.ts
+/**
+ * @internal
+ */
 type NarrowVariant<TRoot extends {
-    [x: string]: unknown;
-}, TKey extends keyof TRoot, TValue extends LazyJoinDiscriminatedUnions<Exclude<TRoot[TKey], RegleCollectionStatus<any, any, any> | RegleStatus<any, any, any>>> extends {
-    $value: infer V;
-} ? V : unknown> = Extract<TRoot, {
-    [K in TKey]: RegleFieldStatus<TValue, any, any>;
-}>;
+  [x: string]: unknown;
+}, TKey extends keyof TRoot, TValue extends (LazyJoinDiscriminatedUnions<Exclude<TRoot[TKey], RegleCollectionStatus<any, any, any> | RegleStatus<any, any, any>>> extends {
+  $value: infer V;
+} ? V : unknown)> = Extract<TRoot, { [K in TKey]: RegleFieldStatus<TValue, any, any> }>;
 type MaybeVariantStatus<TState extends Record<string, any> | undefined = Record<string, any>, TRules extends ReglePartialRuleTree<NonNullable<TState>> = Record<string, any>, TShortcuts extends RegleShortcutDefinition = {}> = IsUnion<NonNullable<TState>> extends true ? Omit<RegleStatus<TState, TRules, TShortcuts>, '$fields'> & {
-    $fields: ProcessChildrenFields<TState, TRules, TShortcuts>[keyof ProcessChildrenFields<TState, TRules, TShortcuts>];
+  $fields: ProcessChildrenFields<TState, TRules, TShortcuts>[keyof ProcessChildrenFields<TState, TRules, TShortcuts>];
 } : RegleStatus<TState, TRules, TShortcuts>;
-type ProcessChildrenFields<TState extends Record<string, any> | undefined, TRules extends ReglePartialRuleTree<NonNullable<TState>>, TShortcuts extends RegleShortcutDefinition = {}> = {
-    [TIndex in keyof TupleToPlainObj<UnionToTuple$1<TState>>]: TIndex extends `${infer TIndexInt extends number}` ? {
-        [TKey in keyof UnionToTuple$1<TState>[TIndexInt] as IsEmptyObject<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject> extends true ? TKey extends keyof TState ? TState[TKey] extends NonNullable<TState[TKey]> ? TKey : never : never : TKey]-?: InferRegleStatusType<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject, NonNullable<UnionToTuple$1<TState>[TIndexInt]>, TKey, TShortcuts>;
-    } & {
-        [TKey in keyof UnionToTuple$1<TState>[TIndexInt] as IsEmptyObject<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject> extends true ? TKey extends keyof TState ? TState[TKey] extends NonNullable<TState[TKey]> ? never : TKey : TKey : never]?: InferRegleStatusType<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject, NonNullable<UnionToTuple$1<TState>[TIndexInt]>, TKey, TShortcuts>;
-    } : {};
-};
-type FindCorrespondingVariant<TState extends Record<string, any>, TRules extends any[]> = TRules extends [
-    infer F,
-    ...infer R
-] ? F extends ReglePartialRuleTree<TState> ? [F] : FindCorrespondingVariant<TState, R> : [];
+type ProcessChildrenFields<TState extends Record<string, any> | undefined, TRules extends ReglePartialRuleTree<NonNullable<TState>>, TShortcuts extends RegleShortcutDefinition = {}> = { [TIndex in keyof TupleToPlainObj<UnionToTuple$1<TState>>]: TIndex extends `${infer TIndexInt extends number}` ? { [TKey in keyof UnionToTuple$1<TState>[TIndexInt] as IsEmptyObject<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject> extends true ? TKey extends keyof TState ? TState[TKey] extends NonNullable<TState[TKey]> ? TKey : never : never : TKey]-?: InferRegleStatusType<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject, NonNullable<UnionToTuple$1<TState>[TIndexInt]>, TKey, TShortcuts> } & { [TKey in keyof UnionToTuple$1<TState>[TIndexInt] as IsEmptyObject<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject> extends true ? TKey extends keyof TState ? TState[TKey] extends NonNullable<TState[TKey]> ? never : TKey : TKey : never]?: InferRegleStatusType<FindCorrespondingVariant<UnionToTuple$1<TState>[TIndexInt] extends Record<string, any> ? UnionToTuple$1<TState>[TIndexInt] : never, UnionToTuple$1<TRules>> extends [infer U] ? TKey extends keyof U ? U[TKey] : EmptyObject : EmptyObject, NonNullable<UnionToTuple$1<TState>[TIndexInt]>, TKey, TShortcuts> } : {} };
+type FindCorrespondingVariant<TState extends Record<string, any>, TRules extends any[]> = TRules extends [infer F, ...infer R] ? F extends ReglePartialRuleTree<TState> ? [F] : FindCorrespondingVariant<TState, R> : [];
 type PossibleLiteralTypes<T extends Record<string, any>, TKey extends keyof T> = unknown extends T[TKey] ? {
-    [x: string]: {
-        [K in TKey]-?: Omit<RegleRuleDecl<any, Partial<AllRulesDeclarations>>, 'literal'> & {
-            literal?: RegleRuleDefinition<any, [literal: any], false, boolean, any, string | number>;
-        };
-    };
-} : {
-    [TVal in NonNullable<T[TKey]>]: {
-        [K in TKey]-?: Omit<RegleRuleDecl<TVal, Partial<AllRulesDeclarations>>, 'literal'> & {
-            literal?: RegleRuleDefinition<MaybeInput<TVal>, [
-                literal: TVal
-            ], false, boolean, MaybeInput<TVal>, string | number>;
-        };
-    };
-};
+  [x: string]: { [K in TKey]-?: Omit<RegleRuleDecl<any, Partial<AllRulesDeclarations>>, 'literal'> & {
+    literal?: RegleRuleDefinition<any, [literal: any], false, boolean, any, string | number>;
+  } };
+} : { [TVal in NonNullable<T[TKey]>]: { [K in TKey]-?: Omit<RegleRuleDecl<TVal, Partial<AllRulesDeclarations>>, 'literal'> & {
+  literal?: RegleRuleDefinition<MaybeInput<TVal>, [literal: TVal], false, boolean, MaybeInput<TVal>, string | number>;
+} } };
 type RequiredForm<T extends Record<string, any>, TKey extends keyof T> = Omit<ReglePartialRuleTree<T>, TKey> & PossibleLiteralTypes<T, TKey>[keyof PossibleLiteralTypes<T, TKey>];
-type VariantTuple<T extends Record<string, any>, TKey extends keyof T> = [
-    RequiredForm<T, TKey>,
-    ...RequiredForm<T, TKey>[]
-];
+type VariantTuple<T extends Record<string, any>, TKey extends keyof T> = [RequiredForm<T, TKey>, ...RequiredForm<T, TKey>[]];
 
+//#endregion
+//#region src/core/useRegle/useRegle.d.ts
 type useRegleFnOptions<TState extends Record<string, any> | MaybeInput<PrimitiveTypes>, TRules extends ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations>>, TAdditionalOptions extends Record<string, any>, TValidationGroups extends Record<string, RegleValidationGroupEntry[]>> = TState extends MaybeInput<PrimitiveTypes> ? Partial<DeepMaybeRef<RegleBehaviourOptions>> & TAdditionalOptions : Partial<DeepMaybeRef<RegleBehaviourOptions>> & LocalRegleBehaviourOptions<JoinDiscriminatedUnions<TState extends Record<string, any> ? Unwrap<TState> : {}>, TState extends Record<string, any> ? TRules : {}, TValidationGroups> & TAdditionalOptions;
 interface useRegleFn<TCustomRules extends Partial<AllRulesDeclarations>, TShortcuts extends RegleShortcutDefinition<any> = never, TAdditionalReturnProperties extends Record<string, any> = {}, TAdditionalOptions extends Record<string, any> = {}> {
-    <TState extends Record<string, any> | MaybeInput<PrimitiveTypes>, TRules extends ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules> & TValid, TDecl extends RegleRuleDecl<NonNullable<TState>, Partial<AllRulesDeclarations> & TCustomRules>, TValidationGroups extends Record<string, RegleValidationGroupEntry[]>, TValid = isDeepExact<NoInferLegacy<TRules>, Unwrap<TState extends Record<string, any> ? TState : {}>> extends true ? {} : MismatchInfo<RegleRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules>, NoInferLegacy<TRules>>>(...params: [
-        state: Maybe<MaybeRef<TState> | DeepReactiveState<TState>>,
-        rulesFactory: TState extends MaybeInput<PrimitiveTypes> ? MaybeRefOrGetter<TDecl> : TState extends Record<string, any> ? MaybeRef<TRules> | ((...args: any[]) => TRules) : {},
-        ...(HaveAnyRequiredProps<useRegleFnOptions<TState, TRules, TAdditionalOptions, TValidationGroups>> extends true ? [options: useRegleFnOptions<TState, TRules, TAdditionalOptions, TValidationGroups>] : [options?: useRegleFnOptions<TState, TRules, TAdditionalOptions, TValidationGroups>])
-    ]): NonNullable<TState> extends PrimitiveTypes ? RegleSingleField<NonNullable<TState>, TDecl, TShortcuts, TAdditionalReturnProperties> : Regle<TState extends Record<string, any> ? Unwrap<TState> : {}, TRules, TValidationGroups, TShortcuts, TAdditionalReturnProperties>;
-    __config?: {
-        rules?: () => CustomRulesDeclarationTree;
-        modifiers?: RegleBehaviourOptions;
-        shortcuts?: TShortcuts;
-    };
+  <TState extends Record<string, any> | MaybeInput<PrimitiveTypes>, TRules extends ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules> & TValid, TDecl extends RegleRuleDecl<NonNullable<TState>, Partial<AllRulesDeclarations> & TCustomRules>, TValidationGroups extends Record<string, RegleValidationGroupEntry[]>, TValid = (isDeepExact<NoInferLegacy<TRules>, Unwrap<TState extends Record<string, any> ? TState : {}>> extends true ? {} : MismatchInfo<RegleRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules>, NoInferLegacy<TRules>>)>(...params: [state: Maybe<MaybeRef<TState> | DeepReactiveState<TState>>, rulesFactory: TState extends MaybeInput<PrimitiveTypes> ? MaybeRefOrGetter<TDecl> : TState extends Record<string, any> ? MaybeRef<TRules> | ((...args: any[]) => TRules) : {}, ...(HaveAnyRequiredProps<useRegleFnOptions<TState, TRules, TAdditionalOptions, TValidationGroups>> extends true ? [options: useRegleFnOptions<TState, TRules, TAdditionalOptions, TValidationGroups>] : [options?: useRegleFnOptions<TState, TRules, TAdditionalOptions, TValidationGroups>])]): NonNullable<TState> extends PrimitiveTypes ? RegleSingleField<NonNullable<TState>, TDecl, TShortcuts, TAdditionalReturnProperties> : Regle<TState extends Record<string, any> ? Unwrap<TState> : {}, TRules, TValidationGroups, TShortcuts, TAdditionalReturnProperties>;
+  __config?: {
+    rules?: () => CustomRulesDeclarationTree;
+    modifiers?: RegleBehaviourOptions;
+    shortcuts?: TShortcuts;
+  };
 }
 /**
  * useRegle serves as the foundation for validation logic.
@@ -1854,8 +1794,10 @@ interface useRegleFn<TCustomRules extends Partial<AllRulesDeclarations>, TShortc
  */
 declare const useRegle: useRegleFn<Partial<AllRulesDeclarations>, RegleShortcutDefinition<any>, {}, {}>;
 
+//#endregion
+//#region src/core/useRegle/inferRules.d.ts
 interface inferRulesFn<TCustomRules extends Partial<AllRulesDeclarations>> {
-    <TState extends Record<string, any> | MaybeInput<PrimitiveTypes>, TRules extends ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules> & TValid, TDecl extends RegleRuleDecl<NonNullable<TState>, Partial<AllRulesDeclarations> & TCustomRules>, TValid = isDeepExact<NoInferLegacy<TRules>, Unwrap<TState extends Record<string, any> ? TState : {}>> extends true ? {} : MismatchInfo<NoInferLegacy<TRules>, ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules>>>(state: MaybeRef<TState> | DeepReactiveState<TState>, rulesFactory: TState extends MaybeInput<PrimitiveTypes> ? TDecl : TState extends Record<string, any> ? TRules : {}): NonNullable<TState> extends PrimitiveTypes ? TDecl : TRules;
+  <TState extends Record<string, any> | MaybeInput<PrimitiveTypes>, TRules extends ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules> & TValid, TDecl extends RegleRuleDecl<NonNullable<TState>, Partial<AllRulesDeclarations> & TCustomRules>, TValid = (isDeepExact<NoInferLegacy<TRules>, Unwrap<TState extends Record<string, any> ? TState : {}>> extends true ? {} : MismatchInfo<NoInferLegacy<TRules>, ReglePartialRuleTree<Unwrap<TState extends Record<string, any> ? TState : {}>, Partial<AllRulesDeclarations> & TCustomRules>>)>(state: MaybeRef<TState> | DeepReactiveState<TState>, rulesFactory: TState extends MaybeInput<PrimitiveTypes> ? TDecl : TState extends Record<string, any> ? TRules : {}): NonNullable<TState> extends PrimitiveTypes ? TDecl : TRules;
 }
 /**
  * Rule type helper to provide autocomplete and typecheck to your form rules or part of your form rules
@@ -1866,49 +1808,93 @@ interface inferRulesFn<TCustomRules extends Partial<AllRulesDeclarations>> {
  */
 declare const inferRules: inferRulesFn<Partial<AllRulesDeclarations>>;
 
-declare function useRootStorage({ initialState, options, scopeRules, state, customRules, shortcuts, schemaErrors, schemaMode, onValidate, }: {
-    scopeRules: Ref<$InternalReglePartialRuleTree>;
-    state: Ref<Record<string, any> | PrimitiveTypes>;
-    options: ResolvedRegleBehaviourOptions;
-    initialState: Ref<Record<string, any> | PrimitiveTypes>;
-    customRules?: () => CustomRulesDeclarationTree;
-    shortcuts: RegleShortcutDefinition | undefined;
-    schemaErrors?: Ref<any | undefined>;
-    schemaMode?: boolean;
-    onValidate?: () => Promise<$InternalRegleResult>;
+//#endregion
+//#region src/core/useRegle/root/useRootStorage.d.ts
+declare function useRootStorage({
+  initialState,
+  options,
+  scopeRules,
+  state,
+  customRules,
+  shortcuts,
+  schemaErrors,
+  schemaMode,
+  onValidate
+}: {
+  scopeRules: Ref<$InternalReglePartialRuleTree>;
+  state: Ref<Record<string, any> | PrimitiveTypes>;
+  options: ResolvedRegleBehaviourOptions;
+  initialState: Ref<Record<string, any> | PrimitiveTypes>;
+  customRules?: () => CustomRulesDeclarationTree;
+  shortcuts: RegleShortcutDefinition | undefined;
+  schemaErrors?: Ref<any | undefined>;
+  schemaMode?: boolean;
+  onValidate?: () => Promise<$InternalRegleResult>;
 }): {
-    regle: $InternalRegleStatusType | undefined;
+  regle: $InternalRegleStatusType | undefined;
 };
 
+//#endregion
+//#region src/core/useRegle/useErrors.d.ts
 /**
  * Converts a nested $errors object to a flat array of string errors
  *
  * Can also flatten to an array containing the path of each error with the options.includePath
  */
 declare function flatErrors(errors: $InternalRegleErrors, options: {
-    includePath: true;
+  includePath: true;
 }): {
-    error: string;
-    path: string;
+  error: string;
+  path: string;
 }[];
 declare function flatErrors(errors: $InternalRegleErrors, options?: {
-    includePath?: false;
+  includePath?: false;
 }): string[];
 
-type InferRegleRoot<T extends (...args: any[]) => SuperCompatibleRegle> = T extends (...args: any[]) => infer U ? U extends SuperCompatibleRegle ? U['r$'] : never : never;
+//#endregion
+//#region src/types/utils/props.types.d.ts
+/**
+ * Infer type of the `r$` of any function returning a regle instance
+ */
+type InferRegleRoot<T extends (...args: any[]) => SuperCompatibleRegle> = T extends ((...args: any[]) => infer U) ? U extends SuperCompatibleRegle ? U['r$'] : never : never;
+/**
+ * Infer custom rules declared in a global configuration
+ */
 type InferRegleRules<T extends useRegleFn<any, any>> = T extends useRegleFn<infer U, any> ? UnwrapRuleTree<Partial<U> & Partial<DefaultValidators>> : {};
+/**
+ * Infer custom shortcuts declared in a global configuration
+ */
 type InferRegleShortcuts<T extends useRegleFn<any, any>> = T extends useRegleFn<any, infer U> ? U : {};
-type RegleEnforceRequiredRules<TRules extends keyof DefaultValidators> = Omit<Partial<DefaultValidatorsTree>, TRules> & {
-    [K in TRules]-?: UnwrapRuleWithParams<DefaultValidators[K]>;
-};
-type RegleEnforceCustomRequiredRules<T extends Partial<AllRulesDeclarations> | useRegleFn<any, any>, TRules extends T extends useRegleFn<any, any> ? keyof InferRegleRules<T> : keyof T> = Omit<Partial<DefaultValidatorsTree>, TRules> & {
-    [K in TRules]-?: T extends useRegleFn<any, any> ? K extends keyof InferRegleRules<T> ? NonNullable<UnwrapRuleWithParams<InferRegleRules<T>[K]>> : never : K extends keyof T ? NonNullable<T[K]> : never;
-};
+/**
+ * Extract a set rules and setting them as required
+ */
+type RegleEnforceRequiredRules<TRules extends keyof DefaultValidators> = Omit<Partial<DefaultValidatorsTree>, TRules> & { [K in TRules]-?: UnwrapRuleWithParams<DefaultValidators[K]> };
+/**
+ * Extract a set of custom rules from a global configuration and setting them as required
+
+ */
+type RegleEnforceCustomRequiredRules<T extends Partial<AllRulesDeclarations> | useRegleFn<any, any>, TRules extends (T extends useRegleFn<any, any> ? keyof InferRegleRules<T> : keyof T)> = Omit<Partial<DefaultValidatorsTree>, TRules> & { [K in TRules]-?: T extends useRegleFn<any, any> ? K extends keyof InferRegleRules<T> ? NonNullable<UnwrapRuleWithParams<InferRegleRules<T>[K]>> : never : K extends keyof T ? NonNullable<T[K]> : never };
+/**
+ * Extract custom rules and custom shortcuts and apply them to a RegleFieldStatus type
+ */
+type RegleCustomFieldStatus<T extends useRegleFn<any, any>, TState extends unknown = any, TRules extends RegleFormPropertyType<any, Partial<AllRulesDeclarations>> = InferRegleRules<T>> = RegleFieldStatus<TState, TRules, InferRegleShortcuts<T>>;
+/**
+ * Extract custom rules and custom shortcuts and apply them to a RegleFieldStatus type
+ */
+type RegleCustomStatus<T extends useRegleFn<any, any>, TState extends Record<string, any> | undefined = Record<string, any>, TRules extends ReglePartialRuleTree<NonNullable<TState>> = InferRegleRules<T>> = RegleStatus<TState, TRules, InferRegleShortcuts<T>>;
+/**
+ * Extract custom rules and custom shortcuts and apply them to a RegleFieldStatus type
+ */
+type RegleCustomCollectionStatus<T extends useRegleFn<any, any>, TState extends any[] = any[], TRules extends ReglePartialRuleTree<ArrayElement<TState>> = InferRegleRules<T>> = RegleCollectionStatus<TState, TRules, InferRegleShortcuts<T>>;
 
+//#endregion
+//#region src/types/utils/object.types.d.ts
 type RemoveCommonKey<T extends readonly any[], K extends PropertyKey> = T extends [infer F, ...infer R] ? [Prettify<Omit<F, K>>, ...RemoveCommonKey<R, K>] : [];
-type MergePropsIntoRequiredBooleans<TObject extends Record<string, any>> = {
-    [K in keyof TObject]-?: TObject[K] extends NonNullable<TObject[K]> ? true : false;
-}[keyof TObject];
+/**
+ * Restore the optional properties (with ?) of a generated mapped object type
+ */
+
+type MergePropsIntoRequiredBooleans<TObject extends Record<string, any>> = { [K in keyof TObject]-?: TObject[K] extends NonNullable<TObject[K]> ? true : false }[keyof TObject];
 /**
  * Ensure that if at least one prop is required, the "prop" object will be required too
  */
@@ -1920,17 +1906,7 @@ type GetMaybeObjectValue<O extends Record<string, any>, K extends string> = K ex
 /**
  * Combine all union values to be able to get even the normally "never" values, act as an intersection type
  */
-type RetrieveUnionUnknownValues<T extends readonly any[], TKeys extends string> = T extends [
-    infer F extends Record<string, any>,
-    ...infer R
-] ? [
-    {
-        [K in TKeys as GetMaybeObjectValue<F, K> extends NonNullable<GetMaybeObjectValue<F, K>> ? never : K]?: GetMaybeObjectValue<F, K>;
-    } & {
-        [K in TKeys as GetMaybeObjectValue<F, K> extends NonNullable<GetMaybeObjectValue<F, K>> ? K : never]: GetMaybeObjectValue<F, K>;
-    },
-    ...RetrieveUnionUnknownValues<R, TKeys>
-] : [];
+type RetrieveUnionUnknownValues<T extends readonly any[], TKeys extends string> = T extends [infer F extends Record<string, any>, ...infer R] ? [{ [K in TKeys as GetMaybeObjectValue<F, K> extends NonNullable<GetMaybeObjectValue<F, K>> ? never : K]?: GetMaybeObjectValue<F, K> } & { [K in TKeys as GetMaybeObjectValue<F, K> extends NonNullable<GetMaybeObjectValue<F, K>> ? K : never]: GetMaybeObjectValue<F, K> }, ...RetrieveUnionUnknownValues<R, TKeys>] : [];
 /**
  * Get all possible keys from a union, even the ones present only on one union
  */
@@ -1945,106 +1921,102 @@ type NormalizeUnion<TUnion> = RetrieveUnionUnknownValues<NonNullable<UnionToTupl
 type JoinDiscriminatedUnions<TUnion extends unknown> = isRecordLiteral<TUnion> extends true ? Prettify<Partial<UnionToIntersection$1<RemoveCommonKey<UnionToTuple$1<NonNullable<TUnion>>, keyof NormalizeUnion<NonNullable<TUnion>>>[number]>> & Pick<NormalizeUnion<NonNullable<TUnion>>, keyof NormalizeUnion<NonNullable<TUnion>>>> : TUnion;
 type LazyJoinDiscriminatedUnions<TUnion extends unknown> = isRecordLiteral<TUnion> extends true ? Prettify<Partial<UnionToIntersection$1<RemoveCommonKey<UnionToTuple$1<TUnion>, keyof NonNullable<TUnion>>[number]>> & Pick<NonNullable<TUnion>, keyof NonNullable<TUnion>>> : TUnion;
 type EnumLike = {
-    [k: string]: string | number;
-    [nu: number]: string;
+  [k: string]: string | number;
+  [nu: number]: string;
 };
 type enumType<T extends Record<string, unknown>> = T[keyof T];
 type UnwrapMaybeRef<T extends MaybeRef<any> | DeepReactiveState<any>> = T extends Ref<any> ? UnwrapRef<T> : UnwrapNestedRefs<T>;
-type TupleToPlainObj<T> = {
-    [I in keyof T & `${number}`]: T[I];
-};
+type TupleToPlainObj<T> = { [I in keyof T & `${number}`]: T[I] };
 
-type isDeepExact<TRules, TTree> = {
-    [K in keyof TRules]-?: CheckDeepExact<NonNullable<TRules[K]>, K extends keyof JoinDiscriminatedUnions<TTree> ? NonNullable<JoinDiscriminatedUnions<TTree>[K]> : never>;
-}[keyof TRules] extends true ? true : false;
+//#endregion
+//#region src/types/utils/mismatch.types.d.ts
+type isDeepExact<TRules, TTree> = { [K in keyof TRules]-?: CheckDeepExact<NonNullable<TRules[K]>, K extends keyof JoinDiscriminatedUnions<TTree> ? NonNullable<JoinDiscriminatedUnions<TTree>[K]> : never> }[keyof TRules] extends true ? true : false;
 type CheckDeepExact<TRules, TTree> = [TTree] extends [never] ? false : TRules extends RegleCollectionRuleDecl ? TTree extends Array<any> ? isDeepExact<NonNullable<TRules['$each']>, JoinDiscriminatedUnions<NonNullable<ArrayElement<TTree>>>> : TRules extends RegleRuleDecl ? true : TRules extends ReglePartialRuleTree<any> ? isDeepExact<TRules, TTree> : false : TRules extends RegleRuleDecl ? true : TRules extends ReglePartialRuleTree<any> ? isDeepExact<TRules, TTree> : false;
 
-type InferInput<TRules extends MaybeRef<ReglePartialRuleTree<Record<string, any>, any>> | ((state: any) => ReglePartialRuleTree<Record<string, any>, any>), TMarkMaybe extends boolean = true> = IsUnion$1<UnwrapSimple<TRules>> extends true ? InferTupleUnionInput<UnionToTuple$1<UnwrapSimple<TRules>>>[number] : TMarkMaybe extends true ? Prettify<{
-    [K in keyof UnwrapSimple<TRules>]?: ProcessInputChildren<UnwrapSimple<TRules>[K], TMarkMaybe>;
-}> : Prettify<{
-    [K in keyof UnwrapSimple<TRules>]: ProcessInputChildren<UnwrapSimple<TRules>[K], TMarkMaybe>;
-}>;
+//#endregion
+//#region src/types/utils/infer.types.d.ts
+type InferInput<TRules extends MaybeRef<ReglePartialRuleTree<Record<string, any>, any>> | ((state: any) => ReglePartialRuleTree<Record<string, any>, any>), TMarkMaybe extends boolean = true> = IsUnion$1<UnwrapSimple<TRules>> extends true ? InferTupleUnionInput<UnionToTuple$1<UnwrapSimple<TRules>>>[number] : TMarkMaybe extends true ? Prettify<{ [K in keyof UnwrapSimple<TRules>]?: ProcessInputChildren<UnwrapSimple<TRules>[K], TMarkMaybe> }> : Prettify<{ [K in keyof UnwrapSimple<TRules>]: ProcessInputChildren<UnwrapSimple<TRules>[K], TMarkMaybe> }>;
 type ProcessInputChildren<TRule extends unknown, TMarkMaybe extends boolean> = TRule extends {
-    $each: RegleCollectionEachRules<any, any>;
+  $each: RegleCollectionEachRules<any, any>;
 } ? ExtractFromGetter<TRule['$each']> extends ReglePartialRuleTree<any, any> ? InferInput<ExtractFromGetter<TRule['$each']>, TMarkMaybe>[] : any[] : TRule extends RegleRuleDecl<any, any> ? [ExtractTypeFromRules<TRule>] extends [never] ? unknown : ExtractTypeFromRules<TRule> : TRule extends ReglePartialRuleTree<any, any> ? InferInput<TRule, TMarkMaybe> : string;
 type ExtractTypeFromRules<TRules extends RegleRuleDecl<any, any>> = FilterRulesWithInput<TRules> extends {
-    type: infer Input;
+  type: infer Input;
 } ? Input : [FilterRulesWithSingleType<TRules>[keyof FilterRulesWithSingleType<TRules>]] extends [never] ? FilterRulesWithInput<TRules>[keyof FilterRulesWithInput<TRules>] : FilterRulesWithSingleType<TRules>[keyof FilterRulesWithSingleType<TRules>];
-type FilterRulesWithInput<TRules extends RegleRuleDecl<any, any>> = {
-    [K in keyof TRules as TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? unknown extends Input ? never : K : never]: TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? Input : unknown;
-};
-type FilterRulesWithSingleType<TRules extends RegleRuleDecl<any, any>> = {
-    [K in keyof TRules as TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? unknown extends Input ? never : IsUnion$1<NonNullable<Input>> extends true ? never : K : never]: TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? IsUnion$1<NonNullable<Input>> extends true ? unknown : Input : unknown;
-};
+type FilterRulesWithInput<TRules extends RegleRuleDecl<any, any>> = { [K in keyof TRules as TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? unknown extends Input ? never : K : never]: TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? Input : unknown };
+type FilterRulesWithSingleType<TRules extends RegleRuleDecl<any, any>> = { [K in keyof TRules as TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? unknown extends Input ? never : IsUnion$1<NonNullable<Input>> extends true ? never : K : never]: TRules[K] extends RegleRuleDefinition<any, any, any, any, infer Input> ? IsUnion$1<NonNullable<Input>> extends true ? unknown : Input : unknown };
 type InferTupleUnionInput<T extends any[]> = T extends [infer F extends ReglePartialRuleTree, ...infer R] ? [InferInput<F, true>, ...InferTupleUnionInput<R>] : [];
 
+//#endregion
+//#region src/types/rules/rule.params.types.d.ts
 type CreateFn<T extends any[]> = (...args: T) => any;
 /**
  * Transform normal parameters tuple declaration to a rich tuple declaration
  *
  * [foo: string, bar?: number] => [foo: MaybeRef<string> | (() => string), bar?: MaybeRef<number | undefined> | (() => number) | undefined]
  */
-type RegleUniversalParams<T extends any[] = [], F = CreateFn<T>> = [T] extends [[]] ? [] : Parameters<F extends (...args: infer Args) => any ? (...args: {
-    [K in keyof Args]: MaybeRefOrGetter<Maybe<Args[K]>>;
-}) => any : never>;
-type UnwrapRegleUniversalParams<T extends MaybeRefOrGetter[] = [], F = CreateFn<T>> = [T] extends [[]] ? [] : Parameters<F extends (...args: infer Args) => any ? (...args: {
-    [K in keyof Args]: Args[K] extends MaybeRefOrGetter<Maybe<infer U>> ? U : Args[K];
-}) => any : never>;
+type RegleUniversalParams<T extends any[] = [], F = CreateFn<T>> = [T] extends [[]] ? [] : Parameters<F extends ((...args: infer Args) => any) ? (...args: { [K in keyof Args]: MaybeRefOrGetter<Maybe<Args[K]>> }) => any : never>;
+type UnwrapRegleUniversalParams<T extends MaybeRefOrGetter[] = [], F = CreateFn<T>> = [T] extends [[]] ? [] : Parameters<F extends ((...args: infer Args) => any) ? (...args: { [K in keyof Args]: Args[K] extends MaybeRefOrGetter<Maybe<infer U>> ? U : Args[K] }) => any : never>;
 
+//#endregion
+//#region src/types/rules/rule.internal.types.d.ts
 /**
  * Internal definition of the rule, this can be used to reset or patch the rule
  */
 type RegleInternalRuleDefs<TValue extends any = any, TParams extends any[] = [], TAsync extends boolean = false, TMetadata extends RegleRuleMetadataDefinition = boolean> = Raw<{
-    _validator: (value: Maybe<TValue>, ...args: TParams) => TAsync extends false ? TMetadata : Promise<TMetadata>;
-    _message: string | string[] | ((metadata: PossibleRegleRuleMetadataConsumer<TValue>) => string | string[]);
-    _active?: boolean | ((metadata: PossibleRegleRuleMetadataConsumer<TValue>) => boolean);
-    _tooltip?: string | string[] | ((metadata: PossibleRegleRuleMetadataConsumer<TValue>) => string | string[]);
-    _type?: string;
-    _message_patched: boolean;
-    _tooltip_patched: boolean;
-    _params?: RegleUniversalParams<TParams>;
-    _async: TAsync;
-    readonly _brand: symbol;
+  _validator: (value: Maybe<TValue>, ...args: TParams) => TAsync extends false ? TMetadata : Promise<TMetadata>;
+  _message: string | string[] | ((metadata: PossibleRegleRuleMetadataConsumer<TValue>) => string | string[]);
+  _active?: boolean | ((metadata: PossibleRegleRuleMetadataConsumer<TValue>) => boolean);
+  _tooltip?: string | string[] | ((metadata: PossibleRegleRuleMetadataConsumer<TValue>) => string | string[]);
+  _type?: string;
+  _message_patched: boolean;
+  _tooltip_patched: boolean;
+  _params?: RegleUniversalParams<TParams>;
+  _async: TAsync;
+  readonly _brand: symbol;
 }>;
 declare const InternalRuleType: {
-    readonly Inline: "__inline";
-    readonly Async: "__async";
+  readonly Inline: "__inline";
+  readonly Async: "__async";
 };
 type InternalRuleType = enumType<typeof InternalRuleType>;
 
+//#endregion
+//#region src/types/rules/rule.definition.type.d.ts
 type IsLiteral<T> = string extends T ? false : true;
 /**
  * Returned typed of rules created with `createRule`
  * */
-interface RegleRuleDefinition<TValue extends unknown = unknown, TParams extends any[] = [], TAsync extends boolean = boolean, TMetaData extends RegleRuleMetadataDefinition = RegleRuleMetadataDefinition, TInput = unknown, TFilteredValue extends any = TValue extends Date & File & infer M ? M : TValue> extends RegleInternalRuleDefs<TFilteredValue, TParams, TAsync, TMetaData> {
-    validator: RegleRuleDefinitionProcessor<TFilteredValue, TParams, TAsync extends false ? TMetaData : Promise<TMetaData>>;
-    message: (metadata: PossibleRegleRuleMetadataConsumer<TFilteredValue>) => string | string[];
-    active: (metadata: PossibleRegleRuleMetadataConsumer<TFilteredValue>) => boolean;
-    tooltip: (metadata: PossibleRegleRuleMetadataConsumer<TFilteredValue>) => string | string[];
-    type?: string;
-    _value?: IsLiteral<TValue> extends true ? TValue : any;
-    exec: (value: Maybe<TFilteredValue>) => TAsync extends false ? TMetaData : Promise<TMetaData>;
+interface RegleRuleDefinition<TValue extends unknown = unknown, TParams extends any[] = [], TAsync extends boolean = boolean, TMetaData extends RegleRuleMetadataDefinition = RegleRuleMetadataDefinition, TInput = unknown, TFilteredValue extends any = (TValue extends Date & File & infer M ? M : TValue)> extends RegleInternalRuleDefs<TFilteredValue, TParams, TAsync, TMetaData> {
+  validator: RegleRuleDefinitionProcessor<TFilteredValue, TParams, TAsync extends false ? TMetaData : Promise<TMetaData>>;
+  message: (metadata: PossibleRegleRuleMetadataConsumer<TFilteredValue>) => string | string[];
+  active: (metadata: PossibleRegleRuleMetadataConsumer<TFilteredValue>) => boolean;
+  tooltip: (metadata: PossibleRegleRuleMetadataConsumer<TFilteredValue>) => string | string[];
+  type?: string;
+  _value?: IsLiteral<TValue> extends true ? TValue : any;
+  exec: (value: Maybe<TFilteredValue>) => TAsync extends false ? TMetaData : Promise<TMetaData>;
 }
+/**
+ * @internal
+ * */
+
 /**
  * Rules with params created with `createRules` are callable while being customizable
  */
-type RegleRuleWithParamsDefinition<TValue extends unknown = unknown, TParams extends any[] = never, TAsync extends boolean = false, TMetadata extends RegleRuleMetadataDefinition = boolean, TInput = unknown, TFilteredValue extends any = TValue extends Date & File & infer M ? M : TValue> = RegleRuleCore<TFilteredValue, TParams, TAsync, TMetadata> & RegleInternalRuleDefs<TFilteredValue, TParams, TAsync, TMetadata> & {
-    (...params: RegleUniversalParams<TParams>): RegleRuleDefinition<TFilteredValue, TParams, TAsync, TMetadata, TInput>;
+type RegleRuleWithParamsDefinition<TValue extends unknown = unknown, TParams extends any[] = never, TAsync extends boolean = false, TMetadata extends RegleRuleMetadataDefinition = boolean, TInput = unknown, TFilteredValue extends any = (TValue extends Date & File & infer M ? M : TValue)> = RegleRuleCore<TFilteredValue, TParams, TAsync, TMetadata> & RegleInternalRuleDefs<TFilteredValue, TParams, TAsync, TMetadata> & {
+  (...params: RegleUniversalParams<TParams>): RegleRuleDefinition<TFilteredValue, TParams, TAsync, TMetadata, TInput>;
 } & (TParams extends [param?: any, ...any[]] ? {
-    exec: (value: Maybe<TFilteredValue>) => TAsync extends false ? TMetadata : Promise<TMetadata>;
+  exec: (value: Maybe<TFilteredValue>) => TAsync extends false ? TMetadata : Promise<TMetadata>;
 } : {});
-type RegleRuleWithParamsDefinitionInput<TValue extends any = any, TParams extends any[] = never, TAsync extends boolean = false, TMetadata extends RegleRuleMetadataDefinition = boolean, TFilteredValue extends any = TValue extends Date & File & infer M ? M : TValue> = RegleRuleCore<TFilteredValue, TParams, TAsync, TMetadata> & RegleInternalRuleDefs<TFilteredValue, TParams, TAsync, TMetadata> & (TParams extends [param?: any, ...any[]] ? {
-    exec: (value: Maybe<TFilteredValue>) => TAsync extends false ? TMetadata : Promise<TMetadata>;
+type RegleRuleWithParamsDefinitionInput<TValue extends any = any, TParams extends any[] = never, TAsync extends boolean = false, TMetadata extends RegleRuleMetadataDefinition = boolean, TFilteredValue extends any = (TValue extends Date & File & infer M ? M : TValue)> = RegleRuleCore<TFilteredValue, TParams, TAsync, TMetadata> & RegleInternalRuleDefs<TFilteredValue, TParams, TAsync, TMetadata> & (TParams extends [param?: any, ...any[]] ? {
+  exec: (value: Maybe<TFilteredValue>) => TAsync extends false ? TMetadata : Promise<TMetadata>;
 } : {});
 type RegleRuleMetadataExtended = {
-    $valid: boolean;
-    [x: string]: any;
+  $valid: boolean;
+  [x: string]: any;
 };
 type UnwrapRuleTree<T extends {
-    [x: string]: RegleRuleRawInput<any, any[], any, any> | undefined;
-}> = {
-    [K in keyof T]: UnwrapRuleWithParams<T[K]>;
-};
+  [x: string]: RegleRuleRawInput<any, any[], any, any> | undefined;
+}> = { [K in keyof T]: UnwrapRuleWithParams<T[K]> };
 type UnwrapRuleWithParams<T extends RegleRuleRawInput<any, any[], any, any> | undefined> = T extends RegleRuleWithParamsDefinition<infer TValue, infer TParams, infer TAsync, infer TMetadata> ? RegleRuleDefinition<TValue, TParams, TAsync, TMetadata> : T;
 /**
  * Define a rule Metadata definition
@@ -2052,32 +2024,36 @@ type UnwrapRuleWithParams<T extends RegleRuleRawInput<any, any[], any, any> | un
 type RegleRuleMetadataDefinition = RegleRuleMetadataExtended | boolean;
 type DefaultMetadataPropertiesCommon = Pick<ExcludeByType<RegleCommonStatus, Function>, '$invalid' | '$dirty' | '$pending' | '$correct' | '$error'>;
 type DefaultMetadataProperties = DefaultMetadataPropertiesCommon & {
-    $rule: Pick<$InternalRegleRuleStatus, '$valid' | '$pending'>;
+  $rule: Pick<$InternalRegleRuleStatus, '$valid' | '$pending'>;
 };
 /**
  * Will be used to consume metadata on related helpers and rule status
  */
 type RegleRuleMetadataConsumer<TValue extends any, TParams extends [...any[]] = never, TMetadata extends RegleRuleMetadataDefinition = boolean> = {
-    $value: Maybe<TValue>;
+  $value: Maybe<TValue>;
 } & DefaultMetadataProperties & (TParams extends never ? {} : {
-    $params: [...TParams];
+  $params: [...TParams];
 }) & (Exclude<TMetadata, boolean> extends RegleRuleMetadataExtended ? TMetadata extends boolean ? Partial<Omit<Exclude<TMetadata, boolean>, '$valid'>> : Omit<Exclude<TMetadata, boolean>, '$valid'> : {});
 /**
  * Will be used to consume metadata on related helpers and rule status
  */
 type PossibleRegleRuleMetadataConsumer<TValue> = {
-    $value: Maybe<TValue>;
+  $value: Maybe<TValue>;
 } & DefaultMetadataProperties & {
-    $params?: [...any[]];
+  $params?: [...any[]];
 };
+/**
+ * @internal
+ */
+
 /**
  * Generic types for a created RegleRule
  */
 type RegleRuleRaw<TValue extends any = any, TParams extends [...any[]] = [...any[]], TAsync extends boolean = boolean, TMetaData extends RegleRuleMetadataDefinition = boolean> = RegleRuleDefinition<TValue, TParams, TAsync, TMetaData> | RegleRuleWithParamsDefinition<TValue, TParams, TAsync, TMetaData>;
 type RegleRuleRawInput<TValue extends any = any, TParams extends [...any[]] = [...any[]], TAsync extends boolean = boolean, TMetaData extends RegleRuleMetadataDefinition = boolean> = Omit<RegleRuleDefinition<TValue, TParams, TAsync, TMetaData> | RegleRuleWithParamsDefinition<TValue, TParams, TAsync, TMetaData>, 'message' | 'tooltip' | 'active'> & {
-    message: any;
-    active?: any;
-    tooltip?: any;
+  message: any;
+  active?: any;
+  tooltip?: any;
 };
 /**
  * Process the type of created rule with `createRule`.
@@ -2088,160 +2064,147 @@ type InferRegleRule<TValue extends any = any, TParams extends any[] = [], TAsync
 type RegleRuleDefinitionProcessor<TValue extends any = any, TParams extends any[] = [], TReturn = any> = (value: Maybe<TValue>, ...params: TParams) => TReturn;
 type RegleRuleDefinitionWithMetadataProcessor<TValue extends any, TMetadata extends RegleRuleMetadataConsumer<TValue, any[]>, TReturn = any> = ((metadata: TMetadata) => TReturn) | TReturn;
 type RegleCollectionRuleDefinition<TValue = any[], TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = (RegleRuleDecl<NonNullable<TValue>, TCustomRules, CollectionRegleBehaviourOptions> & {
-    $each: MaybeGetter<RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>, ArrayElement<TValue>>;
+  $each: MaybeGetter<RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>, ArrayElement<TValue>>;
 }) | ({
-    $each: MaybeGetter<RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>, ArrayElement<TValue>>;
+  $each: MaybeGetter<RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>, ArrayElement<TValue>>;
 } & CollectionRegleBehaviourOptions);
 
+//#endregion
+//#region src/types/rules/rule.init.types.d.ts
 type RegleInitPropertyGetter<TValue, TReturn, TParams extends [...any[]], TMetadata extends RegleRuleMetadataDefinition> = TReturn | ((metadata: RegleRuleMetadataConsumer<TValue, TParams, TMetadata>) => TReturn);
 /**
  * @argument
  * createRule arguments options
  */
-interface RegleRuleInit<TValue extends any, TParams extends [...any[]] = [], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition> = boolean, TMetadata extends RegleRuleMetadataDefinition = RegleRuleMetadataDefinition, TAsync extends boolean = TReturn extends Promise<any> ? true : false> {
-    validator: (value: Maybe<TValue>, ...args: TParams) => TReturn;
-    message: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
-    active?: RegleInitPropertyGetter<TValue, boolean, TParams, TMetadata>;
-    tooltip?: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
-    type?: string;
-    async?: TAsync;
+interface RegleRuleInit<TValue extends any, TParams extends [...any[]] = [], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition> = boolean, TMetadata extends RegleRuleMetadataDefinition = RegleRuleMetadataDefinition, TAsync extends boolean = (TReturn extends Promise<any> ? true : false)> {
+  validator: (value: Maybe<TValue>, ...args: TParams) => TReturn;
+  message: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
+  active?: RegleInitPropertyGetter<TValue, boolean, TParams, TMetadata>;
+  tooltip?: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
+  type?: string;
+  async?: TAsync;
 }
 /**
  * @argument
  * Rule core
  */
 interface RegleRuleCore<TValue extends any, TParams extends any[] = [], TAsync extends boolean = false, TMetadata extends RegleRuleMetadataDefinition = boolean> {
-    validator: (value: Maybe<TValue>, ...args: TParams) => TAsync extends false ? TMetadata : Promise<TMetadata>;
-    message: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
-    active?: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
-    tooltip?: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
-    type?: string;
+  validator: (value: Maybe<TValue>, ...args: TParams) => TAsync extends false ? TMetadata : Promise<TMetadata>;
+  message: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
+  active?: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
+  tooltip?: RegleInitPropertyGetter<TValue, string | string[], TParams, TMetadata>;
+  type?: string;
 }
+/**
+ * @internal
+ * createRule arguments options
+ */
+
 type RegleRuleTypeReturn<TValue, TParams extends [...any[]]> = {
-    value: TValue;
-    params: [...TParams];
+  value: TValue;
+  params: [...TParams];
 };
 
+//#endregion
+//#region src/core/defaultValidators.d.ts
 interface CommonComparisonOptions {
-    /**
-     * Change the behaviour of the rule to check only if the value is equal in addition to be strictly superior or inferior
-     * @default true
-     */
-    allowEqual?: boolean;
+  /**
+   * Change the behaviour of the rule to check only if the value is equal in addition to be strictly superior or inferior
+   * @default true
+   */
+  allowEqual?: boolean;
 }
 interface CommonAlphaOptions {
-    /**
-     * Allow symbols in alphabetical-like rules (like "_")
-     * @default true
-     */
-    allowSymbols?: boolean;
+  /**
+   * Allow symbols in alphabetical-like rules (like "_")
+   * @default true
+   */
+  allowSymbols?: boolean;
 }
 type DefaultValidators = {
-    alpha: RegleRuleWithParamsDefinition<string, [options?: CommonAlphaOptions | undefined]>;
-    alphaNum: RegleRuleWithParamsDefinition<string | number, [options?: CommonAlphaOptions | undefined]>;
-    between: RegleRuleWithParamsDefinition<number, [min: Maybe<number>, max: Maybe<number>]>;
-    boolean: RegleRuleDefinition<unknown, [], false, boolean, any, unknown>;
-    checked: RegleRuleDefinition<boolean, [], false, boolean, boolean>;
-    contains: RegleRuleWithParamsDefinition<string, [part: Maybe<string>], false, boolean>;
-    date: RegleRuleDefinition<unknown, [], false, boolean, MaybeInput<Date>, unknown>;
-    dateAfter: RegleRuleWithParamsDefinition<string | Date, [
-        after: Maybe<string | Date>,
-        options?: CommonComparisonOptions
-    ], false, true | {
-        $valid: false;
-        error: 'date-not-after';
-    } | {
-        $valid: false;
-        error: 'value-or-parameter-not-a-date';
-    }>;
-    dateBefore: RegleRuleWithParamsDefinition<string | Date, [
-        before: Maybe<string | Date>,
-        options?: CommonComparisonOptions
-    ], false, true | {
-        $valid: false;
-        error: 'date-not-before';
-    } | {
-        $valid: false;
-        error: 'value-or-parameter-not-a-date';
-    }>;
-    dateBetween: RegleRuleWithParamsDefinition<string | Date, [
-        before: Maybe<string | Date>,
-        after: Maybe<string | Date>,
-        options?: CommonComparisonOptions
-    ], false, boolean>;
-    decimal: RegleRuleDefinition<string | number, [], false, boolean, string | number>;
-    email: RegleRuleDefinition<string, [], false, boolean, string>;
-    endsWith: RegleRuleWithParamsDefinition<string, [part: Maybe<string>], false, boolean>;
-    exactLength: RegleRuleWithParamsDefinition<string | any[] | Record<PropertyKey, any>, [
-        count: number
-    ], false, boolean>;
-    exactValue: RegleRuleWithParamsDefinition<number, [count: number], false, boolean>;
-    hexadecimal: RegleRuleDefinition<string, [], false, boolean, string>;
-    integer: RegleRuleDefinition<string | number, [], false, boolean, string | number>;
-    ipv4Address: RegleRuleDefinition<string, [], false, boolean, string>;
-    literal: RegleRuleDefinition<string | number, [literal: string | number], false, boolean, string | number>;
-    macAddress: RegleRuleWithParamsDefinition<string, [separator?: string | undefined], false, boolean>;
-    maxLength: RegleRuleWithParamsDefinition<string | any[] | Record<PropertyKey, any>, [
-        count: number,
-        options?: CommonComparisonOptions
-    ], false, boolean>;
-    maxValue: RegleRuleWithParamsDefinition<number, [count: number, options?: CommonComparisonOptions], false, boolean>;
-    minLength: RegleRuleWithParamsDefinition<string | any[] | Record<PropertyKey, any>, [
-        count: number,
-        options?: CommonComparisonOptions
-    ], false, boolean>;
-    minValue: RegleRuleWithParamsDefinition<number, [count: number, options?: CommonComparisonOptions], false, boolean>;
-    nativeEnum: RegleRuleDefinition<string | number, [enumLike: EnumLike], false, boolean, string | number>;
-    number: RegleRuleDefinition<unknown, [], false, boolean, any, unknown>;
-    numeric: RegleRuleDefinition<string | number, [], false, boolean, string | number>;
-    oneOf: RegleRuleDefinition<string | number, [options: (string | number)[]], false, boolean, string | number>;
-    regex: RegleRuleWithParamsDefinition<string, [regexp: RegExp], false, boolean>;
-    required: RegleRuleDefinition<unknown, []>;
-    sameAs: RegleRuleWithParamsDefinition<unknown, [target: unknown, otherName?: string], false, boolean>;
-    string: RegleRuleDefinition<unknown, [], false, boolean, any, unknown>;
-    type: RegleRuleDefinition<unknown, [], false, boolean, unknown, unknown>;
-    startsWith: RegleRuleWithParamsDefinition<string, [part: Maybe<string>], false, boolean>;
-    url: RegleRuleDefinition<string, [], false, boolean, string>;
-};
-
+  alpha: RegleRuleWithParamsDefinition<string, [options?: CommonAlphaOptions | undefined]>;
+  alphaNum: RegleRuleWithParamsDefinition<string | number, [options?: CommonAlphaOptions | undefined]>;
+  between: RegleRuleWithParamsDefinition<number, [min: Maybe<number>, max: Maybe<number>]>;
+  boolean: RegleRuleDefinition<unknown, [], false, boolean, any, unknown>;
+  checked: RegleRuleDefinition<boolean, [], false, boolean, boolean>;
+  contains: RegleRuleWithParamsDefinition<string, [part: Maybe<string>], false, boolean>;
+  date: RegleRuleDefinition<unknown, [], false, boolean, MaybeInput<Date>, unknown>;
+  dateAfter: RegleRuleWithParamsDefinition<string | Date, [after: Maybe<string | Date>, options?: CommonComparisonOptions], false, true | {
+    $valid: false;
+    error: 'date-not-after';
+  } | {
+    $valid: false;
+    error: 'value-or-parameter-not-a-date';
+  }>;
+  dateBefore: RegleRuleWithParamsDefinition<string | Date, [before: Maybe<string | Date>, options?: CommonComparisonOptions], false, true | {
+    $valid: false;
+    error: 'date-not-before';
+  } | {
+    $valid: false;
+    error: 'value-or-parameter-not-a-date';
+  }>;
+  dateBetween: RegleRuleWithParamsDefinition<string | Date, [before: Maybe<string | Date>, after: Maybe<string | Date>, options?: CommonComparisonOptions], false, boolean>;
+  decimal: RegleRuleDefinition<string | number, [], false, boolean, string | number>;
+  email: RegleRuleDefinition<string, [], false, boolean, string>;
+  endsWith: RegleRuleWithParamsDefinition<string, [part: Maybe<string>], false, boolean>;
+  exactLength: RegleRuleWithParamsDefinition<string | any[] | Record<PropertyKey, any>, [count: number], false, boolean>;
+  exactValue: RegleRuleWithParamsDefinition<number, [count: number], false, boolean>;
+  hexadecimal: RegleRuleDefinition<string, [], false, boolean, string>;
+  integer: RegleRuleDefinition<string | number, [], false, boolean, string | number>;
+  ipv4Address: RegleRuleDefinition<string, [], false, boolean, string>;
+  literal: RegleRuleDefinition<string | number, [literal: string | number], false, boolean, string | number>;
+  macAddress: RegleRuleWithParamsDefinition<string, [separator?: string | undefined], false, boolean>;
+  maxLength: RegleRuleWithParamsDefinition<string | any[] | Record<PropertyKey, any>, [count: number, options?: CommonComparisonOptions], false, boolean>;
+  maxValue: RegleRuleWithParamsDefinition<number, [count: number, options?: CommonComparisonOptions], false, boolean>;
+  minLength: RegleRuleWithParamsDefinition<string | any[] | Record<PropertyKey, any>, [count: number, options?: CommonComparisonOptions], false, boolean>;
+  minValue: RegleRuleWithParamsDefinition<number, [count: number, options?: CommonComparisonOptions], false, boolean>;
+  nativeEnum: RegleRuleDefinition<string | number, [enumLike: EnumLike], false, boolean, string | number>;
+  number: RegleRuleDefinition<unknown, [], false, boolean, any, unknown>;
+  numeric: RegleRuleDefinition<string | number, [], false, boolean, string | number>;
+  oneOf: RegleRuleDefinition<string | number, [options: (string | number)[]], false, boolean, string | number>;
+  regex: RegleRuleWithParamsDefinition<string, [regexp: RegExp], false, boolean>;
+  required: RegleRuleDefinition<unknown, []>;
+  sameAs: RegleRuleWithParamsDefinition<unknown, [target: unknown, otherName?: string], false, boolean>;
+  string: RegleRuleDefinition<unknown, [], false, boolean, any, unknown>;
+  type: RegleRuleDefinition<unknown, [], false, boolean, unknown, unknown>;
+  startsWith: RegleRuleWithParamsDefinition<string, [part: Maybe<string>], false, boolean>;
+  url: RegleRuleDefinition<string, [], false, boolean, string>;
+};
+
+//#endregion
+//#region src/types/rules/rule.custom.types.d.ts
 type CustomRulesDeclarationTree = {
-    [x: string]: RegleRuleRawInput<any, any[], boolean, any> | undefined;
-};
-type DefaultValidatorsTree = {
-    [K in keyof DefaultValidators]: RegleRuleRawInput<any, any[], boolean, any> | undefined;
+  [x: string]: RegleRuleRawInput<any, any[], boolean, any> | undefined;
 };
+type DefaultValidatorsTree = { [K in keyof DefaultValidators]: RegleRuleRawInput<any, any[], boolean, any> | undefined };
 type AllRulesDeclarations = CustomRulesDeclarationTree & DefaultValidatorsTree;
 
+//#endregion
+//#region src/types/rules/rule.declaration.types.d.ts
 /**
  * @public
  */
-type ReglePartialRuleTree<TForm extends Record<string, any> = Record<string, any>, TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = {
-    [TKey in keyof TForm]?: RegleFormPropertyType<TForm[TKey], TCustomRules>;
-};
+type ReglePartialRuleTree<TForm extends Record<string, any> = Record<string, any>, TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = { [TKey in keyof TForm]?: RegleFormPropertyType<TForm[TKey], TCustomRules> };
 /**
  * @public
  */
-type RegleRuleTree<TForm extends Record<string, any>, TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = {
-    [TKey in keyof TForm]: RegleFormPropertyType<TForm[TKey], TCustomRules>;
-};
+type RegleRuleTree<TForm extends Record<string, any>, TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = { [TKey in keyof TForm]: RegleFormPropertyType<TForm[TKey], TCustomRules> };
 /**
  * @public
  */
 type RegleUnknownRulesTree = {
-    [x: string]: RegleRuleDecl | RegleCollectionRuleDecl | RegleUnknownRulesTree;
+  [x: string]: RegleRuleDecl | RegleCollectionRuleDecl | RegleUnknownRulesTree;
 };
 /**
  * @public
  */
-type RegleComputedRules<TForm extends MaybeRef<Record<string, any>> | DeepReactiveState<Record<string, any>>, TCustomRules extends Partial<AllRulesDeclarations> | Regle<any, any> = Partial<AllRulesDeclarations>, TState = Unwrap<TForm>, TCustom = TCustomRules extends Regle<any, infer R> ? R extends ReglePartialRuleTree<any, infer C> ? C : Partial<AllRulesDeclarations> : TCustomRules> = {
-    [TKey in keyof JoinDiscriminatedUnions<TState>]?: RegleFormPropertyType<JoinDiscriminatedUnions<TState>[TKey], TCustom extends Partial<AllRulesDeclarations> ? TCustom : {}>;
-};
+type RegleComputedRules<TForm extends MaybeRef<Record<string, any>> | DeepReactiveState<Record<string, any>>, TCustomRules extends Partial<AllRulesDeclarations> | Regle<any, any> = Partial<AllRulesDeclarations>, TState = Unwrap<TForm>, TCustom = (TCustomRules extends Regle<any, infer R> ? R extends ReglePartialRuleTree<any, infer C> ? C : Partial<AllRulesDeclarations> : TCustomRules)> = { [TKey in keyof JoinDiscriminatedUnions<TState>]?: RegleFormPropertyType<JoinDiscriminatedUnions<TState>[TKey], TCustom extends Partial<AllRulesDeclarations> ? TCustom : {}> };
 /**
  * @internal
  * @reference {@link ReglePartialRuleTree}
  */
 type $InternalReglePartialRuleTree = {
-    [x: string]: $InternalFormPropertyTypes;
+  [x: string]: $InternalFormPropertyTypes;
 };
 /**
  * @public
@@ -2256,9 +2219,7 @@ type $InternalFormPropertyTypes = $InternalRegleRuleDecl | $InternalRegleCollect
  * @public
  * Rule tree for a form property
  */
-type RegleRuleDecl<TValue extends any = any, TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>, TOptions extends Record<string, unknown> = FieldRegleBehaviourOptions> = TOptions & {
-    [TKey in keyof TCustomRules]?: NonNullable<TCustomRules[TKey]> extends RegleRuleWithParamsDefinition<any, infer TParams> ? RegleRuleDefinition<TValue, [...TParams, ...args: [...any[]]], boolean> : NonNullable<TCustomRules[TKey]> extends RegleRuleDefinition<any, any[], any, any> ? FormRuleDeclaration<TValue, any[]> : FormRuleDeclaration<TValue, any[]> | TOptions[keyof TOptions];
-};
+type RegleRuleDecl<TValue extends any = any, TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>, TOptions extends Record<string, unknown> = FieldRegleBehaviourOptions> = TOptions & { [TKey in keyof TCustomRules]?: NonNullable<TCustomRules[TKey]> extends RegleRuleWithParamsDefinition<any, infer TParams> ? RegleRuleDefinition<TValue, [...TParams, ...args: [...any[]]], boolean> : NonNullable<TCustomRules[TKey]> extends RegleRuleDefinition<any, any[], any, any> ? FormRuleDeclaration<TValue, any[]> : FormRuleDeclaration<TValue, any[]> | TOptions[keyof TOptions] };
 /**
  * @internal
  * @reference {@link RegleRuleDecl}
@@ -2268,15 +2229,15 @@ type $InternalRegleRuleDecl = FieldRegleBehaviourOptions & CollectionRegleBehavi
  * @public
  */
 type RegleCollectionRuleDeclKeyProperty = {
-    $key?: PropertyKey;
+  $key?: PropertyKey;
 };
 /**
  * @public
  */
 type RegleCollectionRuleDecl<TValue = any[], TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = ({
-    $each?: RegleCollectionEachRules<TValue, TCustomRules>;
+  $each?: RegleCollectionEachRules<TValue, TCustomRules>;
 } & RegleRuleDecl<NonNullable<TValue>, TCustomRules, CollectionRegleBehaviourOptions>) | ({
-    $each?: RegleCollectionEachRules<TValue, TCustomRules>;
+  $each?: RegleCollectionEachRules<TValue, TCustomRules>;
 } & CollectionRegleBehaviourOptions);
 /** @public */
 type RegleCollectionEachRules<TValue = any[], TCustomRules extends Partial<AllRulesDeclarations> = Partial<AllRulesDeclarations>> = MaybeGetter<RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>, ArrayElement<TValue>, RegleCollectionRuleDeclKeyProperty>;
@@ -2285,93 +2246,89 @@ type RegleCollectionEachRules<TValue = any[], TCustomRules extends Partial<AllRu
  * @reference {@link RegleCollectionRuleDecl}
  */
 type $InternalRegleCollectionRuleDecl = $InternalRegleRuleDecl & {
-    $each?: MaybeGetter<$InternalFormPropertyTypes & RegleCollectionRuleDeclKeyProperty, any>;
+  $each?: MaybeGetter<$InternalFormPropertyTypes & RegleCollectionRuleDeclKeyProperty, any>;
 };
 /**
  * @public
  */
 type InlineRuleDeclaration<TValue extends any = any, TParams extends any[] = any[], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition> = boolean> = (value: Maybe<TValue>, ...args: UnwrapRegleUniversalParams<TParams>) => TReturn;
+/**
+ * @internal
+ */
+
 /**
  * @public
  * Regroup inline and registered rules
  * */
-type FormRuleDeclaration<TValue extends any = unknown, TParams extends any[] = any[], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition> = RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>, TMetadata extends RegleRuleMetadataDefinition = TReturn extends Promise<infer M> ? M : TReturn, TAsync extends boolean = boolean> = InlineRuleDeclaration<TValue, TParams, TReturn> | RegleRuleDefinition<TValue, TParams, TAsync, TMetadata> | RegleRuleWithParamsDefinitionInput<TValue, [param?: any], TAsync, TMetadata> | RegleRuleWithParamsDefinitionInput<TValue, [param?: any, ...any[]], TAsync, TMetadata>;
+type FormRuleDeclaration<TValue extends any = unknown, TParams extends any[] = any[], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition> = RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>, TMetadata extends RegleRuleMetadataDefinition = (TReturn extends Promise<infer M> ? M : TReturn), TAsync extends boolean = boolean> = InlineRuleDeclaration<TValue, TParams, TReturn> | RegleRuleDefinition<TValue, TParams, TAsync, TMetadata> | RegleRuleWithParamsDefinitionInput<TValue, [param?: any], TAsync, TMetadata> | RegleRuleWithParamsDefinitionInput<TValue, [param?: any, ...any[]], TAsync, TMetadata>;
 
-type RegleErrorTree<TState = MaybeRef<Record<string, any> | any[]>> = {
-    readonly [K in keyof JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>]: RegleValidationErrors<JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>[K], false>;
-};
-type RegleExternalErrorTree<TState = MaybeRef<Record<string, any> | any[]>> = {
-    readonly [K in keyof JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>]?: RegleValidationErrors<JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>[K], true>;
-};
+//#endregion
+//#region src/types/rules/rule.errors.types.d.ts
+type RegleErrorTree<TState = MaybeRef<Record<string, any> | any[]>> = { readonly [K in keyof JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>]: RegleValidationErrors<JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>[K], false> };
+type RegleExternalErrorTree<TState = MaybeRef<Record<string, any> | any[]>> = { readonly [K in keyof JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>]?: RegleValidationErrors<JoinDiscriminatedUnions<UnwrapMaybeRef<TState>>[K], true> };
 type RegleValidationErrors<TState extends Record<string, any> | any[] | unknown = never, TExternal extends boolean = false> = NonNullable<TState> extends Array<infer U extends Record<string, any>> ? ExtendOnlyRealRecord<U> extends true ? TExternal extends false ? RegleCollectionErrors<U> : RegleExternalCollectionErrors<U> : string[] : NonNullable<TState> extends Date | File ? string[] : NonNullable<TState> extends Record<string, any> ? TExternal extends false ? RegleErrorTree<TState> : RegleExternalErrorTree<TState> : string[];
 type RegleCollectionErrors<TState extends Record<string, any>> = {
-    readonly $self: string[];
-    readonly $each: RegleValidationErrors<TState, false>[];
+  readonly $self: string[];
+  readonly $each: RegleValidationErrors<TState, false>[];
 };
 type RegleExternalCollectionErrors<TState extends Record<string, any>> = {
-    readonly $self?: string[];
-    readonly $each?: RegleValidationErrors<TState, true>[];
+  readonly $self?: string[];
+  readonly $each?: RegleValidationErrors<TState, true>[];
 };
 /** @internal */
 type $InternalRegleCollectionErrors = {
-    readonly $self?: string[];
-    readonly $each?: $InternalRegleErrors[];
+  readonly $self?: string[];
+  readonly $each?: $InternalRegleErrors[];
 };
 type $InternalRegleErrorTree = {
-    [x: string]: $InternalRegleErrors;
+  [x: string]: $InternalRegleErrors;
 };
 /**
  * @internal
  */
 type $InternalRegleErrors = $InternalRegleCollectionErrors | string[] | $InternalRegleErrorTree;
 
+//#endregion
+//#region src/types/rules/rule.status.types.d.ts
 /**
  * @public
  */
 type RegleRoot<TState extends Record<string, any> = {}, TRules extends ReglePartialRuleTree<TState> = Record<string, any>, TValidationGroups extends Record<string, RegleValidationGroupEntry[]> = never, TShortcuts extends RegleShortcutDefinition = {}> = MaybeVariantStatus<TState, TRules, TShortcuts> & ([TValidationGroups] extends [never] ? {} : {
-    /**
-     * Collection of validation groups used declared with the `validationGroups` modifier
-     */
-    $groups: {
-        readonly [TKey in keyof TValidationGroups]: RegleValidationGroupOutput;
-    };
+  /**
+   * Collection of validation groups used declared with the `validationGroups` modifier
+   */
+  $groups: { readonly [TKey in keyof TValidationGroups]: RegleValidationGroupOutput };
 });
 /**
  * @public
  */
 type RegleStatus<TState extends Record<string, any> | undefined = Record<string, any>, TRules extends ReglePartialRuleTree<NonNullable<TState>> = Record<string, any>, TShortcuts extends RegleShortcutDefinition = {}> = RegleCommonStatus<TState> & {
-    /** Represents all the children of your object. You can access any nested child at any depth to get the relevant data you need for your form. */
-    readonly $fields: {
-        readonly [TKey in keyof TState as TRules[TKey] extends NonNullable<TRules[TKey]> ? NonNullable<TRules[TKey]> extends RegleRuleDecl ? IsEmptyObject<TRules[TKey]> extends true ? TKey : never : never : TKey]: IsUnion<NonNullable<TRules[TKey]>> extends true ? ExtendOnlyRealRecord<TState[TKey]> extends true ? MaybeVariantStatus<NonNullable<TState>[TKey], NonNullable<TRules[TKey]>, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts>;
-    } & {
-        readonly [TKey in keyof TState as TRules[TKey] extends NonNullable<TRules[TKey]> ? NonNullable<TRules[TKey]> extends RegleRuleDecl ? IsEmptyObject<TRules[TKey]> extends true ? never : TKey : TKey : never]-?: IsUnion<NonNullable<TRules[TKey]>> extends true ? ExtendOnlyRealRecord<TState[TKey]> extends true ? MaybeVariantStatus<NonNullable<TState>[TKey], NonNullable<TRules[TKey]>, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts>;
-    };
-    /**
-     * Collection of all the error messages, collected for all children properties and nested forms.
-     *
-     * Only contains errors from properties where $dirty equals true. */
-    readonly $errors: RegleErrorTree<TState>;
-    /** Collection of all the error messages, collected for all children properties. */
-    readonly $silentErrors: RegleErrorTree<TState>;
-    /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
-    $extractDirtyFields: (filterNullishValues?: boolean) => PartialDeep<TState>;
-    /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
-    $validate: () => Promise<RegleResult<JoinDiscriminatedUnions<TState>, TRules>>;
-} & ([TShortcuts['nested']] extends [never] ? {} : {
-    [K in keyof TShortcuts['nested']]: ReturnType<NonNullable<TShortcuts['nested']>[K]>;
-});
+  /** Represents all the children of your object. You can access any nested child at any depth to get the relevant data you need for your form. */
+  readonly $fields: { readonly [TKey in keyof TState as TRules[TKey] extends NonNullable<TRules[TKey]> ? NonNullable<TRules[TKey]> extends RegleRuleDecl ? IsEmptyObject<TRules[TKey]> extends true ? TKey : never : never : TKey]: IsUnion<NonNullable<TRules[TKey]>> extends true ? ExtendOnlyRealRecord<TState[TKey]> extends true ? MaybeVariantStatus<NonNullable<TState>[TKey], NonNullable<TRules[TKey]>, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts> } & { readonly [TKey in keyof TState as TRules[TKey] extends NonNullable<TRules[TKey]> ? NonNullable<TRules[TKey]> extends RegleRuleDecl ? IsEmptyObject<TRules[TKey]> extends true ? never : TKey : TKey : never]-?: IsUnion<NonNullable<TRules[TKey]>> extends true ? ExtendOnlyRealRecord<TState[TKey]> extends true ? MaybeVariantStatus<NonNullable<TState>[TKey], NonNullable<TRules[TKey]>, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts> : InferRegleStatusType<NonNullable<TRules[TKey]>, NonNullable<TState>, TKey, TShortcuts> };
+  /**
+   * Collection of all the error messages, collected for all children properties and nested forms.
+   *
+   * Only contains errors from properties where $dirty equals true. */
+  readonly $errors: RegleErrorTree<TState>;
+  /** Collection of all the error messages, collected for all children properties. */
+  readonly $silentErrors: RegleErrorTree<TState>;
+  /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
+  $extractDirtyFields: (filterNullishValues?: boolean) => PartialDeep<TState>;
+  /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
+  $validate: () => Promise<RegleResult<JoinDiscriminatedUnions<TState>, TRules>>;
+} & ([TShortcuts['nested']] extends [never] ? {} : { [K in keyof TShortcuts['nested']]: ReturnType<NonNullable<TShortcuts['nested']>[K]> });
 /**
  * @internal
  * @reference {@link RegleStatus}
  */
 interface $InternalRegleStatus extends $InternalRegleCommonStatus {
-    $fields: {
-        [x: string]: $InternalRegleStatusType;
-    };
-    readonly $errors: Record<string, $InternalRegleErrors>;
-    readonly $silentErrors: Record<string, $InternalRegleErrors>;
-    $extractDirtyFields: (filterNullishValues?: boolean) => Record<string, any>;
-    $validate: () => Promise<$InternalRegleResult>;
+  $fields: {
+    [x: string]: $InternalRegleStatusType;
+  };
+  readonly $errors: Record<string, $InternalRegleErrors>;
+  readonly $silentErrors: Record<string, $InternalRegleErrors>;
+  $extractDirtyFields: (filterNullishValues?: boolean) => Record<string, any>;
+  $validate: () => Promise<$InternalRegleResult>;
 }
 /**
  * @public
@@ -2386,254 +2343,252 @@ type $InternalRegleStatusType = $InternalRegleCollectionStatus | $InternalRegleS
  * @public
  */
 type RegleFieldStatus<TState extends any = any, TRules extends RegleFormPropertyType<any, Partial<AllRulesDeclarations>> = Record<string, any>, TShortcuts extends RegleShortcutDefinition = never> = Omit<RegleCommonStatus<TState>, '$value' | '$silentValue'> & {
-    /** A reference to the original validated model. It can be used to bind your form with v-model.*/
-    $value: MaybeOutput<UnwrapNestedRefs<TState>>;
-    /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
-    $silentValue: MaybeOutput<UnwrapNestedRefs<TState>>;
-    /** Collection of all the error messages, collected for all children properties and nested forms.
-     *
-     * Only contains errors from properties where $dirty equals true. */
-    readonly $errors: string[];
-    /** Collection of all the error messages, collected for all children properties and nested forms.  */
-    readonly $silentErrors: string[];
-    /** Stores external errors of the current field */
-    readonly $externalErrors: string[];
-    /** Stores active tooltips messages of the current field */
-    readonly $tooltips: string[];
-    /** Represents the inactive status. Is true when this state have empty rules */
-    readonly $inactive: boolean;
-    /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
-    $extractDirtyFields: (filterNullishValues?: boolean) => MaybeOutput<TState>;
-    /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
-    $validate: () => Promise<RegleResult<TState, TRules>>;
-    /** This is reactive tree containing all the declared rules of your field. To know more about the rule properties check the rules properties section */
-    readonly $rules: IsEmptyObject<TRules> extends true ? {
-        readonly [x: string]: RegleRuleStatus<TState, any[], any>;
-    } : {
-        readonly [TRuleKey in keyof Omit<TRules, '$each' | keyof FieldRegleBehaviourOptions>]: RegleRuleStatus<TState, TRules[TRuleKey] extends RegleRuleDefinition<any, infer TParams, any> ? TParams : [], TRules[TRuleKey] extends RegleRuleDefinition<any, any, any, infer TMetadata> ? TMetadata : TRules[TRuleKey] extends InlineRuleDeclaration<any, any[], infer TMetadata> ? TMetadata extends Promise<infer P> ? P : TMetadata : any>;
-    };
-} & ([TShortcuts['fields']] extends [never] ? {} : {
-    [K in keyof TShortcuts['fields']]: ReturnType<NonNullable<TShortcuts['fields']>[K]>;
-});
+  /** A reference to the original validated model. It can be used to bind your form with v-model.*/
+  $value: MaybeOutput<UnwrapNestedRefs<TState>>;
+  /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
+  $silentValue: MaybeOutput<UnwrapNestedRefs<TState>>;
+  /** Collection of all the error messages, collected for all children properties and nested forms.
+   *
+   * Only contains errors from properties where $dirty equals true. */
+  readonly $errors: string[];
+  /** Collection of all the error messages, collected for all children properties and nested forms.  */
+  readonly $silentErrors: string[];
+  /** Stores external errors of the current field */
+  readonly $externalErrors: string[];
+  /** Stores active tooltips messages of the current field */
+  readonly $tooltips: string[];
+  /** Represents the inactive status. Is true when this state have empty rules */
+  readonly $inactive: boolean;
+  /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
+  $extractDirtyFields: (filterNullishValues?: boolean) => MaybeOutput<TState>;
+  /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
+  $validate: () => Promise<RegleResult<TState, TRules>>;
+  /** This is reactive tree containing all the declared rules of your field. To know more about the rule properties check the rules properties section */
+  readonly $rules: IsEmptyObject<TRules> extends true ? {
+    readonly [x: string]: RegleRuleStatus<TState, any[], any>;
+  } : { readonly [TRuleKey in keyof Omit<TRules, '$each' | keyof FieldRegleBehaviourOptions>]: RegleRuleStatus<TState, TRules[TRuleKey] extends RegleRuleDefinition<any, infer TParams, any> ? TParams : [], TRules[TRuleKey] extends RegleRuleDefinition<any, any, any, infer TMetadata> ? TMetadata : TRules[TRuleKey] extends InlineRuleDeclaration<any, any[], infer TMetadata> ? TMetadata extends Promise<infer P> ? P : TMetadata : any> };
+} & ([TShortcuts['fields']] extends [never] ? {} : { [K in keyof TShortcuts['fields']]: ReturnType<NonNullable<TShortcuts['fields']>[K]> });
 /**
  * @internal
  * @reference {@link RegleFieldStatus}
  */
 interface $InternalRegleFieldStatus extends $InternalRegleCommonStatus {
-    $value: any;
-    $silentValue: any;
-    readonly $rules: Record<string, $InternalRegleRuleStatus>;
-    readonly $externalErrors?: string[];
-    readonly $errors: string[];
-    readonly $tooltips: string[];
-    readonly $inactive: boolean;
-    readonly $silentErrors: string[];
-    $extractDirtyFields: (filterNullishValues?: boolean) => any;
-    $validate: () => Promise<$InternalRegleResult>;
+  $value: any;
+  $silentValue: any;
+  readonly $rules: Record<string, $InternalRegleRuleStatus>;
+  readonly $externalErrors?: string[];
+  readonly $errors: string[];
+  readonly $tooltips: string[];
+  readonly $inactive: boolean;
+  readonly $silentErrors: string[];
+  $extractDirtyFields: (filterNullishValues?: boolean) => any;
+  $validate: () => Promise<$InternalRegleResult>;
 }
 /**
  * @public
  */
 interface RegleCommonStatus<TValue = any> {
-    /** Indicates whether the field is invalid. It becomes true if any associated rules return false. */
-    readonly $invalid: boolean;
-    /**
-     * This is not the opposite of `$invalid`. Correct is meant to display UI validation report.
-     *
-     * This will be `true` only if:
-     * - The field have at least one active rule
-     * - Is dirty and not empty
-     * - Passes validation
-     */
-    readonly $correct: boolean;
-    /** Indicates whether a field has been validated or interacted with by the user at least once. It's typically used to determine if a message should be displayed to the user. You can change this flag manually using the $touch and $reset methods. The $dirty flag is considered true if the current model has been touched or if all its children are dirty.*/
-    readonly $dirty: boolean;
-    /** Similar to $dirty, with one exception. The $anyDirty flag is considered true if given model was touched or any of its children are $anyDirty which means at least one descendant is $dirty. */
-    readonly $anyDirty: boolean;
-    /** Indicates whether a field has been touched and if the value is different than the initial one.
-     *  On nested elements and collections, it's true only if all its children are also `$edited`.
-     *  Use `$anyEdited` to check for any edited children
-     */
-    readonly $edited: boolean;
-    /** Similar to $edited, with one exception. The $anyEdited flag is considered true if given model was edited or any of its children are $anyEdited which means at least one descendant is $edited. */
-    readonly $anyEdited: boolean;
-    /** Indicates if any async rule for the field is currently running. Always false for synchronous rules. */
-    readonly $pending: boolean;
-    /** Convenience flag to easily decide if a message should be displayed. Equivalent to $dirty && !$pending && $invalid. */
-    readonly $error: boolean;
-    /** Indicates whether the field is ready for submission. Equivalent to !$invalid && !$pending. */
-    readonly $ready: boolean;
-    /** Return the current key name of the field. */
-    readonly $name: string;
-    /** Id used to track collections items */
-    $id?: string;
-    /** A reference to the original validated model. It can be used to bind your form with v-model.*/
-    $value: JoinDiscriminatedUnions<UnwrapNestedRefs<TValue>>;
-    /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
-    $silentValue: JoinDiscriminatedUnions<UnwrapNestedRefs<TValue>>;
-    /** Marks the field and all nested properties as $dirty. */
-    $touch(): void;
-    /**
-     * Reset the validation status to a pristine state while keeping the current form state.
-     * Resets the `$dirty` state on all nested properties of a form.
-     * Rerun rules if `$lazy` is false
-     */
-    $reset(): void;
-    $reset(options?: ResetOptions<TValue>): void;
-    /** Clears the $externalErrors state back to an empty object. */
-    $clearExternalErrors(): void;
+  /** Indicates whether the field is invalid. It becomes true if any associated rules return false. */
+  readonly $invalid: boolean;
+  /**
+   * This is not the opposite of `$invalid`. Correct is meant to display UI validation report.
+   *
+   * This will be `true` only if:
+   * - The field have at least one active rule
+   * - Is dirty and not empty
+   * - Passes validation
+   */
+  readonly $correct: boolean;
+  /** Indicates whether a field has been validated or interacted with by the user at least once. It's typically used to determine if a message should be displayed to the user. You can change this flag manually using the $touch and $reset methods. The $dirty flag is considered true if the current model has been touched or if all its children are dirty.*/
+  readonly $dirty: boolean;
+  /** Similar to $dirty, with one exception. The $anyDirty flag is considered true if given model was touched or any of its children are $anyDirty which means at least one descendant is $dirty. */
+  readonly $anyDirty: boolean;
+  /** Indicates whether a field has been touched and if the value is different than the initial one.
+   *  On nested elements and collections, it's true only if all its children are also `$edited`.
+   *  Use `$anyEdited` to check for any edited children
+   */
+  readonly $edited: boolean;
+  /** Similar to $edited, with one exception. The $anyEdited flag is considered true if given model was edited or any of its children are $anyEdited which means at least one descendant is $edited. */
+  readonly $anyEdited: boolean;
+  /** Indicates if any async rule for the field is currently running. Always false for synchronous rules. */
+  readonly $pending: boolean;
+  /** Convenience flag to easily decide if a message should be displayed. Equivalent to $dirty && !$pending && $invalid. */
+  readonly $error: boolean;
+  /** Indicates whether the field is ready for submission. Equivalent to !$invalid && !$pending. */
+  readonly $ready: boolean;
+  /** Return the current key name of the field. */
+  readonly $name: string;
+  /** Id used to track collections items */
+  $id?: string;
+  /** A reference to the original validated model. It can be used to bind your form with v-model.*/
+  $value: JoinDiscriminatedUnions<UnwrapNestedRefs<TValue>>;
+  /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
+  $silentValue: JoinDiscriminatedUnions<UnwrapNestedRefs<TValue>>;
+  /** Marks the field and all nested properties as $dirty. */
+  $touch(): void;
+  /**
+   * Reset the validation status to a pristine state while keeping the current form state.
+   * Resets the `$dirty` state on all nested properties of a form.
+   * Rerun rules if `$lazy` is false
+   */
+  $reset(): void;
+  $reset(options?: ResetOptions<TValue>): void;
+  /** Clears the $externalErrors state back to an empty object. */
+  $clearExternalErrors(): void;
 }
 interface $InternalRegleCommonStatus extends Omit<RegleCommonStatus, '$touch' | '$reset'> {
-    $touch(runCommit?: boolean, withConditions?: boolean): void;
-    $unwatch(): void;
-    $watch(): void;
-    $reset(options?: ResetOptions<any>, fromParent?: boolean): void;
+  $touch(runCommit?: boolean, withConditions?: boolean): void;
+  $unwatch(): void;
+  $watch(): void;
+  $reset(options?: ResetOptions<any>, fromParent?: boolean): void;
 }
 /**
  * @public
  */
 type RegleRuleStatus<TValue = any, TParams extends any[] = any[], TMetadata extends RegleRuleMetadataDefinition = boolean> = {
-    /** The name of the rule type. */
-    readonly $type: string;
-    /** Returns the computed error message or messages for the current rule. */
-    readonly $message: string | string[];
-    /** Stores the current rule tooltip or tooltips */
-    readonly $tooltip: string | string[];
-    /** Indicates whether or not the rule is enabled (for rules like requiredIf) */
-    readonly $active: boolean;
-    /** Indicates the state of validation for this validator. */
-    readonly $valid: boolean;
-    /** If the rule is async, indicates if it's currently pending. Always false if it's synchronous. */
-    readonly $pending: boolean;
-    /** Returns the current path of the rule (used internally for tracking) */
-    readonly $path: string;
-    /** Contains the metadata returned by the validator function. */
-    readonly $metadata: TMetadata extends boolean ? TMetadata : Omit<TMetadata, '$valid'>;
-    /** Run the rule validator and compute its properties like $message and $active */
-    $parse(): Promise<boolean>;
-    /** Reset the $valid, $metadata and $pending states */
-    $reset(): void;
-    /** Returns the original rule validator function. */
-    $validator: ((value: IsUnknown$1<TValue> extends true ? any : MaybeInput<TValue>, ...args: any[]) => RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>) & ((value: IsUnknown$1<TValue> extends true ? any : TValue, ...args: [TParams] extends [never[]] ? [] : [unknown[]] extends [TParams] ? any[] : TParams) => RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>);
+  /** The name of the rule type. */
+  readonly $type: string;
+  /** Returns the computed error message or messages for the current rule. */
+  readonly $message: string | string[];
+  /** Stores the current rule tooltip or tooltips */
+  readonly $tooltip: string | string[];
+  /** Indicates whether or not the rule is enabled (for rules like requiredIf) */
+  readonly $active: boolean;
+  /** Indicates the state of validation for this validator. */
+  readonly $valid: boolean;
+  /** If the rule is async, indicates if it's currently pending. Always false if it's synchronous. */
+  readonly $pending: boolean;
+  /** Returns the current path of the rule (used internally for tracking) */
+  readonly $path: string;
+  /** Contains the metadata returned by the validator function. */
+  readonly $metadata: TMetadata extends boolean ? TMetadata : Omit<TMetadata, '$valid'>;
+  /** Run the rule validator and compute its properties like $message and $active */
+  $parse(): Promise<boolean>;
+  /** Reset the $valid, $metadata and $pending states */
+  $reset(): void;
+  /** Returns the original rule validator function. */
+  $validator: ((value: IsUnknown$1<TValue> extends true ? any : MaybeInput<TValue>, ...args: any[]) => RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>) & ((value: IsUnknown$1<TValue> extends true ? any : TValue, ...args: [TParams] extends [never[]] ? [] : [unknown[]] extends [TParams] ? any[] : TParams) => RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>);
 } & ([TParams] extends [never[]] ? {} : [unknown[]] extends [TParams] ? {
-    readonly $params?: any[];
+  readonly $params?: any[];
 } : {
-    readonly $params: [...TParams];
+  readonly $params: [...TParams];
 });
 /**
  * @internal
  * @reference {@link RegleRuleStatus}
  */
 interface $InternalRegleRuleStatus {
-    $type: string;
-    $message: string | string[];
-    $tooltip: string | string[];
-    $active: boolean;
-    $valid: boolean;
-    $pending: boolean;
-    $path: string;
-    $externalErrors?: string[];
-    $params?: any[];
-    $metadata: any;
-    $haveAsync: boolean;
-    $validating: boolean;
-    $fieldDirty: boolean;
-    $fieldInvalid: boolean;
-    $fieldPending: boolean;
-    $fieldCorrect: boolean;
-    $fieldError: boolean;
-    $maybePending: boolean;
-    $validator(value: any, ...args: any[]): RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>;
-    $parse(): Promise<boolean>;
-    $reset(): void;
-    $unwatch(): void;
-    $watch(): void;
+  $type: string;
+  $message: string | string[];
+  $tooltip: string | string[];
+  $active: boolean;
+  $valid: boolean;
+  $pending: boolean;
+  $path: string;
+  $externalErrors?: string[];
+  $params?: any[];
+  $metadata: any;
+  $haveAsync: boolean;
+  $validating: boolean;
+  $fieldDirty: boolean;
+  $fieldInvalid: boolean;
+  $fieldPending: boolean;
+  $fieldCorrect: boolean;
+  $fieldError: boolean;
+  $maybePending: boolean;
+  $validator(value: any, ...args: any[]): RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>;
+  $parse(): Promise<boolean>;
+  $reset(): void;
+  $unwatch(): void;
+  $watch(): void;
 }
 /**
  * @public
  */
 type RegleCollectionStatus<TState extends any[] = any[], TRules extends ReglePartialRuleTree<ArrayElement<TState>> = Record<string, any>, TFieldRule extends RegleCollectionRuleDecl<any, any> = never, TShortcuts extends RegleShortcutDefinition = {}> = Omit<RegleCommonStatus<TState>, '$value'> & {
-    /** A reference to the original validated model. It can be used to bind your form with v-model.*/
-    $value: MaybeOutput<TState>;
-    /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
-    $silentValue: MaybeOutput<TState>;
-    /** Collection of status of every item in your collection. Each item will be a field you can access, or map on it to display your elements. */
-    readonly $each: Array<InferRegleStatusType<NonNullable<TRules>, NonNullable<TState>, number, TShortcuts>>;
-    /** Represents the status of the collection itself. You can have validation rules on the array like minLength, this field represents the isolated status of the collection. */
-    readonly $self: RegleFieldStatus<TState, TFieldRule, TShortcuts>;
-    /** Collection of all the error messages, collected for all children properties and nested forms.
-     *
-     * Only contains errors from properties where $dirty equals true. */
-    readonly $errors: RegleCollectionErrors<TState>;
-    /** Collection of all the error messages, collected for all children properties and nested forms.  */
-    readonly $silentErrors: RegleCollectionErrors<TState>;
-    /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
-    $extractDirtyFields: (filterNullishValues?: boolean) => PartialDeep<TState>;
-    /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
-    $validate: () => Promise<RegleResult<JoinDiscriminatedUnions<TState>, JoinDiscriminatedUnions<TRules>>>;
-} & ([TShortcuts['collections']] extends [never] ? {} : {
-    [K in keyof TShortcuts['collections']]: ReturnType<NonNullable<TShortcuts['collections']>[K]>;
-});
+  /** A reference to the original validated model. It can be used to bind your form with v-model.*/
+  $value: MaybeOutput<TState>;
+  /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
+  $silentValue: MaybeOutput<TState>;
+  /** Collection of status of every item in your collection. Each item will be a field you can access, or map on it to display your elements. */
+  readonly $each: Array<InferRegleStatusType<NonNullable<TRules>, NonNullable<TState>, number, TShortcuts>>;
+  /** Represents the status of the collection itself. You can have validation rules on the array like minLength, this field represents the isolated status of the collection. */
+  readonly $self: RegleFieldStatus<TState, TFieldRule, TShortcuts>;
+  /** Collection of all the error messages, collected for all children properties and nested forms.
+   *
+   * Only contains errors from properties where $dirty equals true. */
+  readonly $errors: RegleCollectionErrors<TState>;
+  /** Collection of all the error messages, collected for all children properties and nested forms.  */
+  readonly $silentErrors: RegleCollectionErrors<TState>;
+  /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
+  $extractDirtyFields: (filterNullishValues?: boolean) => PartialDeep<TState>;
+  /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
+  $validate: () => Promise<RegleResult<JoinDiscriminatedUnions<TState>, JoinDiscriminatedUnions<TRules>>>;
+} & ([TShortcuts['collections']] extends [never] ? {} : { [K in keyof TShortcuts['collections']]: ReturnType<NonNullable<TShortcuts['collections']>[K]> });
 /**
  * @internal
  * @reference {@link RegleCollectionStatus}
  */
 interface $InternalRegleCollectionStatus extends Omit<$InternalRegleStatus, '$fields' | '$errors' | '$silentErrors'> {
-    readonly $self: $InternalRegleFieldStatus;
-    readonly $each: Array<$InternalRegleStatusType>;
-    readonly $errors: $InternalRegleCollectionErrors;
-    readonly $silentErrors: $InternalRegleCollectionErrors;
-    readonly $externalErrors?: string[];
-    $extractDirtyFields: (filterNullishValues?: boolean) => any[];
-    $validate: () => Promise<$InternalRegleResult>;
+  readonly $self: $InternalRegleFieldStatus;
+  readonly $each: Array<$InternalRegleStatusType>;
+  readonly $errors: $InternalRegleCollectionErrors;
+  readonly $silentErrors: $InternalRegleCollectionErrors;
+  readonly $externalErrors?: string[];
+  $extractDirtyFields: (filterNullishValues?: boolean) => any[];
+  $validate: () => Promise<$InternalRegleResult>;
 }
 
+//#endregion
+//#region src/types/rules/compatibility.rules.d.ts
 interface SuperCompatibleRegle {
-    r$: SuperCompatibleRegleRoot;
+  r$: SuperCompatibleRegleRoot;
 }
 /** Supports both core Regle and schemas Regle for Zod/Valibot */
 type SuperCompatibleRegleRoot = SuperCompatibleRegleStatus & {
-    $groups?: {
-        [x: string]: RegleValidationGroupOutput;
-    };
-    $validate: () => Promise<SuperCompatibleRegleResult>;
+  $groups?: {
+    [x: string]: RegleValidationGroupOutput;
+  };
+  $validate: () => Promise<SuperCompatibleRegleResult>;
 };
 type SuperCompatibleRegleResult = $InternalRegleResult;
 interface SuperCompatibleRegleStatus extends SuperCompatibleRegleCommonStatus {
-    $fields: {
-        [x: string]: unknown;
-    };
-    readonly $errors: Record<string, RegleValidationErrors<any, false>>;
-    readonly $silentErrors: Record<string, RegleValidationErrors<any, false>>;
-    $extractDirtyFields: (filterNullishValues?: boolean) => Record<string, any>;
-    $validate?: () => Promise<SuperCompatibleRegleResult>;
+  $fields: {
+    [x: string]: unknown;
+  };
+  readonly $errors: Record<string, RegleValidationErrors<any, false>>;
+  readonly $silentErrors: Record<string, RegleValidationErrors<any, false>>;
+  $extractDirtyFields: (filterNullishValues?: boolean) => Record<string, any>;
+  $validate?: () => Promise<SuperCompatibleRegleResult>;
 }
 type SuperCompatibleRegleRuleStatus = Omit<$InternalRegleRuleStatus, '$haveAsync' | '$validating' | '$fieldDirty' | '$fieldInvalid' | '$fieldPending' | '$fieldCorrect' | '$fieldError' | '$unwatch' | '$watch' | '$maybePending'>;
 type SuperCompatibleRegleCommonStatus = Omit<RegleCommonStatus, '$pending'> & {
-    $pending?: boolean;
+  $pending?: boolean;
 };
 interface SuperCompatibleRegleFieldStatus extends SuperCompatibleRegleCommonStatus {
-    $value: any;
-    $silentValue: any;
-    readonly $rules: Record<string, SuperCompatibleRegleRuleStatus>;
-    readonly $externalErrors?: string[];
-    readonly $errors: string[];
-    readonly $inactive: boolean;
-    readonly $silentErrors: string[];
-    $extractDirtyFields: (filterNullishValues?: boolean) => any;
-    $validate?: () => Promise<SuperCompatibleRegleResult>;
+  $value: any;
+  $silentValue: any;
+  readonly $rules: Record<string, SuperCompatibleRegleRuleStatus>;
+  readonly $externalErrors?: string[];
+  readonly $errors: string[];
+  readonly $inactive: boolean;
+  readonly $silentErrors: string[];
+  $extractDirtyFields: (filterNullishValues?: boolean) => any;
+  $validate?: () => Promise<SuperCompatibleRegleResult>;
 }
 interface SuperCompatibleRegleCollectionStatus extends Omit<SuperCompatibleRegleStatus, '$fields' | '$errors' | '$silentErrors'> {
-    readonly $self: SuperCompatibleRegleFieldStatus;
-    readonly $each: Array<SuperCompatibleRegleStatus | SuperCompatibleRegleFieldStatus>;
-    readonly $errors: SuperCompatibleRegleCollectionErrors;
-    readonly $silentErrors: SuperCompatibleRegleCollectionErrors;
-    readonly $externalErrors?: string[];
-    $extractDirtyFields: (filterNullishValues?: boolean) => any[];
-    $validate?: () => Promise<SuperCompatibleRegleResult>;
+  readonly $self: SuperCompatibleRegleFieldStatus;
+  readonly $each: Array<SuperCompatibleRegleStatus | SuperCompatibleRegleFieldStatus>;
+  readonly $errors: SuperCompatibleRegleCollectionErrors;
+  readonly $silentErrors: SuperCompatibleRegleCollectionErrors;
+  readonly $externalErrors?: string[];
+  $extractDirtyFields: (filterNullishValues?: boolean) => any[];
+  $validate?: () => Promise<SuperCompatibleRegleResult>;
 }
 type SuperCompatibleRegleCollectionErrors = $InternalRegleCollectionErrors;
 
+//#endregion
+//#region src/core/createRule/createRule.d.ts
 /**
  * Create a typed custom rule that can be used like default rules.
  * It can also be declared in the global options
@@ -2665,14 +2620,23 @@ type SuperCompatibleRegleCollectionErrors = $InternalRegleCollectionErrors;
  *
  * Docs: {@link https://reglejs.dev/core-concepts/rules/reusable-rules}
  */
-declare function createRule<TValue extends any, TParams extends any[], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>, TMetadata extends RegleRuleMetadataDefinition = TReturn extends Promise<infer M> ? M : TReturn, TAsync extends boolean = TReturn extends Promise<any> ? true : false>(definition: RegleRuleInit<TValue, TParams, TReturn, TMetadata, TAsync>): InferRegleRule<TValue, TParams, TAsync, TMetadata>;
+declare function createRule<TValue extends any, TParams extends any[], TReturn extends RegleRuleMetadataDefinition | Promise<RegleRuleMetadataDefinition>, TMetadata extends RegleRuleMetadataDefinition = (TReturn extends Promise<infer M> ? M : TReturn), TAsync extends boolean = (TReturn extends Promise<any> ? true : false)>(definition: RegleRuleInit<TValue, TParams, TReturn, TMetadata, TAsync>): InferRegleRule<TValue, TParams, TAsync, TMetadata>;
 
+//#endregion
+//#region src/core/createRule/unwrapRuleParameters.d.ts
 /**
  * Returns a clean list of parameters
  * Removing Ref and executing function to return the unwrapped value
  */
 declare function unwrapRuleParameters<TParams extends any[]>(params: MaybeRefOrGetter[]): TParams;
 
+//#endregion
+//#region src/core/defineRegleConfig.d.ts
+/**
+ * Returns a clean list of parameters
+ * Removing Ref and executing function to return the unwrapped value
+ */
+
 /**
  * Define a global regle configuration, where you can:
  * - Customize built-in rules messages
@@ -2685,13 +2649,17 @@ declare function unwrapRuleParameters<TParams extends any[]>(params: MaybeRefOrG
  * - a `useRegle` composable that can typecheck your custom rules
  * - an `inferRules` helper that can typecheck your custom rules
  */
-declare function defineRegleConfig<TShortcuts extends RegleShortcutDefinition<TCustomRules>, TCustomRules extends Partial<AllRulesDeclarations>>({ rules, modifiers, shortcuts, }: {
-    rules?: () => TCustomRules;
-    modifiers?: RegleBehaviourOptions;
-    shortcuts?: TShortcuts;
+declare function defineRegleConfig<TShortcuts extends RegleShortcutDefinition<TCustomRules>, TCustomRules extends Partial<AllRulesDeclarations>>({
+  rules,
+  modifiers,
+  shortcuts
+}: {
+  rules?: () => TCustomRules;
+  modifiers?: RegleBehaviourOptions;
+  shortcuts?: TShortcuts;
 }): {
-    useRegle: useRegleFn<TCustomRules, TShortcuts>;
-    inferRules: inferRulesFn<TCustomRules>;
+  useRegle: useRegleFn<TCustomRules, TShortcuts>;
+  inferRules: inferRulesFn<TCustomRules>;
 };
 /**
  * Extend an already created custom `useRegle` (as the first parameter)
@@ -2701,121 +2669,119 @@ declare function defineRegleConfig<TShortcuts extends RegleShortcutDefinition<TC
  * - a `useRegle` composable that can typecheck your custom rules
  * - an `inferRules` helper that can typecheck your custom rules
  */
-declare function extendRegleConfig<TRootCustomRules extends Partial<AllRulesDeclarations>, TRootShortcuts extends RegleShortcutDefinition<{}>, TShortcuts extends RegleShortcutDefinition<Merge<TRootCustomRules, TCustomRules>>, TCustomRules extends Partial<AllRulesDeclarations>>(regle: useRegleFn<TRootCustomRules, TRootShortcuts>, { rules, modifiers, shortcuts, }: {
-    rules?: () => TCustomRules;
-    modifiers?: RegleBehaviourOptions;
-    shortcuts?: TShortcuts;
+declare function extendRegleConfig<TRootCustomRules extends Partial<AllRulesDeclarations>, TRootShortcuts extends RegleShortcutDefinition<{}>, TShortcuts extends RegleShortcutDefinition<Merge<TRootCustomRules, TCustomRules>>, TCustomRules extends Partial<AllRulesDeclarations>>(regle: useRegleFn<TRootCustomRules, TRootShortcuts>, {
+  rules,
+  modifiers,
+  shortcuts
+}: {
+  rules?: () => TCustomRules;
+  modifiers?: RegleBehaviourOptions;
+  shortcuts?: TShortcuts;
 }): {
-    useRegle: useRegleFn<Merge<TRootCustomRules, TCustomRules>, TRootShortcuts & TShortcuts>;
-    inferRules: inferRulesFn<Merge<TRootCustomRules, TCustomRules>>;
-};
-
-type MergedRegles<TRegles extends Record<string, SuperCompatibleRegleRoot>, TValue = {
-    [K in keyof TRegles]: TRegles[K]['$value'];
-}> = Omit<RegleCommonStatus, '$value' | '$silentValue' | '$errors' | '$silentErrors' | '$name' | '$unwatch' | '$watch'> & {
-    /** Map of merged Regle instances and their properties  */
-    readonly $instances: {
-        [K in keyof TRegles]: TRegles[K];
-    };
-    /** A reference to the original validated model. It can be used to bind your form with v-model.*/
-    $value: TValue;
-    /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
-    $silentValue: TValue;
-    /** Collection of all the error messages, collected for all children properties and nested forms.
-     *
-     * Only contains errors from properties where $dirty equals true. */
-    readonly $errors: {
-        [K in keyof TRegles]: TRegles[K]['$errors'];
-    };
-    /** Collection of all the error messages, collected for all children properties. */
-    readonly $silentErrors: {
-        [K in keyof TRegles]: TRegles[K]['$silentErrors'];
-    };
-    /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
-    $extractDirtyFields: (filterNullishValues?: boolean) => PartialDeep<TValue>;
-    /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
-    $validate: () => Promise<MergedReglesResult<TRegles>>;
+  useRegle: useRegleFn<Merge<TRootCustomRules, TCustomRules>, TRootShortcuts & TShortcuts>;
+  inferRules: inferRulesFn<Merge<TRootCustomRules, TCustomRules>>;
+};
+
+//#endregion
+//#region src/core/mergeRegles.d.ts
+type MergedRegles<TRegles extends Record<string, SuperCompatibleRegleRoot>, TValue = { [K in keyof TRegles]: TRegles[K]['$value'] }> = Omit<RegleCommonStatus, '$value' | '$silentValue' | '$errors' | '$silentErrors' | '$name' | '$unwatch' | '$watch'> & {
+  /** Map of merged Regle instances and their properties  */
+  readonly $instances: { [K in keyof TRegles]: TRegles[K] };
+  /** A reference to the original validated model. It can be used to bind your form with v-model.*/
+  $value: TValue;
+  /** $value variant that will not "touch" the field and update the value silently, running only the rules, so you can easily swap values without impacting user interaction. */
+  $silentValue: TValue;
+  /** Collection of all the error messages, collected for all children properties and nested forms.
+   *
+   * Only contains errors from properties where $dirty equals true. */
+  readonly $errors: { [K in keyof TRegles]: TRegles[K]['$errors'] };
+  /** Collection of all the error messages, collected for all children properties. */
+  readonly $silentErrors: { [K in keyof TRegles]: TRegles[K]['$silentErrors'] };
+  /** Will return a copy of your state with only the fields that are dirty. By default it will filter out nullish values or objects, but you can override it with the first parameter $extractDirtyFields(false). */
+  $extractDirtyFields: (filterNullishValues?: boolean) => PartialDeep<TValue>;
+  /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
+  $validate: () => Promise<MergedReglesResult<TRegles>>;
 };
 type MergedScopedRegles<TValue extends Record<string, unknown>[] = Record<string, unknown>[]> = Omit<MergedRegles<Record<string, SuperCompatibleRegleRoot>, TValue>, '$instances' | '$errors' | '$silentErrors' | '$value' | '$silentValue' | '$validate'> & {
-    /** Array of scoped Regles instances  */
-    readonly $instances: SuperCompatibleRegleRoot[];
-    /** Collection of all registered Regles instances values */
-    readonly $value: TValue;
-    /** Collection of all registered Regles instances errors */
-    readonly $errors: RegleValidationErrors<Record<string, unknown>>[];
-    /** Collection of all registered Regles instances silent errors */
-    readonly $silentErrors: RegleValidationErrors<Record<string, unknown>>[];
-    /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
-    $validate: () => Promise<{
-        valid: boolean;
-        data: TValue;
-    }>;
+  /** Array of scoped Regles instances  */
+  readonly $instances: SuperCompatibleRegleRoot[];
+  /** Collection of all registered Regles instances values */
+  readonly $value: TValue;
+  /** Collection of all registered Regles instances errors */
+  readonly $errors: RegleValidationErrors<Record<string, unknown>>[];
+  /** Collection of all registered Regles instances silent errors */
+  readonly $silentErrors: RegleValidationErrors<Record<string, unknown>>[];
+  /** Sets all properties as dirty, triggering all rules. It returns a promise that will either resolve to false or a type safe copy of your form state. Values that had the required rule will be transformed into a non-nullable value (type only). */
+  $validate: () => Promise<{
+    valid: boolean;
+    data: TValue;
+  }>;
 };
 type MergedReglesResult<TRegles extends Record<string, SuperCompatibleRegleRoot>> = {
+  valid: false;
+  data: { [K in keyof TRegles]: Extract<PromiseReturn<ReturnType<TRegles[K]['$validate']>>, {
     valid: false;
-    data: {
-        [K in keyof TRegles]: Extract<PromiseReturn<ReturnType<TRegles[K]['$validate']>>, {
-            valid: false;
-        }>['data'];
-    };
+  }>['data'] };
 } | {
+  valid: true;
+  data: { [K in keyof TRegles]: Extract<PromiseReturn<ReturnType<TRegles[K]['$validate']>>, {
     valid: true;
-    data: {
-        [K in keyof TRegles]: Extract<PromiseReturn<ReturnType<TRegles[K]['$validate']>>, {
-            valid: true;
-        }>['data'];
-    };
+  }>['data'] };
 };
 declare function mergeRegles<TRegles extends Record<string, SuperCompatibleRegleRoot>, TScoped extends boolean = false>(regles: TRegles, _scoped?: TScoped): TScoped extends false ? MergedRegles<TRegles> : MergedScopedRegles;
 
+//#endregion
+//#region src/core/createScopedUseRegle/useCollectScope.d.ts
 type useCollectScopeFn<TNamedScoped extends boolean = false> = TNamedScoped extends true ? <const TValue extends Record<string, Record<string, any>>>(namespace?: MaybeRefOrGetter<string>) => {
-    r$: MergedRegles<{
-        [K in keyof TValue]: RegleRoot<TValue[K]>;
-    }>;
+  r$: MergedRegles<{ [K in keyof TValue]: RegleRoot<TValue[K]> }>;
 } : <TValue extends Record<string, unknown>[] = Record<string, unknown>[]>(namespace?: MaybeRefOrGetter<string>) => {
-    r$: MergedScopedRegles<TValue>;
+  r$: MergedScopedRegles<TValue>;
 };
 
+//#endregion
+//#region src/core/createScopedUseRegle/useScopedRegle.d.ts
 type UseScopedRegleOptions<TAsRecord extends boolean> = {
-    namespace?: MaybeRefOrGetter<string>;
+  namespace?: MaybeRefOrGetter<string>;
 } & (TAsRecord extends true ? {
-    scopeKey: string;
+  scopeKey: string;
 } : {});
 
+//#endregion
+//#region src/core/createScopedUseRegle/createScopedUseRegle.d.ts
 type CreateScopedUseRegleOptions<TCustomRegle extends useRegleFn<any, any>, TAsRecord extends boolean> = {
-    /**
-     * Inject a global configuration to the exported composables to keep your translations and typings
-     */
-    customUseRegle?: TCustomRegle;
-    /**
-     * Store the collected instances externally
-     */
-    customStore?: Ref<ScopedInstancesRecordLike>;
-    /**
-     * Set the
-     */
-    asRecord?: TAsRecord;
-};
-declare function createScopedUseRegle<TCustomRegle extends useRegleFn<any, any> = useRegleFn<Partial<AllRulesDeclarations>>, TAsRecord extends boolean = false, TReturnedRegle extends useRegleFn<any, any, any, any> = TCustomRegle extends useRegleFn<infer A, infer B> ? useRegleFn<A, B, {
-    dispose: () => void;
-    register: () => void;
+  /**
+   * Inject a global configuration to the exported composables to keep your translations and typings
+   */
+  customUseRegle?: TCustomRegle;
+  /**
+   * Store the collected instances externally
+   */
+  customStore?: Ref<ScopedInstancesRecordLike>;
+  /**
+   * Set the
+   */
+  asRecord?: TAsRecord;
+};
+declare function createScopedUseRegle<TCustomRegle extends useRegleFn<any, any> = useRegleFn<Partial<AllRulesDeclarations>>, TAsRecord extends boolean = false, TReturnedRegle extends useRegleFn<any, any, any, any> = (TCustomRegle extends useRegleFn<infer A, infer B> ? useRegleFn<A, B, {
+  dispose: () => void;
+  register: () => void;
 }, UseScopedRegleOptions<TAsRecord>> : useRegleFn<Partial<AllRulesDeclarations>, any, {
-    dispose: () => void;
-    register: () => void;
-}, UseScopedRegleOptions<TAsRecord>>>(options?: CreateScopedUseRegleOptions<TCustomRegle, TAsRecord>): {
-    useScopedRegle: TReturnedRegle;
-    useCollectScope: useCollectScopeFn<TAsRecord>;
+  dispose: () => void;
+  register: () => void;
+}, UseScopedRegleOptions<TAsRecord>>)>(options?: CreateScopedUseRegleOptions<TCustomRegle, TAsRecord>): {
+  useScopedRegle: TReturnedRegle;
+  useCollectScope: useCollectScopeFn<TAsRecord>;
 };
-declare const useCollectScope: <TValue extends Record<string, unknown>[] = Record<string, unknown>[]>(namespace?: vue.MaybeRefOrGetter<string>) => {
+declare const useCollectScope: <TValue extends Record<string, unknown>[] = Record<string, unknown>[]>(namespace?: vue0.MaybeRefOrGetter<string>) => {
     r$: MergedScopedRegles<TValue>;
-};
-declare const useScopedRegle: useRegleFn<Partial<AllRulesDeclarations>, never, {
+  }, useScopedRegle: useRegleFn<Partial<AllRulesDeclarations>, never, {
     dispose: () => void;
     register: () => void;
-}, {
-    namespace?: vue.MaybeRefOrGetter<string>;
-}>;
-
+  }, {
+    namespace?: vue0.MaybeRefOrGetter<string>;
+  }>;
+//#endregion
+//#region src/core/createVariant.d.ts
 /**
  * Declare variations of state that depends on one value
  *
@@ -2847,12 +2813,10 @@ declare function createVariant<TForm extends Record<string, any>, TDiscriminant
  * ```
  */
 declare function narrowVariant<TRoot extends {
-    [x: string]: unknown;
-}, const TKey extends keyof TRoot, const TValue extends LazyJoinDiscriminatedUnions<Exclude<TRoot[TKey], RegleCollectionStatus<any, any, any> | RegleStatus<any, any, any>>> extends {
-    $value: infer V;
-} ? V : unknown>(root: TRoot, discriminantKey: TKey, discriminantValue: TValue): root is Extract<TRoot, {
-    [K in TKey]: RegleFieldStatus<TValue, any, any> | RegleFieldStatus<MaybeInput<TValue>, any, any>;
-}>;
+  [x: string]: unknown;
+}, const TKey extends keyof TRoot, const TValue extends (LazyJoinDiscriminatedUnions<Exclude<TRoot[TKey], RegleCollectionStatus<any, any, any> | RegleStatus<any, any, any>>> extends {
+  $value: infer V;
+} ? V : unknown)>(root: TRoot, discriminantKey: TKey, discriminantValue: TValue): root is Extract<TRoot, { [K in TKey]: RegleFieldStatus<TValue, any, any> | RegleFieldStatus<MaybeInput<TValue>, any, any> }>;
 /**
  * Narrow a nested variant root to a reactive reference
  *
@@ -2862,12 +2826,12 @@ declare function narrowVariant<TRoot extends {
  * </script>
  * ```
  */
-declare function variantToRef<TRoot extends RegleStatus<{}, any, any>, const TKey extends keyof TRoot['$fields'], const TValue extends LazyJoinDiscriminatedUnions<Exclude<TRoot['$fields'][TKey], RegleCollectionStatus<any, any, any> | RegleStatus<any, any, any>>> extends {
-    $value: infer V;
-} ? V : unknown>(root: MaybeRef<TRoot>, discriminantKey: TKey, discriminantValue: TValue): Ref<Extract<TRoot['$fields'], {
-    [K in TKey]: RegleFieldStatus<TValue, any, any>;
-}> | undefined>;
+declare function variantToRef<TRoot extends RegleStatus<{}, any, any>, const TKey extends keyof TRoot['$fields'], const TValue extends (LazyJoinDiscriminatedUnions<Exclude<TRoot['$fields'][TKey], RegleCollectionStatus<any, any, any> | RegleStatus<any, any, any>>> extends {
+  $value: infer V;
+} ? V : unknown)>(root: MaybeRef<TRoot>, discriminantKey: TKey, discriminantValue: TValue): Ref<Extract<TRoot['$fields'], { [K in TKey]: RegleFieldStatus<TValue, any, any> }> | undefined>;
 
+//#endregion
+//#region src/core/refineRules.d.ts
 /**
  * Helper method to wrap an raw rules object
  *
@@ -2895,4 +2859,5 @@ declare function defineRules<TRules extends RegleUnknownRulesTree>(rules: TRules
  */
 declare function refineRules<TRules extends RegleUnknownRulesTree, TRefinement extends ReglePartialRuleTree<InferInput<TRules>> & RegleUnknownRulesTree>(rules: TRules, refinement: (state: Ref<InferInput<TRules>>) => TRefinement): (state: Ref<InferInput<TRules>>) => Merge<TRules, TRefinement>;
 
-export { type $InternalRegleStatus, type AllRulesDeclarations, type CommonAlphaOptions, type CommonComparisonOptions, type CreateScopedUseRegleOptions, type DeepMaybeRef, type DeepReactiveState, type DefaultValidatorsTree, type FormRuleDeclaration, type HaveAnyRequiredProps, type InferInput, type InferRegleRoot, type InferRegleRule, type InferRegleRules, type InferRegleShortcuts, type InferRegleStatusType, type InferSafeOutput, type InlineRuleDeclaration, InternalRuleType, type JoinDiscriminatedUnions, type LocalRegleBehaviourOptions, type Maybe, type MaybeInput, type MaybeOutput, type MaybeReadonly, type MaybeVariantStatus, type MergedRegles, type MergedScopedRegles, type NarrowVariant, type NoInferLegacy, type PrimitiveTypes, type Regle, type RegleBehaviourOptions, type RegleCollectionErrors, type RegleCollectionRuleDecl, type RegleCollectionRuleDefinition, type RegleCollectionStatus, type RegleCommonStatus, type RegleComputedRules, type RegleEnforceCustomRequiredRules, type RegleEnforceRequiredRules, type RegleErrorTree, type RegleExternalCollectionErrors, type RegleExternalErrorTree, type RegleFieldStatus, type RegleFormPropertyType, type RegleInternalRuleDefs, type ReglePartialRuleTree, type RegleResult, type RegleRoot, type RegleRuleCore, type RegleRuleDecl, type RegleRuleDefinition, type RegleRuleDefinitionProcessor, type RegleRuleDefinitionWithMetadataProcessor, type RegleRuleInit, type RegleRuleMetadataConsumer, type RegleRuleMetadataDefinition, type RegleRuleMetadataExtended, type RegleRuleRaw, type RegleRuleStatus, type RegleRuleTypeReturn, type RegleRuleWithParamsDefinition, type RegleShortcutDefinition, type RegleSingleField, type RegleStatus, type RegleUniversalParams, type RegleUnknownRulesTree, type RegleValidationErrors, type RegleValidationGroupEntry, type RegleValidationGroupOutput, type RegleRuleTree as RegleValidationTree, type ResolvedRegleBehaviourOptions, type ScopedInstancesRecord, type ScopedInstancesRecordLike, type SuperCompatibleRegle, type SuperCompatibleRegleCollectionErrors, type SuperCompatibleRegleCollectionStatus, type SuperCompatibleRegleFieldStatus, type SuperCompatibleRegleResult, type SuperCompatibleRegleRoot, type SuperCompatibleRegleRuleStatus, type SuperCompatibleRegleStatus, type Unwrap, type UnwrapRegleUniversalParams, type UnwrapRuleWithParams, type UseScopedRegleOptions, createRule, createScopedUseRegle, createVariant, defineRegleConfig, defineRules, extendRegleConfig, flatErrors, inferRules, type inferRulesFn, mergeRegles, narrowVariant, refineRules, unwrapRuleParameters, useCollectScope, type useCollectScopeFn, useRegle, type useRegleFn, useRootStorage, useScopedRegle, variantToRef };
+//#endregion
+export { $InternalRegleStatus, AllRulesDeclarations, CommonAlphaOptions, CommonComparisonOptions, CreateScopedUseRegleOptions, DeepMaybeRef, DeepReactiveState, DefaultValidatorsTree, FormRuleDeclaration, HaveAnyRequiredProps, InferInput, InferRegleRoot, InferRegleRule, InferRegleRules, InferRegleShortcuts, InferRegleStatusType, InferSafeOutput, InlineRuleDeclaration, InternalRuleType, JoinDiscriminatedUnions, LocalRegleBehaviourOptions, Maybe, MaybeInput, MaybeOutput, MaybeReadonly, MaybeVariantStatus, MergedRegles, MergedScopedRegles, NarrowVariant, NoInferLegacy, PrimitiveTypes, Regle, RegleBehaviourOptions, RegleCollectionErrors, RegleCollectionRuleDecl, RegleCollectionRuleDefinition, RegleCollectionStatus, RegleCommonStatus, RegleComputedRules, RegleCustomCollectionStatus, RegleCustomFieldStatus, RegleCustomStatus, RegleEnforceCustomRequiredRules, RegleEnforceRequiredRules, RegleErrorTree, RegleExternalCollectionErrors, RegleExternalErrorTree, RegleFieldStatus, RegleFormPropertyType, RegleInternalRuleDefs, ReglePartialRuleTree, RegleResult, RegleRoot, RegleRuleCore, RegleRuleDecl, RegleRuleDefinition, RegleRuleDefinitionProcessor, RegleRuleDefinitionWithMetadataProcessor, RegleRuleInit, RegleRuleMetadataConsumer, RegleRuleMetadataDefinition, RegleRuleMetadataExtended, RegleRuleRaw, RegleRuleStatus, RegleRuleTypeReturn, RegleRuleWithParamsDefinition, RegleShortcutDefinition, RegleSingleField, RegleStatus, RegleUniversalParams, RegleUnknownRulesTree, RegleValidationErrors, RegleValidationGroupEntry, RegleValidationGroupOutput, RegleRuleTree as RegleValidationTree, ResolvedRegleBehaviourOptions, ScopedInstancesRecord, ScopedInstancesRecordLike, SuperCompatibleRegle, SuperCompatibleRegleCollectionErrors, SuperCompatibleRegleCollectionStatus, SuperCompatibleRegleFieldStatus, SuperCompatibleRegleResult, SuperCompatibleRegleRoot, SuperCompatibleRegleRuleStatus, SuperCompatibleRegleStatus, Unwrap, UnwrapRegleUniversalParams, UnwrapRuleWithParams, UseScopedRegleOptions, createRule, createScopedUseRegle, createVariant, defineRegleConfig, defineRules, extendRegleConfig, flatErrors, inferRules, inferRulesFn, mergeRegles, narrowVariant, refineRules, unwrapRuleParameters, useCollectScope, useCollectScopeFn, useRegle, useRegleFn, useRootStorage, useScopedRegle, variantToRef };