@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/diagnostics-utils.ts

@@ -1,3 +1,6 @@
+import { readFileSync } from 'node:fs';
+
+import { type Brief, checkBrief } from '../skills/scripts/brief-check';
 import { type Diagnostic, type RSToolWrapperClient } from '../src';
 
 export type ExampleDiagnostic = Diagnostic;
@@ -24,3 +27,26 @@ export async function assertCleanDiagnostics(
   }
   throw new Error(`${context}: ${diags.length} diagnostic(s)\n${formatDiagnostics(diags)}`);
 }
+
+/** Throws unless the exported session answers its brief (no `check-brief` blockers). */
+export async function assertReady(session: string, briefPath: string, context: string): Promise<void> {
+  const brief = JSON.parse(readFileSync(briefPath, 'utf8')) as Brief;
+  const { readiness } = await checkBrief({ session, brief });
+  if (!readiness.ready) {
+    throw new Error(`${context}: brief blockers\n${readiness.blockers.join('\n')}`);
+  }
+}
+
+/** Schema description built from a brief: purpose, restrictions with inexpressible concepts, decision log. */
+export function describeBrief(briefPath: string): string {
+  const brief = JSON.parse(readFileSync(briefPath, 'utf8')) as Brief;
+  const lines = [`${brief.object}. ${brief.task}.`];
+  for (const item of brief.restrictions ?? []) {
+    const inexpressible = item.inexpressible?.length ? `; невыразимо: ${item.inexpressible.join(', ')}` : '';
+    lines.push(`${item.id}. Исключено: ${item.excludes}${inexpressible}.`);
+  }
+  for (const decision of brief.decisions ?? []) {
+    lines.push(`${decision.id}. ${decision.topic}: ${decision.choice} — ${decision.rationale}.`);
+  }
+  return lines.join('\n');
+}

package/examples/kinship/brief.json

@@ -0,0 +1,337 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "education",
+  "object": "Родственные отношения в семье",
+  "task": "Учебная схема: вывести разнообразие видов родства из одного родового отношения «быть ребёнком» и пола; точка зрения — состояние семьи в один момент времени",
+  "source": "по мотивам «Генеалогического отношения двуполой популяции» (Т2 §4.2.3.2): «должны быть выразимы понятия типа двоюродное братство, общие дети, внучатый племянник»",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "время: рождения, смерти, разводы",
+      "inexpressible": ["бывший супруг", "умерший родственник", "старший брат"]
+    },
+    {
+      "id": "L2",
+      "excludes": "юридический статус: усыновление, опека, признание отцовства",
+      "inexpressible": ["приёмный ребёнок", "опекун"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "родители",
+      "via": "Pr1 отношения родитель–ребёнок",
+      "constituent": "D1"
+    },
+    {
+      "id": "E2",
+      "concept": "потомки данного человека",
+      "via": "замыкание «детей» через R{}",
+      "constituent": "F2",
+      "ref": "Т2 §4.2.3.1.4"
+    },
+    {
+      "id": "E3",
+      "concept": "братья и сёстры",
+      "via": "дети родителей, кроме самого человека",
+      "constituent": "F3"
+    },
+    {
+      "id": "E4",
+      "concept": "племянники",
+      "via": "дети братьев и сестёр, не потомки",
+      "constituent": "F4",
+      "ref": "Т2 §4.2.3.2.2"
+    },
+    {
+      "id": "E5",
+      "concept": "двоюродные братья и сёстры",
+      "via": "дети братьев и сестёр родителей",
+      "constituent": "F28",
+      "ref": "Т2 §4.2.3.2.2"
+    },
+    {
+      "id": "E6",
+      "concept": "законные дети",
+      "via": "родители ребёнка совпадают с супругами его родителей",
+      "constituent": "D10"
+    },
+    {
+      "id": "E7",
+      "concept": "дети вне брака",
+      "via": "потомки без E6",
+      "constituent": "D11"
+    },
+    {
+      "id": "E8",
+      "concept": "бездетные люди",
+      "via": "люди вне Pr2",
+      "constituent": "D8"
+    },
+    {
+      "id": "E9",
+      "concept": "отец данного человека",
+      "via": "родители ∩ мужчины",
+      "constituent": "F7"
+    },
+    {
+      "id": "E10",
+      "concept": "дедушки",
+      "via": "отцы родителей",
+      "constituent": "F24"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["D2", "E6"],
+      "text": "дети (имеющие родителя) ≠ законные дети",
+      "witness": "SC1"
+    },
+    {
+      "id": "V2",
+      "between": ["E4", "E5"],
+      "text": "племянники ≠ двоюродные братья и сёстры",
+      "witness": "SC1"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "Никто не является своим потомком",
+      "constituent": "A5",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "Не более одного отца и одной матери",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC3"
+    },
+    {
+      "id": "I3",
+      "text": "Человек состоит не более чем в одном браке",
+      "constituent": "A4",
+      "positive": "SC1",
+      "negative": "SC4"
+    },
+    {
+      "id": "I4",
+      "text": "Каждый человек — мужчина или женщина, но не оба",
+      "constituent": "A2",
+      "positive": "SC1",
+      "negative": "SC5"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "родовое отношение",
+      "alternatives": ["функции «отец» и «мать»", "отношение S1 «родитель–ребёнок» ℬ(X1×X1)"],
+      "choice": "отношение S1",
+      "rationale": "из одного родового отношения выводится всё разнообразие видов родства; «отец» и «мать» — его сужение по полу (F7, F8)"
+    },
+    {
+      "id": "DC2",
+      "topic": "пол",
+      "alternatives": ["коды в константном множестве", "две структуры S2, S3 ℬ(X1) с аксиомой разбиения"],
+      "choice": "S2 мужчины, S3 женщины и аксиома разбиения A2",
+      "rationale": "классификация по одному основанию даёт пару аксиом полноты и непересекаемости, а не коды атрибута"
+    },
+    {
+      "id": "DC3",
+      "topic": "брак",
+      "choice": "S4: ℬ(S2×S3), пара (муж, жена)",
+      "rationale": "учебная схема воспроизводит исходный разбор; это решение о типизации, а не свойство предметной области — при другой постановке брак типизируется ℬ(X1×X1) с аксиомами"
+    },
+    {
+      "id": "DC4",
+      "topic": "ацикличность родства",
+      "choice": "аксиома A5",
+      "rationale": "через замыкание F2"
+    },
+    {
+      "id": "DC5",
+      "topic": "однозначность отца и матери",
+      "choice": "аксиома A3",
+      "rationale": "биологическое родство (L2)"
+    },
+    {
+      "id": "DC6",
+      "topic": "единственность брака",
+      "choice": "аксиома A4",
+      "rationale": "моногамия в рассматриваемой культуре"
+    },
+    {
+      "id": "DC7",
+      "topic": "размер модели",
+      "choice": "аксиома A1: не более десяти человек",
+      "rationale": "ограничение учебной модели, чтобы перебор по ℬ(X1) оставался быстрым"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Три поколения: дед и бабушка, два сына, внуки и внучка",
+      "values": {
+        "X1": ["grandpa", "grandma", "dad", "mom", "uncle", "son", "daughter", "cousin"],
+        "S1": [
+          ["grandpa", "dad"],
+          ["grandma", "dad"],
+          ["grandpa", "uncle"],
+          ["grandma", "uncle"],
+          ["dad", "son"],
+          ["mom", "son"],
+          ["dad", "daughter"],
+          ["mom", "daughter"],
+          ["uncle", "cousin"]
+        ],
+        "S2": ["grandpa", "dad", "uncle", "son"],
+        "S3": ["grandma", "mom", "daughter", "cousin"],
+        "S4": [
+          ["grandpa", "grandma"],
+          ["dad", "mom"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "D1",
+          "value": ["grandpa", "grandma", "dad", "mom", "uncle"]
+        },
+        {
+          "of": "F2",
+          "args": ["grandpa"],
+          "value": ["dad", "uncle", "son", "daughter", "cousin"]
+        },
+        {
+          "of": "F3",
+          "args": ["son"],
+          "value": ["daughter"]
+        },
+        {
+          "of": "F3",
+          "args": ["dad"],
+          "value": ["uncle"]
+        },
+        {
+          "of": "F4",
+          "args": ["uncle"],
+          "value": ["son", "daughter"]
+        },
+        {
+          "of": "F28",
+          "args": ["son"],
+          "value": ["cousin"]
+        },
+        {
+          "of": "D10",
+          "value": ["dad", "uncle", "son", "daughter"]
+        },
+        {
+          "of": "D11",
+          "value": ["cousin"]
+        },
+        {
+          "of": "D8",
+          "value": ["son", "daughter", "cousin"]
+        },
+        {
+          "of": "F7",
+          "args": ["son"],
+          "value": ["dad"]
+        },
+        {
+          "of": "F24",
+          "args": ["son"],
+          "value": ["grandpa"]
+        },
+        {
+          "of": "A5",
+          "holds": true
+        },
+        {
+          "of": "T1",
+          "holds": true
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Цикл: a — родитель b, b — родитель a",
+      "values": {
+        "X1": ["a", "b"],
+        "S1": [
+          ["a", "b"],
+          ["b", "a"]
+        ],
+        "S2": ["a"],
+        "S3": ["b"]
+      },
+      "expect": [
+        {
+          "of": "A5",
+          "holds": false
+        },
+        {
+          "of": "T1",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Два отца у ребёнка",
+      "values": {
+        "X1": ["f1", "f2", "c"],
+        "S1": [
+          ["f1", "c"],
+          ["f2", "c"]
+        ],
+        "S2": ["f1", "f2", "c"]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC4",
+      "title": "Мужчина в двух браках",
+      "values": {
+        "X1": ["m", "w1", "w2"],
+        "S2": ["m"],
+        "S3": ["w1", "w2"],
+        "S4": [
+          ["m", "w1"],
+          ["m", "w2"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A4",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC5",
+      "title": "Человек без пола",
+      "values": {
+        "X1": ["p"]
+      },
+      "expect": [
+        {
+          "of": "A2",
+          "holds": false
+        }
+      ]
+    }
+  ],
+  "assumptions": [],
+  "openQuestions": []
+}

package/examples/kinship/build-rsform.ts

@@ -7,7 +7,7 @@ type DraftBatch = { draft: AgentConstituentaPatch };
 
 import { DEFAULT_RSFORM_SESSION_PATH } from './constants';
 import { KINSHIP_MODEL_SET } from './model-demo';
-import { assertCleanDiagnostics } from '../diagnostics-utils';
+import { assertCleanDiagnostics, assertReady, describeBrief } from '../diagnostics-utils';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -16,7 +16,9 @@ async function run() {
 
   try {
     await client.waitUntilReady();
-    const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession');
+    const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession', {
+      initial: { comment: describeBrief(resolve(import.meta.dirname, 'brief.json')) }
+    });
 
     const drafts: DraftBatch[] = [
       {
@@ -304,9 +306,9 @@ async function run() {
           id: 53,
           alias: 'D8',
           cstType: CstType.TERM,
-          definitionFormal: 'X1\\D2',
+          definitionFormal: 'X1\\D1',
           term: 'бездетные люди',
-          definitionText: 'Люди, не являющиеся детьми людей'
+          definitionText: 'Люди, у которых нет детей'
         }
       },
       {
@@ -694,6 +696,7 @@ async function run() {
     const exported = await client.call<string>('exportSession', {
       sessionId: session.sessionId
     });
+    await assertReady(exported, resolve(import.meta.dirname, 'brief.json'), 'kinship RSForm');
     const outputPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
     await writeFile(outputPath, exported, 'utf8');
     console.log(`Exported: ${outputPath}`);

package/examples/kinship/rsform-session.json

@@ -1,16 +1,16 @@
 {
-  "contractVersion": "2.1.0",
+  "contractVersion": "3.3.0",
   "state": {
-    "sessionId": "e5d18e6f-d229-4ef3-b61a-2e0e977bd506",
+    "sessionId": "967c89ed-33f6-413f-b403-bfc2c12d5248",
     "alias": "",
     "title": "",
-    "comment": "",
-    "createdAt": "2026-07-06T14:49:47.568Z",
-    "updatedAt": "2026-07-06T14:49:47.738Z",
+    "comment": "Родственные отношения в семье. Учебная схема: вывести разнообразие видов родства из одного родового отношения «быть ребёнком» и пола; точка зрения — состояние семьи в один момент времени.\nL1. Исключено: время: рождения, смерти, разводы; невыразимо: бывший супруг, умерший родственник, старший брат.\nL2. Исключено: юридический статус: усыновление, опека, признание отцовства; невыразимо: приёмный ребёнок, опекун.\nDC1. родовое отношение: отношение S1 — из одного родового отношения выводится всё разнообразие видов родства; «отец» и «мать» — его сужение по полу (F7, F8).\nDC2. пол: S2 мужчины, S3 женщины и аксиома разбиения A2 — классификация по одному основанию даёт пару аксиом полноты и непересекаемости, а не коды атрибута.\nDC3. брак: S4: ℬ(S2×S3), пара (муж, жена) — учебная схема воспроизводит исходный разбор; это решение о типизации, а не свойство предметной области — при другой постановке брак типизируется ℬ(X1×X1) с аксиомами.\nDC4. ацикличность родства: аксиома A5 — через замыкание F2.\nDC5. однозначность отца и матери: аксиома A3 — биологическое родство (L2).\nDC6. единственность брака: аксиома A4 — моногамия в рассматриваемой культуре.\nDC7. размер модели: аксиома A1: не более десяти человек — ограничение учебной модели, чтобы перебор по ℬ(X1) оставался быстрым.",
+    "createdAt": "2026-10-25T18:35:06.101Z",
+    "updatedAt": "2026-10-25T18:35:06.246Z",
     "revisions": [
       {
-        "revisionId": "ec382d12-7ab2-42c2-975d-2e583d44d15e",
-        "at": "2026-07-06T14:49:47.738Z",
+        "revisionId": "361ebc26-3632-4b42-b8c8-2c850ebcdb18",
+        "at": "2026-10-25T18:35:06.246Z",
         "message": "КС «родственные отношения»: браки, пол, сиблинги; ∆ ⊆ ⊂ ⊄ ∨ ⇒ ⇔ bool red Pr1,2 Fi1,2 pr1,2, упакованные кванторы"
       }
     ],
@@ -764,9 +764,9 @@
         "id": 53,
         "alias": "D8",
         "cstType": "term",
-        "definitionFormal": "X1\\D2",
+        "definitionFormal": "X1\\D1",
         "term": "бездетные люди",
-        "definitionText": "Люди, не являющиеся детьми людей",
+        "definitionText": "Люди, у которых нет детей",
         "convention": "",
         "analysis": {
           "success": true,
@@ -1796,75 +1796,32 @@
           "id": 2,
           "type": "ℬ(X1×X1)",
           "value": [
-            [
-              -111,
-              0,
-              2
-            ],
-            [
-              -111,
-              1,
-              2
-            ],
-            [
-              -111,
-              0,
-              3
-            ],
-            [
-              -111,
-              1,
-              3
-            ],
-            [
-              -111,
-              2,
-              4
-            ],
-            [
-              -111,
-              3,
-              5
-            ],
-            [
-              -111,
-              5,
-              6
-            ]
+            [-111, 0, 2],
+            [-111, 0, 3],
+            [-111, 1, 2],
+            [-111, 1, 3],
+            [-111, 2, 4],
+            [-111, 3, 5],
+            [-111, 5, 6]
           ]
         },
         {
           "id": 13,
           "type": "ℬ(X1)",
-          "value": [
-            0,
-            2,
-            4,
-            6
-          ]
+          "value": [0, 2, 4, 6]
         },
         {
           "id": 14,
           "type": "ℬ(X1)",
-          "value": [
-            1,
-            3,
-            5
-          ]
+          "value": [1, 3, 5]
         },
         {
           "id": 41,
           "type": "ℬ(X1×X1)",
-          "value": [
-            [
-              -111,
-              0,
-              1
-            ]
-          ]
+          "value": [[-111, 0, 1]]
         }
       ]
     }
   },
   "diagnostics": []
-}
+}

package/examples/kinship/rsmodel-session.json

@@ -1,21 +1,21 @@
 {
-  "contractVersion": "2.1.0",
+  "contractVersion": "3.3.0",
   "state": {
-    "sessionId": "e5d18e6f-d229-4ef3-b61a-2e0e977bd506",
+    "sessionId": "e145ebfa-d9eb-4331-a426-65b8d34833e0",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-07-06T14:49:47.568Z",
-    "updatedAt": "2026-07-06T14:49:50.914Z",
+    "createdAt": "2026-10-25T16:50:11.635Z",
+    "updatedAt": "2026-10-25T16:50:23.460Z",
     "revisions": [
       {
-        "revisionId": "ec382d12-7ab2-42c2-975d-2e583d44d15e",
-        "at": "2026-07-06T14:49:47.738Z",
+        "revisionId": "57515329-08be-4e6e-9003-8dae26c6a7b5",
+        "at": "2026-10-25T16:50:11.792Z",
         "message": "КС «родственные отношения»: браки, пол, сиблинги; ∆ ⊆ ⊂ ⊄ ∨ ⇒ ⇔ bool red Pr1,2 Fi1,2 pr1,2, упакованные кванторы"
       },
       {
-        "revisionId": "ba0d32e7-f21e-42ae-bfc3-8e6dc2528253",
-        "at": "2026-07-06T14:49:50.914Z",
+        "revisionId": "efbe0fb6-2156-4734-b736-2458fa52e557",
+        "at": "2026-10-25T16:50:23.460Z",
         "message": "Модель kinship: D3 непуст; A1 card(X1)≤10 выполняется"
       }
     ],
@@ -769,9 +769,9 @@
         "id": 53,
         "alias": "D8",
         "cstType": "term",
-        "definitionFormal": "X1\\D2",
+        "definitionFormal": "X1\\D1",
         "term": "бездетные люди",
-        "definitionText": "Люди, не являющиеся детьми людей",
+        "definitionText": "Люди, у которых нет детей",
         "convention": "",
         "analysis": {
           "success": true,
@@ -1808,13 +1808,13 @@
             ],
             [
               -111,
-              1,
-              2
+              0,
+              3
             ],
             [
               -111,
-              0,
-              3
+              1,
+              2
             ],
             [
               -111,

package/examples/kinship-subordination/NOTES.md

@@ -0,0 +1,49 @@
+# «Родство и подчинение»: синтез микротеорий
+
+Учебный пример синтеза по Т1 §1.2.18. Метод — [`docs/METHOD.md`](../../docs/METHOD.md) §«Синтез микротеорий». Файлы: [`brief.json`](brief.json), [`build-rsform.ts`](build-rsform.ts), [`rsform-session.json`](rsform-session.json).
+
+## Зачем синтез
+
+В книге после синтеза генеалогических и брачных отношений «можно отождествить третью теорию “начальник – подчиненный” с полученными понятиями… Необходимо указать, что в прямом подчинении прямой родственник находиться не может, а затем перечислить варианты отношений, понимаемые нами как прямые родственные отношения: брат, сестра, сын, дочь… Запрет налагается только на прямое подчинение и родственные отношения 1 ранга» (Т1 §1.2.18). Пример там же: «директор предприятия не имеет права назначить начальником отдела своего сына, но рядовым сотрудником он (сын) может быть».
+
+Это правило не выражается ни в одной исходной микротеории: в «Начальниках и подчинённых» нет родства, в «Родстве» нет подчинения. Расширять одну из них чужими понятиями — значит раздувать микротеорию сверх 3–6 отношений и смешивать аспекты. Вместо этого две схемы соединяются синтезом, а правило становится **синтетической аксиомой**.
+
+## Таблица отождествлений (`DC1`)
+
+| Родство (источник) | Подчинение (приёмник) | Вид отождествления          |
+| :----------------- | :-------------------- | :-------------------------- |
+| `X1` люди          | `X1` люди             | исходное с исходным — можно |
+
+«…эти отношения определены на одном и том же множестве, т.е. исследователь мысленно отождествляет людей одной конструкции с людьми другой. Эта операция лежит в основе соединения» (Т1 §1.2.18). Остальные конституенты родства встраиваются с перенумерацией: `S1 → S2`, `F1 → F5` (родители), `F2 → F6` (дети), `F3 → F7` (братья и сёстры), `F4 → F8` (прямые родственники). Ссылки брифа результата пишутся на новые имена.
+
+Правила отождествления: «Не запрещено отождествлять производное понятие одной теории с исходным понятием другой… Запрещается отождествлять производные понятия с производными, за исключением… полного совпадения структуры понятий» (Т1 §1.2.18).
+
+## Что даёт синтез
+
+Бриф результата — новый, брифы аргументов в него не переносятся. В нём только то, чего не было ни в одной микротеории:
+
+- **отождествление** людей двух схем (`DC1`);
+- **синтетическая аксиома** и понятие нарушения:
+
+```text
+A3  ::= ∀(α,β)∈D1 β∉F8[α]
+D11 ::= D{(α,β)∈D1 | β∈F8[α]}
+```
+
+- **новое выводимое понятие** — косвенное подчинение родственнику, которое правило разрешает (`DC3`): «директор предприятия не имеет права назначить начальником отдела своего сына, но рядовым сотрудником он (сын) может быть».
+
+```text
+D12 ::= D{(α,β)∈X1×X1 | β∈F3[α] & β∈F8[α]}
+```
+
+`D1` и `F3` — прямое и косвенное подчинение из микротеории подчинения, `F8` — родственники 1 ранга из микротеории родства. Различение `V1` (прямое ≠ косвенное подчинение родственнику) подтверждает сценарий `SC1`.
+
+## Сценарии
+
+`SC1` — директор — отец двух рядовых сотрудников в своей вертикали: прямого подчинения родственнику нет, косвенное есть; `SC2` — директор назначил сына начальником отдела; `SC3` — брат стал прямым начальником сестры: без братьев и сестёр в `F8` этот случай прошёл бы. Аксиомы аргументов (например, «сам себе не начальник») отдельно не перечисляются: в допустимых сценариях `check-brief` требует истинности всех аксиом схемы.
+
+## Имена после синтеза
+
+rstool даёт встроенным конституентам следующие свободные номера по типу (`aliasMapping`: `S1 → S2`, `F1 → F5`, …); синтез в ОСС на Portal ещё и перенумеровывает все имена подряд. Формулы и ссылки в терминах и текстовых определениях перенумеровываются автоматически, конвенции — нет. Поэтому конвенции обеих микротеорий не ссылаются ни на имена конституент, ни на решения своих брифов, а бриф результата пишется по итоговым именам.
+
+`check-brief` показывает унаследованные конституенты как «сирот»: их требования живут в брифах аргументов, для схемы-результата это норма.