@rsconcept/rstool 0.10.3 → 1.0.1

package/examples/kinship/rsform-session.json

@@ -1,16 +1,16 @@
 {
-  "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:00.318Z",
+    "createdAt": "2026-07-01T17:12:46.165Z",
+    "updatedAt": "2026-07-01T17:12:46.201Z",
     "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, упакованные кванторы"
       }
     ],
@@ -21,8 +21,8 @@
         "cstType": "basic",
         "definitionFormal": "",
         "term": "люди",
-        "convention": "Базисное множество людей предметной области «родственные отношения».",
         "definitionText": "",
+        "convention": "Базисное множество людей предметной области «родственные отношения».",
         "analysis": {
           "success": true,
           "type": {
@@ -42,8 +42,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1×X1)",
         "term": "родитель-ребенок",
-        "convention": "Множество пар: родитель и его ребёнок. Порядок в паре задаётся конвенцией на предметной области.",
         "definitionText": "",
+        "convention": "Множество пар: родитель и его ребёнок. Порядок в паре задаётся конвенцией на предметной области.",
         "analysis": {
           "success": true,
           "type": {
@@ -87,6 +87,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",
@@ -156,27 +207,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",
@@ -210,6 +240,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",
@@ -336,8 +383,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1)",
         "term": "мужчины",
-        "convention": "Пол человека устанавливается в соответствии с документами",
         "definitionText": "",
+        "convention": "Пол человека устанавливается в соответствии с документами",
         "analysis": {
           "success": true,
           "type": {
@@ -357,8 +404,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1)",
         "term": "женщины",
-        "convention": "Пол человека устанавливается в соответствии с документами",
         "definitionText": "",
+        "convention": "Пол человека устанавливается в соответствии с документами",
         "analysis": {
           "success": true,
           "type": {
@@ -372,31 +419,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": {
@@ -482,6 +512,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",
@@ -519,33 +621,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"
                 }
               }
             ]
@@ -555,12 +651,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,
@@ -590,36 +686,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",
@@ -651,38 +717,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": []
@@ -731,29 +825,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",
@@ -1607,27 +1692,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",
@@ -1661,36 +1725,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",
@@ -1725,40 +1759,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",