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

@rsconcept/rstool 1.4.2 → 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 (15) hide show

package/dist/wrapper/stdio-wrapper.js +0 -0
package/docs/BASE-SELECTION.md +2 -2
package/docs/CONCEPTUAL-SCHEMA.md +44 -0
package/docs/CONSTITUENTA.md +1 -1
package/docs/DIAGNOSTICS.md +24 -24
package/docs/DOMAIN.md +5 -5
package/docs/PORTAL-API.md +2 -2
package/docs/README.md +4 -4
package/docs/SYNTAX.md +1 -1
package/package.json +19 -18
package/skills/README.md +3 -3
package/skills/rstool-helper/EXAMPLES.md +194 -4
package/skills/rstool-helper/GUIDE.md +83 -12
package/skills/rstool-helper/REFERENCE.md +177 -34
package/skills/rstool-helper/SKILL.md +28 -8

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

File without changes

package/docs/BASE-SELECTION.md CHANGED Viewed

@@ -8,7 +8,7 @@
 | :---------------------------------------------------------------------- | :---- | :--------------------------------------------------------------------------- |
 | Предметные объекты без числового смысла: люди, документы, ситуации      | `X#`  | Элементы задаются интерпретацией и различаются только как элементы множества |
 | Конечный именованный набор, где в формулах нужны порядок или арифметика | `C#`  | Элементы интерпретируются в КМ, но поддерживают сравнение и арифметику языка |
-| Чистые целые: размеры, счётчики, индексы, `card`, рекурсия над числами  | `Z`   | Это встроенная ступень RSLang; отдельная конституента не нужна               |
+| Чистые целые: размеры, счётчики, индексы, `card`, рекурсия над числами  | `Z`   | Это встроенная ступень ЯРЭ; отдельная конституента не нужна                  |
 ```text
 Нужно неопределяемое понятие?
@@ -38,7 +38,7 @@
 2. Если формула «узнаёт» конкретные элементы базисного множества по способу, не заданному в схеме (скрытый порядок, кодирование атрибута константами) — вероятное нарушение переносимости или лишняя конституента.
 3. Перед сохранением сомнительной формулы — `analyzeExpression`.
-**Иллюстрация (родство):** при `X1 = {alice, bob, carol}` биективная замена на `{p1, p2, p3}` не меняет, кто чей родитель в `S1: ℬ(X1×X1)`, если пары переименованы согласованно. Формула `∀a,b∈X1 a < b` некорректна — порядок на людях в RSLang не задан.
+**Иллюстрация (родство):** при `X1 = {alice, bob, carol}` биективная замена на `{p1, p2, p3}` не меняет, кто чей родитель в `S1: ℬ(X1×X1)`, если пары переименованы согласованно. Формула `∀a,b∈X1 a < b` некорректна — порядок на людях в ЯРЭ не задан.
 ## Детали по вариантам

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/DIAGNOSTICS.md CHANGED Viewed

@@ -1,7 +1,7 @@
 # Диагностика
 Читай, когда `analyzeExpression`, `applySchemaPatch`, `listDiagnostics` или `evaluate`
-вернули диагностику. Коды ошибок RSLang — `RSErrorCode` в `@rsconcept/domain`; коды схемы
+вернули диагностику. Коды ошибок ЯРЭ — `RSErrorCode` в `@rsconcept/domain`; коды схемы
 и модели — `RSDiagnosticCode` в том же пакете (числовой формат совпадает).
 ## Формы диагностики
@@ -80,29 +80,29 @@
 ## Parser
-| Код      | Имя                        | `params`                  | Исправление                                                                           |
-| -------- | -------------------------- | ------------------------- | ------------------------------------------------------------------------------------- |
-| `0x8400` | `unknownSyntax`            | —                         | Неопределённая синтаксическая ошибка: проверь операторы, скобки, идентификаторы.      |
-| `0x8401` | `forbiddenCharacter`       | `[character]`             | Символ не входит в язык родов структур (напр. `^` для степени). Удали или замени его. |
-| `0x8409` | `bracketMismatch`          | `[expected, actual]`      | Закрой ожидаемой скобкой `expected` вместо `actual`.                                  |
-| `0x840A` | `doubleParenthesis`        | —                         | Убери лишнюю внешнюю пару `(( … ))`.                                                  |
-| `0x840B` | `missingOpenBracket`       | `[bracket]`               | Непарная закрывающая `bracket`: убери её или добавь открывающую.                      |
-| `0x840C` | `missingCloseBracket`      | `[bracket]`               | Непарная открывающая `bracket`: убери её или добавь закрывающую.                      |
-| `0x8415` | `expectedLocal`            | —                         | Ожидалось имя локальной переменной.                                                   |
-| `0x8416` | `expectedType`             | `[expectedClass, actual]` | Несоответствие класса выражения ожидаемому.                                           |
-| `0x8417` | `invalidFilterSyntax`      | —                         | Синтаксис `Fi`: `Fi1[D1](S1)`, `Fi1,2[D1,D2](S1)` или `Fi1,2[D3](S1)`.                |
-| `0x8418` | `expectedFunctionBody`     | —                         | Нужно тело функции после `[параметры]`.                                               |
-| `0x8419` | `expectedExpressionBody`   | —                         | Нужно теоретико-множественное тело функции (ТФ).                                      |
-| `0x841A` | `expectedLogicBody`        | —                         | Нужно логическое тело функции.                                                        |
-| `0x841B` | `expectedQuantifierBody`   | —                         | Нужно логическое тело после `∀(∃)…∈домен`.                                            |
-| `0x841C` | `expectedDeclarativeBody`  | —                         | Допиши декларативное `D{…∈… \| …}`.                                                   |
-| `0x841D` | `expectedImperativeBody`   | —                         | Допиши императивное `I{… \| …}`.                                                      |
-| `0x841E` | `expectedRecursiveBody`    | —                         | Допиши рекурсивное `R{…:=… \| … \| …}`.                                               |
-| `0x841F` | `expectedQuantifierDomain` | —                         | После переменной квантора нужны `∈` и домен.                                          |
-| `0x8420` | `expectedRightOperand`     | —                         | Нужен правый операнд после оператора.                                                 |
-| `0x8421` | `expectedUnaryOperand`     | —                         | Нужно выражение после `¬`.                                                            |
-| `0x8422` | `globalFuncParenCall`      | `[name]`                  | Вызов `F`/`P` только через `[…]`, не `(…)`.                                           |
-| `0x8423` | `expectedArgument`         | —                         | Нужен аргумент в списке `[…]` у F/P.                                                  |
+| Код      | Имя                        | `params`                  | Исправление                                                                      |
+| -------- | -------------------------- | ------------------------- | -------------------------------------------------------------------------------- |
+| `0x8400` | `unknownSyntax`            | —                         | Неопределённая синтаксическая ошибка: проверь операторы, скобки, идентификаторы. |
+| `0x8401` | `forbiddenCharacter`       | `[character]`             | Символ не входит в ЯРЭ (напр. `^` для степени). Удали или замени его.            |
+| `0x8409` | `bracketMismatch`          | `[expected, actual]`      | Закрой ожидаемой скобкой `expected` вместо `actual`.                             |
+| `0x840A` | `doubleParenthesis`        | —                         | Убери лишнюю внешнюю пару `(( … ))`.                                             |
+| `0x840B` | `missingOpenBracket`       | `[bracket]`               | Непарная закрывающая `bracket`: убери её или добавь открывающую.                 |
+| `0x840C` | `missingCloseBracket`      | `[bracket]`               | Непарная открывающая `bracket`: убери её или добавь закрывающую.                 |
+| `0x8415` | `expectedLocal`            | —                         | Ожидалось имя локальной переменной.                                              |
+| `0x8416` | `expectedType`             | `[expectedClass, actual]` | Несоответствие класса выражения ожидаемому.                                      |
+| `0x8417` | `invalidFilterSyntax`      | —                         | Синтаксис `Fi`: `Fi1[D1](S1)`, `Fi1,2[D1,D2](S1)` или `Fi1,2[D3](S1)`.           |
+| `0x8418` | `expectedFunctionBody`     | —                         | Нужно тело функции после `[параметры]`.                                          |
+| `0x8419` | `expectedExpressionBody`   | —                         | Нужно теоретико-множественное тело функции (ТФ).                                 |
+| `0x841A` | `expectedLogicBody`        | —                         | Нужно логическое тело функции.                                                   |
+| `0x841B` | `expectedQuantifierBody`   | —                         | Нужно логическое тело после `∀(∃)…∈домен`.                                       |
+| `0x841C` | `expectedDeclarativeBody`  | —                         | Допиши декларативное `D{…∈… \| …}`.                                              |
+| `0x841D` | `expectedImperativeBody`   | —                         | Допиши императивное `I{… \| …}`.                                                 |
+| `0x841E` | `expectedRecursiveBody`    | —                         | Допиши рекурсивное `R{…:=… \| … \| …}`.                                          |
+| `0x841F` | `expectedQuantifierDomain` | —                         | После переменной квантора нужны `∈` и домен.                                     |
+| `0x8420` | `expectedRightOperand`     | —                         | Нужен правый операнд после оператора.                                            |
+| `0x8421` | `expectedUnaryOperand`     | —                         | Нужно выражение после `¬`.                                                       |
+| `0x8422` | `globalFuncParenCall`      | `[name]`                  | Вызов `F`/`P` только через `[…]`, не `(…)`.                                      |
+| `0x8423` | `expectedArgument`         | —                         | Нужен аргумент в списке `[…]` у F/P.                                             |
 ## Предупреждения

package/docs/DOMAIN.md CHANGED Viewed

@@ -8,19 +8,19 @@
 - **Концептуальная схема (`КС`)** — система понятий, утверждений и связей между ними.
 - **Концептуальная модель (`КМ`)** — КС плюс интерпретация ее понятий на конечных данных.
 - **Операционная схема синтеза (`ОСС`)** — граф загрузок и синтезов КС.
-- **Родоструктурная экспликация (`RSLang`)** — формальный язык для понятий, отношений, операций и утверждений.
+- **ЯРЭ** (язык родоструктурной экспликации) — формальный язык для понятий, отношений, операций и утверждений.
 - **Типизация / ступень** — структура значений выражения: элемент, целое, кортеж, множество, `Logic`.
 - **Граф термов** — зависимости: конституента ссылается на другую в формальном определении.
 ## Классификация понятий КС
 - **Неопределяемое понятие** — конституента, вводимая конвенцией (и при необходимости аксиомами), а не формальным определением. В родоструктурной экспликации: `X#`, `C#`, `S#`. Смысл задают `convention`, интерпретация и аксиомы.
-- **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации неопределяемых понятий.
+- **Производное понятие** — конституента с формальным определением на ЯРЭ: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации неопределяемых понятий.
 - **Ядро КС** — неопределяемые понятия, аксиомы и производные понятия, необходимые для их формулировки.
 - **Тело КС** — остальные конституенты схемы, не входящие в ядро.
-- **Конвенция** — текстовое соглашение о том, как неопределяемое понятие соотносится с сущностями предметной области. В данных схемы хранится в поле `convention` конституенты. Конвенция не заменяет формальное определение и не проходит формальную проверку RSLang. Она фиксирует предметный смысл, который нельзя вывести из формулы: что именно считается элементом множества, как читать компоненты кортежа, какой порядок в паре отношения, какие константы или операции подразумеваются. В конвенции используется предметный язык и термины, которые могут быть не выражены в концептуальной схеме.
+- **Конвенция** — текстовое соглашение о том, как неопределяемое понятие соотносится с сущностями предметной области. В данных схемы хранится в поле `convention` конституенты. Конвенция не заменяет формальное определение и не проходит формальную проверку ЯРЭ. Она фиксирует предметный смысл, который нельзя вывести из формулы: что именно считается элементом множества, как читать компоненты кортежа, какой порядок в паре отношения, какие константы или операции подразумеваются. В конвенции используется предметный язык и термины, которые могут быть не выражены в концептуальной схеме.
 - **Интерпретация** — соотнесение понятий КС с сущностями предметной области. В концептуальной модели задаётся значениями неопределяемых конституент и вычислением производных.
-- **Биективная переносимость** — независимость значения формального определения от биективной замены интерпретаций неопределяемых понятий. Для `X#` опирается на несравнимость элементов; анализатор RSLang отсекает формулы, нарушающие переносимость.
+- **Биективная переносимость** — независимость значения формального определения от биективной замены интерпретаций неопределяемых понятий. Для `X#` опирается на несравнимость элементов; анализатор ЯРЭ отсекает формулы, нарушающие переносимость.
 ## Конституенты
@@ -38,7 +38,7 @@
 | `A#`        | **Аксиома**: логическое требование к модели                                             |
 | `T#`        | **Высказывание**: логическое утверждение о модели                                       |
-`Z` — встроенная ступень целых в RSLang, **не конституента**. Для выбора между `X#`, `C#` и `Z` — [BASE-SELECTION.md](BASE-SELECTION.md).
+`Z` — встроенная ступень целых в ЯРЭ, **не конституента**. Для выбора между `X#`, `C#` и `Z` — [BASE-SELECTION.md](BASE-SELECTION.md).
 `R#` — **радикал**, шаблонная ступень в доменах параметров `F#` / `P#`. Это тоже **не конституента**: в схеме нет записи с `alias` `R1`, `R2`, … и добавлять её не нужно ([SYNTAX.md](SYNTAX.md), раздел «Радикалы»).

package/docs/PORTAL-API.md CHANGED Viewed

@@ -202,7 +202,7 @@ curl.exe -s "https://api.portal.acconcept.ru/api/rsforms/856/details"
 | `crucial`             | обычно не переносить     | UI/Portal-флаг                                        |
 | `value_is_property`   | обычно не переносить     | Переопределение класса интерпретируемости             |
-`inheritance`, `attribution`, `oss`, `models`, `versions`, `editors` полезны для контекста Portal, но не нужны для базовой проверки RSLang в `rstool`.
+`inheritance`, `attribution`, `oss`, `models`, `versions`, `editors` полезны для контекста Portal, но не нужны для базовой проверки ЯРЭ в `rstool`.
 ## Как перенести КС в rstool
@@ -265,7 +265,7 @@ tool.applySchemaPatch(
 **до** следующего шага пайплайна (например вызова `npx tsx`), скрипт оборвётся и артефакт
 не обновится.
-- **Запись JSON** — всегда UTF-8; для RSLang-символов в формулах не экранируй Unicode в JSON:
+- **Запись JSON** — всегда UTF-8; для символов ЯРЭ в формулах не экранируй Unicode в JSON:
 ```python
 path.write_text(json.dumps(payload, ensure_ascii=False, indent=2), encoding='utf-8')

package/docs/README.md CHANGED Viewed

@@ -2,18 +2,18 @@
 Краткая справка для агентов.
-**Воркфлоу и чеклисты** — в `../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** — синтаксис RSLang: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.
+- **SYNTAX.md** — синтаксис ЯРЭ: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.
 - **TYPIFICATION.md** — типизация (`AnalysisResult.type`, `valueClass`).
 - **MODEL-TESTING.md** — проверка семантики определений на маленьких концептуальных моделях.
 - **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/docs/SYNTAX.md CHANGED Viewed

@@ -1,4 +1,4 @@
-# Синтаксис RSLang
+# Синтаксис ЯРЭ
 Единая справка для агента: читай при построении или исправлении `definitionFormal`. Типизация — `TYPIFICATION.md`; ошибки — `DIAGNOSTICS.md`.

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.4.2",
+  "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,4 +1,21 @@
-# RSLang и rstool — примеры (контракт 2.1)
+# ЯРЭ и 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
@@ -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

@@ -1,8 +1,8 @@
-# RSLang и rstool
+# ЯРЭ и rstool
 Краткий входной гайд для агентов. Детали — в связанных документах.
-**RSLang** — формальная нотация концептуальных схем: понятия, отношения, операции, утверждения. Основа: принадлежность `x∈y`, теоретико-множественные и логические выражения, типизация.
+**ЯРЭ** (язык родоструктурной экспликации) — формальная нотация концептуальных схем: понятия, отношения, операции, утверждения. Основа: принадлежность `x∈y`, теоретико-множественные и логические выражения, типизация.
 **rstool** — API агента для сессий, редактирования схемы, анализа, диагностик, значений модели, вычисления, экспорта/импорта.
@@ -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,18 +65,18 @@ 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).
+- Синтаксис ЯРЭ: [../../docs/SYNTAX.md](../../docs/SYNTAX.md).
 - Типизация: [../../docs/TYPIFICATION.md](../../docs/TYPIFICATION.md).
 - Проверка определений на КМ: [../../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` диагностики и смысл простым языком;
+- что изменено в формальном определении (или почему правка не нужна);
+- повторная проверка: чисто / осталось.
+### Шаблон ответа: объяснение формулы
+- роль конституенты и термин;
+- формула как есть;
+- по шагам: что вычисляется / утверждается;
+- на какие понятия опирается; типизация.
 ### Язык ответа
@@ -166,7 +234,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 | `importData`                      | импорт данных                       |
 | session, `sessionId`              | сессия                              |
-Имена конституент (`X1`, `S2`, `D3`) и формулы RSLang — часть схемы, их приводи как есть; лучше вместе с термином: «терм `D3` (родитель)». Названия методов упоминай, только если пользователь спрашивает про rstool как инструмент.
+Имена конституент (`X1`, `S2`, `D3`) и формулы ЯРЭ — часть схемы, их приводи как есть; лучше вместе с термином: «терм `D3` (родитель)». Названия методов упоминай, только если пользователь спрашивает про rstool как инструмент.
 Словарь выше — про поля rstool. Для **понятий схемы** каноничный источник — [DOMAIN.md](../../docs/DOMAIN.md).
@@ -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,4 +1,6 @@
-# RSLang и rstool — справочник
+# ЯРЭ и rstool — справочник
+Контракт library / stdio / MCP для агентов. Воркфлоу — [GUIDE.md](GUIDE.md). Примеры — [EXAMPLES.md](EXAMPLES.md). Язык — `docs/*.md`.
 ## Контракт rstool
@@ -6,29 +8,59 @@
 - Версия контракта: `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: >-
-  RSLang, формальные определения и проектирование концептуальных схем для агентов. Читай 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` устанавливается как зависимость (анализатор и коды ошибок)