@rsconcept/rstool 1.9.0 → 2.0.0

package/docs/PORTAL-READ.md

@@ -0,0 +1,301 @@
+# Portal: чтение схем
+
+Как по ссылке Portal получить КС (или её метаданные) и перенести её в `rstool`. `rstool` сам не ходит в REST API: он работает с in-memory сессиями. Агент получает JSON Portal отдельно, затем импортирует его.
+
+Карта всех маршрутов — [PORTAL-API.md](PORTAL-API.md). Публикация — [PORTAL-PUBLISH.md](PORTAL-PUBLISH.md), модели — [PORTAL-MODELS.md](PORTAL-MODELS.md), ОСС — [PORTAL-OSS.md](PORTAL-OSS.md).
+
+## Хосты
+
+- UI: `https://portal.acconcept.ru/`
+- REST API: `https://api.portal.acconcept.ru/`
+
+## Пути
+
+- `/rsforms/:id` в UI → `GET /api/rsforms/:id` для метаданных.
+- Полная КС → `GET /api/rsforms/:id/details`.
+- Версия КС → `GET /api/library/:id/versions/:version`.
+- Список доступных объектов → `GET /api/library/active`.
+- Поиск по тексту в схемах/ОСС/моделях → `GET /api/library/context-search?q=...`.
+- Метаданные объектов по id → `GET /api/library/by-ids?ids=856,1203`.
+- ОСС → `GET /api/oss/:id` и соседние routes viewset.
+- Модель → `GET /api/models/:id`.
+- OpenAPI JSON → `GET https://api.portal.acconcept.ru/schema`.
+
+Для UI-ссылки `https://portal.acconcept.ru/rsforms/856` агент должен ходить на:
+
+```text
+GET https://api.portal.acconcept.ru/api/rsforms/856
+GET https://api.portal.acconcept.ru/api/rsforms/856/details
+```
+
+Не переноси UI query/hash вроде `?tab=editor`.
+
+## Доступ
+
+**Для агентов** есть выделенный API под `/api/agents/*` с авторизацией по **API-ключу**
+(`Authorization: Bearer rcp_…`). Ключи выдаёт пользователь в профиле Portal (вкладка «API keys»).
+Ключи **не** открывают обычные UI-маршруты (`/api/rsforms`, `/api/library`, …) — те по-прежнему
+требуют сессию браузера и CSRF.
+
+Запросы **без** авторизации к публичному REST видят только объекты с `access_policy: "public"`
+в общих разделах (`/S`, `/L`). Это касается `context-search`, `by-ids`, `GET /api/rsforms/:id`
+и `/details`.
+
+- Недоступная схема → `403` на прямой запрос; в `by-ids` такой id **пропускается**.
+- Личные (`/U`) и проектные (`/P`) объекты через анонимный API **не читаются**, даже если
+  пользователь дал UI-ссылку.
+- Если нужны только `title`, `alias`, `description`, `owner`, `access_policy`, не запрашивай `/details`.
+
+В браузере Portal использует Django session (`SessionAuthentication`). **Не предлагай
+пользователю передавать session cookie агенту** — для curl/скриптов это нерабочий путь
+(cookie привязан к браузеру, истекает, не предназначен для машинного доступа).
+
+### API-ключи (рекомендуемый путь для агентов)
+
+1. Пользователь создаёт ключ в профиле → получает секрет `rcp_<prefix>_<secret>` **один раз**.
+2. Агент передаёт `Authorization: Bearer <секрет>` на маршруты `/api/agents/...`.
+3. Ключ действует от имени пользователя (те же права Owner/Editor на объекты библиотеки).
+   Отключённый аккаунт ключ не принимает.
+4. Мутации пишутся в журнал в профиле: код действия, статус и текст запроса, обрезанный до 4000 символов. Секрет ключа в журнал не попадает. Отказы `429` и чтения не пишутся. Строки старше 30 дней удаляются, сама очистка запускается не чаще раза в 7 дней. Оба срока задаются окружением: `AGENT_LOG_RETENTION_DAYS` и `AGENT_LOG_CLEANUP_INTERVAL_DAYS`.
+
+Если КС не публичная и **нет** API-ключа, варианты для агента:
+
+1. Пользователь временно делает схему публичной (`access_policy: public`).
+2. Пользователь экспортирует JSON (`GET /api/rsforms/:id/details` из своей сессии в UI
+   или экспорт из Portal) и передаёт JSON в чат или файл — агент переносит в `rstool`.
+3. Работа с личной библиотекой остаётся в UI Portal; агент помогает с публичными схемами
+   и с JSON, который пользователь явно предоставил.
+
+## Список и контекстный поиск в библиотеке
+
+Чтобы найти схему по термину, формуле или названию, не перебирай все id подряд.
+Бэкенд и UI используют контекстный поиск по вложенным текстовым полям.
+
+### Полный список доступных объектов
+
+```text
+GET /api/library/active
+```
+
+Возвращает массив метаданных (`id`, `item_type`, `title`, `alias`, `description`, `location`,
+`access_policy`, `visible`, …) для объектов, доступных текущему пользователю: публичные в `/S` и
+`/L`, собственные и те, где пользователь редактор. Анониму — только публичные в общих разделах.
+
+Для агентов обычно достаточно `context-search`; полный `active` нужен, если требуется обойти
+все объекты без текстового фильтра.
+
+### Контекстный поиск
+
+```text
+GET /api/library/context-search?q=<текст>&search_fields=<поля>&location=<путь>&subfolders=0|1&item_type=<тип>&admin=0|1
+```
+
+Ответ: `{ "ids": [856, 1203, ...] }` — id объектов библиотеки (КС, ОСС, RSModel), у которых
+совпал хотя бы один из запрошенных текстовых фрагментов. Пустой или пробельный `q` → `ids: []`.
+Регистр не важен; кириллица поддерживается.
+
+| Параметр        | Обязателен | Описание                                                |
+| --------------- | ---------- | ------------------------------------------------------- |
+| `q`             | да\*       | Подстрока для поиска (\*пустой → пустой ответ)          |
+| `search_fields` | нет        | Список полей через запятую; по умолчанию — все          |
+| `location`      | нет        | Путь папки (`/S`, `/U/Проект`, …); см. ниже             |
+| `subfolders`    | нет        | `1`/`true` — включать вложенные папки; по умолчанию `0` |
+| `item_type`     | нет        | `rsform`, `oss` или `rsmodel` — ограничить тип объекта  |
+| `admin`         | нет        | `1`/`true` — искать по всей библиотеке (только staff)   |
+
+Допустимые значения `search_fields`:
+
+| Поле                | Где ищет                                          |
+| ------------------- | ------------------------------------------------- |
+| `alias`             | Шифр объекта и конституент                        |
+| `title`             | Название объекта                                  |
+| `description`       | Описание объекта                                  |
+| `term`              | Термин конституенты (`term_raw`, `term_resolved`) |
+| `definition_formal` | Формальное определение, ручная типизация          |
+| `definition_text`   | Текстовое определение конституенты                |
+| `convention`        | Соглашение конституенты                           |
+| `operation`         | Операции ОСС (alias, title, description)          |
+| `block`             | Блоки ОСС (title, description)                    |
+
+Для КС по термину или формуле обычно не указывай `search_fields` (все поля) или явно:
+`search_fields=term,definition_formal,title`.
+
+### Префиксы `location`
+
+Путь хранится в поле `location` каждого объекта. Корневые префиксы:
+
+| Префикс | Значение                                     |
+| ------- | -------------------------------------------- |
+| `/S`    | Общие (COMMON), публичные схемы для анонимов |
+| `/L`    | Библиотека (LIBRARY), staff                  |
+| `/U`    | Личное пространство пользователя             |
+| `/P`    | Проекты                                      |
+
+Вложенные папки: `/U/Мой проект/Подпапка`.
+
+- без `subfolders` (по умолчанию) — только объекты с точным совпадением `location`;
+- с `subfolders=1` — объекты в папке и во всех вложенных (`/U/Проект`, `/U/Проект/Подпапка`, …).
+
+Параметр `item_type` сужает поиск до КС (`rsform`), ОСС (`oss`) или моделей (`rsmodel`).
+Для поиска только концептуальных схем удобно: `item_type=rsform`.
+
+### Метаданные по списку id
+
+После `context-search` не нужно запрашивать всю библиотеку (`/active`) или каждый объект отдельно.
+
+```text
+GET /api/library/by-ids?ids=<id1>,<id2>,...
+```
+
+Ответ — массив метаданных в том же формате, что и `GET /api/library/active`:
+`id`, `item_type`, `title`, `alias`, `description`, `location`, `access_policy`, `visible`, …
+
+| Параметр | Описание                |
+| -------- | ----------------------- |
+| `ids`    | Список id через запятую |
+
+Правила доступа те же, что у `context-search` и `active`: недоступные id **пропускаются**
+(не ошибка, не `403` на весь запрос). Порядок элементов в ответе совпадает с порядком id
+в запросе. Пустой `ids` → `[]`.
+
+Для одной КС по-прежнему можно `GET /api/rsforms/:id`; для нескольких результатов поиска
+удобнее `by-ids`, затем `GET /api/rsforms/:id/details` только для выбранных КС.
+
+### Примеры curl
+
+Публичный поиск по термину (без авторизации):
+
+```bash
+curl.exe -s "https://api.portal.acconcept.ru/api/library/context-search?q=множество"
+```
+
+Только в названиях и шифрах:
+
+```bash
+curl.exe -s "https://api.portal.acconcept.ru/api/library/context-search?q=логика&search_fields=title,alias"
+```
+
+Только КС в общем разделе и подпапках:
+
+```bash
+curl.exe -s "https://api.portal.acconcept.ru/api/library/context-search?q=множество&location=/S&subfolders=1&item_type=rsform"
+```
+
+Типичный пайплайн агента — найти id, затем метаданные и при необходимости полную КС:
+
+```bash
+# 1. Поиск
+curl.exe -s "https://api.portal.acconcept.ru/api/library/context-search?q=множество"
+
+# 2. Метаданные найденных объектов (подставь ids из шага 1)
+curl.exe -s "https://api.portal.acconcept.ru/api/library/by-ids?ids=856,1203"
+
+# 3. Полная КС для переноса в rstool (только для выбранной схемы)
+curl.exe -s "https://api.portal.acconcept.ru/api/rsforms/856/details"
+```
+
+## Формат `GET /api/rsforms/:id/details`
+
+Ответ содержит метаданные объекта библиотеки и массив `items[]` с конституентами.
+Для анализа КС обычно нужны только корневые `title`, `alias`, `description` и поля каждой конституенты.
+
+| Portal JSON           | `rstool`                 | Примечание                                            |
+| --------------------- | ------------------------ | ----------------------------------------------------- |
+| `id`                  | `draft.id`               | Стабильный id внутри сессии                           |
+| `alias`               | `draft.alias`            | `X1`, `C1`, `S1`, `D1`, `F1`, `P1`, `A1`, `T1`        |
+| `cst_type`            | `draft.cstType`          | Значения совпадают с `CstType`                        |
+| `definition_formal`   | `draft.definitionFormal` | Пустая строка допустима только для `basic`/`constant` |
+| `term_raw`            | `draft.term`             | Для редактирования сохраняй raw, не resolved          |
+| `definition_raw`      | `draft.definitionText`   | Для редактирования сохраняй raw, не resolved          |
+| `convention`          | `draft.convention`       | Соглашение, не формальная проверка                    |
+| `term_resolved`       | не переносить            | Только отображение после resolver                     |
+| `definition_resolved` | не переносить            | Только отображение после resolver                     |
+| `typification_manual` | обычно не переносить     | Переопределение типизации                             |
+| `term_forms`          | обычно не переносить     | Словоформы термина                                    |
+| `crucial`             | обычно не переносить     | UI/Portal-флаг                                        |
+| `value_is_property`   | обычно не переносить     | Переопределение класса интерпретируемости             |
+
+`inheritance`, `attribution`, `oss`, `models`, `versions`, `editors` полезны для контекста Portal, но не нужны для базовой проверки ЯРЭ в `rstool`.
+
+## Как перенести КС в rstool
+
+1. Получи `GET /api/rsforms/:id/details`.
+2. Вызови `importData(JSON.stringify(payload))` — auto определит `portal-details`; для Load from JSON — `importData(payload, 'portal-schema')`.
+3. Проверь `listDiagnostics()` (после `importData` сессия уже текущая).
+4. Работай локально: анализ, правки, вычисления, маленькая КМ.
+5. Для сохранения рабочей сессии используй `exportSession`.
+6. Для загрузки схемы обратно в Portal используй `exportPortal({ kind: 'schema' })`.
+
+Альтернатива: `createSession` + `applySchemaPatch` с массивом `items`.
+
+Portal JSON из `/details` **не является** форматом `exportSession`; используй `importData`, не передавай его как session export.
+
+Минимальный импорт:
+
+```ts
+const session = tool.importData(JSON.stringify(portal));
+tool.listDiagnostics();
+```
+
+Пакетный маппинг через `applySchemaPatch`:
+
+```ts
+const session = tool.createSession({
+  title: portal.title,
+  alias: portal.alias,
+  comment: portal.description
+});
+
+tool.applySchemaPatch(
+  {
+    items: portal.items.map(item => ({
+      id: item.id,
+      alias: item.alias,
+      cstType: item.cst_type,
+      definitionFormal: item.definition_formal ?? '',
+      term: item.term_raw ?? '',
+      definitionText: item.definition_raw ?? '',
+      convention: item.convention ?? ''
+    }))
+  },
+  session.sessionId
+);
+```
+
+## Практика для агентов
+
+- Запрашивай API host, а не UI host: `https://api.portal.acconcept.ru/api/...`.
+- Для чтения от имени пользователя используй `/api/agents/...` и Bearer API-ключ.
+- Без ключа REST анонима = только **публичные** схемы в `/S` и `/L`.
+- Для непубличной КС без ключа проси JSON (`/details`) или публикацию схемы — не cookie.
+- Сначала бери метаданные, если нужно только название или доступность схемы.
+- Для больших схем используй увеличенный таймаут. В PowerShell вызывай `curl.exe`,
+  а не alias `curl` (`Invoke-WebRequest`), если нужен CLI-синтаксис curl.
+
+### Windows: кодировка в скриптах пайплайна
+
+На Windows консоль по умолчанию часто **cp1251**; Python `print` падает с `UnicodeEncodeError`
+на символах вне этой таблицы (стрелки `→`, математика в логах и т.п.). Если `print` стоит
+**до** следующего шага пайплайна (например вызова `npx tsx`), скрипт оборвётся и артефакт
+не обновится.
+
+- **Запись JSON** — всегда UTF-8; для символов ЯРЭ в формулах не экранируй Unicode в JSON:
+
+```python
+path.write_text(json.dumps(payload, ensure_ascii=False, indent=2), encoding='utf-8')
+```
+
+- **Чтение** — `encoding='utf-8'`; для fetch API предпочитай `urllib` / `requests`, не
+  `Out-File` без явной UTF-8 в PowerShell.
+- **Логи в `print`** — ASCII (`->`, `...`) или только id/alias без математики; не полагайся
+  на то, что консоль UTF-8.
+- При необходимости Unicode в stdout: `PYTHONIOENCODING=utf-8` или `sys.stdout.reconfigure(encoding='utf-8')`
+  (Python 3.7+), но для агентских скриптов проще держать вывод в ASCII.
+
+## Не делай
+
+- Не парси HTML SPA.
+- Не запрашивай UI напрямую, используй преобразованные API запросы.
+- Не предлагай авторизацию через session cookie или `sessionid` в curl.
+- Не передавай `/details` JSON в `importData` с `kind: 'session'`.
+- Не запрашивай `/details`, если нужны только метаданные.

package/docs/README.md

@@ -2,12 +2,15 @@
 
 Краткая справка для агентов.
 
-**Воркфлоу, матрица задач и чеклисты** — в `../skills/rstool-helper/GUIDE.md` (начинай с него: раздел «Задача → чтение»). Здесь — справочные правила языка и предметной области.
+**Процесс работы** — скилл-маршрутизатор `../skills/rstool/SKILL.md`: он определяет сценарий и этап и называет скилл этапа. Здесь — метод, правила языка и предметной области.
 
 ## Какой файл читать
 
+- **METHOD.md** — метод концептуализации: этапы, гейты, вопросы пользователю, защита от подгонки, синтез; соответствие терминов учебника и Portal.
+- **REQUIREMENTS.md** — как превращать требования к ПО и запросы на изменение в бриф: расчистка пунктов ТЗ, различения, инварианты, типичные решения ядра.
+- **BRIEF.md** — бриф схемы: поля, сценарии подписями, проверка `check-brief`. JSON-схема — **brief.schema.json**.
 - **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, синтез / встраивание, ОСС.
-- **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем (в т.ч. терм-функция вместо множества пар).
+- **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем (в т.ч. терм-функция вместо множества пар, (не)пустота через `∅`).
 - **CONSTITUENTA.md** — структура и правила конституент.
 - **BASE-SELECTION.md** — выбор основания: `X#`, `C#` или `Z`.
 - **SYNTAX.md** — синтаксис ЯРЭ: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.
@@ -15,6 +18,6 @@
 - **TYPIFICATION.md** — типизация (`AnalysisResult.type`, `valueClass`).
 - **MODEL-TESTING.md** — проверка семантики определений на маленьких концептуальных моделях.
 - **DIAGNOSTICS.md** — диагностики анализа и способы исправления ошибок.
-- **PORTAL-API.md** — объекты REST API Portal.
+- **PORTAL-API.md** — указатель REST Portal: **PORTAL-READ.md** (ссылка → API, доступ, поиск, импорт), **PORTAL-PUBLISH.md** (протокол публикации, лимиты), **PORTAL-MODELS.md** (интерпретации), **PORTAL-OSS.md** (граф ОСС).
 
-Контракт агента `rstool` (library / stdio / MCP) и примеры — `../skills/rstool-helper/REFERENCE.md`, `EXAMPLES.md` (на русском, вместе с `GUIDE.md`).
+Контракт агента `rstool` (library / stdio / MCP) и примеры — `../skills/rstool-runtime/REFERENCE.md`, `EXAMPLES.md` (на русском).

package/docs/REQUIREMENTS.md

@@ -0,0 +1,61 @@
+# Требования к ПО → бриф схемы
+
+Как превратить ТЗ или запрос на изменение в требования к выразительным средствам, различения и инварианты брифа ([BRIEF.md](BRIEF.md)). Метод — [METHOD.md](METHOD.md). Выдержки — из примеров [`library-loans`](../examples/library-loans/NOTES.md), [`access-control`](../examples/access-control/NOTES.md), [`clinic-booking`](../examples/clinic-booking/NOTES.md).
+
+Назначение такой схемы — `approach: project`: основа для модели данных и проверок. Строгость максимальная: у каждого инварианта позитивный и негативный сценарий, в сценариях — реальные объекты, «сироты» — ошибка.
+
+## 1. Расчистка пунктов ТЗ
+
+Каждый пункт — в одну из категорий:
+
+| Вид пункта ТЗ                              | Пример                                                  | Куда                                                            |
+| :----------------------------------------- | :------------------------------------------------------ | :-------------------------------------------------------------- |
+| сущность или отношение                     | «экземпляр — копия одного издания»                      | ядро (этап 2) и, если есть «один», «каждый», — инвариант        |
+| правило «не может», «не больше», «только»  | «экземпляр не выдан двоим», «не больше 5 на руках»      | инвариант → аксиома                                             |
+| «система показывает / находит / считает …» | «показывает доступные экземпляры»                       | требование к выразительным средствам: **понятие**, а не функция |
+| состояние, статус, вид                     | «первичная или повторная запись», «лекция или практика» | классификация: структуры и аксиомы разбиения, не коды `C#`      |
+| время, история, журнал                     | «история выдач», «журнал изменений 3 года»              | обычно ограничение `restrictions` с невыразимым                 |
+| оплата, уведомления, интеграции            | «SMS за сутки», «оплата онлайн»                         | ограничение (вне предметной области задачи)                     |
+| интерфейс и качество                       | «удобный поиск», «выгрузка в Excel»                     | нерелевантно; в схему не идёт, в разметке отмечено              |
+| процедура (кто что делает)                 | «председатель назначает рецензентов»                    | действие вне схемы состояния; роль — только если нужна правилам |
+
+Пункт про действие («система показывает должников») превращается в понятие («должники»). Пункт про процедуру, если он задаёт ограничение («нельзя выдавать должнику»), — решение: аксиома состояния или «без аксиомы — правило процедуры» (`library-loans`, `DC6`).
+
+## 2. Различения из ТЗ
+
+Ищи пары, которые ТЗ называет одним словом или которые легко склеить при реализации:
+
+- сущность и её экземпляр: **издание ≠ экземпляр**;
+- назначенное и действующее: **назначенные права ≠ эффективные**, **прямая роль ≠ унаследованная**;
+- план и факт: **запись ≠ приём**, **назначение ≠ написанная рецензия**;
+- «есть свойство» и «доступно для действия»: **свободный слот ≠ доступный пациенту**;
+- множество и подмножество по правилу: **читатели с выдачами ≠ должники**.
+
+Для каждого различения — сценарий-свидетель, где значения различаются. Если свидетеля не придумать — возможно, различения нет.
+
+## 3. Инварианты
+
+- Формулировка из ТЗ, ссылка `ref`, будущая аксиома.
+- Позитивный сценарий: нормальные данные, правило выполнено. Негативный: нарушено **только это** правило.
+- Числа и пороги («не больше 5», «не больше двух продлений») — граничный сценарий на пороге и за ним.
+- Правила «через» («в том числе через иерархию») — негатив именно на косвенный случай (`access-control`, `SC3`): иначе проверка только прямого случая выглядит «зелёной».
+
+## 4. Типичные решения ядра для ПО
+
+| Ситуация в ТЗ                                            | Решение                                                   | Пример                     |
+| :------------------------------------------------------- | :-------------------------------------------------------- | :------------------------- |
+| «у X один Y»                                             | отношение + аксиома однозначности, не функция в типе      | `library-loans` `A1`, `A3` |
+| на объект ссылаются из нескольких мест                   | сущность `X#` с отношениями, а не кортеж                  | `clinic-booking` слот      |
+| роли и иерархии                                          | одно множество и отношения; замыкание через `R{}`         | `access-control` `F1`      |
+| текущее состояние без истории                            | структуры состояния + «текущий день» `S#: Z`              | `library-loans` `S3`       |
+| производное значение («права пользователя», «просрочка») | вывод через `D#` / `F#`, не `S#` «задаётся вручную»       | `access-control` `DC2`     |
+| запрос на изменение меняет смысл понятия                 | новое решение с `supersedes`; старые сценарии — регрессия | `library-loans` `DC8`      |
+| новая информация к старой структуре                      | отдельная структура, не новая компонента кортежа          | `library-loans` `DC7`      |
+
+## 5. Запрос на изменение (v2)
+
+1. Восстанови бриф v1 (или возьми готовый) и сохрани сессию v1 как базу.
+2. Спроси, что должно остаться неизменным (раунд 1).
+3. Новые пункты — новые требования и инварианты; затронутые старые — новые решения с `supersedes`.
+4. `check-brief --base <v1>`: удалённые и ослабленные понятия без нового решения — блокеры.
+5. В отчёте — сводка изменений относительно v1.

package/docs/SYNTAX.md

@@ -9,7 +9,7 @@
 - Локальные переменные: `x`, `ξ`, `μ2`, `y1`.
 - Целые: `0`, `42`; отрицательного литерала нет, пиши `0 - 5`.
 - `Z` — встроенная ступень целых (не конституента; отдельной записи `C#` для «целых» не нужно). Сравнение с `C#` — [BASE-SELECTION.md](BASE-SELECTION.md).
-- `∅` — пустое множество с типизацией `ℬ(R0)`.
+- `∅` — пустое множество с типизацией `ℬ(R0)`. В `=` / `≠` подстраивается под ступень сравниваемого множества (`S ≠ ∅`, `S = ∅`). Не используй как нейтральный элемент операций (`X1 ∪ ∅` → `invalidEmptySetUsage`).
 - Скобки и разделители: `()`, `[]`, `{}`, `,`, `;`, `|`.
 - Комментариев в формальных выражениях нет.
 
@@ -103,7 +103,7 @@ R{(ξ, σ) := (STE1, STE2) | LE(ξ, σ) | (STE3, STE4)}
 
 ## Логические выражения (LE)
 
-- Предикаты множеств: `ξ ∈ S`, `ξ ∉ S`, `S1 = S2`, `S1 ≠ S2`, `S1 ⊆ S2`, `S1 ⊂ S2`, `S1 ⊄ S2`.
+- Предикаты множеств: `ξ ∈ S`, `ξ ∉ S`, `S1 = S2`, `S1 ≠ S2`, `S1 ⊆ S2`, `S1 ⊂ S2`, `S1 ⊄ S2`. (Не)пустота: `S ≠ ∅`, `S = ∅`, `A ∩ B ≠ ∅` — не через `card(S) > 0`.
 - Арифметические предикаты: `=`, `≠`, `<`, `≤`, `>`, `≥` над `Z`.
 - Связки: `¬A`, `A & B`, `A ∨ B`, `A ⇒ B`, `A ⇔ B`.
 
@@ -120,7 +120,7 @@ R{(ξ, σ) := (STE1, STE2) | LE(ξ, σ) | (STE3, STE4)}
 
 ## Арифметика
 
-`a + b`, `a - b`, `a * b` дают `Z`. `card(S)` возвращает мощность конечного множества.
+`a + b`, `a - b`, `a * b` дают `Z`. `card(S)` возвращает мощность конечного множества. Для (не)пустоты пиши `S ≠ ∅` / `S = ∅`; `card` — когда нужна численность (`card(S) = 1`, `card(S1) = card(S2)`, `card(X1) > 5`).
 
 ## Параметризованные выражения
 
@@ -152,6 +152,7 @@ F2 ::= [α1∈R1×R2, α2∈R1] α2 = pr1(α1)
 - `¬α ∈ S1`
 - `D1 ⊆ D2 ⇔ ∀x∈D1 x∈D2`
 - `∀x∈D1 ∃y∈D2 (x, y)∈S1 & (x, x)∈S1`
+- `D1 ≠ ∅`, `F1[a] ∩ F1[b] ≠ ∅`
 - `(4 + 5) * 3`, `card(X1) > 5`
 - `pr2((5, 4, 3, 2, 1)) = 4`
 - `red({{1, 2, 3}, {3, 4}}) = {1, 2, 3, 4}`

package/docs/TYPIFICATION.md

@@ -11,7 +11,7 @@
 - `(H1 × H2 × ... × Hn)` — кортеж.
 - `ℬ(H)` — множество значений ступени `H`.
 
-`∅` имеет типизацию `ℬ(R0)`: пустое множество подстраивается под контекст.
+`∅` имеет типизацию `ℬ(R0)`: пустое множество подстраивается под контекст. В `S = ∅` / `S ≠ ∅` этого достаточно; `X1 ∪ ∅` анализатор отсекает (`invalidEmptySetUsage`).
 
 ## Дополнительные типизации
 

package/docs/brief.schema.json

@@ -0,0 +1,173 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://portal.acconcept.ru/schemas/rstool/brief-v1.json",
+  "title": "Бриф концептуальной схемы",
+  "description": "Постановка задачи концептуализации, журнал решений и исполнимые сценарии. Один формат для файла задачи, сессии rstool и Portal. Описание полей — docs/BRIEF.md.",
+  "type": "object",
+  "required": ["version", "status", "approach", "object", "task", "expressiveness"],
+  "additionalProperties": false,
+  "properties": {
+    "version": { "const": 1 },
+    "status": {
+      "enum": ["draft", "assumed", "confirmed"],
+      "description": "draft — составляется; assumed — пользователя спросить нельзя, ответы записаны в assumptions; confirmed — пользователь подтвердил бриф"
+    },
+    "approach": {
+      "enum": ["research", "education", "project"],
+      "description": "research — экспликация (исследовательский подход); education — обучение; project — основа для ПО / ОСС (проектный подход)"
+    },
+    "object": { "type": "string", "minLength": 1, "description": "Объект исследования" },
+    "task": { "type": "string", "minLength": 1, "description": "Задача, ради которой строится схема, и точка зрения" },
+    "source": { "type": "string", "description": "Источник: документ, разделы, ссылка на схему Portal" },
+    "restrictions": {
+      "type": "array",
+      "description": "Ограничения предметной области: что сознательно исключено и какие понятия из-за этого невыразимы",
+      "items": {
+        "type": "object",
+        "required": ["id", "excludes"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^L[0-9]+$" },
+          "excludes": { "type": "string", "minLength": 1 },
+          "inexpressible": { "type": "array", "items": { "type": "string" } }
+        }
+      }
+    },
+    "expressiveness": {
+      "type": "array",
+      "description": "Требования к выразительным средствам: понятия, которые схема обязана выразить",
+      "items": {
+        "type": "object",
+        "required": ["id", "concept", "constituent"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^E[0-9]+$" },
+          "concept": { "type": "string", "minLength": 1 },
+          "ref": { "type": "string", "description": "Место в источнике" },
+          "via": {
+            "type": "string",
+            "description": "Этап 2: одна строка — как требование выразится через ядро"
+          },
+          "constituent": {
+            "type": ["string", "null"],
+            "description": "Имя конституенты, которая выражает требование; null — ещё не выполнено"
+          }
+        }
+      }
+    },
+    "distinctions": {
+      "type": "array",
+      "description": "Различения: понятия, которые в запросе смешаны или легко смешиваются, а схема должна развести",
+      "items": {
+        "type": "object",
+        "required": ["id", "between"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^V[0-9]+$" },
+          "between": {
+            "type": "array",
+            "minItems": 2,
+            "maxItems": 2,
+            "items": { "type": "string" },
+            "description": "Два id требований (E#) или два имени конституент"
+          },
+          "text": { "type": "string" },
+          "witness": { "type": ["string", "null"], "description": "Сценарий, на котором значения различаются" }
+        }
+      }
+    },
+    "invariants": {
+      "type": "array",
+      "description": "Правила и ограничения, которые схема должна выражать",
+      "items": {
+        "type": "object",
+        "required": ["id", "text", "constituent"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^I[0-9]+$" },
+          "text": { "type": "string", "minLength": 1 },
+          "ref": { "type": "string" },
+          "constituent": { "type": ["string", "null"], "description": "Аксиома (A#), которая выражает правило" },
+          "positive": { "type": ["string", "null"], "description": "Сценарий, где правило выполнено" },
+          "negative": { "type": ["string", "null"], "description": "Сценарий, где правило нарушено" }
+        }
+      }
+    },
+    "decisions": {
+      "type": "array",
+      "description": "Журнал решений: выбор ядра, свойства отношений, наличие и отсутствие аксиом",
+      "items": {
+        "type": "object",
+        "required": ["id", "topic", "choice", "rationale"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^DC[0-9]+$" },
+          "topic": { "type": "string", "minLength": 1 },
+          "alternatives": { "type": "array", "items": { "type": "string" } },
+          "choice": { "type": "string", "minLength": 1 },
+          "rationale": { "type": "string", "minLength": 1 },
+          "supersedes": { "type": "string", "pattern": "^DC[0-9]+$", "description": "Решение, которое отменяется этим" }
+        }
+      }
+    },
+    "scenarios": {
+      "type": "array",
+      "description": "Маленькие интерпретации с ожиданиями: примеры и контрпримеры",
+      "items": {
+        "type": "object",
+        "required": ["id", "title", "values", "expect"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^SC[0-9]+$" },
+          "title": { "type": "string" },
+          "base": {
+            "type": "string",
+            "pattern": "^SC[0-9]+$",
+            "description": "Сценарий, значения которого наследуются"
+          },
+          "values": {
+            "type": "object",
+            "description": "Имя неопределяемого понятия → значение подписями элементов (X#/C#: массив подписей; S#: вложенные массивы подписей и целых)",
+            "additionalProperties": true
+          },
+          "expect": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "properties": {
+                "of": { "type": "string", "description": "Имя конституенты (D#, A#, T#)" },
+                "expr": { "type": "string", "description": "Выражение ЯРЭ вместо конституенты" },
+                "value": { "description": "Ожидаемое значение подписями" },
+                "holds": { "type": "boolean", "description": "Для A#/T# и логических выражений" },
+                "contains": { "type": "array", "description": "Элементы, которые должны входить в значение" },
+                "excludes": { "type": "array", "description": "Элементы, которые не должны входить в значение" },
+                "note": { "type": "string" }
+              },
+              "oneOf": [{ "required": ["of"] }, { "required": ["expr"] }]
+            }
+          }
+        }
+      }
+    },
+    "questions": {
+      "type": "array",
+      "description": "Вопросы пользователю: раунд 1 (постановка) и раунд 2 (решения по ядру)",
+      "items": {
+        "type": "object",
+        "required": ["round", "text"],
+        "additionalProperties": false,
+        "properties": {
+          "round": { "enum": [1, 2] },
+          "text": { "type": "string" },
+          "proposed": { "type": "string", "description": "Ответ, предложенный агентом" },
+          "consequence": { "type": "string", "description": "Что станет выразимо или невыразимо" },
+          "answer": { "type": ["string", "null"] }
+        }
+      }
+    },
+    "assumptions": { "type": "array", "items": { "type": "string" } },
+    "openQuestions": { "type": "array", "items": { "type": "string" } }
+  }
+}