@rsconcept/rstool 0.5.2 → 0.6.1

package/examples/sample-rsform-session.json

@@ -0,0 +1,134 @@
+{
+  "contractVersion": "1.3.0",
+  "state": {
+    "sessionId": "2d99e61f-79aa-471f-aaed-6965538e6fc8",
+    "createdAt": "2026-05-27T07:22:35.861Z",
+    "updatedAt": "2026-05-27T07:22:35.880Z",
+    "revisions": [
+      {
+        "revisionId": "14a15ffa-87c1-4ed7-bcf1-b8e6367fbd6d",
+        "at": "2026-05-27T07:22:35.880Z",
+        "message": "Built sample RSForm"
+      }
+    ],
+    "items": [
+      {
+        "id": 1,
+        "alias": "X1",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 2,
+        "alias": "C1",
+        "cstType": "constant",
+        "definitionFormal": "",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "C1",
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X1)",
+        "convention": "Pairs (parent, child) over X1.",
+        "term": "",
+        "definitionText": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 4,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S1)",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "1=1",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}

package/examples/sample-rsmodel-session.json

@@ -0,0 +1,163 @@
+{
+  "contractVersion": "1.3.0",
+  "state": {
+    "sessionId": "3026929f-c091-4bed-8fb7-fffd913c49bd",
+    "createdAt": "2026-05-27T07:22:37.637Z",
+    "updatedAt": "2026-05-27T07:22:37.665Z",
+    "revisions": [
+      {
+        "revisionId": "af453320-14f6-4ea8-abd2-f03201cec00d",
+        "at": "2026-05-27T07:22:37.665Z",
+        "message": "Built sample RSModel"
+      }
+    ],
+    "items": [
+      {
+        "id": 1,
+        "alias": "X1",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 2,
+        "alias": "C1",
+        "cstType": "constant",
+        "definitionFormal": "",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "C1",
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X1)",
+        "convention": "Pairs (parent, child) over X1.",
+        "term": "",
+        "definitionText": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 4,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S1)",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "1=1",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": [
+        {
+          "id": 1,
+          "type": "basic",
+          "value": {
+            "0": "alice",
+            "1": "bob"
+          }
+        },
+        {
+          "id": 2,
+          "type": "basic",
+          "value": {
+            "0": "zero",
+            "1": "one",
+            "2": "two"
+          }
+        },
+        {
+          "id": 3,
+          "type": "ℬ(X1×X1)",
+          "value": [
+            [
+              -111,
+              0,
+              1
+            ]
+          ]
+        }
+      ]
+    }
+  },
+  "diagnostics": []
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "0.5.2",
+  "version": "0.6.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",
@@ -35,6 +35,7 @@
     "./skills/rstool-helper/*": "./skills/rstool-helper/*",
     "./skills/INSTALL.md": "./skills/INSTALL.md",
     "./docs/*": "./docs/*",
+    "./examples/*": "./examples/*",
     "./package.json": "./package.json"
   },
   "bin": {
@@ -45,6 +46,7 @@
     "src",
     "skills",
     "docs",
+    "examples",
     "README.md",
     "LICENSE"
   ],

package/skills/rstool-helper/EXAMPLES.md

@@ -1,6 +1,6 @@
 # Примеры rstool
 
-Короткие примеры для агентов. Полные скрипты — `../../examples/`. Воркфлоу — [GUIDE.md](GUIDE.md).
+Короткие примеры для агентов. Полные скрипты и JSON-сессии — `../../examples/` ([README](../../examples/README.md)). Воркфлоу — [GUIDE.md](GUIDE.md).
 
 ## Минимальная сессия
 

package/skills/rstool-helper/GUIDE.md

@@ -46,6 +46,21 @@
 9. Сохрани: `exportSession` / `importSession`.
 10. Для загрузки в Portal: `exportPortalSchema` (схема) или `exportPortalModel` (модель).
 
+### Оценка или правка КС из Portal
+
+Когда пользователь даёт UI-ссылку вида `https://portal.acconcept.ru/rsforms/:id`,
+не открывай SPA и не парси HTML. Преобразуй ссылку в REST API по правилам
+[PORTAL-API.md](../../docs/PORTAL-API.md): метаданные `GET /api/rsforms/:id`,
+полная КС `GET /api/rsforms/:id/details`, версия `GET /api/library/:id/versions/:version`.
+
+Portal JSON из `/details` не является форматом `exportSession` и не передаётся в
+`importSession` напрямую. Создай `createSession({ title, alias, comment: description })`
+и перенеси `items[]` через `addOrUpdateConstituenta`, сохраняя raw-поля:
+`cst_type → cstType`, `definition_formal → definitionFormal`,
+`term_raw → term`, `definition_raw → definitionText`, `convention → convention`.
+После переноса запусти `listDiagnostics`; для результата в Portal используй
+`exportPortalSchema`, а для локального снапшота — `exportSession`.
+
 ### Концептуализация (КС из содержания источника)
 
 Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).

package/skills/rstool-helper/REFERENCE.md

@@ -186,6 +186,10 @@ interface AnalysisResult {
 - `state.model.items[]` — присутствует, если заданы значения интерпретации.
 - `diagnostics[]` — накопленные диагностики со смещениями и кодами.
 
+`importSession(payload)` принимает только этот формат `exportSession`. JSON Portal из
+`GET /api/rsforms/:id/details` сначала переноси в сессию через `createSession` и
+`addOrUpdateConstituenta`; поля и REST-пути описаны в `docs/PORTAL-API.md`.
+
 ## JSON импорта Portal
 
 Для **Load from JSON** на существующей схеме или модели Portal: