@rsconcept/rstool 0.10.3 → 1.0.1

package/examples/kinship/rsmodel-session.json

@@ -1,21 +1,21 @@
 {
-  "contractVersion": "1.4.0",
+  "contractVersion": "2.0.0",
   "state": {
-    "sessionId": "fe79bda6-827d-4f0c-9a6d-7f0469f300de",
+    "sessionId": "9c7ee71c-73c3-48e4-adf9-778055d4efa1",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-06-22T10:16:00.268Z",
-    "updatedAt": "2026-06-22T10:16:01.883Z",
+    "createdAt": "2026-07-01T17:12:46.165Z",
+    "updatedAt": "2026-07-01T17:13:06.465Z",
     "revisions": [
       {
-        "revisionId": "23e7d0ed-6d48-4f08-9aaf-f27c24b7715c",
-        "at": "2026-06-22T10:16:00.318Z",
+        "revisionId": "e1721f47-a1f3-4632-abf4-74ef743c51fb",
+        "at": "2026-07-01T17:12:46.201Z",
         "message": "КС «родственные отношения»: браки, пол, сиблинги; ∆ ⊆ ⊂ ⊄ ∨ ⇒ ⇔ bool red Pr1,2 Fi1,2 pr1,2, упакованные кванторы"
       },
       {
-        "revisionId": "4a1c87ed-480f-4976-bbfe-9f27d04f5f5a",
-        "at": "2026-06-22T10:16:01.883Z",
+        "revisionId": "1a244230-2941-401e-97e2-4d1e7079e93c",
+        "at": "2026-07-01T17:13:06.465Z",
         "message": "Модель kinship: D3 непуст; A1 card(X1)≤10 выполняется"
       }
     ],
@@ -26,8 +26,8 @@
         "cstType": "basic",
         "definitionFormal": "",
         "term": "люди",
-        "convention": "Базисное множество людей предметной области «родственные отношения».",
         "definitionText": "",
+        "convention": "Базисное множество людей предметной области «родственные отношения».",
         "analysis": {
           "success": true,
           "type": {
@@ -47,8 +47,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1×X1)",
         "term": "родитель-ребенок",
-        "convention": "Множество пар: родитель и его ребёнок. Порядок в паре задаётся конвенцией на предметной области.",
         "definitionText": "",
+        "convention": "Множество пар: родитель и его ребёнок. Порядок в паре задаётся конвенцией на предметной области.",
         "analysis": {
           "success": true,
           "type": {
@@ -92,6 +92,57 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 5,
+        "alias": "D2",
+        "cstType": "term",
+        "definitionFormal": "Pr2(S1)",
+        "term": "потомки",
+        "definitionText": "Люди, являющиеся ребёнком хотя бы в одном отношении родитель — ребёнок",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 59,
+        "alias": "D13",
+        "cstType": "term",
+        "definitionFormal": "Pr2,1(S1)",
+        "term": "пары ребёнок — родитель",
+        "definitionText": "Все отношения ребёнок — родитель как пары людей",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 4,
         "alias": "F1",
@@ -161,27 +212,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 5,
-        "alias": "D2",
-        "cstType": "term",
-        "definitionFormal": "Pr2(S1)",
-        "term": "потомки",
-        "definitionText": "Люди, являющиеся ребёнком хотя бы в одном отношении родитель — ребёнок",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 3,
-              "baseID": "X1"
-            }
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 6,
         "alias": "F2",
@@ -215,6 +245,23 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 67,
+        "alias": "T1",
+        "cstType": "statement",
+        "definitionFormal": "∀(μ,ν)∈S1 μ∉F2[ν]",
+        "term": "родитель не потомок ребёнка",
+        "definitionText": "В каждой паре родитель — ребёнок родитель не является потомком ребёнка",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 7,
         "alias": "F3",
@@ -341,8 +388,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1)",
         "term": "мужчины",
-        "convention": "Пол человека устанавливается в соответствии с документами",
         "definitionText": "",
+        "convention": "Пол человека устанавливается в соответствии с документами",
         "analysis": {
           "success": true,
           "type": {
@@ -362,8 +409,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1)",
         "term": "женщины",
-        "convention": "Пол человека устанавливается в соответствии с документами",
         "definitionText": "",
+        "convention": "Пол человека устанавливается в соответствии с документами",
         "analysis": {
           "success": true,
           "type": {
@@ -377,31 +424,14 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 15,
-        "alias": "A2",
-        "cstType": "axiom",
-        "definitionFormal": "S2∪S3=X1 & S2∩S3=∅",
-        "term": "разбиение людей по полу",
-        "definitionText": "Каждый человек является либо мужчиной, либо женщиной",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 41,
         "alias": "S4",
         "cstType": "structure",
         "definitionFormal": "ℬ(S2×S3)",
         "term": "браки",
-        "convention": "Действующие браки",
         "definitionText": "",
+        "convention": "Действующие браки",
         "analysis": {
           "success": true,
           "type": {
@@ -487,6 +517,78 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 50,
+        "alias": "A4",
+        "cstType": "axiom",
+        "definitionFormal": "card(S4)=card(D4) & card(S4)=card(D5)",
+        "term": "единственность браков",
+        "definitionText": "Каждый человек может состоять только в одном браке",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 57,
+        "alias": "D12",
+        "cstType": "term",
+        "definitionFormal": "S2∆S3",
+        "term": "люди",
+        "definitionText": "Совокупность мужчин и женщин как симметрическая разность разбиения по полу",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 69,
+        "alias": "T2",
+        "cstType": "statement",
+        "definitionFormal": "S2⊄S3",
+        "term": "не все мужчины — женщины",
+        "definitionText": "Множество мужчин не содержится в множестве женщин",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 15,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "S2∪S3=X1 & S2∩S3=∅",
+        "term": "разбиение людей по полу",
+        "definitionText": "Каждый человек является либо мужчиной, либо женщиной",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 45,
         "alias": "F31",
@@ -524,33 +626,27 @@
         }
       },
       {
-        "id": 46,
-        "alias": "F32",
+        "id": 48,
+        "alias": "F34",
         "cstType": "function",
-        "definitionFormal": "[σ∈ℬ(X1)] Pr2(Fi1[σ](S4))",
-        "term": "жены группы людей",
-        "definitionText": "Жёны людей из данной группы людей",
+        "definitionFormal": "[α∈D5] debool(F31[{α}])",
+        "term": "муж жены",
+        "definitionText": "",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 7,
             "result": {
-              "typeID": 5,
-              "base": {
-                "typeID": 3,
-                "baseID": "X1"
-              }
+              "typeID": 3,
+              "baseID": "X1"
             },
             "args": [
               {
-                "alias": "σ",
+                "alias": "α",
                 "type": {
-                  "typeID": 5,
-                  "base": {
-                    "typeID": 3,
-                    "baseID": "X1"
-                  }
+                  "typeID": 3,
+                  "baseID": "X1"
                 }
               }
             ]
@@ -560,12 +656,12 @@
         }
       },
       {
-        "id": 47,
-        "alias": "F33",
+        "id": 46,
+        "alias": "F32",
         "cstType": "function",
-        "definitionFormal": "[σ∈ℬ(X1)] F31[σ]∪F32[σ]",
-        "term": "супруги группы людей",
-        "definitionText": "Супруги людей из данной группы людей",
+        "definitionFormal": "[σ∈ℬ(X1)] Pr2(Fi1[σ](S4))",
+        "term": "жены группы людей",
+        "definitionText": "Жёны людей из данной группы людей",
         "convention": "",
         "analysis": {
           "success": true,
@@ -595,36 +691,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 48,
-        "alias": "F34",
-        "cstType": "function",
-        "definitionFormal": "[α∈D5] debool(F31[{α}])",
-        "term": "муж жены",
-        "definitionText": "",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 3,
-              "baseID": "X1"
-            },
-            "args": [
-              {
-                "alias": "α",
-                "type": {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              }
-            ]
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 49,
         "alias": "F35",
@@ -656,38 +722,66 @@
         }
       },
       {
-        "id": 50,
-        "alias": "A4",
-        "cstType": "axiom",
-        "definitionFormal": "card(S4)=card(D4) & card(S4)=card(D5)",
-        "term": "единственность браков",
-        "definitionText": "Каждый человек может состоять только в одном браке",
+        "id": 54,
+        "alias": "D9",
+        "cstType": "term",
+        "definitionFormal": "I{(σ, γ) | σ:∈D4; γ:=F35[σ]}",
+        "term": "пары муж — жена",
+        "definitionText": "Множество пар, состоящих из мужа и его жены",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 6
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
           },
           "valueClass": "value",
           "diagnostics": []
         }
       },
       {
-        "id": 51,
-        "alias": "D7",
-        "cstType": "term",
-        "definitionFormal": "D{ξ∈X1 | card(F33[{ξ}]\\{ξ})>1}",
-        "term": "люди в нескольких браках",
-        "definitionText": "Люди, у которых больше одного супруга",
+        "id": 47,
+        "alias": "F33",
+        "cstType": "function",
+        "definitionFormal": "[σ∈ℬ(X1)] F31[σ]∪F32[σ]",
+        "term": "супруги группы людей",
+        "definitionText": "Супруги людей из данной группы людей",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 3,
-              "baseID": "X1"
-            }
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "σ",
+                "type": {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              }
+            ]
           },
           "valueClass": "value",
           "diagnostics": []
@@ -736,29 +830,20 @@
         }
       },
       {
-        "id": 54,
-        "alias": "D9",
+        "id": 51,
+        "alias": "D7",
         "cstType": "term",
-        "definitionFormal": "I{(σ, γ) | σ:∈D4; γ:=F35[σ]}",
-        "term": "пары муж — жена",
-        "definitionText": "Множество пар, состоящих из мужа и его жены",
+        "definitionFormal": "D{ξ∈X1 | card(F33[{ξ}]\\{ξ})>1}",
+        "term": "люди в нескольких браках",
+        "definitionText": "Люди, у которых больше одного супруга",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
             "base": {
-              "typeID": 4,
-              "factors": [
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              ]
+              "typeID": 3,
+              "baseID": "X1"
             }
           },
           "valueClass": "value",
@@ -1612,27 +1697,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 57,
-        "alias": "D12",
-        "cstType": "term",
-        "definitionFormal": "S2∆S3",
-        "term": "люди",
-        "definitionText": "Совокупность мужчин и женщин как симметрическая разность разбиения по полу",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 3,
-              "baseID": "X1"
-            }
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 58,
         "alias": "F36",
@@ -1666,36 +1730,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 59,
-        "alias": "D13",
-        "cstType": "term",
-        "definitionFormal": "Pr2,1(S1)",
-        "term": "пары ребёнок — родитель",
-        "definitionText": "Все отношения ребёнок — родитель как пары людей",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 4,
-              "factors": [
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              ]
-            }
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 64,
         "alias": "A6",
@@ -1730,40 +1764,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 67,
-        "alias": "T1",
-        "cstType": "statement",
-        "definitionFormal": "∀(μ,ν)∈S1 μ∉F2[ν]",
-        "term": "родитель не потомок ребёнка",
-        "definitionText": "В каждой паре родитель — ребёнок родитель не является потомком ребёнка",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 69,
-        "alias": "T2",
-        "cstType": "statement",
-        "definitionFormal": "S2⊄S3",
-        "term": "не все мужчины — женщины",
-        "definitionText": "Множество мужчин не содержится в множестве женщин",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 12,
         "alias": "A1",

package/examples/kinship/session.ts

@@ -50,20 +50,20 @@ function getModelItem(model: SessionModelState, id: number): unknown {
 
 export class KinshipModelSession {
   private genderByName: GenderRegistry = {};
+  private readonly client: RSToolWrapperClient;
+  public readonly sessionId: string;
+  public readonly sessionPath: string;
 
-  public constructor(
-    private readonly client: RSToolWrapperClient,
-    public readonly sessionId: string,
-    public readonly sessionPath: string
-  ) {}
+  public constructor(client: RSToolWrapperClient, sessionId: string, sessionPath: string) {
+    this.client = client;
+    this.sessionId = sessionId;
+    this.sessionPath = sessionPath;
+  }
 
-  public static async open(
-    client: RSToolWrapperClient,
-    sessionPath: string
-  ): Promise<KinshipModelSession> {
+  public static async open(client: RSToolWrapperClient, sessionPath: string): Promise<KinshipModelSession> {
     const absolutePath = resolve(process.cwd(), sessionPath);
     const payload = await readFile(absolutePath, 'utf8');
-    const imported = await client.call<{ sessionId: string }>('importSession', { payload });
+    const imported = await client.call<{ sessionId: string }>('importData', { payload });
     const session = new KinshipModelSession(client, imported.sessionId, absolutePath);
     await session.loadGenderFromModel();
     return session;
@@ -97,23 +97,21 @@ export class KinshipModelSession {
 
   private async applyModelValues(binding: BasicBinding, s1: S1Value): Promise<SessionModelState> {
     const { s2, s3 } = deriveGenderSets(binding, this.genderByName);
-    return this.client.call<SessionModelState>('setConstituentaValues', {
+    return this.client.call<SessionModelState>('setModelValues', {
       sessionId: this.sessionId,
-      input: {
-        items: [
-          { target: X1_ID, value: binding },
-          { target: S1_ID, value: s1 },
-          { target: S2_ID, value: s2 },
-          { target: S3_ID, value: s3 }
-        ]
-      }
+      set: [
+        { target: X1_ID, value: binding },
+        { target: S1_ID, value: s1 },
+        { target: S2_ID, value: s2 },
+        { target: S3_ID, value: s3 }
+      ]
     });
   }
 
   private async clearModelValues(): Promise<SessionModelState> {
-    return this.client.call<SessionModelState>('clearConstituentaValues', {
+    return this.client.call<SessionModelState>('setModelValues', {
       sessionId: this.sessionId,
-      input: { items: [X1_ID, S1_ID, S2_ID, S3_ID] }
+      clear: [X1_ID, S1_ID, S2_ID, S3_ID]
     });
   }