@rsconcept/rstool 1.3.0 → 1.4.0

package/examples/movd/rsform-session.json

@@ -1,35 +1,35 @@
 {
-  "contractVersion": "2.0.0",
+  "contractVersion": "2.1.0",
   "state": {
-    "sessionId": "a0bdc0c0-19fc-4a33-9ee5-69c7181691c3",
+    "sessionId": "81ac5b17-34b1-443e-9916-4e44f26349fd",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-07-01T17:12:50.372Z",
-    "updatedAt": "2026-07-01T17:12:50.423Z",
+    "createdAt": "2026-07-06T14:49:59.634Z",
+    "updatedAt": "2026-07-06T14:49:59.723Z",
     "revisions": [
       {
-        "revisionId": "fed5f5da-dc69-48d1-9885-09e6be539fbe",
-        "at": "2026-07-01T17:12:50.423Z",
+        "revisionId": "d19e428d-a4fe-4212-bfdb-7764e629fbb8",
+        "at": "2026-07-06T14:49:59.723Z",
         "message": "КС «МОВД» (rsforms/838): Pr1,2, Fi1,2, pr1,2 на ℬ(X3×X1×X2) и ℬ(X3×X1×X4)"
       }
     ],
     "items": [
       {
-        "id": 4,
-        "alias": "X4",
+        "id": 1,
+        "alias": "X1",
         "cstType": "basic",
         "definitionFormal": "",
-        "term": "действия",
+        "term": "ситуации",
         "definitionText": "",
-        "convention": "Различимые действия, рассматриваемые субъектом как возможные в ситуации",
+        "convention": "Различимые ситуации, рассматриваемые как единицы анализа",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
             "base": {
               "typeID": 3,
-              "baseID": "X4"
+              "baseID": "X1"
             }
           },
           "valueClass": "value",
@@ -37,20 +37,20 @@
         }
       },
       {
-        "id": 3,
-        "alias": "X3",
+        "id": 2,
+        "alias": "X2",
         "cstType": "basic",
         "definitionFormal": "",
-        "term": "субъекты",
+        "term": "элементы ситуации",
         "definitionText": "",
-        "convention": "Различимые субъекты, осуществляющие ориентировку в ситуации",
+        "convention": "Различимые элементы, которые могут входить в состав ситуаций",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
             "base": {
               "typeID": 3,
-              "baseID": "X3"
+              "baseID": "X2"
             }
           },
           "valueClass": "value",
@@ -58,20 +58,20 @@
         }
       },
       {
-        "id": 2,
-        "alias": "X2",
+        "id": 3,
+        "alias": "X3",
         "cstType": "basic",
         "definitionFormal": "",
-        "term": "элементы ситуации",
+        "term": "субъекты",
         "definitionText": "",
-        "convention": "Различимые элементы, которые могут входить в состав ситуаций",
+        "convention": "Различимые субъекты, осуществляющие ориентировку в ситуации",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
             "base": {
               "typeID": 3,
-              "baseID": "X2"
+              "baseID": "X3"
             }
           },
           "valueClass": "value",
@@ -79,20 +79,20 @@
         }
       },
       {
-        "id": 1,
-        "alias": "X1",
+        "id": 4,
+        "alias": "X4",
         "cstType": "basic",
         "definitionFormal": "",
-        "term": "ситуации",
+        "term": "действия",
         "definitionText": "",
-        "convention": "Различимые ситуации, рассматриваемые как единицы анализа",
+        "convention": "Различимые действия, рассматриваемые субъектом как возможные в ситуации",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
             "base": {
               "typeID": 3,
-              "baseID": "X1"
+              "baseID": "X4"
             }
           },
           "valueClass": "value",
@@ -129,6 +129,108 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 6,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X3×X1×X2)",
+        "term": "выделение значимого",
+        "definitionText": "",
+        "convention": "Соотносит субъекта, ситуацию и элемент ситуации, выделяемый субъектом как значимый",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "S3",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X3×X1×X4)",
+        "term": "рассмотрение действия",
+        "definitionText": "",
+        "convention": "Соотносит субъекта, ситуацию и действие, рассматриваемое как возможное",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "S4",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X3×X1×X4)",
+        "term": "выбор действия",
+        "definitionText": "",
+        "convention": "Соотносит субъекта, ситуацию и действие, выбранное субъектом",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 9,
         "alias": "D1",
@@ -172,34 +274,33 @@
         }
       },
       {
-        "id": 6,
-        "alias": "S2",
-        "cstType": "structure",
-        "definitionFormal": "ℬ(X3×X1×X2)",
-        "term": "выделение значимого",
-        "definitionText": "",
-        "convention": "Соотносит субъекта, ситуацию и элемент ситуации, выделяемый субъектом как значимый",
+        "id": 11,
+        "alias": "F1",
+        "cstType": "function",
+        "definitionFormal": "[α∈X1] Pr2(Fi1[{α}](S1))",
+        "term": "состав заданной ситуации",
+        "definitionText": "Элементы, входящие в состав заданной ситуации",
+        "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 4,
-              "factors": [
-                {
-                  "typeID": 3,
-                  "baseID": "X3"
-                },
-                {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "α",
+                "type": {
                   "typeID": 3,
                   "baseID": "X1"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X2"
                 }
-              ]
-            }
+              }
+            ]
           },
           "valueClass": "value",
           "diagnostics": []
@@ -299,34 +400,57 @@
         }
       },
       {
-        "id": 7,
-        "alias": "S3",
-        "cstType": "structure",
-        "definitionFormal": "ℬ(X3×X1×X4)",
-        "term": "рассмотрение действия",
-        "definitionText": "",
-        "convention": "Соотносит субъекта, ситуацию и действие, рассматриваемое как возможное",
+        "id": 16,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[α∈X3, β∈X1] Pr3(Fi2,1[{(β,α)}](S2))",
+        "term": "значимые элементы субъекта в ситуации",
+        "definitionText": "Элементы, выделяемые субъектом как значимые в заданной ситуации",
+        "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 4,
-              "factors": [
-                {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "α",
+                "type": {
                   "typeID": 3,
                   "baseID": "X3"
-                },
-                {
+                }
+              },
+              {
+                "alias": "β",
+                "type": {
                   "typeID": 3,
                   "baseID": "X1"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X4"
                 }
-              ]
-            }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 17,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "∀α∈X3 ∀β∈X1 F2[α,β]⊆F1[β]",
+        "term": "значимые элементы входят в состав ситуации",
+        "definitionText": "Элементы, выделяемые субъектом как значимые, входят в состав этой ситуации",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
           },
           "valueClass": "value",
           "diagnostics": []
@@ -396,14 +520,71 @@
         }
       },
       {
-        "id": 23,
-        "alias": "D10",
-        "cstType": "term",
-        "definitionFormal": "Pr1,2(S3)",
-        "term": "эпизоды рассмотрения",
-        "definitionText": "Пары субъект — ситуация, в которых рассматриваются действия",
-        "convention": "",
-        "analysis": {
+        "id": 21,
+        "alias": "F3",
+        "cstType": "function",
+        "definitionFormal": "[α∈X3, β∈X1] Pr3(Fi2[{β}](Fi1[{α}](S3)))",
+        "term": "пространство действий субъекта в ситуации",
+        "definitionText": "Действия, рассматриваемые субъектом как возможные в ситуации",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X4"
+              }
+            },
+            "args": [
+              {
+                "alias": "α",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              },
+              {
+                "alias": "β",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 22,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "∀α∈X3 ∀β∈X1 (F3[α,β]≠∅ ⇒ F2[α,β]≠∅)",
+        "term": "пространство действий требует ориентировки",
+        "definitionText": "Если субъект рассматривает действия в ситуации, у него есть значимые элементы",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 23,
+        "alias": "D10",
+        "cstType": "term",
+        "definitionFormal": "Pr1,2(S3)",
+        "term": "эпизоды рассмотрения",
+        "definitionText": "Пары субъект — ситуация, в которых рассматриваются действия",
+        "convention": "",
+        "analysis": {
           "success": true,
           "type": {
             "typeID": 5,
@@ -478,164 +659,20 @@
         }
       },
       {
-        "id": 8,
-        "alias": "S4",
-        "cstType": "structure",
-        "definitionFormal": "ℬ(X3×X1×X4)",
-        "term": "выбор действия",
-        "definitionText": "",
-        "convention": "Соотносит субъекта, ситуацию и действие, выбранное субъектом",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 4,
-              "factors": [
-                {
-                  "typeID": 3,
-                  "baseID": "X3"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X1"
-                },
-                {
-                  "typeID": 3,
-                  "baseID": "X4"
-                }
-              ]
-            }
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 26,
-        "alias": "A3",
-        "cstType": "axiom",
-        "definitionFormal": "∀(α,β)∈Pr1,2(S4) card(Pr3(Fi2[{β}](Fi1[{α}](S4))))=1",
-        "term": "единственность выбранного действия",
-        "definitionText": "У каждой пары субъект — ситуация в структуре выбора ровно одно действие",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 11,
-        "alias": "F1",
-        "cstType": "function",
-        "definitionFormal": "[α∈X1] Pr2(Fi1[{α}](S1))",
-        "term": "состав заданной ситуации",
-        "definitionText": "Элементы, входящие в состав заданной ситуации",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 5,
-              "base": {
-                "typeID": 3,
-                "baseID": "X2"
-              }
-            },
-            "args": [
-              {
-                "alias": "α",
-                "type": {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              }
-            ]
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 16,
-        "alias": "F2",
-        "cstType": "function",
-        "definitionFormal": "[α∈X3, β∈X1] Pr3(Fi2,1[{(β,α)}](S2))",
-        "term": "значимые элементы субъекта в ситуации",
-        "definitionText": "Элементы, выделяемые субъектом как значимые в заданной ситуации",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 5,
-              "base": {
-                "typeID": 3,
-                "baseID": "X2"
-              }
-            },
-            "args": [
-              {
-                "alias": "α",
-                "type": {
-                  "typeID": 3,
-                  "baseID": "X3"
-                }
-              },
-              {
-                "alias": "β",
-                "type": {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              }
-            ]
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 17,
-        "alias": "A1",
-        "cstType": "axiom",
-        "definitionFormal": "∀α∈X3 ∀β∈X1 F2[α,β]⊆F1[β]",
-        "term": "значимые элементы входят в состав ситуации",
-        "definitionText": "Элементы, выделяемые субъектом как значимые, входят в состав этой ситуации",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 21,
-        "alias": "F3",
+        "id": 25,
+        "alias": "F4",
         "cstType": "function",
-        "definitionFormal": "[α∈X3, β∈X1] Pr3(Fi2[{β}](Fi1[{α}](S3)))",
-        "term": "пространство действий субъекта в ситуации",
-        "definitionText": "Действия, рассматриваемые субъектом как возможные в ситуации",
+        "definitionFormal": "[α∈X3, β∈X1] debool(Pr3(Fi2[{β}](Fi1[{α}](S4))))",
+        "term": "выбранное действие субъекта в ситуации",
+        "definitionText": "Действие, выбранное субъектом в ситуации",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 7,
             "result": {
-              "typeID": 5,
-              "base": {
-                "typeID": 3,
-                "baseID": "X4"
-              }
+              "typeID": 3,
+              "baseID": "X4"
             },
             "args": [
               {
@@ -659,12 +696,12 @@
         }
       },
       {
-        "id": 22,
-        "alias": "A2",
+        "id": 26,
+        "alias": "A3",
         "cstType": "axiom",
-        "definitionFormal": "∀α∈X3 ∀β∈X1 (F3[α,β]≠∅ ⇒ F2[α,β]≠∅)",
-        "term": "пространство действий требует ориентировки",
-        "definitionText": "Если субъект рассматривает действия в ситуации, у него есть значимые элементы",
+        "definitionFormal": "∀(α,β)∈Pr1,2(S4) card(Pr3(Fi2[{β}](Fi1[{α}](S4))))=1",
+        "term": "единственность выбранного действия",
+        "definitionText": "У каждой пары субъект — ситуация в структуре выбора ровно одно действие",
         "convention": "",
         "analysis": {
           "success": true,
@@ -675,43 +712,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 25,
-        "alias": "F4",
-        "cstType": "function",
-        "definitionFormal": "[α∈X3, β∈X1] debool(Pr3(Fi2[{β}](Fi1[{α}](S4))))",
-        "term": "выбранное действие субъекта в ситуации",
-        "definitionText": "Действие, выбранное субъектом в ситуации",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 3,
-              "baseID": "X4"
-            },
-            "args": [
-              {
-                "alias": "α",
-                "type": {
-                  "typeID": 3,
-                  "baseID": "X3"
-                }
-              },
-              {
-                "alias": "β",
-                "type": {
-                  "typeID": 3,
-                  "baseID": "X1"
-                }
-              }
-            ]
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 27,
         "alias": "A4",
@@ -731,7 +731,96 @@
       }
     ],
     "model": {
-      "items": []
+      "items": [
+        {
+          "id": 1,
+          "type": "basic",
+          "value": {
+            "0": "переговоры"
+          }
+        },
+        {
+          "id": 2,
+          "type": "basic",
+          "value": {
+            "0": "стол",
+            "1": "дверь"
+          }
+        },
+        {
+          "id": 3,
+          "type": "basic",
+          "value": {
+            "0": "Алиса"
+          }
+        },
+        {
+          "id": 4,
+          "type": "basic",
+          "value": {
+            "0": "выйти",
+            "1": "остаться"
+          }
+        },
+        {
+          "id": 5,
+          "type": "ℬ(X1×X1)",
+          "value": [
+            [
+              -111,
+              0,
+              0
+            ],
+            [
+              -111,
+              0,
+              1
+            ]
+          ]
+        },
+        {
+          "id": 6,
+          "type": "ℬ(X1×X1×X1)",
+          "value": [
+            [
+              -111,
+              0,
+              0,
+              0
+            ]
+          ]
+        },
+        {
+          "id": 7,
+          "type": "ℬ(X1×X1×X1)",
+          "value": [
+            [
+              -111,
+              0,
+              0,
+              0
+            ],
+            [
+              -111,
+              0,
+              0,
+              1
+            ]
+          ]
+        },
+        {
+          "id": 8,
+          "type": "ℬ(X1×X1×X1)",
+          "value": [
+            [
+              -111,
+              0,
+              0,
+              0
+            ]
+          ]
+        }
+      ]
     }
   },
   "diagnostics": []