@rsconcept/rstool 1.4.3 → 1.6.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.4.3",
+  "version": "1.6.0",
   "description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract.",
   "license": "MIT",
   "author": "IRBorisov",
@@ -50,21 +50,6 @@
     "README.md",
     "LICENSE"
   ],
-  "dependencies": {
-    "@rsconcept/domain": "2.0.2"
-  },
-  "devDependencies": {
-    "@types/node": "^26.1.0",
-    "@vitest/coverage-v8": "^4.1.9",
-    "tsdown": "^0.22.3",
-    "tsx": "^4.22.5",
-    "typescript": "^6.0.3",
-    "unrun": "^0.3.1",
-    "vitest": "^4.1.9"
-  },
-  "publishConfig": {
-    "access": "public"
-  },
   "scripts": {
     "build": "tsdown",
     "typecheck": "tsc -p tsconfig.json --noEmit",
@@ -83,6 +68,22 @@
     "example:build-expression-bank-schema": "tsx examples/expression-bank/build-rsform.ts",
     "example:build-template-apply-schema": "tsx examples/template-apply/build-rsform.ts",
     "example:audit-diagnostics": "tsx examples/audit-diagnostics.ts",
-    "kinship:cli": "tsx examples/kinship/cli.ts"
+    "kinship:cli": "tsx examples/kinship/cli.ts",
+    "prepublishOnly": "pnpm run build"
+  },
+  "dependencies": {
+    "@rsconcept/domain": "workspace:*"
+  },
+  "devDependencies": {
+    "@types/node": "^26.1.0",
+    "@vitest/coverage-v8": "^4.1.9",
+    "tsdown": "^0.22.3",
+    "tsx": "^4.22.5",
+    "typescript": "^6.0.3",
+    "unrun": "^0.3.1",
+    "vitest": "^4.1.9"
+  },
+  "publishConfig": {
+    "access": "public"
   }
-}
+}

package/skills/README.md

@@ -6,9 +6,9 @@ Each skill lives in its own subdirectory: `skills/<skill-name>/SKILL.md` (plus r
 
 - `INSTALL.md`: agent procedure after `npm install`
 - `rstool-helper/SKILL.md`: thin entry skill — copy into the project’s agent skills folder (see `INSTALL.md`)
-- `rstool-helper/GUIDE.md`: единая точка входа — воркфлоу, чеклисты, обзор языка (на русском)
-- `rstool-helper/REFERENCE.md`: API, stdio, контракт (на русском)
-- `rstool-helper/EXAMPLES.md`: примеры и типичные ошибки (на русском)
+- `rstool-helper/GUIDE.md`: entry point — task→read matrix, workflows (incl. review), checklists (Russian)
+- `rstool-helper/REFERENCE.md`: API, stdio, MCP names, response shapes, help map (Russian)
+- `rstool-helper/EXAMPLES.md`: snippets, anti-patterns, diagnostics, `examples/` index (Russian)
 - `../docs/*.md`: language reference (DOMAIN, SYNTAX, DIAGNOSTICS, …)
 
 ## npm workflow

package/skills/rstool-helper/EXAMPLES.md

@@ -1,5 +1,22 @@
 # ЯРЭ и rstool — примеры
 
+Короткие фрагменты для агентов. Воркфлоу — [GUIDE.md](GUIDE.md). Контракт — [REFERENCE.md](REFERENCE.md).
+
+## Индекс runnable `examples/`
+
+Полные сценарии пакета:
+
+| Тема                                                  | Паттерн                              | Смотри                                            |
+| ----------------------------------------------------- | ------------------------------------ | ------------------------------------------------- |
+| [`sample/`](../../examples/sample/)                   | Минимальная КС + КМ                  | `X1`, `C1`, `S1`, `D1`, `A1`                      |
+| [`kinship/`](../../examples/kinship/)                 | Предметная схема, модель, CLI        | отношения на `X1`, правки интерпретации           |
+| [`chocolate-nim/`](../../examples/chocolate-nim/)     | Математика на `Z` без `X#`           | [BASE-SELECTION.md](../../docs/BASE-SELECTION.md) |
+| [`movd/`](../../examples/movd/)                       | Сложные `S#`, мультипроекции, `Fi`   | фильтры и проекции                                |
+| [`expression-bank/`](../../examples/expression-bank/) | Шаблоны на радикалах `R#`            | [SYNTAX.md](../../docs/SYNTAX.md) «Радикалы»      |
+| [`template-apply/`](../../examples/template-apply/)   | Подстановка `R#` → предметные домены | применение шаблонов                               |
+
+Запуск и структура папок — [examples/README.md](../../examples/README.md).
+
 ## Схема: batch patch
 
 ```ts
@@ -16,6 +33,160 @@ const result = tool.applySchemaPatch({
 console.log(result.summary.itemCount, result.success);
 ```
 
+## Терм-функция вместо множества пар
+
+Правила — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md), раздел «Терм-функция вместо множества пар».
+
+### Было: граф и чтение через фильтр
+
+```ts
+tool.applySchemaPatch({
+  items: [
+    { alias: 'X1', convention: 'узлы' },
+    { alias: 'S1', definitionFormal: 'ℬ(X1×X1)', convention: 'ориентированные рёбра' },
+    {
+      alias: 'D1',
+      term: 'узел и его исходящие рёбра',
+      definitionFormal: 'I{(ξ,σ) | ξ:∈X1; σ:=Pr2(Fi1[{ξ}](S1))}'
+    },
+    {
+      alias: 'D2',
+      term: 'узел и число исходящих рёбер',
+      definitionFormal: 'I{(ξ,n) | α:∈D1; ξ:=pr1(α); n:=card(pr2(α))}'
+    },
+    {
+      alias: 'A1',
+      term: 'функциональность графика D1',
+      definitionFormal: '∀d1,d2∈D1 (pr1(d1)=pr1(d2) ⇒ pr2(d1)=pr2(d2))'
+    }
+  ]
+});
+```
+
+Потребитель «степени» вынужден тащить пары и аксиому однозначности.
+
+### Стало: терм-функции и вызовы
+
+```ts
+tool.applySchemaPatch({
+  items: [
+    { alias: 'X1', convention: 'узлы' },
+    { alias: 'S1', definitionFormal: 'ℬ(X1×X1)', convention: 'ориентированные рёбра' },
+    {
+      alias: 'F1',
+      term: 'исходящие соседи',
+      definitionFormal: '[ξ∈X1] Pr2(Fi1[{ξ}](S1))'
+    },
+    {
+      alias: 'F2',
+      term: 'исходящая степень',
+      definitionFormal: '[ξ∈X1] card(F1[ξ])'
+    },
+    {
+      alias: 'D3',
+      term: 'стоки',
+      definitionFormal: 'D{ξ∈X1 | F2[ξ]=0}'
+    }
+  ]
+});
+```
+
+`A1` не нужна: однозначность уже в `F1`/`F2`. Множество пар не вводится, пока оно само не станет предметом утверждения.
+
+### Когда пары уместны
+
+Многозначная связь «документ — автор» — отношение; `F1` даёт **множество** авторов, а `D1` — отношение на документах:
+
+```ts
+tool.applySchemaPatch({
+  items: [
+    { alias: 'X1', convention: 'документы' },
+    { alias: 'X2', convention: 'лица' },
+    { alias: 'S1', definitionFormal: 'ℬ(X1×X2)', convention: 'авторство' },
+    {
+      alias: 'F1',
+      term: 'авторы документа',
+      definitionFormal: '[δ∈X1] Pr2(Fi1[{δ}](S1))'
+    },
+    {
+      alias: 'D1',
+      term: 'соавторские пары документов',
+      definitionFormal: 'D{(a,b)∈X1×X1 | a≠b & F1[a]∩F1[b]≠∅}'
+    }
+  ]
+});
+```
+
+## `D{}` / `I{}` / `R{}` — когда что
+
+Синтаксис — [SYNTAX.md](../../docs/SYNTAX.md).
+
+| Генератор                    | Когда                                      | Пример                                                                                     |
+| ---------------------------- | ------------------------------------------ | ------------------------------------------------------------------------------------------ |
+| `D{ξ∈A \| P(ξ)}`             | Отбор по условию без пошагового построения | `D{ξ∈X1 \| F2[ξ]=0}`                                                                       |
+| `I{… \| блоки;}`             | Нужны промежуточные присваивания / сборка  | `I{(ξ,n) \| α:∈D1; ξ:=pr1(α); n:=card(pr2(α))}` — лучше заменить на `F#`, если это функция |
+| `R{x:=base \| cond \| next}` | Рекурсивное наращивание                    | обход / итерация по правилу                                                                |
+
+Антипаттерн: `I{(ξ,σ) \| ξ:∈A; σ:=E(ξ)}` для однозначного `E` → пиши `F ::= [ξ∈A] E(ξ)`.
+
+## Конвенция: плохо / хорошо
+
+У `X#` / `C#` / `S#` конвенция обязательна по смыслу (иначе `schemaMissingConvention`).
+
+| Плохо                                         | Хорошо                                                            |
+| --------------------------------------------- | ----------------------------------------------------------------- |
+| `convention: 'X1'`                            | `convention: 'сотрудники организации'`                            |
+| `convention: 'отношение'`                     | `convention: 'ориентированные рёбра: пара (начало, конец)'`       |
+| пустая / копия термина без предметного смысла | кто элементы, как читать компоненты кортежа, какой порядок в паре |
+
+Конвенция — предметный язык; она не заменяет формулу и не проверяется ЯРЭ.
+
+## Типичные диагностики (было → стало)
+
+Полный справочник — [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md). Исправляй диапазон `from`/`to` в формуле.
+
+| `name`                                            | Было                                               | Стало                                                            |
+| ------------------------------------------------- | -------------------------------------------------- | ---------------------------------------------------------------- |
+| `typesNotEqual`                                   | смешение ступеней в `∪` / `=`                      | выровняй типы или введи промежуточный терм                       |
+| `globalNotTyped`                                  | ссылка на ещё не введённый / нетипизированный `S1` | сначала поставщик в том же или предыдущем patch                  |
+| `arithmeticNotSupported` / `orderingNotSupported` | `ξ+1` или `α<β` при `ξ∈X1`                         | `Z` или `C#` ([BASE-SELECTION.md](../../docs/BASE-SELECTION.md)) |
+| `globalFuncParenCall`                             | `F1(ξ)`                                            | `F1[ξ]`                                                          |
+| `globalFuncWithoutArgs`                           | голое `F1` в формуле                               | `F1[…]`                                                          |
+| `radicalUsage`                                    | `R1` в теле формулы или как конституента           | `R#` только в `[…]` у `F#`/`P#`                                  |
+| `schemaMissingConvention`                         | `X1` без конвенции                                 | добавь предметную конвенцию                                      |
+| `schemaHomonym`                                   | одинаковый термин у разных конституент             | различай термины                                                 |
+| `schemaDependencyCycle`                           | круг в определениях (`F3 → P1 → F3`)               | разорви цикл: убери взаимные ссылки                              |
+| `localOutOfScopeParentheses`                      | `∀a∈S P(a) & Q(a)`                                 | `∀a∈S (P(a) & Q(a))`                                             |
+| `invalidFilterSyntax`                             | кривой `Fi`                                        | `Fi1[{ξ}](S1)` / `Fi1,2[D1,D2](S1)`                              |
+
+```ts
+const analysis = tool.analyzeExpression({
+  expression: 'F1(ξ)', // ошибка: скобки вызова
+  cstType: CstType.TERM
+});
+// смотри analysis.diagnostics[].name, from, to
+```
+
+## Scratch-проверка одной формулы
+
+Без полной схемы задачи — минимальный стенд:
+
+```ts
+const tool = new RSToolAgent();
+tool.applySchemaPatch({
+  items: [
+    { alias: 'X1', convention: 'элементы' },
+    { alias: 'S1', definitionFormal: 'ℬ(X1×X1)', convention: 'рёбра' }
+  ]
+});
+const draft = tool.analyzeExpression({
+  expression: '[ξ∈X1] Pr2(Fi1[{ξ}](S1))',
+  cstType: CstType.FUNCTION
+});
+```
+
+Семантику значения — отдельная маленькая КМ ([MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
+
 ## `X#`, `C#` и `Z`
 
 Выбор основания — [BASE-SELECTION.md](../../docs/BASE-SELECTION.md).
@@ -66,7 +237,7 @@ const scratch = tool.evaluate({ expression: '1+2', cstType: CstType.TERM });
 const recalc = tool.recalculateModel();
 ```
 
-## Экспорт / импорт
+## Экспорт / импорт и Portal round-trip
 
 ```ts
 const payload = tool.exportSession();
@@ -75,10 +246,30 @@ const restored = tool.importData(payload, 'session');
 const schemaJson = tool.exportPortal({ kind: 'schema' });
 const modelObj = tool.exportPortal({ kind: 'model', format: 'object' });
 
-// Portal GET /api/rsforms/:id/details
-const session = tool.importData(portalDetailsJsonString);
+// Portal GET /api/rsforms/:id/details → строка или объект
+const session = tool.importData(portalDetailsJsonString); // kind auto
+tool.listDiagnostics();
+// правки…
+const forPortal = tool.exportPortal({ kind: 'schema' });
 ```
 
+Не передавай `/details` с `kind: 'session'`. REST и curl — [PORTAL-API.md](../../docs/PORTAL-API.md).
+
+## Образец текста ревью (не код)
+
+После [воркфлоу ревью](GUIDE.md#ревью--оценка-готовой-кс) ответ может выглядеть так:
+
+> **Вердикт:** схема покрывает роли и отношение подчинения; главный риск — вычисляемая «степень» задана графиком пар вместо терм-функции.
+>
+> **Диагностики:** 0 ошибок expression; 1 предупреждение schema (омоним термина).
+>
+> **Важно:** `D4` — множество пар «сотрудник — число подчинённых»; лучше `F#` с `card`.
+> **Замечание:** у `S2` конвенция слишком общая («связь»).
+>
+> **Покрытие:** сущности и иерархия есть; нет высказывания о единственности руководителя.
+>
+> **Рекомендации:** (1) заменить `D4` на `F#`; (2) уточнить конвенцию `S2`; (3) при необходимости добавить `T#`. Правки не применял — жду подтверждения.
+
 ## Stdio (плоские params)
 
 ```json

package/skills/rstool-helper/GUIDE.md

@@ -10,6 +10,7 @@
 - Анализатор: `@rsconcept/domain`.
 - Stdio-обёртка: `npx rstool-wrapper`, JSON построчно.
 - Node-клиент: `RSToolWrapperClient`.
+- MCP: `@rsconcept/rstool-mcp` (tools в `snake_case` — [REFERENCE.md](REFERENCE.md)).
 
 ## Быстрый контракт для агента
 
@@ -20,6 +21,25 @@
 - Модель: `setModelValues`, `evaluate`, `recalculateModel`.
 - Перед сохранением сомнительной формулы — `analyzeExpression`.
 
+## Задача → чтение
+
+Не открывай все `docs/` сразу. Выбери строку по запросу пользователя, прочитай **минимум**, остальное — только если упрёшься в пробел.
+
+| Задача пользователя                                      | Читать (минимум)                                                                                                                                                                                                                     | Не читать сразу                          |
+| :------------------------------------------------------- | :----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | :--------------------------------------- |
+| Собрать / существенно развить КС из текста               | этот GUIDE → [концептуализация](#концептуализация-кс-из-содержания-источника); [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md); [BASE-SELECTION.md](../../docs/BASE-SELECTION.md); при сомнении — [EXAMPLES.md](EXAMPLES.md) | PORTAL-API целиком; TYPIFICATION целиком |
+| Оценить / отревьюить готовую КС (без запроса «перепиши») | этот GUIDE → [ревью / оценка](#ревью--оценка-готовой-кс); [чеклист ревью](#ревью-концептуальной-схемы); [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md); при импорте — [PORTAL-API.md](../../docs/PORTAL-API.md)             | EXAMPLES с batch patch; полный SYNTAX    |
+| Точечные правки существующей схемы                       | этот GUIDE → [редактирование](#редактирование-и-проверка-схемы); [REFERENCE.md](REFERENCE.md) при вызовах                                                                                                                            | CONCEPTUAL-SCHEMA целиком                |
+| Починить формулу / диагностики                           | этот GUIDE → [цикл диагностик](#цикл-диагностик); [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md); [EXAMPLES.md](EXAMPLES.md) «типичные диагностики»                                                                                     | CONCEPTUAL-SCHEMA; PORTAL-API            |
+| Импорт / правка по ссылке Portal                         | этот GUIDE → [Portal](#оценка-или-правка-кс-из-portal); [PORTAL-API.md](../../docs/PORTAL-API.md)                                                                                                                                    | SYNTAX; BASE-SELECTION                   |
+| Проверить смысл на данных / КМ                           | этот GUIDE → [КМ](#проверка-на-маленькой-км); [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)                                                                                                                                        | DOMAIN/ОСС; CONCEPTUAL-SCHEMA            |
+| Объяснить синтаксис / генераторы / `F#`/`P#`             | [SYNTAX.md](../../docs/SYNTAX.md); при необходимости [EXAMPLES.md](EXAMPLES.md)                                                                                                                                                      | воркфлоу сессий                          |
+| Разобрать типизацию / ступени                            | [TYPIFICATION.md](../../docs/TYPIFICATION.md)                                                                                                                                                                                        | PORTAL-API                               |
+| Вызовы API / stdio / MCP                                 | [REFERENCE.md](REFERENCE.md)                                                                                                                                                                                                         | docs языка                               |
+| Термины КС, ядро/тело, не путать ярлыки                  | [DOMAIN.md](../../docs/DOMAIN.md)                                                                                                                                                                                                    | —                                        |
+
+Полный индекс справочников — [ниже](#что-читать) и в [docs/README.md](../../docs/README.md).
+
 ## Границы правок: не трогай пакет rstool без запроса
 
 Задача по КС, Portal или источнику пользователя **не означает** правку дерева `rsconcept/rstool/`.
@@ -45,10 +65,10 @@ pnpm --filter @rsconcept/rstool exec tsx path/to/your/build-schema.ts
 
 Пути — относительно этого файла.
 
-- API, методы, stdio: [REFERENCE.md](REFERENCE.md).
-- Примеры: [EXAMPLES.md](EXAMPLES.md).
+- API, методы, stdio, MCP: [REFERENCE.md](REFERENCE.md).
+- Примеры и антипаттерны: [EXAMPLES.md](EXAMPLES.md).
 - Термины предметной области: [../../docs/DOMAIN.md](../../docs/DOMAIN.md).
-- **`X#` / `C#` / `Z`:** [../../docs/BASE-SELECTION.md](../../docs/BASE-SELECTION.md) — когда какое основание вводить.
+- **`X#` / `C#` / `Z`:** [../../docs/BASE-SELECTION.md](../../docs/BASE-SELECTION.md).
 - Концептуализация, создание схемы: [../../docs/CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 - Конституенты и валидация: [../../docs/CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
 - Синтаксис ЯРЭ: [../../docs/SYNTAX.md](../../docs/SYNTAX.md).
@@ -56,7 +76,7 @@ pnpm --filter @rsconcept/rstool exec tsx path/to/your/build-schema.ts
 - Проверка определений на КМ: [../../docs/MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
 - Диагностики: [../../docs/DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
 - REST Portal: [../../docs/PORTAL-API.md](../../docs/PORTAL-API.md).
-- Репозиторий Portal (исходники, API, nginx): [ConceptPortal на GitHub](https://github.com/IRBorisov/ConceptPortal).
+- Репозиторий Portal: [ConceptPortal на GitHub](https://github.com/IRBorisov/ConceptPortal).
 
 ## Воркфлоу
 
@@ -86,6 +106,8 @@ pnpm --filter @rsconcept/rstool exec tsx path/to/your/build-schema.ts
 Portal JSON из `/details` не является форматом `exportSession`. Используй `importData(payload)` —
 kind `auto` (default) определит `portal-details` или `portal-schema`. Явный kind: `'portal-details'`, `'portal-schema'`, `'session'`.
 
+Если задача — **оценка** схемы из Portal, а не правка: после импорта иди в [ревью / оценка](#ревью--оценка-готовой-кс), не начинай массовый refactor.
+
 ### Концептуализация (КС из содержания источника)
 
 Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
@@ -93,7 +115,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 1. Собери словарь: неопределяемые понятия, ключевые отношения, сценарий синтеза.
 2. Добавь независимые неопределяемые понятия `X#`, `C#`, `S#` с конвенциями из источника (не копируй дословно). Для выбора `X#` vs `C#` vs `Z` — [BASE-SELECTION.md](../../docs/BASE-SELECTION.md).
 3. Всё, что выводится из уже введённых понятий, оформляй как `D#` / `F#` / `P#`, а не как новое `X#` / `C#` / `S#`.
-4. Вводи промежуточные `D#`, `F#`, `P#` для проекций, функциональных связей и повторяющихся фрагментов формул.
+4. Вводи промежуточные `D#`, `F#`, `P#` для проекций, функциональных связей и повторяющихся фрагментов формул. Если зависимость имеет вид «для `ξ` вычислить значение», оформляй её как `F#`, а не как множество пар `I{(ξ,σ)|…}` ([CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md), «Терм-функция вместо множества пар»).
 5. Добавь `A#` и `T#` после терминов, на которые они опираются.
 6. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
 7. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
@@ -101,9 +123,30 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 
 Дальше — обычное [редактирование и проверка](#редактирование-и-проверка-схемы): commit, export.
 
+### Ревью / оценка готовой КС
+
+Когда пользователь просит **оценить**, **проревьюить**, **найти проблемы** в уже существующей схеме (сессия, JSON, ссылка Portal) — и **не** просит сразу переписать её.
+
+**Правило:** без явного запроса на правку не делай массовый рефакторинг и не заменяй схему «улучшенной версией». Сначала отчёт; правки — только по согласованию или если пользователь сразу сказал «исправь».
+
+1. Загрузи схему: текущая сессия, `importData`, или Portal → [PORTAL-API.md](../../docs/PORTAL-API.md).
+2. `listDiagnostics()` — раздели `expression` / `schema` / `model`; зафиксируй ошибки и предупреждения.
+3. `getSessionState('summary')` — обзор состава; при необходимости `full` для формул.
+4. Структурный проход по [чеклисту ревью](#ревью-концептуальной-схемы) и [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md):
+   - неопределяемые vs производные (`S#` там, где должно быть `D#`/`F#`/`P#`);
+   - `X#` / `C#` / `Z` ([BASE-SELECTION.md](../../docs/BASE-SELECTION.md));
+   - терм-функции vs множества пар;
+   - радикалы `R#` не объявлены конституентами;
+   - покрытие задачи vs избыточность.
+5. Severity в отчёте:
+   - **блокер** — диагностики `error`, схема не анализируется / ломает вычисление;
+   - **важно** — нарушение правил проектирования (лишнее `S#`, график вместо `F#`, смешение экспликаций);
+   - **замечание** — стиль, именование, возможные упрощения, пробелы покрытия.
+6. Ответ — по [шаблону ревью](#шаблон-ответа-ревью). Предлагай конкретные правки списком; применяй их только по запросу.
+
 ### Цикл диагностик
 
-Когда `analysis.success === false` или `listDiagnostics` не пуст. Коды и типичные ошибки — [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
+Когда `analysis.success === false` или `listDiagnostics` не пуст. Коды и типичные ошибки — [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md); короткие «было → стало» — [EXAMPLES.md](EXAMPLES.md).
 
 1. Вызови `listDiagnostics()` — смотри `kind`: `expression` (формула), `schema` (омонимы, дубликаты, термин/конвенция), `model` (интерпретация).
 2. Для черновика формулы — `analyzeExpression` (без сохранения).
@@ -134,6 +177,10 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 
 ## Формат ответа агента
 
+Выбери шаблон по типу задачи. Не вставляй большой JSON в чат без запроса пользователя.
+
+### Сборка / правка схемы
+
 В конце работы сообщи:
 
 - что изменено в схеме или модели;
@@ -141,7 +188,28 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 - какой экспорт получен: сессия / схема для Portal / модель для Portal;
 - какие проверки выполнены: анализ выражений / вычисление / пересчёт модели / тесты.
 
-Не вставляй большой JSON в чат без запроса пользователя.
+### Шаблон ответа: ревью
+
+1. **Краткий вердикт** (1–2 предложения): пригодна ли схема к задаче, главный риск.
+2. **Диагностики:** число ошибок / предупреждений по `expression` / `schema` / `model` (без полного JSON).
+3. **Находки** списком: блокер → важно → замечание; у каждой — имя конституенты и суть.
+4. **Покрытие:** что из задачи отражено; чего не хватает.
+5. **Рекомендации:** конкретные правки; не применяй их без запроса.
+6. **Проверки:** что уже сделано (import, listDiagnostics, выборочный анализ).
+
+### Шаблон ответа: диагностики
+
+- какие конституенты / формулы затронуты;
+- `name` диагностики и смысл простым языком;
+- что изменено в формальном определении (или почему правка не нужна);
+- повторная проверка: чисто / осталось.
+
+### Шаблон ответа: объяснение формулы
+
+- роль конституенты и термин;
+- формула как есть;
+- по шагам: что вычисляется / утверждается;
+- на какие понятия опирается; типизация.
 
 ### Язык ответа
 
@@ -187,7 +255,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 
 ### Ревью концептуальной схемы
 
-Перед завершением концептуализации или крупного изменения. Правила — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
+Перед завершением концептуализации, крупного изменения или как проход в [воркфлоу ревью](#ревью--оценка-готовой-кс). Правила — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
 - [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
 - [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
@@ -196,5 +264,8 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 - [ ] Покрыты главные сущности, роли, отношения, утверждения.
 - [ ] В текстовых определениях используются только понятия из схемы.
 - [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.
+- [ ] Вычисляемые зависимости «аргумент → значение» оформлены как `F#` с вызовами, а не как пары / тройки + `Pr`/`Fi` (см. [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md), «Терм-функция вместо множества пар»).
+- [ ] Пары / `I{(ξ,σ)|…}` оставлены только для истинных отношений, графиков как объектов или многозначных связей.
 - [ ] `R#` в `[…]` у `F#` / `P#` не считается пропущенной конституентой; радикалы не добавляют в схему как `X#` / `S#` / `D#`.
 - [ ] Сомнительная семантика проверена на маленькой КМ при наличии тестовых данных.
+- [ ] При чистом ревью: отчёт по [шаблону](#шаблон-ответа-ревью) выдан **до** любых массовых правок.