@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/kinship-subordination/rsform-session.json

@@ -0,0 +1,795 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "9adc9749-5e2b-4078-93f3-defb6fcfd24a",
+    "alias": "KSUB",
+    "title": "Родство и подчинение",
+    "comment": "Подчинение и родство сотрудников одной организации. Учебный пример синтеза: соединить микротеории «Начальники и подчинённые» и «Родство» и выразить правило конфликта интересов.\nL1. Исключено: родство дальше 1 ранга (родители, дети, братья, сёстры); невыразимо: подчинение внуку, подчинение двоюродному брату.\nDC1. таблица отождествлений: отождествить базисные множества людей — правило говорит об одних и тех же людях; исходное с исходным отождествлять можно (Т1 §1.2.18).\nDC2. правило конфликта интересов: синтетическая аксиома A3 и понятие нарушения D11 — правило не выражается ни в одной микротеории — это новое знание синтеза.\nDC3. косвенное подчинение родственнику: без аксиомы, но выразимо понятием D12 — «Запрет налагается только на прямое подчинение и родственные отношения 1 ранга» (Т1 §1.2.18): сын может быть рядовым сотрудником.\nDC4. прямые родственники: родители, дети, братья и сёстры — из микротеории родства — Т1 §1.2.18: «прямые родственные отношения: брат, сестра, сын, дочь».",
+    "createdAt": "2026-10-25T18:34:33.381Z",
+    "updatedAt": "2026-10-25T18:34:33.423Z",
+    "revisions": [
+      {
+        "revisionId": "2c4f7e63-7bb2-4be8-9b32-3332f838c5ed",
+        "at": "2026-10-25T18:34:33.423Z",
+        "message": "синтез родства и подчинения"
+      }
+    ],
+    "items": [
+      {
+        "id": 1,
+        "alias": "X1",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "люди",
+        "definitionText": "",
+        "convention": "Субъекты формальной структуры подчинения: абстракция человека, без должностей и психологии.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 2,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(ℬ(X1)×ℬ(X1))",
+        "term": "подчинение",
+        "definitionText": "",
+        "convention": "Пара (руководящая совокупность, руководимая совокупность): совокупность людей является начальником другой совокупности. Единоличное руководство — пара с одноэлементной первой совокупностью.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                },
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "I{(α,β) | ρ:∈S1; α:∈pr1(ρ); β:∈pr2(ρ)}",
+        "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",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[{ξ}](D1))",
+        "term": "прямые подчинённые",
+        "definitionText": "Люди, прямо подчинённые данному человеку.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] R{σ:=F1[ξ] | σ∪Pr2(Fi1[σ](D1))}",
+        "term": "подчинённые по линиям прямого подчинения",
+        "definitionText": "Люди, до которых от данного человека доходит цепочка прямых подчинений.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 6,
+        "alias": "F3",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] F2[ξ]\\(F1[ξ]∪{ξ})",
+        "term": "косвенные подчинённые",
+        "definitionText": "Подчинённые по линиям прямого подчинения, которые не подчинены данному человеку прямо: «вассал моего вассала — не мой вассал».",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "D2",
+        "cstType": "term",
+        "definitionFormal": "D{ρ∈S1 | card(pr1(ρ))=1}",
+        "term": "единоличное руководство",
+        "definitionText": "Отношения подчинения, в которых начальник — один человек.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                },
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "D3",
+        "cstType": "term",
+        "definitionFormal": "D{ρ∈S1 | card(pr1(ρ))≥2}",
+        "term": "коллективное руководство",
+        "definitionText": "Отношения подчинения, в которых начальник — совокупность из нескольких людей.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                },
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 9,
+        "alias": "D4",
+        "cstType": "term",
+        "definitionFormal": "D{ρ∈D3 | card(pr2(ρ))=1}",
+        "term": "коллективное руководство одним человеком",
+        "definitionText": "Коллективное руководство, которому подчинён один человек.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                },
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 10,
+        "alias": "D5",
+        "cstType": "term",
+        "definitionFormal": "D{ρ∈D3 | card(pr2(ρ))≥2}",
+        "term": "коллективное руководство группой",
+        "definitionText": "Коллективное руководство, которому подчинена группа людей.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                },
+                {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 11,
+        "alias": "D6",
+        "cstType": "term",
+        "definitionFormal": "Pr1(D3)",
+        "term": "коллективные начальники",
+        "definitionText": "Совокупности людей, выступающие начальником в коллективном руководстве.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 12,
+        "alias": "F4",
+        "cstType": "function",
+        "definitionFormal": "[σ∈ℬ(X1)] D{ρ∈S1 | pr1(ρ)∪pr2(ρ)⊆σ}",
+        "term": "подчинение внутри совокупности",
+        "definitionText": "Отношения подчинения, обе стороны которых входят в данную совокупность людей.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 4,
+                "factors": [
+                  {
+                    "typeID": 5,
+                    "base": {
+                      "typeID": 3,
+                      "baseID": "X1"
+                    }
+                  },
+                  {
+                    "typeID": 5,
+                    "base": {
+                      "typeID": 3,
+                      "baseID": "X1"
+                    }
+                  }
+                ]
+              }
+            },
+            "args": [
+              {
+                "alias": "σ",
+                "type": {
+                  "typeID": 5,
+                  "base": {
+                    "typeID": 3,
+                    "baseID": "X1"
+                  }
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 13,
+        "alias": "D7",
+        "cstType": "term",
+        "definitionFormal": "D{σ∈D6 | F4[σ]≠∅}",
+        "term": "коллективные начальники с внутренним подчинением",
+        "definitionText": "Коллективные начальники, внутри которых есть отношения подчинения.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 14,
+        "alias": "D8",
+        "cstType": "term",
+        "definitionFormal": "D6\\D7",
+        "term": "«чистое» коллегиальное руководство",
+        "definitionText": "Коллективные начальники без подчинения внутри.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 15,
+        "alias": "D9",
+        "cstType": "term",
+        "definitionFormal": "D{σ∈D6 | ∃ρ∈D2 (pr1(ρ)⊆σ & pr2(ρ)=σ\\pr1(ρ))}",
+        "term": "коллегиальное руководство с единоначалием",
+        "definitionText": "Коллективные начальники, в которых один член единолично руководит всеми остальными.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 16,
+        "alias": "D10",
+        "cstType": "term",
+        "definitionFormal": "X1\\(Pr1(D1)∪Pr2(D1))",
+        "term": "люди вне отношений подчинения",
+        "definitionText": "Люди, которые никому не начальники и ничьи не подчинённые.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 17,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "∀ρ∈S1 pr1(ρ)∩pr2(ρ)=∅",
+        "term": "сам себе не начальник",
+        "definitionText": "Никто не входит одновременно в руководящую и в руководимую совокупность одного отношения.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 18,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "∀ρ∈S1 (pr1(ρ)≠∅ & pr2(ρ)≠∅)",
+        "term": "стороны подчинения непусты",
+        "definitionText": "У отношения подчинения есть и начальник, и подчинённый.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 20,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X1)",
+        "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": 21,
+        "alias": "F5",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr1(Fi2[{ξ}](S2))",
+        "term": "родители человека",
+        "definitionText": "Родители данного человека.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 22,
+        "alias": "F6",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[{ξ}](S2))",
+        "term": "дети человека",
+        "definitionText": "Дети данного человека.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 23,
+        "alias": "F7",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[F5[ξ]](S2))\\{ξ}",
+        "term": "братья и сёстры",
+        "definitionText": "Другие дети родителей данного человека.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 24,
+        "alias": "F8",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] F5[ξ]∪F6[ξ]∪F7[ξ]",
+        "term": "прямые родственники",
+        "definitionText": "Родители, дети, братья и сёстры данного человека — родственники 1 ранга (Т1 §1.2.18).",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X1"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 25,
+        "alias": "A3",
+        "cstType": "axiom",
+        "definitionFormal": "∀(α,β)∈D1 β∉F8[α]",
+        "term": "нет прямого подчинения родственнику",
+        "definitionText": "Прямой родственник (родитель, ребёнок, брат, сестра) не находится с человеком в прямом подчинении (Т1 §1.2.18).",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 26,
+        "alias": "D11",
+        "cstType": "term",
+        "definitionFormal": "D{(α,β)∈D1 | β∈F8[α]}",
+        "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": 27,
+        "alias": "D12",
+        "cstType": "term",
+        "definitionFormal": "D{(α,β)∈X1×X1 | β∈F3[α] & β∈F8[α]}",
+        "term": "косвенное подчинение родственнику",
+        "definitionText": "Пары людей, где второй — косвенный подчинённый первого и его прямой родственник.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}