@rsconcept/rstool 0.8.0 → 0.8.1

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/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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "0.8.0",
+  "version": "0.8.1",
   "description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract and stdio wrapper.",
   "license": "MIT",
   "author": "IRBorisov",
@@ -70,7 +70,7 @@
     "prepublishOnly": "npm run build"
   },
   "dependencies": {
-    "@rsconcept/domain": "^1.4.1"
+    "@rsconcept/domain": "^1.4.3"
   },
   "devDependencies": {
     "@types/node": "^25.9.4",