@rsconcept/rstool 0.10.2 → 1.0.0

package/examples/chocolate-nim/rsform-session.json

@@ -1,44 +1,67 @@
 {
-  "contractVersion": "1.4.0",
+  "contractVersion": "2.0.0",
   "state": {
-    "sessionId": "c92d105d-6c5c-4260-ae15-2d09025792f2",
+    "sessionId": "b171e421-1562-4b1a-bf6c-09f134929a92",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-06-22T09:59:13.240Z",
-    "updatedAt": "2026-06-22T09:59:13.269Z",
+    "createdAt": "2026-07-01T17:12:48.205Z",
+    "updatedAt": "2026-07-01T17:12:48.231Z",
     "revisions": [
       {
-        "revisionId": "a493ce48-f8e8-47cd-91cc-361b245b9965",
-        "at": "2026-06-22T09:59:13.269Z",
+        "revisionId": "e724c462-cc11-435c-8f37-9b61b657dad1",
+        "at": "2026-07-01T17:12:48.231Z",
         "message": "КС «шоколадный Ним» (rsforms/825): Z×Z, pr, P#, T#, арифметика, радикал R1"
       }
     ],
     "items": [
       {
-        "id": 1,
-        "alias": "S1",
-        "cstType": "structure",
-        "definitionFormal": "Z×Z",
-        "term": "шоколадка",
-        "convention": "Первая проекция — ширина, вторая — длина",
+        "id": 12,
+        "alias": "F5",
+        "cstType": "function",
+        "definitionFormal": "[α∈Z, β∈Z] debool(I{(α,0) | α<β} ∪ I{(α-β,1) | α≥β})",
+        "term": "деление с остатком на степень двойки",
         "definitionText": "",
+        "convention": "Предполагается, что удвоенный делитель больше делимого",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 4,
-            "factors": [
+            "typeID": 7,
+            "result": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              ]
+            },
+            "args": [
               {
-                "typeID": 2,
-                "isOrdered": true,
-                "isArithmetic": true,
-                "isIntegerCompatible": true
+                "alias": "α",
+                "type": {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
               },
               {
-                "typeID": 2,
-                "isOrdered": true,
-                "isArithmetic": true,
-                "isIntegerCompatible": true
+                "alias": "β",
+                "type": {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
               }
             ]
           },
@@ -47,69 +70,41 @@
         }
       },
       {
-        "id": 2,
-        "alias": "D1",
-        "cstType": "term",
-        "definitionFormal": "pr1(S1)",
-        "term": "ширина шоколадки",
-        "definitionText": "",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 2,
-            "isOrdered": true,
-            "isArithmetic": true,
-            "isIntegerCompatible": true
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 3,
-        "alias": "D2",
-        "cstType": "term",
-        "definitionFormal": "pr2(S1)",
-        "term": "длина шоколадки",
+        "id": 13,
+        "alias": "F6",
+        "cstType": "function",
+        "definitionFormal": "[α∈Z, β∈Z] pr1(F5[α, β])",
+        "term": "остаток",
         "definitionText": "",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 2,
-            "isOrdered": true,
-            "isArithmetic": true,
-            "isIntegerCompatible": true
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 4,
-        "alias": "S2",
-        "cstType": "structure",
-        "definitionFormal": "Z×Z",
-        "term": "отравленная долька",
-        "convention": "Координаты отравленной дольки: первая проекция по ширине, вторая — по длине",
-        "definitionText": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 4,
-            "factors": [
+            "typeID": 7,
+            "result": {
+              "typeID": 2,
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
+            },
+            "args": [
               {
-                "typeID": 2,
-                "isOrdered": true,
-                "isArithmetic": true,
-                "isIntegerCompatible": true
+                "alias": "α",
+                "type": {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
               },
               {
-                "typeID": 2,
-                "isOrdered": true,
-                "isArithmetic": true,
-                "isIntegerCompatible": true
+                "alias": "β",
+                "type": {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
               }
             ]
           },
@@ -118,76 +113,22 @@
         }
       },
       {
-        "id": 5,
-        "alias": "D3",
-        "cstType": "term",
-        "definitionFormal": "pr1(S2)",
-        "term": "расположение отравленной дольки по ширине",
-        "definitionText": "",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 2,
-            "isOrdered": true,
-            "isArithmetic": true,
-            "isIntegerCompatible": true
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 6,
-        "alias": "D4",
-        "cstType": "term",
-        "definitionFormal": "pr2(S2)",
-        "term": "расположение отравленной дольки по длине",
+        "id": 14,
+        "alias": "F7",
+        "cstType": "function",
+        "definitionFormal": "[α∈Z, β∈Z] pr2(F5[α, β])",
+        "term": "целая часть",
         "definitionText": "",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 2,
-            "isOrdered": true,
-            "isArithmetic": true,
-            "isIntegerCompatible": true
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 7,
-        "alias": "A1",
-        "cstType": "axiom",
-        "definitionFormal": "(1≤D3)&(D3≤D1)&(1≤D4)&(D4≤D2)",
-        "term": "отравленная долька в шоколадке",
-        "definitionText": "Координаты отравленной дольки лежат в пределах шоколадки",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 8,
-        "alias": "P1",
-        "cstType": "predicate",
-        "definitionFormal": "[α∈Z] R{ξ:=α | ξ≥2 | ξ-2}=0",
-        "term": "чётное?",
-        "convention": "Для малых аргументов — прямое вычитание двойки; для больших нужно двоичное представление",
-        "definitionText": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 8,
+            "typeID": 7,
             "result": {
-              "typeID": 6
+              "typeID": 2,
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
             },
             "args": [
               {
@@ -198,6 +139,15 @@
                   "isArithmetic": true,
                   "isIntegerCompatible": true
                 }
+              },
+              {
+                "alias": "β",
+                "type": {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
               }
             ]
           },
@@ -206,49 +156,36 @@
         }
       },
       {
-        "id": 9,
-        "alias": "F1",
+        "id": 11,
+        "alias": "F4",
         "cstType": "function",
-        "definitionFormal": "[α∈Z, σ∈ℬ(Z×R1)] debool(Pr2(Fi1[{α}](σ)))",
-        "term": "значение элемента последовательности с данным номером",
-        "definitionText": "Значение пары с заданным номером в последовательности пар",
+        "definitionFormal": "[σ∈ℬ(Z)] D{ξ∈σ | ∀α∈σ α≤ξ}",
+        "term": "верхние границы набора чисел",
+        "definitionText": "Множество элементов набора, не меньших всех остальных",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 7,
             "result": {
-              "typeID": 3,
-              "baseID": "R1"
+              "typeID": 5,
+              "base": {
+                "typeID": 2,
+                "isOrdered": true,
+                "isArithmetic": true,
+                "isIntegerCompatible": true
+              }
             },
             "args": [
-              {
-                "alias": "α",
-                "type": {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
-              },
               {
                 "alias": "σ",
                 "type": {
                   "typeID": 5,
                   "base": {
-                    "typeID": 4,
-                    "factors": [
-                      {
-                        "typeID": 2,
-                        "isOrdered": true,
-                        "isArithmetic": true,
-                        "isIntegerCompatible": true
-                      },
-                      {
-                        "typeID": 3,
-                        "baseID": "R1"
-                      }
-                    ]
+                    "typeID": 2,
+                    "isOrdered": true,
+                    "isArithmetic": true,
+                    "isIntegerCompatible": true
                   }
                 }
               }
@@ -296,36 +233,49 @@
         }
       },
       {
-        "id": 11,
-        "alias": "F4",
+        "id": 9,
+        "alias": "F1",
         "cstType": "function",
-        "definitionFormal": "[σ∈ℬ(Z)] D{ξ∈σ | ∀α∈σ α≤ξ}",
-        "term": "верхние границы набора чисел",
-        "definitionText": "Множество элементов набора, не меньших всех остальных",
+        "definitionFormal": "[α∈Z, σ∈ℬ(Z×R1)] debool(Pr2(Fi1[{α}](σ)))",
+        "term": "значение элемента последовательности с данным номером",
+        "definitionText": "Значение пары с заданным номером в последовательности пар",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
             "typeID": 7,
             "result": {
-              "typeID": 5,
-              "base": {
-                "typeID": 2,
-                "isOrdered": true,
-                "isArithmetic": true,
-                "isIntegerCompatible": true
-              }
+              "typeID": 3,
+              "baseID": "R1"
             },
             "args": [
+              {
+                "alias": "α",
+                "type": {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              },
               {
                 "alias": "σ",
                 "type": {
                   "typeID": 5,
                   "base": {
-                    "typeID": 2,
-                    "isOrdered": true,
-                    "isArithmetic": true,
-                    "isIntegerCompatible": true
+                    "typeID": 4,
+                    "factors": [
+                      {
+                        "typeID": 2,
+                        "isOrdered": true,
+                        "isArithmetic": true,
+                        "isIntegerCompatible": true
+                      },
+                      {
+                        "typeID": 3,
+                        "baseID": "R1"
+                      }
+                    ]
                   }
                 }
               }
@@ -336,33 +286,19 @@
         }
       },
       {
-        "id": 12,
-        "alias": "F5",
-        "cstType": "function",
-        "definitionFormal": "[α∈Z, β∈Z] debool(I{(α,0) | α<β} ∪ I{(α-β,1) | α≥β})",
-        "term": "деление с остатком на степень двойки",
-        "convention": "Предполагается, что удвоенный делитель больше делимого",
+        "id": 8,
+        "alias": "P1",
+        "cstType": "predicate",
+        "definitionFormal": "[α∈Z] R{ξ:=α | ξ≥2 | ξ-2}=0",
+        "term": "чётное?",
         "definitionText": "",
+        "convention": "Для малых аргументов — прямое вычитание двойки; для больших нужно двоичное представление",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 7,
+            "typeID": 8,
             "result": {
-              "typeID": 4,
-              "factors": [
-                {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                },
-                {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
-              ]
+              "typeID": 6
             },
             "args": [
               {
@@ -373,15 +309,6 @@
                   "isArithmetic": true,
                   "isIntegerCompatible": true
                 }
-              },
-              {
-                "alias": "β",
-                "type": {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
               }
             ]
           },
@@ -390,41 +317,29 @@
         }
       },
       {
-        "id": 13,
-        "alias": "F6",
-        "cstType": "function",
-        "definitionFormal": "[α∈Z, β∈Z] pr1(F5[α, β])",
-        "term": "остаток",
+        "id": 4,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "Z×Z",
+        "term": "отравленная долька",
         "definitionText": "",
-        "convention": "",
+        "convention": "Координаты отравленной дольки: первая проекция по ширине, вторая — по длине",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 2,
-              "isOrdered": true,
-              "isArithmetic": true,
-              "isIntegerCompatible": true
-            },
-            "args": [
+            "typeID": 4,
+            "factors": [
               {
-                "alias": "α",
-                "type": {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
+                "typeID": 2,
+                "isOrdered": true,
+                "isArithmetic": true,
+                "isIntegerCompatible": true
               },
               {
-                "alias": "β",
-                "type": {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
+                "typeID": 2,
+                "isOrdered": true,
+                "isArithmetic": true,
+                "isIntegerCompatible": true
               }
             ]
           },
@@ -433,41 +348,69 @@
         }
       },
       {
-        "id": 14,
-        "alias": "F7",
-        "cstType": "function",
-        "definitionFormal": "[α∈Z, β∈Z] pr2(F5[α, β])",
-        "term": "целая часть",
+        "id": 5,
+        "alias": "D3",
+        "cstType": "term",
+        "definitionFormal": "pr1(S2)",
+        "term": "расположение отравленной дольки по ширине",
         "definitionText": "",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 7,
-            "result": {
-              "typeID": 2,
-              "isOrdered": true,
-              "isArithmetic": true,
-              "isIntegerCompatible": true
-            },
-            "args": [
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 6,
+        "alias": "D4",
+        "cstType": "term",
+        "definitionFormal": "pr2(S2)",
+        "term": "расположение отравленной дольки по длине",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 1,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "Z×Z",
+        "term": "шоколадка",
+        "definitionText": "",
+        "convention": "Первая проекция — ширина, вторая — длина",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 4,
+            "factors": [
               {
-                "alias": "α",
-                "type": {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
+                "typeID": 2,
+                "isOrdered": true,
+                "isArithmetic": true,
+                "isIntegerCompatible": true
               },
               {
-                "alias": "β",
-                "type": {
-                  "typeID": 2,
-                  "isOrdered": true,
-                  "isArithmetic": true,
-                  "isIntegerCompatible": true
-                }
+                "typeID": 2,
+                "isOrdered": true,
+                "isArithmetic": true,
+                "isIntegerCompatible": true
               }
             ]
           },
@@ -475,6 +418,63 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 2,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "pr1(S1)",
+        "term": "ширина шоколадки",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "D2",
+        "cstType": "term",
+        "definitionFormal": "pr2(S1)",
+        "term": "длина шоколадки",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "(1≤D3)&(D3≤D1)&(1≤D4)&(D4≤D2)",
+        "term": "отравленная долька в шоколадке",
+        "definitionText": "Координаты отравленной дольки лежат в пределах шоколадки",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 15,
         "alias": "D5",
@@ -575,6 +575,23 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 24,
+        "alias": "T1",
+        "cstType": "statement",
+        "definitionFormal": "D8={0}",
+        "term": "игра закончена",
+        "definitionText": "Во всех кучках не осталось камней",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 19,
         "alias": "A2",
@@ -690,23 +707,6 @@
           "diagnostics": []
         }
       },
-      {
-        "id": 24,
-        "alias": "T1",
-        "cstType": "statement",
-        "definitionFormal": "D8={0}",
-        "term": "игра закончена",
-        "definitionText": "Во всех кучках не осталось камней",
-        "convention": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
       {
         "id": 25,
         "alias": "T2",
@@ -775,4 +775,4 @@
     }
   },
   "diagnostics": []
-}
+}