@rsconcept/rstool 1.3.0 → 1.4.0

package/examples/kinship/rsmodel-session.json

@@ -1,21 +1,21 @@
 {
-  "contractVersion": "2.0.0",
+  "contractVersion": "2.1.0",
   "state": {
-    "sessionId": "9c7ee71c-73c3-48e4-adf9-778055d4efa1",
+    "sessionId": "e5d18e6f-d229-4ef3-b61a-2e0e977bd506",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-07-01T17:12:46.165Z",
-    "updatedAt": "2026-07-01T17:13:06.465Z",
+    "createdAt": "2026-07-06T14:49:47.568Z",
+    "updatedAt": "2026-07-06T14:49:50.914Z",
     "revisions": [
       {
-        "revisionId": "e1721f47-a1f3-4632-abf4-74ef743c51fb",
-        "at": "2026-07-01T17:12:46.201Z",
+        "revisionId": "ec382d12-7ab2-42c2-975d-2e583d44d15e",
+        "at": "2026-07-06T14:49:47.738Z",
         "message": "КС «родственные отношения»: браки, пол, сиблинги; ∆ ⊆ ⊂ ⊄ ∨ ⇒ ⇔ bool red Pr1,2 Fi1,2 pr1,2, упакованные кванторы"
       },
       {
-        "revisionId": "1a244230-2941-401e-97e2-4d1e7079e93c",
-        "at": "2026-07-01T17:13:06.465Z",
+        "revisionId": "ba0d32e7-f21e-42ae-bfc3-8e6dc2528253",
+        "at": "2026-07-06T14:49:50.914Z",
         "message": "Модель kinship: D3 непуст; A1 card(X1)≤10 выполняется"
       }
     ],
@@ -92,57 +92,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": 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",
@@ -212,6 +161,27 @@
           "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",
@@ -245,23 +215,6 @@
           "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",
@@ -424,6 +377,23 @@
           "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",
@@ -517,78 +487,6 @@
           "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",
@@ -626,27 +524,33 @@
         }
       },
       {
-        "id": 48,
-        "alias": "F34",
+        "id": 46,
+        "alias": "F32",
         "cstType": "function",
-        "definitionFormal": "[α∈D5] debool(F31[{α}])",
-        "term": "муж жены",
-        "definitionText": "",
+        "definitionFormal": "[σ∈ℬ(X1)] Pr2(Fi1[σ](S4))",
+        "term": "жены группы людей",
+        "definitionText": "Жёны людей из данной группы людей",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 7,
             "result": {
-              "typeID": 3,
-              "baseID": "X1"
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
             },
             "args": [
               {
-                "alias": "α",
+                "alias": "σ",
                 "type": {
-                  "typeID": 3,
-                  "baseID": "X1"
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
                 }
               }
             ]
@@ -656,12 +560,12 @@
         }
       },
       {
-        "id": 46,
-        "alias": "F32",
+        "id": 47,
+        "alias": "F33",
         "cstType": "function",
-        "definitionFormal": "[σ∈ℬ(X1)] Pr2(Fi1[σ](S4))",
-        "term": "жены группы людей",
-        "definitionText": "Жёны людей из данной группы людей",
+        "definitionFormal": "[σ∈ℬ(X1)] F31[σ]∪F32[σ]",
+        "term": "супруги группы людей",
+        "definitionText": "Супруги людей из данной группы людей",
         "convention": "",
         "analysis": {
           "success": true,
@@ -691,6 +595,36 @@
           "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",
@@ -722,66 +656,38 @@
         }
       },
       {
-        "id": 54,
-        "alias": "D9",
-        "cstType": "term",
-        "definitionFormal": "I{(σ, γ) | σ:∈D4; γ:=F35[σ]}",
-        "term": "пары муж — жена",
-        "definitionText": "Множество пар, состоящих из мужа и его жены",
+        "id": 50,
+        "alias": "A4",
+        "cstType": "axiom",
+        "definitionFormal": "card(S4)=card(D4) & card(S4)=card(D5)",
+        "term": "единственность браков",
+        "definitionText": "Каждый человек может состоять только в одном браке",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 4,
-              "factors": [
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              ]
-            }
+            "typeID": 6
           },
           "valueClass": "value",
           "diagnostics": []
         }
       },
       {
-        "id": 47,
-        "alias": "F33",
-        "cstType": "function",
-        "definitionFormal": "[σ∈ℬ(X1)] F31[σ]∪F32[σ]",
-        "term": "супруги группы людей",
-        "definitionText": "Супруги людей из данной группы людей",
+        "id": 51,
+        "alias": "D7",
+        "cstType": "term",
+        "definitionFormal": "D{ξ∈X1 | card(F33[{ξ}]\\{ξ})>1}",
+        "term": "люди в нескольких браках",
+        "definitionText": "Люди, у которых больше одного супруга",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 5,
-              "base": {
-                "typeID": 3,
-                "baseID": "X1"
-              }
-            },
-            "args": [
-              {
-                "alias": "σ",
-                "type": {
-                  "typeID": 5,
-                  "base": {
-                    "typeID": 3,
-                    "baseID": "X1"
-                  }
-                }
-              }
-            ]
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
           },
           "valueClass": "value",
           "diagnostics": []
@@ -830,20 +736,29 @@
         }
       },
       {
-        "id": 51,
-        "alias": "D7",
+        "id": 54,
+        "alias": "D9",
         "cstType": "term",
-        "definitionFormal": "D{ξ∈X1 | card(F33[{ξ}]\\{ξ})>1}",
-        "term": "люди в нескольких браках",
-        "definitionText": "Люди, у которых больше одного супруга",
+        "definitionFormal": "I{(σ, γ) | σ:∈D4; γ:=F35[σ]}",
+        "term": "пары муж — жена",
+        "definitionText": "Множество пар, состоящих из мужа и его жены",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
             "base": {
-              "typeID": 3,
-              "baseID": "X1"
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
             }
           },
           "valueClass": "value",
@@ -1697,6 +1612,27 @@
           "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",
@@ -1730,6 +1666,36 @@
           "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",
@@ -1764,6 +1730,40 @@
           "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/movd/build-rsform.ts

@@ -6,6 +6,8 @@ import { CstType, RSToolWrapperClient, type AgentConstituentaPatch } from '../..
 type DraftBatch = { draft: AgentConstituentaPatch };
 
 import { DEFAULT_RSFORM_SESSION_PATH } from './constants';
+import { MOVD_MODEL_SET } from './model-demo';
+import { assertCleanDiagnostics } from '../diagnostics-utils';
 
 /**
  * Учебная RSForm «МОВД» по Portal rsforms/838 (сокращённо).
@@ -308,6 +310,19 @@ async function run() {
       throw new Error(`${failedAlias}: analysis failed`);
     }
 
+    await client.call('setModelValues', {
+      sessionId: session.sessionId,
+      set: [...MOVD_MODEL_SET]
+    });
+    await client.call('recalculateModel', { sessionId: session.sessionId });
+
+    await assertCleanDiagnostics(
+      client,
+      session.sessionId,
+      new Map(drafts.map(entry => [entry.draft.id!, entry.draft.alias])),
+      'movd RSForm'
+    );
+
     await client.call('commitStep', {
       sessionId: session.sessionId,
       message: 'КС «МОВД» (rsforms/838): Pr1,2, Fi1,2, pr1,2 на ℬ(X3×X1×X2) и ℬ(X3×X1×X4)'

package/examples/movd/build-rsmodel.ts

@@ -13,43 +13,10 @@ import {
   D6_ID,
   D10_ID,
   DEFAULT_RSFORM_SESSION_PATH,
-  DEFAULT_RSMODEL_SESSION_PATH,
-  S1_ID,
-  S2_ID,
-  S3_ID,
-  S4_ID,
-  X1_ID,
-  X2_ID,
-  X3_ID,
-  X4_ID
+  DEFAULT_RSMODEL_SESSION_PATH
 } from './constants';
-
-/**
- * Демо-эпизод: Алиса в ситуации «переговоры» выделяет «стол»,
- * рассматривает «выйти» и «остаться», выбирает «выйти».
- */
-const X1_BINDING = { 0: 'переговоры' } as const;
-const X2_BINDING = { 0: 'стол', 1: 'дверь' } as const;
-const X3_BINDING = { 0: 'Алиса' } as const;
-const X4_BINDING = { 0: 'выйти', 1: 'остаться' } as const;
-
-/** S1: состав ситуации — стол и дверь в переговорах. */
-const S1_VALUE = [
-  [TUPLE_ID, 0, 0],
-  [TUPLE_ID, 0, 1]
-] as const;
-
-/** S2: Алиса выделяет стол в переговорах. */
-const S2_VALUE = [[TUPLE_ID, 0, 0, 0]] as const;
-
-/** S3: Алиса рассматривает оба действия. */
-const S3_VALUE = [
-  [TUPLE_ID, 0, 0, 0],
-  [TUPLE_ID, 0, 0, 1]
-] as const;
-
-/** S4: Алиса выбирает «выйти». */
-const S4_VALUE = [[TUPLE_ID, 0, 0, 0]] as const;
+import { MOVD_MODEL_SET } from './model-demo';
+import { assertCleanDiagnostics } from '../diagnostics-utils';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -67,16 +34,7 @@ async function run() {
 
     await client.call('setModelValues', {
       sessionId: imported.sessionId,
-      set: [
-        { target: X1_ID, value: X1_BINDING },
-        { target: X2_ID, value: X2_BINDING },
-        { target: X3_ID, value: X3_BINDING },
-        { target: X4_ID, value: X4_BINDING },
-        { target: S1_ID, value: S1_VALUE },
-        { target: S2_ID, value: S2_VALUE },
-        { target: S3_ID, value: S3_VALUE },
-        { target: S4_ID, value: S4_VALUE }
-      ]
+      set: [...MOVD_MODEL_SET]
     });
 
     const recalculated = await client.call<{
@@ -135,6 +93,17 @@ async function run() {
       throw new Error(`Expected A4 to hold; got ${JSON.stringify(a4Eval)}`);
     }
 
+    const state = await client.call<{ items: Array<{ id: number; alias: string }> }>('getSessionState', {
+      sessionId: imported.sessionId,
+      detail: 'full'
+    });
+    await assertCleanDiagnostics(
+      client,
+      imported.sessionId,
+      new Map(state.items.map(item => [item.id, item.alias])),
+      'movd RSModel'
+    );
+
     await client.call('commitStep', {
       sessionId: imported.sessionId,
       message: 'Модель МОВД: Алиса, переговоры, стол значим, выбор «выйти»'