@rsconcept/rstool 1.7.1 → 2.0.0

package/docs/brief.schema.json

@@ -0,0 +1,173 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://portal.acconcept.ru/schemas/rstool/brief-v1.json",
+  "title": "Бриф концептуальной схемы",
+  "description": "Постановка задачи концептуализации, журнал решений и исполнимые сценарии. Один формат для файла задачи, сессии rstool и Portal. Описание полей — docs/BRIEF.md.",
+  "type": "object",
+  "required": ["version", "status", "approach", "object", "task", "expressiveness"],
+  "additionalProperties": false,
+  "properties": {
+    "version": { "const": 1 },
+    "status": {
+      "enum": ["draft", "assumed", "confirmed"],
+      "description": "draft — составляется; assumed — пользователя спросить нельзя, ответы записаны в assumptions; confirmed — пользователь подтвердил бриф"
+    },
+    "approach": {
+      "enum": ["research", "education", "project"],
+      "description": "research — экспликация (исследовательский подход); education — обучение; project — основа для ПО / ОСС (проектный подход)"
+    },
+    "object": { "type": "string", "minLength": 1, "description": "Объект исследования" },
+    "task": { "type": "string", "minLength": 1, "description": "Задача, ради которой строится схема, и точка зрения" },
+    "source": { "type": "string", "description": "Источник: документ, разделы, ссылка на схему Portal" },
+    "restrictions": {
+      "type": "array",
+      "description": "Ограничения предметной области: что сознательно исключено и какие понятия из-за этого невыразимы",
+      "items": {
+        "type": "object",
+        "required": ["id", "excludes"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^L[0-9]+$" },
+          "excludes": { "type": "string", "minLength": 1 },
+          "inexpressible": { "type": "array", "items": { "type": "string" } }
+        }
+      }
+    },
+    "expressiveness": {
+      "type": "array",
+      "description": "Требования к выразительным средствам: понятия, которые схема обязана выразить",
+      "items": {
+        "type": "object",
+        "required": ["id", "concept", "constituent"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^E[0-9]+$" },
+          "concept": { "type": "string", "minLength": 1 },
+          "ref": { "type": "string", "description": "Место в источнике" },
+          "via": {
+            "type": "string",
+            "description": "Этап 2: одна строка — как требование выразится через ядро"
+          },
+          "constituent": {
+            "type": ["string", "null"],
+            "description": "Имя конституенты, которая выражает требование; null — ещё не выполнено"
+          }
+        }
+      }
+    },
+    "distinctions": {
+      "type": "array",
+      "description": "Различения: понятия, которые в запросе смешаны или легко смешиваются, а схема должна развести",
+      "items": {
+        "type": "object",
+        "required": ["id", "between"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^V[0-9]+$" },
+          "between": {
+            "type": "array",
+            "minItems": 2,
+            "maxItems": 2,
+            "items": { "type": "string" },
+            "description": "Два id требований (E#) или два имени конституент"
+          },
+          "text": { "type": "string" },
+          "witness": { "type": ["string", "null"], "description": "Сценарий, на котором значения различаются" }
+        }
+      }
+    },
+    "invariants": {
+      "type": "array",
+      "description": "Правила и ограничения, которые схема должна выражать",
+      "items": {
+        "type": "object",
+        "required": ["id", "text", "constituent"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^I[0-9]+$" },
+          "text": { "type": "string", "minLength": 1 },
+          "ref": { "type": "string" },
+          "constituent": { "type": ["string", "null"], "description": "Аксиома (A#), которая выражает правило" },
+          "positive": { "type": ["string", "null"], "description": "Сценарий, где правило выполнено" },
+          "negative": { "type": ["string", "null"], "description": "Сценарий, где правило нарушено" }
+        }
+      }
+    },
+    "decisions": {
+      "type": "array",
+      "description": "Журнал решений: выбор ядра, свойства отношений, наличие и отсутствие аксиом",
+      "items": {
+        "type": "object",
+        "required": ["id", "topic", "choice", "rationale"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^DC[0-9]+$" },
+          "topic": { "type": "string", "minLength": 1 },
+          "alternatives": { "type": "array", "items": { "type": "string" } },
+          "choice": { "type": "string", "minLength": 1 },
+          "rationale": { "type": "string", "minLength": 1 },
+          "supersedes": { "type": "string", "pattern": "^DC[0-9]+$", "description": "Решение, которое отменяется этим" }
+        }
+      }
+    },
+    "scenarios": {
+      "type": "array",
+      "description": "Маленькие интерпретации с ожиданиями: примеры и контрпримеры",
+      "items": {
+        "type": "object",
+        "required": ["id", "title", "values", "expect"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^SC[0-9]+$" },
+          "title": { "type": "string" },
+          "base": {
+            "type": "string",
+            "pattern": "^SC[0-9]+$",
+            "description": "Сценарий, значения которого наследуются"
+          },
+          "values": {
+            "type": "object",
+            "description": "Имя неопределяемого понятия → значение подписями элементов (X#/C#: массив подписей; S#: вложенные массивы подписей и целых)",
+            "additionalProperties": true
+          },
+          "expect": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "properties": {
+                "of": { "type": "string", "description": "Имя конституенты (D#, A#, T#)" },
+                "expr": { "type": "string", "description": "Выражение ЯРЭ вместо конституенты" },
+                "value": { "description": "Ожидаемое значение подписями" },
+                "holds": { "type": "boolean", "description": "Для A#/T# и логических выражений" },
+                "contains": { "type": "array", "description": "Элементы, которые должны входить в значение" },
+                "excludes": { "type": "array", "description": "Элементы, которые не должны входить в значение" },
+                "note": { "type": "string" }
+              },
+              "oneOf": [{ "required": ["of"] }, { "required": ["expr"] }]
+            }
+          }
+        }
+      }
+    },
+    "questions": {
+      "type": "array",
+      "description": "Вопросы пользователю: раунд 1 (постановка) и раунд 2 (решения по ядру)",
+      "items": {
+        "type": "object",
+        "required": ["round", "text"],
+        "additionalProperties": false,
+        "properties": {
+          "round": { "enum": [1, 2] },
+          "text": { "type": "string" },
+          "proposed": { "type": "string", "description": "Ответ, предложенный агентом" },
+          "consequence": { "type": "string", "description": "Что станет выразимо или невыразимо" },
+          "answer": { "type": ["string", "null"] }
+        }
+      }
+    },
+    "assumptions": { "type": "array", "items": { "type": "string" } },
+    "openQuestions": { "type": "array", "items": { "type": "string" } }
+  }
+}

package/examples/README.md

@@ -1,8 +1,8 @@
 # Примеры rstool
 
-Полные исполняемые сценарии поверх `RSToolWrapperClient` (stdio-обёртка) и готовые JSON-сессии для импорта. Короткие фрагменты кода для агентов — в [`../skills/rstool-helper/EXAMPLES.md`](../skills/rstool-helper/EXAMPLES.md); воркфлоу — [`../skills/rstool-helper/GUIDE.md`](../skills/rstool-helper/GUIDE.md).
+Полные исполняемые сценарии поверх `RSToolWrapperClient` (stdio-обёртка) и готовые JSON-сессии для импорта. Короткие фрагменты кода для агентов — в [`../skills/rstool-runtime/EXAMPLES.md`](../skills/rstool-runtime/EXAMPLES.md); процесс работы — [`../skills/rstool/SKILL.md`](../skills/rstool/SKILL.md).
 
-**Агентам:** не добавляйте сюда разовые `build-*.ts` и папки по текущей задаче пользователя. Артефакты и скрипты — вне `rsconcept/rstool/` (см. «Границы правок» в GUIDE). В `examples/` — только сопровождаемые демо пакета.
+**Агентам:** не добавляйте сюда разовые `build-*.ts` и папки по текущей задаче пользователя. Артефакты и скрипты — вне `rsconcept/rstool/` (см. «Границы правок» в `../skills/rstool/SKILL.md`). В `examples/` — только сопровождаемые демо пакета.
 
 ## Как запускать
 
@@ -60,6 +60,20 @@ npx tsx node_modules/@rsconcept/rstool/examples/agent-client.ts
   - `build-rsform` скрипт: `example:build-template-apply-schema` (сборка + проверка на модели в скрипте)
   - только `rsform-session.json`
 
+- **[`subordination/`](subordination/):**
+  - «Начальники и подчинённые» — учебная микротеория по методу (`docs/METHOD.md`): источник, расчистка, бриф с журналом решений и сценариями, антипримеры `anti/`, разбор `NOTES.md`
+  - `build-rsform` скрипт: `example:build-subordination-schema`
+
+- **[`kinship-subordination/`](kinship-subordination/):**
+  - синтез родства и подчинения с синтетической аксиомой конфликта интересов
+  - `build-rsform` скрипт: `example:build-kinship-subordination-schema`
+
+- **[`library-loans/`](library-loans/), [`access-control/`](access-control/), [`clinic-booking/`](clinic-booking/):**
+  - требования к ПО v1 и запрос на изменение v2: бриф каждой версии (`brief-v1.json`, `brief.json`), сессии v1 и v2, антипримеры `anti/`, разбор `NOTES.md` ([`docs/REQUIREMENTS.md`](../docs/REQUIREMENTS.md))
+  - `build-rsform` скрипты: `example:build-library-loans-schema`, `example:build-access-control-schema`, `example:build-clinic-booking-schema`
+
+Брифы есть у `subordination/`, `kinship/`, `movd/`, `kinship-subordination/` и примеров по требованиям к ПО; сборки `kinship/` и `movd/` проверяют снимок по брифу (`assertReady`); [`briefs.test.ts`](briefs.test.ts) проверяет, что схемы им отвечают, а антипримеры ловятся (`pnpm run check-brief -- --session … --brief …`).
+
 В корне: [`agent-client.ts`](agent-client.ts) (`example:client`) — минимальный цикл через stdio без привязки к теме.
 
 ## Папка `kinship/`

package/examples/access-control/NOTES.md

@@ -0,0 +1,23 @@
+# «Ролевой доступ»: иерархия ролей и разделение обязанностей
+
+Пример по требованиям к ПО: v1 — роли, иерархия, назначенные и эффективные права, разделение обязанностей; v2 — временные роли. Метод — [`docs/METHOD.md`](../../docs/METHOD.md); требования → бриф — [`docs/REQUIREMENTS.md`](../../docs/REQUIREMENTS.md).
+
+Файлы: [`requirements-v1.md`](requirements-v1.md), [`requirements-v2.md`](requirements-v2.md), [`brief-v1.json`](brief-v1.json), [`brief.json`](brief.json), [`build-rsform.ts`](build-rsform.ts), сессии v1 и v2, [`anti/`](anti/).
+
+## Главные решения
+
+- **Иерархия — отношение, не дерево (`DC1`).** Роль может входить в несколько старших; дерево — вид вместо рода.
+- **Права пользователя выводятся (`DC2`).** Структура «права пользователя» `S#` сделала бы схему «зелёной», но права разошлись бы с ролями. Назначенные (`F5`) и эффективные (`F6`) права — производные, и это главное различение (`V1`).
+- **Разделение обязанностей — по эффективным ролям (`DC3`).** Требование говорит «в том числе через иерархию». Проверка только прямых ролей проще, но пропускает конфликт через наследование — антипример `weakened`.
+- **Отсутствие аксиомы симметричности несовместимости (`DC4`)** — решение: `A2` проверяет пару в любом порядке.
+
+## v2
+
+Временные назначения — отдельная структура `S5` с периодом и текущий день `S6` (`DC7`): `S1` и сценарии v1 не меняются. Прямые роли `F2` переопределены новым решением `DC6` (`supersedes: DC2`); без временных назначений формула совпадает с v1.
+
+## Антипримеры
+
+| Снимок                                  | Ошибка                                         | Что ловит                                        |
+| :-------------------------------------- | :--------------------------------------------- | :----------------------------------------------- |
+| [`weakened.json`](anti/weakened.json)   | разделение обязанностей только по прямым ролям | негатив `SC3`: конфликт через иерархию не пойман |
+| [`collapsed.json`](anti/collapsed.json) | эффективные права `F6 := F5` (назначенные)     | `SC1`: права `ann`; различение `V1`              |

package/examples/access-control/anti/collapsed.json

@@ -0,0 +1,439 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "da60de87-a0fc-4ee0-aa5c-e47e8128af07",
+    "alias": "RBAC",
+    "title": "Антипример: collapsed",
+    "comment": "Ролевое управление доступом. Эксплицировать роли, иерархию и эффективные права для проектирования подсистемы доступа и проверок при назначении ролей.\nL1. Исключено: журнал изменений и сроки хранения (п. 6); невыразимо: кто и когда выдал право, права на прошлую дату.\nL2. Исключено: аутентификация (п. 7); невыразимо: способ входа, учётная запись SSO.\nL3. Исключено: ресурсы как объекты: право — неделимый элемент; невыразимо: права на конкретный документ.\nDC1. иерархия ролей: отношение S3 — п. 2; роль может входить в несколько старших — дерево избыточно ограничивает.\nDC2. права пользователя: вывод через роли (F5, F6) — права пользователя не задаются отдельно — иначе разойдутся с ролями.\nDC3. разделение обязанностей: по эффективным ролям (A2) — п. 4: «в том числе через иерархию».\nDC4. симметричность несовместимости: без аксиомы — A2 запрещает пару в любом порядке; достаточно записать пару один раз.\nDC5. ацикличность иерархии: аксиома A1 через замыкание F1 — п. 2.",
+    "createdAt": "2026-10-25T18:34:35.456Z",
+    "updatedAt": "2026-10-25T18:34:35.461Z",
+    "revisions": [
+      {
+        "revisionId": "ffb7af2a-cf6f-4554-a7b6-402f3a7717b6",
+        "at": "2026-10-25T18:34:35.461Z",
+        "message": "Антипример: collapsed: шаг 1"
+      }
+    ],
+    "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": "X2",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "роли",
+        "definitionText": "",
+        "convention": "Роли доступа (администратор, редактор, …).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X2"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "X3",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "права",
+        "definitionText": "",
+        "convention": "Элементарные права: действие над видом ресурса (чтение документов, …).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X3"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 4,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X2)",
+        "term": "назначения ролей",
+        "definitionText": "",
+        "convention": "Пара (пользователь, роль): роль назначена пользователю напрямую.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X3)",
+        "term": "права роли",
+        "definitionText": "",
+        "convention": "Пара (роль, право): право дано роли напрямую.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 6,
+        "alias": "S3",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X2)",
+        "term": "иерархия ролей",
+        "definitionText": "",
+        "convention": "Пара (старшая, младшая): старшая роль включает права младшей.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "S4",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X2)",
+        "term": "несовместимые роли",
+        "definitionText": "",
+        "convention": "Пара ролей, которые нельзя иметь одному пользователю (разделение обязанностей).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "F1",
+        "cstType": "function",
+        "definitionFormal": "[ρ∈X2] R{σ:=Pr2(Fi1[{ρ}](S3)) | σ∪Pr2(Fi1[σ](S3))}",
+        "term": "младшие роли",
+        "definitionText": "Роли, которые данная роль включает напрямую или через цепочку.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ρ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 9,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[{ξ}](S1))",
+        "term": "прямые роли",
+        "definitionText": "Роли, назначенные пользователю напрямую.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 10,
+        "alias": "F3",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] red(I{F1[ρ] | ρ:∈F2[ξ]})\\F2[ξ]",
+        "term": "унаследованные роли",
+        "definitionText": "Роли, которые пользователь получает только через иерархию.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 11,
+        "alias": "F4",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] F2[ξ]∪F3[ξ]",
+        "term": "эффективные роли",
+        "definitionText": "Прямые и унаследованные роли пользователя.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 12,
+        "alias": "F5",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[F2[ξ]](S2))",
+        "term": "назначенные права",
+        "definitionText": "Права прямых ролей пользователя.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X3"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 13,
+        "alias": "F6",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] F5[ξ]",
+        "term": "эффективные права",
+        "definitionText": "Права всех ролей пользователя, включая унаследованные.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X3"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 14,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "∀ρ∈X2 ρ∉F1[ρ]",
+        "term": "иерархия без циклов",
+        "definitionText": "Роль не включает саму себя ни напрямую, ни через цепочку.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 15,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "∀ξ∈X1 ∀(α,β)∈S4 ¬(α∈F4[ξ] & β∈F4[ξ])",
+        "term": "разделение обязанностей",
+        "definitionText": "Ни у одного пользователя нет обеих ролей несовместимой пары, в том числе через иерархию.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}