@rsconcept/rstool 1.6.0 → 1.7.1

package/docs/DIAGNOSTICS.md

@@ -1,8 +1,9 @@
 # Диагностика
 
 Читай, когда `analyzeExpression`, `applySchemaPatch`, `listDiagnostics` или `evaluate`
-вернули диагностику. Коды ошибок ЯРЭ — `RSErrorCode` в `@rsconcept/domain`; коды схемы
-и модели — `RSDiagnosticCode` в том же пакете (числовой формат совпадает).
+вернули диагностику. Коды ошибок ЯРЭ — `RSErrorCode` в `@rsconcept/domain`; коды схемы,
+модели и таблицы отождествлений — `RSDiagnosticCode` в том же пакете (числовой формат совпадает;
+`SubstitutionErrorType` — алиасы кодов отождествлений).
 
 ## Формы диагностики
 
@@ -23,9 +24,30 @@
 | `alias?`     | обозначение конституенты                                               |
 | `expression` | текст формулы или затронутого поля                                     |
 | `from`, `to` | полуинтервал `[from, to)` в `expression`                               |
+| `stack?`     | цепочка вызовов при ошибке внутри тела `F#`/`P#` (см. ниже)            |
 
 Фильтры `listDiagnostics({ kind, constituentId, severity })`.
 
+### Стек вызовов (`stack`)
+
+При вычислении ошибки внутри вызванной терм-/предикат-функции (`E81xx` и любые
+runtime-ошибки в теле `F#`/`P#`) диагностика несёт `stack` — кадры от места сбоя
+наружу. Если ошибки нет в вызове (сбой в самом корневом выражении) — `stack`
+отсутствует:
+
+| Поле         | Смысл                                    |
+| ------------ | ---------------------------------------- |
+| `alias`      | конституента, в чьей формуле лежит span  |
+| `from`, `to` | полуинтервал в формуле этой конституенты |
+
+Порядок: **сначала место ошибки**, затем call site во внешнем вызывающем, …
+Корневое выражение в стек не входит: его call site — в `from`/`to` самой
+диагностики (подсветка в редакторе). Пример `F7[X1]` → `F8[…]` → `debool`:
+`stack[0] = { alias: 'F8', … }`, `stack[1] = { alias: 'F7', … }`, а
+корневой `F7[X1]` — только в `from`/`to`.
+
+Форматирование для людей: `formatEvalCallStack` из `@rsconcept/domain` → `F7 → F8`.
+
 ## Где лежит диагностика
 
 Три категории (`kind`), собранные в `listDiagnostics` после `applySchemaPatch`,
@@ -39,17 +61,36 @@
 
 ## Схема (Portal)
 
-| Код      | Имя                       | `params`             | Исправление                                                                             |
-| -------- | ------------------------- | -------------------- | --------------------------------------------------------------------------------------- |
-| `0x8901` | `schemaHomonym`           | `[aliases]`          | Термин совпадает с другими конституентами (`aliases` через запятую). Переименуй термин. |
-| `0x8902` | `schemaFormalDuplicate`   | `[aliases]`          | Нормализованная формула совпадает с `aliases`. Объедини или различай определения.       |
-| `0x8903` | `schemaMissingConvention` | —                    | У `basic`/`constant`/`structure` нужна конвенция.                                       |
-| `0x8904` | `schemaMissingTerm`       | —                    | У неопределяемого понятия нужен термин.                                                 |
-| `0x8905` | `schemaTypeMismatch`      | `[manual, computed]` | расхождение ручной и вычисленной типизации.                                             |
-| `0x8906` | `schemaDependencyCycle`   | `[cycle]`            | Круг в графе определений (`F3 → P1 → F3`). Разорви цикл: убери взаимные ссылки.         |
+| Код      | Имя                       | `params`             | Исправление                                                                                                                                         |
+| -------- | ------------------------- | -------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `0x8901` | `schemaHomonym`           | `[aliases]`          | Термин совпадает с другими конституентами (`aliases` через запятую). Переименуй термин.                                                             |
+| `0x8902` | `schemaFormalDuplicate`   | `[aliases]`          | Нормализованная формула совпадает с `aliases`. Объедини или различай определения.                                                                   |
+| `0x8903` | `schemaMissingConvention` | —                    | У `basic`/`constant`/`structure` нужна конвенция.                                                                                                   |
+| `0x8904` | `schemaMissingTerm`       | —                    | У неопределяемого понятия нужен термин.                                                                                                             |
+| `0x8905` | `schemaTypeMismatch`      | `[manual, computed]` | расхождение ручной и вычисленной типизации.                                                                                                         |
+| `0x8906` | `schemaDependencyCycle`   | `[cycle]`            | Круг в графе определений (`F3 → P1 → F3`). Разорви цикл: убери взаимные ссылки. Тот же код — у таблицы отождествлений после применения подстановок. |
 
 Поле `params` для омонимов/дубликатов — `[aliases]` (строка с alias через запятую).
 
+## Таблица отождествлений
+
+Коды в том же пространстве, что `RSDiagnosticCode` / `RSErrorCode`. Короткие имена `SubstitutionErrorType.*` — алиасы. Логический круг в определениях — **`schemaDependencyCycle` (`0x8906`)**, не отдельный код.
+
+| Код      | Имя                               | `params`       | Исправление                                                        |
+| -------- | --------------------------------- | -------------- | ------------------------------------------------------------------ |
+| `0x8920` | `substitutionInvalidIDs`          | —              | Некорректные id схем/конституент в таблице.                        |
+| `0x8921` | `substitutionIncorrectCst`        | `[from, to]`   | У одной из пары некорректное выражение.                            |
+| `0x8922` | `substitutionInvalidClasses`      | `[from, to]`   | Классы конституент несовместимы для отождествления.                |
+| `0x8923` | `substitutionInvalidBasic`        | `[from, to]`   | Нельзя заменять структурное понятие базисным множеством.           |
+| `0x8924` | `substitutionInvalidConstant`     | `[from, to]`   | Константное множество только вместо другого константного.          |
+| `0x8925` | `substitutionTypificationCycle`   | `[detail]`     | Цикл подстановок в типизациях.                                     |
+| `0x8926` | `substitutionBaseNotSet`          | `[from, type]` | Типизация замещающей не задаёт множество.                          |
+| `0x8927` | `substitutionUnequalTypification` | `[from, to]`   | Типизации операндов не совпадают с учётом таблицы.                 |
+| `0x2928` | `substitutionUnequalExpressions`  | `[from, to]`   | Предупреждение: формальные определения различаются (не блокирует). |
+| `0x8929` | `substitutionUnequalArgsCount`    | `[from, to]`   | Число аргументов параметризованных конституент не совпадает.       |
+| `0x892A` | `substitutionUnequalArgs`         | `[from, to]`   | Типизации аргументов не совпадают.                                 |
+| `0x892B` | `substitutionInvalidNominal`      | `[from, to]`   | Номиноид только вместо другого номиноида.                          |
+
 ## Модель (Portal)
 
 Статусы соответствуют фильтру «проблемы модели» в UI (`isModelIssue`).
@@ -77,7 +118,8 @@
 
 - Диапазоны: `0x84xx` — parser (синтаксис, скобки), `0x88xx` — semantic (типизация, область
   видимости, структура, схема, отсутствие значения), `0x81xx` — evaluation (вычисление КМ),
-- `0x2xxx` — предупреждения (не блокируют, `isCritical` возвращает `false`).
+  `0x89xx` — schema / model / substitution diagnostics (`RSDiagnosticCode`),
+- `0x2xxx` — предупреждения (не блокируют, `isCritical` возвращает `false`; в т.ч. `0x2928` unequalExpressions).
 
 ## Parser
 
@@ -177,17 +219,17 @@
 
 ## Вычисление КМ
 
-| Код      | Имя                       | `params`           | Исправление                                                            |
-| -------- | ------------------------- | ------------------ | ---------------------------------------------------------------------- |
-| `0x8100` | `calcUnknownError`        | —                  | Непредвиденная ошибка вычисления.                                      |
-| `0x8101` | `setOverflow`             | `[limit]`          | Превышен предел числа элементов `limit`: упрости выражение или данные. |
-| `0x8102` | `booleanBaseLimit`        | `[limit]`          | Превышен предел базы степенного множества `limit`.                     |
-| `0x8103` | `calcGlobalMissing`       | `[name]`           | Нет значения для `name`: задай через `setModelValues`.                 |
-| `0x8104` | `iterationsLimit`         | `[limit]`          | Превышен предел итераций `limit`.                                      |
-| `0x8105` | `calcInvalidDebool`       | —                  | `debool` получил не синглетон.                                         |
-| `0x8106` | `iterateInfinity`         | —                  | Итерация по бесконечному множеству.                                    |
-| `0x8107` | `calculationNotSupported` | —                  | Объявление функции не подразумевает вычисления.                        |
-| `0x8108` | `calcInvalidData`         | `[a, b, operator]` | Несовместимые значения `a` и `b` для `operator` в runtime.             |
+| Код      | Имя                       | `params`           | Исправление                                                                            |
+| -------- | ------------------------- | ------------------ | -------------------------------------------------------------------------------------- |
+| `0x8100` | `calcUnknownError`        | —                  | Непредвиденная ошибка вычисления.                                                      |
+| `0x8101` | `setOverflow`             | `[limit]`          | Превышен предел числа элементов `limit`: упрости выражение или данные.                 |
+| `0x8102` | `booleanBaseLimit`        | `[limit]`          | Превышен предел базы степенного множества `limit`.                                     |
+| `0x8103` | `calcGlobalMissing`       | `[name]`           | Нет значения для `name`: задай через `setModelValues`.                                 |
+| `0x8104` | `iterationsLimit`         | `[limit]`          | Превышен предел итераций `limit`.                                                      |
+| `0x8105` | `calcInvalidDebool`       | —                  | `debool` получил не синглетон. Смотри `stack`, если в исходном выражении нет `debool`. |
+| `0x8106` | `iterateInfinity`         | —                  | Итерация по бесконечному множеству.                                                    |
+| `0x8107` | `calculationNotSupported` | —                  | Объявление функции не подразумевает вычисления.                                        |
+| `0x8108` | `calcInvalidData`         | `[a, b, operator]` | Несовместимые значения `a` и `b` для `operator` в runtime.                             |
 
 ## Цикл исправления
 

package/docs/DOMAIN.md

@@ -55,10 +55,18 @@
 - **Основание** — конституента, из которой формально порождают новые термы.
 - **Порожденная конституента** — построена из основания без новой предметной договоренности.
 
-## ОСС и синтез
+## Синтез
 
+- **Синтез** — общее название операций объединения концептуальных схем через таблицу отождествлений.
+- **Встраивание** — вставка конституент одной КС в другую (с опциональной таблицей отождествлений). В Portal UI — «Встраивание схемы»; в rstool — метод `synthesize`.
+- **Отождествление** — замена одной конституенты другой по таблице отождествлений.
+- Валидация таблицы отождествлений (`SubstitutionValidator`) проверяет, среди прочего: совместимость классов/типизаций, **цикл подстановок в типизациях** (через **базисные** и **константные множества** в типизациях конституент, **отличных от** базисных/константных), и **логический круг в формальных определениях** после применения таблицы.
+
+## ОСС
+
+- **Операционная схема синтеза (`ОСС`)** — граф загрузок и синтезов КС.
 - **Загрузка** добавляет внешнюю или собственную КС в ОСС.
-- **Синтез** строит новую КС из операций-аргументов через таблицу отождествлений.
+- **Синтез (операция ОСС)** строит новую КС из операций-аргументов через таблицу отождествлений.
 - **Наследованные конституенты** пришли из исходных схем; их определения обычно read-only.
 - **Сквозные изменения** идут от исходной конституенты к наследникам.
 - **Ромбовидный синтез** использует КС с общими предками; чаще требует ручного отождествления дублей.
@@ -66,13 +74,17 @@
 
 ### Термины: не путать (для агентов)
 
-В ответах пользователю и в конвенциях КС используй только термины из этого файла. Не вводи собственные ярлыки («базис», «базисный слой», «каркас схемы») — они не закреплены в Portal и размывают различия ниже.
+В ответах пользователю и в конвенциях КС используй только термины из этого файла. Не вводи собственные ярлыки («базис», «базисы», «базисный слой», «базовые понятия», «каркас схемы») — они не закреплены в Portal и размывают различия ниже.
+
+Источник термина **«базисное множество»** — строка типа `X#` в таблице конституент ниже и в [CONSTITUENTA.md](CONSTITUENTA.md) / [BASE-SELECTION.md](BASE-SELECTION.md). Не сокращай до «базис» / «базисы».
 
 | Не используй                                            | Используй                                                                                   | Почему                                                                      |
 | :------------------------------------------------------ | :------------------------------------------------------------------------------------------ | :-------------------------------------------------------------------------- |
-| «базис», «базисный слой», «первый слой» (без уточнения) | **неопределяемые понятия** — `X#`, `C#`, `S#`                                               | Общий термин для всего неопределяемого слоя                                 |
+| «базис», «базисы», «базисный слой», «первый слой»       | **неопределяемые понятия** — `X#`, `C#`, `S#`                                               | Общий термин для всего неопределяемого слоя                                 |
+| «базовые понятия»                                       | **неопределяемые понятия**                                                                  | «базовые» смешивается с базисными множествами                               |
 | «базис» / «базисное» про `C#` или `S#`                  | **константное множество** (`C#`), **родовая структура** (`S#`)                              | **Базисное множество** — только про `X#`                                    |
 | «базисные множества» как синоним неопределяемых понятий | **базисные множества** — только несколько `X#`; для всего слоя — **неопределяемые понятия** | `C#` и `S#` базисными множествами не называются                             |
+| «не базисные» без уточнения                             | **конституенты, отличные от базисных и константных множеств** (или тип: терм, `F#`, …)      | Иначе путается с «не базисные множества» как классом vs отрицанием          |
 | «ядро» = неопределяемые понятия»                        | **ядро КС** — неопределяемые понятия плюс аксиомы и производные, нужные для аксиом          | Ядро шире, чем только `X#` / `C#` / `S#`                                    |
 | теорема про `T#`                                        | **высказывание** — производное логическое выражение `T#`                                    | тип теорема на Portal отсутствует и вводит в заблуждение                    |
 | «пропущенная конституента `R1`» в списке схемы          | **радикал** `R#` — параметр шаблона в домене `F#` / `P#`                                    | `R#` не объявляется; при ревью КС отсутствие `R1` среди конституент — норма |

package/docs/README.md

@@ -6,7 +6,7 @@
 
 ## Какой файл читать
 
-- **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
+- **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, синтез / встраивание, ОСС.
 - **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем (в т.ч. терм-функция вместо множества пар).
 - **CONSTITUENTA.md** — структура и правила конституент.
 - **BASE-SELECTION.md** — выбор основания: `X#`, `C#` или `Z`.

package/examples/diagnostics-utils.ts

@@ -5,10 +5,9 @@ export type ExampleDiagnostic = Diagnostic;
 export function formatDiagnostics(diags: ExampleDiagnostic[], aliasById?: ReadonlyMap<number, string>): string {
   return diags
     .map(d => {
-      const alias =
-        d.alias ??
-        (d.constituentId !== undefined ? (aliasById?.get(d.constituentId) ?? '?') : '(scratch)');
-      return `[${d.kind}] ${alias} ${d.name} ${JSON.stringify(d.params ?? [])}`;
+      const alias = d.alias ?? (d.constituentId !== undefined ? (aliasById?.get(d.constituentId) ?? '?') : '(scratch)');
+      const stack = d.stack && d.stack.length > 0 ? ` stack=${d.stack.map(frame => frame.alias).join('←')}` : '';
+      return `[${d.kind}] ${alias} ${d.name} ${JSON.stringify(d.params ?? [])}${stack}`;
     })
     .join('\n');
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.6.0",
+  "version": "1.7.1",
   "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",
@@ -75,13 +75,13 @@
     "@rsconcept/domain": "workspace:*"
   },
   "devDependencies": {
-    "@types/node": "^26.1.0",
-    "@vitest/coverage-v8": "^4.1.9",
-    "tsdown": "^0.22.3",
-    "tsx": "^4.22.5",
+    "@types/node": "^26.1.1",
+    "@vitest/coverage-v8": "^4.1.10",
+    "tsdown": "^0.22.4",
+    "tsx": "^4.23.0",
     "typescript": "^6.0.3",
     "unrun": "^0.3.1",
-    "vitest": "^4.1.9"
+    "vitest": "^4.1.10"
   },
   "publishConfig": {
     "access": "public"

package/skills/rstool-helper/EXAMPLES.md

@@ -255,6 +255,31 @@ const forPortal = tool.exportPortal({ kind: 'schema' });
 
 Не передавай `/details` с `kind: 'session'`. REST и curl — [PORTAL-API.md](../../docs/PORTAL-API.md).
 
+## Встраивание схемы (синтез)
+
+```ts
+const receiver = tool.createSession({ title: 'Base' });
+tool.applySchemaPatch({ items: [{ alias: 'X1', term: 'человек' }] }, receiver.sessionId);
+
+const source = tool.createSession({ title: 'Donor' });
+tool.applySchemaPatch(
+  {
+    items: [
+      { alias: 'X1', term: 'персона' },
+      { alias: 'S1', definitionFormal: 'ℬ(X1)' }
+    ]
+  },
+  source.sessionId
+);
+
+tool.setCurrentSession(receiver.sessionId);
+tool.synthesize({
+  sourceSessionId: source.sessionId,
+  substitutions: [{ original: 'X1', substitution: 'X1' }] // source X1 → receiver X1
+});
+// receiver: X1 (человек), S1 = ℬ(X1)  — импортированный X1 отождествлён и удалён
+```
+
 ## Образец текста ревью (не код)
 
 После [воркфлоу ревью](GUIDE.md#ревью--оценка-готовой-кс) ответ может выглядеть так:

package/skills/rstool-helper/GUIDE.md

@@ -14,7 +14,7 @@
 
 ## Быстрый контракт для агента
 
-- Library API: `tool.applySchemaPatch(input, sessionId?)` — единственный путь правки схемы.
+- Library API: `tool.applySchemaPatch(input, sessionId?)` — основной путь правки схемы; `synthesize` — встраивание конституент из другой сессии (синтез с таблицей отождествлений).
 - Stdio/MCP: **плоские** `params` — поля метода и optional `sessionId` на одном уровне (без `params.input`).
 - Состояние: `getSessionState()` (summary) или `getSessionState('full')`.
 - Импорт/экспорт Portal: `importData`, `exportPortal({ kind })`.
@@ -150,8 +150,8 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 
 1. Вызови `listDiagnostics()` — смотри `kind`: `expression` (формула), `schema` (омонимы, дубликаты, термин/конвенция), `model` (интерпретация).
 2. Для черновика формулы — `analyzeExpression` (без сохранения).
-3. Прочитай `name`, `severity`, `alias`, `from`, `to`, `params` в `analysis.diagnostics` или через `listDiagnostics({ kind })`.
-4. Сопоставь `name` (или `code`) с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
+3. Прочитай `name`, `severity`, `alias`, `from`, `to`, `params`, при вычислении — ещё `stack` (цепочка `F#`/`P#`, см. [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)), в `analysis.diagnostics` или через `listDiagnostics({ kind })`.
+4. Сопоставь `name` (или `code`) с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md). Для runtime-ошибок внутри вызова смотри `stack[0]` — там реальный locus, а не только call site в корневом выражении.
 5. Исправь именно диапазон в `definitionFormal` (expression) или метаданные/данные модели (schema/model).
 6. Не повторяй вызов без изменения ввода.
 7. После успеха — ещё один `applySchemaPatch` / `setModelValues` с исправлением.
@@ -225,6 +225,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 | `convention`                      | конвенция                           |
 | `comment`                         | комментарий                         |
 | `applySchemaPatch`                | правка схемы                        |
+| `synthesize`                      | встраивание / синтез схем           |
 | `analyzeExpression`               | проверка / анализ выражения         |
 | `listDiagnostics`, `diagnostics`  | диагностики                         |
 | `setModelValues`, `getModelState` | интерпретация, значения модели      |
@@ -251,7 +252,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 - [ ] Схема проверена; ошибки исправлены.
 - [ ] Диагностики обработаны до фиксации шага и экспорта.
 - [ ] В тексте ответа нет английских имён полей и методов API — использованы термины из раздела [Язык ответа](#язык-ответа).
-- [ ] Нет неофициальных ярлыков («базис», «базисный слой») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md).
+- [ ] Нет неофициальных ярлыков («базис», «базисы», «базисный слой», «базовые понятия») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md), раздел **«Термины: не путать»**. Для `X#` говори **базисное множество**, не «базис».
 
 ### Ревью концептуальной схемы
 

package/skills/rstool-helper/REFERENCE.md

@@ -5,7 +5,7 @@
 ## Контракт rstool
 
 - Пакет: `@rsconcept/rstool`
-- Версия контракта: `3.1.0` (`CONTRACT_VERSION`)
+- Версия контракта: `3.3.0` (`CONTRACT_VERSION`)
 - Основной класс: `RSToolAgent`
 - Публичные импорты: `@rsconcept/rstool` и `@rsconcept/rstool/wrapper`
 - Опции: `new RSToolAgent({ persistenceDir? })` — каталог для сохранения сессий между перезапусками (stdio/MCP: `RSTOOL_PERSISTENCE_DIR`)
@@ -14,25 +14,26 @@
 
 ### Методы library API
 
-| Метод                                          | Назначение                                  |
-| ---------------------------------------------- | ------------------------------------------- |
-| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую    |
-| `createSession(initial?)`                      | Новая in-memory сессия (становится текущей) |
-| `getCurrentSession()`                          | Текущая активная сессия или `null`          |
-| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                      |
-| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы              |
-| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`              |
-| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики                        |
-| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения                       |
-| `commitStep(message?, sessionId?)`             | Ревизия                                     |
-| `exportSession(sessionId?)`                    | JSON-строка сессии                          |
-| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                       |
-| `importData(payload, kind?)`                   | Импорт сессии / Portal                      |
-| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели (**async** — `await`)       |
-| `getModelState(sessionId?)`                    | Состояние интерпретации                     |
-| `evaluate(input, sessionId?)`                  | Scratch или конституента                    |
-| `recalculateModel(sessionId?)`                 | Пересчёт производных                        |
-| `restoreOrder(sessionId?)`                     | Упорядочить конституенты (топология + семантика) |
+| Метод                                          | Назначение                                                         |
+| ---------------------------------------------- | ------------------------------------------------------------------ |
+| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую                           |
+| `createSession(initial?)`                      | Новая in-memory сессия (становится текущей)                        |
+| `getCurrentSession()`                          | Текущая активная сессия или `null`                                 |
+| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                                             |
+| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы                                     |
+| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`                                     |
+| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики                                               |
+| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения                                              |
+| `commitStep(message?, sessionId?)`             | Ревизия                                                            |
+| `exportSession(sessionId?)`                    | JSON-строка сессии                                                 |
+| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                                              |
+| `importData(payload, kind?)`                   | Импорт сессии / Portal                                             |
+| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели (**async** — `await`)                              |
+| `getModelState(sessionId?)`                    | Состояние интерпретации                                            |
+| `evaluate(input, sessionId?)`                  | Scratch или конституента                                           |
+| `recalculateModel(sessionId?)`                 | Пересчёт производных                                               |
+| `restoreOrder(sessionId?)`                     | Упорядочить конституенты (топология + семантика)                   |
+| `synthesize(input, sessionId?)`                | Синтез (встраивание): слить другую сессию + таблица отождествлений |
 
 Служебные (stdio / MCP): `ping` / `pong`+`contractVersion`; `methods` / `list_methods`.
 
@@ -61,6 +62,7 @@ Stdio использует **camelCase** имён методов (как library
 | `evaluate`          | `evaluate`            |
 | `recalculateModel`  | `recalculate_model`   |
 | `restoreOrder`      | `restore_order`       |
+| `synthesize`        | `synthesize`          |
 
 ## `applySchemaPatch`
 
@@ -114,7 +116,7 @@ tool.listDiagnostics({ kind: 'schema', constituentId: 3, severity: 'error' });
 
 Фильтры: `kind?: 'expression' | 'schema' | 'model'`, `constituentId?`, `severity?: 'error' | 'warning'`.
 
-Элемент диагностики (агентский вид): `kind`, `code`, `name`, `severity`, `alias?`, `expression`, `from`, `to`, `params?`. Ключ для поиска исправления — `name` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
+Элемент диагностики (агентский вид): `kind`, `code`, `name`, `severity`, `alias?`, `expression`, `from`, `to`, `params?`, `stack?` (цепочка вызовов при ошибке внутри `F#`/`P#`). Ключ для поиска исправления — `name` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
 
 ## `analyzeExpression`
 
@@ -171,6 +173,35 @@ const { orderedAliases } = tool.restoreOrder();
 // → { orderedIds: number[], orderedAliases: string[] }
 ```
 
+## `synthesize`
+
+**Синтез** в rstool сейчас — это **встраивание** схемы: вставка конституент из другой сессии в текущую с опциональной таблицей отождествлений (как «Встраивание схемы» в Portal UI).
+
+```ts
+const receiver = tool.createSession();
+const source = tool.createSession();
+tool.applySchemaPatch({ items: [{ alias: 'X1' }] }, source.sessionId);
+
+tool.setCurrentSession(receiver.sessionId);
+tool.synthesize({
+  sourceSessionId: source.sessionId,
+  // items?: ['X1'], // optional subset of source aliases
+  substitutions: [{ original: 'X1', substitution: 'X1' }], // source → receiver
+  commitMessage: 'merge'
+});
+```
+
+**Вход**
+
+| Поле              | Смысл                                                                                         |
+| ----------------- | --------------------------------------------------------------------------------------------- |
+| `sourceSessionId` | Сессия-источник (не должна совпадать с receiver)                                              |
+| `items?`          | Алиасы конституент источника; пусто / omit — все                                              |
+| `substitutions?`  | Таблица отождествлений по алиасам: в каждой строке один алиас источника и один алиас receiver |
+| `commitMessage?`  | Ревизия после успеха                                                                          |
+
+Алиасы импорта перенумеровываются при непустом receiver (`X1` → `X2`, …). Формулы и текстовые ссылки обновляются. Результат: `summary`, `idMap`, `aliasMapping`, `deletedIds`, `insertedIds`, и опционально `revision` (если был `commitMessage`). Также `success` / `failed` — как у `applySchemaPatch` (режим best-effort после встраивания).
+
 ## `importData` / `exportSession` / `exportPortal`
 
 ### `importData(payload, kind?)`

package/skills/rstool-helper/SKILL.md

@@ -51,7 +51,7 @@ description: >-
 
 ## Язык ответа пользователю
 
-В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (базовые понятия, базисное множество, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**.
+В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (**неопределяемые понятия**, **базисное множество**, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**. Не сокращай «базисное множество» до «базис» / «базисы».
 
 ## Portal (приложение)
 

package/src/index.ts

@@ -54,6 +54,9 @@ export {
   type SessionSummaryItem,
   type SessionState,
   type SetConstituentaValueInput,
-  type SetModelValuesInput
+  type SetModelValuesInput,
+  type SynthesisSubstitution,
+  type SynthesizeInput,
+  type SynthesizeResult
 } from './models';
 export { RSToolWrapperClient, type RSToolWrapperClientOptions, type WrapperResponse } from './wrapper/client';

package/src/mappers/diagnostic-assembly.ts

@@ -1,12 +1,12 @@
 import {
-  type Constituenta,
   type CstDiagnostic,
   DiagnosticKind,
   modelStatusCstDiagnostic,
   RSDiagnosticCode
 } from '@rsconcept/domain/library';
+import { type DiagnosticSourceFields } from '@rsconcept/domain/library/rsform-api';
 import { EvalStatus } from '@rsconcept/domain/library/rsmodel';
-import { isCritical, RSErrorCode, type RSErrorDescription } from '@rsconcept/domain/rslang/error';
+import { isCritical, RSErrorCode, type EvalStackFrame, type RSErrorDescription } from '@rsconcept/domain/rslang/error';
 
 export { DiagnosticKind, RSDiagnosticCode };
 
@@ -22,6 +22,8 @@ export interface Diagnostic extends CstDiagnostic {
   expression: string;
   from: number;
   to: number;
+  /** Evaluation call chain when the fault is inside a called `F#`/`P#` body. */
+  stack?: readonly EvalStackFrame[];
 }
 
 /** Context for attributing a {@link Diagnostic} to a constituent. */
@@ -43,7 +45,7 @@ export function getDiagnosticSeverity(code: number): DiagnosticSeverity {
   return isCritical(code as RSErrorCode) ? 'error' : 'warning';
 }
 
-export function expandCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic): Diagnostic {
+export function expandCstDiagnostic(cst: DiagnosticSourceFields, diagnostic: CstDiagnostic): Diagnostic {
   const expression = expressionForCstDiagnostic(cst, diagnostic);
   return {
     ...diagnostic,
@@ -72,16 +74,17 @@ export function expressionDiagnostic(
     expression,
     from: error.from,
     to: error.to,
-    ...(error.params ? { params: error.params } : {})
+    ...(error.params ? { params: error.params } : {}),
+    ...(error.stack ? { stack: error.stack } : {})
   };
 }
 
-export function modelStatusDiagnostic(status: EvalStatus, cst: Constituenta): Diagnostic | null {
+export function modelStatusDiagnostic(status: EvalStatus, cst: DiagnosticSourceFields): Diagnostic | null {
   const base = modelStatusCstDiagnostic(status, cst.cst_type);
   return base ? expandCstDiagnostic(cst, base) : null;
 }
 
-function expressionForCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic): string {
+function expressionForCstDiagnostic(cst: DiagnosticSourceFields, diagnostic: CstDiagnostic): string {
   switch (diagnostic.code) {
     case RSDiagnosticCode.schemaHomonym:
     case RSDiagnosticCode.schemaMissingTerm:

package/src/mappers/types.ts

@@ -9,6 +9,7 @@ export interface DomainErrorLike {
   from: number;
   to: number;
   params?: readonly string[];
+  stack?: RSErrorDescription['stack'];
 }
 
 /** Minimal domain analysis shape before mapping to {@link AnalysisResult}. */

package/src/models/agent-workflow.ts

@@ -43,6 +43,51 @@ export interface RestoreOrderResult {
   orderedAliases: string[];
 }
 
+/** One row of an identification (substitution) table, by alias. */
+export interface SynthesisSubstitution {
+  /** Alias of the constituenta being replaced (deleted). */
+  original: string;
+  /** Alias of the surviving constituenta. */
+  substitution: string;
+}
+
+/** Input for {@link RSToolAgent.synthesize}. */
+export interface SynthesizeInput {
+  /** Session whose constituents are merged into the receiver. */
+  sourceSessionId: string;
+  /**
+   * Optional subset of source aliases to import.
+   * Omit or pass an empty array to import all source constituents.
+   */
+  items?: string[];
+  /**
+   * Identification table: one endpoint is a source alias, the other a receiver alias
+   * (same rules as Portal schema embedding / «Встраивание схемы»).
+   */
+  substitutions?: SynthesisSubstitution[];
+  /** When set, a revision is recorded after a successful synthesis. */
+  commitMessage?: string;
+}
+
+/** Result of {@link RSToolAgent.synthesize}. */
+export interface SynthesizeResult {
+  session: SessionHandle;
+  summary: SessionSummary;
+  /** False when some constituents failed re-analysis after embedding (best-effort). */
+  success: boolean;
+  /** Drafts that failed analysis after embedding; empty when {@link success} is true. */
+  failed: Array<{ draft: ConstituentaDraft; diagnostics: Diagnostic[] }>;
+  /** Source constituent id → inserted id in the receiver (before substitutions). */
+  idMap: Record<number, number>;
+  /** Alias remapping applied to imported constituents. */
+  aliasMapping: Record<string, string>;
+  /** Ids removed by substitutions. */
+  deletedIds: number[];
+  /** Ids of constituents inserted from the source (may include later-deleted ones). */
+  insertedIds: number[];
+  revision?: SessionRevision;
+}
+
 /** Compact view of one constituent in a session summary. */
 export interface SessionSummaryItem {
   id: number;

package/src/models/index.ts

@@ -6,17 +6,13 @@ export {
   type SessionStateDetail,
   type SessionStateResult,
   type SessionSummary,
-  type SessionSummaryItem
+  type SessionSummaryItem,
+  type SynthesisSubstitution,
+  type SynthesizeInput,
+  type SynthesizeResult
 } from './agent-workflow';
 export { type AnalysisResult, type AnalyzeExpressionInput } from './analysis';
-export {
-  CstType,
-  EvalStatus,
-  RSErrorCode,
-  ValueClass,
-  type BasicBinding,
-  type RSToolValue
-} from './common';
+export { CstType, EvalStatus, RSErrorCode, ValueClass, type BasicBinding, type RSToolValue } from './common';
 export { type ApplyConstituentsMode, type ConstituentaDraft, type ConstituentaState } from './constituenta';
 export {
   type CstDiagnostic,