@reformer/core 11.0.0-beta.4 → 11.0.0-beta.5

package/llms.txt

@@ -42,6 +42,8 @@
 
 ## 1. 1. API Reference
 
+**api-reference**
+
 ### Imports (CRITICALLY IMPORTANT)
 
 Архитектура M1: значения живут в **модели** (`createModel`), а форма (`createForm`) строит ноды поверх сигналов модели. Behaviors работают на сигналах (`model.$.field`), а не на строковых путях.
@@ -106,6 +108,8 @@ const { value, errors, disabled } = useFormControl(control.loanType);
 
 ## 2. 1.5 QUICK START - Minimal Working Form
 
+**quick-start**
+
 > **Schema-driven UI rule (read first)**: компонент И его пропсы (label, placeholder,
 > options, type) объявляются в **схеме поля** (`component` + `componentProps`).
 > В JSX рендерится один универсальный `<FormField control={form.x} />` из
@@ -124,7 +128,7 @@ const { value, errors, disabled } = useFormControl(control.loanType);
 import { createCoreForm, createModel, useFormBundle, type FormProxy } from '@reformer/core';
 import { defineValidationSchema, validate, validateModel } from '@reformer/core/validation';
 import { required, email } from '@reformer/core/validators';
-import { FormField, Input, Button } from '@reformer/ui-kit';
+import { FormField, InputField, Button } from '@reformer/ui-kit';
 
 // 1. Define form type as `type` alias (not `interface` — see Recipe 2)
 type ContactForm = {
@@ -140,12 +144,12 @@ const model = createModel<ContactForm>({ name: '', email: '' });
 const schema = {
   name: {
     value: model.$.name,
-    component: Input,
+    component: InputField,
     componentProps: { label: 'Name', placeholder: 'Your name' },
   },
   email: {
     value: model.$.email,
-    component: Input,
+    component: InputField,
     componentProps: { label: 'Email', type: 'email' },
   },
 };
@@ -219,13 +223,13 @@ const model = createModel<MyForm>({ properties: [] });
 const propertyItem = (item: FormModel<PropertyItem>) => ({
   type: {
     value: item.$.type,
-    component: Select,
+    component: SelectField,
     componentProps: { label: 'Тип', options: [/* ... */] },
   },
-  description: { value: item.$.description, component: Textarea, componentProps: { label: 'Описание' } },
+  description: { value: item.$.description, component: TextareaField, componentProps: { label: 'Описание' } },
   estimatedValue: {
     value: item.$.estimatedValue,
-    component: Input,
+    component: InputField,
     componentProps: { label: 'Стоимость', type: 'number' },
   },
 });
@@ -257,6 +261,8 @@ model.properties.length; // реактивная длина
 
 ## 3. 2. API SIGNATURES
 
+**api-signatures**
+
 ### Model & Form
 
 ```typescript
@@ -329,9 +335,9 @@ const model = createModel<Loan>({ email: '', age: 0, amount: 0 });
 const form = createForm({
   model,
   schema: {
-    email:  { value: model.$.email,  component: Input },
-    age:    { value: model.$.age,    component: Input },
-    amount: { value: model.$.amount, component: Input },
+    email:  { value: model.$.email,  component: InputField },
+    age:    { value: model.$.age,    component: InputField },
+    amount: { value: model.$.amount, component: InputField },
   },
 });
 
@@ -531,6 +537,8 @@ revalidateWhen([model.$.dep], () => void validateModel(model, schema));
 
 ## 4. 3. COMMON PATTERNS
 
+**common-patterns**
+
 Все паттерны — на архитектуре M1: значения в модели (`model.$.field`), поведение (`defineFormBehavior`)
 на живых сигналах, валидация — отдельной ambient-схемой (`defineValidationSchema`, прогон по требованию
 через `validateModel`). Слои раздельны: layout НЕ несёт validators.
@@ -734,6 +742,8 @@ const schema = defineValidationSchema<MyForm>(({ model }) => {
 
 ## 5. 4. COMMON MISTAKES
 
+**common-mistakes**
+
 ### Imports rule (#1 cause of cascading errors — read first)
 
 - Модель/форма/хуки/типы (`FormModel`, `ValidationError`)/**примитивы behaviors** — из `@reformer/core`.
@@ -827,7 +837,7 @@ computeFrom([model.$.price, model.$.quantity], model.$.total, (price, qty) => pr
 ```typescript
 // ❌ WRONG - дерево { value, validators } и позиционная строка удалены
 const schema = {
-  email: { value: model.$.email, component: Input, validators: [required(), email()] },
+  email: { value: model.$.email, component: InputField, validators: [required(), email()] },
 };
 validate(path.email, required(), 'Email is required'); // старая сигнатура validate() — удалена
 
@@ -902,6 +912,8 @@ if (isFieldNode(node)) { ... }
 
 ## 6. 5. TROUBLESHOOTING
 
+**troubleshooting**
+
 | Error                                                  | Cause                                                    | Solution                                          |
 | ------------------------------------------------------ | -------------------------------------------------------- | ------------------------------------------------- |
 | `'string' is not assignable to '{ message?: string }'` | Валидатору передали строку вместо options                | Используй `required({ message: 'text' })`         |
@@ -914,6 +926,8 @@ if (isFieldNode(node)) { ... }
 
 ## 7. Import Patterns
 
+**complete-import**
+
 ```typescript
 // Модель, форма, хуки, типы, примитивы behaviors — из @reformer/core
 import {
@@ -1014,6 +1028,8 @@ export type CoBorrower = {
 
 ## 8. 7. FORM TYPE DEFINITION
 
+**form-types**
+
 Form-shape объявляй через `type`-alias (не `interface` — см. `30-type-safety-recipes.md`).
 Тип описывает форму ДАННЫХ (то, что кладётся в `createModel`), без узлов/сигналов.
 
@@ -1062,6 +1078,8 @@ const model = createModel<MyForm>({
 
 ## 9. 8. SCHEMA FORMAT (CRITICALLY IMPORTANT)
 
+**formschema**
+
 Под M1 схема **привязывает поле к сигналу модели** (`value: model.$.field`) и держит
 UI-конфиг (`component`/`componentProps`). Значения принадлежат модели. Валидаторов в
 layout-схеме НЕТ — правила живут в отдельной схеме `defineValidationSchema` из
@@ -1072,7 +1090,7 @@ layout-схеме НЕТ — правила живут в отдельной с
 ```typescript
 {
   value: model.$.fieldName,   // сигнал модели (PathAwareSignal) — обязателен
-  component: Input,           // React-компонент
+  component: InputField,           // React-компонент
   componentProps?: object,    // пропсы (label, placeholder, options, type, ...)
   disabled?: boolean,
   updateOn?: 'change' | 'blur' | 'submit',
@@ -1090,7 +1108,7 @@ layout-схеме НЕТ — правила живут в отдельной с
 import { createModel, createForm } from '@reformer/core';
 import { defineValidationSchema, validate } from '@reformer/core/validation';
 import { required } from '@reformer/core/validators';
-import { Input, Select, Checkbox } from '@reformer/ui-kit';
+import { InputField, SelectField, CheckboxField } from '@reformer/ui-kit';
 
 const model = createModel<MyForm>({ name: '', age: null, agree: false, status: 'active' });
 
@@ -1102,22 +1120,22 @@ const myValidation = defineValidationSchema<MyForm>(({ model }) => {
 const schema = {
   name: {
     value: model.$.name,
-    component: Input,
+    component: InputField,
     componentProps: { label: 'Name', placeholder: 'Enter name' },
   },
   age: {
     value: model.$.age,
-    component: Input,
+    component: InputField,
     componentProps: { type: 'number', label: 'Age' },
   },
   agree: {
     value: model.$.agree,
-    component: Checkbox,
+    component: CheckboxField,
     componentProps: { label: 'I agree to terms' },
   },
   status: {
     value: model.$.status,
-    component: Select,
+    component: SelectField,
     componentProps: {
       label: 'Status',
       options: [
@@ -1141,9 +1159,9 @@ const form = createForm<MyForm>({ model, schema });
 import type { FormModel } from '@reformer/core';
 
 const addressNodes = (m: FormModel<Address>) => ({
-  street: { value: m.$.street, component: Input, componentProps: { label: 'Street' } },
-  city:   { value: m.$.city,   component: Input, componentProps: { label: 'City' } },
-  zip:    { value: m.$.zip,    component: Input, componentProps: { label: 'ZIP' } },
+  street: { value: m.$.street, component: InputField, componentProps: { label: 'Street' } },
+  city:   { value: m.$.city,   component: InputField, componentProps: { label: 'City' } },
+  zip:    { value: m.$.zip,    component: InputField, componentProps: { label: 'ZIP' } },
 });
 
 const schema = {
@@ -1160,8 +1178,8 @@ const schema = {
 import type { FormModel } from '@reformer/core';
 
 const itemSchema = (item: FormModel<Item>) => ({
-  id:   { value: item.$.id,   component: Input, componentProps: { label: 'ID' } },
-  name: { value: item.$.name, component: Input, componentProps: { label: 'Name' } },
+  id:   { value: item.$.id,   component: InputField, componentProps: { label: 'ID' } },
+  name: { value: item.$.name, component: InputField, componentProps: { label: 'Name' } },
 });
 
 const schema = {
@@ -1206,6 +1224,8 @@ if (isFieldNode(node)) { /* ... */ }
 
 ## 10. 9. ARRAY SCHEMA FORMAT
 
+**arrays**
+
 Массивы объектов — **model-owned**: данные принадлежат модели (`model.arrayField` — это
 `ModelArray<Item>` с реактивными `push`/`removeAt`/`length`). В схеме массив объявляется узлом
 `{ array: model.<path>, item: (itemModel) => subSchema }`, где `item` строит под-схему одного
@@ -1213,7 +1233,7 @@ if (isFieldNode(node)) { /* ... */ }
 
 ```typescript
 import { createModel, createForm, type FormModel } from '@reformer/core';
-import { Input } from '@reformer/ui-kit';
+import { InputField } from '@reformer/ui-kit';
 
 type Item = { id: string; name: string; price: number };
 type MyForm = { items: Item[] };
@@ -1222,9 +1242,9 @@ const model = createModel<MyForm>({ items: [] });
 
 // под-схема одного элемента (item.$.field — сигнал под-модели)
 const itemSchema = (item: FormModel<Item>) => ({
-  id:    { value: item.$.id,    component: Input },
-  name:  { value: item.$.name,  component: Input },
-  price: { value: item.$.price, component: Input, componentProps: { type: 'number' } },
+  id:    { value: item.$.id,    component: InputField },
+  name:  { value: item.$.name,  component: InputField },
+  price: { value: item.$.price, component: InputField, componentProps: { type: 'number' } },
 });
 
 const schema = {
@@ -1368,6 +1388,8 @@ cross(model.$.hasItems, (f: MyForm) => {
 
 ## 12. 10. ASYNC REACTION — onChange (CRITICALLY IMPORTANT)
 
+**async-watchfield**
+
 Для async-реакции на изменение поля (загрузка зависимых опций, справочников) используй
 `onChange` из `@reformer/core/behaviors`. Колбэк выполняется ВНЕ effect-контекста (можно
 безопасно писать сигналы/ноды), а 2-й аргумент — `{ signal }` (AbortSignal): при следующей
@@ -1422,6 +1444,8 @@ const stop = watchField(model.$.country, (country) => {
 
 ## 13. 11. ARRAY CLEANUP PATTERN
 
+**array-cleanup**
+
 Очистка массива при выключении флага — через `onChange` на сигнале флага + `clear()` на
 модели-массиве. Колбит выполняется вне effect-контекста, поэтому мутировать массив безопасно.
 
@@ -1454,6 +1478,8 @@ clearWhenOff(model.$.hasProperty, model.properties);
 
 ## 14. 12. MULTI-STEP FORM VALIDATION
 
+**multi-step**
+
 Каждый шаг — своя `ValidationSchema<Form>` (обычная функция `({ model }) => void`, обёрнутая
 `defineValidationSchema`). Переход к следующему шагу проверяется `validateModel(model, stepSchema)`;
 полный submit — по общей схеме (композиция шагов через `apply(...)`). `validateModel` сам разносит
@@ -1546,6 +1572,8 @@ function MultiStepForm() {
 
 ## 15. 13. EXTENDED COMMON MISTAKES
 
+**extended-mistakes**
+
 ### Reuse via apply / applyEach — не дублируй код
 
 ```typescript
@@ -1617,7 +1645,7 @@ import { revalidateWhen, type ValidationError } from '@reformer/core';
 // ❌ старое (УДАЛЕНО): дерево { value, validators }, ModelValidator (value, scope, root), validateFormModel
 const legacyRule: ModelValidator<number, unknown, Form> = (_value, _scope, root) =>
   root.field1 > root.field2 ? { code: 'error', message: 'Invalid' } : null;
-const legacySchema = { field1: { value: model.$.field1, component: Input, validators: [legacyRule] } };
+const legacySchema = { field1: { value: model.$.field1, component: InputField, validators: [legacyRule] } };
 validateFormModel(model, legacySchema);
 
 // ✅ новое: cross-правило — обычная функция над снапшотом (model.get()), не читает scope/root
@@ -1645,6 +1673,8 @@ revalidateWhen([model.$.field2], () => void validateModel(model, schema));
 
 ## 16. 14. PROJECT STRUCTURE (COLOCATION)
 
+**project-structure**
+
 One form is one module folder. **Default layout — flat minimalist:** every concern is a single
 file at the module root, and the whole form (entry + all wizard steps inline) lives in one
 `index.tsx`. Filenames are flat with no prefix — **the dot-prefix (`form.` / `renderer.`) is
@@ -1692,7 +1722,7 @@ export const createCreditApplicationModel = (): FormModel<CreditApplicationForm>
 // forms/credit-application/form.schema.ts
 import type { FormModel } from '@reformer/core';
 export const creditApplicationSchema = (model: FormModel<CreditApplicationForm>) => ({
-  loanType: { value: model.$.loanType, component: Select, componentProps: { /* ... */ } },
+  loanType: { value: model.$.loanType, component: SelectField, componentProps: { /* ... */ } },
   personalData: personalDataNodes(model.$.personalData),
   properties: { array: model.properties, item: propertyItem },
 });
@@ -1739,9 +1769,9 @@ forms/
     │
     ├── schema/                   # The form definition
     │   ├── model.ts             # createModel factory + initial values + array-element factories
-    │   ├── schema.ts            # schema builder (model) => tree ({ value: model.$.x, component })
+    │   ├── form.schema.ts       # schema builder (model) => tree ({ value: model.$.x, component })
     │   ├── validation.ts        # defineValidationSchema + validateModel config ({ validateStep, validateAll })
-    │   ├── behavior.ts          # defineFormBehavior(...)
+    │   ├── form.behavior.ts     # defineFormBehavior(...)
     │   └── create-form.ts       # Assembly: createCoreForm({ model, schema, behavior, validation })
     │
     └── components/
@@ -1752,7 +1782,7 @@ forms/
 
 Rule of thumb for this layout: **domain raw material → `lib/`; anything describing the form →
 `schema/`; React layout → `components/`; root = entry + `index.ts`.** In very large forms you
-may co-locate each step's `schema.ts` / `validation.ts` / `behavior.ts` inside its
+may co-locate each step's `form.schema.ts` / `validation.ts` / `form.behavior.ts` inside its
 `steps/[Step]/` folder, keeping only the shared `model` and cross-step rules in `schema/` — see
 the guide below.
 
@@ -1769,12 +1799,15 @@ the guide below.
 > is `minimalist`.
 
 > Cross-target variants (renderer-react `renderer.schema.ts` + `renderer.behavior.ts` /
-> renderer-json `renderer.schema.json` + `renderer.behavior.ts` + `registry.ts`), the
-> centralized-vs-co-located choice, and the full reuse map live in the
-> **form-directory-layout** guide (`@reformer/mcp`).
+> renderer-json `renderer.schema.ts` + `renderer.behavior.ts` + `registry.ts`, plus an optional
+> `renderer.wizard.tsx` shim), the `.tsx` / `.json` schema variants, the centralized-vs-co-located
+> choice, and the full reuse map live in the **form-directory-layout** guide (`@reformer/mcp`) —
+> `find_recipe directory-layout`.
 
 ## 17. 14.5 UI COMPONENT PATTERNS
 
+**ui-components**
+
 > **Default rule (read first)**: для UI используй `FormField` из
 > [`@reformer/ui-kit`](../../reformer-ui-kit/) — он покрывает 95% случаев одной
 > строкой `<FormField control={form.x} />`. Свои field-обёртки пиши ТОЛЬКО если
@@ -1782,7 +1815,7 @@ the guide below.
 >
 > Канонический schema-driven подход:
 >
-> - **компонент** объявляется в схеме как `component: Input` (или `Select`, `Checkbox`, etc.)
+> - **компонент** объявляется в схеме как `component: InputField` (или `Select`, `Checkbox`, etc.)
 > - **пропсы** компонента — в `componentProps: { label, placeholder, options, type, ... }`
 > - **JSX рендерит**: `<FormField control={form.x} />` БЕЗ дополнительных props
 >
@@ -1794,7 +1827,7 @@ the guide below.
 ```tsx
 import { useMemo } from 'react';
 import { createModel, createForm } from '@reformer/core';
-import { FormField, Input, Select, Checkbox, Button } from '@reformer/ui-kit';
+import { FormField, InputField, SelectField, CheckboxField, Button } from '@reformer/ui-kit';
 
 type RegistrationForm = {
   email: string;
@@ -1808,12 +1841,12 @@ function RegistrationPage() {
     const schema = {
       email: {
         value: model.$.email,
-        component: Input,
+        component: InputField,
         componentProps: { label: 'Email', type: 'email', placeholder: 'you@example.com' },
       },
       country: {
         value: model.$.country,
-        component: Select,
+        component: SelectField,
         componentProps: {
           label: 'Country',
           options: [
@@ -1824,7 +1857,7 @@ function RegistrationPage() {
       },
       agree: {
         value: model.$.agree,
-        component: Checkbox,
+        component: CheckboxField,
         componentProps: { label: 'I agree to terms' },
       },
     };
@@ -1867,7 +1900,7 @@ function RegistrationPage() {
 ✅ Всё это в схеме:
 
 ```ts
-{ email: { component: Input, componentProps: { label: 'Email' } } }
+{ email: { component: InputField, componentProps: { label: 'Email' } } }
 ```
 
 ```tsx
@@ -1965,6 +1998,8 @@ function ShadcnFormField({ control }: { control: FieldNode<string> }) {
 
 ## 18. 15. NON-EXISTENT API (DO NOT USE)
 
+**nonexistent-api**
+
 **Следующего API НЕТ в @reformer/core** (наследие старой path-based архитектуры,
 удалено при переходе на M1 и при разделении валидации/поведения):
 
@@ -2029,8 +2064,8 @@ const schema = {
 
 // CORRECT - layout только связывает поле с сигналом модели...
 const layout = {
-  name:  { value: model.$.name,  component: Input, componentProps: { label: 'Name' } },
-  email: { value: model.$.email, component: Input, componentProps: { label: 'Email' } },
+  name:  { value: model.$.name,  component: InputField, componentProps: { label: 'Name' } },
+  email: { value: model.$.email, component: InputField, componentProps: { label: 'Email' } },
 };
 
 // ...а правила — отдельная ambient-схема (прогоняется раннером validateModel):
@@ -2059,6 +2094,8 @@ revalidateWhen([model.$.password], () => void validateModel(model, validation));
 
 ## 19. Purpose
 
+**Условные поля — видимость, доступность и валидация**
+
 «Показать поле X только если Y» под M1 решается тремя независимыми механизмами — выбирай по
 тому, что именно должно быть условным:
 
@@ -2241,6 +2278,8 @@ function MortgageFields({ form }: { form: CreditForm }) {
 
 ## 25. 16. READING FIELD VALUES (CRITICALLY IMPORTANT)
 
+**reading-values**
+
 Под M1 значения живут в модели. Есть три контекста чтения: value-доступ модели, сигналы, и React-хуки.
 
 ### В React-компоненте — хуки
@@ -2330,6 +2369,8 @@ const behavior = defineFormBehavior<MyForm>(({ model, form }) => {
 
 ## 26. 17. COMPUTE vs ONCHANGE
 
+**compute-vs-watch**
+
 Под M1 behaviors работают на сигналах модели. Есть два способа их писать:
 
 - **примитивы из `@reformer/core`** — принимают сигналы, возвращают cleanup, вызываются
@@ -2478,6 +2519,8 @@ watchField(model.$, (all) => autosave(all));           // любое поле ф
 
 ## 27. 18. ARRAY OPERATIONS
 
+**array-operations**
+
 Массивы объектов — model-owned. Мутации делаются через `ModelArray` (`model.arrayField`);
 рендер — через ноду формы (`form.items.map` / `.at`).
 
@@ -2592,6 +2635,8 @@ cross(model.$.totalPercent, percentagesSumTo100); // носитель — ска
 
 ## 28. Как устроено под M1
 
+**Cycle Detection — предотвращение «Cycle detected»**
+
 Behaviors на сигналах уже защищены от типичных циклов:
 
 - `compute`/`computeFrom` пишут в цель только если значение изменилось (**peek-guard**), а цель
@@ -2677,6 +2722,8 @@ enableWhen([model.$.propertyValue, model.$.initialPayment], () => model.loanType
 
 ## 32. Purpose
 
+**copyFrom — Копирование значений между полями**
+
 `copyFrom` декларативно копирует значение одного поля (или группы) в другое при выполнении
 условия `when`. Используется для UX-сценариев «совпадает с …»: «адрес проживания = адрес
 регистрации», «email для уведомлений = основной email», «billing = shipping». Оператор сам
@@ -2817,6 +2864,8 @@ A: `copyFrom` при `when === false` просто не пишет (не сбр
 
 ## 38. Purpose
 
+**syncFields — Двусторонняя синхронизация полей**
+
 `syncFields` создаёт двунаправленную связь между двумя полями: изменение любого из них
 переписывает второе. Применяется для дублей одного значения в разных частях формы
 (тех. поле + видимое представление, mirror-поля). Внутренний флаг + `runOutsideEffect`
@@ -2930,6 +2979,8 @@ A: У `syncFields` нет `when`. Эмулируй через два `copyFrom(a
 
 ## 44. Purpose
 
+**resetWhen — Условный сброс полей**
+
 `resetWhen` сбрасывает значение поля к `resetValue`, когда `condition` истинно. Это
 альтернатива `enableWhen({ resetOnDisable: true })`, когда поле остаётся **enabled**, но
 содержимое нужно очистить (например, переключение способа оплаты обнуляет «номер карты», но
@@ -3044,6 +3095,8 @@ A: `resetWhen` рассчитан на скалярные сигналы. Для
 
 ## 50. Purpose
 
+**transformValue — Автоматическая трансформация значений**
+
 `transformValue` подписывается на изменение поля и переписывает его трансформированной
 версией: uppercase для кодов, trim+toLowerCase для email, округление для чисел. Применяется
 единообразно ко всем источникам изменения (пользователь, `model.field = …`, `model.set/patch`,
@@ -3179,6 +3232,8 @@ A: Симптом частых записей. Форматирование с
 
 ## 56. Purpose
 
+**revalidateWhen — Перевалидация по триггерам**
+
 `revalidateWhen` вызывает переданный колбэк ревалидации, когда изменяется любая из
 зависимостей. Применяется, когда правило зависит от значений других полей
 (`amount <= maxAmount`, `confirmPassword === password`, `initialPayment >= propertyValue * 0.2`).
@@ -3310,6 +3365,8 @@ A: Схема — обычная функция, поэтому опиши ст
 
 ## 62. Purpose
 
+**Submit и Reset — Жизненный цикл отправки формы**
+
 Канонический submit-флоу под M1: «запустить полную валидацию данных (`validateModel`) →
 проверить `boolean`-результат → достать снимок (`model.get()`) → сделать запрос → `model.reset()`».
 Валидация — **отдельный слой** (`@reformer/core/validation`, схема через `defineValidationSchema`), она
@@ -3568,6 +3625,8 @@ A: `model.get()` возвращает значения всех полей. Фи
 
 ## 68. Purpose
 
+**Async Preload — Загрузка начальных значений и справочников**
+
 Загрузка формы данными с сервера под M1: (1) **initial values** в `createModel(...)`; (2)
 **`model.set` / `model.patch`** для загрузки/обновления значений; (3) **external React-hook**
 для full-blown async preload (параллельный fetch заявки + справочников, обработка ошибок,
@@ -3597,16 +3656,16 @@ Initial values задаются в `createModel(initial)`; `reset()` возвр
 
 ```typescript
 import { createModel, createForm } from '@reformer/core';
-import { Input, Select } from '@reformer/ui-kit';
+import { InputField, SelectField } from '@reformer/ui-kit';
 
 type ProfileForm = { username: string; language: 'ru' | 'en'; marketing: boolean };
 
 const model = createModel<ProfileForm>({ username: '', language: 'ru', marketing: true });
 const schema = {
-  username: { value: model.$.username, component: Input, componentProps: { label: 'Username' } },
+  username: { value: model.$.username, component: InputField, componentProps: { label: 'Username' } },
   language: {
     value: model.$.language,
-    component: Select,
+    component: SelectField,
     componentProps: {
       label: 'Язык',
       options: [
@@ -3615,7 +3674,7 @@ const schema = {
       ],
     },
   },
-  marketing: { value: model.$.marketing, component: Input, componentProps: { type: 'checkbox' } },
+  marketing: { value: model.$.marketing, component: InputField, componentProps: { type: 'checkbox' } },
 };
 const form = createForm({ model, schema });
 // model.get() === { username: '', language: 'ru', marketing: true }
@@ -3760,6 +3819,8 @@ A: `reset()` возвращает к initial-снимку из `createModel`, н
 
 ## 74. 30. TYPE-SAFETY RECIPES
 
+**type-safety-recipes**
+
 Идиоматичные паттерны, которые держат сгенерированный код без `any` и `as`-кастов под M1.
 
 ### Recipe 1 — Imports (root cause prevention)
@@ -3819,7 +3880,7 @@ Layout-схема БЕЗ валидаторов — правила живут в
 const model = createModel<CreditApplicationForm>(initial);
 
 const schema = {
-  loanAmount: { value: model.$.loanAmount, component: Input },
+  loanAmount: { value: model.$.loanAmount, component: InputField },
   // вложенная группа — builder, принимающий ModelSignals<Sub>
   personalData: personalDataNodes(model.$.personalData),
   // массив — { array, item }
@@ -3920,6 +3981,8 @@ validate(model.$.birthDate, [validateAdultAge]);
 
 ## 75. 31. ASYNC VALIDATOR
 
+**async-validator-debounce**
+
 Для проверок типа «уникальность email», «валидация ИНН через API», «проверка адреса» —
 async-правило это `AsyncRule<T>` = `(value, { signal }) => Promise<ValidationError | null>`.
 Оно регистрируется оператором `validateAsync(sig, [asyncRules])` внутри схемы валидации
@@ -4056,6 +4119,8 @@ return checking ? <Spinner /> : errors.length ? <Error errors={errors} /> : null
 
 ## 76. 32. ASYNC OPTIONS LOADING
 
+**async-options-loading**
+
 Для динамической подгрузки опций dropdown'а по значению другого поля (`region` → `city options`,
 `carBrand` → `carModel options`) — используй `onChange` из `@reformer/core/behaviors` +
 `form.field.updateComponentProps({ options })`. `onChange` даёт debounce и AbortSignal из коробки.
@@ -4165,6 +4230,8 @@ loadOptionsOn(model.$.carBrand, form.carModel, fetchCarModels, { resetTarget: tr
 
 ## 77. Purpose
 
+**useFormValidation — Единый выбор стратегии валидации**
+
 Одна декларативная точка выбора «когда прогонять схему валидации» вместо ручной разводки
 `markAsTouched` + `validateModel` + `revalidateWhen` + `useState(pending)`. Аддитивный слой над
 функциональной схемой (`@reformer/core/validation`): переиспользует `validateModel` как
@@ -4359,6 +4426,34 @@ if (typeof window !== 'undefined') ctrl.start();
 
 _Auto-generated from JSDoc on public exports._
 
+### aggregateInto
+
+**Kind:** `function`
+
+Агрегатная запись в строки массива. `derive(snapshot)` получает СНИМОК строк и возвращает список
+`{ index, patch }`, который применяется к строкам. Записи КОАЛЕСИРУЮТСЯ в один отложенный проход на
+финальном состоянии — поэтому массовые синхронные мутации (push в цикле) не вызывают каскад на
+промежуточных состояниях. `derive` должна сходиться (на фикспоинте возвращать те же значения).
+
+**Signature:**
+```typescript
+export function aggregateInto<TItem>(
+  array: object,
+  derive: (rows: TItem[]) => Array<{ index: number; patch: Partial<TItem> }>
+): void
+```
+
+**Examples:**
+
+// последняя строка = 100 − Σ(остальные)
+aggregateInto(model.$.rows, (rows) => {
+  const n = rows.length; if (n === 0) return [];
+  const others = rows.slice(0, n - 1).reduce((s, r) => s + r.percent, 0);
+  return [{ index: n - 1, patch: { percent: 100 - others } }];
+});
+
+_Source: src/form/behaviors/collections.ts_
+
 ### AnyFunction
 
 **Kind:** `type`
@@ -4373,6 +4468,47 @@ export type AnyFunction = (...args: never[]) => unknown;
 
 _Source: src/form/types/index.ts_
 
+### apply
+
+**Kind:** `function`
+
+Композиция под-схем в текущую (над той же моделью scope). Заменяет пошаговую группировку.
+
+**Signature:**
+```typescript
+export function apply<T>(...schemas: ValidationSchema<T>[]): void
+```
+
+_Source: src/form/validation/operators.ts_
+
+### applyEach
+
+**Kind:** `function`
+
+Применить под-схему к КАЖДОМУ элементу динамического массива (per-item поведение).
+Реагирует на добавление/удаление строк: новым строкам поведение применяется, удалённым — отписывается.
+
+Под-схема получает scope строки: `model` (под-модель строки — `row.$.field`) и `form` (нода строки).
+- Value-операции (`compute`/`copyFrom`/`transformValue` на `row.$.*`) работают всегда.
+- Node-операции (`enableWhen`/`updateComponentProps`/`reset` через `form.*`) требуют, чтобы массив был
+  МАТЕРИАЛИЗОВАН в форме (узел `{ array, item }` в схеме) — тогда `form` строки = та же нода, что
+  рендерится, а её сигналы зарегистрированы (`enableWhen` резолвит ноду). Без материализации доступ
+  к `form.*` бросит понятную ошибку (см. {@link unmaterializedRowForm}).
+
+**Signature:**
+```typescript
+export function applyEach<TItem>(array: object, itemSchema: FormBehavior<TItem>): void
+```
+
+**Examples:**
+
+applyEach(model.$.items, defineFormBehavior<Item>(({ model: row, form }) => {
+  compute(row.$.lineTotal, () => row.qty * row.price);    // value-op — всегда
+  enableWhen(row.$.discount, () => row.qty > 10);          // node-op — нужна материализация массива
+}));
+
+_Source: src/form/behaviors/collections.ts_
+
 ### ArrayControlState
 
 **Kind:** `interface`
@@ -4557,8 +4693,8 @@ export class ArrayNode<T extends object> extends FormNode<T[]> {
 
 ```typescript
 const array = new ArrayNode({
-  title: { value: '', component: Input },
-  price: { value: 0, component: Input },
+  title: { value: '', component: InputField },
+  price: { value: 0, component: InputField },
 });
 
 array.push({ title: 'Item 1', price: 100 });
@@ -4585,6 +4721,23 @@ export interface ArrayNodeLike {
 
 _Source: src/form/types/index.ts_
 
+### AsyncRule
+
+**Kind:** `type`
+
+Асинхронное правило поля. Получает `AbortSignal` для отмены устаревших ответов (быстрый повторный
+прогон той же схемы отменяет предыдущий). Сетевой сбой не должен блокировать — ловите и возвращайте `null`.
+
+**Signature:**
+```typescript
+export type AsyncRule<TField> = (
+  value: TField,
+  ctx: { signal: AbortSignal }
+) => Promise<ValidationError | null>;
+```
+
+_Source: src/form/validation/types.ts_
+
 ### AsyncValidatorFn
 
 **Kind:** `type`
@@ -4657,6 +4810,19 @@ export type BehaviorCleanup = () => void;
 
 _Source: src/model/behaviors-value.ts_
 
+### BehaviorScope
+
+**Kind:** `type`
+
+Контекст схемы поведения: модель (значения/сигналы) + форма (ноды).
+
+**Signature:**
+```typescript
+export type BehaviorScope<T> = { model: FormModel<T>; form: FormProxy<T> };
+```
+
+_Source: src/form/behaviors/types.ts_
+
 ### buildValidation
 
 **Kind:** `function`
@@ -4694,6 +4860,38 @@ await v!.validateAll();     // все шаги + extras
 
 _Source: src/form/validation/config.ts_
 
+### ChangeContext
+
+**Kind:** `interface`
+
+Контекст async-реакции: `signal` аннулируется, когда поле меняется снова до завершения колбэка.
+
+**Signature:**
+```typescript
+export interface ChangeContext {
+  signal: AbortSignal;
+}
+```
+
+_Source: src/form/behaviors/types.ts_
+
+### compute
+
+**Kind:** `function`
+
+Вычисляемое поле с auto-tracking: `target = read()` при изменении прочитанных сигналов.
+
+**Signature:**
+```typescript
+export function compute<R>(
+  target: Signal<R>,
+  read: () => R,
+  options?: { when?: () => boolean }
+): void
+```
+
+_Source: src/form/behaviors/operators.ts_
+
 ### computeFrom
 
 **Kind:** `function`
@@ -4916,8 +5114,8 @@ const model = createModel<UserForm>({ email: '', password: '' });
 // Layout-схема НЕ несёт validators — только component/componentProps.
 const schema = {
 children: [
-{ value: model.$.email, component: Input },
-{ value: model.$.password, component: Input },
+{ value: model.$.email, component: InputField },
+{ value: model.$.password, component: InputField },
 ],
 };
 
@@ -4976,7 +5174,7 @@ _Source: src/form/create-core-form.ts_
 
 Значения принадлежат модели (источник истины), ноды формы держат UI/валидационное состояние и
 ссылаются на сигналы модели по идентичности (`node.value === model.$.path`). Обходит структуру
-модели, привязывает конфиг поля (component/componentProps/validators) из схемы, материализует
+модели, привязывает конфиг поля (component/componentProps) из схемы, материализует
 top-level массивы как {@link ModelArrayNode}, заполняет реестр сигнал→нода (для `enableWhen`/
 роутинга ошибок) и, при наличии, запускает декларативное поведение (cleanup живёт на форме).
 
@@ -5008,9 +5206,10 @@ const model = createModel<Form>({ email: '', profile: { name: '', age: 0 } });
 const schema = {
 component: Section,
 children: [
-{ value: model.$.email, component: Input, validators: [required] },
+// Layout несёт только component/componentProps; правила — в отдельной ValidationSchema.
+{ value: model.$.email, component: InputField },
 // вложенная группа: `model.$.profile.name` (≡ под-модель `model.profile.$.name` — тот же сигнал)
-{ value: model.$.profile.name, component: Input },
+{ value: model.$.profile.name, component: InputField },
 ],
 };
 
@@ -5031,7 +5230,7 @@ _Source: src/form/create-form.ts_
 **Kind:** `interface`
 
 Аргументы createForm под архитектуру M1: данные приходят из {@link FormModel},
-конфиг полей (component/componentProps/validators) — из единой схемы.
+конфиг полей (component/componentProps) — из единой схемы.
 
 **Signature:**
 ```typescript
@@ -5053,6 +5252,41 @@ export interface CreateFormFromModelArgs<T> {
 
 _Source: src/form/create-form.ts_
 
+### createFormValidation
+
+**Kind:** `function`
+
+Собрать контроллер валидации формы с выбранной стратегией запуска. Переиспользует
+{@link validateModel} как единственный движок прогона.
+
+Фабрика ЧИСТАЯ до `start()` (никаких подписок) — безопасна для SSR/headless. Реактивные триггеры
+арминуются только в `start()` (в React — из `useEffect`).
+
+**Signature:**
+```typescript
+export function createFormValidation<T>(
+  model: FormModel<T>,
+  schema: ValidationSchema<T>,
+  options: ValidationStrategyOptions = {}
+): FormValidationController
+```
+
+**Parameters:**
+- `model` — - Модель данных.
+- `schema` — - Схема валидации. **Стабильная ссылка** (иначе `validateModel` не отменит устаревший прогон).
+- `options` — - {@link ValidationStrategyOptions}.
+
+**Examples:**
+
+```ts
+const ctrl = createFormValidation(model, schema, { strategy: 'afterFirstSubmit', debounce: 300 });
+const dispose = ctrl.start();               // на клиенте
+const ok = await ctrl.validate();           // submit → раскрыть все ошибки
+dispose();
+```
+
+_Source: src/form/validation/strategy.ts_
+
 ### createModel
 
 **Kind:** `function`
@@ -5089,6 +5323,81 @@ model.get();                  // { email: 'a@b.c', profile: { name: 'Ada' }, tag
 
 _Source: src/model/create-model.ts_
 
+### cross
+
+**Kind:** `function`
+
+Cross-field правило: `fn` получает СНАПШОТ модели текущего scope (`model.get()`) и вешает ошибку на `sig`.
+Для элементов массива / под-моделей захватывайте нужный снапшот в замыкание (`const item = im.get()`),
+т.к. `fn` всегда получает модель ТЕКУЩЕГО scope (корень прогона), а не под-модель.
+
+**Signature:**
+```typescript
+export function cross<TSnapshot>(
+  sig: PathAwareSignal<unknown>,
+  fn: (form: TSnapshot) => ValidationError | null
+): void
+```
+
+_Source: src/form/validation/operators.ts_
+
+### defer
+
+**Kind:** `function`
+
+Отложенная запись вне effect-контекста (микротаск) — защита от «Cycle detected».
+
+**Signature:**
+```typescript
+export function defer(fn: () => void): void
+```
+
+_Source: src/form/behaviors/context.ts_
+
+### defineFormBehavior
+
+**Kind:** `function`
+
+Описать поведение формы декларативно. Возвращает {@link FormBehavior} для `createForm({ behavior })`.
+
+**Signature:**
+```typescript
+export function defineFormBehavior<T>(setup: (scope: BehaviorScope<T>) => void): FormBehavior<T>
+```
+
+**Examples:**
+
+```ts
+export const myBehavior = defineFormBehavior<MyForm>(({ model, form }) => {
+  compute(model.$.total, () => model.price * model.qty);
+  enableWhen([model.$.city], () => Boolean(model.country));
+  onChange(model.$.country, async (c) => form.city.updateComponentProps({ options: await load(c) }));
+});
+```
+
+_Source: src/form/behaviors/context.ts_
+
+### defineValidationSchema
+
+**Kind:** `function`
+
+Тонкая identity-обёртка для типизации/discoverability (как `defineFormBehavior`). Возвращает схему как есть.
+
+**Signature:**
+```typescript
+export function defineValidationSchema<T>(schema: ValidationSchema<T>): ValidationSchema<T>
+```
+
+**Examples:**
+
+```ts
+export const step1 = defineValidationSchema<LoanForm>(({ model }) => {
+  validate(model.$.loanAmount, [required(), min(50000)]);
+});
+```
+
+_Source: src/form/validation/run.ts_
+
 ### disableWhen
 
 **Kind:** `function`
@@ -5121,6 +5430,23 @@ disableWhen(model.$.discount, () => model.plan !== 'promo', { resetOnDisable: tr
 
 _Source: src/form/behaviors/node.ts_
 
+### each
+
+**Kind:** `function`
+
+Применить под-правила к КАЖДОМУ элементу текущего массива модели.
+`U extends object` — элементы должны быть под-моделями (объектами); для массива примитивов валидируйте лист напрямую.
+
+**Signature:**
+```typescript
+export function each<U extends object>(
+  arr: ModelArray<U>,
+  itemFn: (item: FormModel<U>) => void
+): void
+```
+
+_Source: src/form/validation/operators.ts_
+
 ### eachLeafSignal
 
 **Kind:** `function`
@@ -5142,6 +5468,55 @@ export function eachLeafSignal<T>(
 
 _Source: src/model/create-model.ts_
 
+### effect
+
+**Kind:** `function`
+
+Реактивный эффект (авто-dispose). Колбэк может вернуть собственный cleanup.
+
+**Signature:**
+```typescript
+export function effect(fn: () => void | (() => void)): void
+```
+
+_Source: src/form/behaviors/context.ts_
+
+### email
+
+**Kind:** `function`
+
+Фабрика валидатора формата email.
+
+Проверяет по упрощённому regex `^[^\s@]+@[^\s@]+\.[^\s@]+$`. Пустые значения
+(`''`/`null`/`undefined`) пропускаются (используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function email<TForm = unknown, TField extends string | null | undefined = string>(
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для строкового поля
+
+**Examples:**
+
+Проверка формата email
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, email } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.email, [required(), email({ message: 'Введите корректный email' })]);
+});
+```
+
+_Source: src/form/validators/email.ts_
+
 ### enableWhen
 
 **Kind:** `function`
@@ -5244,6 +5619,28 @@ export enum ErrorStrategy {
 
 _Source: src/form/validation/error-handler.ts_
 
+### exclusiveFlag
+
+**Kind:** `function`
+
+Взаимное исключение булева флага среди строк массива (single-selection — «единственный primary»).
+Когда флаг строки становится true, у остальных строк он сбрасывается в false. Не хрупок к push:
+новые строки с флагом false исключения не запускают.
+
+**Signature:**
+```typescript
+export function exclusiveFlag<TItem>(
+  array: object,
+  getFlag: (row: FormModel<TItem>) => Signal<boolean>
+): void
+```
+
+**Examples:**
+
+exclusiveFlag(model.$.contacts, (row) => row.$.primary);
+
+_Source: src/form/behaviors/collections.ts_
+
 ### FieldConfig
 
 **Kind:** `interface`
@@ -5522,10 +5919,11 @@ export class FieldNode<T> extends FormNode<T> {
 
 **Examples:**
 
+Пример node-level: конфиг УЗЛА, а не layout-схема M1 (в ней поля `validators` нет).
 ```typescript
 const field = new FieldNode({
   value: '',
-  component: Input,
+  component: InputField,
   validators: [required, email],
 });
 
@@ -5549,29 +5947,92 @@ export type FieldStatus = 'valid' | 'invalid' | 'pending' | 'disabled';
 
 _Source: src/form/types/contracts.ts_
 
-### FormArrayProxy
-
-**Kind:** `type`
+### FileLike
 
-Комбинированный тип для ArrayNode с Proxy доступом к элементам
+**Kind:** `interface`
 
-Объединяет методы и свойства ArrayNode с типизированным доступом к элементам массива.
+Минимальный файлоподобный контракт, с которым работают file-валидаторы:
+нативный `File`, сериализуемый дескриптор загруженного файла и т.п.
 
 **Signature:**
 ```typescript
-export type FormArrayProxy<T extends object> = ArrayNode<T> & {
-  /**
-   * Безопасный доступ к элементу массива по индексу
-   * Возвращает GroupNode с типизированными полями или undefined
-   */
-  at(index: number): FormProxy<T> | undefined;
+export interface FileLike {
+  name: string;
+  size?: number;
+  type?: string;
+}
+```
 
-  /**
-   * Итерация по элементам массива с типизированными элементами
-   */
-  forEach(callback: (item: FormProxy<T>, index: number) => void): void;
+_Source: src/form/validators/file-utils.ts_
 
-  /**
+### fileType
+
+**Kind:** `function`
+
+Фабрика валидатора типа файла.
+
+Проверяет каждый файл против accept-строки в синтаксисе нативного атрибута
+`<input type="file" accept>`: расширения (`.pdf`), точные MIME (`image/png`),
+wildcard-категории (`image/*`), список через запятую. Матчинг регистронезависимый,
+по `type` и/или расширению из `name` ({@link matchesFileAccept}).
+
+Нужен потому, что нативный `accept` — только подсказка пикеру: на drag-and-drop
+и «All files» он не действует. Пустые значения (`null`/`undefined`/`''`/`[]`)
+пропускаются (используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function fileType<TForm = unknown, TField = unknown>(
+  accept: string,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `accept` — - Accept-строка допустимых типов, например `'image/*,.pdf'`
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `accept` и `fileName` (первый нарушивший файл).
+
+**Returns:** Чистый валидатор {@link Validator} для файла или массива файлов
+
+**Examples:**
+
+Только изображения и PDF
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { fileType } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.documents, [fileType('image/*,.pdf', { message: 'Только изображения или PDF' })]);
+});
+```
+
+_Source: src/form/validators/file-type.ts_
+
+### FormArrayProxy
+
+**Kind:** `type`
+
+Комбинированный тип для ArrayNode с Proxy доступом к элементам
+
+Объединяет методы и свойства ArrayNode с типизированным доступом к элементам массива.
+
+**Signature:**
+```typescript
+export type FormArrayProxy<T extends object> = ArrayNode<T> & {
+  /**
+   * Безопасный доступ к элементу массива по индексу
+   * Возвращает GroupNode с типизированными полями или undefined
+   */
+  at(index: number): FormProxy<T> | undefined;
+
+  /**
+   * Итерация по элементам массива с типизированными элементами
+   */
+  forEach(callback: (item: FormProxy<T>, index: number) => void): void;
+
+  /**
    * Маппинг элементов массива с типизированными элементами
    */
   map<R>(callback: (item: FormProxy<T>, index: number) => R): R[];
@@ -5603,6 +6064,22 @@ todos.forEach((item, i) => {
 
 _Source: src/form/types/form-proxy.ts_
 
+### FormBehavior
+
+**Kind:** `interface`
+
+Результат {@link defineFormBehavior}; передаётся в `createForm({ behavior })`.
+
+**Signature:**
+```typescript
+export interface FormBehavior<T> {
+  /** @internal Запускается `createForm` после построения нод и заполнения реестра сигнал→нода. */
+  __run(model: FormModel<T>, form: FormProxy<T>): BehaviorCleanup;
+}
+```
+
+_Source: src/form/behaviors/types.ts_
+
 ### FormBundleLike
 
 **Kind:** `interface`
@@ -5897,14 +6374,14 @@ interface Form {
 }
 
 const schema: FormSchema<Form> = {
-  name: { value: '', component: Input },
+  name: { value: '', component: InputField },
   address: {
-    city: { value: '', component: Input },
-    street: { value: '', component: Input },
+    city: { value: '', component: InputField },
+    street: { value: '', component: InputField },
   },
   items: [{
-    title: { value: '', component: Input },
-    price: { value: 0, component: Input },
+    title: { value: '', component: InputField },
+    price: { value: 0, component: InputField },
   }],
 };
 ```
@@ -6074,6 +6551,37 @@ export interface FormValidationBundle<T> {
 
 _Source: src/form/validation/config.ts_
 
+### FormValidationController
+
+**Kind:** `interface`
+
+**Signature:**
+```typescript
+export interface FormValidationController {
+  /**
+   * Полный прогон схемы с раскрытием ошибок (`touch: true`) — для submit. Также переводит
+   * `afterFirstSubmit` в live-фазу. Возвращает `false`, если есть блокирующие ошибки.
+   */
+  validate(): Promise<boolean>;
+  /**
+   * Армировать реактивные подписки стратегии. Идемпотентно. Возвращает `dispose`. НЕ звать при SSR.
+   *
+   * После {@link FormValidationController.dispose} контроллер армируется ЗАНОВО: React монтирует
+   * компоненты повторно (StrictMode в разработке, remount по роуту), и «одноразовый» контроллер
+   * после такого цикла молча оставался бы без живой валидации.
+   */
+  start(): () => void;
+  /** Снять подписки/таймеры. Идемпотентно; после него `start()` снова армирует стратегию. */
+  dispose(): void;
+  /** Идёт ли прогон (submit или live) — снапшот. */
+  readonly isValidating: boolean;
+  /** Реактивный сигнал состояния прогона (для тонкой подписки в UI). */
+  readonly validating: ReadonlySignal<boolean>;
+}
+```
+
+_Source: src/form/validation/strategy.ts_
+
 ### FormValue
 
 **Kind:** `type`
@@ -6097,6 +6605,43 @@ export type FormValue =
 
 _Source: src/form/types/contracts.ts_
 
+### futureDate
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что дата не в прошлом.
+
+Дата не должна быть раньше сегодняшнего дня (сравнение по нормализованным датам).
+Пустые и невалидные даты пропускаются (используйте {@link required} и {@link isDate}).
+
+**Signature:**
+```typescript
+export function futureDate<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты (`string | Date`)
+
+**Examples:**
+
+Дата не в прошлом
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, futureDate } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.appointmentDate, [required(), futureDate({ message: 'Дата записи должна быть в будущем' })]);
+});
+```
+
+_Source: src/form/validators/future-date.ts_
+
 ### getNodeForSignal
 
 **Kind:** `function`
@@ -6158,6 +6703,19 @@ console.log('Node type:', getNodeType(node)); // "FieldNode" | "GroupNode" | "Ar
 
 _Source: src/form/type-guards.ts_
 
+### getScope
+
+**Kind:** `function`
+
+Текущий scope ({ model, form }) активной схемы (escape hatch для кросс-операторов).
+
+**Signature:**
+```typescript
+export function getScope<T>(): BehaviorScope<T>
+```
+
+_Source: src/form/behaviors/context.ts_
+
 ### GroupNode
 
 **Kind:** `class`
@@ -6180,8 +6738,8 @@ export class GroupNode<T> extends FormNode<T> {
 
 ```typescript
 const form = new GroupNode({
-  email: { valueSignal: model.$.email, component: Input },
-  password: { valueSignal: model.$.password, component: Input },
+  email: { valueSignal: model.$.email, component: InputField },
+  password: { valueSignal: model.$.password, component: InputField },
 });
 
 // Прямой доступ к полям через Proxy
@@ -6212,6 +6770,41 @@ export interface GroupNodeConfig<T> {
 
 _Source: src/form/types/index.ts_
 
+### integer
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что число — целое.
+
+Пустые значения и не-числа пропускаются (используйте {@link required} и {@link isNumber}).
+
+**Signature:**
+```typescript
+export function integer<TForm = unknown, TField extends number | null | undefined = number>(
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Проверка целого числа
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, integer } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.count, [required(), integer({ message: 'Должно быть целым числом' })]);
+});
+```
+
+_Source: src/form/validators/integer.ts_
+
 ### isArrayNode
 
 **Kind:** `function`
@@ -6243,6 +6836,43 @@ if (isArrayNode(node)) {
 
 _Source: src/form/type-guards.ts_
 
+### isDate
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что значение — валидная дата.
+
+Принимает `Date` или строку, парсимую в дату. Пустые значения (`''`/`null`/`undefined`)
+пропускаются (используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function isDate<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты (`string | Date`)
+
+**Examples:**
+
+Проверка валидности даты
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, isDate } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.eventDate, [required(), isDate({ message: 'Введите корректную дату' })]);
+});
+```
+
+_Source: src/form/validators/is-date.ts_
+
 ### isDerived
 
 **Kind:** `function`
@@ -6308,6 +6938,25 @@ if (isFieldNode(node)) {
 
 _Source: src/form/type-guards.ts_
 
+### isFileLike
+
+**Kind:** `function`
+
+Проверяет, что значение файлоподобно: объект со строковым `name` и опциональными
+числовым `size` / строковым `type`.
+
+**Signature:**
+```typescript
+export function isFileLike(value: unknown): value is FileLike
+```
+
+**Parameters:**
+- `value` — - Проверяемое значение
+
+**Returns:** `true`, если значение соответствует {@link FileLike}
+
+_Source: src/form/validators/file-utils.ts_
+
 ### isFormNode
 
 **Kind:** `function`
@@ -6389,6 +7038,43 @@ const isLeaf = (v: unknown) => isSignalLike(v) && !isModelContainerSignal(v);
 
 _Source: src/model/model-signals-proxy.ts_
 
+### isNumber
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что значение — конечное число (не NaN, не строка).
+
+Пустые значения (`null`/`undefined`) пропускаются (используйте {@link required} для
+обязательности). В отличие от других number-валидаторов, **не** пропускает не-числа
+и `NaN` — это его задача.
+
+**Signature:**
+```typescript
+export function isNumber<TForm = unknown, TField extends number | null | undefined = number>(
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Проверка, что значение — число
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, isNumber } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.amount, [required(), isNumber({ message: 'Введите число' })]);
+});
+```
+
+_Source: src/form/validators/is-number.ts_
+
 ### markDerived
 
 **Kind:** `function`
@@ -6425,94 +7111,638 @@ markDerived(model.$.total);
 
 _Source: src/model/derived-registry.ts_
 
-### ModelApi
+### matchesFileAccept
 
-**Kind:** `interface`
+**Kind:** `function`
 
-API уровня модели (доступно на корне, под-моделях вложенных объектов-групп и элементов массива).
+Проверяет файл против accept-паттерна в синтаксисе нативного атрибута
+`<input type="file" accept>`: список через запятую из расширений (`.pdf`),
+точных MIME (`image/png`) и wildcard-категорий (`image/*`). Регистронезависимо.
 
-⚠️ Имена методов (`$`/`get`/`set`/`patch`/`isDirty`/`reset`/`signalAt`/`captureInitial`)
-зарезервированы: одноимённое поле формы их затеняет (редкий краевой случай).
+Нужен собственный матчер, потому что `accept` у нативного input — только подсказка
+пикеру: на drag-and-drop и на программное значение он не действует.
 
 **Signature:**
 ```typescript
-export interface ModelApi<T> {
-  /**
-   * Escape-hatch к сигналам: `model.$.loanType` → `PathAwareSignal<LoanType>`.
-   * Сам узел — {@link ReadonlySignal} модели целиком: `model.$.subscribe(v => …)`.
-   */
-  readonly $: ModelGroupSignals<T>;
-  /** Снимок значений (без подписки) — для submit. */
-  get(): T;
-  /**
-   * Полная установка значений: принимает объект целиком (все ключи `T`) и записывает их в модель.
-   * Производными полями (цели `compute`) владеет compute — их значения из payload игнорируются.
-   * Не меняет initial-снимок. Для частичного обновления (только переданные ключи) — {@link ModelApi.patch}.
-   */
-  set(value: T): void;
-  /**
-   * Частичное слияние значений (load/patch с сервера): обновляет только переданные ключи,
-   * отсутствующие ключи НЕ трогаются. Не меняет initial-снимок.
-   */
-  patch(value: Partial<T>): void;
-  /** Отличаются ли текущие значения от initial-снимка (value-diff). */
-  isDirty(): boolean;
-  /** Сбросить значения к initial-снимку. */
-  reset(): void;
-  /** Зафиксировать текущие значения как новый initial-снимок («точка отсчёта»). */
-  captureInitial(): void;
-  /** Резолв строкового пути в сигнал (для error-routing/мостов). */
-  signalAt(path: string): PathAwareSignal<unknown> | undefined;
-}
+export function matchesFileAccept(file: Pick<FileLike, 'name' | 'type'>, accept: string): boolean
 ```
 
-_Source: src/model/types.ts_
+**Parameters:**
+- `file` — - Файлоподобное значение (`name` + опциональный `type`)
+- `accept` — - Accept-строка; пустая/пробельная строка матчит всё
 
-### ModelArray
+**Returns:** `true`, если файл подходит хотя бы под один паттерн
 
-**Kind:** `interface`
+_Source: src/form/validators/file-utils.ts_
 
-Реактивный массив модели. Мутации (`push`/`removeAt`/…) меняют длину реактивно;
-`map`/`forEach`/`at` отдают под-модель элемента ({@link FormModel}) для объектных элементов.
+### max
+
+**Kind:** `function`
+
+Фабрика валидатора максимального числового значения.
+
+Пустые значения (`null`/`undefined`) пропускаются (используйте {@link required} для обязательности).
 
 **Signature:**
 ```typescript
-export interface ModelArray<U> {
-  /**
-   * Путь массива в модели (dot-нотация). Предоставляется рантаймом (value-прокси) и требуется
-   * рендер-слою для резолва узла массива (напр. `ArrayRenderNode` в `@reformer/renderer-react`).
-   */
-  readonly __path: string;
-  /** Реактивная длина. */
-  readonly length: number;
-  /** Добавить элемент в конец (значение элемента целиком). */
-  push(item: U): void;
-  /** Вставить элемент по индексу. */
-  insertAt(index: number, item: U): void;
-  /** Удалить элемент по индексу. */
-  removeAt(index: number): void;
-  /** Переместить элемент. */
-  move(from: number, to: number): void;
-  /** Поменять местами два элемента. */
-  swap(a: number, b: number): void;
-  /** Очистить массив. */
-  clear(): void;
-  /** Элемент по индексу: объект → под-модель, массив → {@link ModelArray}, лист → значение. */
-  at(
-    index: number
-  ): NonNullable<U> extends object ? ModelArrayItem<U> : ModelArrayItem<U> | undefined;
-  /** Map по элементам (объект → {@link FormModel}, Opaque/примитив → значение, массив → {@link ModelArray}). */
-  map<R>(fn: (item: ModelArrayItem<U>, index: number) => R): R[];
-  /** Итерация по элементам (см. {@link ModelArrayItem}). */
-  forEach(fn: (item: ModelArrayItem<U>, index: number) => void): void;
-  /** Снимок массива значений (без подписки). */
-  toArray(): U[];
-  /** Индексный value-доступ. */
-  [index: number]: ModelValue<U>;
-}
+export function max<TForm = unknown, TField extends number | null | undefined = number>(
+  maxValue: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
 ```
 
-_Source: src/model/types.ts_
+**Parameters:**
+- `maxValue` — - Максимально допустимое значение (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `max` и `actual`.
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Максимальное значение числового поля
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, max } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.quantity, [max(100)]);
+validate(model.$.discount, [required(), max(50, { message: 'Не более 50%' })]);
+});
+```
+
+_Source: src/form/validators/max.ts_
+
+### maxAge
+
+**Kind:** `function`
+
+Фабрика валидатора максимального возраста (по дате рождения).
+
+Возраст вычисляется по дате рождения относительно сегодняшнего дня. Пустые и невалидные
+даты пропускаются (используйте {@link required} и {@link isDate}).
+
+**Signature:**
+```typescript
+export function maxAge<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(maxAgeValue: number, options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `maxAgeValue` — - Максимально допустимый возраст (в полных годах)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `maxAge` и `currentAge`.
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты рождения (`string | Date`)
+
+**Examples:**
+
+Максимальный возраст
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { maxAge } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.birthDate, [maxAge(100, { message: 'Проверьте дату рождения' })]);
+});
+```
+
+_Source: src/form/validators/max-age.ts_
+
+### maxDate
+
+**Kind:** `function`
+
+Фабрика валидатора максимальной даты (включительно).
+
+Сравнение по нормализованным датам (время обнуляется). Пустые и невалидные даты
+пропускаются (используйте {@link required} и {@link isDate}).
+
+**Signature:**
+```typescript
+export function maxDate<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(maxDateValue: Date, options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `maxDateValue` — - Максимально допустимая дата (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадает `maxDate`.
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты (`string | Date`)
+
+**Examples:**
+
+Максимальная дата
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { maxDate } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.birthDate, [maxDate(new Date(), { message: 'Дата не может быть в будущем' })]);
+});
+```
+
+_Source: src/form/validators/max-date.ts_
+
+### maxFiles
+
+**Kind:** `function`
+
+Фабрика валидатора максимального количества файлов.
+
+Работает с массивом файлов (одиночный файл считается как 1). Пустые значения
+(`null`/`undefined`/`''`/`[]`) пропускаются (используйте {@link required}
+для обязательности).
+
+**Signature:**
+```typescript
+export function maxFiles<TForm = unknown, TField = unknown>(
+  max: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `max` — - Максимально допустимое количество файлов (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `maxFiles` и `actualCount`.
+
+**Returns:** Чистый валидатор {@link Validator} для файла или массива файлов
+
+**Examples:**
+
+Не более трёх вложений
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { maxFiles } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.documents, [maxFiles(3, { message: 'Максимум 3 файла' })]);
+});
+```
+
+_Source: src/form/validators/max-files.ts_
+
+### maxFileSize
+
+**Kind:** `function`
+
+Фабрика валидатора максимального размера файла.
+
+Работает с одиночным файлом или массивом (`File` либо файлоподобный дескриптор с
+`name`/`size`). Проверяется каждый файл; в ошибку попадает первый нарушивший.
+Пустые значения (`null`/`undefined`/`''`/`[]`) и элементы без числового `size`
+(например, дескриптор загруженного файла без размера) пропускаются
+(используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function maxFileSize<TForm = unknown, TField = unknown>(
+  maxSize: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `maxSize` — - Максимально допустимый размер файла в байтах (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `maxFileSize`, `fileName` и `actualSize`.
+
+**Returns:** Чистый валидатор {@link Validator} для файла или массива файлов
+
+**Examples:**
+
+Ограничение размера вложений
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { maxFileSize } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.documents, [maxFileSize(5 * 1024 * 1024, { message: 'Файл больше 5 МБ' })]);
+});
+```
+
+_Source: src/form/validators/max-file-size.ts_
+
+### maxLength
+
+**Kind:** `function`
+
+Фабрика валидатора максимальной длины строки или массива.
+
+Работает со строкой или массивом (проверяется `value.length`). Пустые значения
+(`null`/`undefined`/`''`) и значения без числового `length` пропускаются
+(используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function maxLength<TForm = unknown, TField = unknown>(
+  maxLen: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `maxLen` — - Максимально допустимая длина (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `maxLength` и `actualLength`.
+
+**Returns:** Чистый валидатор {@link Validator} для строки или массива
+
+**Examples:**
+
+Максимальная длина строки
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { maxLength } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.name, [maxLength(50)]);
+validate(model.$.bio, [maxLength(500, { message: 'Максимум 500 символов' })]);
+});
+```
+
+_Source: src/form/validators/max-length.ts_
+
+### maxTotalFileSize
+
+**Kind:** `function`
+
+Фабрика валидатора суммарного размера всех файлов.
+
+Складывает `size` всех файлов значения (элементы без числового `size` в сумму
+не входят). Пустые значения (`null`/`undefined`/`''`/`[]`) пропускаются
+(используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function maxTotalFileSize<TForm = unknown, TField = unknown>(
+  maxTotal: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `maxTotal` — - Максимально допустимый суммарный размер в байтах (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `maxTotalFileSize` и `actualTotal`.
+
+**Returns:** Чистый валидатор {@link Validator} для файла или массива файлов
+
+**Examples:**
+
+Суммарно не более 20 МБ
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { maxTotalFileSize } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.documents, [maxTotalFileSize(20 * 1024 * 1024, { message: 'Суммарно не более 20 МБ' })]);
+});
+```
+
+_Source: src/form/validators/max-total-file-size.ts_
+
+### min
+
+**Kind:** `function`
+
+Фабрика валидатора минимального числового значения.
+
+Пустые значения (`null`/`undefined`) пропускаются (используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function min<TForm = unknown, TField extends number | null | undefined = number>(
+  minValue: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `minValue` — - Минимально допустимое значение (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `min` и `actual`.
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Минимальное значение числового поля
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, min } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.age, [min(18)]);
+validate(model.$.quantity, [required(), min(1, { message: 'Минимум 1' })]);
+});
+```
+
+_Source: src/form/validators/min.ts_
+
+### minAge
+
+**Kind:** `function`
+
+Фабрика валидатора минимального возраста (по дате рождения).
+
+Возраст вычисляется по дате рождения относительно сегодняшнего дня. Пустые и невалидные
+даты пропускаются (используйте {@link required} и {@link isDate}).
+
+**Signature:**
+```typescript
+export function minAge<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(minAgeValue: number, options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `minAgeValue` — - Минимально допустимый возраст (в полных годах)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `minAge` и `currentAge`.
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты рождения (`string | Date`)
+
+**Examples:**
+
+Минимальный возраст
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, minAge } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.birthDate, [required(), minAge(18, { message: 'Вам должно быть не менее 18 лет' })]);
+});
+```
+
+_Source: src/form/validators/min-age.ts_
+
+### minDate
+
+**Kind:** `function`
+
+Фабрика валидатора минимальной даты (включительно).
+
+Сравнение по нормализованным датам (время обнуляется). Пустые и невалидные даты
+пропускаются (используйте {@link required} и {@link isDate}).
+
+**Signature:**
+```typescript
+export function minDate<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(minDateValue: Date, options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `minDateValue` — - Минимально допустимая дата (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадает `minDate`.
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты (`string | Date`)
+
+**Examples:**
+
+Минимальная дата
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, minDate } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.startDate, [required(), minDate(new Date(), { message: 'Дата не раньше сегодня' })]);
+});
+```
+
+_Source: src/form/validators/min-date.ts_
+
+### minFiles
+
+**Kind:** `function`
+
+Фабрика валидатора минимального количества файлов.
+
+Работает с массивом файлов (одиночный файл считается как 1). Пустые значения
+(`null`/`undefined`/`''`/`[]`) пропускаются — «нужен хотя бы один файл» выражается
+связкой `required()` + `minFiles(n)`, как и у {@link minLength}.
+
+**Signature:**
+```typescript
+export function minFiles<TForm = unknown, TField = unknown>(
+  min: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `min` — - Минимально допустимое количество файлов (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `minFiles` и `actualCount`.
+
+**Returns:** Чистый валидатор {@link Validator} для файла или массива файлов
+
+**Examples:**
+
+Не менее двух документов
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, minFiles } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.documents, [required(), minFiles(2, { message: 'Приложите минимум 2 документа' })]);
+});
+```
+
+_Source: src/form/validators/min-files.ts_
+
+### minFileSize
+
+**Kind:** `function`
+
+Фабрика валидатора минимального размера файла.
+
+Работает с одиночным файлом или массивом (`File` либо файлоподобный дескриптор с
+`name`/`size`). Проверяется каждый файл; в ошибку попадает первый нарушивший.
+Типовой сценарий — отсев пустых (0-байтовых) файлов: `minFileSize(1)`.
+Пустые значения (`null`/`undefined`/`''`/`[]`) и элементы без числового `size`
+пропускаются (используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function minFileSize<TForm = unknown, TField = unknown>(
+  minSize: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `minSize` — - Минимально допустимый размер файла в байтах (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `minFileSize`, `fileName` и `actualSize`.
+
+**Returns:** Чистый валидатор {@link Validator} для файла или массива файлов
+
+**Examples:**
+
+Отсев пустых файлов
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { minFileSize } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.documents, [minFileSize(1, { message: 'Файл пустой' })]);
+});
+```
+
+_Source: src/form/validators/min-file-size.ts_
+
+### minLength
+
+**Kind:** `function`
+
+Фабрика валидатора минимальной длины строки или массива.
+
+Работает со строкой или массивом (проверяется `value.length`). Пустые значения
+(`null`/`undefined`/`''`) и значения без числового `length` пропускаются
+(используйте {@link required} для обязательности).
+
+**Signature:**
+```typescript
+export function minLength<TForm = unknown, TField = unknown>(
+  minLen: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `minLen` — - Минимально допустимая длина (включительно)
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадают `minLength` и `actualLength`.
+
+**Returns:** Чистый валидатор {@link Validator} для строки или массива
+
+**Examples:**
+
+Минимальная длина строки
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, minLength } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.name, [minLength(2)]);
+validate(model.$.password, [required(), minLength(8, { message: 'Минимум 8 символов' })]);
+});
+```
+
+_Source: src/form/validators/min-length.ts_
+
+### ModelApi
+
+**Kind:** `interface`
+
+API уровня модели (доступно на корне, под-моделях вложенных объектов-групп и элементов массива).
+
+⚠️ Имена методов (`$`/`get`/`set`/`patch`/`isDirty`/`reset`/`signalAt`/`captureInitial`)
+зарезервированы: одноимённое поле формы их затеняет (редкий краевой случай).
+
+**Signature:**
+```typescript
+export interface ModelApi<T> {
+  /**
+   * Escape-hatch к сигналам: `model.$.loanType` → `PathAwareSignal<LoanType>`.
+   * Сам узел — {@link ReadonlySignal} модели целиком: `model.$.subscribe(v => …)`.
+   */
+  readonly $: ModelGroupSignals<T>;
+  /** Снимок значений (без подписки) — для submit. */
+  get(): T;
+  /**
+   * Полная установка значений: принимает объект целиком (все ключи `T`) и записывает их в модель.
+   * Производными полями (цели `compute`) владеет compute — их значения из payload игнорируются.
+   * Не меняет initial-снимок. Для частичного обновления (только переданные ключи) — {@link ModelApi.patch}.
+   */
+  set(value: T): void;
+  /**
+   * Частичное слияние значений (load/patch с сервера): обновляет только переданные ключи,
+   * отсутствующие ключи НЕ трогаются. Не меняет initial-снимок.
+   */
+  patch(value: Partial<T>): void;
+  /** Отличаются ли текущие значения от initial-снимка (value-diff). */
+  isDirty(): boolean;
+  /** Сбросить значения к initial-снимку. */
+  reset(): void;
+  /** Зафиксировать текущие значения как новый initial-снимок («точка отсчёта»). */
+  captureInitial(): void;
+  /** Резолв строкового пути в сигнал (для error-routing/мостов). */
+  signalAt(path: string): PathAwareSignal<unknown> | undefined;
+}
+```
+
+_Source: src/model/types.ts_
+
+### ModelArray
+
+**Kind:** `interface`
+
+Реактивный массив модели. Мутации (`push`/`removeAt`/…) меняют длину реактивно;
+`map`/`forEach`/`at` отдают под-модель элемента ({@link FormModel}) для объектных элементов.
+
+**Signature:**
+```typescript
+export interface ModelArray<U> {
+  /**
+   * Путь массива в модели (dot-нотация). Предоставляется рантаймом (value-прокси) и требуется
+   * рендер-слою для резолва узла массива (напр. `ArrayRenderNode` в `@reformer/renderer-react`).
+   */
+  readonly __path: string;
+  /** Реактивная длина. */
+  readonly length: number;
+  /** Добавить элемент в конец (значение элемента целиком). */
+  push(item: U): void;
+  /** Вставить элемент по индексу. */
+  insertAt(index: number, item: U): void;
+  /** Удалить элемент по индексу. */
+  removeAt(index: number): void;
+  /** Переместить элемент. */
+  move(from: number, to: number): void;
+  /** Поменять местами два элемента. */
+  swap(a: number, b: number): void;
+  /** Очистить массив. */
+  clear(): void;
+  /** Элемент по индексу: объект → под-модель, массив → {@link ModelArray}, лист → значение. */
+  at(
+    index: number
+  ): NonNullable<U> extends object ? ModelArrayItem<U> : ModelArrayItem<U> | undefined;
+  /** Map по элементам (объект → {@link FormModel}, Opaque/примитив → значение, массив → {@link ModelArray}). */
+  map<R>(fn: (item: ModelArrayItem<U>, index: number) => R): R[];
+  /** Итерация по элементам (см. {@link ModelArrayItem}). */
+  forEach(fn: (item: ModelArrayItem<U>, index: number) => void): void;
+  /** Снимок массива значений (без подписки). */
+  toArray(): U[];
+  /** Индексный value-доступ. */
+  [index: number]: ModelValue<U>;
+}
+```
+
+_Source: src/model/types.ts_
 
 ### ModelArrayControl
 
@@ -6566,8 +7796,8 @@ export class ModelArrayNode<T extends object> extends FormNode<T[]> { /* … */
 const model = createModel<{ rows: { name: string; qty: number }[] }>({ rows: [] });
 
 const rowItem = (item: FormModel<{ name: string; qty: number }>) => ({
-name: { value: item.$.name, component: Input },
-qty: { value: item.$.qty, component: Input },
+name: { value: item.$.name, component: InputField },
+qty: { value: item.$.qty, component: InputField },
 });
 
 const form = createForm({
@@ -6666,104 +7896,399 @@ _Source: src/model/types.ts_
 
 **Signature:**
 ```typescript
-export type ModelValue<V> =
-  NonNullable<V> extends ReadonlyArray<infer U>
-    ? ModelArray<U>
-    : NonNullable<V> extends Opaque
-      ? V
-      : NonNullable<V> extends object
-        ? FormModel<NonNullable<V>>
-        : V;
+export type ModelValue<V> =
+  NonNullable<V> extends ReadonlyArray<infer U>
+    ? ModelArray<U>
+    : NonNullable<V> extends Opaque
+      ? V
+      : NonNullable<V> extends object
+        ? FormModel<NonNullable<V>>
+        : V;
+```
+
+_Source: src/model/types.ts_
+
+### multipleOf
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что число кратно заданному.
+
+Пустые значения и не-числа пропускаются (используйте {@link required} и {@link isNumber}).
+
+**Signature:**
+```typescript
+export function multipleOf<TForm = unknown, TField extends number | null | undefined = number>(
+  divisor: number,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `divisor` — - Делитель: значение должно быть кратно ему
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадает `multipleOf` (делитель).
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Проверка кратности
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { multipleOf } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.rating, [multipleOf(0.5, { message: 'Только шаг 0.5' })]);
+});
+```
+
+_Source: src/form/validators/multiple-of.ts_
+
+### NodeFactory
+
+**Kind:** `class`
+
+Фабрика для создания узлов формы.
+
+Определяет тип конфига и создаёт соответствующий узел (FieldNode, GroupNode, ArrayNode).
+Используется внутри `getReformerForm`/`group`/`array` — явно вызывать обычно не нужно.
+
+**Signature:**
+```typescript
+export class NodeFactory {
+  /**
+   * Создает узел формы на основе конфигурации
+   *
+   * ✅ ОБНОВЛЕНО: Теперь поддерживает массивы напрямую
+   *
+   * Автоматически определяет тип узла:
+   * - FieldNode: имеет value и component
+   * - ArrayNode: массив [schema, ...items] или { schema, initialItems }
+   * - GroupNode: объект без value, component, schema
+   *
+   * @param config Конфигурация узла
+   * @returns Экземпляр FieldNode, GroupNode или ArrayNode
+   * @throws Error если конфиг не соответствует ни одному типу
+   *
+   * @example
+   * ```typescript
+   * const factory = new NodeFactory();
+   *
+   * Конфиг node-level (не layout-схема M1, где `validators` уже нет).
+   * // FieldNode
+   * const field = factory.createNode({
+   *   value: 'test@mail.com',
+   *   component: InputField,
+   *   validators: [required, email]
+   * });
+   *
+   * // GroupNode
+   * const group = factory.createNode({
+   *   email: { value: '', component: InputField },
+   *   password: { value: '', component: InputField }
+   * });
+   *
+   * // ArrayNode (объект)
+   * const array = factory.createNode({
+   *   schema: { title: { value: '', component: InputField } },
+   *   initialItems: [{ title: 'Item 1' }]
+   * });
+   *
+   * // ArrayNode (массив) - новый формат
+   * const array2 = factory.createNode([
+   *   { title: { value: '', component: InputField } }, // schema
+   *   { title: 'Item 1' }, // initial item 1
+   *   { title: 'Item 2' }  // initial item 2
+   * ]);
+   * ```
+   */ /* … */ }
+```
+
+**Examples:**
+
+```typescript
+import { NodeFactory } from '@reformer/core';
+
+const factory = new NodeFactory();
+const node = factory.createNode({ value: '', component: InputField }); // → FieldNode<string>
+```
+
+_Source: src/form/factories/node-factory.ts_
+
+### nonNegative
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что число неотрицательное (`≥ 0`).
+
+Пустые значения и не-числа пропускаются (используйте {@link required} и {@link isNumber}).
+
+**Signature:**
+```typescript
+export function nonNegative<TForm = unknown, TField extends number | null | undefined = number>(
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Проверка неотрицательности
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { nonNegative } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.balance, [nonNegative({ message: 'Баланс не может быть отрицательным' })]);
+});
+```
+
+_Source: src/form/validators/non-negative.ts_
+
+### nonZero
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что число не равно нулю.
+
+Пустые значения и не-числа пропускаются (используйте {@link required} и {@link isNumber}).
+
+**Signature:**
+```typescript
+export function nonZero<TForm = unknown, TField extends number | null | undefined = number>(
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для числового поля
+
+**Examples:**
+
+Проверка «не ноль»
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { nonZero } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.divisor, [nonZero({ message: 'Не может быть нулём' })]);
+});
+```
+
+_Source: src/form/validators/non-zero.ts_
+
+### onChange
+
+**Kind:** `function`
+
+Реакция на изменение поля; `{ debounce, immediate }`.
+
+Колбэк выполняется ВНЕ effect-контекста (микротаск/таймер) — можно безопасно писать сигналы и ноды
+(`updateComponentProps`/`reset`/`clear`) без ручного `defer` и без «Cycle detected».
+
+Для async-колбэков 2-м аргументом приходит `{ signal }` (AbortSignal): при следующей смене значения
+предыдущий `signal` аннулируется. Передавай его в `fetch` (сетевая отмена) или проверяй
+`signal.aborted` перед применением результата — это убирает гонки устаревших ответов (F2).
+
+**Signature:**
+```typescript
+export function onChange<T>(
+  source: ReadonlySignal<T>,
+  cb: (value: T, ctx: ChangeContext) => void,
+  options?: { immediate?: boolean; debounce?: number }
+): void
+```
+
+_Source: src/form/behaviors/operators.ts_
+
+### onDispose
+
+**Kind:** `function`
+
+Зарегистрировать произвольную отписку в активной схеме.
+
+**Signature:**
+```typescript
+export function onDispose(cleanup: BehaviorCleanup): void
+```
+
+_Source: src/form/behaviors/context.ts_
+
+### pastDate
+
+**Kind:** `function`
+
+Фабрика валидатора, проверяющего что дата не в будущем.
+
+Дата не должна быть позже сегодняшнего дня (сравнение по нормализованным датам).
+Пустые и невалидные даты пропускаются (используйте {@link required} и {@link isDate}).
+
+**Signature:**
+```typescript
+export function pastDate<
+  TForm = unknown,
+  TField extends string | Date | null | undefined = string | Date,
+>(options?: ValidateOptions): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для поля даты (`string | Date`)
+
+**Examples:**
+
+Дата не в будущем
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, pastDate } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.birthDate, [required(), pastDate({ message: 'Дата рождения не может быть в будущем' })]);
+});
+```
+
+_Source: src/form/validators/past-date.ts_
+
+### PathAwareSignal
+
+**Kind:** `type`
+
+Сигнал, который знает свой путь в модели (`'personalData.lastName'`).
+Используется как «ручка поля»: и привязка value в схеме, и идентичность для testId/devtools.
+
+**Signature:**
+```typescript
+export type PathAwareSignal<T> = Signal<T> & {
+  /** Путь поля в модели (dot-нотация). На элементах массива включает индекс. */
+  readonly __path: string;
+};
+```
+
+_Source: src/model/types.ts_
+
+### pattern
+
+**Kind:** `function`
+
+Фабрика валидатора регулярного выражения.
+
+Пустые значения (`''`/`null`/`undefined`) пропускаются (используйте {@link required}
+для обязательности).
+
+**Signature:**
+```typescript
+export function pattern<TForm = unknown, TField extends string | null | undefined = string>(
+  regex: RegExp,
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `regex` — - Регулярное выражение для проверки значения
+- `options` — - Опции валидатора ({@link ValidateOptions}). В `params` ошибки автоматически
+попадает `pattern` (строка-источник regex).
+
+**Returns:** Чистый валидатор {@link Validator} для строкового поля
+
+**Examples:**
+
+Проверка по регулярному выражению
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, pattern } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.name, [pattern(/^[a-zA-Zа-яА-Я]+$/, { message: 'Только буквы' })]);
+validate(model.$.phone, [required(), pattern(/^\+7 \(\d{3}\) \d{3}-\d{2}-\d{2}$/, { message: 'Формат +7 (999) 123-45-67' })]);
+});
 ```
 
-_Source: src/model/types.ts_
+_Source: src/form/validators/pattern.ts_
 
-### NodeFactory
+### phone
 
-**Kind:** `class`
+**Kind:** `function`
 
-Фабрика для создания узлов формы.
+Фабрика валидатора номера телефона.
 
-Определяет тип конфига и создаёт соответствующий узел (FieldNode, GroupNode, ArrayNode).
-Используется внутри `getReformerForm`/`group`/`array` — явно вызывать обычно не нужно.
+Проверяет значение по regex выбранного {@link PhoneFormat}. Пустые значения
+(`''`/`null`/`undefined`) пропускаются (используйте {@link required} для обязательности).
 
 **Signature:**
 ```typescript
-export class NodeFactory {
-  /**
-   * Создает узел формы на основе конфигурации
-   *
-   * ✅ ОБНОВЛЕНО: Теперь поддерживает массивы напрямую
-   *
-   * Автоматически определяет тип узла:
-   * - FieldNode: имеет value и component
-   * - ArrayNode: массив [schema, ...items] или { schema, initialItems }
-   * - GroupNode: объект без value, component, schema
-   *
-   * @param config Конфигурация узла
-   * @returns Экземпляр FieldNode, GroupNode или ArrayNode
-   * @throws Error если конфиг не соответствует ни одному типу
-   *
-   * @example
-   * ```typescript
-   * const factory = new NodeFactory();
-   *
-   * // FieldNode
-   * const field = factory.createNode({
-   *   value: 'test@mail.com',
-   *   component: Input,
-   *   validators: [required, email]
-   * });
-   *
-   * // GroupNode
-   * const group = factory.createNode({
-   *   email: { value: '', component: Input },
-   *   password: { value: '', component: Input }
-   * });
-   *
-   * // ArrayNode (объект)
-   * const array = factory.createNode({
-   *   schema: { title: { value: '', component: Input } },
-   *   initialItems: [{ title: 'Item 1' }]
-   * });
-   *
-   * // ArrayNode (массив) - новый формат
-   * const array2 = factory.createNode([
-   *   { title: { value: '', component: Input } }, // schema
-   *   { title: 'Item 1' }, // initial item 1
-   *   { title: 'Item 2' }  // initial item 2
-   * ]);
-   * ```
-   */ /* … */ }
+export function phone<TForm = unknown, TField extends string | null | undefined = string>(
+  options?: PhoneValidatorOptions
+): Validator<TForm, TField>
 ```
 
+**Parameters:**
+- `options` — - Опции валидатора {@link PhoneValidatorOptions}. В `params` ошибки
+автоматически попадает выбранный `format`.
+
+**Returns:** Чистый валидатор {@link Validator} для строкового поля
+
 **Examples:**
 
+Проверка номера телефона
 ```typescript
-import { NodeFactory } from '@reformer/core';
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, phone } from '@reformer/core/validators';
 
-const factory = new NodeFactory();
-const node = factory.createNode({ value: '', component: Input }); // → FieldNode<string>
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.phone, [required(), phone({ format: 'ru' })]);
+});
 ```
 
-_Source: src/form/factories/node-factory.ts_
+_Source: src/form/validators/phone.ts_
 
-### PathAwareSignal
+### PhoneFormat
 
 **Kind:** `type`
 
-Сигнал, который знает свой путь в модели (`'personalData.lastName'`).
-Используется как «ручка поля»: и привязка value в схеме, и идентичность для testId/devtools.
+Формат проверки номера телефона для валидатора {@link phone}.
+
+- `international` — международный формат E.164 (`+?[1-9]\d{1,14}`);
+- `ru` — российские номера (`+7`/`7`/`8`, коды `4`/`8`/`9`, с разделителями);
+- `us` — североамериканские номера (NANP);
+- `any` — свободный формат: цифры, скобки и разделители (по умолчанию).
 
 **Signature:**
 ```typescript
-export type PathAwareSignal<T> = Signal<T> & {
-  /** Путь поля в модели (dot-нотация). На элементах массива включает индекс. */
-  readonly __path: string;
-};
+export type PhoneFormat = 'international' | 'ru' | 'us' | 'any';
 ```
 
-_Source: src/model/types.ts_
+_Source: src/form/validators/phone.ts_
+
+### PhoneValidatorOptions
+
+**Kind:** `interface`
+
+Опции валидатора {@link phone}. Расширяют {@link ValidateOptions} (`message`, `params`)
+выбором формата номера.
+
+**Signature:**
+```typescript
+export interface PhoneValidatorOptions extends ValidateOptions {
+  /** Формат проверки {@link PhoneFormat}. По умолчанию `'any'`. */
+  format?: PhoneFormat;
+}
+```
+
+_Source: src/form/validators/phone.ts_
 
 ### registerSignalNode
 
@@ -6799,6 +8324,47 @@ if (sig && node) registerSignalNode(sig, node);
 
 _Source: src/form/signal-node-registry.ts_
 
+### required
+
+**Kind:** `function`
+
+Фабрика валидатора обязательного поля.
+
+Возвращает чистую функцию-валидатор `(value, control, root)`. Передаётся в `validate()`.
+
+Пустыми считаются: `null`, `undefined`, `''` (пустая строка), `[]` (пустой массив —
+обязательный multi-select / FormArray без выбранных элементов).
+Для boolean полей требуется значение `true`.
+
+**Signature:**
+```typescript
+export function required<TForm = unknown, TField = unknown>(
+  options?: ValidateOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора ({@link ValidateOptions}): `message`, `params`
+
+**Returns:** Чистый валидатор {@link Validator} для поля схемы
+
+**Examples:**
+
+Обязательные поля в схеме формы
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.email, [required()]);
+validate(model.$.phone, [required({ message: 'Укажите номер телефона' })]);
+validate(model.$.agreeToTerms, [required({ message: 'Необходимо принять условия' })]);
+});
+```
+
+_Source: src/form/validators/required.ts_
+
 ### resetWhen
 
 **Kind:** `function`
@@ -6845,6 +8411,25 @@ revalidateWhen([model.$.maxAmount], () => void validateModel(model, schema));
 
 _Source: src/model/behaviors-value.ts_
 
+### Rule
+
+**Kind:** `type`
+
+Синхронное правило поля типа `TField`. Проверяется ТОЛЬКО значение (`value`).
+
+Позиционные `scope`/`root` помечены `never` намеренно: так встроенные value-only фабрики
+(`required()`/`min()`/… — они `(value, model, root) => …`) и inline-правила `(value) => …`
+ОБА присваиваются в `Rule<TField>[]` без `any`, при этом сохраняется проверка типа поля
+(`validate(model.$.age, [email()])` подсветится — `email` ждёт `string`, поле `number`).
+На вызове раннер приводит правило к callable и передаёт `(value, model, model)`.
+
+**Signature:**
+```typescript
+export type Rule<TField> = (value: TField, scope: never, root: never) => ValidationError | null;
+```
+
+_Source: src/form/validation/types.ts_
+
 ### runOutsideEffect
 
 **Kind:** `function`
@@ -7123,6 +8708,27 @@ syncFields(model.$.field1, model.$.field2);
 
 _Source: src/model/behaviors-value.ts_
 
+### toFileArray
+
+**Kind:** `function`
+
+Нормализует значение file-поля в массив файлоподобных элементов.
+
+Одиночный {@link FileLike} оборачивается в массив; из массива отбираются только
+файлоподобные элементы. Для прочих значений — `null` (валидатор пропускает).
+
+**Signature:**
+```typescript
+export function toFileArray(value: unknown): FileLike[] | null
+```
+
+**Parameters:**
+- `value` — - Значение поля (`FileLike`, `FileLike[]` или что-то ещё)
+
+**Returns:** Массив файлоподобных элементов или `null`
+
+_Source: src/form/validators/file-utils.ts_
+
 ### transformValue
 
 **Kind:** `function`
@@ -7196,6 +8802,67 @@ onDispose(() => unmarkDerived(model.$.total)); // при снятии compute с
 
 _Source: src/model/derived-registry.ts_
 
+### url
+
+**Kind:** `function`
+
+Фабрика валидатора URL.
+
+Пустые значения (`''`/`null`/`undefined`) пропускаются (используйте {@link required}
+для обязательности). При `requireProtocol` протокол обязателен; `allowedProtocols`
+дополнительно ограничивает набор допустимых протоколов.
+
+**Signature:**
+```typescript
+export function url<TForm = unknown, TField extends string | null | undefined = string>(
+  options?: UrlValidatorOptions
+): Validator<TForm, TField>
+```
+
+**Parameters:**
+- `options` — - Опции валидатора {@link UrlValidatorOptions}
+
+**Returns:** Чистый валидатор {@link Validator} для строкового поля
+
+**Examples:**
+
+Проверка URL
+```typescript
+import { defineValidationSchema, validate } from '@reformer/core/validation';
+import { required, url } from '@reformer/core/validators';
+
+// Правила живут в отдельной схеме над МОДЕЛЬЮ — layout-схема валидаторов не несёт.
+const validation = defineValidationSchema<MyForm>(({ model }) => {
+validate(model.$.website, [required(), url({ message: 'Введите корректный URL' })]);
+// Требовать протокол и ограничить схему только https:
+validate(model.$.homepage, [url({ requireProtocol: true, allowedProtocols: ['https'] })]);
+});
+```
+
+_Source: src/form/validators/url.ts_
+
+### UrlValidatorOptions
+
+**Kind:** `interface`
+
+Опции валидатора {@link url}. Расширяют {@link ValidateOptions} (`message`, `params`)
+настройками проверки протокола.
+
+**Signature:**
+```typescript
+export interface UrlValidatorOptions extends ValidateOptions {
+  /** Требовать наличие протокола (`http://` или `https://`). По умолчанию `false`. */
+  requireProtocol?: boolean;
+  /**
+   * Список разрешённых протоколов (без `://`), например `['https']`. Если задан,
+   * значение с иным протоколом даёт ошибку с кодом `url_protocol`.
+   */
+  allowedProtocols?: string[];
+}
+```
+
+_Source: src/form/validators/url.ts_
+
 ### useArrayLength
 
 **Kind:** `function`
@@ -7749,6 +9416,96 @@ export interface UseFormValidationResult {
 
 _Source: src/platforms/react/hooks/use-form-validation.ts_
 
+### validate
+
+**Kind:** `function`
+
+Синхронные правила поля.
+
+**Signature:**
+```typescript
+export function validate<TField>(sig: PathAwareSignal<TField>, rules: Rule<TField>[]): void
+```
+
+**Examples:**
+
+```ts
+validate(model.$.loanAmount, [required({ message: 'Сумма' }), min(50000)]);
+```
+
+_Source: src/form/validation/operators.ts_
+
+### validateAsync
+
+**Kind:** `function`
+
+Асинхронные правила поля (зеркалит движковое разделение `validators` / `asyncValidators`).
+Раннер дожидается их и прокидывает `AbortSignal` для отмены устаревших ответов.
+
+**Signature:**
+```typescript
+export function validateAsync<TField>(
+  sig: PathAwareSignal<TField>,
+  rules: AsyncRule<TField>[]
+): void
+```
+
+**Examples:**
+
+```ts
+validateAsync(model.$.username, [async (v, { signal }) => {
+  const r = await fetch(`/api/free?u=${v}`, { signal });
+  return (await r.json()).free ? null : { code: 'taken', message: 'Занято' };
+}]);
+```
+
+_Source: src/form/validation/operators.ts_
+
+### validateModel
+
+**Kind:** `function`
+
+Провалидировать модель ЛЮБОЙ схемой (шаг или вся форма). Открывает ambient-окно на время
+синхронного прогона `schema`, дожидается async-правил, разносит ошибки по нодам формы и гасит
+поля, ставшие валидными. Возвращает `true`, если нет блокирующих ошибок (`severity:'warning'` не блокирует).
+
+Гашение — на пару (model, schema): `validateModel(model, step2)` и `validateModel(model, form)` не мешают
+друг другу. Устаревший прогон (быстрый повторный вызов той же (model, schema)) отменяется через `AbortSignal`
+и возвращает `false` (**fail-closed** — отменённому результату нельзя доверять для submit).
+
+⚠️ `schema` должна быть СТАБИЛЬНОЙ ссылкой: отмена устаревших прогонов ключится по идентичности `schema`.
+Инлайн-стрелка (`validateModel(model, ({ model }) => …)`) каждый раз создаёт НОВЫЙ прогон без дедупликации —
+держите схемы в `const` / `defineValidationSchema`.
+
+`options.touch` (§6): по завершении помечает `touched` ИМЕННО поля, которые схема проверяла
+(не всё поддерево). Ошибки становятся видимыми (`shouldShowError = invalid && (touched||dirty)`)
+без ручного `form.markAsTouched()`; при пошаговой валидации следующий шаг не показывается
+«тронутым» до ввода. Валидные проверенные поля тоже метятся — это безвредно (ошибка не покажется).
+
+**Signature:**
+```typescript
+export async function validateModel<T>(
+  model: FormModel<T>,
+  schema: ValidationSchema<T>,
+  options?: { touch?: boolean }
+): Promise<boolean>
+```
+
+**Parameters:**
+- `model` — - Модель данных формы.
+- `schema` — - Схема валидации (стабильная ссылка).
+- `options` — - `{ touch }` — пометить провалидированные поля `touched` для показа ошибок.
+
+**Examples:**
+
+```ts
+const ok = await validateModel(model, step2Validation);              // один шаг
+const all = await validateModel(model, formValidation);              // вся форма
+const stepOk = await validateModel(model, step2Validation, { touch: true }); // + показать ошибки шага
+```
+
+_Source: src/form/validation/run.ts_
+
 ### ValidateOptions
 
 **Kind:** `interface`
@@ -7769,6 +9526,20 @@ export interface ValidateOptions {
 
 _Source: src/form/types/validation-schema.ts_
 
+### validateWhen
+
+**Kind:** `function`
+
+Условная валидация: правила внутри `cb` активны, только пока `cond()` истинно; иначе их поля
+ГАСЯТСЯ (пустой bucket → `setErrors([])`). Не трогает включение/сброс поля — это дело поведения (`enableWhen`).
+
+**Signature:**
+```typescript
+export function validateWhen(cond: () => boolean, cb: () => void): void
+```
+
+_Source: src/form/validation/operators.ts_
+
 ### ValidationError
 
 **Kind:** `interface`
@@ -7788,6 +9559,54 @@ export interface ValidationError {
 
 _Source: src/form/types/contracts.ts_
 
+### ValidationSchema
+
+**Kind:** `type`
+
+Схема валидации — обычная функция над (под)моделью. First-class значение (можно `apply`/тестировать/переиспользовать).
+
+**Signature:**
+```typescript
+export type ValidationSchema<T> = (ctx: { model: FormModel<T> }) => void;
+```
+
+_Source: src/form/validation/types.ts_
+
+### ValidationStrategyKind
+
+**Kind:** `type`
+
+Когда запускается schema-валидация:
+- `submit` (по умолчанию) — только явным вызовом `validate()` (на отправке);
+- `blur` — при потере фокуса поля (смена `touched` любого листа);
+- `change` — на каждый ввод (с опц. `debounce`);
+- `afterFirstSubmit` — тихо до первого `validate()`, затем live (см. `liveAfterSubmit`).
+
+**Signature:**
+```typescript
+export type ValidationStrategyKind = 'submit' | 'blur' | 'change' | 'afterFirstSubmit';
+```
+
+_Source: src/form/validation/strategy.ts_
+
+### ValidationStrategyOptions
+
+**Kind:** `interface`
+
+**Signature:**
+```typescript
+export interface ValidationStrategyOptions {
+  /** Стратегия запуска. Default `'submit'`. */
+  strategy?: ValidationStrategyKind;
+  /** Debounce (мс) для live-фаз (`change` и live-часть `afterFirstSubmit`). Default `0`. */
+  debounce?: number;
+  /** Режим live-фазы для `afterFirstSubmit`. Default `'change'`. */
+  liveAfterSubmit?: 'change' | 'blur';
+}
+```
+
+_Source: src/form/validation/strategy.ts_
+
 ### Validator
 
 **Kind:** `type`