@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/kinship-subordination/brief.json

@@ -0,0 +1,161 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "education",
+  "object": "Подчинение и родство сотрудников одной организации",
+  "task": "Учебный пример синтеза: соединить микротеории «Начальники и подчинённые» и «Родство» и выразить правило конфликта интересов",
+  "source": "examples/subordination, examples/kinship; синтез по Т1 §1.2.18",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "родство дальше 1 ранга (родители, дети, братья, сёстры)",
+      "inexpressible": ["подчинение внуку", "подчинение двоюродному брату"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "прямое подчинение родственнику",
+      "ref": "Т1 §1.2.18",
+      "via": "пары прямого подчинения, где подчинённый — прямой родственник начальника",
+      "constituent": "D11"
+    },
+    {
+      "id": "E2",
+      "concept": "косвенное подчинение родственнику",
+      "ref": "Т1 §1.2.18",
+      "via": "косвенные подчинённые, которые — прямые родственники",
+      "constituent": "D12"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["E1", "E2"],
+      "text": "прямое подчинение родственнику (запрещено) ≠ косвенное (допустимо)",
+      "witness": "SC1"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "В прямом подчинении прямой родственник находиться не может (синтетическая аксиома)",
+      "ref": "Т1 §1.2.18",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "Брат или сестра тоже не может быть в прямом подчинении",
+      "ref": "Т1 §1.2.18",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC3"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "таблица отождествлений",
+      "alternatives": [
+        "отождествить люди родства и люди подчинения (исходное с исходным)",
+        "оставить два базисных множества и связать отношением «является»"
+      ],
+      "choice": "отождествить базисные множества людей",
+      "rationale": "правило говорит об одних и тех же людях; исходное с исходным отождествлять можно (Т1 §1.2.18)"
+    },
+    {
+      "id": "DC2",
+      "topic": "правило конфликта интересов",
+      "choice": "синтетическая аксиома A3 и понятие нарушения D11",
+      "rationale": "правило не выражается ни в одной микротеории — это новое знание синтеза"
+    },
+    {
+      "id": "DC3",
+      "topic": "косвенное подчинение родственнику",
+      "choice": "без аксиомы, но выразимо понятием D12",
+      "rationale": "«Запрет налагается только на прямое подчинение и родственные отношения 1 ранга» (Т1 §1.2.18): сын может быть рядовым сотрудником"
+    },
+    {
+      "id": "DC4",
+      "topic": "прямые родственники",
+      "choice": "родители, дети, братья и сёстры — из микротеории родства",
+      "rationale": "Т1 §1.2.18: «прямые родственные отношения: брат, сестра, сын, дочь»"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Директор — отец рядовых сотрудников в своей вертикали",
+      "values": {
+        "X1": ["boss", "ann", "bob", "kid", "sis"],
+        "S1": [
+          [["boss"], ["ann", "bob"]],
+          [["ann"], ["kid", "sis"]]
+        ],
+        "S2": [
+          ["boss", "kid"],
+          ["boss", "sis"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "D11",
+          "value": []
+        },
+        {
+          "of": "D12",
+          "value": [
+            ["boss", "kid"],
+            ["boss", "sis"]
+          ]
+        },
+        {
+          "of": "A3",
+          "holds": true
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Директор назначил сына начальником отдела (прямое подчинение)",
+      "base": "SC1",
+      "values": {
+        "S1": [
+          [["boss"], ["ann", "kid"]],
+          [["kid"], ["bob"]]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        },
+        {
+          "of": "D11",
+          "value": [["boss", "kid"]]
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Брат — прямой начальник сестры",
+      "base": "SC1",
+      "values": {
+        "S1": [
+          [["boss"], ["ann", "bob"]],
+          [["kid"], ["sis"]]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        }
+      ]
+    }
+  ],
+  "assumptions": [],
+  "openQuestions": []
+}

package/examples/kinship-subordination/build-rsform.ts

@@ -0,0 +1,100 @@
+/**
+ * Synthesis of two microtheories: kinship (parent–child) and subordination,
+ * with the synthetic axiom «a direct relative is not in direct subordination».
+ * Run from the package root: `pnpm run example:build-kinship-subordination-schema`.
+ */
+import { 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 '../subordination/constants';
+
+/** Kinship microtheory reduced to what the synthesis needs. */
+const KINSHIP_ITEMS: AgentConstituentaPatch[] = [
+  { alias: 'X1', term: 'люди', convention: 'Люди, родство которых рассматривается.' },
+  {
+    alias: 'S1',
+    term: 'родитель–ребёнок',
+    definitionFormal: 'ℬ(X1×X1)',
+    convention: 'Пара (родитель, ребёнок).'
+  },
+  {
+    alias: 'F1',
+    term: 'родители человека',
+    definitionFormal: '[ξ∈X1] Pr1(Fi2[{ξ}](S1))',
+    definitionText: 'Родители данного человека.'
+  },
+  {
+    alias: 'F2',
+    term: 'дети человека',
+    definitionFormal: '[ξ∈X1] Pr2(Fi1[{ξ}](S1))',
+    definitionText: 'Дети данного человека.'
+  },
+  {
+    alias: 'F3',
+    term: 'братья и сёстры',
+    definitionFormal: '[ξ∈X1] Pr2(Fi1[F1[ξ]](S1))\\{ξ}',
+    definitionText: 'Другие дети родителей данного человека.'
+  },
+  {
+    alias: 'F4',
+    term: 'прямые родственники',
+    definitionFormal: '[ξ∈X1] F1[ξ]∪F2[ξ]∪F3[ξ]',
+    definitionText: 'Родители, дети, братья и сёстры данного человека — родственники 1 ранга (Т1 §1.2.18).'
+  }
+];
+
+function run() {
+  const tool = new RSToolAgent();
+  const receiver = tool.createSession({
+    alias: 'KSUB',
+    title: 'Родство и подчинение',
+    comment: describeBrief(resolve(import.meta.dirname, 'brief.json'))
+  });
+  tool.applySchemaPatch({ items: SUBORDINATION_ITEMS }, receiver.sessionId);
+  const source = tool.createSession({ title: 'Родство' });
+  tool.applySchemaPatch({ items: KINSHIP_ITEMS }, source.sessionId);
+
+  tool.setCurrentSession(receiver.sessionId);
+  const synthesis = tool.synthesize({
+    sourceSessionId: source.sessionId,
+    // исходное с исходным: люди родства — те же сотрудники (решение DC1)
+    substitutions: [{ original: 'X1', substitution: 'X1' }]
+  });
+  const kin = synthesis.aliasMapping;
+  const result = tool.applySchemaPatch({
+    commitMessage: 'синтез родства и подчинения',
+    items: [
+      {
+        alias: 'A3',
+        term: 'нет прямого подчинения родственнику',
+        definitionFormal: `∀(α,β)∈D1 β∉${kin.F4}[α]`,
+        definitionText:
+          'Прямой родственник (родитель, ребёнок, брат, сестра) не находится с человеком в прямом подчинении (Т1 §1.2.18).'
+      },
+      {
+        alias: 'D11',
+        term: 'подчинение родственнику',
+        definitionFormal: `D{(α,β)∈D1 | β∈${kin.F4}[α]}`,
+        definitionText: 'Пары прямого подчинения, в которых начальник и подчинённый — прямые родственники.'
+      },
+      {
+        alias: 'D12',
+        term: 'косвенное подчинение родственнику',
+        definitionFormal: `D{(α,β)∈X1×X1 | β∈F3[α] & β∈${kin.F4}[α]}`,
+        definitionText: 'Пары людей, где второй — косвенный подчинённый первого и его прямой родственник.'
+      }
+    ]
+  });
+  const diagnostics = tool.listDiagnostics();
+  if (!result.success || diagnostics.length > 0) {
+    throw new Error(formatDiagnostics(diagnostics));
+  }
+  const path = resolve(import.meta.dirname, 'rsform-session.json');
+  writeFileSync(path, tool.exportSession() + '\n', 'utf8');
+  console.log(`kinship-subordination: ${JSON.stringify(kin)} → ${path}`);
+}
+
+run();