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

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;

package/dist/form/schema-controller.d.ts

@@ -1,4 +1,5 @@
 import { Signal } from '@preact/signals-core';
+import { CompiledSchema } from './schema/compiled';
 /**
  * Хуки жизненного цикла узла схемы. Каждый хук опционален; повторная регистрация перезаписывает
  * предыдущее значение.
@@ -12,7 +13,8 @@ export interface NodeLifecycleHooks {
     onUnmount?: () => void;
 }
 /**
- * Хранилище переопределений одной области схемы. Ключ каждой карты — `selector` узла.
+ * Хранилище переопределений одной области схемы. Ключ каждой карты — `selector` узла: он же
+ * идентификатор узла в скомпилированной схеме области ({@link SchemaNodeId}).
  *
  * @group Schema
  */
@@ -59,9 +61,24 @@ export interface SchemaNodeControl {
     getRef<H>(): {
         current: H | null;
     };
+    /**
+     * @internal Записать условие скрытия узла (`hideWhen`). Возвращает снятие: оно убирает условие,
+     * только если его не сменило более позднее.
+     */
+    addHideCondition(condition: () => boolean): () => void;
+    /**
+     * @internal Записать обработчик проп-события компонента узла (`onComponentEvent`). Возвращает
+     * снятие: оно убирает обработчик, только если его не сменил более поздний.
+     */
+    addEventHandler(event: string, handler: (...args: any[]) => any): () => void;
+    /**
+     * @internal Записать хук жизненного цикла узла (`onMount`, `onUnmount`). Возвращает снятие: оно
+     * убирает хук, только если его не сменил более поздний.
+     */
+    addLifecycleHook<K extends keyof NodeLifecycleHooks>(hook: K, value: NonNullable<NodeLifecycleHooks[K]>): () => void;
     /** @internal Селектор узла. */
     __selector: string;
-    /** @internal Хранилище области. */
+    /** @internal Хранилище области — его читает рендерер. */
     __overrideMaps: SchemaOverrideMaps;
 }
 /**
@@ -72,6 +89,11 @@ export interface SchemaNodeControl {
 export interface SchemaScope {
     /** Управление узлом области по его `selector`. */
     node(selector: string): SchemaNodeControl;
+    /**
+     * @internal Записать эффект, живущий, пока область смонтирована (`renderEffect`). Возвращает
+     * снятие.
+     */
+    addRenderEffect(effect: () => void | (() => void)): () => void;
     /** @internal Хранилище области — его читает рендерер. */
     __overrideMaps: SchemaOverrideMaps;
 }
@@ -87,12 +109,6 @@ export interface SchemaController {
      */
     scopeOf(subModel: object): SchemaScope;
 }
-/**
- * Пустое хранилище переопределений области.
- *
- * @group Schema
- */
-export declare function createSchemaOverrideMaps(): SchemaOverrideMaps;
 /**
  * Схема области поверх хранилища: `node(selector)` → управление узлом.
  *
@@ -116,22 +132,22 @@ export declare function createSchemaScope(maps?: SchemaOverrideMaps): SchemaScop
  */
 export declare function createSchemaController(): SchemaController;
 /**
- * Селекторы, на которые в области записаны правила, но которых нет в её дереве. Такое правило
- * ничего не делает — сборка и рендерер в dev предупреждают о нём.
+ * Селекторы, на которые в области записаны правила, но которых нет в её скомпилированной схеме.
+ * Такое правило ничего не делает — сборка и рендерер в dev предупреждают о нём.
  *
  * Ref в проверку не входит: его разрешено брать по абсолютному пути модели
  * (`phones.0.number`), а такой строки при сборке может ещё не быть.
  *
  * @param maps - Хранилище области.
- * @param tree - Дерево (поддерево) области.
- * @returns Селекторы с правилами, не найденные в дереве.
+ * @param compiled - Скомпилированная схема области ({@link CompiledSchema}).
+ * @returns Селекторы с правилами, не найденные в схеме области.
  *
  * @example
  * ```typescript
  * const scope = controller.scopeOf(model);
- * unknownSchemaSelectors(scope.__overrideMaps, tree); // ['mortgage'] — узла с таким selector нет
+ * unknownSchemaSelectors(scope.__overrideMaps, bundle.render.tree!); // ['mortgage'] — узла нет
  * ```
  *
  * @group Schema
  */
-export declare function unknownSchemaSelectors(maps: SchemaOverrideMaps, tree: unknown): string[];
+export declare function unknownSchemaSelectors(maps: SchemaOverrideMaps, compiled: CompiledSchema): string[];