@rsconcept/rstool 1.1.0 → 1.2.0

package/docs/CONCEPTUAL-SCHEMA.md

@@ -30,9 +30,9 @@
 
 ## Базовые понятия
 
-`X#`, `C#`, и `S#` — это базовые понятия, их нельзя строить одно из другого и включать друг в друга как элементы или подмножества.
+`X#`, `C#`, и `S#` — это **базовые понятия** (см. [DOMAIN.md](DOMAIN.md)); их нельзя строить одно из другого и включать друг в друга как элементы или подмножества.
 Если такое возникает — значит есть скрытое отношение, его нужно явно оформить отдельной производной конституентой.
-Если базисные множества пересекаются по интерпретации или набор констант показывает какой-то атрибут — отсутствует нужное отношение, его надо ввести.
+Если интерпретации разных **базисных множеств** `X#` пересекаются или набор констант `C#` показывает атрибут, который должен быть отношением — отсутствует нужное отношение; введи `S#` или производное `D#` / `F#` / `P#`.
 
 Не вводи `S#` для отношения, которое предметно зависит от уже заданных структур и должно вычисляться из них. Такое отношение оформляй как `D#`, `F#` или `P#`. Если нужная операция не выражается текущим синтаксисом, фиксируй это как ограничение языка или модели, а не подменяй производное отношение новой независимой структурой.
 

package/docs/DIAGNOSTICS.md

@@ -24,7 +24,7 @@
 Класс выводится по битовым маскам кода (порядок проверки важен — см. `inferErrorClass`):
 
 | Маска    | Класс      | Префикс `getRSErrorPrefix` |
-| :------- | :--------- | :------------------------- |
+| -------- | ---------- | -------------------------- |
 | `0x0100` | EVALUATION | `E` + hex                  |
 | `0x0200` | LEXER      | `L` + hex                  |
 | `0x0400` | PARSER     | `P` + hex                  |
@@ -38,7 +38,7 @@
 ## Parser
 
 | Код      | Имя                        | `params`                  | Исправление                                                                           |
-| :------- | :------------------------- | :------------------------ | :------------------------------------------------------------------------------------ |
+| -------- | -------------------------- | ------------------------- | ------------------------------------------------------------------------------------- |
 | `0x8400` | `unknownSyntax`            | —                         | Неопределённая синтаксическая ошибка: проверь операторы, скобки, идентификаторы.      |
 | `0x8401` | `forbiddenCharacter`       | `[character]`             | Символ не входит в язык родов структур (напр. `^` для степени). Удали или замени его. |
 | `0x8409` | `bracketMismatch`          | `[expected, actual]`      | Закрой ожидаемой скобкой `expected` вместо `actual`.                                  |
@@ -52,9 +52,9 @@
 | `0x8419` | `expectedExpressionBody`   | —                         | Нужно теоретико-множественное тело функции (ТФ).                                      |
 | `0x841A` | `expectedLogicBody`        | —                         | Нужно логическое тело функции.                                                        |
 | `0x841B` | `expectedQuantifierBody`   | —                         | Нужно логическое тело после `∀(∃)…∈домен`.                                            |
-| `0x841C` | `expectedDeclarativeBody`  | —                         | Допиши декларативное `D{…∈… \| …}`.                                                   |
-| `0x841D` | `expectedImperativeBody`   | —                         | Допиши императивное `I{… \| …}`.                                                      |
-| `0x841E` | `expectedRecursiveBody`    | —                         | Допиши рекурсивное `R{…:=… \| … \| …}`.                                               |
+| `0x841C` | `expectedDeclarativeBody`  | —                         | Допиши декларативное `D{…∈…                                                           | …}`. |
+| `0x841D` | `expectedImperativeBody`   | —                         | Допиши императивное `I{…                                                              | …}`. |
+| `0x841E` | `expectedRecursiveBody`    | —                         | Допиши рекурсивное `R{…:=…                                                            | …    | …}`. |
 | `0x841F` | `expectedQuantifierDomain` | —                         | После переменной квантора нужны `∈` и домен.                                          |
 | `0x8420` | `expectedRightOperand`     | —                         | Нужен правый операнд после оператора.                                                 |
 | `0x8421` | `expectedUnaryOperand`     | —                         | Нужно выражение после `¬`.                                                            |
@@ -64,13 +64,13 @@
 ## Предупреждения
 
 | Код      | Имя            | `params` | Исправление                        |
-| :------- | :------------- | :------- | :--------------------------------- |
+| -------- | -------------- | -------- | ---------------------------------- |
 | `0x2802` | `localNotUsed` | `[name]` | Переменная `name` не используется. |
 
 ## Локальные переменные и область видимости
 
 | Код      | Имя                          | `params`         | Исправление                                                                                   |
-| :------- | :--------------------------- | :--------------- | :-------------------------------------------------------------------------------------------- |
+| -------- | ---------------------------- | ---------------- | --------------------------------------------------------------------------------------------- |
 | `0x8801` | `localUndeclared`            | `[name]`         | Свяжи `name` квантором или объяви параметром.                                                 |
 | `0x8802` | `localShadowing`             | `[name]`         | Переименуй внутреннюю переменную `name`.                                                      |
 | `0x8803` | `localDoubleDeclare`         | `[name]`         | Идентификатор `name` уже объявлен в выражении — переименуй одну из переменных.                |
@@ -81,7 +81,7 @@
 ## Типизация и структура
 
 | Код      | Имя                                | `params`                           | Исправление                                                                                                                  |
-| :------- | :--------------------------------- | :--------------------------------- | :--------------------------------------------------------------------------------------------------------------------------- |
+| -------- | ---------------------------------- | ---------------------------------- | ---------------------------------------------------------------------------------------------------------------------------- |
 | `0x880A` | `typesNotEqual`                    | `[a, b, operator]`                 | Операнды `operator` должны иметь равный тип (`a` ≠ `b`).                                                                     |
 | `0x8825` | `typesNotCompatible`               | `[a, b, operator]`                 | Типы `a` и `b` несовместимы для `operator`.                                                                                  |
 | `0x8804` | `globalNotTyped`                   | `[name]`                           | Поставщик `name` не типизирован: добавь и проанализируй его раньше.                                                          |
@@ -115,7 +115,7 @@
 ## Фильтр `Fi`
 
 | Код      | Имя                           | `params`                             | Исправление                                                                           |
-| :------- | :---------------------------- | :----------------------------------- | :------------------------------------------------------------------------------------ |
+| -------- | ----------------------------- | ------------------------------------ | ------------------------------------------------------------------------------------- |
 | `0x8822` | `invalidFilterArgumentType`   | `[operator, actual, expected]`       | Аргумент `Fi` имеет тип `actual`, ожидался `expected` (обычно `ℬ(…)`).                |
 | `0x8823` | `invalidFilterArity`          | `[indexCount, paramCount, operator]` | Число индексов `indexCount` ≠ числу параметров `paramCount` у `operator`.             |
 | `0x882B` | `invalidFilterParameterType`  | `[param, expected, operator]`        | Тип параметра `param` не совпадает с компонентом аргумента `expected` для `operator`. |
@@ -125,7 +125,7 @@
 ## Значение и схема
 
 | Код      | Имя                    | `params`           | Исправление                                                                                               |
-| :------- | :--------------------- | :----------------- | :-------------------------------------------------------------------------------------------------------- |
+| -------- | ---------------------- | ------------------ | --------------------------------------------------------------------------------------------------------- |
 | `0x8840` | `globalNoValue`        | `[name]`           | Идентификатор `name` невычислим в модели.                                                                 |
 | `0x8841` | `invalidPropertyUsage` | —                  | `Property` - множество использовано как вычислимое значение.                                              |
 | `0x8861` | `cstEmptyDerived`      | —                  | У выводимой конституенты пустая формула.                                                                  |
@@ -134,7 +134,7 @@
 ## Вычисление КМ
 
 | Код      | Имя                       | `params`           | Исправление                                                            |
-| :------- | :------------------------ | :----------------- | :--------------------------------------------------------------------- |
+| -------- | ------------------------- | ------------------ | ---------------------------------------------------------------------- |
 | `0x8100` | `calcUnknownError`        | —                  | Непредвиденная ошибка вычисления.                                      |
 | `0x8101` | `setOverflow`             | `[limit]`          | Превышен предел числа элементов `limit`: упрости выражение или данные. |
 | `0x8102` | `booleanBaseLimit`        | `[limit]`          | Превышен предел базы степенного множества `limit`.                     |

package/docs/DOMAIN.md

@@ -18,6 +18,18 @@
 - **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации базовых понятий.
 - **Ядро КС** — базовые понятия, аксиомы и производные понятия, необходимые для их формулировки.
 - **Тело КС** — остальные конституенты схемы, не входящие в ядро.
+
+### Термины: не путать (для агентов)
+
+В ответах пользователю и в конвенциях КС используй только термины из этого файла. Не вводи собственные ярлыки («базис», «базисный слой», «каркас схемы») — они не закреплены в Portal и размывают различия ниже.
+
+| Не используй                                            | Используй                                                                            | Почему                                          |
+| :------------------------------------------------------ | :----------------------------------------------------------------------------------- | :---------------------------------------------- |
+| «базис», «базисный слой», «первый слой» (без уточнения) | **неопределяемые понятия** — `X#`, `C#`, `S#`                                        | Общий термин для всего неопределяемого слоя     |
+| «базис» / «базисное» про `C#` или `S#`                  | **константное множество** (`C#`), **родовая структура** (`S#`)                       | **Базисное множество** — только про `X#`        |
+| «базисные множества» как синоним базовых понятий        | **базисные множества** — только несколько `X#`; для всего слоя — **базовые понятия** | `C#` и `S#` базисными множествами не называются |
+| «ядро» = «базовые понятия»                              | **ядро КС** — базовые понятия плюс аксиомы и производные, нужные для аксиом          | Ядро шире, чем только `X#` / `C#` / `S#`        |
+
 - **Конвенция** — текстовое соглашение о том, как неопределяемое понятие соотносится с сущностями предметной области. В данных схемы хранится в поле `convention` конституенты. Конвенция не заменяет формальное определение и не проходит формальную проверку RSLang. Она фиксирует предметный смысл, который нельзя вывести из формулы: что именно считается элементом множества, как читать компоненты кортежа, какой порядок в паре отношения, какие константы или операции подразумеваются. В конвенции используется предметный язык и термины, которые могут быть не выражены в концептуальной схеме.
 - **Интерпретация** — соотнесение понятий КС с сущностями предметной области. В концептуальной модели задаётся значениями неопределяемых конституент и вычислением производных.
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.1.0",
+  "version": "1.2.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",
@@ -51,7 +51,7 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@rsconcept/domain": "1.7.7"
+    "@rsconcept/domain": "1.8.1"
   },
   "devDependencies": {
     "@types/node": "^26.1.0",

package/skills/rstool-helper/GUIDE.md

@@ -123,11 +123,47 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 - что изменено в схеме или модели;
 - есть ли активные диагностики;
-- какой экспорт получен: session / Portal schema / Portal model;
-- какие проверки выполнены: analyze / evaluate / recalculate / tests.
+- какой экспорт получен: сессия / схема для Portal / модель для Portal;
+- какие проверки выполнены: анализ выражений / вычисление / пересчёт модели / тесты.
 
 Не вставляй большой JSON в чат без запроса пользователя.
 
+### Язык ответа
+
+С пользователем говори на языке предметной области, а не контракта API. Английские идентификаторы (`definitionFormal`, `applySchemaPatch`, `cstType`...) уместны только в коде, patch-ах, JSON и при обсуждении самого API. В обычном тексте заменяй их терминами (полный словарь — [DOMAIN.md](../../docs/DOMAIN.md)):
+
+| В API                             | В тексте ответа                     |
+| :-------------------------------- | :---------------------------------- |
+| `alias`                           | имя конституенты                    |
+| `cstType`                         | тип конституенты                    |
+| `definitionFormal`                | формальное определение (формула)    |
+| `term`                            | термин                              |
+| `definitionText`                  | текстовое определение               |
+| `convention`                      | конвенция                           |
+| `comment`                         | комментарий                         |
+| `applySchemaPatch`                | правка схемы                        |
+| `analyzeExpression`               | проверка / анализ выражения         |
+| `listDiagnostics`, `diagnostics`  | диагностики                         |
+| `setModelValues`, `getModelState` | интерпретация, значения модели      |
+| `evaluate`, `recalculateModel`    | вычисление, пересчёт модели         |
+| `commitStep`, `commitMessage`     | фиксация шага (ревизия)             |
+| `exportSession` / `exportPortal`  | экспорт сессии / экспорт для Portal |
+| `importData`                      | импорт данных                       |
+| session, `sessionId`              | сессия                              |
+
+Имена конституент (`X1`, `S2`, `D3`) и формулы RSLang — часть схемы, их приводи как есть; лучше вместе с термином: «терм `D3` (родитель)». Названия методов упоминай, только если пользователь спрашивает про rstool как инструмент.
+
+### Термины КС
+
+Словарь выше — про поля rstool. Для **понятий схемы** каноничный источник — [DOMAIN.md](../../docs/DOMAIN.md).
+
+| Не пиши пользователю         | Пиши                                                          |
+| :--------------------------- | :------------------------------------------------------------ |
+| «базис», «базисный слой»     | **базовые понятия** (`X#`, `C#`, `S#`) или перечисли типы     |
+| «базисное» про `S1`          | **родовая структура** `S1`                                    |
+| «базовое« множество про `X1` | **базисное множество** `X1`                                   |
+| «ядро» без уточнения         | **ядро КС** (если речь именно о ядре) или **базовые понятия** |
+
 ## Чеклисты
 
 ### Сессия и rstool
@@ -139,7 +175,9 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 ### Перед показом, commit и export
 
 - [ ] Схема проверена; ошибки исправлены.
-- [ ] Диагностики обработаны до `commitStep` и экспорта.
+- [ ] Диагностики обработаны до фиксации шага и экспорта.
+- [ ] В тексте ответа нет английских имён полей и методов API — использованы термины из раздела [Язык ответа](#язык-ответа).
+- [ ] Нет неофициальных ярлыков («базис», «базисный слой») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md).
 
 ### Ревью концептуальной схемы
 

package/skills/rstool-helper/SKILL.md

@@ -1,36 +1,40 @@
 ---
 name: rstool-helper
 description: >-
-  RS language, formal definitions and conceptual schema design for agents. Read GUIDE and docs from node_modules.
+  RSLang, формальные определения и проектирование концептуальных схем для агентов. Читай GUIDE и docs из node_modules.
 ---
 
 # rstool-helper
 
-Thin **entry** skill. Full guide and docs stay in the package — use the Read tool on the paths below (from the project root).
+Тонкий **входной** skill. Полный гайд и документация остаются в пакете — читай через Read tool по путям ниже (от корня проекта).
 
-## If the entry skill is not installed yet
+## Если входной skill ещё не установлен
 
-The user ran `npm install @rsconcept/rstool` but has not registered the agent skill in the project. **Run the install procedure** in:
+Пользователь выполнил `npm install @rsconcept/rstool`, но не зарегистрировал agent skill в проекте. **Выполни процедуру установки** из:
 
 `node_modules/@rsconcept/rstool/skills/INSTALL.md`
 
-Then continue with the canonical files below.
+Затем продолжай с каноническими файлами ниже.
 
-## Canonical files (read before rstool work)
+## Канонические файлы (читать перед работой с rstool)
 
-- **Start here** — воркфлоу и чеклисты: `node_modules/@rsconcept/rstool/skills/rstool-helper/GUIDE.md`
+- **Начни здесь** — воркфлоу и чеклисты: `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`
-- Language / domain docs: `node_modules/@rsconcept/rstool/docs/*.md`
-- Install procedure: `node_modules/@rsconcept/rstool/skills/INSTALL.md`
+- Язык и предметная область: `node_modules/@rsconcept/rstool/docs/*.md`
+- Процедура установки: `node_modules/@rsconcept/rstool/skills/INSTALL.md`
 
-Always open **GUIDE.md** first when starting a rstool task, then **REFERENCE.md** / **EXAMPLES.md** / relevant `docs/*.md` as needed.
+Перед началом задачи rstool всегда открывай **GUIDE.md**, затем по необходимости **REFERENCE.md** / **EXAMPLES.md** / нужные `docs/*.md`.
+
+## Язык ответа пользователю
+
+В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (базовые понятия, базисное множество, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**.
 
 ## Portal (приложение)
 
 REST API и curl — `node_modules/@rsconcept/rstool/docs/PORTAL-API.md`.
 
-## Quick facts
+## Кратко
 
-- Package: `@rsconcept/rstool`; wrapper: `npx rstool-wrapper`
-- `@rsconcept/domain` is installed as a dependency (analyzer and error codes)
+- Пакет: `@rsconcept/rstool`; обёртка: `npx rstool-wrapper`
+- `@rsconcept/domain` устанавливается как зависимость (анализатор и коды ошибок)