@rsconcept/rstool 1.0.2 → 1.0.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/wrapper/stdio-wrapper.js +0 -0
- package/docs/DIAGNOSTICS.md +5 -5
- package/package.json +18 -18
|
File without changes
|
package/docs/DIAGNOSTICS.md
CHANGED
|
@@ -63,10 +63,9 @@
|
|
|
63
63
|
|
|
64
64
|
## Предупреждения
|
|
65
65
|
|
|
66
|
-
| Код | Имя
|
|
67
|
-
| :------- |
|
|
68
|
-
| `
|
|
69
|
-
| `0x2802` | `localNotUsed` | `[name]` | Переменная `name` не используется. |
|
|
66
|
+
| Код | Имя | `params` | Исправление |
|
|
67
|
+
| :------- | :------------- | :------- | :--------------------------------- |
|
|
68
|
+
| `0x2802` | `localNotUsed` | `[name]` | Переменная `name` не используется. |
|
|
70
69
|
|
|
71
70
|
## Локальные переменные и область видимости
|
|
72
71
|
|
|
@@ -74,6 +73,7 @@
|
|
|
74
73
|
| :------- | :--------------------------- | :--------------- | :-------------------------------------------------------------------------------------------- |
|
|
75
74
|
| `0x8801` | `localUndeclared` | `[name]` | Свяжи `name` квантором или объяви параметром. |
|
|
76
75
|
| `0x8802` | `localShadowing` | `[name]` | Переименуй внутреннюю переменную `name`. |
|
|
76
|
+
| `0x8803` | `localDoubleDeclare` | `[name]` | Идентификатор `name` уже объявлен в выражении — переименуй одну из переменных. |
|
|
77
77
|
| `0x8815` | `localOutOfScope` | `[name]` | Перенеси использование `name` внутрь её области видимости. |
|
|
78
78
|
| `0x882E` | `localOutOfScopeParentheses` | `[name]` | Переменная `name` вне области квантора: возьми тело квантора в скобки (напр. `∀a∈S (… & …)`). |
|
|
79
79
|
| `0x882F` | `localUndeclaredInSubexpr` | `[name, domain]` | В подвыражении нет квантора для `name`; ожидается `∀(∃) name∈domain`. |
|
|
@@ -82,7 +82,7 @@
|
|
|
82
82
|
|
|
83
83
|
| Код | Имя | `params` | Исправление |
|
|
84
84
|
| :------- | :--------------------------------- | :--------------------------------- | :--------------------------------------------------------------------------------------------------------------------------- |
|
|
85
|
-
| `
|
|
85
|
+
| `0x880A` | `typesNotEqual` | `[a, b, operator]` | Операнды `operator` должны иметь равный тип (`a` ≠ `b`). |
|
|
86
86
|
| `0x8825` | `typesNotCompatible` | `[a, b, operator]` | Типы `a` и `b` несовместимы для `operator`. |
|
|
87
87
|
| `0x8804` | `globalNotTyped` | `[name]` | Поставщик `name` не типизирован: добавь и проанализируй его раньше. |
|
|
88
88
|
| `0x8805` | `invalidDecart` | `[arg]` | Аргумент `arg` оператора `×` неподходящей ступени. |
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@rsconcept/rstool",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.3",
|
|
4
4
|
"description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"author": "IRBorisov",
|
|
@@ -50,6 +50,21 @@
|
|
|
50
50
|
"README.md",
|
|
51
51
|
"LICENSE"
|
|
52
52
|
],
|
|
53
|
+
"dependencies": {
|
|
54
|
+
"@rsconcept/domain": "1.7.7"
|
|
55
|
+
},
|
|
56
|
+
"devDependencies": {
|
|
57
|
+
"@types/node": "^26.1.0",
|
|
58
|
+
"@vitest/coverage-v8": "^4.1.9",
|
|
59
|
+
"tsdown": "^0.22.3",
|
|
60
|
+
"tsx": "^4.22.5",
|
|
61
|
+
"typescript": "^6.0.3",
|
|
62
|
+
"unrun": "^0.3.1",
|
|
63
|
+
"vitest": "^4.1.9"
|
|
64
|
+
},
|
|
65
|
+
"publishConfig": {
|
|
66
|
+
"access": "public"
|
|
67
|
+
},
|
|
53
68
|
"scripts": {
|
|
54
69
|
"build": "tsdown",
|
|
55
70
|
"typecheck": "tsc -p tsconfig.json --noEmit",
|
|
@@ -67,21 +82,6 @@
|
|
|
67
82
|
"example:build-movd-rsmodel": "tsx examples/movd/build-rsmodel.ts",
|
|
68
83
|
"example:build-expression-bank-schema": "tsx examples/expression-bank/build-rsform.ts",
|
|
69
84
|
"example:build-template-apply-schema": "tsx examples/template-apply/build-rsform.ts",
|
|
70
|
-
"kinship:cli": "tsx examples/kinship/cli.ts"
|
|
71
|
-
"prepublishOnly": "npm run build"
|
|
72
|
-
},
|
|
73
|
-
"dependencies": {
|
|
74
|
-
"@rsconcept/domain": "^1.7.4"
|
|
75
|
-
},
|
|
76
|
-
"devDependencies": {
|
|
77
|
-
"@types/node": "^26.1.0",
|
|
78
|
-
"@vitest/coverage-v8": "^4.1.9",
|
|
79
|
-
"tsdown": "^0.22.3",
|
|
80
|
-
"tsx": "^4.22.5",
|
|
81
|
-
"typescript": "^6.0.3",
|
|
82
|
-
"vitest": "^4.1.9"
|
|
83
|
-
},
|
|
84
|
-
"publishConfig": {
|
|
85
|
-
"access": "public"
|
|
85
|
+
"kinship:cli": "tsx examples/kinship/cli.ts"
|
|
86
86
|
}
|
|
87
|
-
}
|
|
87
|
+
}
|