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

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

@@ -1,10 +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
@@ -13,13 +15,13 @@ 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>;
     /**
@@ -28,14 +30,16 @@ export interface CreateFormFromModelArgs<T> {
      * Без него поведение пишет правила в собственный контроллер, который никто не читает.
      */
     schemaController?: SchemaController;
+    /** Поток шагов сборки: его получает поведение (`defineFormBehavior(({ flow }) => …)`). */
+    flow?: FormFlow;
 }
 /**
- * Собрать форму из {@link FormModel} и единой схемы (низкоуровневая фабрика архитектуры M1).
+ * Собрать форму из {@link FormModel} и единой схемы (низкоуровневая фабрика).
  *
  * Значения принадлежат модели (источник истины), ноды формы держат UI/валидационное состояние и
- * ссылаются на сигналы модели по идентичности (`node.value === model.$.path`). Обходит структуру
- * модели, привязывает конфиг поля (component/componentProps) из схемы, материализует массивы
- * под-форм как {@link ModelArrayNode} (на любой глубине), заполняет реестр ручка→нода (для
+ * ссылаются на сигналы модели по идентичности. Обходит структуру модели и строит ноды по виду её
+ * узлов, привязывает конфиг поля (component/componentProps) из схемы, материализует массивы
+ * под-форм ({@link FormArray}, на любой глубине), заполняет реестр ручка→нода (для
  * `enableWhen`, `apply`/`applyEach` и роутинга ошибок) и, при наличии, запускает декларативное
  * поведение (cleanup живёт на форме).
  *
@@ -45,9 +49,9 @@ export interface CreateFormFromModelArgs<T> {
  *
  * @typeParam T - Тип модели данных формы
  * @param args - Модель, единая схема и (опционально) декларативное поведение {@link CreateFormFromModelArgs}
- * @returns Типизированная форма с Proxy-доступом к полям {@link FormProxy}
+ * @returns Группа формы {@link FormGroup} с нодами полей по именам
  *
- * @example Форма из модели + схемы (эквивалент `createFormFromModel({ model, schema })`)
+ * @example Форма из модели и схемы
  * ```typescript
  * import { createModel, createFormFromModel } from '@reformer/core';
  *
@@ -60,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 },
  *   ],
  * };
  *
@@ -77,32 +81,40 @@ export interface CreateFormFromModelArgs<T> {
  * @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 createFormFromModel}: поведение формы и подписки нод (массивы
+ * под-форм следят за моделью). Значения модели остаются. Идемпотентно.
  *
- * @param config - Конфиг {@link GroupNode}
- * @returns Типизированная форма с Proxy-доступом к полям
- * @group Utilities
- */
-export declare function createLegacyForm<T>(config: GroupNodeConfig<T>): FormProxy<T>;
-/**
- * Создать форму из плоской схемы полей с инлайн-значениями (`value: ''`) — путь ДО архитектуры M1.
+ * Сборку одним вызовом снимают целиком — `bundle.dispose()`: вместе с формой она снимает живую
+ * проверку и отменяет идущие проверки. Этот вызов нужен своим слоям сборки поверх
+ * {@link createFormFromModel}.
  *
- * Значения живут в нодах, модели нет: поведение (`defineFormBehavior`) и внешняя валидация
- * (`validateModel`) к такой форме не подключаются. Для нового кода — {@link createFormFromModel}
- * либо сборка одним вызовом.
- *
- * @param schema - Схема полей формы
- * @returns Типизированная форма с Proxy-доступом к полям
- * @group Utilities
+ * @param form - Форма из {@link createFormFromModel}.
  *
  * @example
  * ```typescript
- * const form = createLegacyForm<UserForm>({
- *   email: { value: '', component: Input },
- *   password: { value: '', component: Input },
- * });
+ * const form = createFormFromModel<Profile>({ model, schema, behavior });
+ * // … форма больше не нужна
+ * disposeForm(form);
  * ```
+ *
+ * @group Utilities
+ */
+export declare function disposeForm<T>(form: FormGroup<T>): void;
+/**
+ * Аргументы {@link createFormFromCompiled}: вместо авторского дерева — его компиляция.
+ *
+ * @internal
+ */
+export interface CreateFormFromCompiledArgs<T> extends Omit<CreateFormFromModelArgs<T>, 'schema'> {
+    /** Скомпилированная схема области модели; без неё у полей нет конфига из схемы. */
+    compiled?: CompiledSchema;
+}
+/**
+ * Форма из модели и скомпилированной схемы. Её зовут {@link createFormFromModel}, сборка одним
+ * вызовом (`createForm`) и форма строки массива — каждая со своей компиляцией.
+ *
+ * @internal
  */
-export declare function createLegacyForm<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

@@ -1,10 +1,11 @@
 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 { FormProxy } from './types/index';
-import { FormValidation, FormValidationBundle } from './validation/config';
-import { ValidationSchema } from './validation';
+import { FormGroup } from './types/index';
+import { FormFlowConfig, FormLevel, FormValidation } from './form-level';
+import { ValidationDefinition } from './validation';
 /**
  * Дерево, собранное реестром из документа схемы (JSON), и то, что реестр хочет донести до
  * рендерера вместе с ним.
@@ -29,13 +30,13 @@ export interface SchemaResolver {
     resolveSchema?(document: unknown, model: FormModel<never>): ResolvedSchema;
 }
 /**
- * Часть бандла для рендерера: готовое дерево и схема-контроллер сборки.
+ * Часть бандла для рендерера: скомпилированная схема и схема-контроллер сборки.
  *
  * @group Utilities
  */
 export interface FormRender {
-    /** Корневой узел дерева схемы; `undefined`, если схема не задана. */
-    readonly tree: FormSchemaNode | undefined;
+    /** Скомпилированная схема корневой области; `undefined`, если схема не задана. */
+    readonly tree: CompiledSchema | undefined;
     /** Схема-контроллер сборки: области корня, строк массивов и подформ. */
     readonly controller: SchemaController;
     /** Управление узлом КОРНЕВОЙ области по его `selector`. */
@@ -46,17 +47,25 @@ export interface FormRender {
     readonly errorBoundary?: unknown;
 }
 /**
- * Результат {@link createForm}.
+ * Результат {@link createForm}: модель, форма, часть для рендерера и уровень формы
+ * ({@link FormLevel}) — `validate()`, `validateStep(id)`, поток шагов и отправка
+ * `submission.submit(handler)`.
  *
  * @typeParam T - Форма данных модели.
  * @group Utilities
  */
-export interface FormBundle<T> {
-    model: FormModel<T>;
-    form: FormProxy<T>;
-    /** Собранная валидация; есть, если в конфиге заданы правила. */
-    validation?: FormValidationBundle<T>;
-    render: FormRender;
+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}.
@@ -79,28 +88,35 @@ export interface CreateFormConfig<T> {
     registry?: SchemaResolver;
     /** Поведение формы: значения, состояние нод и правила узлов схемы. */
     behavior?: FormBehavior<T>;
-    /** Правила валидации: готовая схема либо {@link FormValidation} со стратегией и шагами. */
-    validation?: FormValidation<T> | ValidationSchema<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;
 }
-/** Бандл формы, у которой заданы правила: `validation` в нём есть всегда. */
-type ValidatedFormBundle<T> = FormBundle<T> & {
-    validation: FormValidationBundle<T>;
-};
 /**
- * Собрать модель, форму, валидацию и дерево для рендера за один проход.
+ * Собрать модель, форму, уровень формы (проверка, отправка, поток шагов) и дерево для рендера за
+ * один проход.
  *
  * @typeParam T - Форма данных модели.
  * @param config - {@link CreateFormConfig}: (`initial` | `model`) + опц. `schema`, `registry`,
- *   `behavior`, `validation`, `seed`, `setup`.
- * @returns {@link FormBundle} — `{ model, form, validation?, render }`.
+ *   `behavior`, `validation`, `flow`, `seed`, `setup`.
+ * @returns {@link FormBundle} — `{ model, form, render, flow, validate, validateStep, submission, … }`.
  *
  * @example Рендерер по TS-схеме
  * ```tsx
@@ -109,7 +125,8 @@ type ValidatedFormBundle<T> = FormBundle<T> & {
  *     model: createCreditModel(),
  *     schema: creditSchema, // (model) => узел
  *     behavior: creditBehavior,
- *     validation: { steps: { loan: loanRules }, extras: crossRules },
+ *     validation: { extras: crossRules },
+ *     flow: { steps: [{ id: 'loan', rules: loanRules }, { id: 'confirm' }] },
  *   })
  * );
  * return <FormRenderer form={credit} settings={{ fieldWrapper: FormField }} />;
@@ -118,6 +135,10 @@ type ValidatedFormBundle<T> = FormBundle<T> & {
  * @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} />;
  * ```
  *
@@ -129,8 +150,4 @@ type ValidatedFormBundle<T> = FormBundle<T> & {
  * return <FormRenderer form={credit} />;
  * ```
  */
-export declare function createForm<T extends object>(config: CreateFormConfig<T> & {
-    validation: FormValidation<T> | ValidationSchema<T>;
-}): ValidatedFormBundle<T>;
 export declare function createForm<T extends object>(config: CreateFormConfig<T>): FormBundle<T>;
-export {};

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>;

package/dist/form/index.d.ts

@@ -1,8 +1,9 @@
 /**
  * Модуль `form` — доменный слой формы поверх реактивной модели (`model`).
  *
- * Ноды (value/touched/dirty/status/errors/componentProps), сборка формы из модели по идентичности
- * сигнала (`createForm`), state-операции над нодами (`enableWhen`/`disableWhen`), submit/статус.
+ * Ноды (value/touched/dirty/disabled/issues/componentProps) — контракты FormNode, FormControl,
+ * FormGroup, FormArray; сборка формы из модели по идентичности сигнала (`createForm`), уровень формы
+ * (проверка, отправка, поток шагов). Классы нод — внутренние.
  * React-биндинги вынесены в `platforms/react` — этот слой от React не зависит.
  * Schema-валидация — внешний контракт `@reformer/core/validation` (`validateModel`),
  * роутит ошибки в ноды через реестр сигнал→нода. Зависит от `model` (form→model разрешено);
@@ -11,28 +12,22 @@
  * @group Form
  * @module form
  */
-export { FormNode } from './nodes/form-node';
-export type { SetValueOptions } from './nodes/form-node';
-export { FieldNode } from './nodes/field-node';
-export { GroupNode } from './nodes/group-node';
-export { ArrayNode } from './nodes/array-node';
-export { ModelArrayNode } from './nodes/model-array-node';
-export type { ModelArrayControl } from './nodes/model-array-node';
 export { createForm } from './form-bundle';
 export type { CreateFormConfig, FormBundle, FormRender, ResolvedSchema, SchemaResolver, } from './form-bundle';
-export { createFormFromModel, createLegacyForm } from './create-form';
+export { createFormFromModel, disposeForm } from './create-form';
 export type { CreateFormFromModelArgs } from './create-form';
 export { schemaSubtree } from './schema-subtree';
-export { createSchemaController, createSchemaScope, createSchemaOverrideMaps, unknownSchemaSelectors, } from './schema-controller';
+export { compileSchema, isCompiledNode } from './schema/compile';
+export type { CompileSchemaOptions } from './schema/compile';
+export type { CompiledSchema, CompiledNode, CompiledChild, CompiledFieldNode, CompiledArrayNode, CompiledPartNode, CompiledContainerNode, CompiledTextNode, SchemaNodeId, SchemaScopeId, SchemaTextPart, } from './schema/compiled';
+export { createSchemaController, createSchemaScope, unknownSchemaSelectors, } from './schema-controller';
 export type { SchemaController, SchemaScope, SchemaNodeControl, SchemaOverrideMaps, NodeLifecycleHooks, } from './schema-controller';
-export { createCoreForm } from './create-core-form';
-export type { CoreForm, CreateCoreFormConfig, CreateFormConfigBase } from './create-core-form';
-export { buildValidation } from './validation/config';
-export type { FormValidation, FormValidationBundle } from './validation/config';
-export { enableWhen, disableWhen } from './behaviors/node';
-export { FormErrorHandler, ErrorStrategy } from './validation/error-handler';
+export type { CoreForm, CreateFormConfigBase } from './form-config-base';
+export { createFormLevel } from './form-level';
+export type { FormLevel, FormValidation, FormValidationState, FormFlowConfig, FlowStep, } from './form-level';
+export { createSubmission } from './submission';
+export type { ActionCheck, FormSubmission, SubmissionDependencies, SubmitResult, } from './submission';
+export { createFormFlow } from './flow/flow';
+export type { FormFlow, FormFlowOptions, FlowTransition, FlowStayReason } from './flow/flow';
 export { registerSignalNode, getNodeForSignal } from './signal-node-registry';
-export { FormSubmitter } from './form-submitter';
-export { SubscriptionManager } from './nodes/subscription-manager';
-export type { SubmittableForm, SubmitOptions, SubmitResult } from './form-submitter';
-export { isFormNode, isFieldNode, isGroupNode, isArrayNode, getNodeType } from './type-guards';
+export { isFormNode, isFormControl, isFormGroup, isFormArray } from './type-guards';