@formisch/solid 0.10.0 → 0.12.0

package/dist/index.d.ts

@@ -3,6 +3,177 @@ import { JSX } from "solid-js";
 
 //#region ../../packages/core/dist/index.solid.d.ts
 
+//#region src/types/utils/utils.d.ts
+/**
+* Checks if a type is `any`.
+*/
+type IsAny<T> = 0 extends 1 & T ? true : false;
+/**
+* Checks if a type is `never`.
+*/
+type IsNever<T> = [T] extends [never] ? true : false;
+/**
+* Constructs a type that is maybe a promise.
+*/
+type MaybePromise<T> = T | Promise<T>;
+/**
+* Makes all properties deeply optional.
+*/
+type DeepPartial<TValue> = TValue extends Record<PropertyKey, unknown> | readonly unknown[] ? { [TKey in keyof TValue]?: DeepPartial<TValue[TKey]> | undefined } : TValue | undefined;
+/**
+* Makes all value properties optional.
+*
+* Hint: For dynamic arrays, only plain objects and nested arrays have their
+* values made optional. Primitives and class instances are kept as-is to avoid
+* types like `(string | undefined)[]`.
+*/
+type PartialValues<TValue> = TValue extends readonly (infer TItem)[] ? number extends TValue["length"] ? (TItem extends Record<PropertyKey, unknown> | readonly unknown[] ? { [TKey in keyof TItem]: PartialValues<TItem[TKey]> } : TItem)[] : { [TKey in keyof TValue]: PartialValues<TValue[TKey]> } : TValue extends Record<PropertyKey, unknown> ? { [TKey in keyof TValue]: PartialValues<TValue[TKey]> } : TValue | undefined;
+//#endregion
+//#region src/types/path/path.d.ts
+/**
+* Path key type.
+*/
+type PathKey = string | number;
+/**
+* Path type.
+*/
+type Path = readonly PathKey[];
+/**
+* Required path type.
+*/
+type RequiredPath = readonly [PathKey, ...Path];
+/**
+* Extracts the exact keys of a tuple, array or object. Tuples return their
+* literal numeric indices, dynamic arrays return `number`, objects return
+* their `keyof` keys, and any other input returns `never`.
+*/
+type ExactKeysOf<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly unknown[] ? number extends TValue["length"] ? number : { [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? TIndex : never }[number] : TValue extends Record<PropertyKey, unknown> ? keyof TValue & PathKey : never;
+/**
+* Returns the flat object of all indexable properties of `TValue`. For object
+* unions, properties from every member are merged so that any single property
+* is accessible. For primitives and other non-indexable types, the result is
+* `{}`.
+*
+* Hint: This is necessary to make properties accessible across union members.
+* By default, properties that do not exist in all union options are not
+* accessible and result in "any" when accessed.
+*/
+type PropertiesOf<TValue> = { [TKey in ExactKeysOf<TValue>]: TValue extends Record<TKey, infer TItem> ? TItem : never };
+/**
+* Lazily evaluates only the first valid path segment based on the given value.
+*/
+type LazyPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValidPath : TPathToCheck extends readonly [infer TFirstKey extends ExactKeysOf<TValue>, ...infer TPathRest extends Path] ? LazyPath<Required<PropertiesOf<TValue>[TFirstKey]>, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<ExactKeysOf<TValue>> extends false ? readonly [...TValidPath, ExactKeysOf<TValue>] : TValidPath;
+/**
+* Returns the path if valid, otherwise the first possible valid path based on
+* the given value.
+*/
+type ValidPath<TValue, TPath extends RequiredPath> = TPath extends LazyPath<Required<TValue>, TPath> ? TPath : LazyPath<Required<TValue>, TPath>;
+/**
+* Detects whether the consuming project is configured with
+* `exactOptionalPropertyTypes: true`.
+*
+* Hint: If `false` the built-in `Required<T>` strips `| undefined` from
+* optional properties, so `Required<{ key?: undefined }>['key']` collapses
+* to `never` — under strict mode the same expression yields `undefined`.
+*/
+type IsExactOptionalProps = Required<{
+  key?: undefined;
+}>["key"] extends never ? false : true;
+/**
+* Like the built-in `Required<T>`, but preserves `| undefined` in two
+* places where `Required<T>` strips it:
+*
+* 1. Optional property values under `exactOptionalPropertyTypes: false`
+*    — without this, input typings for `v.optional`/`v.nullish` schemas
+*    narrow incorrectly (issue #15).
+* 2. Array/tuple element types — e.g. `(string | undefined)[]` stays
+*    `(string | undefined)[]` instead of becoming `string[]`. Arrays
+*    fall through unchanged because they only have a numeric index
+*    signature and don't structurally extend `Record<PropertyKey,
+*    unknown>` (which requires string keys).
+*/
+type ExactRequired<TValue> = TValue extends Record<PropertyKey, unknown> ? IsExactOptionalProps extends true ? Required<TValue> : { [TKey in keyof Required<TValue>]: TValue[TKey] } : TValue;
+/**
+* Extracts the value type at the given path.
+*/
+type PathValue<TValue, TPath extends Path> = TPath extends readonly [infer TKey, ...infer TRest extends Path] ? TKey extends ExactKeysOf<ExactRequired<TValue>> ? PathValue<PropertiesOf<ExactRequired<TValue>>[TKey], TRest> : unknown : TValue;
+/**
+* Checks whether a value is a dynamic array or contains one anywhere in its
+* shape. A fixed-length tuple is not itself a dynamic array, but it counts when
+* it contains one, so paths can still navigate through tuples to reach nested
+* arrays.
+*
+* Hint: The inner conditionals (`TValue extends readonly unknown[]` and
+* `TValue extends Record<PropertyKey, unknown>`) distribute over union members,
+* so the inner expression returns the union of each member's result (e.g.
+* `true | false` when some members contain arrays and others don't).
+* Downstream code uses `IsOrHasArray<T> extends true`, but
+* `boolean extends true` is `false` — so we collapse the result via
+* `true extends ...`, which is `true` whenever at least one union member
+* contributed `true`.
+*/
+type IsOrHasArray<TValue> = true extends (IsAny<TValue> extends true ? false : TValue extends readonly unknown[] ? number extends TValue["length"] ? true : IsOrHasArray<TValue[number]> : TValue extends Record<PropertyKey, unknown> ? { [TKey in keyof TValue]: IsOrHasArray<TValue[TKey]> }[keyof TValue] : false) ? true : false;
+/**
+* Extracts the exact keys of a tuple, array or object that contain arrays.
+*/
+type ExactKeysOfArrayPath<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly (infer TItem)[] ? number extends TValue["length"] ? IsOrHasArray<TItem> extends true ? number : never : { [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? IsOrHasArray<NonNullable<TValue[TKey]>> extends true ? TIndex : never : never }[number] : TValue extends Record<PropertyKey, unknown> ? { [TKey in keyof TValue]: IsOrHasArray<NonNullable<TValue[TKey]>> extends true ? TKey : never }[keyof TValue] & PathKey : never;
+/**
+* Returns the flat object of indexable properties of `TValue` whose values
+* are or contain arrays. Mirrors `PropertiesOf` but keyed by
+* `ExactKeysOfArrayPath` so the lookup is provably valid for array-path
+* navigation in `LazyArrayPath`.
+*/
+type PropertiesOfArrayPath<TValue> = { [TKey in ExactKeysOfArrayPath<TValue>]: TValue extends Record<TKey, infer TItem> ? TItem : never };
+/**
+* Lazily evaluates only the first valid array path segment based on the given value.
+*/
+type LazyArrayPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValue extends readonly unknown[] ? number extends TValue["length"] ? TValidPath : IsNever<ExactKeysOfArrayPath<TValue>> extends false ? readonly [...TValidPath, ExactKeysOfArrayPath<TValue>] : never : readonly [...TValidPath, ExactKeysOfArrayPath<TValue>] : TPathToCheck extends readonly [infer TFirstKey extends ExactKeysOfArrayPath<TValue>, ...infer TPathRest extends Path] ? LazyArrayPath<Required<PropertiesOfArrayPath<TValue>[TFirstKey]>, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<ExactKeysOfArrayPath<TValue>> extends false ? readonly [...TValidPath, ExactKeysOfArrayPath<TValue>] : never;
+/**
+* Returns the path if valid, otherwise the first possible valid array path
+* based on the given value.
+*/
+type ValidArrayPath<TValue, TPath extends RequiredPath> = TPath extends LazyArrayPath<Required<TValue>, TPath> ? TPath : LazyArrayPath<Required<TValue>, TPath>;
+/**
+* Recursive helper for `DirtyPath` that prepends `TKey` to each deeper path,
+* or falls through to `never` when the child is not an object.
+*/
+type DeepDirtyPath<TChild, TKey$1 extends PathKey, TDepth extends 0[]> = TChild extends Record<PropertyKey, unknown> ? readonly [TKey$1, ...DirtyPath<TChild, [...TDepth, 0]>] : never;
+/**
+* Returns the union of all `RequiredPath`s that `getDirtyPaths` can emit
+* for a given input type. Object fields contribute their own path and the
+* paths of their descendants; arrays and tuples are atomic and contribute
+* only their own path, because dirty arrays are returned as complete units.
+*
+* Narrowing is exact for the first 5 levels of nesting; deeper paths fall
+* back to `RequiredPath` to keep the result a complete superset of any
+* path the runtime can address.
+*
+* Hint: Arrays and tuples are atomic because they don't structurally
+* extend `Record<PropertyKey, unknown>` and so fall through to `never`
+* via `DeepDirtyPath` — no explicit array check is needed. `TDepth` is
+* a tuple-length counter capped at 5 to bound TypeScript instantiation
+* cost.
+*/
+type DirtyPath<TValue, TDepth extends 0[] = []> = TDepth["length"] extends 5 ? RequiredPath : TValue extends Record<PropertyKey, unknown> ? { [TKey in ExactKeysOf<TValue>]: readonly [TKey] | DeepDirtyPath<NonNullable<PropertiesOf<TValue>[TKey]>, TKey, TDepth> }[ExactKeysOf<TValue>] : never;
+/**
+* Recursive helper for `FieldPath` that prepends `TKey` to each deeper field
+* path, or falls through to `never` when the child is a leaf value.
+*/
+type DeepFieldPath<TChild, TKey$1 extends PathKey, TDepth extends 0[]> = TChild extends readonly unknown[] | Record<PropertyKey, unknown> ? readonly [TKey$1, ...FieldPath<TChild, [...TDepth, 0]>] : never;
+/**
+* Returns the union of all `RequiredPath`s that address a field within the
+* given input type. Object and array fields contribute their own path and the
+* paths of their descendants; unlike `DirtyPath`, arrays are recursed into so
+* that fields at any depth, including array items, can be addressed. Leaf
+* values contribute only their own path (emitted by their parent).
+*
+* Narrowing is exact for the first 5 levels of nesting; deeper paths fall
+* back to `RequiredPath` to keep the result a complete superset of any path
+* the runtime can address. `TDepth` is a tuple-length counter capped at 5 to
+* bound TypeScript instantiation cost.
+*/
+type FieldPath<TValue, TDepth extends 0[] = []> = TDepth["length"] extends 5 ? RequiredPath : TValue extends readonly unknown[] | Record<PropertyKey, unknown> ? { [TKey in ExactKeysOf<TValue>]: readonly [TKey] | DeepFieldPath<NonNullable<PropertiesOf<TValue>[TKey]>, TKey, TDepth> }[ExactKeysOf<TValue>] : never;
+//#endregion
 //#region src/types/schema/schema.d.ts
 /**
 * Schema type.
@@ -67,11 +238,22 @@ interface InternalBaseStore {
   */
   name: string;
   /**
+  * The path to the field.
+  */
+  path: Path;
+  /**
   * The schema of the field.
   */
   schema: Schema;
   /**
   * The initial elements of the field.
+  *
+  * Hint: This may look unused, but do not remove it. `copyItemState` and
+  * `swapItemState` move the `elements` reference between field stores when
+  * array items are inserted, moved, removed or swapped, and `reset` restores
+  * each field's original element via `elements = initialElements`. Without it,
+  * focus and file reset target the wrong element after a reorder followed by a
+  * reset.
   */
   initialElements: FieldElement[];
   /**
@@ -87,6 +269,15 @@ interface InternalBaseStore {
   */
   isTouched: Signal<boolean>;
   /**
+  * The edited state of the field.
+  *
+  * Hint: Unlike `isTouched`, which is also set when a field is focused, this
+  * is only set when the field's value is changed. Unlike `isDirty`, it stays
+  * `true` even if the value is changed back to its initial value. It is only
+  * reset when the field is reset.
+  */
+  isEdited: Signal<boolean>;
+  /**
   * The dirty state of the field.
   */
   isDirty: Signal<boolean>;
@@ -100,6 +291,14 @@ interface InternalArrayStore extends InternalBaseStore {
   */
   kind: "array";
   /**
+  * Whether the array schema is wrapped in a nullish schema.
+  *
+  * Hint: This indicates whether a missing input should be represented as the
+  * nullish value (`null`/`undefined`) or as a present but empty array
+  * (`true`). It keeps resetting consistent with the initial state.
+  */
+  isNullish: boolean;
+  /**
   * The children of the array field.
   */
   children: InternalFieldStore[];
@@ -152,6 +351,14 @@ interface InternalObjectStore extends InternalBaseStore {
   */
   kind: "object";
   /**
+  * Whether the object schema is wrapped in a nullish schema.
+  *
+  * Hint: This indicates whether a missing input should be represented as the
+  * nullish value (`null`/`undefined`) or as a present but empty object
+  * (`true`). It keeps resetting consistent with the initial state.
+  */
+  isNullish: boolean;
+  /**
   * The children of the object field.
   */
   children: Record<string, InternalFieldStore>;
@@ -215,32 +422,6 @@ type InternalFieldStore = InternalArrayStore | InternalObjectStore | InternalVal
 */
 declare const INTERNAL: "~internal";
 //#endregion
-//#region src/types/utils/utils.d.ts
-/**
-* Checks if a type is `any`.
-*/
-type IsAny<T> = 0 extends 1 & T ? true : false;
-/**
-* Checks if a type is `never`.
-*/
-type IsNever<T> = [T] extends [never] ? true : false;
-/**
-* Constructs a type that is maybe a promise.
-*/
-type MaybePromise<T> = T | Promise<T>;
-/**
-* Makes all properties deeply optional.
-*/
-type DeepPartial<TValue> = TValue extends Record<PropertyKey, unknown> | readonly unknown[] ? { [TKey in keyof TValue]?: DeepPartial<TValue[TKey]> | undefined } : TValue | undefined;
-/**
-* Makes all value properties optional.
-*
-* Hint: For dynamic arrays, only plain objects and nested arrays have their
-* values made optional. Primitives and class instances are kept as-is to avoid
-* types like `(string | undefined)[]`.
-*/
-type PartialValues<TValue> = TValue extends readonly (infer TItem)[] ? number extends TValue["length"] ? (TItem extends Record<PropertyKey, unknown> | readonly unknown[] ? { [TKey in keyof TItem]: PartialValues<TItem[TKey]> } : TItem)[] : { [TKey in keyof TValue]: PartialValues<TValue[TKey]> } : TValue extends Record<PropertyKey, unknown> ? { [TKey in keyof TValue]: PartialValues<TValue[TKey]> } : TValue | undefined;
-//#endregion
 //#region src/types/form/form.d.ts
 /**
 * Validation mode type.
@@ -324,174 +505,138 @@ type SubmitHandler<TSchema extends FormSchema> = (output: v.InferOutput<TSchema>
 */
 type SubmitEventHandler<TSchema extends FormSchema> = (output: v.InferOutput<TSchema>, event: SubmitEvent) => MaybePromise<unknown>;
 //#endregion
-//#region src/types/path/path.d.ts
-/**
-* Path key type.
-*/
-type PathKey = string | number;
-/**
-* Path type.
-*/
-type Path = readonly PathKey[];
+//#region src/array/copyItemState/copyItemState.d.ts
 /**
-* Required path type.
+* Copies the deeply nested state (signal values) from one field store to
+* another. This includes the `elements`, `errors`, `startInput`, `input`,
+* `isTouched`, `isEdited`, `isDirty`, and for arrays `startItems` and `items`
+* properties. Recursively walks through the field stores and copies all signal
+* values.
+*
+* @param fromInternalFieldStore The source field store to copy from.
+* @param toInternalFieldStore The destination field store to copy to.
 */
-type RequiredPath = readonly [PathKey, ...Path];
+//#endregion
+//#region ../../packages/methods/dist/index.solid.d.ts
+//#region src/focus/focus.d.ts
+
 /**
-* Extracts the exact keys of a tuple, array or object. Tuples return their
-* literal numeric indices, dynamic arrays return `number`, objects return
-* their `keyof` keys, and any other input returns `never`.
+* Focus field config interface.
 */
-type ExactKeysOf<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly unknown[] ? number extends TValue["length"] ? number : { [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? TIndex : never }[number] : TValue extends Record<PropertyKey, unknown> ? keyof TValue & PathKey : never;
+interface FocusFieldConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+  /**
+  * The path to the field to focus.
+  */
+  readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+}
 /**
-* Returns the flat object of all indexable properties of `TValue`. For object
-* unions, properties from every member are merged so that any single property
-* is accessible. For primitives and other non-indexable types, the result is
-* `{}`.
+* Focuses the first focusable input element of a field. This is useful for
+* programmatically setting focus to a specific field, such as after
+* validation errors or user interactions.
 *
-* Hint: This is necessary to make properties accessible across union members.
-* By default, properties that do not exist in all union options are not
-* accessible and result in "any" when accessed.
+* @param form The form store containing the field.
+* @param config The focus field configuration.
 */
-type PropertiesOf<TValue> = { [TKey in ExactKeysOf<TValue>]: TValue extends Record<TKey, infer TItem> ? TItem : never };
+declare function focus<TSchema extends FormSchema, TFieldPath extends RequiredPath>(form: BaseFormStore<TSchema>, config: FocusFieldConfig<TSchema, TFieldPath>): void;
+//#endregion
+//#region src/getDeepErrorEntries/getDeepErrorEntries.d.ts
 /**
-* Lazily evaluates only the first valid path segment based on the given value.
+* Deep error entry interface.
 */
-type LazyPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValidPath : TPathToCheck extends readonly [infer TFirstKey extends ExactKeysOf<TValue>, ...infer TPathRest extends Path] ? LazyPath<Required<PropertiesOf<TValue>[TFirstKey]>, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<ExactKeysOf<TValue>> extends false ? readonly [...TValidPath, ExactKeysOf<TValue>] : TValidPath;
+interface DeepErrorEntry<TValue = unknown> {
+  /**
+  * The path to the field with errors, or an empty path for form-level errors.
+  */
+  readonly path: unknown extends TValue ? Path : readonly [] | FieldPath<TValue>;
+  /**
+  * The error messages of the field.
+  */
+  readonly errors: [string, ...string[]];
+}
 /**
-* Returns the path if valid, otherwise the first possible valid path based on
-* the given value.
+* Get form deep error entries config interface.
 */
-type ValidPath<TValue, TPath extends RequiredPath> = TPath extends LazyPath<Required<TValue>, TPath> ? TPath : LazyPath<Required<TValue>, TPath>;
+interface GetFormDeepErrorEntriesConfig {
+  /**
+  * The path to a field. Leave undefined to get the entries of the entire form.
+  */
+  readonly path?: undefined;
+}
 /**
-* Detects whether the consuming project is configured with
-* `exactOptionalPropertyTypes: true`.
-*
-* Hint: If `false` the built-in `Required<T>` strips `| undefined` from
-* optional properties, so `Required<{ key?: undefined }>['key']` collapses
-* to `never` — under strict mode the same expression yields `undefined`.
+* Get field deep error entries config interface.
 */
-type IsExactOptionalProps = Required<{
-  key?: undefined;
-}>["key"] extends never ? false : true;
+interface GetFieldDeepErrorEntriesConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+  /**
+  * The path to the field to retrieve the entries from.
+  */
+  readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+}
 /**
-* Like the built-in `Required<T>`, but preserves `| undefined` in two
-* places where `Required<T>` strips it:
+* Retrieves the errors of a specific field or the entire form as a list of
+* entries, each pairing the path to a field with its error messages. This is
+* useful for building custom error summaries that link each message back to
+* its field. Form-level errors are included with an empty path.
 *
-* 1. Optional property values under `exactOptionalPropertyTypes: false`
-*    — without this, input typings for `v.optional`/`v.nullish` schemas
-*    narrow incorrectly (issue #15).
-* 2. Array/tuple element types — e.g. `(string | undefined)[]` stays
-*    `(string | undefined)[]` instead of becoming `string[]`. Arrays
-*    fall through unchanged because they only have a numeric index
-*    signature and don't structurally extend `Record<PropertyKey,
-*    unknown>` (which requires string keys).
-*/
-type ExactRequired<TValue> = TValue extends Record<PropertyKey, unknown> ? IsExactOptionalProps extends true ? Required<TValue> : { [TKey in keyof Required<TValue>]: TValue[TKey] } : TValue;
-/**
-* Extracts the value type at the given path.
-*/
-type PathValue<TValue, TPath extends Path> = TPath extends readonly [infer TKey, ...infer TRest extends Path] ? TKey extends ExactKeysOf<ExactRequired<TValue>> ? PathValue<PropertiesOf<ExactRequired<TValue>>[TKey], TRest> : unknown : TValue;
-/**
-* Checks whether a value is an array or contains one anywhere in its shape.
+* @param form The form store to retrieve error entries from.
 *
-* Hint: The inner conditionals (`TValue extends readonly unknown[]` and
-* `TValue extends Record<PropertyKey, unknown>`) distribute over union members,
-* so the inner expression returns the union of each member's result (e.g.
-* `true | false` when some members contain arrays and others don't).
-* Downstream code uses `IsOrHasArray<T> extends true`, but
-* `boolean extends true` is `false` — so we collapse the result via
-* `true extends ...`, which is `true` whenever at least one union member
-* contributed `true`.
-*/
-type IsOrHasArray<TValue> = true extends (IsAny<TValue> extends true ? false : TValue extends readonly unknown[] ? true : TValue extends Record<PropertyKey, unknown> ? { [TKey in keyof TValue]: IsOrHasArray<TValue[TKey]> }[keyof TValue] : false) ? true : false;
-/**
-* Extracts the exact keys of a tuple, array or object that contain arrays.
+* @returns A list of path and error message entries.
 */
-type ExactKeysOfArrayPath<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly (infer TItem)[] ? number extends TValue["length"] ? IsOrHasArray<TItem> extends true ? number : never : { [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? IsOrHasArray<NonNullable<TValue[TKey]>> extends true ? TIndex : never : never }[number] : TValue extends Record<PropertyKey, unknown> ? { [TKey in keyof TValue]: IsOrHasArray<NonNullable<TValue[TKey]>> extends true ? TKey : never }[keyof TValue] & PathKey : never;
-/**
-* Returns the flat object of indexable properties of `TValue` whose values
-* are or contain arrays. Mirrors `PropertiesOf` but keyed by
-* `ExactKeysOfArrayPath` so the lookup is provably valid for array-path
-* navigation in `LazyArrayPath`.
-*/
-type PropertiesOfArrayPath<TValue> = { [TKey in ExactKeysOfArrayPath<TValue>]: TValue extends Record<TKey, infer TItem> ? TItem : never };
-/**
-* Lazily evaluates only the first valid array path segment based on the given value.
-*/
-type LazyArrayPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValue extends readonly unknown[] ? TValidPath : readonly [...TValidPath, ExactKeysOfArrayPath<TValue>] : TPathToCheck extends readonly [infer TFirstKey extends ExactKeysOfArrayPath<TValue>, ...infer TPathRest extends Path] ? LazyArrayPath<Required<PropertiesOfArrayPath<TValue>[TFirstKey]>, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<ExactKeysOfArrayPath<TValue>> extends false ? readonly [...TValidPath, ExactKeysOfArrayPath<TValue>] : never;
+declare function getDeepErrorEntries<TSchema extends FormSchema>(form: BaseFormStore<TSchema>): DeepErrorEntry<v.InferInput<TSchema>>[];
 /**
-* Returns the path if valid, otherwise the first possible valid array path
-* based on the given value.
-*/
-type ValidArrayPath<TValue, TPath extends RequiredPath> = TPath extends LazyArrayPath<Required<TValue>, TPath> ? TPath : LazyArrayPath<Required<TValue>, TPath>;
-/**
-* Recursive helper for `DirtyPath` that prepends `TKey` to each deeper path,
-* or falls through to `never` when the child is not an object.
-*/
-type DeepDirtyPath<TChild, TKey$1 extends PathKey, TDepth extends 0[]> = TChild extends Record<PropertyKey, unknown> ? readonly [TKey$1, ...DirtyPath<TChild, [...TDepth, 0]>] : never;
-/**
-* Returns the union of all `RequiredPath`s that `getDirtyPaths` can emit
-* for a given input type. Object fields contribute their own path and the
-* paths of their descendants; arrays and tuples are atomic and contribute
-* only their own path, because dirty arrays are returned as complete units.
+* Retrieves the errors of a specific field or the entire form as a list of
+* entries, each pairing the path to a field with its error messages. This is
+* useful for building custom error summaries that link each message back to
+* its field. Form-level errors are included with an empty path.
 *
-* Narrowing is exact for the first 5 levels of nesting; deeper paths fall
-* back to `RequiredPath` to keep the result a complete superset of any
-* path the runtime can address.
+* @param form The form store to retrieve error entries from.
+* @param config The get deep error entries configuration.
 *
-* Hint: Arrays and tuples are atomic because they don't structurally
-* extend `Record<PropertyKey, unknown>` and so fall through to `never`
-* via `DeepDirtyPath` — no explicit array check is needed. `TDepth` is
-* a tuple-length counter capped at 5 to bound TypeScript instantiation
-* cost.
+* @returns A list of path and error message entries.
 */
-type DirtyPath<TValue, TDepth extends 0[] = []> = TDepth["length"] extends 5 ? RequiredPath : TValue extends Record<PropertyKey, unknown> ? { [TKey in ExactKeysOf<TValue>]: readonly [TKey] | DeepDirtyPath<NonNullable<PropertiesOf<TValue>[TKey]>, TKey, TDepth> }[ExactKeysOf<TValue>] : never;
+declare function getDeepErrorEntries<TSchema extends FormSchema, TFieldPath extends RequiredPath | undefined = undefined>(form: BaseFormStore<TSchema>, config: TFieldPath extends RequiredPath ? GetFieldDeepErrorEntriesConfig<TSchema, TFieldPath> : GetFormDeepErrorEntriesConfig): DeepErrorEntry<v.InferInput<TSchema>>[];
 //#endregion
-//#region src/array/copyItemState/copyItemState.d.ts
+//#region src/getDeepErrors/getDeepErrors.d.ts
 /**
-* Copies the deeply nested state (signal values) from one field store to
-* another. This includes the `elements`, `errors`, `startInput`, `input`,
-* `isTouched`, `isDirty`, and for arrays `startItems` and `items` properties.
-* Recursively walks through the field stores and copies all signal values.
-*
-* @param fromInternalFieldStore The source field store to copy from.
-* @param toInternalFieldStore The destination field store to copy to.
+* Get form deep errors config interface.
 */
-//#endregion
-//#region ../../packages/methods/dist/index.solid.d.ts
-//#region src/focus/focus.d.ts
-
+interface GetFormDeepErrorsConfig {
+  /**
+  * The path to a field. Leave undefined to get the errors of the entire form.
+  */
+  readonly path?: undefined;
+}
 /**
-* Focus field config interface.
+* Get field deep errors config interface.
 */
-interface FocusFieldConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+interface GetFieldDeepErrorsConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
   /**
-  * The path to the field to focus.
+  * The path to the field to retrieve the errors from.
   */
   readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
 }
 /**
-* Focuses the first input element of a field. This is useful for
-* programmatically setting focus to a specific field, such as after
-* validation errors or user interactions.
+* Retrieves all error messages of a specific field or the entire form by
+* walking through the field store and all its descendants. This is useful for
+* displaying a summary of all validation errors within a section or the whole
+* form. Form-level errors are included.
 *
-* @param form The form store containing the field.
-* @param config The focus field configuration.
+* @param form The form store to retrieve errors from.
+*
+* @returns A non-empty array of error messages, or null if no errors exist.
 */
-declare function focus<TSchema extends FormSchema, TFieldPath extends RequiredPath>(form: BaseFormStore<TSchema>, config: FocusFieldConfig<TSchema, TFieldPath>): void;
-//#endregion
-//#region src/getAllErrors/getAllErrors.d.ts
+declare function getDeepErrors<TSchema extends FormSchema>(form: BaseFormStore<TSchema>): [string, ...string[]] | null;
 /**
-* Retrieves all error messages from all fields in the form by walking through
-* the entire field store tree. This is useful for displaying a summary of all
-* validation errors across the form.
+* Retrieves all error messages of a specific field or the entire form by
+* walking through the field store and all its descendants. This is useful for
+* displaying a summary of all validation errors within a section or the whole
+* form. Form-level errors are included.
 *
 * @param form The form store to retrieve errors from.
+* @param config The get deep errors configuration.
 *
 * @returns A non-empty array of error messages, or null if no errors exist.
 */
-declare function getAllErrors(form: BaseFormStore): [string, ...string[]] | null;
+declare function getDeepErrors<TSchema extends FormSchema, TFieldPath extends RequiredPath | undefined = undefined>(form: BaseFormStore<TSchema>, config: TFieldPath extends RequiredPath ? GetFieldDeepErrorsConfig<TSchema, TFieldPath> : GetFormDeepErrorsConfig): [string, ...string[]] | null;
 //#endregion
 //#region src/getDirtyInput/getDirtyInput.d.ts
 /**
@@ -711,6 +856,172 @@ interface InsertConfig<TSchema extends FormSchema, TFieldArrayPath extends Requi
 */
 declare function insert<TSchema extends FormSchema, TFieldArrayPath extends RequiredPath>(form: BaseFormStore<TSchema>, config: InsertConfig<TSchema, TFieldArrayPath>): void;
 //#endregion
+//#region src/isDirty/isDirty.d.ts
+/**
+* Is form dirty config interface.
+*/
+interface IsFormDirtyConfig {
+  /**
+  * The path to a field. Leave undefined to check the entire form.
+  */
+  readonly path?: undefined;
+}
+/**
+* Is field dirty config interface.
+*/
+interface IsFieldDirtyConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+  /**
+  * The path to the field to check for dirtiness.
+  */
+  readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+}
+/**
+* Checks whether a specific field or the entire form is dirty by walking
+* through the field store and all its descendants. A field is dirty when its
+* input differs from its initial value.
+*
+* @param form The form store to check for dirtiness.
+*
+* @returns Whether the field or form is dirty.
+*/
+declare function isDirty<TSchema extends FormSchema>(form: BaseFormStore<TSchema>): boolean;
+/**
+* Checks whether a specific field or the entire form is dirty by walking
+* through the field store and all its descendants. A field is dirty when its
+* input differs from its initial value.
+*
+* @param form The form store to check for dirtiness.
+* @param config The is dirty configuration.
+*
+* @returns Whether the field or form is dirty.
+*/
+declare function isDirty<TSchema extends FormSchema, TFieldPath extends RequiredPath | undefined = undefined>(form: BaseFormStore<TSchema>, config: TFieldPath extends RequiredPath ? IsFieldDirtyConfig<TSchema, TFieldPath> : IsFormDirtyConfig): boolean;
+//#endregion
+//#region src/isEdited/isEdited.d.ts
+/**
+* Is form edited config interface.
+*/
+interface IsFormEditedConfig {
+  /**
+  * The path to a field. Leave undefined to check the entire form.
+  */
+  readonly path?: undefined;
+}
+/**
+* Is field edited config interface.
+*/
+interface IsFieldEditedConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+  /**
+  * The path to the field to check for being edited.
+  */
+  readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+}
+/**
+* Checks whether a specific field or the entire form is edited by walking
+* through the field store and all its descendants. A field is edited once its
+* value has been changed by the user.
+*
+* @param form The form store to check for being edited.
+*
+* @returns Whether the field or form is edited.
+*/
+declare function isEdited<TSchema extends FormSchema>(form: BaseFormStore<TSchema>): boolean;
+/**
+* Checks whether a specific field or the entire form is edited by walking
+* through the field store and all its descendants. A field is edited once its
+* value has been changed by the user.
+*
+* @param form The form store to check for being edited.
+* @param config The is edited configuration.
+*
+* @returns Whether the field or form is edited.
+*/
+declare function isEdited<TSchema extends FormSchema, TFieldPath extends RequiredPath | undefined = undefined>(form: BaseFormStore<TSchema>, config: TFieldPath extends RequiredPath ? IsFieldEditedConfig<TSchema, TFieldPath> : IsFormEditedConfig): boolean;
+//#endregion
+//#region src/isTouched/isTouched.d.ts
+/**
+* Is form touched config interface.
+*/
+interface IsFormTouchedConfig {
+  /**
+  * The path to a field. Leave undefined to check the entire form.
+  */
+  readonly path?: undefined;
+}
+/**
+* Is field touched config interface.
+*/
+interface IsFieldTouchedConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+  /**
+  * The path to the field to check for being touched.
+  */
+  readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+}
+/**
+* Checks whether a specific field or the entire form is touched by walking
+* through the field store and all its descendants. A field is touched once it
+* has received and lost focus.
+*
+* @param form The form store to check for being touched.
+*
+* @returns Whether the field or form is touched.
+*/
+declare function isTouched<TSchema extends FormSchema>(form: BaseFormStore<TSchema>): boolean;
+/**
+* Checks whether a specific field or the entire form is touched by walking
+* through the field store and all its descendants. A field is touched once it
+* has received and lost focus.
+*
+* @param form The form store to check for being touched.
+* @param config The is touched configuration.
+*
+* @returns Whether the field or form is touched.
+*/
+declare function isTouched<TSchema extends FormSchema, TFieldPath extends RequiredPath | undefined = undefined>(form: BaseFormStore<TSchema>, config: TFieldPath extends RequiredPath ? IsFieldTouchedConfig<TSchema, TFieldPath> : IsFormTouchedConfig): boolean;
+//#endregion
+//#region src/isValid/isValid.d.ts
+/**
+* Is form valid config interface.
+*/
+interface IsFormValidConfig {
+  /**
+  * The path to a field. Leave undefined to check the entire form.
+  */
+  readonly path?: undefined;
+}
+/**
+* Is field valid config interface.
+*/
+interface IsFieldValidConfig<TSchema extends FormSchema, TFieldPath extends RequiredPath> {
+  /**
+  * The path to the field to check for validity.
+  */
+  readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+}
+/**
+* Checks whether a specific field or the entire form is valid by walking
+* through the field store and all its descendants. A field is valid when
+* neither it nor any of its descendants contains an error. Form-level errors
+* are included.
+*
+* @param form The form store to check for validity.
+*
+* @returns Whether the field or form is valid.
+*/
+declare function isValid<TSchema extends FormSchema>(form: BaseFormStore<TSchema>): boolean;
+/**
+* Checks whether a specific field or the entire form is valid by walking
+* through the field store and all its descendants. A field is valid when
+* neither it nor any of its descendants contains an error. Form-level errors
+* are included.
+*
+* @param form The form store to check for validity.
+* @param config The is valid configuration.
+*
+* @returns Whether the field or form is valid.
+*/
+declare function isValid<TSchema extends FormSchema, TFieldPath extends RequiredPath | undefined = undefined>(form: BaseFormStore<TSchema>, config: TFieldPath extends RequiredPath ? IsFieldValidConfig<TSchema, TFieldPath> : IsFormValidConfig): boolean;
+//#endregion
 //#region src/move/move.d.ts
 /**
 * Move array field config interface.
@@ -826,6 +1137,10 @@ interface ResetBaseConfig {
   */
   readonly keepTouched?: boolean | undefined;
   /**
+  * Whether to keep the edited state during reset. Defaults to false.
+  */
+  readonly keepEdited?: boolean | undefined;
+  /**
   * Whether to keep the error messages during reset. Defaults to false.
   */
   readonly keepErrors?: boolean | undefined;
@@ -1076,6 +1391,10 @@ interface FieldStore<TSchema extends FormSchema = FormSchema, TFieldPath extends
   */
   readonly isTouched: boolean;
   /**
+  * Whether the field value has been edited.
+  */
+  readonly isEdited: boolean;
+  /**
   * Whether the field input differs from its initial value.
   */
   readonly isDirty: boolean;
@@ -1113,6 +1432,10 @@ interface FieldArrayStore<TSchema extends FormSchema = FormSchema, TFieldArrayPa
   */
   readonly isTouched: boolean;
   /**
+  * Whether the field array value has been edited.
+  */
+  readonly isEdited: boolean;
+  /**
   * Whether the field array input differs from its initial value.
   */
   readonly isDirty: boolean;
@@ -1144,6 +1467,10 @@ interface FormStore<TSchema extends FormSchema = FormSchema> extends BaseFormSto
   */
   readonly isTouched: boolean;
   /**
+  * Whether any field in the form has been edited.
+  */
+  readonly isEdited: boolean;
+  /**
   * Whether any field in the form differs from its initial value.
   */
   readonly isDirty: boolean;
@@ -1155,7 +1482,7 @@ interface FormStore<TSchema extends FormSchema = FormSchema> extends BaseFormSto
   * The current error messages of the form.
   *
   * Hint: This property only contains validation errors at the root level
-  * of the form. To get all errors from all fields, use `getAllErrors`.
+  * of the form. To get all errors from all fields, use `getDeepErrors`.
   */
   readonly errors: [string, ...string[]] | null;
 }
@@ -1303,4 +1630,4 @@ interface UseFieldArrayConfig<TSchema extends FormSchema = FormSchema, TFieldArr
 */
 declare function useFieldArray<TSchema extends FormSchema, TFieldArrayPath extends RequiredPath>(form: MaybeGetter<FormStore<TSchema>>, config: MaybeGetter<UseFieldArrayConfig<TSchema, TFieldArrayPath>>): FieldArrayStore<TSchema, TFieldArrayPath>;
 //#endregion
-export { type DeepPartial, Field, FieldArray, FieldArrayProps, FieldArrayStore, type FieldElement, FieldElementProps, FieldProps, FieldStore, FocusFieldConfig, Form, type FormConfig, FormProps, type FormSchema, FormStore, GetFieldDirtyInputConfig, GetFieldDirtyPathsConfig, GetFieldErrorsConfig, GetFieldInputConfig, GetFormDirtyInputConfig, GetFormDirtyPathsConfig, GetFormErrorsConfig, GetFormInputConfig, InsertConfig, MaybeGetter, MoveConfig, type PartialValues, type PathValue, PickDirtyConfig, RemoveConfig, ReplaceConfig, type RequiredPath, ResetFieldConfig, ResetFormConfig, type Schema, SetFieldErrorsConfig, SetFieldInputConfig, SetFormErrorsConfig, SetFormInputConfig, type SubmitEventHandler, type SubmitHandler, SwapConfig, UseFieldArrayConfig, UseFieldConfig, type ValidArrayPath, type ValidPath, ValidateFormConfig, type ValidationMode, createForm, focus, getAllErrors, getDirtyInput, getDirtyPaths, getErrors, getInput, handleSubmit, insert, move, pickDirty, remove, replace, reset, setErrors, setInput, submit, swap, useField, useFieldArray, validate };
+export { DeepErrorEntry, type DeepPartial, Field, FieldArray, FieldArrayProps, FieldArrayStore, type FieldElement, FieldElementProps, FieldProps, FieldStore, FocusFieldConfig, Form, type FormConfig, FormProps, type FormSchema, FormStore, GetFieldDeepErrorEntriesConfig, GetFieldDeepErrorsConfig, GetFieldDirtyInputConfig, GetFieldDirtyPathsConfig, GetFieldErrorsConfig, GetFieldInputConfig, GetFormDeepErrorEntriesConfig, GetFormDeepErrorsConfig, GetFormDirtyInputConfig, GetFormDirtyPathsConfig, GetFormErrorsConfig, GetFormInputConfig, InsertConfig, IsFieldDirtyConfig, IsFieldEditedConfig, IsFieldTouchedConfig, IsFieldValidConfig, IsFormDirtyConfig, IsFormEditedConfig, IsFormTouchedConfig, IsFormValidConfig, MaybeGetter, MoveConfig, type PartialValues, type PathValue, PickDirtyConfig, RemoveConfig, ReplaceConfig, type RequiredPath, ResetFieldConfig, ResetFormConfig, type Schema, SetFieldErrorsConfig, SetFieldInputConfig, SetFormErrorsConfig, SetFormInputConfig, type SubmitEventHandler, type SubmitHandler, SwapConfig, UseFieldArrayConfig, UseFieldConfig, type ValidArrayPath, type ValidPath, ValidateFormConfig, type ValidationMode, createForm, focus, getDeepErrorEntries, getDeepErrors, getDirtyInput, getDirtyPaths, getErrors, getInput, handleSubmit, insert, isDirty, isEdited, isTouched, isValid, move, pickDirty, remove, replace, reset, setErrors, setInput, submit, swap, useField, useFieldArray, validate };