@rsconcept/rstool 1.2.0 → 1.2.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/docs/CONCEPTUAL-SCHEMA.md +3 -3
- package/docs/DIAGNOSTICS.md +3 -3
- package/docs/DOMAIN.md +33 -33
- package/docs/README.md +1 -1
- package/package.json +1 -1
- package/skills/rstool-helper/GUIDE.md +4 -13
|
@@ -28,9 +28,9 @@
|
|
|
28
28
|
|
|
29
29
|
Правило: не смешивай атрибутивную и родоструктурную экспликацию без явного запроса.
|
|
30
30
|
|
|
31
|
-
##
|
|
31
|
+
## Неопределяемые понятия
|
|
32
32
|
|
|
33
|
-
`X#`, `C#`, и `S#` — это
|
|
33
|
+
`X#`, `C#`, и `S#` — это **неопределяемые понятия** (см. [DOMAIN.md](DOMAIN.md)); их нельзя строить одно из другого и включать друг в друга как элементы или подмножества.
|
|
34
34
|
Если такое возникает — значит есть скрытое отношение, его нужно явно оформить отдельной производной конституентой.
|
|
35
35
|
Если интерпретации разных **базисных множеств** `X#` пересекаются или набор констант `C#` показывает атрибут, который должен быть отношением — отсутствует нужное отношение; введи `S#` или производное `D#` / `F#` / `P#`.
|
|
36
36
|
|
|
@@ -50,7 +50,7 @@
|
|
|
50
50
|
|
|
51
51
|
## Разворачивание понятий
|
|
52
52
|
|
|
53
|
-
При концептуализации вводи понятия по зависимостям:
|
|
53
|
+
При концептуализации вводи понятия по зависимостям: неопределяемые (`X#`, `C#`, независимые `S#`), аксиомы `A#`, затем производные `D#` / `P#` / `A#`. Каждый шаг опирается только на уже введённые конституенты.
|
|
54
54
|
|
|
55
55
|
Не обязательно сводить схему к одному «центральному» отношению. Зачастую нужны разные понятия на пересечении нескольких аспектов — структур, ролей, ограничений, сценариев. Каждый аспект может дать свои `S#` и `F#`; производные термы выражают их сочетания.
|
|
56
56
|
|
package/docs/DIAGNOSTICS.md
CHANGED
|
@@ -52,9 +52,9 @@
|
|
|
52
52
|
| `0x8419` | `expectedExpressionBody` | — | Нужно теоретико-множественное тело функции (ТФ). |
|
|
53
53
|
| `0x841A` | `expectedLogicBody` | — | Нужно логическое тело функции. |
|
|
54
54
|
| `0x841B` | `expectedQuantifierBody` | — | Нужно логическое тело после `∀(∃)…∈домен`. |
|
|
55
|
-
| `0x841C` | `expectedDeclarativeBody` | — | Допиши декларативное `D{…∈…
|
|
56
|
-
| `0x841D` | `expectedImperativeBody` | — | Допиши императивное `I{…
|
|
57
|
-
| `0x841E` | `expectedRecursiveBody` | — | Допиши рекурсивное `R{…:=…
|
|
55
|
+
| `0x841C` | `expectedDeclarativeBody` | — | Допиши декларативное `D{…∈… \| …}`. |
|
|
56
|
+
| `0x841D` | `expectedImperativeBody` | — | Допиши императивное `I{… \| …}`. |
|
|
57
|
+
| `0x841E` | `expectedRecursiveBody` | — | Допиши рекурсивное `R{…:=… \| … \| …}`. |
|
|
58
58
|
| `0x841F` | `expectedQuantifierDomain` | — | После переменной квантора нужны `∈` и домен. |
|
|
59
59
|
| `0x8420` | `expectedRightOperand` | — | Нужен правый операнд после оператора. |
|
|
60
60
|
| `0x8421` | `expectedUnaryOperand` | — | Нужно выражение после `¬`. |
|
package/docs/DOMAIN.md
CHANGED
|
@@ -14,22 +14,10 @@
|
|
|
14
14
|
|
|
15
15
|
## Классификация понятий КС
|
|
16
16
|
|
|
17
|
-
-
|
|
18
|
-
- **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации
|
|
19
|
-
- **Ядро КС** —
|
|
17
|
+
- **Неопределяемое понятие** — конституента, вводимая конвенцией (и при необходимости аксиомами), а не формальным определением. В родоструктурной экспликации: `X#`, `C#`, `S#`. Смысл задают `convention`, интерпретация и аксиомы.
|
|
18
|
+
- **Производное понятие** — конституента с формальным определением на RSLang: `D#`, `F#`, `P#` и связанные выводимые конструкции. Значение получают из определения при заданной интерпретации неопределяемых понятий.
|
|
19
|
+
- **Ядро КС** — неопределяемые понятия, аксиомы и производные понятия, необходимые для их формулировки.
|
|
20
20
|
- **Тело КС** — остальные конституенты схемы, не входящие в ядро.
|
|
21
|
-
|
|
22
|
-
### Термины: не путать (для агентов)
|
|
23
|
-
|
|
24
|
-
В ответах пользователю и в конвенциях КС используй только термины из этого файла. Не вводи собственные ярлыки («базис», «базисный слой», «каркас схемы») — они не закреплены в Portal и размывают различия ниже.
|
|
25
|
-
|
|
26
|
-
| Не используй | Используй | Почему |
|
|
27
|
-
| :------------------------------------------------------ | :----------------------------------------------------------------------------------- | :---------------------------------------------- |
|
|
28
|
-
| «базис», «базисный слой», «первый слой» (без уточнения) | **неопределяемые понятия** — `X#`, `C#`, `S#` | Общий термин для всего неопределяемого слоя |
|
|
29
|
-
| «базис» / «базисное» про `C#` или `S#` | **константное множество** (`C#`), **родовая структура** (`S#`) | **Базисное множество** — только про `X#` |
|
|
30
|
-
| «базисные множества» как синоним базовых понятий | **базисные множества** — только несколько `X#`; для всего слоя — **базовые понятия** | `C#` и `S#` базисными множествами не называются |
|
|
31
|
-
| «ядро» = «базовые понятия» | **ядро КС** — базовые понятия плюс аксиомы и производные, нужные для аксиом | Ядро шире, чем только `X#` / `C#` / `S#` |
|
|
32
|
-
|
|
33
21
|
- **Конвенция** — текстовое соглашение о том, как неопределяемое понятие соотносится с сущностями предметной области. В данных схемы хранится в поле `convention` конституенты. Конвенция не заменяет формальное определение и не проходит формальную проверку RSLang. Она фиксирует предметный смысл, который нельзя вывести из формулы: что именно считается элементом множества, как читать компоненты кортежа, какой порядок в паре отношения, какие константы или операции подразумеваются. В конвенции используется предметный язык и термины, которые могут быть не выражены в концептуальной схеме.
|
|
34
22
|
- **Интерпретация** — соотнесение понятий КС с сущностями предметной области. В концептуальной модели задаётся значениями неопределяемых конституент и вычислением производных.
|
|
35
23
|
|
|
@@ -52,24 +40,6 @@
|
|
|
52
40
|
|
|
53
41
|
Не путай `S#` и `D#`: `S1: ℬ(X1×X1)` — интерпретируемое отношение из пар; `D1 := X1×X1` — декартово произведение.
|
|
54
42
|
|
|
55
|
-
## Статусы выражений
|
|
56
|
-
|
|
57
|
-
- `Unknown` — не проверено.
|
|
58
|
-
- `OK` — корректно.
|
|
59
|
-
- `Error` — ошибка в определении.
|
|
60
|
-
- `Property` — неразмерное: доступна только проверка принадлежности.
|
|
61
|
-
- `Incalculable` — невычислимо напрямую.
|
|
62
|
-
|
|
63
|
-
## Статусы вычисления в модели
|
|
64
|
-
|
|
65
|
-
- `NO_EVAL` — нечего вычислять.
|
|
66
|
-
- `NOT_PROCESSED` — вычисление не запускалось.
|
|
67
|
-
- `INVALID_DATA` — неверная интерпретация.
|
|
68
|
-
- `EVAL_FAIL` — ошибка вычисления.
|
|
69
|
-
- `AXIOM_FALSE` — аксиома ложна.
|
|
70
|
-
- `EMPTY` — результат пуст.
|
|
71
|
-
- `HAS_DATA` — результат вычислен и непустой.
|
|
72
|
-
|
|
73
43
|
## Зависимости
|
|
74
44
|
|
|
75
45
|
- **Поставщики** — конституенты, на которые ссылается текущая.
|
|
@@ -87,3 +57,33 @@
|
|
|
87
57
|
- **Сквозные изменения** идут от исходной конституенты к наследникам.
|
|
88
58
|
- **Ромбовидный синтез** использует КС с общими предками; чаще требует ручного отождествления дублей.
|
|
89
59
|
- **Концептуальный блок** — группа схем внутри предметной области.
|
|
60
|
+
|
|
61
|
+
### Термины: не путать (для агентов)
|
|
62
|
+
|
|
63
|
+
В ответах пользователю и в конвенциях КС используй только термины из этого файла. Не вводи собственные ярлыки («базис», «базисный слой», «каркас схемы») — они не закреплены в Portal и размывают различия ниже.
|
|
64
|
+
|
|
65
|
+
| Не используй | Используй | Почему |
|
|
66
|
+
| :------------------------------------------------------ | :------------------------------------------------------------------------------------------ | :------------------------------------------------------- |
|
|
67
|
+
| «базис», «базисный слой», «первый слой» (без уточнения) | **неопределяемые понятия** — `X#`, `C#`, `S#` | Общий термин для всего неопределяемого слоя |
|
|
68
|
+
| «базис» / «базисное» про `C#` или `S#` | **константное множество** (`C#`), **родовая структура** (`S#`) | **Базисное множество** — только про `X#` |
|
|
69
|
+
| «базисные множества» как синоним неопределяемых понятий | **базисные множества** — только несколько `X#`; для всего слоя — **неопределяемые понятия** | `C#` и `S#` базисными множествами не называются |
|
|
70
|
+
| «ядро» = неопределяемые понятия» | **ядро КС** — неопределяемые понятия плюс аксиомы и производные, нужные для аксиом | Ядро шире, чем только `X#` / `C#` / `S#` |
|
|
71
|
+
| теорема про `T#` | **высказывание** — производное логическое выражение `T#` | тип теорема на Portal отсутствует и вводит в заблуждение |
|
|
72
|
+
|
|
73
|
+
## Статусы выражений
|
|
74
|
+
|
|
75
|
+
- `Unknown` — не проверено.
|
|
76
|
+
- `OK` — корректно.
|
|
77
|
+
- `Error` — ошибка в определении.
|
|
78
|
+
- `Property` — неразмерное: доступна только проверка принадлежности.
|
|
79
|
+
- `Incalculable` — невычислимо напрямую.
|
|
80
|
+
|
|
81
|
+
## Статусы вычисления в модели
|
|
82
|
+
|
|
83
|
+
- `NO_EVAL` — нечего вычислять.
|
|
84
|
+
- `NOT_PROCESSED` — вычисление не запускалось.
|
|
85
|
+
- `INVALID_DATA` — неверная интерпретация.
|
|
86
|
+
- `EVAL_FAIL` — ошибка вычисления.
|
|
87
|
+
- `AXIOM_FALSE` — аксиома ложна.
|
|
88
|
+
- `EMPTY` — результат пуст.
|
|
89
|
+
- `HAS_DATA` — результат вычислен и непустой.
|
package/docs/README.md
CHANGED
|
@@ -6,7 +6,7 @@
|
|
|
6
6
|
|
|
7
7
|
## Какой файл читать
|
|
8
8
|
|
|
9
|
-
- **DOMAIN.md** — термины Portal: конституента,
|
|
9
|
+
- **DOMAIN.md** — термины Portal: конституента, неопределяемые и производные понятия, ядро/тело КС, интерпретация, ОСС, синтез.
|
|
10
10
|
- **CONCEPTUAL-SCHEMA.md** — проектирование и ревью концептуальных схем.
|
|
11
11
|
- **CONSTITUENTA.md** — структура и правила конституент.
|
|
12
12
|
- **SYNTAX.md** — синтаксис RSLang: операторы, генераторы `D{}`/`I{}`/`R{}`, кванторы, `F#`/`P#`.
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@rsconcept/rstool",
|
|
3
|
-
"version": "1.2.
|
|
3
|
+
"version": "1.2.1",
|
|
4
4
|
"description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"author": "IRBorisov",
|
|
@@ -71,11 +71,11 @@ auto определит `portal-details` или `portal-schema`. Явный kind
|
|
|
71
71
|
|
|
72
72
|
Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
|
|
73
73
|
|
|
74
|
-
1. Собери словарь:
|
|
74
|
+
1. Собери словарь: неопределяемые понятия, ключевые отношения, сценарий синтеза.
|
|
75
75
|
2. Добавь неопределяемые понятия `X#`, `C#`, `S#` с конвенциями из источника (не копируй дословно).
|
|
76
|
-
3. Проверь независимость
|
|
76
|
+
3. Проверь независимость неопределяемых понятий — они не выводятся друг из друга.
|
|
77
77
|
Если отношение или множество выражается через уже введенные `X#`, `C#`, `S#`, оформляй его как `D#` / `F#` / `P#`.
|
|
78
|
-
4. Введи `F#` и `D#` для раскрытия проекций и функциональных связей в
|
|
78
|
+
4. Введи `F#` и `D#` для раскрытия проекций и функциональных связей в неопределяемых понятиях.
|
|
79
79
|
5. Добавь `A#` на структуры, выражающие ограничения предметной области. Возможно стоит ввести промежуточные производные термы и терм-функции.
|
|
80
80
|
6. Подбери промежуточные производные понятия `D#`, `F#`, `P#` так, чтобы выразить целевые понятия без использования не введенных в схеме понятий.
|
|
81
81
|
7. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
|
|
@@ -153,17 +153,8 @@ auto определит `portal-details` или `portal-schema`. Явный kind
|
|
|
153
153
|
|
|
154
154
|
Имена конституент (`X1`, `S2`, `D3`) и формулы RSLang — часть схемы, их приводи как есть; лучше вместе с термином: «терм `D3` (родитель)». Названия методов упоминай, только если пользователь спрашивает про rstool как инструмент.
|
|
155
155
|
|
|
156
|
-
### Термины КС
|
|
157
|
-
|
|
158
156
|
Словарь выше — про поля rstool. Для **понятий схемы** каноничный источник — [DOMAIN.md](../../docs/DOMAIN.md).
|
|
159
157
|
|
|
160
|
-
| Не пиши пользователю | Пиши |
|
|
161
|
-
| :--------------------------- | :------------------------------------------------------------ |
|
|
162
|
-
| «базис», «базисный слой» | **базовые понятия** (`X#`, `C#`, `S#`) или перечисли типы |
|
|
163
|
-
| «базисное» про `S1` | **родовая структура** `S1` |
|
|
164
|
-
| «базовое« множество про `X1` | **базисное множество** `X1` |
|
|
165
|
-
| «ядро» без уточнения | **ядро КС** (если речь именно о ядре) или **базовые понятия** |
|
|
166
|
-
|
|
167
158
|
## Чеклисты
|
|
168
159
|
|
|
169
160
|
### Сессия и rstool
|
|
@@ -185,7 +176,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
|
|
|
185
176
|
|
|
186
177
|
- [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
|
|
187
178
|
- [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
|
|
188
|
-
- [ ]
|
|
179
|
+
- [ ] Неопределяемые понятия независимы; производные отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
|
|
189
180
|
- [ ] Покрыты главные сущности, роли, отношения, утверждения.
|
|
190
181
|
- [ ] В текстовых определениях используются только понятия из схемы.
|
|
191
182
|
- [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.
|