npm - @rsconcept/rstool - Versions diffs - 1.4.3 → 1.5.0 - Mend

@rsconcept/rstool 1.4.3 → 1.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (10) hide show

package/dist/wrapper/stdio-wrapper.js +0 -0
package/docs/CONCEPTUAL-SCHEMA.md +44 -0
package/docs/CONSTITUENTA.md +1 -1
package/docs/README.md +3 -3
package/package.json +19 -18
package/skills/README.md +3 -3
package/skills/rstool-helper/EXAMPLES.md +193 -3
package/skills/rstool-helper/GUIDE.md +79 -8
package/skills/rstool-helper/REFERENCE.md +176 -33
package/skills/rstool-helper/SKILL.md +28 -8

package/dist/wrapper/stdio-wrapper.js CHANGED Viewed

File without changes

package/docs/CONCEPTUAL-SCHEMA.md CHANGED Viewed

@@ -86,6 +86,49 @@ card(S1) = card(Pr1,2(S1))
 Перед `D{x∈… | ∃d1∈… ∃d2∈…}` проверь, нельзя ли взять `Pr` от уже введенного отношения.
+## Терм-функция вместо множества пар
+Частый антипаттерн: кодировать **вычисляемую зависимость** как множество пар
+```text
+D1 ::= I{(ξ,σ) | ξ:∈S1; σ:=Expr(ξ)}
+```
+а затем читать значение через `Pr2(Fi1[{α}](D1))` или `pr2(d)` при `d∈D1`.
+Если для каждого допустимого `ξ` значение `σ` **однозначно задаётся** выражением, это не отношение, а **терм-функция**:
+```text
+F1 ::= [ξ∈S1] Expr(ξ)
+```
+Вызов: `F1[α]`. Потребители пишут `F1[…]`, а не проекции по графику.
+### Как переписывать
+| Было (пары)                                        | Стало (терм-функция)    |
+| -------------------------------------------------- | ----------------------- |
+| `D1 ::= I{(ξ,σ) \| ξ:∈A; σ:=E(ξ)}`                 | `F1 ::= [ξ∈A] E(ξ)`     |
+| `Pr2(Fi1[{α}](D1))`                                | `F1[α]`                 |
+| `∃d∈D1 (pr1(d)=α & … pr2(d) …)`                    | `… F1[α] …`             |
+| `D2 ::= I{(ξ,σ) \| ξ:∈A; σ:=G(Pr2(Fi1[{ξ}](D1)))}` | `F2 ::= [ξ∈A] G(F1[ξ])` |
+| `∀d1,d2∈D1 (pr1(d1)=pr1(d2) ⇒ pr2(d1)=pr2(d2))`    | не нужна для `F1`       |
+Термин формулируй как **результат при аргументе** («дети узла», «носители роли»), а не как «пары: узел и его дети», если пары больше нигде не нужны.
+### Цепочки `F#`
+Строй зависимости вызовами, а не новыми графиками на каждом шаге:
+```text
+F1 ::= [ξ∈X1] …           — базовая характеристика
+F2 ::= [ξ∈X1] H(F1[ξ])    — производная от F1
+F3 ::= [ξ∈D1] F2[ξ]∩S2    — сужение на подкласс
+D4 ::= I{F3[ξ] | ξ:∈D1}   — только если нужно множество всех значений
+```
+`D#` из значений функции уместен, когда предметно нужно **собрать** результаты (`I{F[ξ] | ξ:∈…}`, `red(…)`), а не когда снова кодируется «ξ и F[ξ]».
 ## Параметризованные определения и радикалы
 Терм-функция (`F#`) и предикат-функция (`P#`) могут быть шаблонными: одно формальное определение применяется к разным структурам через радикалы `R#` в доменах параметров (синтаксис — [SYNTAX.md](SYNTAX.md), раздел «Радикалы»).
@@ -94,3 +137,4 @@ card(S1) = card(Pr1,2(S1))
 - Если одна и та же конструкция нужна для нескольких родовых структур, предпочитай один параметризованный `F#` / `P#` с радикалами вместо дублирования определений.
 - Не добавляй в схему конституенту с `alias` `R1` (или другим `R#`) «для полноты» — это смешивает шаблон с предметной КС.
+- Не путай шаблон с радикалами и обычную терм-функцию по предметному домену: для «вычислить характеристику элемента `X1`» достаточно `[ξ∈X1] …` без `R#`.

package/docs/CONSTITUENTA.md CHANGED Viewed

@@ -23,7 +23,7 @@
 - `constant` / `C#` — константное множество; формула пустая. С арифметикой и порядком; интерпретация в КМ. См. [BASE-SELECTION.md](BASE-SELECTION.md) (отличие от `X#` и встроенного `Z`).
 - `structure` / `S#` — родовая структура; `definitionFormal` задает область определения (типизацию).
 - `term` / `D#` — терм; формальное определение задает вычисляемое значение.
-- `function` / `F#` — терм-функция.
+- `function` / `F#` — терм-функция. Для вычисляемой зависимости «аргумент → значение» предпочитай `F#` множеству пар.
 - `predicate` / `P#` — предикат-функция.
 - `axiom` / `A#` — аксиома; нужна типизация `Logic`.
 - `statement` / `T#` — высказывание; нужна типизация `Logic`.

package/docs/README.md CHANGED Viewed

@@ -2,12 +2,12 @@
 Краткая справка для агентов.
-**Воркфлоу и чеклисты** — в `../skills/rstool-helper/GUIDE.md` (начинай с него). Здесь — справочные правила языка и предметной области.
+**Воркфлоу, матрица задач и чеклисты** — в `../skills/rstool-helper/GUIDE.md` (начинай с него: раздел «Задача → чтение»). Здесь — справочные правила языка и предметной области.
 ## Какой файл читать
 - **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
-- **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем.
+- **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем (в т.ч. терм-функция вместо множества пар).
 - **CONSTITUENTA.md** — структура и правила конституент.
 - **BASE-SELECTION.md** — выбор основания: `X#`, `C#` или `Z`.
 - **SYNTAX.md** — синтаксис ЯРЭ: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.
@@ -16,4 +16,4 @@
 - **DIAGNOSTICS.md** — диагностики анализа и способы исправления ошибок.
 - **PORTAL-API.md** — объекты REST API Portal.
-Контракт агента `rstool` и примеры — `../skills/rstool-helper/REFERENCE.md`, `EXAMPLES.md` (на русском, вместе с `GUIDE.md`).
+Контракт агента `rstool` (library / stdio / MCP) и примеры — `../skills/rstool-helper/REFERENCE.md`, `EXAMPLES.md` (на русском, вместе с `GUIDE.md`).

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.4.3",
+  "version": "1.5.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 CHANGED Viewed

@@ -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 CHANGED Viewed

@@ -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,159 @@ 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`                                   | одинаковый термин у разных конституент             | различай термины                                                 |
+| `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 +236,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 +245,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 CHANGED Viewed

@@ -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#`.
 - [ ] Сомнительная семантика проверена на маленькой КМ при наличии тестовых данных.
+- [ ] При чистом ревью: отчёт по [шаблону](#шаблон-ответа-ревью) выдан **до** любых массовых правок.

package/skills/rstool-helper/REFERENCE.md CHANGED Viewed

@@ -1,34 +1,66 @@
 # ЯРЭ и rstool — справочник
+Контракт library / stdio / MCP для агентов. Воркфлоу — [GUIDE.md](GUIDE.md). Примеры — [EXAMPLES.md](EXAMPLES.md). Язык — `docs/*.md`.
 ## Контракт rstool
 - Пакет: `@rsconcept/rstool`
 - Версия контракта: `3.0.0` (`CONTRACT_VERSION`)
 - Основной класс: `RSToolAgent`
 - Публичные импорты: `@rsconcept/rstool` и `@rsconcept/rstool/wrapper`
+- Опции: `new RSToolAgent({ persistenceDir? })` — каталог для сохранения сессий между перезапусками (stdio/MCP: `RSTOOL_PERSISTENCE_DIR`)
+Почти все методы принимают optional `sessionId` вторым аргументом (в stdio/MCP — поле `sessionId` в плоских `params`). Без него используется текущая сессия; при необходимости сессия создаётся лениво.
 ### Методы library API
-| Метод                                          | Назначение                                                         |
-| ---------------------------------------------- | ------------------------------------------------------------------ |
-| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую                           |
-| `createSession(initial?)`                      | Новая in-memory сессия                                             |
-| `getCurrentSession()`                          | Текущая активная сессия или `null`                                 |
-| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                                             |
-| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы                                     |
-| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`                                     |
-| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики (`kind`: `expression` \| `schema` \| `model`) |
-| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения (`recordDiagnostics?`)                       |
-| `commitStep(message?, sessionId?)`             | Ревизия                                                            |
-| `exportSession(sessionId?)`                    | JSON сессии                                                        |
-| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                                              |
-| `importData(payload, kind?)`                   | Импорт сессии / Portal (`kind` см. ниже)                           |
-| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели (async — нужен `await`)                            |
-| `getModelState(sessionId?)`                    | Состояние интерпретации                                            |
-| `evaluate(input, sessionId?)`                  | Scratch или конституента                                           |
-| `recalculateModel(sessionId?)`                 | Пересчёт                                                           |
-### `applySchemaPatch`
+| Метод                                          | Назначение                                  |
+| ---------------------------------------------- | ------------------------------------------- |
+| `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?)`                 | Пересчёт производных                        |
+Служебные (stdio / MCP): `ping` / `pong`+`contractVersion`; `methods` / `list_methods`.
+### Library ↔ stdio ↔ MCP
+Stdio использует **camelCase** имён методов (как library). MCP (`@rsconcept/rstool-mcp`) — **snake_case**. Params везде **плоские** (без обёртки `input`).
+| Library / stdio     | MCP tool              |
+| ------------------- | --------------------- |
+| `ping`              | `ping`                |
+| `methods`           | `list_methods`        |
+| `ensureSession`     | `ensure_session`      |
+| `createSession`     | `create_session`      |
+| `getCurrentSession` | `get_current_session` |
+| `setCurrentSession` | `set_current_session` |
+| `applySchemaPatch`  | `apply_schema_patch`  |
+| `getSessionState`   | `get_session_state`   |
+| `listDiagnostics`   | `list_diagnostics`    |
+| `analyzeExpression` | `analyze_expression`  |
+| `commitStep`        | `commit_step`         |
+| `exportSession`     | `export_session`      |
+| `exportPortal`      | `export_portal`       |
+| `importData`        | `import_data`         |
+| `setModelValues`    | `set_model_values`    |
+| `getModelState`     | `get_model_state`     |
+| `evaluate`          | `evaluate`            |
+| `recalculateModel`  | `recalculate_model`   |
+## `applySchemaPatch`
 ```ts
 tool.applySchemaPatch({
@@ -38,23 +70,119 @@ tool.applySchemaPatch({
 });
 ```
-- `items` упорядочиваются автоматически: поставщики раньше потребителей.
-- `id` и `cstType` можно опускать — выводятся из префикса `alias` (`X/C/S/D/F/P/A/T/N`).
-- `mode`: `'atomic'` (default; откат всей пачки при первой ошибке) или `'best_effort'` (применяются корректные элементы).
-- `commitMessage` фиксирует ревизию после успешного patch.
+**Вход**
+| Поле             | Смысл                                                                                                        |
+| ---------------- | ------------------------------------------------------------------------------------------------------------ |
+| `items`          | Массив патчей; у каждого обязателен `alias`                                                                  |
+| `initial?`       | `alias` / `title` / `comment` — только если для patch создаётся новая сессия                                 |
+| `mode?`          | `'atomic'` (default) — откат всей пачки при первой ошибке; `'best_effort'` — применяются корректные элементы |
+| `commitMessage?` | После успешного patch фиксирует ревизию                                                                      |
+**Патч элемента:** `alias` обязателен; `id`, `cstType`, `definitionFormal`, `term`, `definitionText`, `convention` опциональны. `id` и `cstType` выводятся из префикса `alias` (`X/C/S/D/F/P/A/T/N`). Поля мержатся с существующей конституентой.
+**Поведение:** `items` упорядочиваются автоматически (поставщики раньше потребителей).
+**Результат:** `{ success, applied, failed, diagnostics, session, summary, revision? }`.
+- `applied` — успешно применённые конституенты со `analysis`.
+- `failed` — `{ draft, diagnostics }[]` (при `best_effort` или атомарном отказе).
+- `summary` — компактный обзор сессии (см. ниже).
+- `revision` — если был `commitMessage`.
+Для крупных импортов с частичными ошибками формул предпочитай `mode: 'best_effort'`, затем правь оставшееся по `failed` / `listDiagnostics`.
+## `getSessionState`
+- `getSessionState()` / `getSessionState('summary')` → `SessionSummary`:
+  - `sessionId`, `contractVersion`, `alias`, `title`, `comment`
+  - `itemCount`, `modelItemCount`, `diagnosticsCount`
+  - `items[]`: `{ id, alias, cstType, analysisSuccess }`
+  - `diagnostics[]` (активные)
+  - `lastRevision?`
+- `getSessionState('full')` → полный `SessionState` (все конституенты с формулами, модель, ревизии). Для обзора агенту обычно хватает `summary`.
+## `listDiagnostics`
+```ts
+tool.listDiagnostics();
+tool.listDiagnostics({ kind: 'expression' });
+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)).
+## `analyzeExpression`
+```ts
+tool.analyzeExpression({
+  expression: 'Pr1(S1)',
+  cstType: CstType.TERM,
+  recordDiagnostics: false // default
+});
+```
+**Вход:** `expression`, `cstType` (обязательны); `recordDiagnostics?` — писать ли диагностики в сессию (default `false`).
+**Результат:** `{ success, type, valueClass, diagnostics }`. Не сохраняет конституенту. Для черновика формулы — до `applySchemaPatch`.
+## `evaluate`
+Ровно один вариант входа:
+- конституента: `{ constituentId }`
+- scratch: `{ expression, cstType }`
+**Результат:** `{ success, value, status, iterations, cacheHits, diagnostics }`.
+`status` — статус вычисления КМ (`HAS_DATA`, `EMPTY`, `AXIOM_FALSE`, `EVAL_FAIL`, … — [DOMAIN.md](../../docs/DOMAIN.md)).
+## `setModelValues` / `getModelState` / `recalculateModel`
+```ts
+await tool.setModelValues({
+  set: [{ target: 1, value: { 0: 'a', 1: 'b' } }],
+  clear: [3]
+});
+```
+- `set[]`: `{ target, value, type? }` — `target` = id конституенты; `type` обычно не нужен.
+- `clear[]`: id для сброса значений.
+- Метод **async**. После изменения данных пересчитываются диагностики модели.
+- `getModelState()` → `{ items: [{ id, type, value }] }`.
+- `recalculateModel()` → `{ items: [{ id, alias, value, status }] }`.
+Формы `value` для `X#` / `S#` — [MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
+## `importData` / `exportSession` / `exportPortal`
 ### `importData(payload, kind?)`
-`kind`: `'auto'` (default; определяет формат по содержимому), `'session'`, `'portal-details'` (ответ `GET /api/rsforms/:id/details`), `'portal-schema'` (Portal Load from JSON). После импорта новая сессия становится текущей.
+`kind`: `'auto'` (default), `'session'`, `'portal-details'` (`GET /api/rsforms/:id/details`), `'portal-schema'` (Portal Load from JSON). После импорта новая сессия становится текущей. Возвращает `SessionHandle`.
+Portal JSON из `/details` **не** является `exportSession` — не передавай его с `kind: 'session'`.
-### Протокол stdio
+### `exportSession()`
-Плоские `params` (без `input`). Опционально: переменная окружения `RSTOOL_PERSISTENCE_DIR` — каталог для сохранения сессий между перезапусками обёртки (в library API — `new RSToolAgent({ persistenceDir })`).
+JSON-строка сессии для последующего `importData(..., 'session')`.
-Служебные методы:
+### `exportPortal({ kind, format? })`
-- `ping` — liveness и `contractVersion`.
-- `methods` — список доступных stdio-методов.
+- `kind`: `'schema'` | `'model'`
+- `format?`: `'json'` (default, строка) | `'object'`
+- Для загрузки в Portal UI: обычно `exportPortal({ kind: 'schema' })`.
+## `commitStep` / сессии
+- `commitStep(message?)` → `{ revisionId, at, message? }`.
+- `ensureSession` / `createSession` принимают optional `initial`: `alias`, `title`, `comment` (и прочие поля `SessionState` в library).
+- `SessionHandle`: `{ sessionId, contractVersion }`.
+## Протокол stdio
+Плоские `params`. Переменная окружения `RSTOOL_PERSISTENCE_DIR` — каталог персистентности.
 ```json
 {"id":"2","method":"applySchemaPatch","params":{"items":[{"alias":"X1"}]}}
@@ -62,8 +190,23 @@ tool.applySchemaPatch({
 {"id":"8","method":"evaluate","params":{"constituentId":3}}
 {"id":"9","method":"exportPortal","params":{"kind":"schema"}}
 {"id":"10","method":"importData","params":{"payload":"..."}}
+{"id":"11","method":"getSessionState","params":{"detail":"summary"}}
 ```
-## Документация
-Воркфлоу: `GUIDE.md`. Примеры: `EXAMPLES.md`. Язык: `docs/*.md`.
+## Help map: ошибка → документ
+| Ситуация                                           | Куда                                                    |
+| -------------------------------------------------- | ------------------------------------------------------- |
+| Код / `name` диагностики                           | [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)             |
+| Синтаксис операторов, `D{}`/`I{}`/`R{}`, `F#`/`P#` | [SYNTAX.md](../../docs/SYNTAX.md)                       |
+| Ступени, `AnalysisResult.type`                     | [TYPIFICATION.md](../../docs/TYPIFICATION.md)           |
+| `X#` vs `C#` vs `Z`, переносимость                 | [BASE-SELECTION.md](../../docs/BASE-SELECTION.md)       |
+| Проектирование, `F#` vs пары, ревью                | [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md) |
+| Поля и валидация конституенты                      | [CONSTITUENTA.md](../../docs/CONSTITUENTA.md)           |
+| Формы значений КМ, тесты                           | [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)         |
+| Ссылка Portal, REST, curl                          | [PORTAL-API.md](../../docs/PORTAL-API.md)               |
+| Термины, статусы, «не путать»                      | [DOMAIN.md](../../docs/DOMAIN.md)                       |
+| Воркфлоу агента                                    | [GUIDE.md](GUIDE.md)                                    |
+| Сниппеты и антипаттерны                            | [EXAMPLES.md](EXAMPLES.md)                              |
+Исходники кодов ошибок ЯРЭ: `@rsconcept/domain` (`RSErrorCode`, `error.ts`). Не дублируй грамматику в skill — правь domain и при необходимости этот help map.

package/skills/rstool-helper/SKILL.md CHANGED Viewed

@@ -1,7 +1,9 @@
 ---
 name: rstool-helper
 description: >-
-  ЯРЭ (язык родоструктурной экспликации), формальные определения и проектирование концептуальных схем для агентов. Читай GUIDE и docs из node_modules.
+  ЯРЭ и концептуальные схемы через rstool: концептуализация, ревью/оценка КС,
+  правки и диагностики формул, проверка на КМ (evaluate), выбор X#/C#/Z,
+  импорт/экспорт Portal (/rsforms, /details). Читай GUIDE и docs из node_modules.
 ---
 # rstool-helper
@@ -16,15 +18,32 @@ description: >-
 Затем продолжай с каноническими файлами ниже.
-## Канонические файлы (читать перед работой с rstool)
+## Канонические файлы
-- **Начни здесь** — воркфлоу и чеклисты: `node_modules/@rsconcept/rstool/skills/rstool-helper/GUIDE.md`
-- API, stdio, контракт: `node_modules/@rsconcept/rstool/skills/rstool-helper/REFERENCE.md`
-- Примеры, типичные ошибки: `node_modules/@rsconcept/rstool/skills/rstool-helper/EXAMPLES.md`
-- Язык и предметная область: `node_modules/@rsconcept/rstool/docs/*.md`
-- Процедура установки: `node_modules/@rsconcept/rstool/skills/INSTALL.md`
+Префикс путей: `node_modules/@rsconcept/rstool/`.
-Перед началом задачи rstool всегда открывай **GUIDE.md**, затем по необходимости **REFERENCE.md** / **EXAMPLES.md** / нужные `docs/*.md`.
+| Что                                                 | Путь                                |
+| :-------------------------------------------------- | :---------------------------------- |
+| **Начни здесь** — матрица задач, воркфлоу, чеклисты | `skills/rstool-helper/GUIDE.md`     |
+| API, stdio, MCP, контракт                           | `skills/rstool-helper/REFERENCE.md` |
+| Примеры, антипаттерны                               | `skills/rstool-helper/EXAMPLES.md`  |
+| Язык и предметная область                           | `docs/*.md`                         |
+| Установка skill                                     | `skills/INSTALL.md`                 |
+## Задача → что читать
+Не читай все `docs/` подряд. Открой **GUIDE.md** (раздел «Задача → чтение»), затем только нужные файлы:
+| Задача                            | Минимум                                                                        |
+| :-------------------------------- | :----------------------------------------------------------------------------- |
+| Собрать / развить КС из текста    | GUIDE: концептуализация; `docs/CONCEPTUAL-SCHEMA.md`; `docs/BASE-SELECTION.md` |
+| Оценить / отревьюить готовую КС   | GUIDE: ревью; чеклист ревью; `docs/CONCEPTUAL-SCHEMA.md`                       |
+| Починить формулу / диагностики    | GUIDE: цикл диагностик; `docs/DIAGNOSTICS.md`                                  |
+| Импорт / правка по ссылке Portal  | GUIDE: Portal; `docs/PORTAL-API.md`                                            |
+| Проверить смысл на данных         | GUIDE: КМ; `docs/MODEL-TESTING.md`                                             |
+| Синтаксис / типизация / вызов API | `docs/SYNTAX.md` / `TYPIFICATION.md` / `REFERENCE.md`                          |
+Перед работой всегда открой **GUIDE.md**; остальное — по строке таблицы.
 ## Не правь пакет rstool без запроса
@@ -41,4 +60,5 @@ REST API и curl — `node_modules/@rsconcept/rstool/docs/PORTAL-API.md`.
 ## Кратко
 - Пакет: `@rsconcept/rstool`; обёртка: `npx rstool-wrapper`
+- MCP: `@rsconcept/rstool-mcp` (имена tools — `snake_case`, см. REFERENCE)
 - `@rsconcept/domain` устанавливается как зависимость (анализатор и коды ошибок)