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

package/dist/form/create-form.d.ts

@@ -1,9 +1,12 @@
-import { FormProxy, GroupNodeConfig, FormSchema } from './types/index';
+import { CompiledSchema } from './schema/compiled';
+import { FormGroup } from './types/index';
 import { FormSchemaNode } from './types/schema-node';
 import { FormModel } from '../model/types';
 import { FormBehavior } from './behaviors';
+import { SchemaController } from './schema-controller';
+import { FormFlow } from './flow/flow';
 /**
- * Аргументы createForm под архитектуру M1: данные приходят из {@link FormModel},
+ * Аргументы сборки формы из модели: данные приходят из {@link FormModel},
  * конфиг полей (component/componentProps) — из единой схемы.
  *
  * @group Utilities
@@ -12,33 +15,43 @@ export interface CreateFormFromModelArgs<T> {
     /** Реактивная модель данных (источник истины значений). */
     model: FormModel<T>;
     /**
-     * Единая Schema (дерево узлов {@link FormSchemaNode}). createForm обходит её и привязывает конфиг
-     * поля к ноде по идентичности сигнала (`node.value === model.$.path`). Опциональна.
+     * Схема — дерево узлов {@link FormSchemaNode}. Сборка обходит её и привязывает конфиг поля к
+     * ноде по идентичности ручки (`node.model === model.$.<path>`). Опциональна.
      */
     schema?: FormSchemaNode;
     /**
      * Декларативная схема поведения ({@link defineFormBehavior}). Запускается ПОСЛЕ построения нод и
-     * заполнения реестра сигнал→нода; cleanup живёт на форме и вызывается в `form.dispose()`.
+     * заполнения реестра сигнал→нода; cleanup живёт на форме и снимается вместе с ней.
      */
     behavior?: FormBehavior<T>;
+    /**
+     * Схема-контроллер сборки: через него поведение получает `schema` своей области. Его передаёт
+     * сборка одним вызовом, чтобы правила узлов (`hideWhen`, `onComponentEvent`) дошли до рендерера.
+     * Без него поведение пишет правила в собственный контроллер, который никто не читает.
+     */
+    schemaController?: SchemaController;
+    /** Поток шагов сборки: его получает поведение (`defineFormBehavior(({ flow }) => …)`). */
+    flow?: FormFlow;
 }
 /**
- * Собрать форму из {@link FormModel} и единой схемы (низкоуровневая фабрика архитектуры M1).
+ * Собрать форму из {@link FormModel} и единой схемы (низкоуровневая фабрика).
  *
  * Значения принадлежат модели (источник истины), ноды формы держат UI/валидационное состояние и
- * ссылаются на сигналы модели по идентичности (`node.value === model.$.path`). Обходит структуру
- * модели, привязывает конфиг поля (component/componentProps) из схемы, материализует
- * top-level массивы как {@link ModelArrayNode}, заполняет реестр сигнал→нода (для `enableWhen`/
- * роутинга ошибок) и, при наличии, запускает декларативное поведение (cleanup живёт на форме).
+ * ссылаются на сигналы модели по идентичности. Обходит структуру модели и строит ноды по виду её
+ * узлов, привязывает конфиг поля (component/componentProps) из схемы, материализует массивы
+ * под-форм ({@link FormArray}, на любой глубине), заполняет реестр ручка→нода (для
+ * `enableWhen`, `apply`/`applyEach` и роутинга ошибок) и, при наличии, запускает декларативное
+ * поведение (cleanup живёт на форме).
  *
- * Обычно вызывается неявно через {@link createForm} с аргументом `{ model, schema }` — прямой вызов
- * нужен редко (например, для построения формы элемента массива).
+ * Обычно вызывается сборкой одним вызовом (`createForm`): она строит дерево схемы, зовёт эту
+ * фабрику и собирает валидацию. Прямой вызов нужен там, где бандл не нужен, — форма элемента
+ * массива, тесты, свой слой сборки.
  *
  * @typeParam T - Тип модели данных формы
  * @param args - Модель, единая схема и (опционально) декларативное поведение {@link CreateFormFromModelArgs}
- * @returns Типизированная форма с Proxy-доступом к полям {@link FormProxy}
+ * @returns Группа формы {@link FormGroup} с нодами полей по именам
  *
- * @example Форма из модели + схемы (эквивалент `createForm({ model, schema })`)
+ * @example Форма из модели и схемы
  * ```typescript
  * import { createModel, createFormFromModel } from '@reformer/core';
  *
@@ -51,10 +64,10 @@ export interface CreateFormFromModelArgs<T> {
  * const schema = {
  *   component: Section,
  *   children: [
- *     // Layout несёт только component/componentProps; правила — в отдельной ValidationSchema.
- *     { value: model.$.email, component: Input },
+ *     // Layout несёт только component/componentProps; правила — в отдельной ValidationDefinition.
+ *     { model: model.$.email, component: Input },
  *     // вложенная группа: `model.$.profile.name` (≡ под-модель `model.profile.$.name` — тот же сигнал)
- *     { value: model.$.profile.name, component: Input },
+ *     { model: model.$.profile.name, component: Input },
  *   ],
  * };
  *
@@ -65,69 +78,43 @@ export interface CreateFormFromModelArgs<T> {
  * console.log(model.email); // 'user@mail.com'
  * ```
  *
- * @see {@link createForm} - основная фабрика (диспетчеризует сюда при аргументе `{ model, schema }`)
+ * @see `createForm` — сборка одним вызовом: модель, форма, валидация и дерево для рендера
  * @group Utilities
  */
-export declare function createFormFromModel<T>(args: CreateFormFromModelArgs<T>): FormProxy<T>;
+export declare function createFormFromModel<T>(args: CreateFormFromModelArgs<T>): FormGroup<T>;
 /**
- * Создать форму из {@link FormModel} + единой схемы (архитектура M1, рекомендуемый путь).
+ * Снять форму, собранную {@link createFormFromModel}: поведение формы и подписки нод (массивы
+ * под-форм следят за моделью). Значения модели остаются. Идемпотентно.
  *
- * @group Utilities
+ * Сборку одним вызовом снимают целиком — `bundle.dispose()`: вместе с формой она снимает живую
+ * проверку и отменяет идущие проверки. Этот вызов нужен своим слоям сборки поверх
+ * {@link createFormFromModel}.
  *
- * @param args - Модель данных, layout-схема (component/componentProps) и (опционально) поведение
- * @returns Типизированная форма с Proxy-доступом к полям
+ * @param form - Форма из {@link createFormFromModel}.
  *
- * @example Архитектура M1: `createModel` + layout-схема + `createForm({ model, schema })`
+ * @example
  * ```typescript
- * import { createModel, createForm } from '@reformer/core';
- * import { defineValidationSchema, validate, validateModel } from '@reformer/core/validation';
- * import { required, email, minLength } from '@reformer/core/validators';
- *
- * interface UserForm {
- *   email: string;
- *   password: string;
- * }
- *
- * const model = createModel<UserForm>({ email: '', password: '' });
- *
- * // Layout-схема НЕ несёт validators — только component/componentProps.
- * const schema = {
- *   children: [
- *     { value: model.$.email, component: Input },
- *     { value: model.$.password, component: Input },
- *   ],
- * };
- *
- * const form = createForm<UserForm>({ model, schema });
- * form.email.setValue('test@mail.com');
- *
- * // Валидация — ОТДЕЛЬНАЯ схема, прогон внешним раннером (ошибки сами доезжают до нод):
- * const validation = defineValidationSchema<UserForm>(({ model }) => {
- *   validate(model.$.email, [required(), email()]);
- *   validate(model.$.password, [required(), minLength(8)]);
- * });
- * const ok = await validateModel(model, validation);
+ * const form = createFormFromModel<Profile>({ model, schema, behavior });
+ * // … форма больше не нужна
+ * disposeForm(form);
  * ```
+ *
+ * @group Utilities
  */
-export declare function createForm<T>(args: CreateFormFromModelArgs<T>): FormProxy<T>;
-export declare function createForm<T>(config: GroupNodeConfig<T>): FormProxy<T>;
+export declare function disposeForm<T>(form: FormGroup<T>): void;
 /**
- * Создать форму только со схемой полей.
- *
- * @deprecated Legacy / back-compat: плоская `FormSchema` с инлайн-значениями (`value: ''`) — путь
- *   ДО архитектуры M1. Для нового кода используйте перегрузку `createForm({ model, schema })`
- *   (значения принадлежат {@link FormModel}, а правила — отдельной схеме `defineValidationSchema`,
- *   которую прогоняет `validateModel`; поля `validators` у узла layout-схемы нет).
+ * Аргументы {@link createFormFromCompiled}: вместо авторского дерева — его компиляция.
  *
- * @param schema - Схема полей формы
- * @returns Типизированная форма с Proxy-доступом к полям
+ * @internal
+ */
+export interface CreateFormFromCompiledArgs<T> extends Omit<CreateFormFromModelArgs<T>, 'schema'> {
+    /** Скомпилированная схема области модели; без неё у полей нет конфига из схемы. */
+    compiled?: CompiledSchema;
+}
+/**
+ * Форма из модели и скомпилированной схемы. Её зовут {@link createFormFromModel}, сборка одним
+ * вызовом (`createForm`) и форма строки массива — каждая со своей компиляцией.
  *
- * @example Legacy (back-compat) — плоская схема без модели
- * ```typescript
- * const form = createForm<UserForm>({
- *   email: { value: '', component: Input },
- *   password: { value: '', component: Input },
- * });
- * ```
+ * @internal
  */
-export declare function createForm<T>(schema: FormSchema<T>): FormProxy<T>;
+export declare function createFormFromCompiled<T>(args: CreateFormFromCompiledArgs<T>): FormGroup<T>;

package/dist/form/flow/flow.d.ts

@@ -0,0 +1,87 @@
+import { ReadonlySignal } from '@preact/signals-core';
+import { ValidationResult } from '../validation/types';
+/**
+ * Почему поток остался на шаге: `invalid` — у шага блокирующие замечания, `error` — правило не
+ * вернуло результат, `cancelled` — прогон отменён либо результат проверки устарел (поток перевели,
+ * модель формы изменилась, пока шла проверка шага), `edge` — дальше (или раньше) шагов нет,
+ * `locked` — шаг недоступен, пока не пройден предыдущий, `current` — `goTo` на шаг, на котором поток
+ * уже стоит.
+ *
+ * @group Form
+ */
+export type FlowStayReason = 'invalid' | 'error' | 'cancelled' | 'edge' | 'locked' | 'current';
+/**
+ * Итог перехода: поток перешёл на другой шаг либо остался — с причиной и, если шаг проверялся,
+ * результатом проверки.
+ *
+ * @group Form
+ */
+export type FlowTransition = {
+    readonly status: 'moved';
+    readonly from: string;
+    readonly to: string;
+} | {
+    readonly status: 'stayed';
+    readonly step: string;
+    readonly reason: FlowStayReason;
+    readonly validation?: ValidationResult;
+};
+/**
+ * Поток шагов формы.
+ *
+ * @group Form
+ */
+export interface FormFlow {
+    /** Идентификаторы шагов по порядку. */
+    readonly steps: readonly string[];
+    /** Текущий шаг. */
+    readonly current: ReadonlySignal<string>;
+    /** Номер текущего шага с нуля. */
+    readonly index: ReadonlySignal<number>;
+    /** Пройденные шаги: правила шага прошли при переходе дальше. */
+    readonly completed: ReadonlySignal<ReadonlySet<string>>;
+    readonly isFirst: ReadonlySignal<boolean>;
+    readonly isLast: ReadonlySignal<boolean>;
+    /** Идёт ли проверка шага в `next()`. */
+    readonly validating: ReadonlySignal<boolean>;
+    /** Можно ли перейти на шаг: первый — всегда, остальные — после прохождения предыдущего. */
+    canGoTo(stepId: string): boolean;
+    /** Проверить правила текущего шага и при успехе перейти к следующему. */
+    next(): Promise<FlowTransition>;
+    /** Вернуться на шаг назад; пройденными остаются только шаги до него. */
+    previous(): FlowTransition;
+    /** Перейти на шаг; неизвестный шаг — исключение. */
+    goTo(stepId: string): FlowTransition;
+    /** Вернуться на первый шаг и забыть пройденные. */
+    reset(): void;
+}
+/**
+ * Опции {@link createFormFlow}.
+ *
+ * @group Form
+ */
+export interface FormFlowOptions {
+    /** Идентификаторы шагов по порядку; не пустой список без повторов. */
+    readonly steps: readonly string[];
+    /** Проверка шага при `next()`; без неё шаг проходится без проверки. */
+    readonly validateStep?: (stepId: string) => Promise<ValidationResult>;
+}
+/**
+ * Создать поток шагов.
+ *
+ * @param options - {@link FormFlowOptions}: шаги и проверка шага.
+ * @returns {@link FormFlow} на первом шаге.
+ * @throws Error если шагов нет или идентификатор повторяется.
+ *
+ * @example
+ * ```typescript
+ * const flow = createFormFlow({ steps: ['loan', 'contacts', 'confirm'] });
+ *
+ * await flow.next(); // { status: 'moved', from: 'loan', to: 'contacts' }
+ * flow.canGoTo('confirm'); // false — шаг contacts ещё не пройден
+ * flow.goTo('loan'); // { status: 'moved', from: 'contacts', to: 'loan' }
+ * ```
+ *
+ * @group Form
+ */
+export declare function createFormFlow(options: FormFlowOptions): FormFlow;

package/dist/form/form-bundle.d.ts

@@ -0,0 +1,153 @@
+import { FormModel } from '../model/types';
+import { FormBehavior } from './behaviors';
+import { SchemaController, SchemaNodeControl } from './schema-controller';
+import { CompiledSchema } from './schema/compiled';
+import { FormSchemaNode } from './types/schema-node';
+import { FormGroup } from './types/index';
+import { FormFlowConfig, FormLevel, FormValidation } from './form-level';
+import { ValidationDefinition } from './validation';
+/**
+ * Дерево, собранное реестром из документа схемы (JSON), и то, что реестр хочет донести до
+ * рендерера вместе с ним.
+ *
+ * @group Utilities
+ */
+export interface ResolvedSchema {
+    /** Корневой узел дерева. */
+    tree: FormSchemaNode;
+    /** Обёртка поля — компонент, которым рендерер оборачивает каждое поле. */
+    fieldWrapper?: unknown;
+    /** Граница ошибок — компонент, которым рендерер оборачивает дерево. */
+    errorBoundary?: unknown;
+}
+/**
+ * Реестр, умеющий превратить документ схемы в дерево. Метод необязателен: у интерфейса реестра
+ * есть сторонние реализации, и ядро документ само не разбирает.
+ *
+ * @group Utilities
+ */
+export interface SchemaResolver {
+    resolveSchema?(document: unknown, model: FormModel<never>): ResolvedSchema;
+}
+/**
+ * Часть бандла для рендерера: скомпилированная схема и схема-контроллер сборки.
+ *
+ * @group Utilities
+ */
+export interface FormRender {
+    /** Скомпилированная схема корневой области; `undefined`, если схема не задана. */
+    readonly tree: CompiledSchema | undefined;
+    /** Схема-контроллер сборки: области корня, строк массивов и подформ. */
+    readonly controller: SchemaController;
+    /** Управление узлом КОРНЕВОЙ области по его `selector`. */
+    node(selector: string): SchemaNodeControl;
+    /** Обёртка поля из реестра (JSON-вариант). */
+    readonly fieldWrapper?: unknown;
+    /** Граница ошибок из реестра (JSON-вариант). */
+    readonly errorBoundary?: unknown;
+}
+/**
+ * Результат {@link createForm}: модель, форма, часть для рендерера и уровень формы
+ * ({@link FormLevel}) — `validate()`, `validateStep(id)`, поток шагов и отправка
+ * `submission.submit(handler)`.
+ *
+ * @typeParam T - Форма данных модели.
+ * @group Utilities
+ */
+export interface FormBundle<T> extends FormLevel<T> {
+    readonly model: FormModel<T>;
+    readonly form: FormGroup<T>;
+    readonly render: FormRender;
+    /**
+     * Снять сборку: поведение формы, подписки нод, живую проверку; идущие проверки — полная, шага,
+     * отправки — получают `cancelled`. Значения модели остаются. Идемпотентно.
+     *
+     * Владелец сборки — тот, кто вызвал `createForm`: вне React (тесты, сервер, своя оболочка)
+     * снимайте её этим вызовом, когда форма больше не нужна.
+     */
+    dispose(): void;
+}
+/**
+ * Конфиг {@link createForm}.
+ *
+ * @typeParam T - Форма данных модели.
+ * @group Utilities
+ */
+export interface CreateFormConfig<T> {
+    /** Начальные значения — из них создаётся модель. Взаимоисключимо с `model`. */
+    initial?: T;
+    /** Готовая модель (если создана отдельной фабрикой). Приоритетнее `initial`. */
+    model?: FormModel<T>;
+    /**
+     * Схема формы: билдер дерева `(model) => узел` либо документ (JSON) — тогда нужен `registry`.
+     * Билдер, а не готовое дерево: узлы держат ручки модели (`model: model.$.email`), и построить
+     * дерево до модели нечем.
+     */
+    schema?: ((model: FormModel<T>) => FormSchemaNode) | object;
+    /** Реестр JSON-варианта: превращает документ схемы в дерево. */
+    registry?: SchemaResolver;
+    /** Поведение формы: значения, состояние нод и правила узлов схемы. */
+    behavior?: FormBehavior<T>;
+    /**
+     * Правила валидации: готовый набор либо {@link FormValidation} — полный набор `rules`, правила
+     * вне шагов `extras` и стратегия живой проверки. Без `rules` полный набор собирается из правил
+     * шагов потока и `extras`.
+     */
+    validation?: FormValidation<T> | ValidationDefinition<T>;
+    /**
+     * Поток шагов: `{ steps: [{ id, rules }] }`. Идентификатор шага — `selector` узла шага в схеме;
+     * `next()` потока проверяет правила текущего шага.
+     */
+    flow?: FormFlowConfig<T>;
+    /**
+     * Правка модели ДО сборки формы. Нужна там, где значение обязано существовать к моменту
+     * построения нод — например, массив, наполняемый из вычислений (реактивные `onChange` на
+     * инициализации не срабатывают). Модель, созданная из `initial`, снимает точку отсчёта после
+     * `seed` — сброс его правки не откатывает; точкой отсчёта переданной `model` управляет владелец.
+     */
+    seed?: (model: FormModel<T>) => void;
+    /** Донастройка ПОСЛЕ сборки: получает готовый бандл. */
+    setup?: (bundle: FormBundle<T>) => void;
+}
+/**
+ * Собрать модель, форму, уровень формы (проверка, отправка, поток шагов) и дерево для рендера за
+ * один проход.
+ *
+ * @typeParam T - Форма данных модели.
+ * @param config - {@link CreateFormConfig}: (`initial` | `model`) + опц. `schema`, `registry`,
+ *   `behavior`, `validation`, `flow`, `seed`, `setup`.
+ * @returns {@link FormBundle} — `{ model, form, render, flow, validate, validateStep, submission, … }`.
+ *
+ * @example Рендерер по TS-схеме
+ * ```tsx
+ * const credit = useFormBundle(() =>
+ *   createForm<CreditForm>({
+ *     model: createCreditModel(),
+ *     schema: creditSchema, // (model) => узел
+ *     behavior: creditBehavior,
+ *     validation: { extras: crossRules },
+ *     flow: { steps: [{ id: 'loan', rules: loanRules }, { id: 'confirm' }] },
+ *   })
+ * );
+ * return <FormRenderer form={credit} settings={{ fieldWrapper: FormField }} />;
+ * ```
+ *
+ * @example React-руками — та же сборка, разметка в JSX
+ * ```tsx
+ * const credit = useFormBundle(() => createForm<CreditForm>({ initial, schema: creditSchema }));
+ * const send = async () => {
+ *   const result = await credit.submission.submit(api.send);
+ *   if (result.status === 'invalid') showHint('Проверьте форму');
+ * };
+ * return <FormField control={credit.form.loanType} />;
+ * ```
+ *
+ * @example JSON — документ схемы и реестр
+ * ```tsx
+ * const credit = useFormBundle(() =>
+ *   createForm<CreditForm>({ model: createCreditModel(), schema: creditJson, registry })
+ * );
+ * return <FormRenderer form={credit} />;
+ * ```
+ */
+export declare function createForm<T extends object>(config: CreateFormConfig<T>): FormBundle<T>;

package/dist/form/form-config-base.d.ts

@@ -0,0 +1,46 @@
+import { FormModel } from '../model/types';
+import { FormBehavior } from './behaviors';
+import { FormGroup } from './types/index';
+import { FormFlowConfig, FormLevel, FormValidation } from './form-level';
+import { ValidationDefinition } from './validation';
+/**
+ * Общая часть конфига всех фабрик формы.
+ *
+ * @typeParam T - Форма данных модели.
+ * @typeParam B - Бандл конкретной фабрики (его получает {@link CreateFormConfigBase.setup}).
+ */
+export interface CreateFormConfigBase<T, B> {
+    /** Начальные значения — из них создаётся модель. Взаимоисключимо с `model`. */
+    initial?: T;
+    /** Готовая модель (если создана отдельной фабрикой). Приоритетнее `initial`. */
+    model?: FormModel<T>;
+    /** Декларативное поведение модели (compute/copyFrom/enableWhen/onChange). */
+    behavior?: FormBehavior<T>;
+    /** Правила валидации: готовый набор либо {@link FormValidation} с `extras` и стратегией. */
+    validation?: FormValidation<T> | ValidationDefinition<T>;
+    /** Поток шагов: идентификатор шага и его правила — {@link FormFlowConfig}. */
+    flow?: FormFlowConfig<T>;
+    /**
+     * Правка модели ДО сборки формы. Нужна там, где значение обязано существовать к моменту
+     * построения нод — например, массив, наполняемый из вычислений (реактивные `onChange` на
+     * инициализации не срабатывают). Модель, созданная из `initial`, снимает точку отсчёта после
+     * `seed` — сброс его правки не откатывает; точкой отсчёта переданной `model` управляет владелец.
+     */
+    seed?: (model: FormModel<T>) => void;
+    /** Донастройка ПОСЛЕ сборки: получает готовый бандл фабрики. */
+    setup?: (bundle: B) => void;
+}
+/**
+ * Общая часть результата фабрик: модель, форма и уровень формы ({@link FormLevel}) — проверка,
+ * отправка и поток шагов.
+ */
+export interface CoreForm<T> extends FormLevel<T> {
+    readonly model: FormModel<T>;
+    readonly form: FormGroup<T>;
+    /**
+     * Снять сборку: форму (`disposeForm` — поведение, подписки нод) и уровень формы (живая
+     * проверка, идущие проверки). Фабрика обязана задать его ПОСЛЕ `...level`: `dispose` уровня
+     * форму не снимает.
+     */
+    dispose(): void;
+}

package/dist/form/form-level.d.ts

@@ -0,0 +1,121 @@
+import { ReadonlySignal } from '@preact/signals-core';
+import { FormModel } from '../model/types';
+import { FormFlow } from './flow/flow';
+import { FormSubmission } from './submission';
+import { FormValidationController, ValidationStrategyKind } from './validation/strategy';
+import { ValidationDefinition, ValidationResult } from './validation/types';
+/**
+ * Правила валидации формы и стратегия живой проверки.
+ *
+ * ⚠️ `rules` и `extras` обязаны быть **стабильными ссылками** (`defineValidation` в модуле): отмена
+ * устаревших прогонов ключится по паре «модель + правила».
+ *
+ * @group Form
+ */
+export interface FormValidation<T> {
+    /** Полный набор правил. Без него собирается из правил шагов потока и `extras`. */
+    rules?: ValidationDefinition<T>;
+    /** Правила, которые проверяются только целиком (отправка), но не по шагам. */
+    extras?: ValidationDefinition<T>;
+    /** Когда запускать живую проверку. По умолчанию `'submit'` — живой проверки нет. */
+    strategy?: ValidationStrategyKind;
+    debounce?: number;
+    /** Режим живой фазы для `afterFirstSubmit`. По умолчанию `'change'`. */
+    liveAfterSubmit?: 'change' | 'blur';
+}
+/**
+ * Шаг потока: идентификатор (он же `selector` узла шага в схеме) и правила шага.
+ *
+ * @group Form
+ */
+export interface FlowStep<T> {
+    readonly id: string;
+    /** Правила шага; `null` или без поля — шаг без правил. */
+    readonly rules?: ValidationDefinition<T> | null;
+}
+/**
+ * Поток шагов в конфиге сборки.
+ *
+ * @group Form
+ */
+export interface FormFlowConfig<T> {
+    readonly steps: readonly FlowStep<T>[];
+}
+/**
+ * Правила формы и контроллер живой проверки — его армирует `useFormBundle`.
+ *
+ * @group Form
+ */
+export interface FormValidationState<T> {
+    /** Полный набор правил (стабильная ссылка). */
+    readonly rules: ValidationDefinition<T>;
+    readonly controller: FormValidationController;
+}
+/**
+ * Уровень формы в бандле сборки.
+ *
+ * @group Form
+ */
+export interface FormLevel<T> {
+    /** Поток шагов; без `flow` в конфиге — `undefined`. */
+    readonly flow: FormFlow | undefined;
+    /** Идёт ли проверка: полная или шага. */
+    readonly validating: ReadonlySignal<boolean>;
+    /** Правила и контроллер живой проверки; без правил — `undefined`. */
+    readonly validation: FormValidationState<T> | undefined;
+    /**
+     * Отправка: `submission.submit(handler)` — один прогон всех правил и обработчик со значениями,
+     * которые они видели; `submission.submitting` — идёт ли обработчик.
+     */
+    readonly submission: FormSubmission<T>;
+    /**
+     * Проверить всю форму и показать замечания. Поля выключенных нод (`enableWhen`, `disable()`)
+     * не учитываются — статус совпадает с `valid` формы.
+     *
+     * Правила читают модель в момент вызова. Исключение — вызов в одном тике со сборкой формы или
+     * правкой поля: поведение ещё пишет отложенно (колбэк `onChange`, сброс `resetOnDisable`), и
+     * проверка сначала дожидается этих записей; `validating` поднят сразу. Так же ведут себя
+     * `validateStep` и отправка.
+     *
+     * Попыткой отправки проверка не считается: стратегия `afterFirstSubmit` остаётся в тихой фазе.
+     */
+    validate(): Promise<ValidationResult>;
+    /**
+     * Проверить шаг потока (без выключенных полей); неизвестный шаг — исключение.
+     *
+     * Это отчёт о шаге, как `validate` — о форме. Переход делает `flow.next()`: он сверяет модель
+     * и не переходит, если её изменили, пока шла проверка шага.
+     */
+    validateStep(stepId: string): Promise<ValidationResult>;
+    /**
+     * Снять уровень формы: подписки и таймеры живой проверки; идущие проверки — полная, шага,
+     * отправки — получают `cancelled`, и их замечания на ноды не ложатся. Идемпотентно. Ноды формы
+     * уровень не снимает — это делает сборка (`bundle.dispose()`).
+     */
+    dispose(): void;
+}
+/**
+ * Собрать уровень формы: правила, контроллер живой проверки, поток шагов и отправку.
+ *
+ * @typeParam T - Форма данных модели.
+ * @param model - Модель формы.
+ * @param config - Правила (`validation`) и поток (`flow`).
+ * @returns {@link FormLevel}.
+ * @throws Error если в потоке повторяется шаг.
+ *
+ * @example
+ * ```typescript
+ * const level = createFormLevel(model, {
+ *   validation: { extras: crossRules },
+ *   flow: { steps: [{ id: 'loan', rules: loanRules }, { id: 'confirm' }] },
+ * });
+ * const result = await level.submission.submit(sendApplication);
+ * if (result.status === 'invalid') showErrors();
+ * ```
+ *
+ * @group Form
+ */
+export declare function createFormLevel<T>(model: FormModel<T>, config: {
+    validation?: FormValidation<T> | ValidationDefinition<T>;
+    flow?: FormFlowConfig<T>;
+}): FormLevel<T>;

package/dist/form/form-proxy-builder.d.ts

@@ -1,25 +1,9 @@
-import { FormNode } from './nodes/form-node';
-import { FormProxy } from './types/form-proxy';
+import { FormGroup } from './types/nodes';
+import { InternalFormNode } from './nodes/node-kind';
 /**
- * Создать Proxy для типобезопасного доступа к полям GroupNode
+ * Прокси группы над её сырым узлом.
  *
- * Proxy обеспечивает:
- * - Доступ к полям через точечную нотацию (form.email, form.address.city)
- * - Приоритет собственных свойств GroupNode над полями
- * - Цепочку proxy для вложенных GroupNode
- * - Блокировку прямого присваивания полям (только через setValue/patchValue)
- *
- * @param target - GroupNode для которого создаётся proxy
- * @param fields - Map полей формы
- * @returns Типизированный Proxy
- *
- * @internal
- *
- * @example
- * ```typescript
- * const proxy = buildFormProxy(groupNode, groupNode._fields);
- * proxy.email.setValue('test@example.com');
- * console.log(proxy.email.value.value);
- * ```
+ * @param target - Сырой узел группы
+ * @param children - Сырые ноды полей по именам
  */
-export declare function buildFormProxy<T>(target: FormNode<T>, fields: Map<keyof T, FormNode<unknown>>): FormProxy<T>;
+export declare function buildFormProxy<T>(target: InternalFormNode<T>, children: ReadonlyMap<string, InternalFormNode>): FormGroup<T>;