@rsconcept/rstool 1.9.0 → 2.0.0

package/skills/rstool-helper/SKILL.md

@@ -1,67 +1,17 @@
 ---
 name: rstool-helper
 description: >-
-  ЯРЭ и концептуальные схемы через rstool: концептуализация, ревью/оценка КС,
-  правки и диагностики формул, объяснение конструкций ЯРЭ, проверка на КМ (evaluate),
-  выбор X#/C#/Z, импорт/экспорт Portal (/rsforms, /details).
-  Читай GUIDE и docs из node_modules.
+  Устаревший вход: используй скилл rstool. ЯРЭ и концептуальные схемы через
+  rstool, ревью КС, диагностики, Portal.
 ---
 
-# rstool-helper
+# rstool-helper (устарел)
 
-Тонкий **входной** skill. Полный гайд и документация остаются в пакете — читай через Read tool по путям ниже (от корня проекта).
+Скилл заменён маршрутизатором **`rstool`** и скиллами этапов. Прочитай `skills/rstool/SKILL.md` пакета и следуй ему:
 
-## Если входной skill ещё не установлен
+- в workspace Portal — `rsconcept/rstool/skills/rstool/SKILL.md`;
+- в npm-проекте — `node_modules/@rsconcept/rstool/skills/rstool/SKILL.md`.
 
-Пользователь выполнил `npm install @rsconcept/rstool`, но не зарегистрировал agent skill в проекте. **Выполни процедуру установки** из:
+Чтобы заменить эту заглушку в проекте, выполни `node_modules/@rsconcept/rstool/skills/INSTALL.md`, затем удали папку `rstool-helper/` из каталога скиллов проекта.
 
-`node_modules/@rsconcept/rstool/skills/INSTALL.md`
-
-Затем продолжай с каноническими файлами ниже.
-
-## Канонические файлы
-
-Префикс путей: `node_modules/@rsconcept/rstool/`.
-
-| Что                                                 | Путь                                |
-| :-------------------------------------------------- | :---------------------------------- |
-| **Начни здесь** — матрица задач, воркфлоу, чеклисты | `skills/rstool-helper/GUIDE.md`     |
-| API, stdio, MCP, контракт                           | `skills/rstool-helper/REFERENCE.md` |
-| Примеры, антипаттерны                               | `skills/rstool-helper/EXAMPLES.md`  |
-| Язык и предметная область                           | `docs/*.md`                         |
-| Установка skill                                     | `skills/INSTALL.md`                 |
-
-## Задача → что читать
-
-Не читай все `docs/` подряд. Открой **GUIDE.md** (раздел «Задача → чтение»), затем только нужные файлы:
-
-| Задача                            | Минимум                                                                        |
-| :-------------------------------- | :----------------------------------------------------------------------------- |
-| Собрать / развить КС из текста    | GUIDE: концептуализация; `docs/CONCEPTUAL-SCHEMA.md`; `docs/BASE-SELECTION.md` |
-| Оценить / отревьюить готовую КС   | GUIDE: ревью; чеклист ревью; `docs/CONCEPTUAL-SCHEMA.md`                       |
-| Починить формулу / диагностики    | GUIDE: цикл диагностик; `docs/DIAGNOSTICS.md`                                  |
-| Написать формулу / синтаксис      | `docs/SYNTAX.md`                                                               |
-| Объяснить формулу / конструкцию   | `docs/CONSTRUCTIONS.md`                                                        |
-| Импорт / правка по ссылке Portal  | GUIDE: Portal; `docs/PORTAL-API.md`                                            |
-| Проверить смысл на данных         | GUIDE: КМ; `docs/MODEL-TESTING.md`                                             |
-| Типизация / вызов API             | `docs/TYPIFICATION.md` / `REFERENCE.md`                                        |
-
-Перед работой всегда открой **GUIDE.md**; остальное — по строке таблицы.
-
-## Не правь пакет rstool без запроса
-
-Разовые скрипты и JSON для Portal — вне дерева пакета (каталог задачи, `.tmp/`, путь пользователя). См. **«Границы правок»** в GUIDE.md.
-
-## Язык ответа пользователю
-
-В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (**неопределяемые понятия**, **базисное множество**, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**. Не сокращай «базисное множество» до «базис» / «базисы».
-
-## Portal (приложение)
-
-REST API и curl — `node_modules/@rsconcept/rstool/docs/PORTAL-API.md`.
-
-## Кратко
-
-- Пакет: `@rsconcept/rstool`; обёртка: `npx rstool-wrapper`
-- MCP: `@rsconcept/rstool-mcp` (имена tools — `snake_case`, см. REFERENCE)
-- `@rsconcept/domain` устанавливается как зависимость (анализатор и коды ошибок)
+Заглушка будет удалена в следующем минорном релизе.

package/skills/{rstool-helper → rstool-runtime}/EXAMPLES.md

@@ -1,19 +1,21 @@
 # ЯРЭ и rstool — примеры
 
-Короткие фрагменты для агентов. Воркфлоу — [GUIDE.md](GUIDE.md). Контракт — [REFERENCE.md](REFERENCE.md).
+Короткие фрагменты для агентов. Запуск и правила — [SKILL.md](SKILL.md); этапы работы — [../rstool/SKILL.md](../rstool/SKILL.md). Контракт — [REFERENCE.md](REFERENCE.md).
 
 ## Индекс runnable `examples/`
 
 Полные сценарии пакета:
 
-| Тема                                                  | Паттерн                              | Смотри                                            |
-| ----------------------------------------------------- | ------------------------------------ | ------------------------------------------------- |
-| [`sample/`](../../examples/sample/)                   | Минимальная КС + КМ                  | `X1`, `C1`, `S1`, `D1`, `A1`                      |
-| [`kinship/`](../../examples/kinship/)                 | Предметная схема, модель, CLI        | отношения на `X1`, правки интерпретации           |
-| [`chocolate-nim/`](../../examples/chocolate-nim/)     | Математика на `Z` без `X#`           | [BASE-SELECTION.md](../../docs/BASE-SELECTION.md) |
-| [`movd/`](../../examples/movd/)                       | Сложные `S#`, мультипроекции, `Fi`   | фильтры и проекции                                |
-| [`expression-bank/`](../../examples/expression-bank/) | Шаблоны на радикалах `R#`            | [SYNTAX.md](../../docs/SYNTAX.md) «Радикалы»      |
-| [`template-apply/`](../../examples/template-apply/)   | Подстановка `R#` → предметные домены | применение шаблонов                               |
+| Тема                                                              | Паттерн                              | Смотри                                            |
+| ----------------------------------------------------------------- | ------------------------------------ | ------------------------------------------------- |
+| [`sample/`](../../examples/sample/)                               | Минимальная КС + КМ                  | `X1`, `C1`, `S1`, `D1`, `A1`                      |
+| [`kinship/`](../../examples/kinship/)                             | Предметная схема, модель, CLI        | отношения на `X1`, правки интерпретации           |
+| [`chocolate-nim/`](../../examples/chocolate-nim/)                 | Математика на `Z` без `X#`           | [BASE-SELECTION.md](../../docs/BASE-SELECTION.md) |
+| [`movd/`](../../examples/movd/)                                   | Сложные `S#`, мультипроекции, `Fi`   | фильтры и проекции                                |
+| [`expression-bank/`](../../examples/expression-bank/)             | Шаблоны на радикалах `R#`            | [SYNTAX.md](../../docs/SYNTAX.md) «Радикалы»      |
+| [`template-apply/`](../../examples/template-apply/)               | Подстановка `R#` → предметные домены | применение шаблонов                               |
+| [`subordination/`](../../examples/subordination/)                 | Метод по этапам, бриф, антипримеры   | [METHOD.md](../../docs/METHOD.md)                 |
+| [`kinship-subordination/`](../../examples/kinship-subordination/) | Синтез микротеорий                   | [rs-synthesis](../rs-synthesis/SKILL.md)          |
 
 Запуск и структура папок — [examples/README.md](../../examples/README.md).
 
@@ -152,6 +154,7 @@ tool.applySchemaPatch({
 | `arithmeticNotSupported` / `orderingNotSupported` | `ξ+1` или `α<β` при `ξ∈X1`                         | `Z` или `C#` ([BASE-SELECTION.md](../../docs/BASE-SELECTION.md)) |
 | `globalFuncParenCall`                             | `F1(ξ)`                                            | `F1[ξ]`                                                          |
 | `globalFuncWithoutArgs`                           | голое `F1` в формуле                               | `F1[…]`                                                          |
+| `globalDeleted`                                   | `X1∪DEL` — ссылка на удаленную конституенту        | подставь действующее обозначение                                 |
 | `radicalUsage`                                    | `R1` в теле формулы или как конституента           | `R#` только в `[…]` у `F#`/`P#`                                  |
 | `invalidPropertyUsage`                            | `∀σ∈ℬ(S1)\{∅} ¬P1[σ]` — квантор по булеану         | вычислимая форма через достижимость: `∀α∈X1 α∉F4[α]`             |
 | `schemaMissingConvention`                         | `X1` без конвенции                                 | добавь предметную конвенцию                                      |
@@ -159,6 +162,7 @@ tool.applySchemaPatch({
 | `schemaDependencyCycle`                           | круг в определениях (`F3 → P1 → F3`)               | разорви цикл: убери взаимные ссылки                              |
 | `localOutOfScopeParentheses`                      | `∀a∈S P(a) & Q(a)`                                 | `∀a∈S (P(a) & Q(a))`                                             |
 | `invalidFilterSyntax`                             | кривой `Fi`                                        | `Fi1[{ξ}](S1)` / `Fi1,2[D1,D2](S1)`                              |
+| стиль: `card(S) > 0` / `card(S) = 0`              | проверка (не)пустоты через мощность                | `S ≠ ∅` / `S = ∅` / `A ∩ B ≠ ∅`                                  |
 
 ```ts
 const analysis = tool.analyzeExpression({
@@ -270,14 +274,14 @@ const restored = tool.importData(payload, 'session');
 const schemaJson = tool.exportPortal({ kind: 'schema' });
 const modelObj = tool.exportPortal({ kind: 'model', format: 'object' });
 
-// Portal GET /api/rsforms/:id/details → строка или объект
+// Portal JSON: GET /api/agents/rsforms/:id/details (Bearer key), same shape as public /details
 const session = tool.importData(portalDetailsJsonString); // kind auto
 tool.listDiagnostics();
 // правки…
 const forPortal = tool.exportPortal({ kind: 'schema' });
 ```
 
-Не передавай `/details` с `kind: 'session'`. REST и curl — [PORTAL-API.md](../../docs/PORTAL-API.md).
+Не передавай `/details` с `kind: 'session'`. REST и curl — [PORTAL-READ.md](../../docs/PORTAL-READ.md).
 
 ## Встраивание схемы (синтез)
 
@@ -306,7 +310,7 @@ tool.synthesize({
 
 ## Образец текста ревью (не код)
 
-После [воркфлоу ревью](GUIDE.md#ревью--оценка-готовой-кс) ответ может выглядеть так:
+После [ревью](../rs-review/SKILL.md) ответ может выглядеть так:
 
 > **Вердикт:** схема покрывает роли и отношение подчинения; главный риск — вычисляемая «степень» задана графиком пар вместо терм-функции.
 >

package/skills/{rstool-helper → rstool-runtime}/REFERENCE.md

@@ -1,6 +1,6 @@
 # ЯРЭ и rstool — справочник
 
-Контракт library / stdio / MCP для агентов. Воркфлоу — [GUIDE.md](GUIDE.md). Примеры — [EXAMPLES.md](EXAMPLES.md). Язык — `docs/*.md`.
+Контракт library / stdio / MCP для агентов. Запуск и правила — [SKILL.md](SKILL.md); этапы работы — [../rstool/SKILL.md](../rstool/SKILL.md). Примеры — [EXAMPLES.md](EXAMPLES.md). Язык — `docs/*.md`.
 
 ## Контракт rstool
 
@@ -116,7 +116,7 @@ tool.listDiagnostics({ kind: 'schema', constituentId: 3, severity: 'error' });
 
 Фильтры: `kind?: 'expression' | 'schema' | 'model'`, `constituentId?`, `severity?: 'error' | 'warning'`. В stdio / MCP те же поля передаются **плоско** в `params` (`{ "kind": "schema", "severity": "warning" }`); stdio дополнительно принимает устаревший вложенный `filters`.
 
-`severity` отражает правило инструмента, а не вес для ревью: `schemaMissingConvention` / `schemaMissingTerm` приходят как `error`. Как ранжировать в отчёте — [GUIDE.md](GUIDE.md), «Ревью / оценка готовой КС».
+`severity` отражает правило инструмента, а не вес для ревью: `schemaMissingConvention` / `schemaMissingTerm` приходят как `error`. Как ранжировать в отчёте — [rs-review](../rs-review/SKILL.md), «Ранжирование находок».
 
 Элемент диагностики (агентский вид): `kind`, `code`, `name`, `severity`, `alias?`, `expression`, `from`, `to`, `params?`, `stack?` (цепочка вызовов при ошибке внутри `F#`/`P#`). Ключ для поиска исправления — `name` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
 
@@ -223,7 +223,7 @@ tool.synthesize({
 
 ### `importData(payload, kind?)`
 
-`kind`: `'auto'` (default), `'session'`, `'portal-details'` (`GET /api/rsforms/:id/details`), `'portal-schema'` (Portal Load from JSON). После импорта новая сессия становится текущей. Возвращает `SessionHandle`.
+`kind`: `'auto'` (default), `'session'`, `'portal-details'` (JSON of `GET /api/agents/rsforms/:id/details` or public `GET /api/rsforms/:id/details`), `'portal-schema'` (Portal Load from JSON). После импорта новая сессия становится текущей. Возвращает `SessionHandle`.
 
 Portal JSON из `/details` **не** является `exportSession` — не передавай его с `kind: 'session'`.
 
@@ -269,9 +269,11 @@ JSON-строка сессии для последующего `importData(...,
 | Проектирование, `F#` vs пары, ревью                | [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md) |
 | Поля и валидация конституенты                      | [CONSTITUENTA.md](../../docs/CONSTITUENTA.md)           |
 | Формы значений КМ, тесты                           | [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)         |
-| Ссылка Portal, REST, curl                          | [PORTAL-API.md](../../docs/PORTAL-API.md)               |
+| Ссылка Portal, REST, curl                          | [PORTAL-READ.md](../../docs/PORTAL-READ.md)             |
 | Термины, статусы, «не путать»                      | [DOMAIN.md](../../docs/DOMAIN.md)                       |
-| Воркфлоу агента                                    | [GUIDE.md](GUIDE.md)                                    |
+| Бриф, сценарии, `check-brief`                      | [BRIEF.md](../../docs/BRIEF.md)                         |
+| Метод: этапы и гейты                               | [METHOD.md](../../docs/METHOD.md)                       |
+| Этапы работы, маршрут                              | [../rstool/SKILL.md](../rstool/SKILL.md)                |
 | Сниппеты и антипаттерны                            | [EXAMPLES.md](EXAMPLES.md)                              |
 
 Исходники кодов ошибок ЯРЭ: `@rsconcept/domain` (`RSErrorCode`, `error.ts`). Не дублируй грамматику в skill — правь domain и при необходимости этот help map.

package/skills/rstool-runtime/SKILL.md

@@ -0,0 +1,96 @@
+---
+name: rstool-runtime
+description: >-
+  Как вызывать rstool: библиотека RSToolAgent, stdio-обёртка, MCP. Быстрый
+  контракт, запуск скриптов вне пакета, сохранение сессий, кодировки Windows,
+  словарь «API → текст для пользователя».
+---
+
+# rstool · запуск и контракт
+
+Пути — от `<rstool>`. Полный контракт — [REFERENCE.md](REFERENCE.md); сниппеты и антипаттерны — [EXAMPLES.md](EXAMPLES.md).
+
+## Быстрый контракт
+
+- Библиотека: `@rsconcept/rstool`, класс `RSToolAgent`. Анализатор — `@rsconcept/domain`.
+- Правка схемы — только `applySchemaPatch({ items, mode?, commitMessage? })`. `id` и `cstType` выводятся из префикса имени (`X/C/S/D/F/P/A/T/N`); пачка упорядочивается сама. `mode: 'atomic'` (по умолчанию) откатывает всё при первой ошибке; `'best_effort'` применяет корректное — после него `failed` должен стать пустым.
+- Черновик формулы — `analyzeExpression({ expression, cstType })` без сохранения.
+- Диагностики — `listDiagnostics({ kind?, severity? })`; `analysisSuccess: true` в summary не означает их отсутствия.
+- Состояние — `getSessionState()` (summary) или `getSessionState('full')`.
+- Модель — `await setModelValues(...)`, `evaluate`, `recalculateModel`; `status` — число (`EvalStatus`). Для проверки смысла по брифу удобнее сценарии и `check-brief` (`docs/BRIEF.md`).
+- Синтез (встраивание) — `synthesize({ sourceSessionId, substitutions })`; имена источника перенумеровываются (`aliasMapping` в ответе).
+- Импорт / экспорт — `importData(payload, kind?)` (`auto` различает сессию и JSON Portal), `exportSession()`, `exportPortal({ kind: 'schema' })`.
+- Stdio (`npx rstool-wrapper`) и MCP (`@rsconcept/rstool-mcp`, имена в `snake_case`): **плоские** `params` — поля метода и `sessionId` на одном уровне.
+
+## Запуск скрипта вне пакета
+
+Разовые скрипты, сессии, бриф и экспорт — в папке задачи, **не** в `<rstool>`.
+
+**В workspace Portal** (после `pnpm install` и сборки `@rsconcept/domain`):
+
+```bash
+pnpm --filter @rsconcept/rstool exec tsx <abs>/task/build.mts
+```
+
+- Импорт по абсолютному `file://` URL: `import { RSToolAgent } from 'file:///<workspace>/rsconcept/rstool/src/index.ts'`. Обычный `'@rsconcept/rstool'` из файла вне пакета не резолвится; на Windows путь без `file://` падает (`ERR_UNSUPPORTED_ESM_URL_SCHEME`).
+- Расширение **`.mts`**: `.ts` вне пакета считается CommonJS, а `@rsconcept/*` — только ESM.
+- Helpers domain — тем же способом: `file:///…/rsconcept/domain/src/index.ts` (`TUPLE_ID`, `EvalStatus`), `…/domain/src/rslang/labels.ts` (`labelType`).
+
+**В npm-проекте:** `npx tsx task/build.mts` с обычным `import { RSToolAgent } from '@rsconcept/rstool'`.
+
+Альтернатива без резолвинга — stdio из собранного `dist`: `new RSToolWrapperClient({ command: 'node', args: ['<abs>/rsconcept/rstool/dist/wrapper/stdio-wrapper.js'] })`.
+
+```ts
+import { readFileSync, writeFileSync } from 'node:fs';
+import { RSToolAgent } from 'file:///<workspace>/rsconcept/rstool/src/index.ts';
+
+const tool = new RSToolAgent();
+tool.importData(readFileSync('<abs>/task/session.json', 'utf-8'));
+console.log(tool.listDiagnostics());
+writeFileSync('<abs>/task/session.json', tool.exportSession(), 'utf-8');
+```
+
+**Проверка брифа** — `skills/scripts/check-brief.ts` запускается из пакета, не копируется: `pnpm --filter @rsconcept/rstool exec tsx skills/scripts/check-brief.ts --session <abs> --brief <abs>` (npm: `npx tsx node_modules/@rsconcept/rstool/skills/scripts/check-brief.ts …`).
+
+## Сохранение сессий
+
+Сессии живут в памяти процесса. Между запусками скрипта сохраняй `exportSession()` в файл и загружай `importData`. `new RSToolAgent({ persistenceDir })` (stdio / MCP: `RSTOOL_PERSISTENCE_DIR`) сохраняет сессии автоматически.
+
+## Windows и кодировки
+
+- Консоль часто в cp1251: символы ЯРЭ в выводе ломаются. Пиши результаты в файл UTF-8; в PowerShell — `-Encoding utf8`.
+- JSON — UTF-8 без экранирования Unicode (`ensure_ascii=False` в Python). Логи в `print` — ASCII.
+- В PowerShell вызывай `curl.exe`, а не alias `curl`.
+
+## Язык ответа
+
+С пользователем — термины предметной области, не имена API. Идентификаторы уместны только в коде, патчах и JSON.
+
+| В API                             | В тексте ответа                     |
+| :-------------------------------- | :---------------------------------- |
+| `alias`                           | имя конституенты                    |
+| `cstType`                         | тип конституенты                    |
+| `definitionFormal`                | формальное определение (формула)    |
+| `term`                            | термин                              |
+| `definitionText`                  | текстовое определение               |
+| `convention`                      | конвенция                           |
+| `applySchemaPatch`                | правка схемы                        |
+| `synthesize`                      | встраивание / синтез схем           |
+| `analyzeExpression`               | проверка / анализ выражения         |
+| `listDiagnostics`, `diagnostics`  | диагностики                         |
+| `setModelValues`, `getModelState` | интерпретация, значения модели      |
+| `evaluate`, `recalculateModel`    | вычисление, пересчёт модели         |
+| `commitStep`, `commitMessage`     | фиксация шага (ревизия)             |
+| `exportSession` / `exportPortal`  | экспорт сессии / экспорт для Portal |
+| `importData`                      | импорт данных                       |
+| session, `sessionId`              | сессия                              |
+| brief, `check-brief`              | бриф, проверка по брифу             |
+
+Имена конституент (`X1`, `D3`) и формулы — часть схемы, приводи как есть, лучше с термином. Термины КС — `docs/DOMAIN.md` «Термины: не путать».
+
+## Не делай
+
+- Не клади разовые скрипты и снимки в `<rstool>` и `examples/`.
+- Не передавай JSON `/details` Portal с `kind: 'session'`.
+- Не повторяй вызов без изменения ввода.
+- Не задавай значения производным понятиям — только `X#`, `C#`, `S#`.

package/skills/scripts/brief-check.test.ts

@@ -0,0 +1,165 @@
+import { describe, expect, it } from 'vitest';
+
+import { RSToolAgent } from '../../src';
+
+import { type Brief, checkBrief } from './brief-check';
+
+function buildSession(overrides: Record<string, { definitionFormal?: string; cstType?: string }> = {}): string {
+  const tool = new RSToolAgent();
+  tool.createSession({ title: 'Выдачи' });
+  const items = [
+    { alias: 'X1', term: 'читатели', convention: 'Читатели библиотеки.' },
+    { alias: 'X2', term: 'экземпляры', convention: 'Экземпляры книг в фонде.' },
+    {
+      alias: 'S1',
+      term: 'выдачи',
+      definitionFormal: 'ℬ(X1×X2×Z)',
+      convention: 'Тройка (читатель, экземпляр, срок в днях).'
+    },
+    { alias: 'D1', term: 'выданные экземпляры', definitionFormal: 'Pr2(S1)' },
+    { alias: 'D2', term: 'доступные экземпляры', definitionFormal: 'X2\\D1' },
+    { alias: 'F1', term: 'экземпляры читателя', definitionFormal: '[ξ∈X1] Pr2(Fi1[{ξ}](S1))' },
+    { alias: 'P1', term: 'должник', definitionFormal: '[ξ∈X1] F1[ξ]≠∅' },
+    { alias: 'A1', term: 'экземпляр выдан одному', definitionFormal: 'card(Pr2(S1))=card(S1)' }
+  ].map(item => ({ ...item, ...overrides[item.alias] }));
+  tool.applySchemaPatch({ items: items as Parameters<RSToolAgent['applySchemaPatch']>[0]['items'] });
+  return tool.exportSession();
+}
+
+const BRIEF: Brief = {
+  version: 1,
+  status: 'confirmed',
+  approach: 'project',
+  object: 'Выдача книг',
+  task: 'Проверка выдач',
+  expressiveness: [
+    { id: 'E1', concept: 'выданный экземпляр', via: 'Pr2 выдач', constituent: 'D1' },
+    { id: 'E2', concept: 'доступный экземпляр', via: 'дополнение E1', constituent: 'D2' },
+    { id: 'E3', concept: 'экземпляры читателя', via: 'фильтр выдач', constituent: 'F1' }
+  ],
+  distinctions: [{ id: 'V1', between: ['E1', 'E2'], witness: 'SC1' }],
+  invariants: [{ id: 'I1', text: 'Экземпляр не выдан дважды', constituent: 'A1', positive: 'SC1', negative: 'SC2' }],
+  decisions: [{ id: 'DC1', topic: 'выдача', choice: 'читатель × экземпляр × срок', rationale: 'срок нужен' }],
+  scenarios: [
+    {
+      id: 'SC1',
+      title: 'Обычные выдачи',
+      values: {
+        X1: ['ann', 'bob'],
+        X2: ['e1', 'e2', 'e3'],
+        S1: [
+          ['ann', 'e1', 3],
+          ['bob', 'e2', 5]
+        ]
+      },
+      expect: [
+        { of: 'D1', value: ['e1', 'e2'] },
+        { of: 'D2', contains: ['e3'], excludes: ['e1'] },
+        { of: 'F1', args: ['ann'], value: ['e1'] },
+        { of: 'P1', args: ['bob'], holds: true },
+        { of: 'A1', holds: true },
+        { expr: 'card(D1)', value: 2 }
+      ]
+    },
+    {
+      id: 'SC2',
+      title: 'Двойная выдача',
+      base: 'SC1',
+      values: {
+        S1: [
+          ['ann', 'e1', 3],
+          ['bob', 'e1', 4]
+        ]
+      },
+      expect: [{ of: 'A1', holds: false }]
+    }
+  ]
+};
+
+describe('checkBrief', () => {
+  it('passes a schema that answers the brief', async () => {
+    const { readiness, scenarios } = await checkBrief({ session: buildSession(), brief: BRIEF });
+    expect(scenarios.flatMap(item => item.checks.filter(check => !check.passed))).toEqual([]);
+    expect(readiness.blockers).toEqual([]);
+    expect(readiness.ready).toBe(true);
+    expect(readiness.stage).toBe('review');
+    expect(readiness.coverage).toEqual({ expressiveness: '3/3', invariants: '1/1', distinctions: '1/1' });
+  });
+
+  it('reports a failed expectation with labels', async () => {
+    const session = buildSession({ D2: { definitionFormal: 'X2' } });
+    const { readiness, scenarios } = await checkBrief({ session, brief: BRIEF });
+    const failed = scenarios[0].checks.find(check => !check.passed);
+    expect(failed?.target).toBe('D2');
+    expect(failed?.actual).toBe('["e1","e2","e3"]');
+    expect(readiness.stage).toBe('interpret');
+  });
+
+  it('reports uncovered requirements and missing reasoning', async () => {
+    const brief: Brief = {
+      ...BRIEF,
+      status: 'draft',
+      expressiveness: [...BRIEF.expressiveness, { id: 'E4', concept: 'просроченная выдача', constituent: null }]
+    };
+    const { readiness } = await checkBrief({ session: buildSession(), brief });
+    expect(readiness.stage).toBe('scope');
+    expect(readiness.coverage.expressiveness).toBe('3/4');
+    expect(readiness.blockers.some(item => item.startsWith('E4'))).toBe(true);
+  });
+
+  it('detects a collapsed distinction', async () => {
+    const session = buildSession({ D2: { definitionFormal: 'Pr2(S1)' } });
+    const { readiness } = await checkBrief({
+      session,
+      brief: { ...BRIEF, approach: 'research', scenarios: [BRIEF.scenarios![1]] }
+    });
+    expect(readiness.blockers.some(item => item.startsWith('V1'))).toBe(true);
+  });
+
+  it('detects weakening against the base version', async () => {
+    const base = buildSession();
+    const session = buildSession({
+      A1: { definitionFormal: 'S1=S1' },
+      D1: { cstType: 'structure', definitionFormal: 'ℬ(X2)' }
+    });
+    const { readiness } = await checkBrief({ session, base, brief: { ...BRIEF, scenarios: [] } });
+    expect(readiness.blockers.some(item => item.startsWith('A1: формула стала тривиальной'))).toBe(true);
+    expect(readiness.blockers.some(item => item.startsWith('D1: производное понятие стало неопределяемым'))).toBe(true);
+  });
+
+  it('reports orphans for project schemas', async () => {
+    const tool = new RSToolAgent();
+    tool.importData(buildSession(), 'session');
+    tool.applySchemaPatch({ items: [{ alias: 'D3', term: 'лишнее', definitionFormal: 'X1×X2' }] });
+    const { readiness } = await checkBrief({ session: tool.exportSession(), brief: BRIEF });
+    expect(readiness.blockers.some(item => item.includes('D3'))).toBe(true);
+  });
+
+  it('flags an axiom that is false on an admissible scenario', async () => {
+    const tool = new RSToolAgent();
+    tool.importData(buildSession(), 'session');
+    tool.applySchemaPatch({ items: [{ alias: 'A2', term: 'один читатель', definitionFormal: 'card(Pr1(S1))≤1' }] });
+    const { readiness, scenarios } = await checkBrief({ session: tool.exportSession(), brief: BRIEF });
+    expect(scenarios[0].checks.some(check => check.target === 'A2 (допустимый сценарий)')).toBe(true);
+    expect(scenarios[1].checks.some(check => check.target.startsWith('A2'))).toBe(false);
+    expect(readiness.ready).toBe(false);
+  });
+
+  it('compares functions by their graphs in distinctions', async () => {
+    const tool = new RSToolAgent();
+    tool.importData(buildSession(), 'session');
+    tool.applySchemaPatch({ items: [{ alias: 'F2', term: 'то же', definitionFormal: '[ξ∈X1] Pr2(Fi1[{ξ}](S1))' }] });
+    const brief: Brief = { ...BRIEF, approach: 'research', distinctions: [{ id: 'V2', between: ['F1', 'F2'] }] };
+    const { readiness } = await checkBrief({ session: tool.exportSession(), brief });
+    expect(readiness.blockers.some(item => item.startsWith('V2: F1 и F2 совпадают'))).toBe(true);
+  });
+
+  it('warns when conventions cite brief decisions', async () => {
+    const tool = new RSToolAgent();
+    tool.importData(buildSession(), 'session');
+    tool.applySchemaPatch({ items: [{ alias: 'X2', convention: 'Экземпляры книг (решение DC1).' }] });
+    const { readiness } = await checkBrief({ session: tool.exportSession(), brief: BRIEF });
+    expect(readiness.warnings.some(item => item.includes('(DC#): X2'))).toBe(true);
+    expect(readiness.warnings.some(item => item.startsWith('Описание схемы пусто'))).toBe(true);
+  });
+});