@angular/forms 21.0.0-next.6 → 21.0.0-next.7

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@angular/forms",
-  "version": "21.0.0-next.6",
+  "version": "21.0.0-next.7",
   "description": "Angular - directives and services for creating forms",
   "author": "angular",
   "license": "MIT",
@@ -11,9 +11,9 @@
     "tslib": "^2.3.0"
   },
   "peerDependencies": {
-    "@angular/core": "21.0.0-next.6",
-    "@angular/common": "21.0.0-next.6",
-    "@angular/platform-browser": "21.0.0-next.6",
+    "@angular/core": "21.0.0-next.7",
+    "@angular/common": "21.0.0-next.7",
+    "@angular/platform-browser": "21.0.0-next.7",
     "@standard-schema/spec": "^1.0.0",
     "rxjs": "^6.5.3 || ^7.4.0"
   },

package/types/forms.d.ts

@@ -1,6 +1,6 @@
 /**
- * @license Angular v21.0.0-next.6
- * (c) 2010-2025 Google LLC. https://angular.io/
+ * @license Angular v21.0.0-next.7
+ * (c) 2010-2025 Google LLC. https://angular.dev/
  * License: MIT
  */
 

package/types/signals.d.ts

@@ -1,74 +1,47 @@
 /**
- * @license Angular v21.0.0-next.6
- * (c) 2010-2025 Google LLC. https://angular.io/
+ * @license Angular v21.0.0-next.7
+ * (c) 2010-2025 Google LLC. https://angular.dev/
  * License: MIT
  */
 
 import { HttpResourceRequest, HttpResourceOptions } from '@angular/common/http';
 import * as i0 from '@angular/core';
-import { ElementRef, WritableSignal, Signal, ResourceRef, InputSignal, ModelSignal, OutputRef, DestroyableInjector, Injector } from '@angular/core';
-import { ControlValueAccessor, NgControl } from '@angular/forms';
+import { InjectionToken, ɵControl as _Control, ɵCONTROL as _CONTROL, ɵFieldState as _FieldState, Signal, ResourceRef, InputSignal, ModelSignal, OutputRef, WritableSignal, DestroyableInjector, Injector } from '@angular/core';
 import { StandardSchemaV1 } from '@standard-schema/spec';
 
 /**
- * Binds a form `Field` to a UI control that edits it. A UI control can be one of several things:
+ * Lightweight DI token provided by the {@link Control} directive.
+ */
+declare const CONTROL: InjectionToken<Control<unknown>>;
+/**
+ * Binds a form `FieldTree` to a UI control that edits it. A UI control can be one of several things:
  * 1. A native HTML input or textarea
  * 2. A signal forms custom control that implements `FormValueControl` or `FormCheckboxControl`
- * 3. A component that provides a ControlValueAccessor. This should only be used to backwards
+ * 3. TODO: https://github.com/orgs/angular/projects/60/views/1?pane=issue&itemId=131712274. A
+ *    component that provides a ControlValueAccessor. This should only be used to backwards
  *    compatibility with reactive forms. Prefer options (1) and (2).
  *
  * This directive has several responsibilities:
  * 1. Two-way binds the field's value with the UI control's value
  * 2. Binds additional forms related state on the field to the UI control (disabled, required, etc.)
  * 3. Relays relevant events on the control to the field (e.g. marks field touched on blur)
- * 4. Provides a fake `NgControl` that implements a subset of the features available on the reactive
- *    forms `NgControl`. This is provided to improve interoperability with controls designed to work
- *    with reactive forms. It should not be used by controls written for signal forms.
+ * 4. TODO: https://github.com/orgs/angular/projects/60/views/1?pane=issue&itemId=131712274.
+ *    Provides a fake `NgControl` that implements a subset of the features available on the
+ *    reactive forms `NgControl`. This is provided to improve interoperability with controls
+ *    designed to work with reactive forms. It should not be used by controls written for signal
+ *    forms.
  *
  * @category control
  * @experimental 21.0.0
  */
-declare class Control<T> {
-    /** The injector for this component. */
+declare class Control<T> implements _Control<T> {
     private readonly injector;
-    private readonly renderer;
-    /** Whether state synchronization with the field has been setup yet. */
-    private initialized;
-    /** The field that is bound to this control. */
-    readonly field: i0.WritableSignal<Field<T>>;
-    set _field(value: Field<T>);
-    /** The field state of the bound field. */
+    readonly field: i0.InputSignal<FieldTree<T>>;
     readonly state: i0.Signal<FieldState<T, string | number>>;
-    /** The HTMLElement this directive is attached to. */
-    readonly el: ElementRef<HTMLElement>;
-    /** The NG_VALUE_ACCESSOR array for the host component. */
-    readonly cvaArray: ControlValueAccessor[] | null;
-    /** The Cached value for the lazily created interop NgControl. */
-    private _ngControl;
-    /** A fake NgControl provided for better interop with reactive forms. */
-    get ngControl(): NgControl;
-    /** The ControlValueAccessor for the host component. */
-    get cva(): ControlValueAccessor | undefined;
-    /** Initializes state synchronization between the field and the host UI control. */
-    private initialize;
-    /**
-     * Set up state synchronization between the field and a native <input>, <textarea>, or <select>.
-     */
-    private setupNativeInput;
-    /** Set up state synchronization between the field and a ControlValueAccessor. */
-    private setupControlValueAccessor;
-    /** Set up state synchronization between the field and a FormUiControl. */
-    private setupCustomUiControl;
-    /** Synchronize a value from a reactive source to a given sink. */
-    private maybeSynchronize;
-    /** Creates a reactive value source by reading the given AggregateProperty from the field. */
-    private propertySource;
-    /** Creates a (non-boolean) value sync that writes the given attribute of the given element. */
-    private withAttribute;
-    /** Creates a boolean value sync that writes the given attribute of the given element. */
-    private withBooleanAttribute;
+    readonly [_CONTROL]: undefined;
+    register(): void;
     static ɵfac: i0.ɵɵFactoryDeclaration<Control<any>, never>;
-    static ɵdir: i0.ɵɵDirectiveDeclaration<Control<any>, "[control]", never, { "_field": { "alias": "control"; "required": true; }; }, {}, never, never, true, never>;
+    static ɵdir: i0.ɵɵDirectiveDeclaration<Control<any>, "[control]", never, { "field": { "alias": "control"; "required": true; "isSignal": true; }; }, {}, never, never, true, never>;
 }
 
 /**
@@ -200,7 +173,7 @@ interface ValidationErrorOptions {
  * @experimental 21.0.0
  */
 type WithField<T> = T & {
-    field: Field<unknown>;
+    field: FieldTree<unknown>;
 };
 /**
  * A type that allows the given type `T` to optionally have a `field` property.
@@ -209,7 +182,7 @@ type WithField<T> = T & {
  * @experimental 21.0.0
  */
 type WithOptionalField<T> = Omit<T, 'field'> & {
-    field?: Field<unknown>;
+    field?: FieldTree<unknown>;
 };
 /**
  * A type that ensures the given type `T` does not have a `field` property.
@@ -387,7 +360,7 @@ interface ValidationError {
     /** Identifies the kind of error. */
     readonly kind: string;
     /** The field associated with this error. */
-    readonly field: Field<unknown>;
+    readonly field: FieldTree<unknown>;
     /** Human readable error message. */
     readonly message?: string;
 }
@@ -407,7 +380,7 @@ declare class CustomValidationError implements ValidationError {
     /** Identifies the kind of error. */
     readonly kind: string;
     /** The field associated with this error. */
-    readonly field: Field<unknown>;
+    readonly field: FieldTree<unknown>;
     /** Human readable error message. */
     readonly message?: string;
     constructor(options?: ValidationErrorOptions);
@@ -424,7 +397,7 @@ declare abstract class _NgValidationError implements ValidationError {
     /** Identifies the kind of error. */
     readonly kind: string;
     /** The field associated with this error. */
-    readonly field: Field<unknown>;
+    readonly field: FieldTree<unknown>;
     /** Human readable error message. */
     readonly message?: string;
     constructor(options?: ValidationErrorOptions);
@@ -607,7 +580,7 @@ type SubmittedStatus = 'unsubmitted' | 'submitted' | 'submitting';
  */
 interface DisabledReason {
     /** The field that is disabled. */
-    readonly field: Field<unknown>;
+    readonly field: FieldTree<unknown>;
     /** A user-facing message describing the reason for the disablement. */
     readonly message?: string;
 }
@@ -676,11 +649,11 @@ type ValidationResult<E extends ValidationError = ValidationError> = ValidationS
  */
 type AsyncValidationResult<E extends ValidationError = ValidationError> = ValidationResult<E> | 'pending';
 /**
- * An object that represents a single field in a form. This includes both primitive value fields
+ * An object that represents a tree of fields in a form. This includes both primitive value fields
  * (e.g. fields that contain a `string` or `number`), as well as "grouping fields" that contain
- * sub-fields. `Field` objects are arranged in a tree whose structure mimics the structure of the
- * underlying data. For example a `Field<{x: number}>` has a property `x` which contains a
- * `Field<number>`. To access the state associated with a field, call it as a function.
+ * sub-fields. `FieldTree` objects are arranged in a tree whose structure mimics the structure of the
+ * underlying data. For example a `FieldTree<{x: number}>` has a property `x` which contains a
+ * `FieldTree<number>`. To access the state associated with a field, call it as a function.
  *
  * @template TValue The type of the data which the field is wrapped around.
  * @template TKey The type of the property key which this field resides under in its parent.
@@ -688,16 +661,16 @@ type AsyncValidationResult<E extends ValidationError = ValidationError> = Valida
  * @category types
  * @experimental 21.0.0
  */
-type Field<TValue, TKey extends string | number = string | number> = (() => FieldState<TValue, TKey>) & (TValue extends Array<infer U> ? ReadonlyArrayLike<MaybeField<U, number>> : TValue extends Record<string, any> ? Subfields<TValue> : unknown);
+type FieldTree<TValue, TKey extends string | number = string | number> = (() => FieldState<TValue, TKey>) & (TValue extends Array<infer U> ? ReadonlyArrayLike<MaybeFieldTree<U, number>> : TValue extends Record<string, any> ? Subfields<TValue> : unknown);
 /**
- * The sub-fields that a user can navigate to from a `Field<TValue>`.
+ * The sub-fields that a user can navigate to from a `FieldTree<TValue>`.
  *
  * @template TValue The type of the data which the parent field is wrapped around.
  *
  * @experimental 21.0.0
  */
 type Subfields<TValue> = {
-    readonly [K in keyof TValue as TValue[K] extends Function ? never : K]: MaybeField<TValue[K], string>;
+    readonly [K in keyof TValue as TValue[K] extends Function ? never : K]: MaybeFieldTree<TValue[K], string>;
 };
 /**
  * An iterable object with the same shape as a readonly array.
@@ -708,35 +681,26 @@ type Subfields<TValue> = {
  */
 type ReadonlyArrayLike<T> = Pick<ReadonlyArray<T>, number | 'length' | typeof Symbol.iterator>;
 /**
- * Helper type for defining `Field`. Given a type `TValue` that may include `undefined`, it extracts
- * the `undefined` outside the `Field` type.
+ * Helper type for defining `FieldTree`. Given a type `TValue` that may include `undefined`, it extracts
+ * the `undefined` outside the `FieldTree` type.
  *
  * For example `MaybeField<{a: number} | undefined, TKey>` would be equivalent to
- * `undefined | Field<{a: number}, TKey>`.
+ * `undefined | FieldTree<{a: number}, TKey>`.
  *
  * @template TValue The type of the data which the field is wrapped around.
  * @template TKey The type of the property key which this field resides under in its parent.
  *
  * @experimental 21.0.0
  */
-type MaybeField<TValue, TKey extends string | number = string | number> = (TValue & undefined) | Field<Exclude<TValue, undefined>, TKey>;
+type MaybeFieldTree<TValue, TKey extends string | number = string | number> = (TValue & undefined) | FieldTree<Exclude<TValue, undefined>, TKey>;
 /**
- * Contains all of the state (e.g. value, statuses, etc.) associated with a `Field`, exposed as
+ * Contains all of the state (e.g. value, statuses, etc.) associated with a `FieldTree`, exposed as
  * signals.
  *
  * @category structure
  * @experimental 21.0.0
  */
-interface FieldState<TValue, TKey extends string | number = string | number> {
-    /**
-     * A writable signal containing the value for this field. Updating this signal will update the
-     * data model that the field is bound to.
-     */
-    readonly value: WritableSignal<TValue>;
-    /**
-     * A signal indicating whether the field has been touched by the user.
-     */
-    readonly touched: Signal<boolean>;
+interface FieldState<TValue, TKey extends string | number = string | number> extends _FieldState<TValue> {
     /**
      * A signal indicating whether field value has been changed by user.
      */
@@ -754,21 +718,7 @@ interface FieldState<TValue, TKey extends string | number = string | number> {
      * ```
      */
     readonly hidden: Signal<boolean>;
-    /**
-     * A signal indicating whether the field is currently disabled.
-     */
-    readonly disabled: Signal<boolean>;
-    /**
-     * A signal containing the reasons why the field is currently disabled.
-     */
     readonly disabledReasons: Signal<readonly DisabledReason[]>;
-    /**
-     * A signal indicating whether the field is currently readonly.
-     */
-    readonly readonly: Signal<boolean>;
-    /**
-     * A signal containing the current errors for the field.
-     */
     readonly errors: Signal<ValidationError[]>;
     /**
      * A signal containing the {@link errors} of the field and its descendants.
@@ -806,10 +756,6 @@ interface FieldState<TValue, TKey extends string | number = string | number> {
      * A signal indicating whether the field is currently in the process of being submitted.
      */
     readonly submitting: Signal<boolean>;
-    /**
-     * A signal of a unique name for the field, by default based on the name of its parent field.
-     */
-    readonly name: Signal<string>;
     /**
      * The property key in the parent field under which this field is stored. If the parent field is
      * array-valued, for example, this is the index of this field in that array.
@@ -833,14 +779,6 @@ interface FieldState<TValue, TKey extends string | number = string | number> {
      * Checks whether the given metadata key has been defined for this field.
      */
     hasProperty(key: Property<any> | AggregateProperty<any, any>): boolean;
-    /**
-     * Sets the touched status of the field to `true`.
-     */
-    markAsTouched(): void;
-    /**
-     * Sets the dirty status of the field to `true`.
-     */
-    markAsDirty(): void;
     /**
      * Resets the {@link touched} and {@link dirty} state of the field and its descendants.
      *
@@ -849,7 +787,7 @@ interface FieldState<TValue, TKey extends string | number = string | number> {
     reset(): void;
 }
 /**
- * An object that represents a location in the `Field` tree structure and is used to bind logic to a
+ * An object that represents a location in the `FieldTree` tree structure and is used to bind logic to a
  * particular part of the structure prior to the creation of the form. Because the `FieldPath`
  * exists prior to the form's creation, it cannot be used to access any of the field state.
  *
@@ -869,7 +807,7 @@ type FieldPath<TValue, TPathKind extends PathKind = PathKind.Root> = {
  * extracts the `undefined` outside the `FieldPath` type.
  *
  * For example `MaybeFieldPath<{a: number} | undefined, PathKind.Child>` would be equivalent to
- * `undefined | Field<{a: number}, PathKind.child>`.
+ * `undefined | FieldTree<{a: number}, PathKind.child>`.
  *
  * @template TValue The type of the data which the field is wrapped around.
  * @template TPathKind The kind of path (root field, child field, or item of an array)
@@ -973,13 +911,13 @@ interface RootFieldContext<TValue> {
     /** The state of the current field. */
     readonly state: FieldState<TValue>;
     /** The current field. */
-    readonly field: Field<TValue>;
+    readonly field: FieldTree<TValue>;
     /** Gets the value of the field represented by the given path. */
     readonly valueOf: <P>(p: FieldPath<P>) => P;
     /** Gets the state of the field represented by the given path. */
     readonly stateOf: <P>(p: FieldPath<P>) => FieldState<P>;
     /** Gets the field represented by the given path. */
-    readonly fieldOf: <P>(p: FieldPath<P>) => Field<P>;
+    readonly fieldOf: <P>(p: FieldPath<P>) => FieldTree<P>;
 }
 /**
  * Field context that is available for all fields that are a child of another field.
@@ -1216,14 +1154,14 @@ interface FormUiControl {
     readonly pattern?: InputSignal<readonly RegExp[]>;
 }
 /**
- * A contract for a form control that edits a `Field` of type `TValue`. Any component that
+ * A contract for a form control that edits a `FieldTree` of type `TValue`. Any component that
  * implements this contract can be used with the `Control` directive.
  *
  * Many of the properties declared on this contract are optional. They do not need to be
  * implemented, but if they are will be kept in sync with the field state of the field bound to the
  * `Control` directive.
  *
- * @template TValue The type of `Field` that the implementing component can edit.
+ * @template TValue The type of `FieldTree` that the implementing component can edit.
  *
  * @category control
  * @experimental 21.0.0
@@ -1232,7 +1170,7 @@ interface FormValueControl<TValue> extends FormUiControl {
     /**
      * The value is the only required property in this contract. A component that wants to integrate
      * with the `Control` directive via this contract, *must* provide a `model()` that will be kept in
-     * sync with the value of the bound `Field`.
+     * sync with the value of the bound `FieldTree`.
      */
     readonly value: ModelSignal<TValue>;
     /**
@@ -1242,7 +1180,7 @@ interface FormValueControl<TValue> extends FormUiControl {
     readonly checked?: undefined;
 }
 /**
- * A contract for a form control that edits a boolean checkbox `Field`. Any component that
+ * A contract for a form control that edits a boolean checkbox `FieldTree`. Any component that
  * implements this contract can be used with the `Control` directive.
  *
  * Many of the properties declared on this contract are optional. They do not need to be
@@ -1256,7 +1194,7 @@ interface FormCheckboxControl extends FormUiControl {
     /**
      * The checked is the only required property in this contract. A component that wants to integrate
      * with the `Control` directive, *must* provide a `model()` that will be kept in sync with the
-     * value of the bound `Field`.
+     * value of the bound `FieldTree`.
      */
     readonly checked: ModelSignal<boolean>;
     /**
@@ -1978,7 +1916,7 @@ declare class FieldNode implements FieldState<unknown> {
     /**
      * Proxy to this node which allows navigation of the form graph below it.
      */
-    readonly fieldProxy: Field<any>;
+    readonly fieldProxy: FieldTree<any>;
     constructor(options: FieldNodeOptions);
     get logicNode(): LogicNode;
     get value(): WritableSignal<unknown>;
@@ -1997,6 +1935,12 @@ declare class FieldNode implements FieldState<unknown> {
     get controls(): Signal<readonly Control<unknown>[]>;
     get submitting(): Signal<boolean>;
     get name(): Signal<string>;
+    get max(): Signal<number | undefined>;
+    get maxLength(): Signal<number | undefined>;
+    get min(): Signal<number | undefined>;
+    get minLength(): Signal<number | undefined>;
+    get pattern(): Signal<readonly RegExp[]>;
+    get required(): Signal<boolean>;
     property<M>(prop: AggregateProperty<M, any>): Signal<M>;
     property<M>(prop: Property<M>): M | undefined;
     hasProperty(prop: Property<unknown> | AggregateProperty<unknown, any>): boolean;
@@ -2263,8 +2207,8 @@ interface FormOptions {
     adapter?: FieldAdapter;
 }
 /**
- * Creates a form wrapped around the given model data. A form is represented as simply a `Field` of
- * the model data.
+ * Creates a form wrapped around the given model data. A form is represented as simply a `FieldTree`
+ * of the model data.
  *
  * `form` uses the given model as the source of truth and *does not* maintain its own copy of the
  * data. This means that updating the value on a `FieldState` updates the originally passed in model
@@ -2282,16 +2226,16 @@ interface FormOptions {
  * @param model A writable signal that contains the model data for the form. The resulting field
  * structure will match the shape of the model and any changes to the form data will be written to
  * the model.
- * @return A `Field` representing a form around the data model.
+ * @return A `FieldTree` representing a form around the data model.
  * @template TValue The type of the data model.
  *
  * @category structure
  * @experimental 21.0.0
  */
-declare function form<TValue>(model: WritableSignal<TValue>): Field<TValue>;
+declare function form<TValue>(model: WritableSignal<TValue>): FieldTree<TValue>;
 /**
- * Creates a form wrapped around the given model data. A form is represented as simply a `Field` of
- * the model data.
+ * Creates a form wrapped around the given model data. A form is represented as simply a `FieldTree`
+ * of the model data.
  *
  * `form` uses the given model as the source of truth and *does not* maintain its own copy of the
  * data. This means that updating the value on a `FieldState` updates the originally passed in model
@@ -2328,16 +2272,16 @@ declare function form<TValue>(model: WritableSignal<TValue>): Field<TValue>;
  *   1. A schema or a function used to specify logic for the form (e.g. validation, disabled fields, etc.).
  *      When passing a schema, the form options can be passed as a third argument if needed.
  *   2. The form options
- * @return A `Field` representing a form around the data model
+ * @return A `FieldTree` representing a form around the data model
  * @template TValue The type of the data model.
  *
  * @category structure
  * @experimental 21.0.0
  */
-declare function form<TValue>(model: WritableSignal<TValue>, schemaOrOptions: SchemaOrSchemaFn<TValue> | FormOptions): Field<TValue>;
+declare function form<TValue>(model: WritableSignal<TValue>, schemaOrOptions: SchemaOrSchemaFn<TValue> | FormOptions): FieldTree<TValue>;
 /**
- * Creates a form wrapped around the given model data. A form is represented as simply a `Field` of
- * the model data.
+ * Creates a form wrapped around the given model data. A form is represented as simply a `FieldTree`
+ * of the model data.
  *
  * `form` uses the given model as the source of truth and *does not* maintain its own copy of the
  * data. This means that updating the value on a `FieldState` updates the originally passed in model
@@ -2372,13 +2316,13 @@ declare function form<TValue>(model: WritableSignal<TValue>, schemaOrOptions: Sc
  * the model.
  * @param schema A schema or a function used to specify logic for the form (e.g. validation, disabled fields, etc.)
  * @param options The form options
- * @return A `Field` representing a form around the data model.
+ * @return A `FieldTree` representing a form around the data model.
  * @template TValue The type of the data model.
  *
  * @category structure
  * @experimental 21.0.0
  */
-declare function form<TValue>(model: WritableSignal<TValue>, schema: SchemaOrSchemaFn<TValue>, options: FormOptions): Field<TValue>;
+declare function form<TValue>(model: WritableSignal<TValue>, schema: SchemaOrSchemaFn<TValue>, options: FormOptions): FieldTree<TValue>;
 /**
  * Applies a schema to each item of an array.
  *
@@ -2393,8 +2337,8 @@ declare function form<TValue>(model: WritableSignal<TValue>, schema: SchemaOrSch
  * });
  * ```
  *
- * When binding logic to the array items, the `Field` for the array item is passed as an additional
- * argument. This can be used to reference other properties on the item.
+ * When binding logic to the array items, the `FieldTree` for the array item is passed as an
+ * additional argument. This can be used to reference other properties on the item.
  *
  * @example
  * ```
@@ -2480,14 +2424,14 @@ declare function applyWhenValue<TValue, TNarrowed extends TValue>(path: FieldPat
  */
 declare function applyWhenValue<TValue>(path: FieldPath<TValue>, predicate: (value: TValue) => boolean, schema: NoInfer<SchemaOrSchemaFn<TValue>>): void;
 /**
- * Submits a given `Field` using the given action function and applies any server errors resulting
- * from the action to the field. Server errors returned by the `action` will be integrated into the
- * field as a `ValidationError` on the sub-field indicated by the `field` property of the server
- * error.
+ * Submits a given `FieldTree` using the given action function and applies any server errors
+ * resulting from the action to the field. Server errors returned by the `action` will be integrated
+ * into the field as a `ValidationError` on the sub-field indicated by the `field` property of the
+ * server error.
  *
  * @example
  * ```
- * async function registerNewUser(registrationForm: Field<{username: string, password: string}>) {
+ * async function registerNewUser(registrationForm: FieldTree<{username: string, password: string}>) {
  *   const result = await myClient.registerNewUser(registrationForm().value());
  *   if (result.errorCode === myClient.ErrorCode.USERNAME_TAKEN) {
  *     return [{
@@ -2513,12 +2457,12 @@ declare function applyWhenValue<TValue>(path: FieldPath<TValue>, predicate: (val
  * @category submission
  * @experimental 21.0.0
  */
-declare function submit<TValue>(form: Field<TValue>, action: (form: Field<TValue>) => Promise<TreeValidationResult>): Promise<void>;
+declare function submit<TValue>(form: FieldTree<TValue>, action: (form: FieldTree<TValue>) => Promise<TreeValidationResult>): Promise<void>;
 /**
  * Creates a `Schema` that adds logic rules to a form.
  * @param fn A **non-reactive** function that sets up reactive logic rules for the form.
  * @returns A schema object that implements the given logic.
- * @template TValue The value type of a `Field` that this schema binds to.
+ * @template TValue The value type of a `FieldTree` that this schema binds to.
  *
  * @category structure
  * @experimental 21.0.0
@@ -2706,5 +2650,5 @@ type IgnoreUnknownProperties<T> = T extends Record<PropertyKey, unknown> ? {
  */
 declare function validateStandardSchema<TSchema, TValue extends IgnoreUnknownProperties<TSchema>>(path: FieldPath<TValue>, schema: StandardSchemaV1<TSchema>): void;
 
-export { AggregateProperty, Control, CustomValidationError, EmailValidationError, MAX, MAX_LENGTH, MIN, MIN_LENGTH, MaxLengthValidationError, MaxValidationError, MinLengthValidationError, MinValidationError, NgValidationError, PATTERN, PathKind, PatternValidationError, Property, REQUIRED, RequiredValidationError, StandardSchemaValidationError, aggregateProperty, andProperty, apply, applyEach, applyWhen, applyWhenValue, createProperty, customError, disabled, email, emailError, form, hidden, listProperty, max, maxError, maxLength, maxLengthError, maxProperty, min, minError, minLength, minLengthError, minProperty, orProperty, pattern, patternError, property, readonly, reducedProperty, required, requiredError, schema, standardSchemaError, submit, validate, validateAsync, validateHttp, validateStandardSchema, validateTree };
-export type { AsyncValidationResult, AsyncValidatorOptions, ChildFieldContext, DisabledReason, Field, FieldContext, FieldPath, FieldState, FieldValidationResult, FieldValidator, FormCheckboxControl, FormOptions, FormUiControl, FormValueControl, HttpValidatorOptions, IgnoreUnknownProperties, ItemFieldContext, LogicFn, MapToErrorsFn, MaybeField, MaybeFieldPath, Mutable, OneOrMany, ReadonlyArrayLike, RemoveStringIndexUnknownKey, RootFieldContext, Schema, SchemaFn, SchemaOrSchemaFn, Subfields, SubmittedStatus, TreeValidationResult, TreeValidator, ValidationError, ValidationResult, ValidationSuccess, Validator, WithField, WithOptionalField, WithoutField };
+export { AggregateProperty, CONTROL, Control, CustomValidationError, EmailValidationError, MAX, MAX_LENGTH, MIN, MIN_LENGTH, MaxLengthValidationError, MaxValidationError, MinLengthValidationError, MinValidationError, NgValidationError, PATTERN, PathKind, PatternValidationError, Property, REQUIRED, RequiredValidationError, StandardSchemaValidationError, aggregateProperty, andProperty, apply, applyEach, applyWhen, applyWhenValue, createProperty, customError, disabled, email, emailError, form, hidden, listProperty, max, maxError, maxLength, maxLengthError, maxProperty, min, minError, minLength, minLengthError, minProperty, orProperty, pattern, patternError, property, readonly, reducedProperty, required, requiredError, schema, standardSchemaError, submit, validate, validateAsync, validateHttp, validateStandardSchema, validateTree };
+export type { AsyncValidationResult, AsyncValidatorOptions, ChildFieldContext, DisabledReason, FieldContext, FieldPath, FieldState, FieldTree, FieldValidationResult, FieldValidator, FormCheckboxControl, FormOptions, FormUiControl, FormValueControl, HttpValidatorOptions, IgnoreUnknownProperties, ItemFieldContext, LogicFn, MapToErrorsFn, MaybeFieldPath, MaybeFieldTree, Mutable, OneOrMany, ReadonlyArrayLike, RemoveStringIndexUnknownKey, RootFieldContext, Schema, SchemaFn, SchemaOrSchemaFn, Subfields, SubmittedStatus, TreeValidationResult, TreeValidator, ValidationError, ValidationResult, ValidationSuccess, Validator, WithField, WithOptionalField, WithoutField };