@rsconcept/rstool 0.7.2 → 0.8.1

package/README.md

@@ -78,7 +78,7 @@ From `rsconcept/rstool` (or run `powershell -File scripts/dev/LocalDevSetup.ps1`
 - `npm test`
 - `npm run build` — produce `dist/` via tsdown
 - `npm run wrapper` — dev stdio wrapper via `tsx`
-- `npm run example:client`, `npm run example:build-schema`, `npm run example:build-rsmodel` — see [`examples/README.md`](examples/README.md) for the full list (kinship scripts, session JSON)
+- `npm run example:client`, `npm run example:build-schema`, `npm run example:build-rsmodel` — полный список `example:*` и `kinship:cli` в [`examples/README.md`](examples/README.md)
 
 ## Stdio protocol
 

package/docs/CONSTITUENTA.md

@@ -42,7 +42,7 @@
 2. `S1` — `definitionFormal: 'ℬ(X1×X1)'`; конвенция объясняет порядок пары.
 3. `D#` — проекции и фильтры: `Pr1(S1)`, `Pr2(S1)`, `Fi1[D1](S1)`.
 
-Пример: `examples/build-kinship-rsform.ts`.
+Пример: `examples/kinship/build-rsform.ts`.
 
 ## Валидация
 

package/docs/DIAGNOSTICS.md

@@ -41,21 +41,23 @@
 
 ## Типизации и структура
 
-- `0x8803 typesNotEqual` / `0x8825 typesNotCompatible` — операнды несовместимы.
+- `0x8803 typesNotEqual` / `0x8825 typesNotCompatible` — операнды несовместимы для оператора (`params`: тип A, тип B, оператор).
 - `0x8804 globalNotTyped` — сначала добавь и проанализируй поставщика.
 - `0x8805 invalidDecart`, `0x8806 invalidBoolean`, `0x8810 invalidReduce` — неверная ступень для операции.
+- `0x8807 invalidTypeOperation` — аргумент оператора (`∪`, `∈`, `D{}`, `:∈` и т.д.) должен быть множеством (`params`: оператор, тип).
 - `0x8808 invalidCard` — `card(...)` не над множеством.
 - `0x8809 invalidDebool` — нет гарантии синглетона.
 - `0x880B globalFuncWithoutArgs` — функция вызвана без `[]`.
 - `0x8811 invalidProjectionTuple`, `0x8812 invalidProjectionSet` — неверная проекция.
 - `0x8813 invalidEnumeration` — элементы перечисления разных ступеней.
-- `0x8816 invalidElementPredicate` — `ξ ∈ S` с несовместимыми ступенями.
+- `0x8816 invalidElementPredicate` — `ξ ∈ S` с несовместимыми ступенями (`params`: тип элемента, оператор, тип множества).
 - `0x8818 invalidArgsArity`, `0x8819 invalidArgumentType` — неверный вызов функции.
 - `0x8821 radicalUsage` — радикал вне домена параметра.
 - `0x8822 invalidFilterArgumentType`, `0x8823 invalidFilterArity` — неверный `Fi`.
-- `0x8824 arithmeticNotSupported`, `0x8826 orderingNotSupported` — нужна ступень `Z`.
+- `0x8824 arithmeticNotSupported`, `0x8826 orderingNotSupported` — тип не поддерживает оператор (`params`: тип, оператор); для арифметики/порядка нужна ступень `Z`.
 - `0x8827 expectedLogic` — нужна логическая формула.
 - `0x8828 expectedSetexpr` — нужно теоретико-множественное выражение, а не логика.
+- `0x882A invalidQuantifierDomain` — в кванторной декларации `∀`/`∃` область должна быть множеством (`params`: оператор, тип); не путать с `0x8807`.
 
 ## Схема и вычисление
 
@@ -67,7 +69,7 @@
 - `0x8100 calcUnknownError` — непредвиденная ошибка вычисления (неверные данные для операции, внутренний сбой).
 - `0x8105 calcInvalidDebool` — `debool` получил не синглетон.
 - `0x8106 iterateInfinity`, `0x8107 calculationNotSupported` — конструкция не исполнима в конечной модели.
-- `0x8108 calcInvalidData` — несовместимые значения в runtime (`params`: строковые представления операндов); типично сравнение множества с числом или смешение ступеней в данных модели. Диапазон `from`/`to` — узел операции, где сбой произошёл.
+- `0x8108 calcInvalidData` — несовместимые значения в runtime (`params`: значение A, значение B, оператор); типично сравнение множества с числом. Диапазон `from`/`to` — узел операции.
 
 ## Типичные ошибки агентов
 
@@ -77,7 +79,8 @@
 - Давать логическое тело `term` или нелогическое тело `axiom`/`statement`.
 - Использовать `R#` в теле результата.
 - Вычислять производные понятия до привязки данных для базовых.
-- Сравнивать или комбинировать значения несовместимых ступеней в модели (ожидай `0x8108 calcInvalidData`).
+- Сравнивать или комбинировать значения несовместимых ступеней в модели (ожидай `0x8108 calcInvalidData` с оператором в `params`).
+- Писать `∀a∈Z` или `∀a∈(логика)` вместо множества (ожидай `0x882A invalidQuantifierDomain`).
 
 ## Цикл исправления
 

package/docs/MODEL-TESTING.md

@@ -18,7 +18,7 @@
 Пример формы данных:
 
 ```ts
-const TUPLE_ID = -111;
+import { TUPLE_ID } from '@rsconcept/domain';
 
 tool.setConstituentaValues(sessionId, {
   items: [

package/docs/PORTAL-API.md

@@ -102,6 +102,26 @@ for (const item of portal.items) {
   а не alias `curl` (`Invoke-WebRequest`), если нужен CLI-синтаксис curl.
 - Сначала бери метаданные, если нужно только название или доступность схемы.
 
+### Windows: кодировка в скриптах пайплайна
+
+На Windows консоль по умолчанию часто **cp1251**; Python `print` падает с `UnicodeEncodeError`
+на символах вне этой таблицы (стрелки `→`, математика в логах и т.п.). Если `print` стоит
+**до** следующего шага пайплайна (например вызова `npx tsx`), скрипт оборвётся и артефакт
+не обновится.
+
+- **Запись JSON** — всегда UTF-8; для RSLang-символов в формулах не экранируй 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.

package/examples/README.md

@@ -9,7 +9,7 @@
 ```bash
 npm install
 npm run build          # обёртка для скриптов
-npm run example:client # и остальные example:* / kinship:cli — см. ниже
+npm run example:client # минимальный цикл API; схемы — см. таблицу ниже
 ```
 
 **После `npm install @rsconcept/rstool`** (нужен `tsx` или аналог):
@@ -18,42 +18,65 @@ npm run example:client # и остальные example:* / kinship:cli — см.
 npx tsx node_modules/@rsconcept/rstool/examples/agent-client.ts
 ```
 
-Скрипты пишут JSON рядом с собой в `examples/`; запускайте из корня пакета (каталог, где лежит `package.json` rstool).
+Скрипты пишут JSON в `examples/<topic>/`; запускайте из корня пакета (каталог с `package.json` rstool).
 
-## Скрипты
+## Макет папки темы
 
-| Файл | npm-скрипт | Назначение |
-|------|------------|------------|
-| [`agent-client.ts`](agent-client.ts) | `example:client` | Минимальный цикл: сессия, upsert, анализ, значения, диагностики через stdio |
-| [`build-sample-rsform.ts`](build-sample-rsform.ts) | `example:build-schema` | Собрать учебную RSForm (X1, S1, D1) и сохранить сессию |
-| [`build-sample-rsmodel.ts`](build-sample-rsmodel.ts) | `example:build-rsmodel` | RSForm + привязки + вычисления → учебная RSModel |
-| [`build-kinship-rsform.ts`](build-kinship-rsform.ts) | `example:build-kinship-schema` | Полная концептуальная схема «родственные отношения» (много конституент) |
-| [`build-kinship-rsmodel.ts`](build-kinship-rsmodel.ts) | `example:build-kinship-rsmodel` | Загрузить kinship RSForm, задать семью, вычислить модель (в т.ч. D3) |
-| [`kinship/cli.ts`](kinship/cli.ts) | `kinship:cli` | Интерактивное редактирование людей (X1) и связей (S1) в kinship-модели |
+У `sample/`, `chocolate-nim/` и `movd/` одинаковая структура:
 
-## JSON-сессии
+| Файл               | Роль                                            |
+| ------------------ | ----------------------------------------------- |
+| `constants.ts`     | Id конституент и пути к JSON-сессиям            |
+| `build-rsform.ts`  | Сборка RSForm → `rsform-session.json`           |
+| `build-rsmodel.ts` | Демо-модель и проверки → `rsmodel-session.json` |
 
-Готовые снимки `exportSession` — для `importSession`, тестов и CLI:
+Готовые `*-session.json` — снимки `exportSession` для `importSession` и тестов. Пересобрать: соответствующий `build-*.ts` перезапишет файл рядом с собой.
 
-| Файл | Содержимое |
-|------|------------|
-| [`sample-rsform-session.json`](sample-rsform-session.json) | Учебная RSForm (результат `build-sample-rsform`) |
-| [`sample-rsmodel-session.json`](sample-rsmodel-session.json) | Учебная RSModel с вычисленными значениями |
-| [`kinship-rsform-session.json`](kinship-rsform-session.json) | Схема родства без привязок |
-| [`kinship-rsmodel-session.json`](kinship-rsmodel-session.json) | Kinship-модель с примерной семьёй (по умолчанию для `kinship:cli`) |
+## Темы и npm-скрипты
 
-Пересобрать JSON: соответствующий `build-*.ts` перезапишет файл в `examples/`.
+- **[`sample/`](sample/):**
+  - Минимальная учебная схема: `X1`, `C1`, `S1`, `D1`, `A1`
+  - `build-rsform` скрипт: `example:build-schema`
+  - `build-rsmodel` скрипт: `example:build-rsmodel`
+
+- **[`kinship/`](kinship/):**
+  - «Родственные отношения» — развёрнутая предметная схема
+  - `build-rsform` скрипт: `example:build-kinship-schema`
+  - `build-rsmodel` скрипт: `example:build-kinship-rsmodel`
+
+- **[`chocolate-nim/`](chocolate-nim/):**
+  - «Шоколадный Ним» — пример математической схемы без `X#`
+  - `build-rsform` скрипт: `example:build-chocolate-nim-schema`
+  - `build-rsmodel` скрипт: `example:build-chocolate-nim-rsmodel`
+
+- **[`movd/`](movd/):**
+  - «МОВД» — пример предметной схемы со сложными `S#`, мультипроекциями и фильтрами
+  - `build-rsform` скрипт: `example:build-movd-schema`
+  - `build-rsmodel` скрипт: `example:build-movd-rsmodel`
+
+- **[`expression-bank/`](expression-bank/):**
+  - «Банк выражений» (Portal rsforms/42) — шаблоны T1–T10 на радикалах `R1`–`R3` без `X#`
+  - `build-rsform` скрипт: `example:build-expression-bank-schema`
+  - только `rsform-session.json` (без модели)
+
+- **[`template-apply/`](template-apply/):**
+  - Небольшая предметная схема: подстановка `R1→X1`, `R2→X2` для шаблонов БВ (F6, F20, P5)
+  - `build-rsform` скрипт: `example:build-template-apply-schema` (сборка + проверка на модели в скрипте)
+  - только `rsform-session.json`
+
+В корне: [`agent-client.ts`](agent-client.ts) (`example:client`) — минимальный цикл через stdio без привязки к теме.
 
 ## Папка `kinship/`
 
-Вспомогательный код для сценария «родственные отношения», не отдельный пакет:
+Тот же макет, плюс интерактивное редактирование модели:
+
+| Файл                                               | Роль                                                                      |
+| -------------------------------------------------- | ------------------------------------------------------------------------- |
+| [`session.ts`](kinship/session.ts)                 | Обёртка: загрузка/сохранение, команды над `X1` и `S1`                     |
+| [`x1-actions.ts`](kinship/x1-actions.ts)           | Парсинг и применение изменений списка людей                               |
+| [`x1-actions.test.ts`](kinship/x1-actions.test.ts) | Тесты логики `X1` (`npm test`)                                            |
+| [`cli.ts`](kinship/cli.ts)                         | REPL (`kinship:cli`): `list`, `add`, `remove`, `rename`, `set`, `save`, … |
 
-| Файл | Роль |
-|------|------|
-| [`constants.ts`](kinship/constants.ts) | Id конституент (X1, S1, D3, A1, …) и путь сессии по умолчанию |
-| [`session.ts`](kinship/session.ts) | Обёртка над сессией: загрузка/сохранение, команды над X1 и S1 |
-| [`x1-actions.ts`](kinship/x1-actions.ts) | Парсинг и применение изменений списка людей |
-| [`x1-actions.test.ts`](kinship/x1-actions.test.ts) | Тесты логики X1 (`npm test`) |
-| [`cli.ts`](kinship/cli.ts) | REPL: `list`, `add`, `remove`, `rename`, `set`, `save`, … |
+По умолчанию CLI читает [`kinship/rsmodel-session.json`](kinship/rsmodel-session.json).
 
-См. также [`../docs/CONSTITUENTA.md`](../docs/CONSTITUENTA.md) (разбор kinship-схемы) и [`../docs/MODEL-TESTING.md`](../docs/MODEL-TESTING.md).
+См. также [`../docs/CONSTITUENTA.md`](../docs/CONSTITUENTA.md) и [`../docs/MODEL-TESTING.md`](../docs/MODEL-TESTING.md).

package/examples/build-chocolate-nim-rsform.ts

@@ -0,0 +1,311 @@
+import { writeFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+
+import { CstType, RSToolWrapperClient, type AddOrUpdateConstituentaInput } from '../src';
+
+import { DEFAULT_RSFORM_SESSION_PATH } from './chocolate-nim/constants';
+
+/**
+ * Учебная RSForm «шоколадный Ним» (ОШК-НИМ) по Portal rsforms/825.
+ * Целочисленное представление без базисного множества: размеры и позиции — кортежи Z×Z.
+ */
+async function run() {
+  const client = new RSToolWrapperClient({
+    cwd: resolve(process.cwd())
+  });
+
+  try {
+    await client.waitUntilReady();
+    const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession');
+
+    const drafts: AddOrUpdateConstituentaInput[] = [
+      {
+        draft: {
+          id: 1,
+          alias: 'S1',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'Z×Z',
+          term: 'шоколадка',
+          convention: 'Первая проекция — ширина, вторая — длина'
+        }
+      },
+      {
+        draft: {
+          id: 2,
+          alias: 'D1',
+          cstType: CstType.TERM,
+          definitionFormal: 'pr1(S1)',
+          term: 'ширина шоколадки'
+        }
+      },
+      {
+        draft: {
+          id: 3,
+          alias: 'D2',
+          cstType: CstType.TERM,
+          definitionFormal: 'pr2(S1)',
+          term: 'длина шоколадки'
+        }
+      },
+      {
+        draft: {
+          id: 4,
+          alias: 'S2',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'Z×Z',
+          term: 'отравленная долька',
+          convention: 'Координаты отравленной дольки: первая проекция по ширине, вторая — по длине'
+        }
+      },
+      {
+        draft: {
+          id: 5,
+          alias: 'D3',
+          cstType: CstType.TERM,
+          definitionFormal: 'pr1(S2)',
+          term: 'расположение отравленной дольки по ширине'
+        }
+      },
+      {
+        draft: {
+          id: 6,
+          alias: 'D4',
+          cstType: CstType.TERM,
+          definitionFormal: 'pr2(S2)',
+          term: 'расположение отравленной дольки по длине'
+        }
+      },
+      {
+        draft: {
+          id: 7,
+          alias: 'A1',
+          cstType: CstType.AXIOM,
+          definitionFormal: '(1≤D3)&(D3≤D1)&(1≤D4)&(D4≤D2)',
+          term: 'отравленная долька в шоколадке',
+          definitionText: 'Координаты отравленной дольки лежат в пределах шоколадки'
+        }
+      },
+      {
+        draft: {
+          id: 8,
+          alias: 'P1',
+          cstType: CstType.PREDICATE,
+          definitionFormal: '[α∈Z] R{ξ:=α | ξ≥2 | ξ-2}=0',
+          term: 'чётное?',
+          convention: 'Для малых аргументов — прямое вычитание двойки; для больших нужно двоичное представление'
+        }
+      },
+      {
+        draft: {
+          id: 9,
+          alias: 'F1',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈Z, σ∈ℬ(Z×R1)] debool(Pr2(Fi1[{α}](σ)))',
+          term: 'значение элемента последовательности с данным номером',
+          definitionText: 'Значение пары с заданным номером в последовательности пар'
+        }
+      },
+      {
+        draft: {
+          id: 10,
+          alias: 'F2',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α≤ξ})',
+          term: 'максимум набора чисел'
+        }
+      },
+      {
+        draft: {
+          id: 11,
+          alias: 'F4',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[σ∈ℬ(Z)] D{ξ∈σ | ∀α∈σ α≤ξ}',
+          term: 'верхние границы набора чисел',
+          definitionText: 'Множество элементов набора, не меньших всех остальных'
+        }
+      },
+      {
+        draft: {
+          id: 12,
+          alias: 'F5',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈Z, β∈Z] debool(I{(α,0) | α<β} ∪ I{(α-β,1) | α≥β})',
+          term: 'деление с остатком на степень двойки',
+          convention: 'Предполагается, что удвоенный делитель больше делимого'
+        }
+      },
+      {
+        draft: {
+          id: 13,
+          alias: 'F6',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈Z, β∈Z] pr1(F5[α, β])',
+          term: 'остаток'
+        }
+      },
+      {
+        draft: {
+          id: 14,
+          alias: 'F7',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈Z, β∈Z] pr2(F5[α, β])',
+          term: 'целая часть'
+        }
+      },
+      {
+        draft: {
+          id: 15,
+          alias: 'D5',
+          cstType: CstType.TERM,
+          definitionFormal: '{(0, D3-1), (1, D4-1), (2, D1-D3), (3, D2-D4)}',
+          term: 'шоколадка как кучки Ним',
+          definitionText: 'Четыре кучки камней после разреза по отравленной дольке: слева, сверху, справа и снизу'
+        }
+      },
+      {
+        draft: {
+          id: 16,
+          alias: 'D6',
+          cstType: CstType.TERM,
+          definitionFormal: 'card(D5)',
+          term: 'количество кучек'
+        }
+      },
+      {
+        draft: {
+          id: 17,
+          alias: 'D7',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(D5)',
+          term: 'номера кучек'
+        }
+      },
+      {
+        draft: {
+          id: 18,
+          alias: 'D8',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr2(D5)',
+          term: 'размеры кучек'
+        }
+      },
+      {
+        draft: {
+          id: 19,
+          alias: 'A2',
+          cstType: CstType.AXIOM,
+          definitionFormal: 'card(D5)=card(D7)',
+          term: 'однозначность количества камней в кучках',
+          definitionText: 'У каждой кучки ровно один номер'
+        }
+      },
+      {
+        draft: {
+          id: 20,
+          alias: 'A3',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀α∈D5 (pr1(α)<D6 & pr1(α)≥0)',
+          term: 'последовательная нумерация кучек',
+          definitionText: 'Номера кучек — целые от нуля до количества кучек минус один'
+        }
+      },
+      {
+        draft: {
+          id: 21,
+          alias: 'F8',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈Z] F1[α,D5]',
+          term: 'количество камней в данной кучке'
+        }
+      },
+      {
+        draft: {
+          id: 22,
+          alias: 'D9',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(Fi2[{0}](D5))',
+          term: 'пустые кучки',
+          definitionText: 'Номера кучек с нулевым размером'
+        }
+      },
+      {
+        draft: {
+          id: 23,
+          alias: 'D10',
+          cstType: CstType.TERM,
+          definitionFormal: 'D7\\D9',
+          term: 'непустые кучки',
+          definitionText: 'Номера кучек с положительным размером'
+        }
+      },
+      {
+        draft: {
+          id: 24,
+          alias: 'T1',
+          cstType: CstType.STATEMENT,
+          definitionFormal: 'D8={0}',
+          term: 'игра закончена',
+          definitionText: 'Во всех кучках не осталось камней'
+        }
+      },
+      {
+        draft: {
+          id: 25,
+          alias: 'T2',
+          cstType: CstType.STATEMENT,
+          definitionFormal: 'card(D10)=1',
+          term: 'существует выигрышный ход',
+          definitionText: 'Осталась ровно одна непустая кучка'
+        }
+      },
+      {
+        draft: {
+          id: 26,
+          alias: 'F10',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[σ∈D7×Z] debool(I{ pr2(σ)*D2 | P1[pr1(σ)]} ∪ I{ pr2(σ)*D1 | ¬P1[pr1(σ)]})',
+          term: 'оценка хода Ним',
+          definitionText:
+            'Стоимость хода в дольках шоколадки: для чётного номера кучки — размер, умноженный на длину, иначе — на ширину'
+        }
+      }
+    ];
+
+    for (const input of drafts) {
+      const result = await client.call<{
+        state: { alias: string; analysis: { success: boolean } };
+        diagnostics: unknown[];
+      }>('addOrUpdateConstituenta', {
+        sessionId: session.sessionId,
+        input
+      });
+      const ok = result.state.analysis.success;
+      const diagCount = result.diagnostics?.length ?? 0;
+      console.log(`${input.draft.alias}: ${ok ? 'OK' : 'FAIL'} (${diagCount} diagnostics)`);
+      if (!ok) {
+        const diags = await client.call('listDiagnostics', { sessionId: session.sessionId });
+        console.log(JSON.stringify(diags, null, 2));
+        throw new Error(`${input.draft.alias}: analysis failed (${diagCount} diagnostics)`);
+      }
+    }
+
+    await client.call('commitStep', {
+      sessionId: session.sessionId,
+      message: 'КС «шоколадный Ним» (rsforms/825): Z×Z, pr, P#, T#, арифметика, радикал R1'
+    });
+
+    const exported = await client.call<string>('exportSession', {
+      sessionId: session.sessionId
+    });
+    const outputPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
+    await writeFile(outputPath, exported, 'utf8');
+    console.log(`Exported: ${outputPath}`);
+  } finally {
+    await client.close();
+  }
+}
+
+run().catch(error => {
+  console.error(error);
+  process.exit(1);
+});