@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/subordination/rsform-session.json

@@ -0,0 +1,556 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "e32b417e-2ba3-4cab-b1b5-ea2fe452b13d",
+    "alias": "SUB",
+    "title": "Начальники и подчинённые",
+    "comment": "Формальные структуры подчинения. Построить концептуальную схему, порождающую разнообразие отношений «начальник – подчинённый» (Т2 §4.2.1.1); учебная микротеория.\nL1. Исключено: все властные отношения, кроме подчинения; невыразимо: демократия, единовластие, монархия.\nL2. Исключено: время: бывшие, настоящие и будущие отношения; невыразимо: мой подчинённый, который является моим бывшим начальником.\nL3. Исключено: процедуры формирования и изменения структуры подчинения, воспроизводство кадров; невыразимо: назначение на должность, уход на пенсию, ответственность избираемых перед избирателями.\nL4. Исключено: психология; невыразимо: сам себе приказываю.\nL5. Исключено: способы достижения, поддержания и потери власти; невыразимо: узурпация власти.\nDC1. исходное понятие: X1 люди — начальники сами бывают подчинёнными и наоборот — есть более высокая абстракция (§4.2.1.4).\nDC2. основное отношение: первая гипотеза: единичное отношение «человек — человек» — простейшая форма; проверяется на требованиях к выразительным средствам (§4.2.1.5.1).\nDC3. основное отношение после проверки выразительности: множественное отношение S1: ℬ(ℬ(X1)×ℬ(X1)) — в единичном отношении три начальника одного человека — не коллективный начальник: E4–E8 невыразимы; множественное покрывает единичное одноэлементными совокупностями (§4.2.1.7).\nDC4. порядок пары: (начальник, подчинённый) — пара упорядочена — нужно решение о жёстком порядке (§4.2.1.5.2).\nDC5. антирефлексивность: аксиома A1: стороны одного отношения не пересекаются — отсекается психологический аспект — «сам себе не начальник» (§4.2.1.5.3); в разных отношениях человек может быть и членом руководства, и руководимым — это нужно для подчинения внутри коллектива (E6).\nDC6. универсальность: без аксиомы — не все люди чьи-то начальники или подчинённые; отсутствие аксиомы — тоже решение (§4.2.1.5.3).\nDC7. симметричность: без аксиомы — подчинение многоаспектно: капитан команды подчинён нападающему, который начальник отдела капитана (§4.2.1.5.3).\nDC8. транзитивность: без аксиомы — «вассал моего вассала — не мой вассал»: косвенное подчинение не прямое (§4.2.1.5.3).\nDC9. однозначность: без аксиомы — человек может руководить многими и быть подчинён многим (§4.2.1.5.3).\nDC10. непустота сторон: аксиома A2 — в книге подразумевается неявно (§4.2.1.8); в ЯРЭ записано явно.",
+    "createdAt": "2026-10-25T18:34:32.363Z",
+    "updatedAt": "2026-10-25T18:34:32.389Z",
+    "revisions": [
+      {
+        "revisionId": "8bbbcb72-46f3-4c0c-9b93-5fe68f4fab9c",
+        "at": "2026-10-25T18:34:32.389Z",
+        "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": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}

package/examples/subordination/source-markup.md

@@ -0,0 +1,19 @@
+# Расчистка источника: «Начальники и подчинённые»
+
+Этап 1, `rs-scope` шаг 2. Фрагменты [`source.md`](source.md) (Т2 §4.2.1.1–4.2.1.3) по статусу утверждения и смысловому блоку.
+
+| Фрагмент                                                                                          | Статус                   | Блок               | Куда в брифе                              |
+| :------------------------------------------------------------------------------------------------ | :----------------------- | :----------------- | :---------------------------------------- |
+| «построить концептуальную схему, порождающую разнообразие отношений “начальник – подчиненный”»    | задача                   | постановка         | `task`                                    |
+| «подчинение – это некоторый аспект властных отношений… формы власти: единовластие, аристократия…» | нерелевантное для задачи | власть             | `L1` — исключено, невыразимо              |
+| «главнокомандующий… генеральный штаб… “коллективный начальник”»                                   | пример                   | основное отношение | `E4`, `E5`, сценарий `SC1`                |
+| «исключаем временной аспект… “мой подчиненный, который является моим бывшим начальником”»         | ограничение              | время              | `L2`                                      |
+| «процедурные вопросы… воспроизводство кадров»                                                     | ограничение              | процедуры          | `L3`                                      |
+| «аспекты, лежащие в области психологии… “сам себе приказываю”»                                    | ограничение              | психология         | `L4`; аксиома `A1`                        |
+| «способов достижения, поддержания и потери власти»                                                | ограничение              | власть             | `L5`                                      |
+| «прямое и косвенное подчинение (“вассал моего вассала – не мой вассал”)»                          | требование               | основное отношение | `E1`, `E2`; различение `V1`; `DC8`        |
+| «“линии прямого подчинения”»                                                                      | требование               | основное отношение | `E3`                                      |
+| «коллективное руководство группой, коллективное руководство одним человеком»                      | требование               | виды руководства   | `E4`, `E5`; различение `V3`               |
+| «отношения подчинения внутри коллективного руководства»                                           | требование               | виды руководства   | `E6`                                      |
+| «“чистое” коллегиальное руководство и коллегиальное руководство с единоначалием»                  | требование               | виды руководства   | `E7`, `E8`; различение `V2`               |
+| «главнокомандующий подчиняется генеральному штабу»                                                | пример                   | основное отношение | `SC1`; решение `DC7` (без симметричности) |

package/examples/subordination/source.md

@@ -0,0 +1,40 @@
+# Начальники и подчинённые (источник)
+
+Фрагменты З. А. Кучкарова, «Методы концептуального анализа и синтеза…», т. 2, §4.2.1.1–4.2.1.3 (М.: Концепт, 2008). Текст приводится по изданию с сокращениями (…).
+
+## 4.2.1.1. Объект исследования
+
+В государстве или регионе, отрасли или фирме, в производственной организации или футбольном клубе и т.д. в разных системах мы видим разные формы или отношения подчинения. О преимуществах и недостатках этих форм не угасают споры (как исторические, так и современные). Однако спорщикам – как теоретикам, так и практикам – остается неизвестным полное возможное разнообразие форм подчинения. Настоящая концептуализация – попытка частично компенсировать этот пробел.
+
+Задача заключается в том, чтобы построить концептуальную схему, порождающую разнообразие отношений “начальник – подчиненный”, и образовать понятия, способные представить эту область в некотором ограниченном смысле.
+
+Очевидно, что подчинение – это некоторый аспект властных отношений. Феномен власти имеет очень сложное содержание – каким способом власть достигается, как удерживается, что такое узурпация власти и т.д. (…) Далее, известны различные формы власти: единовластие, аристократия, демократия, монархия, диктатура. (…)
+
+Рассмотрим интерпретацию отношений подчинения в армии. Есть главнокомандующий армией – “единоначальник”, а есть генеральный штаб армии – “коллективный начальник”. Главнокомандующий – начальник всей армии, а кем командует генеральный штаб? Как соотносятся генеральный штаб и главнокомандующий в отношении подчинения? (…)
+
+## 4.2.1.2. Предмет исследования – предметная область
+
+Ограничения предметной области:
+
+- во-первых, из общего содержания властных отношений, выбираем лишь один аспект – отношение подчинения;
+- во-вторых, исключаем временной аспект этого отношения;
+- в теории, которую предполагается создать, невыразимы понятия “демократия”, “единовластие” и т.п., поскольку эти понятия включают много других аспектов;
+- далее будут исключены из рассмотрения также вопросы, как, например, вопрос ответственности избираемых перед избирателями, процедурные вопросы, т.е. не будет определяться, каким образом формируется структура подчинения и как она изменяется, не будут рассматриваться все вопросы воспроизводства кадров (смена кадров, уход на пенсию, подготовка резерва и т.п.);
+- будет также полностью исключен временной аспект, не будут различаться “бывшие”, “настоящие” и “будущие” отношения “начальник – подчиненный”. Таким образом, понятие “мой подчиненный, который является моим бывшим начальником” – невыразимо в этой теории;
+- ситуация, когда начальник и подчиненный меняются местами, также рассматриваться не будет;
+- будут отсечены аспекты, лежащие в области психологии (психологический аспект) – самодисциплина и т.п. (“сам себе приказываю”). В той простейшей формальной структуре, которая будет представлена, не может быть определено, что человек сам для себя “начальник”;
+- исключается также содержание, касающееся способов достижения, поддержания и потери власти.
+
+Рассмотренные ограничения выделяют предметную область концептуализации: так называемые формальные структуры подчинения – будут рассматриваться бестелесные, бездуховные субъекты, между которыми расставлены отношения подчинения.
+
+## 4.2.1.3. Требования к выразительным средствам
+
+В этой теории должны быть выразимы такие понятия:
+
+- прямое и косвенное подчинение (“вассал моего вассала – не мой вассал”),
+- “линии прямого подчинения”,
+- “коллективное руководство” – полное разнообразие: коллективное руководство группой, коллективное руководство одним человеком,
+- отношения подчинения внутри коллективного руководства,
+- “чистое” коллегиальное руководство и коллегиальное руководство с единоначалием.
+
+Например, может иметь место такая структура подчинения среди условных “главнокомандующего”, “генштаба” и “армии”. “Главнокомандующий” находится в отношении “начальник – подчиненный” к армии. “Начальник генштаба” подчиняется “главнокомандующему”, а сам “главнокомандующий” подчиняется “генеральному штабу”.