@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/movd/brief.json

@@ -0,0 +1,220 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "education",
+  "object": "Ориентировка субъекта в ситуации и выбор действия",
+  "task": "Учебная схема: развести состав ситуации, значимое для субъекта, рассматриваемые и выбранное действия",
+  "source": "examples/movd",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "время и последовательность эпизодов",
+      "inexpressible": ["раньше рассмотренное действие", "смена выбора"]
+    },
+    {
+      "id": "L2",
+      "excludes": "мотивы и оценки действий",
+      "inexpressible": ["лучшее действие", "причина выбора"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "состав ситуации",
+      "via": "фильтр S1 по ситуации",
+      "constituent": "F1"
+    },
+    {
+      "id": "E2",
+      "concept": "значимые элементы для субъекта в ситуации",
+      "via": "фильтр S2 по паре (субъект, ситуация)",
+      "constituent": "F2"
+    },
+    {
+      "id": "E3",
+      "concept": "пространство действий субъекта в ситуации",
+      "via": "фильтр S3",
+      "constituent": "F3"
+    },
+    {
+      "id": "E4",
+      "concept": "выбранное действие",
+      "via": "единственный элемент фильтра S4",
+      "constituent": "F4"
+    },
+    {
+      "id": "E5",
+      "concept": "эпизоды ориентировки",
+      "via": "Pr1,2 выделения значимого",
+      "constituent": "D6"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["E1", "D5"],
+      "text": "элементы ситуации ≠ значимые элементы"
+    },
+    {
+      "id": "V2",
+      "between": ["E3", "E4"],
+      "text": "рассматриваемые действия ≠ выбранное"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "Значимые элементы входят в состав ситуации",
+      "constituent": "A1",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "Рассматривать действия можно только после ориентировки",
+      "constituent": "A2",
+      "positive": "SC1",
+      "negative": "SC3"
+    },
+    {
+      "id": "I3",
+      "text": "В эпизоде выбрано одно действие",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC4"
+    },
+    {
+      "id": "I4",
+      "text": "Выбирают из рассмотренных действий",
+      "constituent": "A4",
+      "positive": "SC1",
+      "negative": "SC5"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "эпизод",
+      "alternatives": ["эпизод как сущность X#", "эпизод — пара (субъект, ситуация) в тройках S2–S4"],
+      "choice": "пары (субъект, ситуация) внутри S2, S3, S4",
+      "rationale": "эпизод не имеет собственных свойств, кроме субъекта и ситуации (L1)"
+    },
+    {
+      "id": "DC2",
+      "topic": "выбор действия",
+      "alternatives": ["функция эпизод → действие", "отношение S4 и аксиома единственности A3"],
+      "choice": "S4 и A3",
+      "rationale": "выбор бывает не в каждом эпизоде; функция требовала бы всюду определённости"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Субъект выделил a и выбрал go из двух действий",
+      "values": {
+        "X1": ["sit1"],
+        "X2": ["a", "b", "c", "d"],
+        "X3": ["u"],
+        "X4": ["go", "wait", "run"],
+        "S1": [
+          ["sit1", "a"],
+          ["sit1", "b"],
+          ["sit1", "c"]
+        ],
+        "S2": [["u", "sit1", "a"]],
+        "S3": [
+          ["u", "sit1", "go"],
+          ["u", "sit1", "wait"]
+        ],
+        "S4": [["u", "sit1", "go"]]
+      },
+      "expect": [
+        {
+          "of": "F1",
+          "args": ["sit1"],
+          "value": ["a", "b", "c"]
+        },
+        {
+          "of": "F2",
+          "args": ["u", "sit1"],
+          "value": ["a"]
+        },
+        {
+          "of": "F3",
+          "args": ["u", "sit1"],
+          "value": ["go", "wait"]
+        },
+        {
+          "of": "F4",
+          "args": ["u", "sit1"],
+          "value": "go"
+        },
+        {
+          "of": "D6",
+          "value": [["u", "sit1"]]
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Значимый элемент вне ситуации",
+      "base": "SC1",
+      "values": {
+        "S2": [["u", "sit1", "d"]]
+      },
+      "expect": [
+        {
+          "of": "A1",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Действия без ориентировки",
+      "base": "SC1",
+      "values": {
+        "S2": []
+      },
+      "expect": [
+        {
+          "of": "A2",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC4",
+      "title": "Два выбранных действия",
+      "base": "SC1",
+      "values": {
+        "S4": [
+          ["u", "sit1", "go"],
+          ["u", "sit1", "wait"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC5",
+      "title": "Выбрано нерассмотренное действие",
+      "base": "SC1",
+      "values": {
+        "S4": [["u", "sit1", "run"]]
+      },
+      "expect": [
+        {
+          "of": "A4",
+          "holds": false
+        }
+      ]
+    }
+  ],
+  "assumptions": [],
+  "openQuestions": []
+}

package/examples/movd/build-rsform.ts

@@ -7,7 +7,7 @@ type DraftBatch = { draft: AgentConstituentaPatch };
 
 import { DEFAULT_RSFORM_SESSION_PATH } from './constants';
 import { MOVD_MODEL_SET } from './model-demo';
-import { assertCleanDiagnostics } from '../diagnostics-utils';
+import { assertCleanDiagnostics, assertReady, describeBrief } from '../diagnostics-utils';
 
 /**
  * Учебная RSForm «МОВД» по Portal rsforms/838 (сокращённо).
@@ -20,7 +20,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[] = [
       {
@@ -331,6 +333,7 @@ async function run() {
     const exported = await client.call<string>('exportSession', {
       sessionId: session.sessionId
     });
+    await assertReady(exported, resolve(import.meta.dirname, 'brief.json'), 'movd RSForm');
     const outputPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
     await writeFile(outputPath, exported, 'utf8');
     console.log(`Exported: ${outputPath}`);

package/examples/movd/rsform-session.json

@@ -1,16 +1,16 @@
 {
-  "contractVersion": "2.1.0",
+  "contractVersion": "3.3.0",
   "state": {
-    "sessionId": "81ac5b17-34b1-443e-9916-4e44f26349fd",
+    "sessionId": "41f94491-79cd-4c59-9d87-46f796ae2117",
     "alias": "",
     "title": "",
-    "comment": "",
-    "createdAt": "2026-07-06T14:49:59.634Z",
-    "updatedAt": "2026-07-06T14:49:59.723Z",
+    "comment": "Ориентировка субъекта в ситуации и выбор действия. Учебная схема: развести состав ситуации, значимое для субъекта, рассматриваемые и выбранное действия.\nL1. Исключено: время и последовательность эпизодов; невыразимо: раньше рассмотренное действие, смена выбора.\nL2. Исключено: мотивы и оценки действий; невыразимо: лучшее действие, причина выбора.\nDC1. эпизод: пары (субъект, ситуация) внутри S2, S3, S4 — эпизод не имеет собственных свойств, кроме субъекта и ситуации (L1).\nDC2. выбор действия: S4 и A3 — выбор бывает не в каждом эпизоде; функция требовала бы всюду определённости.",
+    "createdAt": "2026-10-25T18:35:08.051Z",
+    "updatedAt": "2026-10-25T18:35:08.134Z",
     "revisions": [
       {
-        "revisionId": "d19e428d-a4fe-4212-bfdb-7764e629fbb8",
-        "at": "2026-07-06T14:49:59.723Z",
+        "revisionId": "d2b34f98-3494-427d-a4bb-b8eec60863a4",
+        "at": "2026-10-25T18:35:08.134Z",
         "message": "КС «МОВД» (rsforms/838): Pr1,2, Fi1,2, pr1,2 на ℬ(X3×X1×X2) и ℬ(X3×X1×X4)"
       }
     ],
@@ -766,62 +766,30 @@
           "id": 5,
           "type": "ℬ(X1×X1)",
           "value": [
-            [
-              -111,
-              0,
-              0
-            ],
-            [
-              -111,
-              0,
-              1
-            ]
+            [-111, 0, 0],
+            [-111, 0, 1]
           ]
         },
         {
           "id": 6,
           "type": "ℬ(X1×X1×X1)",
-          "value": [
-            [
-              -111,
-              0,
-              0,
-              0
-            ]
-          ]
+          "value": [[-111, 0, 0, 0]]
         },
         {
           "id": 7,
           "type": "ℬ(X1×X1×X1)",
           "value": [
-            [
-              -111,
-              0,
-              0,
-              0
-            ],
-            [
-              -111,
-              0,
-              0,
-              1
-            ]
+            [-111, 0, 0, 0],
+            [-111, 0, 0, 1]
           ]
         },
         {
           "id": 8,
           "type": "ℬ(X1×X1×X1)",
-          "value": [
-            [
-              -111,
-              0,
-              0,
-              0
-            ]
-          ]
+          "value": [[-111, 0, 0, 0]]
         }
       ]
     }
   },
   "diagnostics": []
-}
+}

package/examples/subordination/NOTES.md

@@ -0,0 +1,59 @@
+# «Начальники и подчинённые»: ход рассуждения
+
+Учебная микротеория по разбору Т2 §4.2.1 — полный путь этапов 1–5. Метод — [`docs/METHOD.md`](../../docs/METHOD.md). Файлы: [`source.md`](source.md) (фрагменты книги), [`source-markup.md`](source-markup.md) (расчистка), [`brief.json`](brief.json) (бриф), [`constants.ts`](constants.ts) и [`build-rsform.ts`](build-rsform.ts) (схема и антипримеры), [`rsform-session.json`](rsform-session.json).
+
+Проверка: `pnpm --filter @rsconcept/rstool exec tsx skills/scripts/check-brief.ts --session examples/subordination/rsform-session.json --brief examples/subordination/brief.json`.
+
+Цитаты — по изданию: З. А. Кучкаров, «Методы концептуального анализа и синтеза…», т. 2 (М.: Концепт, 2008).
+
+## Этап 1 · Постановка
+
+**Задача.** «Построить концептуальную схему, порождающую разнообразие отношений “начальник – подчиненный”» (§4.2.1.1). Конкретной практической задачи нет, поэтому, как пишет автор, «ограничения будут выбираться произвольно» (§4.2.1.2); `approach: education`.
+
+**Ограничения задают предметную область отрицательно, и у каждого названа цена.** Из властных отношений остаётся только подчинение — «демократия» и «единовластие» невыразимы (`L1`). Время исключено: «понятие “мой подчиненный, который является моим бывшим начальником” – невыразимо в этой теории» (`L2`). Процедуры и кадры (`L3`), психология — «сам себе приказываю» (`L4`), способы получения власти (`L5`). Остаются «бестелесные, бездуховные субъекты, между которыми расставлены отношения подчинения».
+
+**Требования к выразительным средствам** (§4.2.1.3): прямое и косвенное подчинение, линии прямого подчинения, коллективное руководство группой и одним человеком, подчинение внутри коллективного руководства, «чистое» коллегиальное руководство и коллегиальное с единоначалием. Пример «армия» из того же параграфа стал сценарием `SC1`: главнокомандующий начальствует над армией, начальник генштаба подчинён главнокомандующему, а главнокомандующий подчинён генштабу.
+
+## Этап 2 · Ядро
+
+**Исходные понятия как гипотеза (`DC1`).** Первая гипотеза — два понятия, «начальник» и «подчинённый». Проверка: «могут ли начальники сами быть подчиненными… Известное содержание однозначно говорит, что могут… существует более высокая абстракция» (§4.2.1.4). Исходное понятие — люди.
+
+**Три гипотезы основного отношения (`DC2`).** Единичное отношение «человек — человек», множественное «совокупность — совокупность» или оба: «Постулируя одно из двух или оба отношения, мы либо делаем теорию избыточной…, либо недостаточной» (§4.2.1.5.1). Сначала выбрано единичное — как простейшее.
+
+**Проверка выразительности меняет гипотезу (`DC3` отменяет `DC2`).** На атрибутивном уровне: если у человека три начальника, «сказать, что А, С, D – коллективный начальник В было бы неправомерно. Т.е. это отношение не дает понятия “коллективного руководства”» (§4.2.1.7). Требования `E4`–`E8` невыразимы — меняется ядро, а не формулы. Множественное отношение `S1: ℬ(ℬ(X1)×ℬ(X1))` «покрывает понятийные отношения предыдущего»: единоличное руководство — пара с одноэлементной первой совокупностью (`D2`). Решение не стирается, а отменяется новым — с `supersedes`.
+
+**Свойства как решения (`DC5`–`DC10`).** По книге (§4.2.1.5.3):
+
+| Свойство           | Решение      | Почему                                                                                            |
+| :----------------- | :----------- | :------------------------------------------------------------------------------------------------ |
+| антирефлексивность | аксиома `A1` | «сам себе не начальник» — отсечение психологии (`L4`)                                             |
+| универсальность    | без аксиомы  | «отсутствие аксиом – тоже решение, т.к. это соответствует содержанию»                             |
+| симметричность     | без аксиомы  | подчинение многоаспектно: капитан команды подчинён нападающему — своему начальнику отдела (`SC4`) |
+| транзитивность     | без аксиомы  | «вассал моего вассала – не мой вассал»                                                            |
+| однозначность      | без аксиомы  | «человек может руководить многими и быть подчинен многим»                                         |
+| непустота сторон   | аксиома `A2` | в книге подразумевается (§4.2.1.8); в ЯРЭ записано явно                                           |
+
+Антирефлексивность во множественном отношении записана по одной паре: никто не входит сразу в руководящую и руководимую совокупность одного отношения. В разных отношениях — может; книга оставляет это вопросом (§4.2.1.7), а здесь он решён так, чтобы подчинение внутри коллектива (`E6`) было выразимо.
+
+Обратите внимание: циклов книга не запрещает — в `SC1` главнокомандующий и генштаб подчинены друг другу. Аксиома «ацикличность» здесь была бы видом вместо рода: она сделала бы пример «армия» недопустимым.
+
+## Этап 3 · Экспликация
+
+Развёртывание от требований. Раскрытие структуры: прямое подчинение людей `D1` — пары из руководящей и руководимой совокупностей одного отношения. Обособление: `F1` (прямые подчинённые), `F2` (линии прямого подчинения — замыкание через `R{}`), `F3` (косвенные). Виды руководства — отбор по мощности сторон (`D2`–`D5`). Подчинение внутри совокупности — `F4` с параметром `σ∈ℬ(X1)`, на нём держатся «чистое» коллегиальное руководство `D8` и коллегиальное с единоначалием `D9`.
+
+## Этап 4 · Интерпретация
+
+`SC1` — армия из §4.2.1.3: генштаб `{chief, s1, s2}` — коллективный начальник главнокомандующего и коллегиальное руководство с единоначалием (начальник генштаба руководит `s1`, `s2`); `{s1, s2}` — «чистое» коллегиальное руководство армией; `cat` вне отношений подчинения. Армия — косвенные подчинённые начальника генштаба: «вассал моего вассала — не мой вассал». `SC4` — футбольная команда: взаимное подчинение допустимо. `SC2`, `SC3` — негативы для `A1`, `A2`.
+
+## Антипримеры
+
+«Зелёные» схемы (диагностик нет), которые не отвечают брифу. Снимки — [`anti/`](anti/).
+
+| Снимок                                              | Ошибка                                                                  | Что ловит                                                             |
+| :-------------------------------------------------- | :---------------------------------------------------------------------- | :-------------------------------------------------------------------- |
+| [`single-relation.json`](anti/single-relation.json) | остановились на первой гипотезе — единичное отношение                   | требования `E1`–`E10` без конституент; значения сценариев не задаются |
+| [`weakened.json`](anti/weakened.json)               | `A1` удалена                                                            | `I1` без аксиомы; негатив `SC2`; удаление без решения                 |
+| [`collapsed.json`](anti/collapsed.json)             | «чистое» коллегиальное руководство `D8 := D6` (все коллективы)          | `SC1`: значение `D8`; тривиальная формула                             |
+| [`transitive.json`](anti/transitive.json)           | добавлена транзитивность — «подчинённый подчинённого — мой подчинённый» | допустимый сценарий `SC1`: `A3` ложна; противоречит `DC8`             |
+
+Каждая ошибка проходит анализатор. Ловит её только то, что записано в брифе до формул: требования, решения и сценарии.