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

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,23 +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, createFormFromModel } from './create-form';
+export { createForm } from './form-bundle';
+export type { CreateFormConfig, FormBundle, FormRender, ResolvedSchema, SchemaResolver, } from './form-bundle';
+export { createFormFromModel, disposeForm } from './create-form';
 export type { CreateFormFromModelArgs } from './create-form';
-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 { schemaSubtree } from './schema-subtree';
+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 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';

package/dist/form/nodes/form-array-node.d.ts

@@ -0,0 +1,100 @@
+import { ReadonlySignal } from '@preact/signals-core';
+import { ValidationIssue } from '../types/contracts';
+import { FormArray, FormGroup } from '../types/nodes';
+import { FormModel } from '../../model/types';
+import { NODE_KIND, InternalFormNode } from './node-kind';
+/** Реактивный массив модели в объёме, которым пользуется нода. */
+export interface ModelArrayControl<TItem extends object> {
+    readonly length: number;
+    at(index: number): FormModel<TItem> | undefined;
+    push(item?: TItem): void;
+    insertAt(index: number, item?: TItem): void;
+    removeAt(index: number): void;
+    move(from: number, to: number): void;
+    swap(first: number, second: number): void;
+    clear(): void;
+    toArray(): TItem[];
+}
+export declare class FormArrayNode<T extends object> implements FormArray<T>, InternalFormNode<T[]> {
+    private readonly control;
+    readonly [NODE_KIND]: "array";
+    readonly value: ReadonlySignal<T[]>;
+    readonly valid: ReadonlySignal<boolean>;
+    readonly invalid: ReadonlySignal<boolean>;
+    readonly pending: ReadonlySignal<boolean>;
+    readonly disabled: ReadonlySignal<boolean>;
+    readonly touched: ReadonlySignal<boolean>;
+    readonly dirty: ReadonlySignal<boolean>;
+    readonly issues: ReadonlySignal<readonly ValidationIssue[]>;
+    readonly ownIssues: ReadonlySignal<readonly ValidationIssue[]>;
+    private readonly rows;
+    /**
+     * Состав массива меняли методами ноды после создания или сброса. Как `dirty` поля: ставит запись
+     * через форму (`push`, `removeAt`, `move`, `setValue`…), а не запись в модель — загрузка данных
+     * массив изменённым не делает. Операция, которая состав не поменяла (`clear` пустого массива,
+     * `move(i, i)`), — тоже: поведение «очистить список при снятом флаге» после сброса формы её не
+     * испачкает. Снимает `reset`.
+     */
+    private readonly reshaped;
+    /** Форма строки по фасаду под-модели элемента. */
+    private readonly cache;
+    /** Под-модели строк, для которых сейчас есть формы, — «прежний» набор для сверки. */
+    private mounted;
+    private readonly initial;
+    private readonly own;
+    private readonly availability;
+    /** Ожидание async-правила на ручке самого массива. */
+    private readonly ownPending;
+    private readonly stopSync;
+    /**
+     * @param control - Массив модели (`model.<путь>`).
+     * @param buildRow - Форма строки по её под-модели; инъекция снимает цикл импорта со сборкой.
+     */
+    constructor(control: ModelArrayControl<T>, buildRow: (rowModel: FormModel<T>) => FormGroup<T>);
+    get length(): number;
+    at(index: number): FormGroup<T> | undefined;
+    map<R>(callback: (row: FormGroup<T>, index: number) => R): R[];
+    forEach(callback: (row: FormGroup<T>, index: number) => void): void;
+    keyAt(index: number): string;
+    push(item?: T): void;
+    insert(index: number, item?: T): void;
+    removeAt(index: number): void;
+    move(from: number, to: number): void;
+    swap(first: number, second: number): void;
+    clear(): void;
+    getValue(): T[];
+    setValue(values: T[]): void;
+    /**
+     * Сбросить массив: строки, замечания и `dirty`. Без аргумента — к точке отсчёта модели, той же, к
+     * которой возвращает `model.reset()`: элементам создания модели либо последнего
+     * `captureInitial()`.
+     */
+    reset(values?: T[]): void;
+    /** Строки пересобираются из значений создания — их поведение считает заново. @internal */
+    resetToCreation(): void;
+    /** Точка отсчёта модели за массивом; без модели — элементы создания. */
+    private referenceItems;
+    markAsTouched(): void;
+    markAsUntouched(): void;
+    disable(): void;
+    /** Включить массив и строки; поля с блокировкой из схемы (`disabled: true`) остаются выключенными. */
+    enable(): void;
+    /** Каскад от контейнера — то же, что `enable()`: своей блокировки из схемы у массива нет. @internal */
+    enableFromParent(): void;
+    setIssues(issues: readonly ValidationIssue[]): void;
+    clearIssues(): void;
+    /** Своё ожидание async-правила на ручке массива; ожидание строк агрегат добавит сам. @internal */
+    setPending(pending: boolean): void;
+    /** Выполнить мутацию массива модели и отметить `dirty`, если состав строк изменился. */
+    private reshape;
+    /**
+     * Индекс модели для индекса строки формы. Без `null`-элементов они совпадают; с ними строка `i` —
+     * `i`-й непустой элемент, а индекс за последней строкой — конец массива модели. Читает модель, а не
+     * `mounted`: внутри `batch` синхронизация ещё не прошла.
+     */
+    private modelIndex;
+    /** Под-модели строк по порядку — без подписки: мутацию могут вызвать из effect'а поведения. */
+    private composition;
+    /** Остановить синхронизацию и диспозить формы всех строк. @internal */
+    dispose(): void;
+}

package/dist/form/nodes/form-control-node.d.ts

@@ -0,0 +1,73 @@
+import { ReadonlySignal } from '@preact/signals-core';
+import { FieldConfig } from '../types/field-config';
+import { ValidationIssue } from '../types/contracts';
+import { ComponentRef } from '../types/schema-node';
+import { FormControl } from '../types/nodes';
+import { NODE_KIND, InternalFormNode } from './node-kind';
+export declare class FormControlNode<T> implements FormControl<T>, InternalFormNode<T> {
+    readonly [NODE_KIND]: "control";
+    readonly value: ReadonlySignal<T>;
+    readonly valid: ReadonlySignal<boolean>;
+    readonly invalid: ReadonlySignal<boolean>;
+    readonly pending: ReadonlySignal<boolean>;
+    readonly disabled: ReadonlySignal<boolean>;
+    readonly touched: ReadonlySignal<boolean>;
+    /** Уходы из поля, включая повторные, — триггер стратегии `blur`. @internal */
+    readonly touches: ReadonlySignal<number>;
+    readonly dirty: ReadonlySignal<boolean>;
+    readonly issues: ReadonlySignal<readonly ValidationIssue[]>;
+    readonly ownIssues: ReadonlySignal<readonly ValidationIssue[]>;
+    readonly component: ComponentRef | undefined;
+    readonly componentProps: ReadonlySignal<Readonly<Record<string, unknown>>>;
+    readonly shouldShowError: ReadonlySignal<boolean>;
+    readonly shouldShowIssues: ReadonlySignal<boolean>;
+    private readonly source;
+    /**
+     * Значение на момент построения. К нему возвращает `resetToCreation` (`resetOnDisable`), а
+     * {@link reset} — только поле над собственным сигналом, без модели за ним.
+     */
+    private readonly initialValue;
+    private readonly interaction;
+    private readonly issueState;
+    private readonly availability;
+    /**
+     * Блокировка из схемы (`disabled: true` узла — вычисляемые `total`, `fullName`). Постоянная:
+     * `enable()` контейнера её не снимает, иначе «выключить форму на время отправки → включить»
+     * разблокировало бы такие поля. Снимает её только явный `enable()` этого поля.
+     */
+    private locked;
+    private readonly pendingState;
+    private readonly componentState;
+    constructor(config: FieldConfig<T>);
+    getValue(): T;
+    setValue(value: T): void;
+    /**
+     * Сбросить поле: значение, замечания, `touched` и `dirty`. Без аргумента — к точке отсчёта модели,
+     * той же, к которой возвращает `model.reset()`: значению создания модели либо последнему
+     * `captureInitial()` (загруженные данные). Поле над собственным сигналом, без модели, — к значению,
+     * с которым нода создана.
+     *
+     * У производного поля (цель `compute`) без аргумента сбрасывается только состояние: значением
+     * владеет поведение, а значение создания ноды снято до первого расчёта — запись вернула бы
+     * «сырое» значение, которое `compute` пересчитает лишь при смене источников.
+     */
+    reset(value?: T): void;
+    /** Точка отсчёта модели за полем; у поля без модели — значение создания. */
+    private referenceValue;
+    /** Значение создания и чистое состояние, у цели `compute` тоже — для `resetOnDisable`. @internal */
+    resetToCreation(): void;
+    private resetState;
+    markAsTouched(): void;
+    markAsUntouched(): void;
+    disable(): void;
+    enable(): void;
+    /** Каскад от контейнера: блокировку из схемы не снимает. @internal */
+    enableFromParent(): void;
+    setIssues(issues: readonly ValidationIssue[]): void;
+    clearIssues(): void;
+    updateComponentProps(patch: Record<string, unknown>): void;
+    /** Раннер валидации: начало (`true`) и конец (`false`) async-правил поля. @internal */
+    setPending(pending: boolean): void;
+    /** У поля подписок нет. @internal */
+    dispose(): void;
+}

package/dist/form/nodes/form-group-node.d.ts

@@ -0,0 +1,66 @@
+import { ReadonlySignal, Signal } from '@preact/signals-core';
+import { ValidationIssue } from '../types/contracts';
+import { FormGroup } from '../types/nodes';
+import { NODE_KIND, InternalFormNode } from './node-kind';
+export declare class FormGroupNode<T> implements InternalFormNode<T> {
+    readonly [NODE_KIND]: "group";
+    readonly value: ReadonlySignal<T>;
+    readonly valid: ReadonlySignal<boolean>;
+    readonly invalid: ReadonlySignal<boolean>;
+    readonly pending: ReadonlySignal<boolean>;
+    readonly disabled: ReadonlySignal<boolean>;
+    readonly touched: ReadonlySignal<boolean>;
+    readonly dirty: ReadonlySignal<boolean>;
+    readonly issues: ReadonlySignal<readonly ValidationIssue[]>;
+    readonly ownIssues: ReadonlySignal<readonly ValidationIssue[]>;
+    /** Сырые ноды детей по именам полей данных. */
+    private readonly children;
+    /** Замечания самой группы (ответ сервера на форму целиком). */
+    private readonly own;
+    private readonly availability;
+    /** Ожидание async-правила на ручке самой группы. */
+    private readonly ownPending;
+    /**
+     * Лист → его записываемый сигнал модели: по нему `setValue` узнаёт цели `compute` (их
+     * помечает `markDerived`), а не по computed-обёртке `value` ноды.
+     */
+    private readonly leafSignals;
+    private behaviorCleanup;
+    private face;
+    /**
+     * @param children - Готовые ноды детей по именам полей данных. Вид ребёнка задан нодой: по
+     *   именам и значениям группа ничего не угадывает.
+     */
+    constructor(children: Iterable<readonly [string, InternalFormNode]>);
+    /** Лицо группы: прокси с нодами полей. Строится один раз. */
+    get proxy(): FormGroup<T>;
+    getValue(): T;
+    /** Записать значения полей; цели `compute` пропускаются — ими владеет поведение. */
+    setValue(value: T): void;
+    /**
+     * Сбросить группу: замечания группы и всех полей, `touched`, `dirty` и значения. Без аргумента —
+     * к точке отсчёта модели, той же, к которой возвращает `model.reset()` (значения создания модели
+     * либо последнего `captureInitial()`), — и форма после сброса не изменена.
+     * Цели `compute` значения не получают, как и в `setValue`: ими владеет поведение.
+     */
+    reset(value?: T): void;
+    /** Сброс всех полей группы к значениям создания, у целей `compute` тоже. @internal */
+    resetToCreation(): void;
+    markAsTouched(): void;
+    markAsUntouched(): void;
+    disable(): void;
+    /** Включить группу и детей; поля с блокировкой из схемы (`disabled: true`) остаются выключенными. */
+    enable(): void;
+    /** Каскад от контейнера — то же, что `enable()`: своей блокировки из схемы у группы нет. @internal */
+    enableFromParent(): void;
+    setIssues(issues: readonly ValidationIssue[]): void;
+    clearIssues(): void;
+    /** Своё ожидание async-правила на ручке группы; ожидание детей агрегат добавит сам. @internal */
+    setPending(pending: boolean): void;
+    /** Прикрепить cleanup поведения формы (`createForm({ behavior })`). @internal */
+    attachBehaviorCleanup(cleanup: () => void): void;
+    /** Связать лист с его сигналом модели для `setValue`. @internal */
+    registerLeafSignal(node: InternalFormNode, source: Signal<unknown>): void;
+    /** Снять поведение и подписки всех детей. @internal */
+    dispose(): void;
+}

package/dist/form/nodes/node-kind.d.ts

@@ -0,0 +1,29 @@
+import { FormNode } from '../types/nodes';
+export declare const NODE_KIND: unique symbol;
+/** Сырой узел за прокси группы: внутренним вызовам нужен он, а не лицо с полями. */
+export declare const RAW_NODE: unique symbol;
+export type NodeKind = 'control' | 'group' | 'array';
+/** Внутренние члены ноды: их зовут сборка, раннер валидации и массив строк. */
+export interface InternalFormNode<T = unknown> extends FormNode<T> {
+    readonly [NODE_KIND]: NodeKind;
+    /** Раннер валидации: начало и конец async-правил; у группы и массива — ничего. */
+    setPending(pending: boolean): void;
+    /** Снять подписки ноды и её детей. */
+    dispose(): void;
+    /**
+     * Сброс для `resetOnDisable`: вернуть значения создания и очистить состояние — в том числе у
+     * целей `compute`. Выключенное поле не должно нести прежний расчёт (его `compute` обязан нести то
+     * же условие `when`); публичный `reset()` без аргумента производное поле не пишет.
+     */
+    resetToCreation(): void;
+    /**
+     * Включение каскадом от контейнера (`enable()` группы или массива). Отличается от `enable()` одним:
+     * блокировку из схемы (`disabled: true` узла) не снимает — её снимает только явный `enable()`
+     * самого поля.
+     */
+    enableFromParent(): void;
+}
+/** Вид ноды либо `undefined`, если значение — не нода формы. */
+export declare function kindOf(value: unknown): NodeKind | undefined;
+/** Сырой узел: за прокси группы — её класс, у остальных — сама нода. */
+export declare function rawNode<N extends object>(node: N): InternalFormNode;

package/dist/form/nodes/state/availability.d.ts

@@ -0,0 +1,6 @@
+import { ReadonlySignal } from '@preact/signals-core';
+export interface AvailabilityState {
+    readonly disabled: ReadonlySignal<boolean>;
+    setDisabled(disabled: boolean): void;
+}
+export declare function createAvailability(initiallyDisabled?: boolean): AvailabilityState;

package/dist/form/nodes/state/component.d.ts

@@ -0,0 +1,6 @@
+import { ReadonlySignal } from '@preact/signals-core';
+export interface ComponentState {
+    readonly props: ReadonlySignal<Readonly<Record<string, unknown>>>;
+    update(patch: Record<string, unknown>): void;
+}
+export declare function createComponentState(initial?: Record<string, unknown>): ComponentState;

package/dist/form/nodes/state/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Модули состояния ноды формы. Каждый держит одну сторону состояния и ничего не знает о других;
+ * производные (`valid`, `invalid`, `pending`) складывает нода.
+ *
+ * @internal
+ * @module form/nodes/state
+ */
+export { createInteraction } from './interaction';
+export { createIssues } from './issues';
+export { createAvailability } from './availability';
+export { createPending } from './pending';
+export { createComponentState } from './component';

package/dist/form/nodes/state/interaction.d.ts

@@ -0,0 +1,13 @@
+import { ReadonlySignal } from '@preact/signals-core';
+export interface InteractionState {
+    readonly touched: ReadonlySignal<boolean>;
+    readonly dirty: ReadonlySignal<boolean>;
+    /**
+     * Сколько раз поле помечали тронутым — каждый уход из поля, и повторный тоже. У тронутого поля
+     * `touched` при новом уходе не меняется; по счётчику стратегия `blur` видит и его.
+     */
+    readonly touches: ReadonlySignal<number>;
+    setTouched(touched: boolean): void;
+    setDirty(dirty: boolean): void;
+}
+export declare function createInteraction(): InteractionState;

package/dist/form/nodes/state/issues.d.ts

@@ -0,0 +1,9 @@
+import { ReadonlySignal } from '@preact/signals-core';
+import { ValidationIssue } from '../../types/contracts';
+export interface IssuesState {
+    readonly list: ReadonlySignal<readonly ValidationIssue[]>;
+    readonly blocking: ReadonlySignal<boolean>;
+    set(issues: readonly ValidationIssue[]): void;
+    clear(): void;
+}
+export declare function createIssues(): IssuesState;

package/dist/form/nodes/state/pending.d.ts

@@ -0,0 +1,6 @@
+import { ReadonlySignal } from '@preact/signals-core';
+export interface PendingState {
+    readonly active: ReadonlySignal<boolean>;
+    mark(pending: boolean): void;
+}
+export declare function createPending(): PendingState;

package/dist/form/schema/compile.d.ts

@@ -0,0 +1,59 @@
+import { FormSchemaNode } from '../types/schema-node';
+import { CompiledNode, CompiledSchema, SchemaScopeId } from './compiled';
+/**
+ * Узел скомпилированной схемы, а не авторский узел?
+ *
+ * @param value - Что угодно.
+ * @returns `true` для узла, выданного {@link compileSchema}.
+ *
+ * @example
+ * ```typescript
+ * isCompiledNode(compileSchema(tree, model).root); // true
+ * isCompiledNode(tree); // false
+ * ```
+ *
+ * @group Schema
+ */
+export declare function isCompiledNode(value: unknown): value is CompiledNode;
+/** Опции {@link compileSchema}. */
+export interface CompileSchemaOptions {
+    /** Идентификатор области дерева; по умолчанию корень `#`. */
+    readonly scope?: SchemaScopeId;
+}
+/**
+ * Скомпилировать дерево схемы: вид каждого узла, нормализованные привязки, идентификаторы и
+ * индексы области.
+ *
+ * Повтор `selector` в одной области — исключение с путями обоих узлов. Неизвестный ключ узла и
+ * нераспознанная привязка — предупреждения в dev; такой узел становится контейнером. Вторая
+ * привязка той же ручки — тоже предупреждение: нода формы у ручки одна.
+ *
+ * @param tree - Корень авторского дерева ({@link FormSchemaNode}).
+ * @param model - Модель области (корень сборки, под-модель строки либо группы): пути вложенных
+ *   областей считаются от неё; без неё — абсолютные пути ручек (`#/phones.1.address`).
+ * @param options - {@link CompileSchemaOptions}.
+ * @returns {@link CompiledSchema} области.
+ * @throws Error при повторе `selector` в области, при селекторе, совпавшем с позиционным путём
+ *   узла (`#/1`), и при зацикленном дереве (в том числе через подформу).
+ *
+ * @example
+ * ```typescript
+ * const model = createModel({ email: '', phones: [{ number: '' }] });
+ * const compiled = compileSchema(
+ *   {
+ *     children: [
+ *       { selector: 'email', model: model.$.email, component: Input },
+ *       { model: model.$.phones, item: (row) => ({ model: row.$.number, component: Input }) },
+ *     ],
+ *   },
+ *   model
+ * );
+ *
+ * compiled.nodes.get('email' as SchemaNodeId)?.kind; // 'field'
+ * compiled.fields.get(model.$.email)?.component; // Input
+ * compiled.arrays.get(model.$.phones)?.row(model.phones.at(0)!).scope; // '#/phones[0]'
+ * ```
+ *
+ * @group Schema
+ */
+export declare function compileSchema(tree: FormSchemaNode, model?: object, options?: CompileSchemaOptions): CompiledSchema;

package/dist/form/schema/compiled.d.ts

@@ -0,0 +1,143 @@
+import { Signal } from '@preact/signals-core';
+import { ComponentRef, FormSchemaNode, SchemaArrayControl, SchemaArrayHandle, SchemaGroupHandle, SchemaValueHandle } from '../types/schema-node';
+/**
+ * Идентификатор узла: `selector` автора, а у узла без него — позиционный путь от корня области
+ * (`#/0/2`). Уникален в пределах области.
+ *
+ * @group Schema
+ */
+export type SchemaNodeId = string & {
+    readonly __nodeId: true;
+};
+/**
+ * Идентификатор области схемы: `#` — корень, `#/address` — подформа, `#/phones[3]` — строка
+ * массива (в скобках — стабильный ключ строки, который не меняется при перестановке).
+ *
+ * @group Schema
+ */
+export type SchemaScopeId = string & {
+    readonly __scopeId: true;
+};
+/** Ключи, общие для узлов всех видов, кроме текста. */
+interface CompiledNodeBase {
+    /** Идентификатор в области: `selector`, иначе позиционный путь. */
+    readonly id: SchemaNodeId;
+    /** Позиционный путь узла в области (`#/0/2`) — для сообщений об ошибках. */
+    readonly path: string;
+    /** `selector` автора: по нему узел адресуют поведение и шаги. */
+    readonly selector: string | undefined;
+    /** Область, которой принадлежит узел. */
+    readonly scope: SchemaScopeId;
+    /** Компонент узла как есть: ядро его не интерпретирует. */
+    readonly component: ComponentRef | undefined;
+    /** `componentProps` автора; без них — пустой объект. */
+    readonly props: Readonly<Record<string, unknown>>;
+    /** Авторский узел, из которого скомпилирован этот. */
+    readonly source: FormSchemaNode;
+}
+/**
+ * Поле: узел, привязанный к ручке значения — листу или массиву целиком.
+ *
+ * @group Schema
+ */
+export interface CompiledFieldNode extends CompiledNodeBase {
+    readonly kind: 'field';
+    /** Ручка значения `model.$.<лист | массив>`. */
+    readonly handle: SchemaValueHandle;
+    /** Поле создаётся отключённым. */
+    readonly disabled: boolean;
+}
+/**
+ * Массив под-форм: у каждой строки своя форма и своя область схемы.
+ *
+ * @group Schema
+ */
+export interface CompiledArrayNode extends CompiledNodeBase {
+    readonly kind: 'array';
+    /** Ручка массива `model.$.<массив>` — привязка фасадом нормализуется к ней. */
+    readonly handle: SchemaArrayHandle;
+    /** Фасад массива модели: длина, строки и мутации. */
+    readonly control: SchemaArrayControl;
+    /** Запасной шаблон нового элемента из узла; шаблон модели (`arrayOf`) главнее. */
+    readonly initialValue: unknown;
+    /**
+     * Скомпилированная схема строки — одна на под-модель строки: сборка формы строки и рендерер
+     * получают один и тот же объект.
+     */
+    row(rowModel: object): CompiledSchema;
+}
+/**
+ * Подформа: часть схемы, подключённая к группе модели. Содержимое компилируется сразу, в своей
+ * области.
+ *
+ * @group Schema
+ */
+export interface CompiledPartNode extends CompiledNodeBase {
+    readonly kind: 'part';
+    /** Ручка группы `model.$.<группа>`. */
+    readonly handle: SchemaGroupHandle;
+    /** Под-модель группы — ключ области подформы. */
+    readonly model: object;
+    /** Скомпилированное содержимое части. */
+    readonly content: CompiledSchema;
+}
+/**
+ * Контейнер: узел с детьми либо без привязки — секция, шаг визарда, html-тег. Без `component`
+ * рендерер рисует только детей.
+ *
+ * @group Schema
+ */
+export interface CompiledContainerNode extends CompiledNodeBase {
+    readonly kind: 'container';
+    /** Дети в порядке следования: узлы и текст. */
+    readonly children: readonly CompiledChild[];
+}
+/**
+ * Часть текста: литерал, число или сигнал (его значение выводится и обновляется на месте).
+ *
+ * @group Schema
+ */
+export type SchemaTextPart = string | number | Signal<any>;
+/**
+ * Текст контейнера: подряд идущие текстовые дети автора, склеенные в один узел.
+ *
+ * @group Schema
+ */
+export interface CompiledTextNode {
+    readonly kind: 'text';
+    /** Позиционный путь первой части. */
+    readonly id: SchemaNodeId;
+    readonly parts: readonly SchemaTextPart[];
+}
+/**
+ * Узел скомпилированной схемы: поле, массив под-форм, подформа или контейнер.
+ *
+ * @group Schema
+ */
+export type CompiledNode = CompiledFieldNode | CompiledArrayNode | CompiledPartNode | CompiledContainerNode;
+/**
+ * Ребёнок контейнера: узел либо текст.
+ *
+ * @group Schema
+ */
+export type CompiledChild = CompiledNode | CompiledTextNode;
+/**
+ * Скомпилированная схема одной области: корня сборки, строки массива или подформы.
+ *
+ * @group Schema
+ */
+export interface CompiledSchema {
+    /** Идентификатор области. */
+    readonly scope: SchemaScopeId;
+    /** Модель области: корень сборки, под-модель строки или группы; без модели — `undefined`. */
+    readonly model: object | undefined;
+    /** Корневой узел области. */
+    readonly root: CompiledNode;
+    /** Узлы этой области по идентификатору; узлы строк и подформ лежат в их схемах. */
+    readonly nodes: ReadonlyMap<SchemaNodeId, CompiledNode>;
+    /** Поля по ручке модели — этой области и её подформ (строки массивов — в их схемах). */
+    readonly fields: ReadonlyMap<object, CompiledFieldNode>;
+    /** Массивы под-форм по ручке модели — этой области и её подформ. */
+    readonly arrays: ReadonlyMap<object, CompiledArrayNode>;
+}
+export {};

package/dist/form/schema/row-key.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Стабильный ключ строки массива под-форм — по идентичности под-модели строки.
+ *
+ * Один источник для области строки в скомпилированной схеме (`#/phones[<ключ>]`) и для
+ * `FormArray.keyAt(index)`: ключ держится за элемент модели и не меняется при `move` и `swap`.
+ *
+ * @internal
+ * @module form/schema/row-key
+ */
+/** Ключ строки по её под-модели; первый запрос выдаёт новый ключ. */
+export declare function rowKeyOf(rowModel: object): number;