@rsconcept/rstool 1.4.1 → 1.4.3

package/docs/BASE-SELECTION.md

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

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

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

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

@@ -10,7 +10,7 @@
 - **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** — диагностики анализа и способы исправления ошибок.

package/docs/SYNTAX.md

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

package/examples/README.md

@@ -2,6 +2,8 @@
 
 Полные исполняемые сценарии поверх `RSToolWrapperClient` (stdio-обёртка) и готовые JSON-сессии для импорта. Короткие фрагменты кода для агентов — в [`../skills/rstool-helper/EXAMPLES.md`](../skills/rstool-helper/EXAMPLES.md); воркфлоу — [`../skills/rstool-helper/GUIDE.md`](../skills/rstool-helper/GUIDE.md).
 
+**Агентам:** не добавляйте сюда разовые `build-*.ts` и папки по текущей задаче пользователя. Артефакты и скрипты — вне `rsconcept/rstool/` (см. «Границы правок» в GUIDE). В `examples/` — только сопровождаемые демо пакета.
+
 ## Как запускать
 
 После `npm install @rsconcept/rstool` (нужен `tsx` или аналог):

package/package.json

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

package/skills/rstool-helper/EXAMPLES.md

@@ -1,4 +1,4 @@
-# RSLang и rstool — примеры (контракт 2.1)
+# ЯРЭ и rstool — примеры
 
 ## Схема: batch patch
 

package/skills/rstool-helper/GUIDE.md

@@ -1,8 +1,8 @@
-# RSLang и rstool
+# ЯРЭ и rstool
 
 Краткий входной гайд для агентов. Детали — в связанных документах.
 
-**RSLang** — формальная нотация концептуальных схем: понятия, отношения, операции, утверждения. Основа: принадлежность `x∈y`, теоретико-множественные и логические выражения, типизация.
+**ЯРЭ** (язык родоструктурной экспликации) — формальная нотация концептуальных схем: понятия, отношения, операции, утверждения. Основа: принадлежность `x∈y`, теоретико-множественные и логические выражения, типизация.
 
 **rstool** — API агента для сессий, редактирования схемы, анализа, диагностик, значений модели, вычисления, экспорта/импорта.
 
@@ -20,6 +20,27 @@
 - Модель: `setModelValues`, `evaluate`, `recalculateModel`.
 - Перед сохранением сомнительной формулы — `analyzeExpression`.
 
+## Границы правок: не трогай пакет rstool без запроса
+
+Задача по КС, Portal или источнику пользователя **не означает** правку дерева `rsconcept/rstool/`.
+Пакет — библиотека и справочник; каталог `examples/` — **штатные** демо пакета, а не место для разовых скриптов агента.
+
+Правки в rstool уместны только если пользователь **явно** просит, например:
+
+- доработать API, stdio, контракт, тесты rstool;
+- добавить **общий** пример в пакет;
+- обновить skill/docs rstool (в т.ч. это руководство).
+
+### Как запускать rstool, не кладя скрипт в пакет
+
+Из корня workspace Portal (после `pnpm install` и сборки `@rsconcept/domain`):
+
+```bash
+pnpm --filter @rsconcept/rstool exec tsx path/to/your/build-schema.ts
+```
+
+В скрипте импортируй API пакета (`@rsconcept/rstool` или относительный путь к `rsconcept/rstool/src` только если скрипт лежит вне пакета и это осознанный выбор). Либо используй stdio/MCP без отдельного файла.
+
 ## Что читать
 
 Пути — относительно этого файла.
@@ -30,7 +51,7 @@
 - **`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).
@@ -145,7 +166,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).
 

package/skills/rstool-helper/REFERENCE.md

@@ -1,4 +1,4 @@
-# RSLang и rstool — справочник
+# ЯРЭ и rstool — справочник
 
 ## Контракт rstool
 

package/skills/rstool-helper/SKILL.md

@@ -1,7 +1,7 @@
 ---
 name: rstool-helper
 description: >-
-  RSLang, формальные определения и проектирование концептуальных схем для агентов. Читай GUIDE и docs из node_modules.
+  ЯРЭ (язык родоструктурной экспликации), формальные определения и проектирование концептуальных схем для агентов. Читай GUIDE и docs из node_modules.
 ---
 
 # rstool-helper
@@ -26,6 +26,10 @@ description: >-
 
 Перед началом задачи rstool всегда открывай **GUIDE.md**, затем по необходимости **REFERENCE.md** / **EXAMPLES.md** / нужные `docs/*.md`.
 
+## Не правь пакет rstool без запроса
+
+Разовые скрипты и JSON для Portal — вне дерева пакета (каталог задачи, `.tmp/`, путь пользователя). См. **«Границы правок»** в GUIDE.md.
+
 ## Язык ответа пользователю
 
 В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (базовые понятия, базисное множество, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**.