@rsconcept/rstool 0.8.0 → 0.8.2

package/docs/DIAGNOSTICS.md

@@ -22,14 +22,12 @@
 ## Частые parser-коды
 
 - `0x8400 unknownSyntax` — неопределенная синтаксическая ошибка.
-- `0x8406 missingParenthesis` — не закрыты `(` `)`.
-- `0x8407 missingCurlyBrace` — не закрыты `{` `}`.
-- `0x8408 missingSquareBracket` — не закрыты `[` `]`.
-- `0x8409 bracketMismatch` — смешаны типы скобок.
+- `0x8409 bracketMismatch` — неверная закрывающая скобка (`params`: ожидаемая, фактическая).
 - `0x840A doubleParenthesis` — лишняя пара скобок.
-- `0x840B missingOpenBracket` — закрывающая скобка без открывающей.
+- `0x840B missingOpenBracket` — непарная закрывающая скобка (`params`: сама скобка).
+- `0x840C missingCloseBracket` — непарная открывающая скобка (`params`: сама скобка).
 - `0x8415 expectedLocal` — нужна локальная переменная.
-- `0x8416 expectedType` — нужна явная ступень.
+- `0x8416 expectedType` — тип выражения не соответствует ожидаемому.
 
 ## Локальные переменные
 
@@ -41,21 +39,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` — функция вызвана без `[]`.
+- `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`.
+- `0x8822 invalidFilterArgumentType`, `0x8823 invalidFilterArity`, `0x882B invalidFilterParameterType` — неверный `Fi` (`params` для параметра: тип параметра, ожидаемый тип компонента аргумента, оператор).
+- `0x8824 arithmeticNotSupported`, `0x8826 orderingNotSupported` — тип не поддерживает оператор (`params`: тип, оператор); для арифметики/порядка нужна ступень `Z` или `C#`.
 - `0x8827 expectedLogic` — нужна логическая формула.
 - `0x8828 expectedSetexpr` — нужно теоретико-множественное выражение, а не логика.
+- `0x882A invalidQuantifierDomain` — в кванторной декларации `∀`/`∃` область должна быть множеством (`params`: оператор, тип).
 
 ## Схема и вычисление
 
@@ -64,20 +64,10 @@
 - `0x8840 globalNoValue` / `0x8103 calcGlobalMissing` — нет значения в модели.
 - `0x8841 invalidPropertyUsage` — `Property` использован как вычислимое значение.
 - `0x8101 setOverflow`, `0x8102 booleanBaseLimit`, `0x8104 iterationsLimit` — выражение слишком дорого вычислять.
-- `0x8100 calcUnknownError` — непредвиденная ошибка вычисления (неверные данные для операции, внутренний сбой).
+- `0x8100 calcUnknownError` — непредвиденная ошибка вычисления.
 - `0x8105 calcInvalidDebool` — `debool` получил не синглетон.
 - `0x8106 iterateInfinity`, `0x8107 calculationNotSupported` — конструкция не исполнима в конечной модели.
-- `0x8108 calcInvalidData` — несовместимые значения в runtime (`params`: строковые представления операндов); типично сравнение множества с числом или смешение ступеней в данных модели. Диапазон `from`/`to` — узел операции, где сбой произошёл.
-
-## Типичные ошибки агентов
-
-- Задавать значение `term`/`axiom`/`statement` напрямую.
-- Писать формулу у `basic` или `constant`.
-- Добавлять потребителя раньше поставщика.
-- Давать логическое тело `term` или нелогическое тело `axiom`/`statement`.
-- Использовать `R#` в теле результата.
-- Вычислять производные понятия до привязки данных для базовых.
-- Сравнивать или комбинировать значения несовместимых ступеней в модели (ожидай `0x8108 calcInvalidData`).
+- `0x8108 calcInvalidData` — несовместимые значения в runtime (`params`: значение A, значение B, оператор).
 
 ## Цикл исправления
 

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.2",
   "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,10 +70,10 @@
     "prepublishOnly": "npm run build"
   },
   "dependencies": {
-    "@rsconcept/domain": "^1.4.1"
+    "@rsconcept/domain": "^1.4.5"
   },
   "devDependencies": {
-    "@types/node": "^25.9.4",
+    "@types/node": "^26.0.1",
     "tsdown": "^0.22.3",
     "tsx": "^4.22.4",
     "typescript": "^6.0.3",