@reformer/core 11.0.0-beta.8 → 11.0.0-beta.9

package/dist/form/types/schema-node.d.ts

@@ -1,8 +1,22 @@
-import { ElementType } from 'react';
 import { Signal } from '../../signals';
 /**
- * Минимальный контракт реактивного массива модели ({@link FormSchemaNode.array}).
- * Совпадает по форме с рантайм-фасадом `model.<array>` (см. `ModelArray`); рендерерский
+ * Ссылка на компонент узла схемы: то, что слой представления умеет нарисовать. Для React это
+ * компонент (функция либо объект `forwardRef`/`memo`) или имя HTML-тега (`'div'`, `'h3'`).
+ *
+ * Ядро ссылку не интерпретирует и о слое представления не знает: она доезжает до рендерера как
+ * есть, а к типу своего UI-слоя её приводит уже он.
+ *
+ * @example
+ * ```ts
+ * const byComponent: ComponentRef = Input; // React-компонент
+ * const byTag: ComponentRef = 'section'; // HTML-тег
+ * ```
+ *
+ * @group Types
+ */
+export type ComponentRef = string | object;
+/**
+ * Контракт реактивного массива модели — фасада `model.<массив>`. Рендерерский
  * `RenderModelArrayControl` — его расширение (добавляет `move`).
  *
  * @group Types
@@ -17,80 +31,95 @@ export interface SchemaArrayControl {
     removeAt(index: number): void;
 }
 /**
- * Узел единой схемы M1 — layout-дерево, обходимое `createFormFromModel({ model, schema })`
- * и рендерерами (schema-валидация живёт отдельно — `@reformer/core/validation`).
+ * Ручка значения из дерева `model.$`: лист (`model.$.email`) или массив целиком
+ * (`model.$.tags`). Группа ручкой значения не является — у неё нет пути.
  *
- * Узел совмещает несколько ролей (различаются рантаймом по форме):
- *  - **поле** — `{ model: model.$.x, component, componentProps }`;
- *  - **массив под-форм** — `{ model: model.$.items, item: (model) => узел }`;
- *  - **подформа** — `{ model: model.$.group, part: (model) => узел }`;
- *  - **контейнер/ветка** — вложенные узлы (`children`), опц. условие `when`;
- *  - **record-of-fields** — под-узлы под произвольными именованными ключами (индексная сигнатура).
+ * @group Types
+ */
+export type SchemaValueHandle = Signal<any> & {
+    readonly __path: string;
+};
+/**
+ * Ручка массива из дерева `model.$` (`model.$.phones`) — ручка значения с длиной.
  *
- * Индексная сигнатура (`[key: string]: unknown`) отражает свободный рекурсивный обход: под-узлы
- * допустимы под любым ключом. Известные поля типизированы (даёт автокомплит и проверку их типов).
+ * @group Types
+ */
+export type SchemaArrayHandle = SchemaValueHandle & {
+    readonly length: number;
+};
+/**
+ * Ручка группы из дерева `model.$` (`model.$.address`).
  *
  * @group Types
  */
-export interface FormSchemaNode {
-    /**
-     * Привязка узла к части модели — ручка из дерева `model.$`. Чем узел является, решают ручка и
-     * соседние ключи:
-     *  - лист или массив (`model.$.email`, `model.$.tags`) — **поле**;
-     *  - массив вместе с {@link FormSchemaNode.item} — **массив под-форм**;
-     *  - группа вместе с {@link FormSchemaNode.part} — **подформа**.
-     *
-     * Узел распознаётся по значению, а не по имени ключа: в записи «имя поля → узел» поле данных
-     * может называться `model`, и тогда под этим ключом лежит обычный вложенный узел.
-     */
-    model?: unknown;
+export interface SchemaGroupHandle {
+    peek(): object | null | undefined;
+    /** Признак «не ручка значения»: у листа и массива путь есть, у группы — нет. */
+    readonly __path?: never;
+}
+/** Ключи, общие для узла любого вида. */
+interface SchemaNodeBase {
     /**
-     * Прежняя запись привязки поля — то же, что {@link FormSchemaNode.model}.
-     *
-     * @deprecated Пишите `model: model.$.<path>`.
+     * UI-компонент либо нативный HTML-тег (`'div'`, `'p'`, `'h3'`) для презентационной вёрстки
+     * прямо в схеме. Опционален: ядро работает без UI и `component` не интерпретирует — он доезжает
+     * до рендерера как есть.
      */
-    value?: unknown;
+    component?: ComponentRef;
     /**
-     * UI-компонент либо нативный HTML-тег (`'div'`, `'p'`, `'h3'`) для презентационной вёрстки
-     * прямо в схеме. Опционален: core-часть работает без UI (значение/валидация) и `component`
-     * не интерпретирует — он доезжает до рендерера как есть.
+     * Пропсы компонента. Вложенных узлов здесь нет: обход схемы в пропсы не заглядывает, дети узла
+     * пишутся в `children`.
      */
-    component?: ElementType;
-    /** Props компонента. Также «клапан» для вложенности под-узлов (напр. steps визарда). */
     componentProps?: Record<string, unknown>;
-    updateOn?: 'change' | 'blur' | 'submit';
-    disabled?: boolean;
-    /** Задержка (мс) перед запуском асинхронной валидации. */
-    debounce?: number;
-    /** Идентификатор узла (для wizard/tabs/renderBehavior). */
+    /** Идентификатор узла: по нему узел адресуют поведение (`schema.node(...)`) и шаги визарда. */
     selector?: string;
     /**
-     * ⚠️ Рантайм этого поля НЕ ЧИТАЕТ — `renderer-react` берёт testId из `componentProps.testId`
-     * (иначе выводит из пути сигнала). Поле оставлено только потому, что `RenderSchemaNode`
-     * рендерера объявляет свой одноимённый; пишите `componentProps: { testId: '…' }`.
-     */
-    testId?: string;
-    /**
-     * Содержимое узла: под-узлы (даёт контекстную типизацию вложенным литералам — value/validators/when)
-     * и текстовые части. Текст (литерал, число, сигнал модели) — такой же ребёнок, как узел: core его
-     * не интерпретирует (обход пропускает примитивы и не спускается внутрь сигнала), а рендерер
-     * выводит на своём месте в порядке следования.
-     */
-    children?: readonly (FormSchemaNode | string | number | Signal<any>)[];
-    /**
-     * Прежняя запись привязки массива под-форм — фасад `model.<path>` (вместе с `item`).
+     * Прежний ключ привязки поля — его нет: пишите `model: model.$.<поле>`.
      *
-     * @deprecated Пишите `model: model.$.<path>`.
+     * Запрет объявлен явно: в `children` узел стоит в объединении с реактивным текстом
+     * (`Signal`, у которого есть `value`), и без него прежний ключ проходил проверку лишних ключей.
      */
-    array?: SchemaArrayControl;
-    /** Схема элемента массива: под-модель элемента → узел поддерева. */
-    item?: (model: any) => FormSchemaNode;
+    value?: never;
+    /** Прежний ключ привязки массива — его нет: пишите `model: model.$.<массив>` вместе с `item`. */
+    array?: never;
+}
+/**
+ * Поле: узел, привязанный к ручке значения — листу или массиву целиком (мультивыбор, теги, файлы).
+ *
+ * @example
+ * ```ts
+ * { model: model.$.email, component: Input, componentProps: { label: 'Email' } }
+ * ```
+ *
+ * @group Types
+ */
+export interface SchemaFieldNode extends SchemaNodeBase {
+    /** Привязка поля — ручка значения `model.$.<лист | массив>`. */
+    model: SchemaValueHandle;
     /**
-     * Подформа: под-модель группы → узел поддерева. Часть объявляется один раз и подключается к
-     * любой группе той же формы данных: `{ model: model.$.registrationAddress, part: address }`.
-     * Привязки внутри части идут через `$` полученной под-модели.
+     * Поле создаётся отключённым — и остаётся: это постоянная блокировка (вычисляемые `total`,
+     * `fullName`). `enable()` группы, массива или формы её не снимает; снимает только явный
+     * `enable()` самого поля либо оператор `enableWhen` на нём.
      */
-    part?: (model: any) => FormSchemaNode;
+    disabled?: boolean;
+    item?: never;
+    part?: never;
+    children?: never;
+}
+/**
+ * Массив под-форм: у каждой строки своя форма, разметку строки строит `item`.
+ *
+ * @example
+ * ```ts
+ * { model: model.$.phones, component: FieldArray, item: (row) => ({ children: [...] }) }
+ * ```
+ *
+ * @group Types
+ */
+export interface SchemaArrayNode extends SchemaNodeBase {
+    /** Привязка — ручка массива `model.$.<массив>`. */
+    model: SchemaArrayHandle;
+    /** Схема строки: под-модель строки → узел поддерева. */
+    item: (model: any) => FormSchemaNode;
     /**
      * Шаблон нового элемента массива для кнопки «Добавить»: либо готовое значение, либо фабрика
      * `() => value`. Запасной путь — для форм, чья модель создаётся из данных без кода: шаблон,
@@ -100,6 +129,53 @@ export interface FormSchemaNode {
      * рантайм различает по `typeof initialValue === 'function'`.
      */
     initialValue?: unknown;
-    /** Свободная вложенность: record-of-fields и произвольные под-узлы. */
-    [key: string]: unknown;
+    part?: never;
+    children?: never;
+}
+/**
+ * Подформа: часть схемы, подключённая к группе модели. Часть объявляется один раз и подключается
+ * к любой группе той же формы данных; привязки внутри части идут через `$` полученной под-модели.
+ *
+ * @example
+ * ```ts
+ * { model: model.$.registrationAddress, part: address }
+ * ```
+ *
+ * @group Types
+ */
+export interface SchemaPartNode extends SchemaNodeBase {
+    /** Привязка — ручка группы `model.$.<группа>`. */
+    model: SchemaGroupHandle;
+    /** Часть схемы: под-модель группы → узел поддерева. */
+    part: (model: any) => FormSchemaNode;
+    item?: never;
+    children?: never;
+}
+/** Ребёнок контейнера: вложенный узел либо текстовая часть — литерал, число, сигнал модели. */
+export type SchemaChild = FormSchemaNode | string | number | Signal<any>;
+/**
+ * Контейнер: узел с детьми (секция, шаг визарда, html-тег). Текст — такой же ребёнок, как узел:
+ * ядро его не интерпретирует, а рендерер выводит на своём месте в порядке следования.
+ *
+ * @example
+ * ```ts
+ * { component: Section, componentProps: { title: 'Контакты' }, children: [phoneField, emailField] }
+ * ```
+ *
+ * @group Types
+ */
+export interface SchemaContainerNode extends SchemaNodeBase {
+    children?: readonly SchemaChild[];
+    model?: never;
+    item?: never;
+    part?: never;
 }
+/**
+ * Узел схемы формы: поле, массив под-форм, подформа или контейнер — см. описание модуля.
+ *
+ * Тип закрыт: опечатка в ключе, группа без `part` и `item` не на массиве — ошибки компиляции.
+ *
+ * @group Types
+ */
+export type FormSchemaNode = SchemaFieldNode | SchemaArrayNode | SchemaPartNode | SchemaContainerNode;
+export {};

package/dist/form/types/validation-schema.d.ts

@@ -1,36 +1,32 @@
-import { FormValue, ValidationError } from './index';
-import { FormModel } from '../../model/types';
 /**
- * Чистый синхронный валидатор поля (legacy-сигнатура `(value, scope, root)`).
+ * Типы фабрик валидаторов (`@reformer/core/validators`).
  *
- * @deprecated Осиротевший остаток удалённого дерево-движка (`validateFormModel`). Живой контракт —
- * `Rule<T> = (value) => ValidationError | null` из `@reformer/core/validation`: правила
- * передаются в `validate(sig, [rules])` внутри `defineValidationSchema` и запускаются
- * `validateModel(model, schema)`. Cross-field — оператор `cross(sig, (f) => …)` над снапшотом
- * `model.get()` (третий аргумент `root` больше не нужен). Тип экспортируется только ради
- * обратной совместимости (`SchemaValidator`-union).
+ * Контракт валидации — `@reformer/core/validation`: `defineValidation` + операторы
+ * (`validate`/`validateAsync`/`validateWhen`/`cross`/`apply`/`applyEach`) и раннер
+ * `validateModel(model, definition)`; правила там — `Rule<T> = (value) => issue | null`.
  */
-export type Validator<TForm, TField> = (value: TField, scope: unknown, root: FormModel<TForm>) => ValidationError | null;
 /**
  * Опции валидатора-фабрики (`required()`/`pattern()`/…). Передаются вторым (или последним)
- * аргументом в фабрику и попадают в возвращаемую {@link ValidationError}.
+ * аргументом в фабрику и попадают в возвращаемое {@link ValidationIssue}.
+ *
+ * Текста среди опций нет: правило сообщает только код и параметры, а строку по коду даёт слой
+ * представления (`resolveIssueMessage` из `@reformer/core/i18n`). Нужен свой текст для
+ * конкретного поля — дайте правилу свой код и запись в словаре формы.
+ *
+ * @example
+ * ```ts
+ * // правило
+ * required({ code: 'loanAmount.required' });
+ * // словарь формы (`defineIssueMessages`)
+ * const messages = defineIssueMessages({ 'loanAmount.required': 'Укажите сумму кредита' });
+ * ```
  */
-export interface ValidateOptions {
-    /** Готовое сообщение об ошибке. Если не задано, валидаторы кладут `''`, и отображаемый текст
-     * берётся из словаря локали по `code` (`validation.<code>`; см. `resolveValidationError` в
-     * `@reformer/core/i18n`). Явное сообщение важнее словаря, но не переключается вместе с языком —
-     * для локализуемого текста используйте {@link ValidateOptions.messageKey}. */
-    message?: string;
+export interface RuleOptions {
     /**
-     * Ключ сообщения в словаре приложения — локализуемый текст автора правила. Если ключ есть в
-     * активной локали, он важнее и `message`, и текста по `code`; если нет — в ход идёт `message`.
-     *
-     * @example
-     * ```ts
-     * required({ messageKey: 'profile.name.required', message: 'Name is required' });
-     * ```
+     * Свой код вместо встроенного. По нему текст ищется сначала в словаре формы, затем в локали
+     * (`validation.<code>`); принято именовать `<поле>.<правило>`.
      */
-    messageKey?: string;
-    /** Параметры ошибки (подстановка в шаблон сообщения / i18n). */
-    params?: Record<string, FormValue>;
+    code?: string;
+    /** Дополнительные параметры замечания: подставляются в текст поверх параметров правила. */
+    params?: Readonly<Record<string, unknown>>;
 }

package/dist/form/validation/context.d.ts

@@ -1,4 +1,6 @@
-import { FormModel, PathAwareSignal, ValidationError } from '../../index';
+import { FormModel, PathAwareSignal } from '../../model/types';
+import { ValidationIssue } from '../types/contracts';
+import { ValidationFailure } from './types';
 /** Сток одного прогона: модель scope, накопленные ошибки, незавершённые async-правила, гейты. */
 export interface VContext {
     /**
@@ -6,16 +8,39 @@ export interface VContext {
      * это вся модель; внутри `apply(ручка, схема)` / `applyEach` — под-модель группы или строки.
      */
     model: FormModel<unknown>;
-    /** Корень прогона — модель, с которой вызван раннер. Правило получает его третьим аргументом. */
-    root: FormModel<unknown>;
-    /** Накопленные ошибки по сигналу (ключ — идентичность `PathAwareSignal`). */
-    errors: Map<PathAwareSignal<unknown>, ValidationError[]>;
+    /**
+     * Накопленные ошибки по сигналу (ключ — идентичность `PathAwareSignal`). Здесь и поля выключенной
+     * ветки `validateWhen` — с пустым списком: при разносе их прежние ошибки гасятся.
+     */
+    issues: Map<PathAwareSignal<unknown>, ValidationIssue[]>;
+    /**
+     * Поля, правила которых в этом прогоне действительно выполнялись — ветка активна. Только их разнос
+     * с `touch` помечает тронутыми: поле выключенной ветки пользователь не видел.
+     */
+    checked: Set<PathAwareSignal<unknown>>;
     /** Незавершённые async-правила (раннер их дожидается). */
     pending: Promise<void>[];
+    /** Поля с async-правилами: на время ожидания раннер держит их ноды в `pending`. */
+    asyncFields: Set<PathAwareSignal<unknown>>;
+    /**
+     * Правила, которые не вернули результат. Список — один на весь прогон: области `apply` /
+     * `applyEach` получают поверхностную копию контекста и пишут в ту же ссылку.
+     */
+    failures: ValidationFailure[];
     /** Стек активных условий `validateWhen` (все должны быть истинны, чтобы правило сработало). */
     whenStack: Array<() => boolean>;
     /** Отмена устаревшего прогона: прокидывается в async-правила, гасит роутинг после await. */
     signal: AbortSignal;
+    /**
+     * Определение, правила которого исполняются сейчас: корень прогона либо схема, подключённая
+     * `apply` / `applyEach`. Замечание помечается им: так разнос отличает замечания одного
+     * определения, полученные разными прогонами (шаг и вся форма), от замечаний чужого.
+     */
+    origin: object;
+    /** Замечания по полю и определению-источнику. Одна ссылка на весь прогон, как `failures`. */
+    origins: Map<PathAwareSignal<unknown>, Map<object, ValidationIssue[]>>;
+    /** Определения, исполненные в прогоне: за их замечания на проверенных полях прогон отвечает. */
+    executed: Set<object>;
 }
 /**
  * Открыть ambient-окно на время `fn` и закрыть его в `finally`.
@@ -26,7 +51,17 @@ export interface VContext {
 export declare function runWithContext<R>(ctx: VContext, fn: () => R): R;
 /** Контекст активного прогона либо понятная ошибка, если оператор вызван вне схемы. */
 export declare function requireCtx(op: string): VContext;
-/** «Тронуть» сигнал: гарантирует его наличие в `errors` (даже пустым) → он попадёт в очистку. */
-export declare function touch(ctx: VContext, sig: PathAwareSignal<unknown>): ValidationError[];
+/**
+ * «Тронуть» сигнал: гарантирует его наличие в замечаниях прогона (даже пустым) → он попадёт в
+ * очистку. Возвращает список текущего определения ({@link VContext.origin}): в него и пишут правила.
+ */
+export declare function touch(ctx: VContext, sig: PathAwareSignal<unknown>): ValidationIssue[];
+/** Исполнить определение: его замечания помечаются им же. */
+export declare function withOrigin(ctx: VContext, origin: object, fn: () => void): void;
 /** Активна ли текущая ветка (все `validateWhen`-условия истинны). */
 export declare const gated: (ctx: VContext) => boolean;
+/**
+ * Правила поля выполняются: ветка активна. Поле запоминается проверенным ({@link VContext.checked}).
+ * Без активной ветки — `false`, и поле остаётся только в `issues` для гашения.
+ */
+export declare function checking(ctx: VContext, sig: PathAwareSignal<unknown>): boolean;

package/dist/form/validation/index.d.ts

@@ -1,11 +1,12 @@
 /**
  * Декларативный контракт СХЕМЫ ВАЛИДАЦИИ — `@reformer/core/validation`.
  *
- * Схема валидации — обычная функция `(ctx: { model }) => void`. Внутри вызываются свободные операторы
- * (`validate`/`validateAsync`/`validateWhen`/`cross`/`each`/`apply`), которые САМИ пишут ошибки в ambient-сток
- * текущего прогона — автор не видит ни коллектора, ни `getNodeForSignal`, ни `.push`. Внешний раннер
- * {@link validateModel} открывает ambient-окно на время СИНХРОННОГО прогона схемы, дожидается async-правил
- * и разносит ошибки по нодам формы (`getNodeForSignal(sig).setErrors(...)`), гася поля, ставшие валидными.
+ * Схема валидации — обычная функция `({ model, cross }) => void`. Внутри вызываются свободные операторы
+ * (`validate`/`validateAsync`/`validateWhen`/`apply`/`applyEach`) и `cross` области, которые САМИ пишут ошибки в
+ * ambient-сток текущего прогона — автор не видит ни коллектора, ни `getNodeForSignal`, ни `.push`.
+ * Раннер открывает ambient-окно на время СИНХРОННОГО прогона схемы и дожидается async-правил
+ * ({@link runValidation} — сбор результата), затем разносит ошибки по нодам формы, гася поля, ставшие
+ * валидными ({@link applyValidationResult}); {@link validateModel} делает оба шага и отвечает `boolean`.
  *
  * Зеркалит контракт поведения (`@reformer/core/behaviors`): тот же ambient-стиль, но отдельный слой —
  * валидация НЕ реактивна (прогон по требованию: submit/шаг), поведение — реактивно (живые подписки).
@@ -17,7 +18,7 @@
  * @group Validation
  * @module form/validation
  */
-export type { Rule, AsyncRule, ValidationSchema } from './types';
-export { validate, validateAsync, validateWhen, cross, each, apply, applyEach } from './operators';
-export { defineValidationSchema, validateModel } from './run';
+export type { Rule, AsyncRule, ValidationDefinition, ValidationScope, ValidationStatus, ValidationFailure, ValidationResult, } from './types';
+export { validate, validateAsync, validateWhen, apply, applyEach } from './operators';
+export { defineValidation, runValidation, applyValidationResult, validateModel } from './run';
 export * from './strategy';

package/dist/form/validation/operators.d.ts

@@ -1,5 +1,5 @@
-import { FormModel, ModelArray, PathAwareSignal, ValidationError } from '../../index';
-import { AsyncRule, Rule, ValidationSchema } from './types';
+import { FormModel, ModelArray, PathAwareSignal } from '../../model/types';
+import { AsyncRule, Rule, ValidationDefinition, ValidationScope } from './types';
 /**
  * Синхронные правила поля.
  *
@@ -8,38 +8,39 @@ import { AsyncRule, Rule, ValidationSchema } from './types';
  *
  * @example
  * ```ts
- * validate(model.$.loanAmount, [required({ message: 'Сумма' }), min(50000)]);
+ * validate(model.$.loanAmount, [required({ code: 'loanAmount.required' }), min(50000)]);
  * validate(model.$.tags, [required(), maxLength(3)]); // tags: string[] — массив как значение
  * ```
  */
 export declare function validate<TField>(sig: PathAwareSignal<TField>, rules: Rule<TField>[]): void;
 /**
- * Асинхронные правила поля (зеркалит движковое разделение `validators` / `asyncValidators`).
- * Раннер дожидается их и прокидывает `AbortSignal` для отмены устаревших ответов.
+ * Асинхронные правила поля. Раннер дожидается их и прокидывает `AbortSignal` для отмены
+ * устаревших ответов.
+ *
+ * Отклонённое правило (сеть, исключение) — сбой проверки: он попадает в `failures` результата
+ * прогона, статус прогона становится `error`, а на поле ложится блокирующая ошибка `ruleFailed`
+ * (текст — из словаря локали). Отмена устаревшего прогона сбоем не считается.
  *
  * @example
  * ```ts
  * validateAsync(model.$.username, [async (v, { signal }) => {
  *   const r = await fetch(`/api/free?u=${v}`, { signal });
- *   return (await r.json()).free ? null : { code: 'taken', message: 'Занято' };
+ *   return (await r.json()).free ? null : { code: 'taken' };
  * }]);
  * ```
  */
 export declare function validateAsync<TField>(sig: PathAwareSignal<TField>, rules: AsyncRule<TField>[]): void;
 /**
  * Условная валидация: правила внутри `cb` активны, только пока `cond()` истинно; иначе их поля
- * ГАСЯТСЯ (пустой bucket → `setErrors([])`). Не трогает включение/сброс поля — это дело поведения (`enableWhen`).
+ * ГАСЯТСЯ (пустой bucket → `setIssues([])`). Не трогает включение/сброс поля — это дело поведения (`enableWhen`).
  */
 export declare function validateWhen(cond: () => boolean, cb: () => void): void;
 /**
- * Cross-field правило: `fn` получает СНАПШОТ модели текущей области (`model.get()`) и вешает
- * ошибку на `sig`.
+ * Область схемы над моделью: сама модель и `cross`, снимок которого — эта модель.
  *
- * Область — та модель, с которой запущена схема: в корне прогона это вся форма, а в схеме,
- * подключённой через {@link apply} / {@link applyEach}, — под-модель группы или строки массива.
- * Поэтому правила подформы пишутся один раз и не знают, где она стоит.
+ * @internal
  */
-export declare function cross<TSnapshot>(sig: PathAwareSignal<unknown>, fn: (form: TSnapshot) => ValidationError | null): void;
+export declare function scopeOf<T>(model: FormModel<T>): ValidationScope<T>;
 /** Привязка к группе: ручка `model.$.<группа>` (тип значения — из её `peek()`). */
 interface GroupBinding<V> {
     peek(): V;
@@ -50,16 +51,16 @@ interface ArrayBinding<U> {
 }
 /**
  * Применить схему к КАЖДОМУ элементу массива под-форм. Схема элемента — обычная
- * `ValidationSchema` над типом элемента: тот же набор правил подключается и к группе через
+ * `ValidationDefinition` над типом элемента: тот же набор правил подключается и к группе через
  * {@link apply}.
  *
  * У каждого элемента своя область: `cross` внутри схемы получает снапшот элемента.
  *
  * @example
  * ```ts
- * const propertyRules = defineValidationSchema<Property>(({ model }) => {
+ * const propertyRules = defineValidation<Property>(({ model, cross }) => {
  *   validate(model.$.type, [required()]);
- *   cross<Property>(model.$.estimatedValue, (property) =>
+ *   cross(model.$.estimatedValue, (property) =>
  *     property.hasEncumbrance && property.estimatedValue < 100_000 ? tooCheap : null
  *   );
  * });
@@ -67,16 +68,7 @@ interface ArrayBinding<U> {
  * applyEach(model.$.properties, propertyRules);
  * ```
  */
-export declare function applyEach<U extends object>(array: ArrayBinding<U> | ModelArray<U>, schema: ValidationSchema<U>): void;
-/**
- * Применить под-правила к КАЖДОМУ элементу массива — прежняя запись {@link applyEach}.
- *
- * Колбэк получает под-модель элемента, но области не создаёт: `cross` внутри него видит снапшот
- * корня прогона.
- *
- * @deprecated Пишите `applyEach(model.$.<массив>, schema)`.
- */
-export declare function each<U extends object>(arr: ArrayBinding<U> | ModelArray<U>, itemFn: (item: FormModel<U>) => void): void;
+export declare function applyEach<U extends object>(array: ArrayBinding<U> | ModelArray<U>, schema: ValidationDefinition<U>): void;
 /**
  * Подключить схему подформы к группе модели — одной или нескольким.
  *
@@ -85,7 +77,7 @@ export declare function each<U extends object>(arr: ArrayBinding<U> | ModelArray
  *
  * @example
  * ```ts
- * const addressRules = defineValidationSchema<Address>(({ model }) => {
+ * const addressRules = defineValidation<Address>(({ model }) => {
  *   validate(model.$.city, [required()]);
  * });
  *
@@ -96,14 +88,14 @@ export declare function each<U extends object>(arr: ArrayBinding<U> | ModelArray
  * );
  * ```
  */
-export declare function apply<V extends object | null | undefined>(group: GroupBinding<V> | GroupBinding<V>[], schema: ValidationSchema<NonNullable<V>>): void;
+export declare function apply<V extends object | null | undefined>(group: GroupBinding<V> | GroupBinding<V>[], schema: ValidationDefinition<NonNullable<V>>): void;
 /**
  * Композиция схем над ТОЙ ЖЕ моделью области — так форма собирается из схем шагов.
  *
  * @example
  * ```ts
- * const formRules = defineValidationSchema<Form>(() => apply(loanRules, contactsRules));
+ * const formRules = defineValidation<Form>(() => apply(loanRules, contactsRules));
  * ```
  */
-export declare function apply<T>(...schemas: ValidationSchema<T>[]): void;
+export declare function apply<T>(...schemas: ValidationDefinition<T>[]): void;
 export {};