@rsconcept/rstool 0.10.3 → 1.0.1

package/skills/rstool-helper/EXAMPLES.md

@@ -1,161 +1,89 @@
-# Примеры rstool
+# RSLang и rstool — примеры (контракт 2.0)
 
-Короткие примеры для агентов. Полные скрипты и JSON-сессии — `../../examples/` ([README](../../examples/README.md)). Воркфлоу — [GUIDE.md](GUIDE.md).
-
-## Минимальная сессия
+## Схема: batch patch
 
 ```ts
 import { CstType, RSToolAgent } from '@rsconcept/rstool';
 
 const tool = new RSToolAgent();
-const { sessionId } = tool.createSession();
-
-tool.addOrUpdateConstituenta(sessionId, {
-  draft: { id: 1, alias: 'X1', cstType: CstType.BASE, definitionFormal: '' }
-});
 
-tool.addOrUpdateConstituenta(sessionId, {
-  draft: {
-    id: 2,
-    alias: 'S1',
-    cstType: CstType.STRUCTURED,
-    definitionFormal: 'ℬ(X1×X1)',
-    convention: 'Множество пар: родитель и его ребёнок из людей. Порядок в паре задаётся конвенцией.'
-  }
+const result = tool.applySchemaPatch({
+  initial: { title: 'Example' },
+  commitMessage: 'initial',
+  items: [{ alias: 'X1' }, { alias: 'S1', definitionFormal: 'ℬ(X1×X1)' }, { alias: 'D1', definitionFormal: 'Pr1(S1)' }]
 });
 
-const { state, diagnostics } = tool.addOrUpdateConstituenta(sessionId, {
-  draft: { id: 3, alias: 'D1', cstType: CstType.TERM, definitionFormal: 'Pr1(S1)' }
-});
-
-console.log(state.analysis.success, diagnostics.length);
+console.log(result.summary.itemCount, result.success);
 ```
 
-## Анализ перед upsert
-
-Черновой анализ, когда синтаксис или `cstType` под вопросом.
+## Анализ без сохранения
 
 ```ts
-const analysis = tool.analyzeExpression(sessionId, {
+const analysis = tool.analyzeExpression({
   expression: 'Pr1(S1)',
   cstType: CstType.TERM
 });
-
-if (!analysis.success) {
-  console.log(analysis.diagnostics.map(({ code, from, to }) => ({ code, from, to })));
-}
 ```
 
-Исправь диапазон `from` / `to` из отчёта и повтори анализ. При необходимости пересмотри определение целиком или разбей на несколько конституент.
-
-## Вычисление
+## Состояние сессии
 
 ```ts
-tool.setConstituentaValue(sessionId, {
-  target: 1,
-  value: { 0: 'zero', 1: 'one' }
-});
-
-const scratch = tool.evaluateExpression(sessionId, {
-  expression: '1+2',
-  cstType: CstType.TERM
-});
-
-console.log(scratch.success, scratch.value); // true, 3
+const summary = tool.getSessionState(); // compact
+const full = tool.getSessionState('full'); // SessionState clone
+const diags = tool.listDiagnostics();
 ```
 
-Для сохранённых определений задай значения `basic`, `constant` и `structure`, затем вызови `evaluateConstituenta` или `recalculateModel`.
-
-## Семантический smoke-тест
-
-Синтаксис верен, но смысл неочевиден — собери маленькую модель и проверь значение.
+## Модель и вычисление
 
 ```ts
-import { TUPLE_ID } from '@rsconcept/domain';
-import { CstType, EvalStatus, RSToolAgent } from '@rsconcept/rstool';
+await tool.setModelValues({
+  set: [{ target: 1, value: { '0': 'alice', '1': 'bob' } }]
+});
 
-const tool = new RSToolAgent();
-const { sessionId } = tool.createSession();
+const evalResult = tool.evaluate({ constituentId: 2 });
+const scratch = tool.evaluate({ expression: '1+2', cstType: CstType.TERM });
+const recalc = tool.recalculateModel();
+```
 
-tool.addOrUpdateConstituenta(sessionId, {
-  draft: { id: 1, alias: 'X1', cstType: CstType.BASE, definitionFormal: '' }
-});
-tool.addOrUpdateConstituenta(sessionId, {
-  draft: { id: 2, alias: 'S1', cstType: CstType.STRUCTURED, definitionFormal: 'ℬ(X1×X1)' }
-});
-tool.addOrUpdateConstituenta(sessionId, {
-  draft: { id: 3, alias: 'D1', cstType: CstType.TERM, definitionFormal: 'Pr1(S1)' }
-});
+## Экспорт / импорт
 
-tool.setConstituentaValues(sessionId, {
-  items: [
-    { target: 1, value: { 0: 'ann', 1: 'bob', 2: 'cat' } },
-    {
-      target: 2,
-      value: [
-        [TUPLE_ID, 0, 1],
-        [TUPLE_ID, 0, 2]
-      ]
-    }
-  ]
-});
+```ts
+const payload = tool.exportSession();
+const restored = tool.importData(payload, 'session');
 
-const result = tool.evaluateConstituenta(sessionId, { constituentId: 3 });
+const schemaJson = tool.exportPortal({ kind: 'schema' });
+const modelObj = tool.exportPortal({ kind: 'model', format: 'object' });
 
-if (!result.success || result.status !== EvalStatus.HAS_DATA || JSON.stringify(result.value) !== '[0]') {
-  throw new Error(`Ожидалось Pr1(S1) = первая координата; получено ${JSON.stringify(result)}`);
-}
+// Portal GET /api/rsforms/:id/details
+const session = tool.importData(portalDetailsJsonString);
 ```
 
-Подробнее: `../../docs/MODEL-TESTING.md`.
+## Stdio (плоские params)
 
-## Клиент обёртки
+```json
+{ "id": "1", "method": "applySchemaPatch", "params": { "items": [{ "alias": "X1" }] } }
+{ "id": "2", "method": "setModelValues", "params": { "set": [{ "target": 1, "value": { "0": "a" } }] } }
+{ "id": "3", "method": "evaluate", "params": { "constituentId": 2 } }
+```
 
-Когда агент общается с отдельным процессом `rstool-wrapper`.
+## Node-клиент
 
 ```ts
-import { CstType } from '@rsconcept/rstool';
 import { RSToolWrapperClient } from '@rsconcept/rstool/wrapper';
 
+// Из checkout rstool: по умолчанию запускает `npm run wrapper` в текущем cwd.
+// Для установленного пакета: new RSToolWrapperClient({ command: 'npx', args: ['rstool-wrapper'] }).
 const client = new RSToolWrapperClient();
 await client.waitUntilReady();
 
-const { sessionId } = await client.call<{ sessionId: string }>('createSession');
-
-await client.call('addOrUpdateConstituenta', {
-  sessionId,
-  input: {
-    draft: { id: 1, alias: 'X1', cstType: CstType.BASE, definitionFormal: '' }
-  }
+await client.call('applySchemaPatch', {
+  items: [{ alias: 'X1' }, { alias: 'D1', definitionFormal: '1+2' }]
 });
 
-const diagnostics = await client.call('listDiagnostics', { sessionId });
-console.log(diagnostics);
+await client.call('setModelValues', {
+  set: [{ target: 1, value: { 0: 'zero', 1: 'one' } }]
+});
 
+const evalResult = await client.call('evaluate', { constituentId: 2 });
 await client.close();
 ```
-
-Ручной stdio — один JSON-запрос на строку:
-
-```jsonl
-{ "id": "1", "method": "createSession", "params": {} }
-{ "id": "2", "method": "addOrUpdateConstituenta", "params": { "sessionId": "...", "input": { "draft": { "id": 1, "alias": "X1", "cstType": "basic", "definitionFormal": "" } } } }
-```
-
-## Экспорт / импорт
-
-```ts
-const payload = tool.exportSession(sessionId);
-const restored = tool.importSession(payload);
-```
-
-Экспорт включает состояние сессии и значения модели.
-
-Файлы для загрузки пользователем в существующий объект Portal:
-
-```ts
-const schemaJson = tool.exportPortalSchema(sessionId);
-const modelJson = tool.exportPortalModel(sessionId);
-```
-
-`schemaJson` — на странице схемы, `modelJson` — на странице модели, через **Load from JSON**.

package/skills/rstool-helper/GUIDE.md

@@ -4,18 +4,27 @@
 
 **RSLang** — формальная нотация концептуальных схем: понятия, отношения, операции, утверждения. Основа: принадлежность `x∈y`, теоретико-множественные и логические выражения, типизация.
 
-**rstool** — API агента для сессий, upsert, анализа, диагностик, значений модели, вычисления, экспорта/импорта.
+**rstool** — API агента для сессий, редактирования схемы, анализа, диагностик, значений модели, вычисления, экспорта/импорта.
 
 - Библиотека: `@rsconcept/rstool`.
 - Анализатор: `@rsconcept/domain`.
 - Stdio-обёртка: `npx rstool-wrapper`, JSON построчно.
 - Node-клиент: `RSToolWrapperClient`.
 
+## Быстрый контракт для агента
+
+- Library API: `tool.applySchemaPatch(input, sessionId?)` — единственный путь правки схемы.
+- Stdio/MCP: **плоские** `params` — поля метода и optional `sessionId` на одном уровне (без `params.input`).
+- Состояние: `getSessionState()` (summary) или `getSessionState('full')`.
+- Импорт/экспорт Portal: `importData`, `exportPortal({ kind })`.
+- Модель: `setModelValues`, `evaluate`, `recalculateModel`.
+- Перед сохранением сомнительной формулы — `analyzeExpression`.
+
 ## Что читать
 
 Пути — относительно этого файла.
 
-- API, методы, stdio, коды ошибок: [REFERENCE.md](REFERENCE.md).
+- API, методы, stdio: [REFERENCE.md](REFERENCE.md).
 - Примеры: [EXAMPLES.md](EXAMPLES.md).
 - Термины предметной области: [../../docs/DOMAIN.md](../../docs/DOMAIN.md).
 - Концептуализация, создание схемы: [../../docs/CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
@@ -36,16 +45,16 @@
 
 Когда схема уже есть и нужны точечные правки, новые конституенты или проверка формул.
 
-1. `createSession` (или продолжить существующую сессию).
-2. Развивай схему — добавляй конституенты с корректным `cstType` и атрибутами.
-3. Добавляй поставщиков раньше потребителей (см. [порядок объявления](#порядок-объявления-конституент)).
-4. Перед upsert при сомнении вызывай `analyzeExpression`.
+1. Продолжи текущую сессию или вызови `ensureSession`; большинство методов создают сессию лениво.
+2. Развивай схему через `applySchemaPatch`: можно опускать `id` и `cstType` для стандартных alias `X/C/S/D/A/F/P`.
+3. Для пачки конституент передавай все элементы вместе — `applySchemaPatch` упорядочит поставщиков раньше потребителей.
+4. Перед patch в `applySchemaPatch` при сомнении вызывай `analyzeExpression`.
 5. Исправляй диагностики по диапазону `from` / `to` в `definitionFormal` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
 6. При сомнении в семантике собери маленькую КМ и проверь тестовые данные ([цикл КМ](#проверка-на-маленькой-км)).
-7. Задай базовые/модельные значения: `setConstituentaValue(s)`; вычисли: `evaluateExpression`, `evaluateConstituenta`, `recalculateModel`.
-8. `commitStep`, когда состояние согласовано.
-9. Сохрани: `exportSession` / `importSession`.
-10. Для загрузки в Portal: `exportPortalSchema` (схема) или `exportPortalModel` (модель).
+7. Задай значения модели: `setModelValues`; вычисли: `evaluate`, `recalculateModel`.
+8. `commitStep` или `commitMessage` в `applySchemaPatch`, когда состояние согласовано.
+9. Сохрани: `exportSession` / `importData`.
+10. Для загрузки в Portal: `exportPortal({ kind: 'schema' })` или `{ kind: 'model' }`.
 
 ### Оценка или правка КС из Portal
 
@@ -56,13 +65,8 @@
 Если id неизвестен — контекстный поиск `GET /api/library/context-search?q=...`, затем
 метаданные по найденным id: `GET /api/library/by-ids?ids=...` (curl и поля поиска — в том же файле).
 
-Portal JSON из `/details` не является форматом `exportSession` и не передаётся в
-`importSession` напрямую. Создай `createSession({ title, alias, comment: description })`
-и перенеси `items[]` через `addOrUpdateConstituenta`, сохраняя raw-поля:
-`cst_type → cstType`, `definition_formal → definitionFormal`,
-`term_raw → term`, `definition_raw → definitionText`, `convention → convention`.
-После переноса запусти `listDiagnostics`; для результата в Portal используй
-`exportPortalSchema`, а для локального снапшота — `exportSession`.
+Portal JSON из `/details` не является форматом `exportSession`. Используй `importData(payload)` —
+auto определит `portal-details` или `portal-schema`. Явный kind: `'portal-details'`, `'portal-schema'`, `'session'`.
 
 ### Концептуализация (КС из содержания источника)
 
@@ -75,7 +79,7 @@ Portal JSON из `/details` не является форматом `exportSessio
 5. Добавь `A#` на структуры: `card`, покрытие `Pr1,2(S#)=…`, принадлежность выбора.
 6. Введи `F#` для типовых запросов.
 7. Производные понятия строй через `Pr*`, `Fi*`, `F#` от центрального `D#` и базовых `S#`.
-8. Перед каждым upsert — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
+8. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
 9. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
 10. Перед показом результата пройди [чеклист ревью КС](#ревью-концептуальной-схемы).
 
@@ -90,7 +94,7 @@ Portal JSON из `/details` не является форматом `exportSessio
 3. Сопоставь `code` с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
 4. Исправь именно диапазон в `definitionFormal`.
 5. Не повторяй вызов без изменения ввода.
-6. После успеха — `addOrUpdateConstituenta`.
+6. После успеха — ещё один `applySchemaPatch` с исправленным элементом.
 
 ### Проверка на маленькой КМ
 
@@ -98,9 +102,9 @@ Portal JSON из `/details` не является форматом `exportSessio
 
 1. Отдельная `createSession` или изолированная копия текущей сессии.
 2. Только нужные поставщики: `X#`, `C#`, `S#` и проверяемые `D#` / `F#` / `P#` / `A#`.
-3. `analyzeExpression` и `addOrUpdateConstituenta`.
-4. Значения базовых понятий: `setConstituentaValue` / `setConstituentaValues`.
-5. `evaluateExpression` или `evaluateConstituenta`; сравни с ожидаемым `value`.
+3. `analyzeExpression` и `applySchemaPatch`.
+4. Значения: `setModelValues`.
+5. `evaluate`; сравни с ожидаемым `value`.
 6. При нескольких зависимых определениях — `recalculateModel`.
 
 Для регрессий вынеси проверку в скрипт или colocated `*.test.ts` (см. [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
@@ -114,13 +118,24 @@ Portal JSON из `/details` не является форматом `exportSessio
 
 Правила валидации по типам — [CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
 
+## Формат ответа агента
+
+В конце работы сообщи:
+
+- что изменено в схеме или модели;
+- есть ли активные диагностики;
+- какой экспорт получен: session / Portal schema / Portal model;
+- какие проверки выполнены: analyze / evaluate / recalculate / tests.
+
+Не вставляй большой JSON в чат без запроса пользователя.
+
 ## Чеклисты
 
 ### Сессия и rstool
 
-- [ ] Отслеживается `sessionId`.
-- [ ] `cstType` соответствует роли конституенты.
-- [ ] Поставщики добавлены раньше потребителей.
+- [ ] Используется текущая сессия (`getSessionState`) или явный `sessionId`, если сессий несколько.
+- [ ] Для стандартных alias `X/C/S/D/A/F/P` можно доверить `cstType` `applySchemaPatch`; нестандартные alias передаются с явным `cstType`.
+- [ ] Для пачки конституент предпочитай один `applySchemaPatch` с массивом `items`.
 
 ### Перед показом, commit и export
 

package/skills/rstool-helper/REFERENCE.md

@@ -3,199 +3,62 @@
 ## Контракт rstool
 
 - Пакет: `@rsconcept/rstool`
-- Версия контракта: `1.4.0` (`CONTRACT_VERSION`)
+- Версия контракта: `2.0.0` (`CONTRACT_VERSION`)
 - Основной класс: `RSToolAgent`
 - Публичные импорты: `@rsconcept/rstool` и `@rsconcept/rstool/wrapper`
 
-### Методы
-
-| Метод                                                       | Назначение                                                                    |
-| ----------------------------------------------------------- | ----------------------------------------------------------------------------- |
-| `createSession(initial?)`                                   | Новая in-memory сессия → `{ sessionId, contractVersion }`                     |
-| `addOrUpdateConstituenta(sessionId, { draft })`             | Слияние черновика; анализ в контексте сессии → `{ state, diagnostics }`       |
-| `analyzeExpression(sessionId, { expression, cstType })`     | Разбор/типизация фрагмента без сохранения конституенты                        |
-| `getFormState(sessionId)`                                   | Клон полного состояния сессии                                                 |
-| `listDiagnostics(sessionId, filters?)`                      | Накопленные диагностики; опциональный фильтр `constituentId`                  |
-| `commitStep(sessionId, message?)`                           | Зафиксировать контрольную точку ревизии                                       |
-| `exportSession(sessionId)`                                  | JSON-строка `{ contractVersion, state, diagnostics }`                         |
-| `exportPortalSchema(sessionId)`                             | JSON импорта схемы Portal                                                     |
-| `exportPortalModel(sessionId)`                              | JSON импорта модели Portal                                                    |
-| `importSession(payload)`                                    | Новая сессия из экспорта                                                      |
-| `setConstituentaValue(sessionId, { target, type?, value })` | Одна привязка базового понятия или структурное значение → `SessionModelState` |
-| `setConstituentaValues(sessionId, { items })`               | Пакетная установка значений → `SessionModelState`                             |
-| `clearConstituentaValues(sessionId, { items })`             | Очистка значений по id конституент → `SessionModelState`                      |
-| `getModelState(sessionId)`                                  | Клон состояния интерпретации сессии                                           |
-| `evaluateExpression(sessionId, { expression, cstType })`    | Вычисление фрагмента в контексте сессии → `EvaluationResult`                  |
-| `evaluateConstituenta(sessionId, { constituentId })`        | Вычисление сохранённого определения → `EvaluationResult`                      |
-| `recalculateModel(sessionId)`                               | Пересчёт всех выводимых конституент → `{ items[] }`                           |
-
-### `ConstituentaDraft`
-
-```ts
-{
-  id: number;           // стабильный id внутри сессии
-  alias: string;
-  cstType: CstType;
-  definitionFormal: string;
-  term?: string;
-  definitionText?: string;
-  convention?: string;
-}
-```
-
-Пропущенные текстовые поля в сохранённом состоянии по умолчанию `''`.
-
-### Метаданные `SessionState`
-
-Задаются в `createSession(initial?)` или через `importSession`:
-
-```ts
-{
-  alias: string; // alias объекта библиотеки
-  title: string; // отображаемое название
-  comment: string; // заметки разработчика
-}
-```
-
-При опускании все поля по умолчанию `''`.
-
-### Типы модели и вычисления
+### Методы 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?)`         | Разбор без сохранения (`recordDiagnostics?`) |
+| `commitStep(message?, sessionId?)`             | Ревизия                                      |
+| `exportSession(sessionId?)`                    | JSON сессии                                  |
+| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                        |
+| `importData(payload, kind?)`                   | Импорт сессии / Portal                       |
+| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели                              |
+| `getModelState(sessionId?)`                    | Состояние интерпретации                      |
+| `evaluate(input, sessionId?)`                  | Scratch или конституента                     |
+| `recalculateModel(sessionId?)`                 | Пересчёт                                     |
+
+### `applySchemaPatch`
 
 ```ts
-type RSToolValue = number | RSToolValue[]; // значение во время выполнения
-type BasicBinding = Record<number, string>; // подписи элементов базового множества
-
-interface SessionModelState {
-  items: { id: number; type: string; value: RSToolValue | BasicBinding }[];
-}
-
-interface EvaluationResult {
-  success: boolean;
-  value: RSToolValue | BasicBinding | null;
-  status: EvalStatus; // 1=NO_EVAL … 7=HAS_DATA
-  iterations: number;
-  cacheHits: number;
-  diagnostics: { code: number; from: number; to: number; params?: string[] }[];
-}
+tool.applySchemaPatch({
+  initial: { title: 'Kinship' },
+  commitMessage: 'initial schema',
+  items: [{ alias: 'X1' }, { alias: 'S1', definitionFormal: 'ℬ(X1×X1)' }, { alias: 'D1', definitionFormal: 'Pr1(S1)' }]
+});
 ```
 
-Привязки `basic`/`constant` используют `type: "basic"` и `value: { "0": "label", … }`. Структурные значения — нормализованная типизация в `type` и вложенные массивы для множеств/кортежей.
-
 ### Протокол stdio
 
-Процесс: `npx rstool-wrapper`
-
-1. **Ready** (без запроса): `{"id":null,"ok":true,"result":{"ready":true,"wrapper":"rstool-stdio","contractVersion":"1.4.0"}}`
-2. **Запрос**: `{"id":"<unique>","method":"<name>","params":{...}}`
-3. **Ответ**: `{"id":"<same>","ok":true,"result":...}` или `{"id":"...","ok":false,"error":{"code":"...","message":"..."}}`
+Плоские `params` (без `input`). Опционально: переменная окружения `RSTOOL_PERSISTENCE_DIR` — каталог для сохранения сессий между перезапусками обёртки (в library API — `new RSToolAgent({ persistenceDir })`).
 
-Дополнительные методы: `ping`, `methods`.
+Служебные методы:
 
-Пример цепочки:
+- `ping` — liveness и `contractVersion`.
+- `methods` — список доступных stdio-методов.
 
 ```json
-{"id":"1","method":"createSession","params":{}}
-{"id":"2","method":"addOrUpdateConstituenta","params":{"sessionId":"…","input":{"draft":{"id":2,"alias":"S1","cstType":"structure","definitionFormal":"ℬ(X1×X1)"}}}}
-{"id":"2b","method":"addOrUpdateConstituenta","params":{"sessionId":"…","input":{"draft":{"id":3,"alias":"D1","cstType":"term","definitionFormal":"Pr1(S1)"}}}}
-{"id":"3","method":"analyzeExpression","params":{"sessionId":"…","input":{"expression":"1+2","cstType":"term"}}}
-{"id":"4","method":"listDiagnostics","params":{"sessionId":"…"}}
-{"id":"5","method":"commitStep","params":{"sessionId":"…","message":"checkpoint"}}
-{"id":"6","method":"exportSession","params":{"sessionId":"…"}}
-{"id":"6a","method":"exportPortalSchema","params":{"sessionId":"…"}}
-{"id":"6b","method":"exportPortalModel","params":{"sessionId":"…"}}
-{"id":"7","method":"setConstituentaValue","params":{"sessionId":"…","input":{"target":1,"value":{"0":"a","1":"b"}}}}
-{"id":"8","method":"evaluateExpression","params":{"sessionId":"…","input":{"expression":"1+2","cstType":"term"}}}
-{"id":"9","method":"evaluateConstituenta","params":{"sessionId":"…","input":{"constituentId":3}}}
-```
-
-`RSToolWrapperClient`: по умолчанию запускает `rstool-wrapper`; методы `waitUntilReady()`, `call(method, params)`, `close()`.
-
-### Результат анализа
-
-```ts
-interface AnalysisResult {
-  success: boolean;
-  type: Record<string, unknown> | null;
-  valueClass: 'value' | 'property' | null;
-  diagnostics: { code: number; from: number; to: number; params?: string[] }[];
-}
+{"id":"2","method":"applySchemaPatch","params":{"items":[{"alias":"X1"}]}}
+{"id":"7","method":"setModelValues","params":{"set":[{"target":1,"value":{"0":"a"}}]}}
+{"id":"8","method":"evaluate","params":{"constituentId":3}}
+{"id":"9","method":"exportPortal","params":{"kind":"schema"}}
+{"id":"10","method":"importData","params":{"payload":"..."}}
 ```
 
-## RSLang
-
-Кратко: язык на базе логики первого порядка; разделение множественных и логических выражений; параметризованные шаблоны для функций и предикатов.
-
-- **Типизация**: структурный тип выражения; ступени включают элементы (`Xi`, `Ci`), `Z`, кортежи `(H1×…×Hn)`, множества `ℬ(H)`, логику `Logic`, параметризованные `Hr 🠔 [H1,…,Hi]`. У `structure` (`S#`) поле `definitionFormal` **задаёт** типизацию. У `term` (`D#`) типизация **выводится** из определения.
-
-## Токены грамматики
+### MCP tools
 
-Из `rslang.grammar`:
-
-| Категория           | Токены / формы                                          |
-| ------------------- | ------------------------------------------------------- |
-| Глобальные          | `X`, `C`, `S`, `D`, `A`, `T` + цифры (правило `Global`) |
-| Функции / предикаты | `F<n>`, `P<n>`                                          |
-| Радикалы            | `R<n>`                                                  |
-| Локальные           | `_a-zα-ω` + опциональные цифры                          |
-| Логика              | `¬` `∀` `∃` `⇔` `⇒` `∨` `&`                             |
-| Множества           | `ℬ` `∪` `\` `∆` `∩` `×` `∈` `∉` `⊆` `⊂` …               |
-| Операции            | `Pr`, `pr`, `Fi`, `card`, `bool`, `debool`, `red`       |
-| Литералы            | цифры, `Z`, `∅`                                         |
-
-Полная грамматика и приоритеты: `docs/GRAMMAR-REF.md`.
+17 tools — см. `rstool-mcp/README.md`.
 
 ## Документация
 
-| Тема                                     | Документ                                                     |
-| ---------------------------------------- | ------------------------------------------------------------ |
-| Идентификаторы, литералы                 | `docs/SYNTAX.md` § «Имена и литералы»                        |
-| Ступени, `Logic`, параметризованные типы | `docs/TYPIFICATION.md` § «Ступени»                           |
-| Логические выражения                     | `docs/SYNTAX.md` § «Логические выражения (LE)»               |
-| Операторы над множествами                | `docs/SYNTAX.md` § «Теоретико-множественные выражения (STE)» |
-| Целочисленная арифметика                 | `docs/SYNTAX.md` § «Арифметика»                              |
-| Дополнительные и производные типизации   | `docs/TYPIFICATION.md` § «Дополнительные типизации»          |
-| Кванторы                                 | `docs/SYNTAX.md` § «Кванторы»                                |
-| Параметризованные функции, шаблоны       | `docs/SYNTAX.md` § «Параметризованные выражения»             |
-| Модель корректности / валидация          | `docs/SYNTAX.md` § «Корректность»                            |
-| Семантические тесты определений          | `docs/MODEL-TESTING.md`                                      |
-| Словарь предметной области               | `docs/DOMAIN.md`                                             |
-| Поля конституент и порядок               | `docs/CONSTITUENTA.md`                                       |
-| REST API Portal                          | `docs/PORTAL-API.md`                                         |
-| Токены грамматики / приоритеты           | `docs/GRAMMAR-REF.md`                                        |
-
-Воркфлоу и чеклисты — `skills/rstool-helper/GUIDE.md`.
-
-## Коды ошибок
-
-Категории и исправления по коду: `docs/DIAGNOSTICS.md`.
-
-Категории:
-
-- `0x84xx` — синтаксис / разбор
-- `0x28xx` — предупреждения локальных объявлений
-- `0x88xx` — семантика / типы
-- `0x886x` — уровень конституент (пустая производная, запрещённое определение)
-- `0x81xx` — вычисление (runtime; из `evaluateExpression` / `evaluateConstituenta`)
-
-## Форма экспорта сессии
-
-`exportSession(sessionId)` возвращает JSON-строку `{ contractVersion, state, diagnostics }`.
-
-- `state.alias`, `state.title`, `state.comment` — метаданные объекта библиотеки для экспорта в Portal (`comment` → JSON `description`).
-- `state.items[]` — каждая конституента с `id`, `alias`, `cstType`, `definitionFormal`, опциональными текстовыми полями и вложенным результатом анализа.
-- `state.model.items[]` — присутствует, если заданы значения интерпретации.
-- `diagnostics[]` — накопленные диагностики со смещениями и кодами.
-
-`importSession(payload)` принимает только этот формат `exportSession`. JSON Portal из
-`GET /api/rsforms/:id/details` сначала переноси в сессию через `createSession` и
-`addOrUpdateConstituenta`; поля и REST-пути описаны в `docs/PORTAL-API.md`.
-
-## JSON импорта Portal
-
-Для **Load from JSON** на существующей схеме или модели Portal:
-
-- `exportPortalSchema(sessionId)` — файл схемы
-- `exportPortalModel(sessionId)` — файл модели
-
-- Схема `items[]`: поля конституент (`cst_type`, `definition_formal`, `term_raw`, …).
-- Модель `items[]`: `{ id, type, value }` на каждую привязку.
+Воркфлоу: `GUIDE.md`. Примеры: `EXAMPLES.md`. Язык: `docs/*.md`.