@rsconcept/rstool 0.5.1 → 0.6.0

package/examples/sample-rsform-session.json

@@ -0,0 +1,134 @@
+{
+  "contractVersion": "1.3.0",
+  "state": {
+    "sessionId": "2d99e61f-79aa-471f-aaed-6965538e6fc8",
+    "createdAt": "2026-05-27T07:22:35.861Z",
+    "updatedAt": "2026-05-27T07:22:35.880Z",
+    "revisions": [
+      {
+        "revisionId": "14a15ffa-87c1-4ed7-bcf1-b8e6367fbd6d",
+        "at": "2026-05-27T07:22:35.880Z",
+        "message": "Built sample RSForm"
+      }
+    ],
+    "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": "C1",
+        "cstType": "constant",
+        "definitionFormal": "",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "C1",
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X1)",
+        "convention": "Pairs (parent, child) over X1.",
+        "term": "",
+        "definitionText": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 4,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S1)",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "1=1",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}

package/examples/sample-rsmodel-session.json

@@ -0,0 +1,163 @@
+{
+  "contractVersion": "1.3.0",
+  "state": {
+    "sessionId": "3026929f-c091-4bed-8fb7-fffd913c49bd",
+    "createdAt": "2026-05-27T07:22:37.637Z",
+    "updatedAt": "2026-05-27T07:22:37.665Z",
+    "revisions": [
+      {
+        "revisionId": "af453320-14f6-4ea8-abd2-f03201cec00d",
+        "at": "2026-05-27T07:22:37.665Z",
+        "message": "Built sample RSModel"
+      }
+    ],
+    "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": "C1",
+        "cstType": "constant",
+        "definitionFormal": "",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "C1",
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X1)",
+        "convention": "Pairs (parent, child) over X1.",
+        "term": "",
+        "definitionText": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 4,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S1)",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "1=1",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": [
+        {
+          "id": 1,
+          "type": "basic",
+          "value": {
+            "0": "alice",
+            "1": "bob"
+          }
+        },
+        {
+          "id": 2,
+          "type": "basic",
+          "value": {
+            "0": "zero",
+            "1": "one",
+            "2": "two"
+          }
+        },
+        {
+          "id": 3,
+          "type": "ℬ(X1×X1)",
+          "value": [
+            [
+              -111,
+              0,
+              1
+            ]
+          ]
+        }
+      ]
+    }
+  },
+  "diagnostics": []
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "0.5.1",
+  "version": "0.6.0",
   "description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract and stdio wrapper.",
   "license": "MIT",
   "author": "IRBorisov",
@@ -35,6 +35,7 @@
     "./skills/rstool-helper/*": "./skills/rstool-helper/*",
     "./skills/INSTALL.md": "./skills/INSTALL.md",
     "./docs/*": "./docs/*",
+    "./examples/*": "./examples/*",
     "./package.json": "./package.json"
   },
   "bin": {
@@ -45,6 +46,7 @@
     "src",
     "skills",
     "docs",
+    "examples",
     "README.md",
     "LICENSE"
   ],

package/skills/README.md

@@ -6,9 +6,9 @@ Each skill lives in its own subdirectory: `skills/<skill-name>/SKILL.md` (plus r
 
 - `INSTALL.md`: agent procedure after `npm install`
 - `rstool-helper/SKILL.md`: thin entry skill — copy into the project’s agent skills folder (see `INSTALL.md`)
-- `rstool-helper/GUIDE.md`: canonical workflow and language primer
-- `rstool-helper/REFERENCE.md`: API, stdio, contract
-- `rstool-helper/EXAMPLES.md`: worked examples and pitfalls
+- `rstool-helper/GUIDE.md`: единая точка входа — воркфлоу, чеклисты, обзор языка (на русском)
+- `rstool-helper/REFERENCE.md`: API, stdio, контракт (на русском)
+- `rstool-helper/EXAMPLES.md`: примеры и типичные ошибки (на русском)
 - `../docs/*.md`: language reference (DOMAIN, SYNTAX, DIAGNOSTICS, …)
 
 ## npm workflow

package/skills/rstool-helper/EXAMPLES.md

@@ -1,8 +1,8 @@
-# rstool Examples
+# Примеры rstool
 
-Short examples for agents. For full scripts, see `../../examples/`.
+Короткие примеры для агентов. Полные скрипты и JSON-сессии — `../../examples/` ([README](../../examples/README.md)). Воркфлоу — [GUIDE.md](GUIDE.md).
 
-## Minimal Session
+## Минимальная сессия
 
 ```ts
 import { CstType, RSToolAgent } from '@rsconcept/rstool';
@@ -20,7 +20,7 @@ tool.addOrUpdateConstituenta(sessionId, {
     alias: 'S1',
     cstType: CstType.STRUCTURED,
     definitionFormal: 'ℬ(X1×X1)',
-    convention: 'Elements are (parent, child) pairs with parent, child ∈ X1.'
+    convention: 'Элементы — пары (родитель, потомок); родитель, потомок ∈ X1.'
   }
 });
 
@@ -31,9 +31,9 @@ const { state, diagnostics } = tool.addOrUpdateConstituenta(sessionId, {
 console.log(state.analysis.success, diagnostics.length);
 ```
 
-## Analyze Before Upsert
+## Анализ перед upsert
 
-Use scratch analysis when syntax or `cstType` is uncertain.
+Черновой анализ, когда синтаксис или `cstType` под вопросом.
 
 ```ts
 const analysis = tool.analyzeExpression(sessionId, {
@@ -46,9 +46,9 @@ if (!analysis.success) {
 }
 ```
 
-Fix the reported `from` / `to` range, then re-run analysis. Maybe rethink the whole definition or split into multiple constituents
+Исправь диапазон `from` / `to` из отчёта и повтори анализ. При необходимости пересмотри определение целиком или разбей на несколько конституент.
 
-## Evaluation
+## Вычисление
 
 ```ts
 tool.setConstituentaValue(sessionId, {
@@ -64,11 +64,11 @@ const scratch = tool.evaluateExpression(sessionId, {
 console.log(scratch.success, scratch.value); // true, 3
 ```
 
-For stored definitions, set values for `basic`, `constant`, and `structure`, then call `evaluateConstituenta` or `recalculateModel`.
+Для сохранённых определений задай значения `basic`, `constant` и `structure`, затем вызови `evaluateConstituenta` или `recalculateModel`.
 
-## Semantic Smoke Test
+## Семантический smoke-тест
 
-When syntax is valid but meaning is uncertain, build a tiny model and assert the value.
+Синтаксис верен, но смысл неочевиден — собери маленькую модель и проверь значение.
 
 ```ts
 import { CstType, EvalStatus, RSToolAgent } from '@rsconcept/rstool';
@@ -103,15 +103,15 @@ tool.setConstituentaValues(sessionId, {
 const result = tool.evaluateConstituenta(sessionId, { constituentId: 3 });
 
 if (!result.success || result.status !== EvalStatus.HAS_DATA || JSON.stringify(result.value) !== '[0]') {
-  throw new Error(`Expected Pr1(S1) to select the first coordinate; got ${JSON.stringify(result)}`);
+  throw new Error(`Ожидалось Pr1(S1) = первая координата; получено ${JSON.stringify(result)}`);
 }
 ```
 
-Use this pattern for tests that protect important definitions. Full kinship model: `../../examples/build-kinship-rsmodel.ts`. More notes: `../../docs/MODEL-TESTING.md`.
+Подробнее: `../../docs/MODEL-TESTING.md`.
 
-## Wrapper Client
+## Клиент обёртки
 
-Use the wrapper when the agent talks to a separate `rstool-wrapper` process.
+Когда агент общается с отдельным процессом `rstool-wrapper`.
 
 ```ts
 import { CstType } from '@rsconcept/rstool';
@@ -135,36 +135,27 @@ console.log(diagnostics);
 await client.close();
 ```
 
-Manual stdio is one JSON request per line:
+Ручной stdio — один JSON-запрос на строку:
 
 ```jsonl
 { "id": "1", "method": "createSession", "params": {} }
 { "id": "2", "method": "addOrUpdateConstituenta", "params": { "sessionId": "...", "input": { "draft": { "id": 1, "alias": "X1", "cstType": "basic", "definitionFormal": "" } } } }
 ```
 
-## Export / Import
+## Экспорт / импорт
 
 ```ts
 const payload = tool.exportSession(sessionId);
 const restored = tool.importSession(payload);
 ```
 
-Export includes session state and model values.
+Экспорт включает состояние сессии и значения модели.
 
-To create files the user can upload to an existing Portal object:
+Файлы для загрузки пользователем в существующий объект Portal:
 
 ```ts
 const schemaJson = tool.exportPortalSchema(sessionId);
 const modelJson = tool.exportPortalModel(sessionId);
 ```
 
-Use `schemaJson` on a schema page and `modelJson` on a model page via **Load from JSON**.
-
-## Common mistakes
-
-- Wrong `cstType` in `analyzeExpression` → role-specific errors.
-- `term` with `X1×X1` for a relation → full Cartesian product, not relation typification.
-- `structure` with `Pr1(S1)` → wrong role; projections belong on `term` / `function`.
-- Same long `∃d1…∃dn` chain in many `D#` → define one central `D#` and use `Pr*` / `F#`.
-- `setConstituentaValue` on `term`, `axiom`, or `statement` → cannot set computed constituents directly.
-- Evaluation before base bindings → missing value, empty result, or evaluation failure.
+`schemaJson` — на странице схемы, `modelJson` — на странице модели, через **Load from JSON**.

package/skills/rstool-helper/GUIDE.md

@@ -1,68 +1,122 @@
-# RS Language & rstool
+# RSLang и rstool
 
-Compact entry guide for agents. Keep details in linked docs.
+Краткий входной гайд для агентов. Детали — в связанных документах.
 
-**RSLang** is a formal notation for conceptual schemas: concepts, relations, operations, assertions. Core ideas: membership `x∈y`, set-theoretic expressions, logical expressions, typification.
+**RSLang** — формальная нотация концептуальных схем: понятия, отношения, операции, утверждения. Основа: принадлежность `x∈y`, теоретико-множественные и логические выражения, типизация.
 
-**rstool** is the agent API for sessions, upserts, analysis, diagnostics, model values, evaluation, export/import.
+**rstool** — API агента для сессий, upsert, анализа, диагностик, значений модели, вычисления, экспорта/импорта.
 
-- Library: `@rsconcept/rstool`.
-- Analyzer: `@rsconcept/domain`.
-- Stdio wrapper: `npx rstool-wrapper`, JSON per line.
-- Node client: `RSToolWrapperClient`.
+- Библиотека: `@rsconcept/rstool`.
+- Анализатор: `@rsconcept/domain`.
+- Stdio-обёртка: `npx rstool-wrapper`, JSON построчно.
+- Node-клиент: `RSToolWrapperClient`.
 
-## What to Read
+## Что читать
 
-Paths are relative to this file.
+Пути — относительно этого файла.
 
-- API, methods, stdio, error codes: [REFERENCE.md](REFERENCE.md).
-- Worked examples and pitfalls: [EXAMPLES.md](EXAMPLES.md).
-- Domain terms: [../../docs/DOMAIN.md](../../docs/DOMAIN.md).
-- Schema design rules: [../../docs/CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
-- Constituents and validation: [../../docs/CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
-- Syntax: [../../docs/SYNTAX.md](../../docs/SYNTAX.md).
-- Typification: [../../docs/TYPIFICATION.md](../../docs/TYPIFICATION.md).
-- Definition testing with small conceptual models: [../../docs/MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
-- Diagnostics: [../../docs/DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
-- Portal REST reads: [../../docs/PORTAL-API.md](../../docs/PORTAL-API.md).
-- Grammar pointers: [../../docs/GRAMMAR-REF.md](../../docs/GRAMMAR-REF.md).
+- API, методы, stdio, коды ошибок: [REFERENCE.md](REFERENCE.md).
+- Примеры: [EXAMPLES.md](EXAMPLES.md).
+- Термины предметной области: [../../docs/DOMAIN.md](../../docs/DOMAIN.md).
+- Концептуализация, создание схемы: [../../docs/CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
+- Конституенты и валидация: [../../docs/CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
+- Синтаксис: [../../docs/SYNTAX.md](../../docs/SYNTAX.md).
+- Типизация: [../../docs/TYPIFICATION.md](../../docs/TYPIFICATION.md).
+- Проверка определений на КМ: [../../docs/MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
+- Диагностики: [../../docs/DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
+- Грамматика: [../../docs/GRAMMAR-REF.md](../../docs/GRAMMAR-REF.md).
+- REST Portal: [../../docs/PORTAL-API.md](../../docs/PORTAL-API.md).
 
-## Workflow
+## Воркфлоу
 
-Use this when editing or checking schemas and models.
+Все пошаговые сценарии собраны здесь. Справочные документы дают правила и детали.
 
-1. `createSession`.
-2. Develop schema - add constituents with proper type and attributes.
-3. Add dependencies before dependents.
-4. Use `analyzeExpression` before upsert when unsure.
-5. Fix diagnostics by `from` / `to` range in `definitionFormal`.
-6. When unsure about semantics, build a tiny conceptual model and evaluate test data.
+### Редактирование и проверка схемы
 
-- Set base/model values with `setConstituentaValue(s)`.
-- Evaluate with `evaluateExpression`, `evaluateConstituenta`, or `recalculateModel`.
+Когда схема уже есть и нужны точечные правки, новые конституенты или проверка формул.
 
-7. `commitStep` when the state is coherent.
-8. Persist with `exportSession` / `importSession`.
-9. For user-uploadable Portal files, use `exportPortalSchema` for schema JSON or `exportPortalModel` for model JSON.
+1. `createSession` (или продолжить существующую сессию).
+2. Развивай схему — добавляй конституенты с корректным `cstType` и атрибутами.
+3. Добавляй поставщиков раньше потребителей (см. [порядок объявления](#порядок-объявления-конституент)).
+4. Перед upsert при сомнении вызывай `analyzeExpression`.
+5. Исправляй диагностики по диапазону `from` / `to` в `definitionFormal` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
+6. При сомнении в семантике собери маленькую КМ и проверь тестовые данные ([цикл КМ](#проверка-на-маленькой-км)).
+7. Задай базовые/модельные значения: `setConstituentaValue(s)`; вычисли: `evaluateExpression`, `evaluateConstituenta`, `recalculateModel`.
+8. `commitStep`, когда состояние согласовано.
+9. Сохрани: `exportSession` / `importSession`.
+10. Для загрузки в Portal: `exportPortalSchema` (схема) или `exportPortalModel` (модель).
 
-## Diagnostics Loop
+### Концептуализация (КС из содержания источника)
 
-1. Check `analysis.success`.
-2. If false, read `analysis.diagnostics` or `listDiagnostics`.
-3. Map `code` to a fix in `DIAGNOSTICS.md`.
-4. Patch the reported `from` / `to` range.
-5. Re-run only after changing input.
+Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
-## Declaration Order
+1. Собери словарь: базовые понятия, ключевые отношения, сценарий синтеза.
+2. Добавь `X#`, `C#` с конвенциями из источника (не копируй дословно).
+3. Добавь базовые `S#`: трансформация, перевод, допускание, выбор, цели, субъекты.
+4. Проверь независимость базовых понятий — они не выводятся друг из друга.
+5. Добавь `A#` на структуры: `card`, покрытие `Pr1,2(S#)=…`, принадлежность выбора.
+6. Введи `F#` для типовых запросов.
+7. Производные понятия строй через `Pr*`, `Fi*`, `F#` от центрального `D#` и базовых `S#`.
+8. Перед каждым upsert — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
+9. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
+10. Перед показом результата пройди [чеклист ревью КС](#ревью-концептуальной-схемы).
+
+Дальше — обычное [редактирование и проверка](#редактирование-и-проверка-схемы): commit, export.
+
+### Цикл диагностик
+
+Когда `analysis.success === false` или `listDiagnostics` не пуст. Коды и типичные ошибки — [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
+
+1. Запусти `analyzeExpression` (черновик без сохранения).
+2. Прочитай `code`, `from`, `to`, `params` в `analysis.diagnostics` или через `listDiagnostics`.
+3. Сопоставь `code` с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
+4. Исправь именно диапазон в `definitionFormal`.
+5. Не повторяй вызов без изменения ввода.
+6. После успеха — `addOrUpdateConstituenta`.
+
+### Проверка на маленькой КМ
+
+Когда синтаксис верен, но смысл формулы неочевиден. Подробности и форма данных — [MODEL-TESTING.md](../../docs/MODEL-TESTING.md).
+
+1. Отдельная `createSession` или изолированная копия текущей сессии.
+2. Только нужные поставщики: `X#`, `C#`, `S#` и проверяемые `D#` / `F#` / `P#` / `A#`.
+3. `analyzeExpression` и `addOrUpdateConstituenta`.
+4. Значения базовых понятий: `setConstituentaValue` / `setConstituentaValues`.
+5. `evaluateExpression` или `evaluateConstituenta`; сравни с ожидаемым `value`.
+6. При нескольких зависимых определениях — `recalculateModel`.
+
+Для регрессий вынеси проверку в скрипт или colocated `*.test.ts` (см. [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
+
+### Порядок объявления конституент
 
 1. `basic`, `constant`.
-2. Core structures and key concepts.
-3. Derived constituents in topological order.
-4. Axioms and statements after their references.
+2. Базовые структуры и ключевые понятия.
+3. Производные конституенты в топологическом порядке.
+4. Аксиомы и утверждения после всех ссылок.
+
+Правила валидации по типам — [CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
+
+## Чеклисты
+
+### Сессия и rstool
+
+- [ ] Отслеживается `sessionId`.
+- [ ] `cstType` соответствует роли конституенты.
+- [ ] Поставщики добавлены раньше потребителей.
+
+### Перед показом, commit и export
+
+- [ ] Схема проверена; ошибки исправлены.
+- [ ] Диагностики обработаны до `commitStep` и экспорта.
+
+### Ревью концептуальной схемы
 
-## Checklist
+Перед завершением концептуализации или крупного изменения. Правила — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
-- [ ] `sessionId` tracked.
-- [ ] `cstType` matches the role.
-- [ ] Check schema and fix errors before showing result.
-- [ ] Diagnostics handled before commit/export.
+- [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
+- [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
+- [ ] Базовые понятия независимы, введены необходимые по смысле аксиомы.
+- [ ] Покрыты главные сущности, роли, отношения, утверждения.
+- [ ] В текстовых определениях используются только понятия из схемы.
+- [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.
+- [ ] Сомнительная семантика проверена на маленькой КМ при наличии тестовых данных.