@rsconcept/rstool 0.2.1 → 0.3.0

package/docs/DOMAIN.md

@@ -1,91 +1,68 @@
-# Domain reference
-
-Compact English distillation of the canonical Russian domain glossary (`CONTEXT.md`). Read this first if you are an agent unfamiliar with the Concept Portal vocabulary.
-
-## Core concepts
-
-- **Subject domain** — a sphere of human activity that requires coordination and communication.
-- **Conceptual schema (`КС`)** — a formal system of definitions for a subject domain, made of constituents.
-- **Conceptual model (`РСМодель`)** — a pairing of a conceptual schema with an interpretation in concrete data.
-- **Operations Synthesis Schema (`ОСС`)** — a graph of load and synthesis operations that drives schema construction and evolution.
-- **RS language (`родоструктурная экспликация`)** — the formal genus-structure language used to define concepts, relations and operations inside a schema.
-- **Typification** — the computable structural type of a constituent's formal definition; the formal constraint on admissible interpretations.
-- **Term graph** — a directed dependency graph over constituents; an edge means "constituent A appears in constituent B's definition".
-
-## Constituents
-
-A **constituent** is the atomic building block of a conceptual schema. Each constituent may carry a term, a convention, a typification, a formal definition, a textual interpretation, and a comment. By role, a constituent is either undefined, derived, or a statement.
-
-Constituent aliases follow a strict prefix scheme:
-
-| Alias prefix | Role                                     | Notes                                                                                           |
-| ------------ | ---------------------------------------- | ----------------------------------------------------------------------------------------------- |
-| `N#`         | Nominoid                                 | Free vocabulary item, no formal definition                                                      |
-| `X#`         | Base set                                 | Undefined concept, set of elements                                                              |
-| `C#`         | Constant set                             | Undefined concept, set of elements, allows arithmetic predicates and operations                 |
-| `S#`         | Structured concept (**genus structure**) | Undefined concept; `definitionFormal` gives **typification**; meaning via `convention` / axioms |
-| `D#`         | Term                                     | Derived concept; `definitionFormal` is the **definition**; value computed in a model            |
-| `F#`         | Term-function                            | Parameterised derived concept yielding an STE                                                   |
-| `P#`         | Predicate-function                       | Parameterised derived concept yielding a logical expression                                     |
-| `A#`         | Axiom                                    | Logical statement asserting requirements                                                        |
-| `T#`         | Statement                                | Logical assertion about the model                                                               |
-| `R#`         | Radical                                  | Template placeholder for arbitrary typification                                                 |
-
-**Undefined concepts** (`X#`, `C#`, `S#`) are introduced by conventions (and optional axioms). For `S#`, the formal field states **typification** (the grade of elements), not a defining construction. **Derived concepts** (`D#`, `F#`, `P#`, `A#`, `T#`) carry a formal **definition** and must follow declaration order — every referenced constituent must already exist; their model values are obtained by evaluation.
-
-**Structure vs term:** `S#` with `ℬ(X1×X1)` declares “elements are pairs over `X1`”; the actual pairs come from interpretation. `D#` with `X1×X1` as the whole expression denotes the **full Cartesian product** (all pairs), which is a computed set — use `S#` + projections when modeling a relation.
-
-A **crucial constituent** is marked as content-bearing for filtering / focus; it has no semantic effect on the formal calculus.
-
-## Statuses
-
-Each constituent has one of the following correctness statuses:
-
-| Status       | Meaning                                                            |
-| ------------ | ------------------------------------------------------------------ |
-| Unknown      | Not yet validated                                                  |
-| OK           | Validated as correct                                               |
-| Error        | Validation failed                                                  |
-| Property     | Defines a non-computable set; only membership tests are admissible |
-| Incalculable | Cannot be evaluated directly (e.g. expected exponential blow-up)   |
-
-## RSModel evaluation states
-
-In a conceptual model each item has one of the following evaluation statuses:
-
-| Status              | Meaning                                         |
-| ------------------- | ----------------------------------------------- |
-| `NO_EVAL` (1)       | Not evaluated (definition is not interpretable) |
-| `NOT_PROCESSED` (2) | Interpretation has not been computed yet        |
-| `INVALID_DATA` (3)  | Provided data is invalid                        |
-| `EVAL_FAIL` (4)     | Evaluation raised an error                      |
-| `AXIOM_FALSE` (5)   | Axiom evaluated to FALSE                        |
-| `EMPTY` (6)         | Result is the empty set                         |
-| `HAS_DATA` (7)      | Interpretation computed and non-empty           |
-
-## Synthesis and OSS
-
-- **Load operation** attaches an existing schema to the OSS graph.
-- **Synthesis operation** combines operand schemas via an **identification table** (pairs of constituents to be treated as equivalent) and produces a result schema with **inherited constituents**.
-- **Cross-cutting changes** propagate edits from a **source constituent** to its **inherited constituents** through the OSS. Inherited constituents are not edited directly.
-- **Diamond synthesis** uses operand schemas with shared ancestors.
-- **Concept block** is a nominal grouping of schemas inside the OSS.
-
-## Relationships
-
-- A conceptual schema **contains** many constituents.
-- A conceptual model **interprets** exactly one schema at a given state.
-- An OSS **contains** load and synthesis operations.
-- A synthesis operation **consumes** one or more input schemas plus an identification table and **produces** a result schema with inherited constituents.
-- Cross-cutting changes **propagate** from a source constituent to its inherited descendants.
-- The term graph is **derived** from the formal definitions of constituents.
-
-## Dependency vocabulary
-
-- **Consumers** — constituents that mention this one in their definitions.
-- **Suppliers** — constituents this one mentions in its definition.
-- **Dependents** — direct and transitive consumers.
-- **Influencers** — direct and transitive suppliers.
-- **Generating expression** — a definition referencing a single external constituent with no added content.
-- **Base concept (for generation)** — the constituent on which a generating expression is built.
-- **Generated concept** — a constituent produced from a generating expression.
+# Доменная справка
+
+Термины, используемые в Concept Portal.
+
+## Основные термины
+
+- **Предметная область** — область, для которой строится система определений.
+- **Концептуальная схема (`КС`)** — система понятий, утверждений и связей между ними.
+- **Концептуальная модель (`КМ`)** — КС плюс интерпретация ее понятий на конечных данных.
+- **Операционная схема синтеза (`ОСС`)** — граф загрузок и синтезов КС.
+- **Родоструктурная экспликация (`RSLang`)** — формальный язык для понятий, отношений, операций и утверждений.
+- **Типизация / ступень** — структура значений выражения: элемент, целое, кортеж, множество, `Logic`.
+- **Граф термов** — зависимости: конституента ссылается на другую в формальном определении.
+
+## Конституенты
+
+**Конституента** — часть КС. Главное для агента: `alias`, `cstType`, `definitionFormal`, `term`, `definitionText`, `convention`. `comment` — комментарий и пояснения разработчика схемы, полезно для контекста.
+
+- `N#` — **номиноид**: словарная сущность. В родоструктурной экспликации не используется.
+- `X#` — **базисное множество**: неопределяемое понятие, формула пустая.
+- `C#` — **константное множество**: неопределяемое множество для арифметики и порядка, формула пустая.
+- `S#` — **родовая структура**: неопределяемое структурное понятие; формула задает типизацию.
+- `D#` — **терм**: определяемое понятие; формула вычисляет значение.
+- `F#` — **терм-функция**: параметризованный терм.
+- `P#` — **предикат-функция**: параметризованное логическое выражение.
+- `A#` — **аксиома**: логическое требование к модели.
+- `T#` — **высказывание**: логическое утверждение о модели.
+- `R#` — **радикал**: шаблонная ступень в параметрах.
+
+Правило: `X#`, `C#`, `S#` задаются конвенцией и интерпретацией; `D#`, `F#`, `P#`, `A#`, `T#` выводятся по формуле. Поставщики должны идти раньше потребителей.
+
+Не путай `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` — результат вычислен и непустой.
+
+## Зависимости
+
+- **Поставщики** — конституенты, на которые ссылается текущая.
+- **Потребители** — конституенты, которые ссылаются на текущую.
+- **Влияющие** — прямые и транзитивные поставщики.
+- **Зависимые** — прямые и транзитивные потребители.
+- **Основание** — конституента, из которой формально порождают новые термы.
+- **Порожденная конституента** — построена из основания без новой предметной договоренности.
+
+## ОСС и синтез
+
+- **Загрузка** добавляет внешнюю или собственную КС в ОСС.
+- **Синтез** строит новую КС из операций-аргументов через таблицу отождествлений.
+- **Наследованные конституенты** пришли из исходных схем; их определения обычно read-only.
+- **Сквозные изменения** идут от исходной конституенты к наследникам.
+- **Ромбовидный синтез** использует КС с общими предками; чаще требует ручного отождествления дублей.
+- **Концептуальный блок** — группа схем внутри предметной области.

package/docs/GRAMMAR-REF.md

@@ -1,98 +1,47 @@
-# Grammar reference (pointers)
+# Грамматика: короткая карта
 
-Below is a compact token map agents can use without opening the grammar. For full grammar see `@rsconcept/domain` package.
+Этого обычно достаточно агенту. Полная грамматика живет в `@rsconcept/domain`.
 
-## Token classes
+## Токены
 
-| Class           | Tokens / examples                                          |
-| --------------- | ---------------------------------------------------------- |
-| Whitespace      | space, tab, newline                                        |
-| Integer literal | `0`, `42`                                                  |
-| Empty set       | `∅`                                                        |
-| Integer set     | `Z`                                                        |
-| Globals         | `X#`, `C#`, `S#`, `D#`, `F#`, `P#`, `A#`, `T#`, `N#`, `R#` |
-| Locals          | `x`, `ξ`, `μ2`, `y1`                                       |
-| Punctuation     | `(`, `)`, `[`, `]`, `{`, `}`, `,`, `;`                     |
-| Comment         | none — RSLang has no comments inside formal expressions    |
+- Литералы: `0`, `42`, `Z`, `∅`.
+- Алиасы: `X#`, `C#`, `S#`, `D#`, `F#`, `P#`, `A#`, `T#`, `R#`.
+- Локальные переменные: `x`, `ξ`, `μ2`, `y1`.
+- Скобки и разделители: `()`, `[]`, `{}`, `,`, `;`.
+- Комментариев в формальных выражениях нет.
 
-## Set / structural operators
+## Операторы
 
-| Token                | Symbol                     |
-| -------------------- | -------------------------- |
-| Union                | `∪`                        |
-| Intersection         | `∩`                        |
-| Difference           | `\`                        |
-| Symmetric difference | `∆`                        |
-| Cartesian product    | `×`                        |
-| Boolean              | `ℬ`                        |
-| Sum set              | `red`                      |
-| Singleton            | `bool`                     |
-| Desingleton          | `debool`                   |
-| Small projection     | `pr1`, `pr1,3`, …          |
-| Large projection     | `Pr1`, `Pr2,4`, …          |
-| Filter               | `Fi1[D](S)`, `Fi1,2[D](S)` |
-| Cardinality          | `card`                     |
+- Множества: `∪`, `∩`, `\`, `∆`, `×`, `ℬ`.
+- Структуры: `red`, `bool`, `debool`, `pr1`, `Pr1`, `Fi1[D](S)`, `card`.
+- Предикаты: `∈`, `∉`, `⊆`, `⊂`, `⊄`, `=`, `≠`, `<`, `≤`, `>`, `≥`.
+- Связки: `¬`, `&`, `∨`, `⇒`, `⇔`.
+- Кванторы: `∀`, `∃`.
 
-## Predicates
+Мультииндексы парсятся как список натуральных чисел: `pr1,3`, `Pr2,4`, `Fi1,2[D](S)`.
 
-| Token            | Symbol |
-| ---------------- | ------ |
-| Membership       | `∈`    |
-| Non-membership   | `∉`    |
-| Inclusion        | `⊆`    |
-| Strict inclusion | `⊂`    |
-| Non-inclusion    | `⊄`    |
-| Equality         | `=`    |
-| Inequality       | `≠`    |
-| Less             | `<`    |
-| Less-or-equal    | `≤`    |
-| Greater          | `>`    |
-| Greater-or-equal | `≥`    |
+## Декларации
 
-## Logical connectives
+- Терм-функция: `F# ::= [<params>] <body STE>`.
+- Предикат-функция: `P# ::= [<params>] <body LE>`.
+- Параметр: `α ∈ <STE>`.
+- Вызов: `F#[<arg1>, <arg2>]`.
 
-| Token       | Symbol |
-| ----------- | ------ |
-| Negation    | `¬`    |
-| Conjunction | `&`    |
-| Disjunction | `∨`    |
-| Implication | `⇒`    |
-| Equivalence | `⇔`    |
+## Приоритеты
 
-## Quantifiers
+1. Вызовы функций, проекции, `ℬ`, `bool`, `debool`, `red`, `card`.
+2. `×`.
+3. `*`.
+4. `+`, `-`.
+5. `∪`, `∩`, `\`, `∆`.
+6. Предикаты: `∈`, `=`, `<`, ...
+7. `¬`.
+8. `&`.
+9. `∨`.
+10. `⇒`.
+11. `⇔`.
 
-| Token       | Symbol |
-| ----------- | ------ |
-| Universal   | `∀`    |
-| Existential | `∃`    |
+## Когда читать исходники
 
-## Declarators
-
-| Token                 | Form                                              |
-| --------------------- | ------------------------------------------------- |
-| Function declaration  | `F# ::= [<params>] <body STE>`                    |
-| Predicate declaration | `P# ::= [<params>] <body LE>`                     |
-| Parameter declaration | `α ∈ <STE>` (commas separate; commas inside `[]`) |
-| Function call         | `F#[<arg1>, <arg2>, …]`                           |
-
-## Precedence (from highest to lowest)
-
-1. Function calls, projections, boolean
-2. Cartesian product `×`
-3. Multiplicative `*`
-4. Additive `+`, `-`
-5. Set operators `∪`, `∩`, `\`, `∆`
-6. Predicates (`∈`, `=`, `<`, …)
-7. Negation `¬`
-8. Conjunction `&`
-9. Disjunction `∨`
-10. Implication `⇒`
-11. Equivalence `⇔`
-
-Multi-index tokens inside projections / filters are parsed as a comma-separated list of natural numbers.
-
-## When to consult the full grammar
-
-- Grammar conflicts or surprising error positions — read `rslang.grammar` directly.
-- Adding new operators or precedence rules — must be done in the domain package, not in rstool.
-- Lezer terms / token IDs — see `@rsconcept/domain/src/rslang/parser/token.ts` and `parser.terms.ts`.
+- Позиция ошибки неожиданная.
+- Нужны Lezer terms/token IDs: `@rsconcept/domain/src/rslang/parser/token.ts`, `parser.terms.ts`.

package/docs/MODEL-TESTING.md

@@ -0,0 +1,57 @@
+# Тестирование определений через концептуальную модель
+
+Концептуальная модель (`КМ`) полезна как маленький стенд для проверки семантики выражений. Если агент не уверен, что формула означает именно нужную операцию, не угадывай по виду выражения: создай минимальную схему, задай тестовые значения для неопределяемых конституент и вычисли результат.
+
+## Когда использовать
+
+- Неочевидны `S#` против `D#`, проекции `Pr*` / `pr*`, фильтры `Fi*`, `red`, `bool`, `debool`.
+- Формула синтаксически корректна, но есть сомнение в семантике результата.
+- Нужно проверить, что аксиома действительно ловит ошибочные данные.
+- Пользователь просит надежно изменить важное определение, а пример данных можно сделать маленьким.
+
+Для простой проверки типизации сначала используй `analyzeExpression`. КМ нужна, когда вопрос зависит от интерпретации данных и вычисленного значения.
+
+## Минимальный цикл
+
+1. Создай отдельную `createSession` или изолированную копию текущей сессии.
+2. Добавь только нужные поставщики: `X#`, `C#`, `S#` и проверяемые `D#` / `F#` / `P#` / `A#`.
+3. Проверь формулы через `analyzeExpression` и `addOrUpdateConstituenta`.
+4. Задай значения базисов и структур через `setConstituentaValue` или `setConstituentaValues`.
+5. Вычисли проверяемую формулу через `evaluateExpression` или сохраненную конституенту через `evaluateConstituenta`.
+6. Сравни результат с ожидаемым значением; если есть несколько зависимых определений, запусти `recalculateModel`.
+
+## Что задавать руками
+
+`basic`, `constant`, `structure` можно интерпретировать напрямую. `term`, `function`, `predicate`, `axiom`, `statement` должны вычисляться из формулы, поэтому их напрямую не задавай.
+
+Пример формы данных:
+
+```ts
+const TUPLE_ID = -111;
+
+tool.setConstituentaValues(sessionId, {
+  items: [
+    { target: 1, value: { 0: 'ann', 1: 'bob', 2: 'cat' } },
+    { target: 2, value: [[TUPLE_ID, 0, 1], [TUPLE_ID, 0, 2]] }
+  ]
+});
+```
+
+Здесь `X1` получает подписи элементов, а `S1: ℬ(X1×X1)` получает множество пар по индексам элементов `X1`.
+
+## Скрипты-тесты
+
+Если проверка влияет на поведение схемы или есть риск регрессии, вынеси ее в маленький скрипт или colocated `*.test.ts`:
+
+1. Собери минимальную сессию с нужными конституентами.
+2. Задай тестовые значения неопределяемых конституент.
+3. Вычисли целевые конституенты.
+4. Проверь `success`, `status`, `diagnostics.length` и само `value`.
+
+Тест должен проверять смысл формулы, а не только отсутствие диагностик. Для аксиом отдельно проверяй положительный и отрицательный набор данных: корректная модель должна давать истинную аксиому, ошибочная — `AXIOM_FALSE` или диагностируемый сбой вычисления.
+
+## Ограничения
+
+- Маленькая КМ проверяет семантику на выбранных данных, но не доказывает определение для всех моделей.
+- Не подменяй предметное соглашение тестом: если смысл `S#` не ясен, уточни `convention` или спроси пользователя.
+- Не добавляй искусственные конституенты в рабочую схему только ради теста. Держи scratch-сессию или тестовый скрипт отдельно.

package/docs/PORTAL-API.md

@@ -1,45 +1,31 @@
-# Portal REST API (read-only reference)
+# Portal REST API
 
-When an agent needs to **inspect existing** RSForms, OSS, or RSModels persisted on the Portal, use the REST API on `api.portal.acconcept.ru`. The rstool library itself never calls the Portal API — it always works on in-memory sessions. This document is for agents that combine rstool sessions with data fetched from a live Portal.
+Справка только для чтения существующих КС, ОСС и RSModel. `rstool` сам не ходит в REST API: он работает с in-memory сессиями.
 
-## Hosts
+## Хосты
 
-- **UI:** `https://portal.acconcept.ru/`
-- **REST API:** `https://api.portal.acconcept.ru/`
+- UI: `https://portal.acconcept.ru/`
+- REST API: `https://api.portal.acconcept.ru/`
 
-## Path rewrite rules
+## Пути
 
-| Portal UI path                   | REST target                                             |
-| -------------------------------- | ------------------------------------------------------- |
-| `/rsforms/:id`                   | `GET /api/rsforms/:id` (metadata: owner, titles)        |
-| `/rsforms/:id` (full payload)    | `GET /api/rsforms/:id/details`                          |
-| `/rsforms/:id` (a saved version) | `GET /api/library/:id/versions/:version`                |
-| `/oss/:id`                       | `GET /api/oss/:id` (and the sibling OSS viewset routes) |
-| `/models/:id`                    | `GET /api/models/:id` (RSModel router)                  |
+- `/rsforms/:id` в UI → `GET /api/rsforms/:id` для метаданных.
+- Полная КС → `GET /api/rsforms/:id/details`.
+- Версия КС → `GET /api/library/:id/versions/:version`.
+- ОСС → `GET /api/oss/:id` и соседние routes viewset.
+- Модель → `GET /api/models/:id`.
+- OpenAPI JSON → `GET https://api.portal.acconcept.ru/schema`.
 
-## OpenAPI
+## Как перенести КС в rstool
 
-Machine-readable schema:
+1. Получи `GET /api/rsforms/:id/details`.
+2. Создай `createSession`.
+3. Перенеси конституенты через `addOrUpdateConstituenta`: `alias`, `cstType`, `definitionFormal`, `term`, `definitionText`, `convention`.
+4. Работай локально: анализ, правки, вычисления.
+5. Для передачи результата используй `exportSession`.
 
-```
-GET https://api.portal.acconcept.ru/schema
-```
+## Не делай
 
-Prefer `/schema` for JSON. The Swagger UI is separate.
-
-## What rstool consumes
-
-rstool itself works with in-memory sessions via `RSToolAgent` or the stdio wrapper. To bridge between the REST payload and a rstool session, the typical flow is:
-
-1. `GET /api/rsforms/:id/details` to fetch the persisted RSForm.
-2. Convert the response (constituents, formal definitions, term, convention, etc.) into a series of `addOrUpdateConstituenta` calls inside a fresh `createSession`.
-3. Operate offline: analyse, edit, evaluate, then `exportSession` for hand-off.
-
-There is no backend write path in rstool: edits never round-trip to the Portal automatically. Publish changes back to the Portal through the existing Portal UI or REST writes.
-
-## Don'ts
-
-- Do not scrape the SPA HTML.
-- Do not pass UI hash params (`?tab=editor`, etc.) to REST.
-- Do not call `/api/rsforms/:id/details` for trivial metadata — `GET /api/rsforms/:id` is cheaper.
-- Do not assume the API host is the same as the UI host in production — they are different.
+- Не парси HTML SPA.
+- Не переноси UI query/hash вроде `?tab=editor` в REST.
+- Не запрашивай `/details`, если нужны только метаданные.

package/docs/README.md

@@ -1,16 +1,17 @@
-# rstool docs
+# Документация rstool
 
-Standalone English reference distilled from the Portal manuals and `CONTEXT.md`. Bundled with `@rsconcept/rstool` so external agents never need to read the Portal frontend source tree.
+Краткая русская справка для агентов.
 
-| File | Read when |
-|------|-----------|
-| [`DOMAIN.md`](DOMAIN.md) | You need the Concept Portal vocabulary (constituenta, conceptual schema/model, OSS, synthesis). |
-| [`CONCEPTUAL-SCHEMA.md`](CONCEPTUAL-SCHEMA.md) | You are designing/reviewing a conceptual schema as a system (thesaurus value, closed-world text definitions, genus structures, axioms). |
-| [`CONSTITUENTA.md`](CONSTITUENTA.md) | You are upserting constituents — fields, `cstType` table, validation rules, recommended order. |
-| [`SYNTAX.md`](SYNTAX.md) | You are constructing RSLang expressions — operators, quantifiers, parameterised functions, examples. |
-| [`TYPIFICATION.md`](TYPIFICATION.md) | You are interpreting `AnalysisResult.type` / `valueClass` or constructing template expressions with radicals. |
-| [`DIAGNOSTICS.md`](DIAGNOSTICS.md) | You received `analysis.diagnostics` and need to map error codes to fixes. |
-| [`PORTAL-API.md`](PORTAL-API.md) | You need to fetch an existing RSForm/OSS/RSModel from the live Portal REST API. |
-| [`GRAMMAR-REF.md`](GRAMMAR-REF.md) | You need a compact token / precedence table; the full grammar lives in `@rsconcept/domain`. |
+## Какой файл читать
 
-For the rstool agent contract itself (methods, types, stdio protocol) see [`../skills/rstool-helper/REFERENCE.md`](../skills/rstool-helper/REFERENCE.md).
+- **DOMAIN.md** — термины Portal: конституента, концептуальная схема/модель, ОСС, синтез.
+- **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем.
+- **CONSTITUENTA.md** — структура и правила конституент.
+- **SYNTAX.md** — операторы, кванторы, функции и примеры выражений.
+- **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`.