@rsconcept/rstool 1.0.3 → 1.1.0

package/README.md

@@ -52,9 +52,7 @@ Or run it as a child process from your own code:
 ```ts
 import { RSToolWrapperClient } from '@rsconcept/rstool/wrapper';
 
-// Default is for checkout/dev use: `npm run wrapper` in the current cwd.
-// For an installed package, pass { command: 'npx', args: ['rstool-wrapper'] }.
-const client = new RSToolWrapperClient();
+const client = new RSToolWrapperClient({ command: 'npx', args: ['rstool-wrapper'] });
 await client.waitUntilReady();
 const session = await client.call<{ sessionId: string }>('createSession');
 await client.close();
@@ -71,17 +69,6 @@ await client.close();
 
 Maintainers: see [PUBLISHING.md](./PUBLISHING.md) for npm release steps.
 
-## Repo scripts
-
-From `rsconcept/rstool` (or run `powershell -File scripts/dev/LocalDevSetup.ps1` from the repo root on Windows):
-
-- `npm install` / `npm ci`
-- `npm run typecheck`
-- `npm test`
-- `npm run build` — produce `dist/` via tsdown
-- `npm run wrapper` — dev stdio wrapper via `tsx`
-- `npm run example:client`, `npm run example:build-schema`, `npm run example:build-rsmodel` — полный список `example:*` и `kinship:cli` в [`examples/README.md`](examples/README.md)
-
 ## Stdio protocol
 
 - Input: one JSON request per line.
@@ -164,7 +151,7 @@ Response:
 Run:
 
 ```bash
-npm run example:client
+npx tsx node_modules/@rsconcept/rstool/examples/agent-client.ts
 ```
 
 File: [`examples/agent-client.ts`](examples/agent-client.ts)

package/docs/CONCEPTUAL-SCHEMA.md

@@ -9,7 +9,7 @@
 - Добавляй конституенту, если есть новый критерий выбора, роль, отношение, инвариант или правило.
 - Если одно различие постоянно переформулируется, выдели отдельную конституенту.
 - Не копируй источник дословно. Строй предметную модель.
-- Разработка КС ведется итеративно - вводи понятия, экспликцируй определения, формируй новый понтия, исследуй предметную область.
+- Разработка КС ведется итеративно - вводи понятия, эксплицируй определения, формируй новый понтия, исследуй предметную область.
 
 ## Предметная редукция
 
@@ -34,10 +34,11 @@
 Если такое возникает — значит есть скрытое отношение, его нужно явно оформить отдельной производной конституентой.
 Если базисные множества пересекаются по интерпретации или набор констант показывает какой-то атрибут — отсутствует нужное отношение, его надо ввести.
 
+Не вводи `S#` для отношения, которое предметно зависит от уже заданных структур и должно вычисляться из них. Такое отношение оформляй как `D#`, `F#` или `P#`. Если нужная операция не выражается текущим синтаксисом, фиксируй это как ограничение языка или модели, а не подменяй производное отношение новой независимой структурой.
+
 ## Родовые структуры
 
 `S#` — родовая структура. `definitionFormal` задает типизацию; смысл задают `convention`, интерпретация, аксиомы.
-
 Паттерн отношения:
 
 1. `X1` — базисное множество.
@@ -47,36 +48,15 @@
 
 Повторяется `Pr2(Fi1[...](...))` или похожая цепочка -> введи промежуточный `D#` или `F#`.
 
-## Relation-first
-
-Используй, когда нужно объединить несколько КС или в термах повторяются длинные цепочки `∃d1…∃dn`.
-
-Строй слоями; слой ссылается только на предыдущие:
-
-| Слой | Роль                  | Ввод                                                                           |
-| :--- | :-------------------- | :----------------------------------------------------------------------------- |
-| 1    | Базисные множества    | `X#`, `C#`; пустой `definitionFormal`, смысл в `convention` / `definitionText` |
-| 2    | Структуры             | `S#`; типизация `ℬ(…×…)`, конвенция кортежа                                    |
-| 3    | Инварианты            | `A#`; короткие ограничения, чаще через `card`                                  |
-| 4    | Доступ                | `F#`; локальный API вида `[α∈…] Pr*(Fi*[…](S#))`                               |
-| 5    | Центральное отношение | один `D#` или `S#`, задающий полную траекторию синтеза                         |
-| 6    | Витрина               | `D#` через `Pr*`, `Fi*`, `card`, `red`; узкие `F#` для аналитики               |
+## Разворачивание понятий
 
-## Центральное отношение
-
-Единый сценарий фиксируй одним объектом:
-
-```text
-D13 ::= I{(α, ξ1, τ, ξ2, β1, β2, ρ, ξ3) |
-  α∈S6; ξ1∈X2; τ∈F7[α,ξ1]; …; ξ3∈S3
-}
-```
+При концептуализации вводи понятия по зависимостям: базовые (`X#`, `C#`, независимые `S#`), аксиомы `A#`, затем производные `D#` / `P#` / `A#`. Каждый шаг опирается только на уже введённые конституенты.
 
-Имена и арность зависят от предметной области. Важна форма: кортеж + ограничения через уже введенные `F#` и `S#`.
+Не обязательно сводить схему к одному «центральному» отношению. Зачастую нужны разные понятия на пересечении нескольких аспектов — структур, ролей, ограничений, сценариев. Каждый аспект может дать свои `S#` и `F#`; производные термы выражают их сочетания.
 
-Части кортежа называй через `D# := Pr#(D13)`.
+Если один сценарий естественно задаётся кортежем с ограничениями через уже введённые `F#` и `S#`, оформи его как `D#` или независимый `S#`; части кортежа именуй через `D# := Pr#(…)`.
 
-## Инварианты
+## Формулировки аксиом
 
 Для функциональности отношения предпочитай `card`:
 
@@ -84,11 +64,12 @@ D13 ::= I{(α, ξ1, τ, ξ2, β1, β2, ρ, ξ3) |
 card(S1) = card(Pr1,2(S1))
 ```
 
-Это заменяет длинные `∀d1,d2∈S1 ...`. Оставляй `∀` / `∃`, только если выражение нельзя задать через множества, проекции, фильтры, `card`.
+Это заменяет длинные `∀d1,d2∈S1 ...`.
+Оставляй `∀` / `∃`, только если выражение нельзя задать через множества, проекции, фильтры, `card`.
 
-## Производные термы
+## Производные понятия
 
-Если условие уже задано на `S#` или центральном `D#`, производный терм обычно:
+Если условие уже задано на `S#` или составном `D#`, производный терм обычно:
 
 - `Prk(…)` / `Pri,j(…)`;
 - `Fi*k[{…}](…)`;

package/docs/CONSTITUENTA.md

@@ -7,7 +7,7 @@
 - `id` — стабильный id внутри сессии.
 - `alias` — имя вида `X1`, `D5`, `F2`; префикс должен совпадать с `cstType`.
 - `cstType` — роль конституенты.
-- `definitionFormal` — формальное определение; для `basic` и `constant` строго `''`.
+- `definitionFormal` — формальное определение; для `basic` и `constant` строго `''`; для `structure` — область определения.
 - `term` — термин в естественном языке, используется в текстовых определениях. Если обозначаются элементы множества, то пишется с маленькой буквы во множественном числе. Иначе с большой буквы в единственном.
 - `definitionText` — текстовое определение, соответствующее формальному определению. Для простых выражений не указывается если совпадает с термином. Каждый используемый термин должен быть введен в схеме.
 - `convention` — соглашение для неопределяемого понятия. Может использовать термины, не определенные в схеме.
@@ -21,8 +21,8 @@
 - `nominal` / `N#` — номиноид. В родоструктурной экспликации и формальных определениях не используется.
 - `basic` / `X#` — базисное множество; формула пустая.
 - `constant` / `C#` — константное множество; формула пустая.
-- `structure` / `S#` — родовая структура; формула задает типизацию.
-- `term` / `D#` — терм; формула задает вычисляемое значение.
+- `structure` / `S#` — родовая структура; `definitionFormal` задает область определения (типизацию).
+- `term` / `D#` — терм; формальное определение задает вычисляемое значение.
 - `function` / `F#` — терм-функция.
 - `predicate` / `P#` — предикат-функция.
 - `axiom` / `A#` — аксиома; нужна типизация `Logic`.
@@ -30,20 +30,6 @@
 
 В модели `basic`, `constant`, `structure` можно интерпретировать через `setModelValues`. `term`, `function`, `predicate`, `axiom`, `statement` вычисляются и напрямую не задаются.
 
-## Различие родовой структуры и терма
-
-`S#` — неопределяемое понятие - родовая структура. Пример: `definitionFormal: 'ℬ(X1×X1)'` описывает ступень элемента: множество пар над `X1`.
-
-`D#` — производное понятие - терм. Пример: `definitionFormal: 'X1×X1'` строит полный декартов продукт.
-
-Для бинарного отношения обычно нужно:
-
-1. `X1` — базисное множество.
-2. `S1` — `definitionFormal: 'ℬ(X1×X1)'`; конвенция объясняет порядок пары.
-3. `D#` — проекции и фильтры: `Pr1(S1)`, `Pr2(S1)`, `Fi1[D1](S1)`.
-
-Пример: `examples/kinship/build-rsform.ts`.
-
 ## Валидация
 
 1. Префикс `alias` соответствует `cstType`.

package/docs/DIAGNOSTICS.md

@@ -1,7 +1,7 @@
 # Диагностика
 
 Читай, когда `analyzeExpression`, `applySchemaPatch`, `listDiagnostics` или `evaluate`
-вернули диагностику. Источник истины по кодам — `@rsconcept/domain/src/rslang/error.ts`.
+вернули диагностику. Коды ошибок определяются анализатором `@rsconcept/domain`; полный перечень — в таблице ниже.
 
 ## Где лежит диагностика
 

package/docs/DOMAIN.md

@@ -18,6 +18,7 @@
 - **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации базовых понятий.
 - **Ядро КС** — базовые понятия, аксиомы и производные понятия, необходимые для их формулировки.
 - **Тело КС** — остальные конституенты схемы, не входящие в ядро.
+- **Конвенция** — текстовое соглашение о том, как неопределяемое понятие соотносится с сущностями предметной области. В данных схемы хранится в поле `convention` конституенты. Конвенция не заменяет формальное определение и не проходит формальную проверку RSLang. Она фиксирует предметный смысл, который нельзя вывести из формулы: что именно считается элементом множества, как читать компоненты кортежа, какой порядок в паре отношения, какие константы или операции подразумеваются. В конвенции используется предметный язык и термины, которые могут быть не выражены в концептуальной схеме.
 - **Интерпретация** — соотнесение понятий КС с сущностями предметной области. В концептуальной модели задаётся значениями неопределяемых конституент и вычислением производных.
 
 ## Конституенты

package/docs/MODEL-TESTING.md

@@ -4,14 +4,13 @@
 
 ## Когда использовать
 
-- Неочевидны `S#` против `D#`, проекции `Pr*` / `pr*`, фильтры `Fi*`, `red`, `bool`, `debool`.
 - Формула синтаксически корректна, но есть сомнение в семантике результата.
 - Нужно проверить, что аксиома действительно ловит ошибочные данные.
 - Пользователь просит надежно изменить важное определение, а пример данных можно сделать маленьким.
 
 Для простой проверки типизации сначала используй `analyzeExpression`. КМ нужна, когда вопрос зависит от интерпретации данных и вычисленного значения.
 
-## Что задавать руками
+## Правила интерпретации
 
 `basic`, `constant`, `structure` можно интерпретировать напрямую. `term`, `function`, `predicate`, `axiom`, `statement` должны вычисляться из формулы, поэтому их напрямую не задавай.
 

package/docs/PORTAL-API.md

@@ -4,23 +4,6 @@
 `rstool` сам не ходит в REST API: он работает с in-memory сессиями.
 Агент получает JSON Portal отдельно, затем переносит конституенты через контракт `rstool`.
 
-## Репозиторий Portal
-
-Исходники приложения: [github.com/IRBorisov/ConceptPortal](https://github.com/IRBorisov/ConceptPortal)
-
-Для работы с продакшен API клон не обязателен — достаточно этого файла и OpenAPI (`/schema`).
-Если нужен исходный контекст, подгружай файлы из репозитория (Read в checkout, `git clone`, или просмотр на GitHub):
-
-| Нужно                              | Путь в репозитории                                                                                                                |
-| ---------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
-| Правила монорепо, UI→API           | [`AGENTS.md`](https://github.com/IRBorisov/ConceptPortal/blob/main/AGENTS.md)                                                     |
-| Обзор, локальная разработка        | [`README.md`](https://github.com/IRBorisov/ConceptPortal/blob/main/README.md)                                                     |
-| Библиотека, context-search, by-ids | [`rsconcept/backend/apps/library/`](https://github.com/IRBorisov/ConceptPortal/tree/main/rsconcept/backend/apps/library)          |
-| Правила и команды бэкенда          | [`rsconcept/backend/AGENTS.md`](https://github.com/IRBorisov/ConceptPortal/blob/main/rsconcept/backend/AGENTS.md)                 |
-| RSForm / КС API                    | [`rsconcept/backend/apps/rsform/`](https://github.com/IRBorisov/ConceptPortal/tree/main/rsconcept/backend/apps/rsform)            |
-| Хосты UI и API в проде             | [`nginx/production.conf`](https://github.com/IRBorisov/ConceptPortal/blob/main/nginx/production.conf)                             |
-| Справка rstool (этот файл в npm)   | [`rsconcept/rstool/docs/PORTAL-API.md`](https://github.com/IRBorisov/ConceptPortal/blob/main/rsconcept/rstool/docs/PORTAL-API.md) |
-
 ## Хосты
 
 - UI: `https://portal.acconcept.ru/`
@@ -66,7 +49,7 @@ GET https://api.portal.acconcept.ru/api/rsforms/856/details
 
 1. Пользователь временно делает схему публичной (`access_policy: public`).
 2. Пользователь экспортирует JSON (`GET /api/rsforms/:id/details` из своей сессии в UI
-   или экспорт из Portal) и передаёт файл в чат/репозиторий — агент переносит в `rstool`.
+   или экспорт из Portal) и передаёт JSON в чат или файл — агент переносит в `rstool`.
 3. Работа с личной библиотекой остаётся в UI Portal; агент помогает с публичными схемами
    и с JSON, который пользователь явно предоставил.
 

package/docs/README.md

@@ -9,11 +9,10 @@
 - **DOMAIN.md** — термины Portal: конституента, базовые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
 - **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем.
 - **CONSTITUENTA.md** — структура и правила конституент.
-- **SYNTAX.md** — операторы, кванторы, функции и примеры выражений.
+- **SYNTAX.md** — синтаксис RSLang: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.
 - **TYPIFICATION.md** — типизация (`AnalysisResult.type`, `valueClass`).
 - **MODEL-TESTING.md** — проверка семантики определений на маленьких концептуальных моделях.
 - **DIAGNOSTICS.md** — диагностики анализа и способы исправления ошибок.
 - **PORTAL-API.md** — объекты REST API Portal.
-- **GRAMMAR-REF.md** — краткая карта токенов и приоритетов.
 
 Контракт агента `rstool` и примеры — `../skills/rstool-helper/REFERENCE.md`, `EXAMPLES.md` (на русском, вместе с `GUIDE.md`).

package/docs/SYNTAX.md

@@ -1,14 +1,16 @@
 # Синтаксис RSLang
 
-Читай, когда строишь или исправляешь `definitionFormal`. Токены и приоритеты — в `GRAMMAR-REF.md`, типизация — в `TYPIFICATION.md`.
+Единая справка для агента: читай при построении или исправлении `definitionFormal`. Типизация — `TYPIFICATION.md`; ошибки — `DIAGNOSTICS.md`.
 
 ## Имена и литералы
 
-- Глобальные алиасы: `X1`, `C2`, `S3`, `D11`, `F7`, `P4`, `A6`, `T9`; буква совпадает с ролью.
-- Радикалы: `R1`, `R2` — шаблонные ступени в параметрах.
+- Глобальные алиасы: `X1`, `C2`, `S3`, `D11`, `F7`, `P4`, `A6`, `T9`; буква совпадает с ролью конституенты.
+- Радикалы: `R1`, `R2` — шаблонные ступени в параметрах. Не путать с префиксом рекурсии `R{…}`.
 - Локальные переменные: `x`, `ξ`, `μ2`, `y1`.
 - Целые: `0`, `42`; отрицательного литерала нет, пиши `0 - 5`.
 - `Z` — множество целых, `∅` — пустое множество с типизацией `ℬ(R0)`.
+- Скобки и разделители: `()`, `[]`, `{}`, `,`, `;`, `|`.
+- Комментариев в формальных выражениях нет.
 
 ## Теоретико-множественные выражения (STE)
 
@@ -25,6 +27,79 @@
 
 Мультииндексы разрешены: `pr1,3(...)`, `Pr2,4(S1)`, `Fi1,2[D1](S1)`.
 
+## Генераторы: `D{}`, `I{}`, `R{}`
+
+Три конструкции строят STE. Буквы `D`, `I`, `R` перед `{` — **часть синтаксиса**, не алиасы конституент.
+
+| Конструкция | Результат                 | Когда использовать                                                            |
+| :---------- | :------------------------ | :---------------------------------------------------------------------------- |
+| `D{…}`      | множество `ℬ(H)`          | отбор по условию из уже заданного множества (родо-видовое определение)        |
+| `I{…}`      | множество `ℬ(H)`          | то же множество, но через последовательность переборов, присвоений и проверок |
+| `R{…}`      | одно значение ступени `H` | итеративный пересчёт до выхода или стабилизации                               |
+
+### Декларативная `D{переменная ∈ домен | условие}`
+
+Схема ограниченного выделения: перебирает `домен`, включает в результат каждый элемент (или кортеж), для которого `условие` истинно.
+
+```text
+D{ξ∈D1 | LE(ξ)}
+D{(ξ1, ξ2)∈S1 | LE(ξ1, ξ2)}
+{ξ∈D1 | LE(ξ)}          — краткая форма без префикса D, только одна переменная
+```
+
+- Слева от `|` — объявление переменной и домен (`∈`, не `:∈`).
+- Справа — логическое выражение (`LE`).
+- Типизация результата: `ℬ(H)`, где `H` — ступень элементов домена.
+- Кортеж в объявлении требует префикса `D`: `D{(a, b)∈X1 | …}`.
+- Пример: `D{ξ∈{1, 2, 3, 4, 5, 6} | ∃σ∈{10, 11, 12} σ = 2 * ξ}` → `{5, 6}`.
+
+### Императивная `I{элемент | блоки через ;}`
+
+Строит множество перебором и присвоениями. Эквивалентна декларативной, но удобна, когда значения зависят от предыдущих шагов.
+
+```text
+I{(ξ1, ξ2) | ξ1:∈D1; ξ2:=F1[ξ1]; LE(ξ1, ξ2)}
+I{β | δ1:=Fi1,2[α, α](σ); δ2:=δ1\Pr1,1(δ1); β:=Pr1(δ2)\Pr2(δ2)}
+```
+
+Слева от `|` — STE, задающее элемент результата (часто кортеж локальных переменных).
+
+Справа — блоки через `;`. Три вида блока:
+
+| Блок       | Синтаксис | Смысл                                                            |
+| :--------- | :-------- | :--------------------------------------------------------------- |
+| Перебор    | `ξ:∈STE`  | `ξ` (или кортеж) перебирает элементы множества                   |
+| Присвоение | `ξ:=STE`  | `ξ` получает вычисленное значение                                |
+| Проверка   | `LE`      | при ложности дальнейшие блоки пропускаются, перебор продолжается |
+
+- Префикс `I` обязателен; в переборе — `:∈`, не `∈`.
+- Типизация результата: `ℬ(H)`, где `H` — ступень выражения слева от `|`.
+- Пример: `I{(ξ1, ξ2) | ξ1:∈{1, 2, 3}; ξ2:=ξ1+1; ∃σ∈{4, 5, 6} σ=2*ξ2}` → `{(1, 2), (2, 3)}`.
+
+### Рекурсивная `R{переменная := база | условие продолжения | формула следующего шага}`
+
+Итеративно пересчитывает переменную рекурсии; возвращает **одно значение**, не множество.
+
+```text
+R{ξ := STE1 | STE2(ξ)}                    — короткая форма
+R{ξ := STE1 | LE(ξ) | STE2(ξ)}            — полная форма с условием продолжения
+R{(ξ, σ) := (STE1, STE2) | LE(ξ, σ) | (STE3, STE4)}
+```
+
+| Часть               | Позиция             | Смысл                                                             |
+| :------------------ | :------------------ | :---------------------------------------------------------------- |
+| База                | `переменная := STE` | начальное значение                                                |
+| Условие продолжения | `LE` (опционально)  | пересчитывается на каждом шаге; при ложности цикл останавливается |
+| Пересчёт            | последний `STE`     | новое значение переменной на следующем шаге                       |
+
+Порядок шага: присвоить текущее значение → (если есть) проверить условие → вычислить пересчёт.
+
+Завершение: условие продолжения ложно, либо значение на шаге `k` равно значению на шаге `k+1` (в том числе в короткой форме без `LE`).
+
+- Префикс `R` обязателен; в присвоении — `:=`.
+- Типизация результата совпадает со ступенью переменной рекурсии; пересчёт должен иметь ту же ступень.
+- Пример: `R{(ξ, σ) := (1, 0) | σ<5 | (2*ξ, σ+1)}` → `32`.
+
 ## Логические выражения (LE)
 
 - Предикаты множеств: `ξ ∈ S`, `ξ ∉ S`, `S1 = S2`, `S1 ≠ S2`, `S1 ⊆ S2`, `S1 ⊂ S2`, `S1 ⊄ S2`.
@@ -56,7 +131,7 @@ P1 ::= [α1∈STE1, α2∈STE2(α1)] LE(α1, α2)
 - В `[]` идут параметры через `∈`.
 - Параметр доступен в следующих доменах и теле.
 - Вызов позиционный: `F1[ξ1, S1]`, `P1[ξ1\ξ2, ξ3]`.
-- `F#` возвращает теоретико-множественное выражение, `P#` — логическое.
+- `F#` возвращает STE, `P#` — LE.
 
 ## Радикалы
 
@@ -76,9 +151,36 @@ F2 ::= [α1∈R1×R2, α2∈R1] α2 = pr1(α1)
 - `(4 + 5) * 3`, `card(X1) > 5`
 - `pr2((5, 4, 3, 2, 1)) = 4`
 - `red({{1, 2, 3}, {3, 4}}) = {1, 2, 3, 4}`
+- `D{ξ∈σ | card(ξ) > 2}`
+- `I{(ξ1, ξ2) | ξ1:∈Pr1(σ); ξ2:∈Pr2(Fi1[{ξ1}](σ))}`
+- `R{ξ:=Pr2(Fi1[α](σ)) | ξ ∪ Pr2(Fi1[ξ](σ))}`
 
 ## Корректность
 
 - Анализ идет в глобальном контексте: все алиасы должны быть известны и типизированы.
 - Формальные определения должны быть биективно переносимыми (гарантируется семантическим анализатором).
 - Логическая непротиворечивость проверяется примером интерпретации в модели.
+
+## Приоритеты операторов
+
+От высшего к низшему:
+
+1. Вызовы функций, проекции, `ℬ`, `bool`, `debool`, `red`, `card`.
+2. `×`.
+3. `*`.
+4. `+`, `-`.
+5. `∪`, `∩`, `\`, `∆`.
+6. Предикаты: `∈`, `=`, `<`, …
+7. `¬`.
+8. `&`.
+9. `∨`.
+10. `⇒`.
+11. `⇔`.
+
+## Исходники парсера
+
+Читай, если позиция ошибки неожиданная или нужны Lezer terms / token IDs:
+
+- `@rsconcept/domain/src/rslang/parser/rslang.grammar`
+- `@rsconcept/domain/src/rslang/parser/token.ts`
+- `@rsconcept/domain/src/rslang/parser/parser.terms.ts`

package/examples/README.md

@@ -4,21 +4,13 @@
 
 ## Как запускать
 
-**Из checkout репозитория** (`rsconcept/rstool`):
-
-```bash
-npm install
-npm run build          # обёртка для скриптов
-npm run example:client # минимальный цикл API; схемы — см. таблицу ниже
-```
-
-**После `npm install @rsconcept/rstool`** (нужен `tsx` или аналог):
+После `npm install @rsconcept/rstool` (нужен `tsx` или аналог):
 
 ```bash
 npx tsx node_modules/@rsconcept/rstool/examples/agent-client.ts
 ```
 
-Скрипты пишут JSON в `examples/<topic>/`; запускайте из корня пакета (каталог с `package.json` rstool).
+Скрипты пишут JSON в `examples/<topic>/` рядом с собой. Запускайте из каталога, где установлен пакет.
 
 ## Макет папки темы
 

package/package.json

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

package/skills/rstool-helper/EXAMPLES.md

@@ -71,9 +71,7 @@ const session = tool.importData(portalDetailsJsonString);
 ```ts
 import { RSToolWrapperClient } from '@rsconcept/rstool/wrapper';
 
-// Из checkout rstool: по умолчанию запускает `npm run wrapper` в текущем cwd.
-// Для установленного пакета: new RSToolWrapperClient({ command: 'npx', args: ['rstool-wrapper'] }).
-const client = new RSToolWrapperClient();
+const client = new RSToolWrapperClient({ command: 'npx', args: ['rstool-wrapper'] });
 await client.waitUntilReady();
 
 await client.call('applySchemaPatch', {

package/skills/rstool-helper/GUIDE.md

@@ -29,13 +29,12 @@
 - Термины предметной области: [../../docs/DOMAIN.md](../../docs/DOMAIN.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).
-- Грамматика: [../../docs/GRAMMAR-REF.md](../../docs/GRAMMAR-REF.md).
 - REST Portal: [../../docs/PORTAL-API.md](../../docs/PORTAL-API.md).
-- Репозиторий Portal (исходники, API, nginx): [ConceptPortal на GitHub](https://github.com/IRBorisov/ConceptPortal) — карта путей в [PORTAL-API.md](../../docs/PORTAL-API.md#репозиторий-portal).
+- Репозиторий Portal (исходники, API, nginx): [ConceptPortal на GitHub](https://github.com/IRBorisov/ConceptPortal).
 
 ## Воркфлоу
 
@@ -73,15 +72,15 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
 1. Собери словарь: базовые понятия, ключевые отношения, сценарий синтеза.
-2. Добавь `X#`, `C#` с конвенциями из источника (не копируй дословно).
-3. Добавь базовые `S#`: трансформация, перевод, допускание, выбор, цели, субъекты.
-4. Проверь независимость базовых понятий — они не выводятся друг из друга.
-5. Добавь `A#` на структуры: `card`, покрытие `Pr1,2(S#)=…`, принадлежность выбора.
-6. Введи `F#` для типовых запросов.
-7. Производные понятия строй через `Pr*`, `Fi*`, `F#` от центрального `D#` и базовых `S#`.
-8. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
-9. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
-10. Перед показом результата пройди [чеклист ревью КС](#ревью-концептуальной-схемы).
+2. Добавь неопределяемые понятия `X#`, `C#`, `S#` с конвенциями из источника (не копируй дословно).
+3. Проверь независимость базовых понятий — они не выводятся друг из друга.
+   Если отношение или множество выражается через уже введенные `X#`, `C#`, `S#`, оформляй его как `D#` / `F#` / `P#`.
+4. Введи `F#` и `D#` для раскрытия проекций и функциональных связей в базовых понятиях.
+5. Добавь `A#` на структуры, выражающие ограничения предметной области. Возможно стоит ввести промежуточные производные термы и терм-функции.
+6. Подбери промежуточные производные понятия `D#`, `F#`, `P#` так, чтобы выразить целевые понятия без использования не введенных в схеме понятий.
+7. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
+8. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
+9. Перед показом результата пройди [чеклист ревью КС](#ревью-концептуальной-схемы).
 
 Дальше — обычное [редактирование и проверка](#редактирование-и-проверка-схемы): commit, export.
 
@@ -111,10 +110,10 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 ### Порядок объявления конституент
 
-1. `basic`, `constant`.
-2. Базовые структуры и ключевые понятия.
-3. Производные конституенты в топологическом порядке.
-4. Аксиомы и утверждения после всех ссылок.
+1. В начале схемы — `basic`, `constant`.
+2. Родовые структуры производные и ключевые понятия, аксиомы и утверждения в произвольном порядке.
+3. Конституенты в топологическом порядке.
+4. Предпочитай размещать связанные с родовыми структурами конституенты вместе с этой структурой.
 
 Правила валидации по типам — [CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
 
@@ -134,7 +133,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 ### Сессия и rstool
 
 - [ ] Используется текущая сессия (`getSessionState`) или явный `sessionId`, если сессий несколько.
-- [ ] Для стандартных alias `X/C/S/D/A/F/P` можно доверить `cstType` `applySchemaPatch`; нестандартные alias передаются с явным `cstType`.
+- [ ] Для стандартных alias `X/C/S/D/A/F/P` можно не указывать `cstType` в `applySchemaPatch`.
 - [ ] Для пачки конституент предпочитай один `applySchemaPatch` с массивом `items`.
 
 ### Перед показом, commit и export
@@ -148,7 +147,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 - [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
 - [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
-- [ ] Базовые понятия независимы, введены необходимые по смысле аксиомы.
+- [ ] Базовые понятия и `S#` независимы; вычислимые отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
 - [ ] Покрыты главные сущности, роли, отношения, утверждения.
 - [ ] В текстовых определениях используются только понятия из схемы.
 - [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.

package/skills/rstool-helper/SKILL.md

@@ -28,9 +28,9 @@ Always open **GUIDE.md** first when starting a rstool task, then **REFERENCE.md*
 
 ## Portal (приложение)
 
-Репозиторий: [github.com/IRBorisov/ConceptPortal](https://github.com/IRBorisov/ConceptPortal). REST и curl — `node_modules/@rsconcept/rstool/docs/PORTAL-API.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, errors in `src/rslang/error.ts`)
+- `@rsconcept/domain` is installed as a dependency (analyzer and error codes)

package/docs/GRAMMAR-REF.md

@@ -1,47 +0,0 @@
-# Грамматика: короткая карта
-
-Этого обычно достаточно агенту. Полная грамматика живет в `@rsconcept/domain`.
-
-## Токены
-
-- Литералы: `0`, `42`, `Z`, `∅`.
-- Алиасы: `X#`, `C#`, `S#`, `D#`, `F#`, `P#`, `A#`, `T#`, `R#`.
-- Локальные переменные: `x`, `ξ`, `μ2`, `y1`.
-- Скобки и разделители: `()`, `[]`, `{}`, `,`, `;`.
-- Комментариев в формальных выражениях нет.
-
-## Операторы
-
-- Множества: `∪`, `∩`, `\`, `∆`, `×`, `ℬ`.
-- Структуры: `red`, `bool`, `debool`, `pr1`, `Pr1`, `Fi1[D](S)`, `card`.
-- Предикаты: `∈`, `∉`, `⊆`, `⊂`, `⊄`, `=`, `≠`, `<`, `≤`, `>`, `≥`.
-- Связки: `¬`, `&`, `∨`, `⇒`, `⇔`.
-- Кванторы: `∀`, `∃`.
-
-Мультииндексы парсятся как список натуральных чисел: `pr1,3`, `Pr2,4`, `Fi1,2[D](S)`.
-
-## Декларации
-
-- Терм-функция: `F# ::= [<params>] <body STE>`.
-- Предикат-функция: `P# ::= [<params>] <body LE>`.
-- Параметр: `α ∈ <STE>`.
-- Вызов: `F#[<arg1>, <arg2>]`.
-
-## Приоритеты
-
-1. Вызовы функций, проекции, `ℬ`, `bool`, `debool`, `red`, `card`.
-2. `×`.
-3. `*`.
-4. `+`, `-`.
-5. `∪`, `∩`, `\`, `∆`.
-6. Предикаты: `∈`, `=`, `<`, ...
-7. `¬`.
-8. `&`.
-9. `∨`.
-10. `⇒`.
-11. `⇔`.
-
-## Когда читать исходники
-
-- Позиция ошибки неожиданная.
-- Нужны Lezer terms/token IDs: `@rsconcept/domain/src/rslang/parser/token.ts`, `parser.terms.ts`.