@rsconcept/rstool 1.1.1 → 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.1",
+  "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

@@ -153,6 +153,17 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 Имена конституент (`X1`, `S2`, `D3`) и формулы RSLang — часть схемы, их приводи как есть; лучше вместе с термином: «терм `D3` (родитель)». Названия методов упоминай, только если пользователь спрашивает про rstool как инструмент.
 
+### Термины КС
+
+Словарь выше — про поля rstool. Для **понятий схемы** каноничный источник — [DOMAIN.md](../../docs/DOMAIN.md).
+
+| Не пиши пользователю         | Пиши                                                          |
+| :--------------------------- | :------------------------------------------------------------ |
+| «базис», «базисный слой»     | **базовые понятия** (`X#`, `C#`, `S#`) или перечисли типы     |
+| «базисное» про `S1`          | **родовая структура** `S1`                                    |
+| «базовое« множество про `X1` | **базисное множество** `X1`                                   |
+| «ядро» без уточнения         | **ядро КС** (если речь именно о ядре) или **базовые понятия** |
+
 ## Чеклисты
 
 ### Сессия и rstool
@@ -166,6 +177,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 - [ ] Схема проверена; ошибки исправлены.
 - [ ] Диагностики обработаны до фиксации шага и экспорта.
 - [ ] В тексте ответа нет английских имён полей и методов API — использованы термины из раздела [Язык ответа](#язык-ответа).
+- [ ] Нет неофициальных ярлыков («базис», «базисный слой») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md).
 
 ### Ревью концептуальной схемы
 

package/skills/rstool-helper/SKILL.md

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