@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/subordination/brief.json

@@ -0,0 +1,386 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "education",
+  "object": "Формальные структуры подчинения",
+  "task": "Построить концептуальную схему, порождающую разнообразие отношений «начальник – подчинённый» (Т2 §4.2.1.1); учебная микротеория",
+  "source": "examples/subordination/source.md — Т2 §4.2.1",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "все властные отношения, кроме подчинения",
+      "inexpressible": ["демократия", "единовластие", "монархия"]
+    },
+    {
+      "id": "L2",
+      "excludes": "время: бывшие, настоящие и будущие отношения",
+      "inexpressible": ["мой подчинённый, который является моим бывшим начальником"]
+    },
+    {
+      "id": "L3",
+      "excludes": "процедуры формирования и изменения структуры подчинения, воспроизводство кадров",
+      "inexpressible": ["назначение на должность", "уход на пенсию", "ответственность избираемых перед избирателями"]
+    },
+    {
+      "id": "L4",
+      "excludes": "психология",
+      "inexpressible": ["сам себе приказываю"]
+    },
+    {
+      "id": "L5",
+      "excludes": "способы достижения, поддержания и потери власти",
+      "inexpressible": ["узурпация власти"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "прямое подчинение",
+      "ref": "§4.2.1.3",
+      "via": "пары людей из руководящей и руководимой совокупностей одного отношения",
+      "constituent": "D1"
+    },
+    {
+      "id": "E2",
+      "concept": "косвенное подчинение («вассал моего вассала — не мой вассал»)",
+      "ref": "§4.2.1.3",
+      "via": "подчинённые по линиям минус прямые",
+      "constituent": "F3"
+    },
+    {
+      "id": "E3",
+      "concept": "линии прямого подчинения",
+      "ref": "§4.2.1.3",
+      "via": "замыкание прямого подчинения через R{}",
+      "constituent": "F2"
+    },
+    {
+      "id": "E4",
+      "concept": "коллективное руководство группой",
+      "ref": "§4.2.1.3",
+      "via": "пары S1 с ≥ 2 людьми в обеих совокупностях",
+      "constituent": "D5"
+    },
+    {
+      "id": "E5",
+      "concept": "коллективное руководство одним человеком",
+      "ref": "§4.2.1.3",
+      "via": "пары S1 с ≥ 2 начальниками и одним подчинённым",
+      "constituent": "D4"
+    },
+    {
+      "id": "E6",
+      "concept": "отношения подчинения внутри коллективного руководства",
+      "ref": "§4.2.1.3",
+      "via": "пары S1, обе стороны которых внутри совокупности",
+      "constituent": "F4"
+    },
+    {
+      "id": "E7",
+      "concept": "«чистое» коллегиальное руководство",
+      "ref": "§4.2.1.3",
+      "via": "коллективный начальник без внутреннего подчинения",
+      "constituent": "D8"
+    },
+    {
+      "id": "E8",
+      "concept": "коллегиальное руководство с единоначалием",
+      "ref": "§4.2.1.3",
+      "via": "один член единолично руководит остальными членами",
+      "constituent": "D9"
+    },
+    {
+      "id": "E9",
+      "concept": "люди вне отношений подчинения",
+      "ref": "§4.2.1.7",
+      "via": "люди вне обеих проекций прямого подчинения",
+      "constituent": "D10"
+    },
+    {
+      "id": "E10",
+      "concept": "единоличное руководство",
+      "ref": "§4.2.1.5.1",
+      "via": "пары S1 с одноэлементной руководящей совокупностью",
+      "constituent": "D2"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["F1", "E2"],
+      "text": "прямые подчинённые ≠ косвенные: «вассал моего вассала — не мой вассал»",
+      "witness": "SC1"
+    },
+    {
+      "id": "V2",
+      "between": ["E7", "E8"],
+      "text": "«чистое» коллегиальное руководство ≠ коллегиальное с единоначалием",
+      "witness": "SC1"
+    },
+    {
+      "id": "V3",
+      "between": ["E4", "E5"],
+      "text": "коллективное руководство группой ≠ одним человеком",
+      "witness": "SC1"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "Сам себе не начальник",
+      "ref": "§4.2.1.5.3",
+      "constituent": "A1",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "У отношения подчинения обе стороны непусты",
+      "ref": "§4.2.1.8",
+      "constituent": "A2",
+      "positive": "SC1",
+      "negative": "SC3"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "исходное понятие",
+      "alternatives": ["два базисных множества: начальники и подчинённые", "одно: люди"],
+      "choice": "X1 люди",
+      "rationale": "начальники сами бывают подчинёнными и наоборот — есть более высокая абстракция (§4.2.1.4)"
+    },
+    {
+      "id": "DC2",
+      "topic": "основное отношение: первая гипотеза",
+      "alternatives": ["единичное отношение", "множественное отношение", "оба"],
+      "choice": "единичное отношение «человек — человек»",
+      "rationale": "простейшая форма; проверяется на требованиях к выразительным средствам (§4.2.1.5.1)"
+    },
+    {
+      "id": "DC3",
+      "topic": "основное отношение после проверки выразительности",
+      "supersedes": "DC2",
+      "choice": "множественное отношение S1: ℬ(ℬ(X1)×ℬ(X1))",
+      "rationale": "в единичном отношении три начальника одного человека — не коллективный начальник: E4–E8 невыразимы; множественное покрывает единичное одноэлементными совокупностями (§4.2.1.7)"
+    },
+    {
+      "id": "DC4",
+      "topic": "порядок пары",
+      "choice": "(начальник, подчинённый)",
+      "rationale": "пара упорядочена — нужно решение о жёстком порядке (§4.2.1.5.2)"
+    },
+    {
+      "id": "DC5",
+      "topic": "антирефлексивность",
+      "choice": "аксиома A1: стороны одного отношения не пересекаются",
+      "rationale": "отсекается психологический аспект — «сам себе не начальник» (§4.2.1.5.3); в разных отношениях человек может быть и членом руководства, и руководимым — это нужно для подчинения внутри коллектива (E6)"
+    },
+    {
+      "id": "DC6",
+      "topic": "универсальность",
+      "choice": "без аксиомы",
+      "rationale": "не все люди чьи-то начальники или подчинённые; отсутствие аксиомы — тоже решение (§4.2.1.5.3)"
+    },
+    {
+      "id": "DC7",
+      "topic": "симметричность",
+      "choice": "без аксиомы",
+      "rationale": "подчинение многоаспектно: капитан команды подчинён нападающему, который начальник отдела капитана (§4.2.1.5.3)"
+    },
+    {
+      "id": "DC8",
+      "topic": "транзитивность",
+      "choice": "без аксиомы",
+      "rationale": "«вассал моего вассала — не мой вассал»: косвенное подчинение не прямое (§4.2.1.5.3)"
+    },
+    {
+      "id": "DC9",
+      "topic": "однозначность",
+      "choice": "без аксиомы",
+      "rationale": "человек может руководить многими и быть подчинён многим (§4.2.1.5.3)"
+    },
+    {
+      "id": "DC10",
+      "topic": "непустота сторон",
+      "choice": "аксиома A2",
+      "rationale": "в книге подразумевается неявно (§4.2.1.8); в ЯРЭ записано явно"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Армия: главнокомандующий, генштаб и армия (§4.2.1.3)",
+      "values": {
+        "X1": ["gc", "chief", "s1", "s2", "a1", "a2", "cat"],
+        "S1": [
+          [["gc"], ["a1", "a2"]],
+          [["gc"], ["chief"]],
+          [["chief", "s1", "s2"], ["gc"]],
+          [["chief"], ["s1", "s2"]],
+          [
+            ["s1", "s2"],
+            ["a1", "a2"]
+          ]
+        ]
+      },
+      "expect": [
+        {
+          "of": "D1",
+          "contains": [
+            ["gc", "a1"],
+            ["chief", "gc"],
+            ["s1", "gc"],
+            ["chief", "s1"]
+          ],
+          "excludes": [["gc", "s1"]]
+        },
+        {
+          "of": "F1",
+          "args": ["gc"],
+          "value": ["a1", "a2", "chief"]
+        },
+        {
+          "of": "F1",
+          "args": ["chief"],
+          "value": ["gc", "s1", "s2"]
+        },
+        {
+          "of": "F3",
+          "args": ["chief"],
+          "value": ["a1", "a2"],
+          "note": "армия — вассалы вассала начальника генштаба"
+        },
+        {
+          "of": "F2",
+          "args": ["a1"],
+          "value": []
+        },
+        {
+          "of": "D2",
+          "value": [
+            [["gc"], ["a1", "a2"]],
+            [["gc"], ["chief"]],
+            [["chief"], ["s1", "s2"]]
+          ]
+        },
+        {
+          "of": "D4",
+          "value": [[["chief", "s1", "s2"], ["gc"]]],
+          "note": "генштаб — коллективный начальник главнокомандующего"
+        },
+        {
+          "of": "D5",
+          "value": [
+            [
+              ["s1", "s2"],
+              ["a1", "a2"]
+            ]
+          ]
+        },
+        {
+          "of": "F4",
+          "args": [["chief", "s1", "s2"]],
+          "value": [[["chief"], ["s1", "s2"]]]
+        },
+        {
+          "of": "D8",
+          "value": [["s1", "s2"]]
+        },
+        {
+          "of": "D9",
+          "value": [["chief", "s1", "s2"]]
+        },
+        {
+          "of": "D10",
+          "value": ["cat"]
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Человек в обеих сторонах одного отношения",
+      "base": "SC1",
+      "values": {
+        "S1": [[["gc"], ["gc", "a1"]]]
+      },
+      "expect": [
+        {
+          "of": "A1",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Отношение без подчинённых",
+      "base": "SC1",
+      "values": {
+        "S1": [[["gc"], []]]
+      },
+      "expect": [
+        {
+          "of": "A2",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC4",
+      "title": "Футбольная команда: капитан и нападающий подчинены друг другу в разных аспектах (§4.2.1.5.3) — допустимый сценарий: симметричность не запрещена (DC7)",
+      "values": {
+        "X1": ["cap", "fwd"],
+        "S1": [
+          [["fwd"], ["cap"]],
+          [["cap"], ["fwd"]]
+        ]
+      },
+      "expect": [
+        {
+          "of": "F1",
+          "args": ["cap"],
+          "value": ["fwd"]
+        },
+        {
+          "of": "F1",
+          "args": ["fwd"],
+          "value": ["cap"]
+        }
+      ]
+    }
+  ],
+  "questions": [
+    {
+      "round": 1,
+      "text": "Могут ли начальники сами быть подчинёнными и наоборот?",
+      "proposed": "да",
+      "consequence": "одно базисное множество «люди» (DC1)",
+      "answer": "да, известное содержание однозначно говорит, что могут (§4.2.1.4)"
+    },
+    {
+      "round": 2,
+      "text": "Выражается ли «коллективное руководство» через единичное отношение?",
+      "proposed": "нет: три начальника одного человека — не коллективный начальник",
+      "consequence": "смена гипотезы на множественное отношение (DC3)",
+      "answer": "нет (§4.2.1.7)"
+    },
+    {
+      "round": 2,
+      "text": "Может ли человек быть начальником своего начальника?",
+      "proposed": "да, в разных аспектах подчинения",
+      "consequence": "без аксиомы симметричности (DC7)",
+      "answer": "да (§4.2.1.5.3)"
+    },
+    {
+      "round": 2,
+      "text": "Может ли член коллективного руководства входить в руководимую им совокупность?",
+      "proposed": "нет в одном отношении, да в разных",
+      "consequence": "аксиома A1 по одной паре; подчинение внутри коллектива выразимо (E6)",
+      "answer": "вопрос поставлен в §4.2.1.7; решение — DC5"
+    }
+  ],
+  "assumptions": ["базисное множество людей конечно (§4.2.1.8)"],
+  "openQuestions": [
+    "эквивалентно ли единичное отношение одноэлементным совокупностям — книга оставляет за рамками (§4.2.1.5.1)"
+  ]
+}

package/examples/subordination/build-rsform.ts

@@ -0,0 +1,63 @@
+/**
+ * Teaching microtheory «Начальники и подчинённые»: reference schema and anti-examples.
+ * Run from the package root: `pnpm run example:build-subordination-schema`.
+ */
+import { mkdirSync, rmSync, writeFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+
+import { type AgentConstituentaPatch, RSToolAgent } from '../../src';
+
+import { describeBrief, formatDiagnostics } from '../diagnostics-utils';
+
+import { SUBORDINATION_ITEMS } from './constants';
+
+/** «Green but wrong» variants: each is caught by a specific brief check (see NOTES.md). */
+const ANTI_EXAMPLES: Record<string, AgentConstituentaPatch[]> = {
+  // the first hypothesis of Т2 §4.2.1.5: a single person-to-person relation
+  'single-relation': [
+    { alias: 'X1', term: 'люди', convention: 'Субъекты формальной структуры подчинения.' },
+    {
+      alias: 'S1',
+      term: 'подчинение',
+      definitionFormal: 'ℬ(X1×X1)',
+      convention: 'Пара (начальник, подчинённый).'
+    },
+    { alias: 'F1', term: 'прямые подчинённые', definitionFormal: '[ξ∈X1] Pr2(Fi1[{ξ}](S1))' },
+    { alias: 'A1', term: 'сам себе не начальник', definitionFormal: '∀ξ∈X1 (ξ,ξ)∉S1' }
+  ],
+  'weakened': SUBORDINATION_ITEMS.filter(item => item.alias !== 'A1'),
+  'collapsed': SUBORDINATION_ITEMS.map(item => (item.alias === 'D8' ? { ...item, definitionFormal: 'D6' } : item)),
+  'transitive': [
+    ...SUBORDINATION_ITEMS,
+    {
+      alias: 'A3',
+      term: 'подчинённый подчинённого — мой подчинённый',
+      definitionFormal: '∀ξ∈X1 F2[ξ]⊆F1[ξ]∪{ξ}',
+      definitionText: 'Подчинение транзитивно.'
+    }
+  ]
+};
+
+function buildSession(title: string, items: AgentConstituentaPatch[]): string {
+  const tool = new RSToolAgent();
+  tool.createSession({ alias: 'SUB', title, comment: describeBrief(resolve(import.meta.dirname, 'brief.json')) });
+  const result = tool.applySchemaPatch({ items, commitMessage: title });
+  const diagnostics = tool.listDiagnostics();
+  if (!result.success || diagnostics.length > 0) {
+    throw new Error(`${title}: ${formatDiagnostics(diagnostics)}`);
+  }
+  return tool.exportSession() + '\n';
+}
+
+function run() {
+  const root = import.meta.dirname;
+  writeFileSync(resolve(root, 'rsform-session.json'), buildSession('Начальники и подчинённые', SUBORDINATION_ITEMS));
+  rmSync(resolve(root, 'anti'), { recursive: true, force: true });
+  mkdirSync(resolve(root, 'anti'), { recursive: true });
+  for (const [name, items] of Object.entries(ANTI_EXAMPLES)) {
+    writeFileSync(resolve(root, 'anti', `${name}.json`), buildSession(`Антипример: ${name}`, items));
+  }
+  console.log(`subordination: rsform-session.json + ${Object.keys(ANTI_EXAMPLES).length} anti-examples`);
+}
+
+run();

package/examples/subordination/constants.ts

@@ -0,0 +1,115 @@
+/** Reference schema of the teaching microtheory «Начальники и подчинённые» (Т2 §4.2.1; see NOTES.md). */
+import { type AgentConstituentaPatch } from '../../src';
+
+export const SUBORDINATION_ITEMS: AgentConstituentaPatch[] = [
+  {
+    alias: 'X1',
+    term: 'люди',
+    convention: 'Субъекты формальной структуры подчинения: абстракция человека, без должностей и психологии.'
+  },
+  {
+    alias: 'S1',
+    term: 'подчинение',
+    definitionFormal: 'ℬ(ℬ(X1)×ℬ(X1))',
+    convention:
+      'Пара (руководящая совокупность, руководимая совокупность): совокупность людей является начальником другой совокупности. Единоличное руководство — пара с одноэлементной первой совокупностью.'
+  },
+  {
+    alias: 'D1',
+    term: 'прямое подчинение',
+    definitionFormal: 'I{(α,β) | ρ:∈S1; α:∈pr1(ρ); β:∈pr2(ρ)}',
+    definitionText:
+      'Пары людей (начальник, подчинённый): первый входит в руководящую совокупность, которой подчинён второй.'
+  },
+  {
+    alias: 'F1',
+    term: 'прямые подчинённые',
+    definitionFormal: '[ξ∈X1] Pr2(Fi1[{ξ}](D1))',
+    definitionText: 'Люди, прямо подчинённые данному человеку.'
+  },
+  {
+    alias: 'F2',
+    term: 'подчинённые по линиям прямого подчинения',
+    definitionFormal: '[ξ∈X1] R{σ:=F1[ξ] | σ∪Pr2(Fi1[σ](D1))}',
+    definitionText: 'Люди, до которых от данного человека доходит цепочка прямых подчинений.'
+  },
+  {
+    alias: 'F3',
+    term: 'косвенные подчинённые',
+    definitionFormal: '[ξ∈X1] F2[ξ]\\(F1[ξ]∪{ξ})',
+    definitionText:
+      'Подчинённые по линиям прямого подчинения, которые не подчинены данному человеку прямо: «вассал моего вассала — не мой вассал».'
+  },
+  {
+    alias: 'D2',
+    term: 'единоличное руководство',
+    definitionFormal: 'D{ρ∈S1 | card(pr1(ρ))=1}',
+    definitionText: 'Отношения подчинения, в которых начальник — один человек.'
+  },
+  {
+    alias: 'D3',
+    term: 'коллективное руководство',
+    definitionFormal: 'D{ρ∈S1 | card(pr1(ρ))≥2}',
+    definitionText: 'Отношения подчинения, в которых начальник — совокупность из нескольких людей.'
+  },
+  {
+    alias: 'D4',
+    term: 'коллективное руководство одним человеком',
+    definitionFormal: 'D{ρ∈D3 | card(pr2(ρ))=1}',
+    definitionText: 'Коллективное руководство, которому подчинён один человек.'
+  },
+  {
+    alias: 'D5',
+    term: 'коллективное руководство группой',
+    definitionFormal: 'D{ρ∈D3 | card(pr2(ρ))≥2}',
+    definitionText: 'Коллективное руководство, которому подчинена группа людей.'
+  },
+  {
+    alias: 'D6',
+    term: 'коллективные начальники',
+    definitionFormal: 'Pr1(D3)',
+    definitionText: 'Совокупности людей, выступающие начальником в коллективном руководстве.'
+  },
+  {
+    alias: 'F4',
+    term: 'подчинение внутри совокупности',
+    definitionFormal: '[σ∈ℬ(X1)] D{ρ∈S1 | pr1(ρ)∪pr2(ρ)⊆σ}',
+    definitionText: 'Отношения подчинения, обе стороны которых входят в данную совокупность людей.'
+  },
+  {
+    alias: 'D7',
+    term: 'коллективные начальники с внутренним подчинением',
+    definitionFormal: 'D{σ∈D6 | F4[σ]≠∅}',
+    definitionText: 'Коллективные начальники, внутри которых есть отношения подчинения.'
+  },
+  {
+    alias: 'D8',
+    term: '«чистое» коллегиальное руководство',
+    definitionFormal: 'D6\\D7',
+    definitionText: 'Коллективные начальники без подчинения внутри.'
+  },
+  {
+    alias: 'D9',
+    term: 'коллегиальное руководство с единоначалием',
+    definitionFormal: 'D{σ∈D6 | ∃ρ∈D2 (pr1(ρ)⊆σ & pr2(ρ)=σ\\pr1(ρ))}',
+    definitionText: 'Коллективные начальники, в которых один член единолично руководит всеми остальными.'
+  },
+  {
+    alias: 'D10',
+    term: 'люди вне отношений подчинения',
+    definitionFormal: 'X1\\(Pr1(D1)∪Pr2(D1))',
+    definitionText: 'Люди, которые никому не начальники и ничьи не подчинённые.'
+  },
+  {
+    alias: 'A1',
+    term: 'сам себе не начальник',
+    definitionFormal: '∀ρ∈S1 pr1(ρ)∩pr2(ρ)=∅',
+    definitionText: 'Никто не входит одновременно в руководящую и в руководимую совокупность одного отношения.'
+  },
+  {
+    alias: 'A2',
+    term: 'стороны подчинения непусты',
+    definitionFormal: '∀ρ∈S1 (pr1(ρ)≠∅ & pr2(ρ)≠∅)',
+    definitionText: 'У отношения подчинения есть и начальник, и подчинённый.'
+  }
+];