@rsconcept/rstool 1.7.1 → 2.0.0

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,12 +154,15 @@ 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` без конвенции                                 | добавь предметную конвенцию                                      |
 | `schemaHomonym`                                   | одинаковый термин у разных конституент             | различай термины                                                 |
 | `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({
@@ -237,6 +242,29 @@ const scratch = tool.evaluate({ expression: '1+2', cstType: CstType.TERM });
 const recalc = tool.recalculateModel();
 ```
 
+Множества `S#` — кортежи `[TUPLE_ID, i, j]` по индексам `X#`; порядок во входе не важен (нормализуется). Scratch может ссылаться на производные конституенты; логические выражения — с `cstType: CstType.AXIOM`:
+
+```ts
+import { EvalStatus, TUPLE_ID } from '@rsconcept/domain';
+
+await tool.setModelValues({
+  set: [
+    { target: 1, value: { 0: 'a', 1: 'b', 2: 'c' } },
+    {
+      target: 2,
+      value: [
+        [TUPLE_ID, 1, 2],
+        [TUPLE_ID, 0, 1]
+      ]
+    } // S1: ℬ(X1×X1)
+  ]
+});
+const closure = tool.evaluate({ constituentId: 9 }); // D9 — транзитивное замыкание
+closure.status === EvalStatus.HAS_DATA; // status — число: 7
+const check = tool.evaluate({ expression: 'S1⊆D9', cstType: CstType.AXIOM });
+check.value === 1;
+```
+
 ## Экспорт / импорт и Portal round-trip
 
 ```ts
@@ -246,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).
 
 ## Встраивание схемы (синтез)
 
@@ -282,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
 
@@ -114,7 +114,9 @@ tool.listDiagnostics({ kind: 'expression' });
 tool.listDiagnostics({ kind: 'schema', constituentId: 3, severity: 'error' });
 ```
 
-Фильтры: `kind?: 'expression' | 'schema' | 'model'`, `constituentId?`, `severity?: 'error' | 'warning'`.
+Фильтры: `kind?: 'expression' | 'schema' | 'model'`, `constituentId?`, `severity?: 'error' | 'warning'`. В stdio / MCP те же поля передаются **плоско** в `params` (`{ "kind": "schema", "severity": "warning" }`); stdio дополнительно принимает устаревший вложенный `filters`.
+
+`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)).
 
@@ -132,6 +134,8 @@ tool.analyzeExpression({
 
 **Результат:** `{ success, type, valueClass, diagnostics }`. Не сохраняет конституенту. Для черновика формулы — до `applySchemaPatch`.
 
+`type` — AST типизации; для чтения используй `labelType` из `@rsconcept/domain/rslang/labels` (`ℬ(X1×X1)`, `[X1] → ℬ(X1)`, `Logic`). `success: true` совместим с диагностикой `error` (например, `invalidPropertyUsage` при `valueClass: null`) — проверяй `diagnostics`.
+
 ## `evaluate`
 
 Ровно один вариант входа:
@@ -141,7 +145,19 @@ tool.analyzeExpression({
 
 **Результат:** `{ success, value, status, iterations, cacheHits, diagnostics }`.
 
-`status` — статус вычисления КМ (`HAS_DATA`, `EMPTY`, `AXIOM_FALSE`, `EVAL_FAIL`, … — [DOMAIN.md](../../docs/DOMAIN.md)).
+`status` — статус вычисления КМ, **числовой** код `EvalStatus` (`@rsconcept/domain`); смысл — [DOMAIN.md](../../docs/DOMAIN.md):
+
+| Код | Имя             | Смысл                                   |
+| --: | --------------- | --------------------------------------- |
+| `1` | `NO_EVAL`       | не вычисляется (`X#`, `C#`, `F#`, `P#`) |
+| `2` | `NOT_PROCESSED` | вычисление не запускалось               |
+| `3` | `INVALID_DATA`  | неверная интерпретация                  |
+| `4` | `EVAL_FAIL`     | ошибка вычисления                       |
+| `5` | `AXIOM_FALSE`   | аксиома ложна                           |
+| `6` | `EMPTY`         | результат пуст                          |
+| `7` | `HAS_DATA`      | вычислено, непусто                      |
+
+Scratch-выражение: `cstType` задаёт ожидаемую ступень (`term` — множество / число, `axiom` — логическое). Ссылки на `D#` / `A#` / `T#` внутри scratch допустимы — их значения (и зависимости через `F#` / `P#`) вычисляются перед оценкой.
 
 ## `setModelValues` / `getModelState` / `recalculateModel`
 
@@ -155,8 +171,9 @@ await tool.setModelValues({
 - `set[]`: `{ target, value, type? }` — `target` = id конституенты; `type` обычно не нужен.
 - `clear[]`: id для сброса значений.
 - Метод **async**. После изменения данных пересчитываются диагностики модели.
+- Значения `S#` приводятся к канонической форме (сортировка, без дубликатов) — порядок элементов во входе не важен; в `getModelState` хранится уже нормализованное значение.
 - `getModelState()` → `{ items: [{ id, type, value }] }`.
-- `recalculateModel()` → `{ items: [{ id, alias, value, status }] }`.
+- `recalculateModel()` → `{ items: [{ id, alias, value, status }] }` (`status` — числовой `EvalStatus`, таблица выше).
 
 Формы `value` для `X#` / `S#` — [MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
 
@@ -206,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'`.
 
@@ -237,6 +254,7 @@ JSON-строка сессии для последующего `importData(...,
 {"id":"9","method":"exportPortal","params":{"kind":"schema"}}
 {"id":"10","method":"importData","params":{"payload":"..."}}
 {"id":"11","method":"getSessionState","params":{"detail":"summary"}}
+{"id":"12","method":"listDiagnostics","params":{"kind":"expression","severity":"error"}}
 ```
 
 ## Help map: ошибка → документ
@@ -245,14 +263,17 @@ JSON-строка сессии для последующего `importData(...,
 | -------------------------------------------------- | ------------------------------------------------------- |
 | Код / `name` диагностики                           | [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)             |
 | Синтаксис операторов, `D{}`/`I{}`/`R{}`, `F#`/`P#` | [SYNTAX.md](../../docs/SYNTAX.md)                       |
+| Объяснить формулу / конструкцию человеку           | [CONSTRUCTIONS.md](../../docs/CONSTRUCTIONS.md)         |
 | Ступени, `AnalysisResult.type`                     | [TYPIFICATION.md](../../docs/TYPIFICATION.md)           |
 | `X#` vs `C#` vs `Z`, переносимость                 | [BASE-SELECTION.md](../../docs/BASE-SELECTION.md)       |
 | Проектирование, `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);
+  });
+});