@rsconcept/rstool 1.1.1 → 1.2.1

package/docs/CONCEPTUAL-SCHEMA.md

@@ -28,11 +28,11 @@
 
 Правило: не смешивай атрибутивную и родоструктурную экспликацию без явного запроса.
 
-## Базовые понятия
+## Неопределяемые понятия
 
-`X#`, `C#`, и `S#` — это базовые понятия, их нельзя строить одно из другого и включать друг в друга как элементы или подмножества.
+`X#`, `C#`, и `S#` — это **неопределяемые понятия** (см. [DOMAIN.md](DOMAIN.md)); их нельзя строить одно из другого и включать друг в друга как элементы или подмножества.
 Если такое возникает — значит есть скрытое отношение, его нужно явно оформить отдельной производной конституентой.
-Если базисные множества пересекаются по интерпретации или набор констант показывает какой-то атрибут — отсутствует нужное отношение, его надо ввести.
+Если интерпретации разных **базисных множеств** `X#` пересекаются или набор констант `C#` показывает атрибут, который должен быть отношением — отсутствует нужное отношение; введи `S#` или производное `D#` / `F#` / `P#`.
 
 Не вводи `S#` для отношения, которое предметно зависит от уже заданных структур и должно вычисляться из них. Такое отношение оформляй как `D#`, `F#` или `P#`. Если нужная операция не выражается текущим синтаксисом, фиксируй это как ограничение языка или модели, а не подменяй производное отношение новой независимой структурой.
 
@@ -50,7 +50,7 @@
 
 ## Разворачивание понятий
 
-При концептуализации вводи понятия по зависимостям: базовые (`X#`, `C#`, независимые `S#`), аксиомы `A#`, затем производные `D#` / `P#` / `A#`. Каждый шаг опирается только на уже введённые конституенты.
+При концептуализации вводи понятия по зависимостям: неопределяемые (`X#`, `C#`, независимые `S#`), аксиомы `A#`, затем производные `D#` / `P#` / `A#`. Каждый шаг опирается только на уже введённые конституенты.
 
 Не обязательно сводить схему к одному «центральному» отношению. Зачастую нужны разные понятия на пересечении нескольких аспектов — структур, ролей, ограничений, сценариев. Каждый аспект может дать свои `S#` и `F#`; производные термы выражают их сочетания.
 

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`.                                  |
@@ -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

@@ -14,9 +14,9 @@
 
 ## Классификация понятий КС
 
-- **Базовое (неопределяемое) понятие** — конституента, вводимая конвенцией (и при необходимости аксиомами), а не формальным определением. В родоструктурной экспликации: `X#`, `C#`, `S#`. Смысл задают `convention`, интерпретация и аксиомы.
-- **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации базовых понятий.
-- **Ядро КС** — базовые понятия, аксиомы и производные понятия, необходимые для их формулировки.
+- **Неопределяемое понятие** — конституента, вводимая конвенцией (и при необходимости аксиомами), а не формальным определением. В родоструктурной экспликации: `X#`, `C#`, `S#`. Смысл задают `convention`, интерпретация и аксиомы.
+- **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации неопределяемых понятий.
+- **Ядро КС** — неопределяемые понятия, аксиомы и производные понятия, необходимые для их формулировки.
 - **Тело КС** — остальные конституенты схемы, не входящие в ядро.
 - **Конвенция** — текстовое соглашение о том, как неопределяемое понятие соотносится с сущностями предметной области. В данных схемы хранится в поле `convention` конституенты. Конвенция не заменяет формальное определение и не проходит формальную проверку RSLang. Она фиксирует предметный смысл, который нельзя вывести из формулы: что именно считается элементом множества, как читать компоненты кортежа, какой порядок в паре отношения, какие константы или операции подразумеваются. В конвенции используется предметный язык и термины, которые могут быть не выражены в концептуальной схеме.
 - **Интерпретация** — соотнесение понятий КС с сущностями предметной области. В концептуальной модели задаётся значениями неопределяемых конституент и вычислением производных.
@@ -40,24 +40,6 @@
 
 Не путай `S#` и `D#`: `S1: ℬ(X1×X1)` — интерпретируемое отношение из пар; `D1 := X1×X1` — декартово произведение.
 
-## Статусы выражений
-
-- `Unknown` — не проверено.
-- `OK` — корректно.
-- `Error` — ошибка в определении.
-- `Property` — неразмерное: доступна только проверка принадлежности.
-- `Incalculable` — невычислимо напрямую.
-
-## Статусы вычисления в модели
-
-- `NO_EVAL` — нечего вычислять.
-- `NOT_PROCESSED` — вычисление не запускалось.
-- `INVALID_DATA` — неверная интерпретация.
-- `EVAL_FAIL` — ошибка вычисления.
-- `AXIOM_FALSE` — аксиома ложна.
-- `EMPTY` — результат пуст.
-- `HAS_DATA` — результат вычислен и непустой.
-
 ## Зависимости
 
 - **Поставщики** — конституенты, на которые ссылается текущая.
@@ -75,3 +57,33 @@
 - **Сквозные изменения** идут от исходной конституенты к наследникам.
 - **Ромбовидный синтез** использует КС с общими предками; чаще требует ручного отождествления дублей.
 - **Концептуальный блок** — группа схем внутри предметной области.
+
+### Термины: не путать (для агентов)
+
+В ответах пользователю и в конвенциях КС используй только термины из этого файла. Не вводи собственные ярлыки («базис», «базисный слой», «каркас схемы») — они не закреплены в Portal и размывают различия ниже.
+
+| Не используй                                            | Используй                                                                                   | Почему                                                   |
+| :------------------------------------------------------ | :------------------------------------------------------------------------------------------ | :------------------------------------------------------- |
+| «базис», «базисный слой», «первый слой» (без уточнения) | **неопределяемые понятия** — `X#`, `C#`, `S#`                                               | Общий термин для всего неопределяемого слоя              |
+| «базис» / «базисное» про `C#` или `S#`                  | **константное множество** (`C#`), **родовая структура** (`S#`)                              | **Базисное множество** — только про `X#`                 |
+| «базисные множества» как синоним неопределяемых понятий | **базисные множества** — только несколько `X#`; для всего слоя — **неопределяемые понятия** | `C#` и `S#` базисными множествами не называются          |
+| «ядро» = неопределяемые понятия»                        | **ядро КС** — неопределяемые понятия плюс аксиомы и производные, нужные для аксиом          | Ядро шире, чем только `X#` / `C#` / `S#`                 |
+| теорема про `T#`                                        | **высказывание** — производное логическое выражение `T#`                                    | тип теорема на Portal отсутствует и вводит в заблуждение |
+
+## Статусы выражений
+
+- `Unknown` — не проверено.
+- `OK` — корректно.
+- `Error` — ошибка в определении.
+- `Property` — неразмерное: доступна только проверка принадлежности.
+- `Incalculable` — невычислимо напрямую.
+
+## Статусы вычисления в модели
+
+- `NO_EVAL` — нечего вычислять.
+- `NOT_PROCESSED` — вычисление не запускалось.
+- `INVALID_DATA` — неверная интерпретация.
+- `EVAL_FAIL` — ошибка вычисления.
+- `AXIOM_FALSE` — аксиома ложна.
+- `EMPTY` — результат пуст.
+- `HAS_DATA` — результат вычислен и непустой.

package/docs/README.md

@@ -6,7 +6,7 @@
 
 ## Какой файл читать
 
-- **DOMAIN.md** — термины Portal: конституента, базовые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
+- **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
 - **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем.
 - **CONSTITUENTA.md** — структура и правила конституент.
 - **SYNTAX.md** — синтаксис RSLang: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.1.1",
+  "version": "1.2.1",
   "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

@@ -71,11 +71,11 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
-1. Собери словарь: базовые понятия, ключевые отношения, сценарий синтеза.
+1. Собери словарь: неопределяемые понятия, ключевые отношения, сценарий синтеза.
 2. Добавь неопределяемые понятия `X#`, `C#`, `S#` с конвенциями из источника (не копируй дословно).
-3. Проверь независимость базовых понятий — они не выводятся друг из друга.
+3. Проверь независимость неопределяемых понятий — они не выводятся друг из друга.
    Если отношение или множество выражается через уже введенные `X#`, `C#`, `S#`, оформляй его как `D#` / `F#` / `P#`.
-4. Введи `F#` и `D#` для раскрытия проекций и функциональных связей в базовых понятиях.
+4. Введи `F#` и `D#` для раскрытия проекций и функциональных связей в неопределяемых понятиях.
 5. Добавь `A#` на структуры, выражающие ограничения предметной области. Возможно стоит ввести промежуточные производные термы и терм-функции.
 6. Подбери промежуточные производные понятия `D#`, `F#`, `P#` так, чтобы выразить целевые понятия без использования не введенных в схеме понятий.
 7. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
@@ -153,6 +153,8 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 Имена конституент (`X1`, `S2`, `D3`) и формулы RSLang — часть схемы, их приводи как есть; лучше вместе с термином: «терм `D3` (родитель)». Названия методов упоминай, только если пользователь спрашивает про rstool как инструмент.
 
+Словарь выше — про поля rstool. Для **понятий схемы** каноничный источник — [DOMAIN.md](../../docs/DOMAIN.md).
+
 ## Чеклисты
 
 ### Сессия и rstool
@@ -166,6 +168,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 - [ ] Схема проверена; ошибки исправлены.
 - [ ] Диагностики обработаны до фиксации шага и экспорта.
 - [ ] В тексте ответа нет английских имён полей и методов API — использованы термины из раздела [Язык ответа](#язык-ответа).
+- [ ] Нет неофициальных ярлыков («базис», «базисный слой») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md).
 
 ### Ревью концептуальной схемы
 
@@ -173,7 +176,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 - [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
 - [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
-- [ ] Базовые понятия и `S#` независимы; вычислимые отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
+- [ ] Неопределяемые понятия независимы; производные отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
 - [ ] Покрыты главные сущности, роли, отношения, утверждения.
 - [ ] В текстовых определениях используются только понятия из схемы.
 - [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.

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 (приложение)