@rsconcept/rstool 1.2.0 → 1.2.2

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.
Files changed (9) hide show
  1. package/docs/CONCEPTUAL-SCHEMA.md +15 -3
  2. package/docs/CONSTITUENTA.md +1 -1
  3. package/docs/DIAGNOSTICS.md +34 -34
  4. package/docs/DOMAIN.md +37 -35
  5. package/docs/README.md +1 -1
  6. package/docs/SYNTAX.md +8 -5
  7. package/docs/TYPIFICATION.md +5 -4
  8. package/package.json +1 -1
  9. package/skills/rstool-helper/GUIDE.md +5 -13
package/docs/CONCEPTUAL-SCHEMA.md CHANGED
@@ -28,9 +28,9 @@
28
28
 
29
29
  Правило: не смешивай атрибутивную и родоструктурную экспликацию без явного запроса.
30
30
 
31
- ## Базовые понятия
31
+ ## Неопределяемые понятия
32
32
 
33
- `X#`, `C#`, и `S#` — это **базовые понятия** (см. [DOMAIN.md](DOMAIN.md)); их нельзя строить одно из другого и включать друг в друга как элементы или подмножества.
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
- При концептуализации вводи понятия по зависимостям: базовые (`X#`, `C#`, независимые `S#`), аксиомы `A#`, затем производные `D#` / `P#` / `A#`. Каждый шаг опирается только на уже введённые конституенты.
53
+ При концептуализации вводи понятия по зависимостям: неопределяемые (`X#`, `C#`, независимые `S#`), аксиомы `A#`, затем производные `D#` / `P#` / `A#`. Каждый шаг опирается только на уже введённые конституенты.
54
54
 
55
55
  Не обязательно сводить схему к одному «центральному» отношению. Зачастую нужны разные понятия на пересечении нескольких аспектов — структур, ролей, ограничений, сценариев. Каждый аспект может дать свои `S#` и `F#`; производные термы выражают их сочетания.
56
56
 
@@ -77,3 +77,15 @@ card(S1) = card(Pr1,2(S1))
77
77
  - `card(F[ξ]) = 1`.
78
78
 
79
79
  Перед `D{x∈… | ∃d1∈… ∃d2∈…}` проверь, нельзя ли взять `Pr` от уже введенного отношения.
80
+
81
+ ## Параметризованные определения и радикалы
82
+
83
+ Терм-функция (`F#`) и предикат-функция (`P#`) могут быть **шаблонными**: одно формальное определение применяется к разным структурам через аргументы вызова.
84
+
85
+ В доменах параметров (`[α∈…, β∈…]`) допустимы **радикалы** `R1`, `R2`, … — шаблонные ступени, которые не объявляются как конституенты. Ступень `R#` фиксируется при вызове `F#[…]` / `P#[…]` по типизации фактических аргументов.
86
+
87
+ Правила:
88
+
89
+ - Не добавляй в схему конституенту с `alias` `R1` (или другим `R#`) «для полноты» — это смешивает шаблон с предметной КС.
90
+ - Если одна и та же конструкция нужна для нескольких родовых структур, предпочитай один параметризованный `F#` / `P#` с радикалами вместо дублирования определений.
91
+ - Радикалы только в `[…]`; в теле после `]` — только конкретные ступени и ссылки на конституенты.
package/docs/CONSTITUENTA.md CHANGED
@@ -34,6 +34,6 @@
34
34
 
35
35
  1. Префикс `alias` соответствует `cstType`.
36
36
  2. У `basic` и `constant` пустая формула, иначе `definitionNotAllowed` (`0x8862`).
37
- 3. Все глобальные ссылки уже есть в сессии.
37
+ 3. Все глобальные ссылки на **конституенты** (`X#`, `C#`, `S#`, `D#`, `F#`, `P#`, …) уже есть в сессии. Имена `R#` в доменах параметров `function` / `predicate` — **радикалы** (шаблонные ступени), не конституенты; отдельной записи с `alias` `R1`, `R2`, … в схеме быть не должно. Подробнее — `SYNTAX.md` (раздел «Радикалы»), `TYPIFICATION.md`.
38
38
  4. `axiom` и `statement` имеют типизацию `Logic`, иначе `expectedLogic`.
39
39
  5. Выводимая конституента с пустой формулой дает `cstEmptyDerived`.
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` | — | Нужно выражение после `¬`. |
@@ -80,37 +80,37 @@
80
80
 
81
81
  ## Типизация и структура
82
82
 
83
- | Код | Имя | `params` | Исправление |
84
- | -------- | ---------------------------------- | ---------------------------------- | ---------------------------------------------------------------------------------------------------------------------------- |
85
- | `0x880A` | `typesNotEqual` | `[a, b, operator]` | Операнды `operator` должны иметь равный тип (`a` ≠ `b`). |
86
- | `0x8825` | `typesNotCompatible` | `[a, b, operator]` | Типы `a` и `b` несовместимы для `operator`. |
87
- | `0x8804` | `globalNotTyped` | `[name]` | Поставщик `name` не типизирован: добавь и проанализируй его раньше. |
88
- | `0x8805` | `invalidDecart` | `[arg]` | Аргумент `arg` оператора `×` неподходящей ступени. |
89
- | `0x8806` | `invalidBoolean` | `[arg]` | Аргумент `arg` оператора `ℬ()` неподходящей ступени. |
90
- | `0x8810` | `invalidReduce` | `[arg]` | `red(arg)` требует ступень `ℬℬ`. |
91
- | `0x8807` | `invalidTypeOperation` | `[operator, type]` | Аргумент `type` оператора `operator` (`∪`, `∈`, `D{}`, `:∈` и т.п.) должен быть множеством. |
92
- | `0x8808` | `invalidCard` | `[arg]` | `card(arg)` только над множеством. |
93
- | `0x8809` | `invalidDebool` | `[arg]` | `debool(arg)` требует ступень-множество с гарантией синглетона. |
94
- | `0x880B` | `globalFuncWithoutArgs` | `[name]` | Терм-/предикат-функция `name` вызвана без аргументов: нужен `F#[…]` / `P#[…]`. |
95
- | `0x8830` | `projectionSetArgumentNotSet` | `[operator, actual]` | `Pr*` применяется к множеству; аргумент не типизирован как `ℬ(H)`. |
96
- | `0x8831` | `projectionSetArgumentNotTupleSet` | `[operator, actual]` | `Pr*` требует множество кортежей `ℬ(H1×…×Hn)`; аргумент — множество не-кортежей, напр. `ℬ(X1)`. |
97
- | `0x8832` | `projectionSetIndexOutOfRange` | `[operator, index, arity, actual]` | Индекс проекции `index` превышает размерность `arity` кортежа аргумента `actual`. |
98
- | `0x8833` | `projectionTupleArgumentNotTuple` | `[operator, actual]` | `pr*` применяется к кортежу `H1×…×Hn`; получен другой тип. |
99
- | `0x8834` | `projectionTupleIndexOutOfRange` | `[operator, index, arity, actual]` | Индекс `index` превышает размерность `arity` кортежа `actual`. |
100
- | `0x8813` | `invalidEnumeration` | `[a, b]` | Элементы перечисления разной типизации (`a` ≠ `b`). |
101
- | `0x8814` | `invalidCortegeDeclare` | — | Число переменных кортежа ≠ размерности `×` (напр. `∀(a,b)∈X1`). |
102
- | `0x8816` | `invalidElementPredicate` | `[a, operator, c]` | `a operator c` (`ξ∈S`) с несовместимыми ступенями: `a` — тип элемента, `c` — тип множества. |
103
- | `0x8817` | `invalidEmptySetUsage` | — | Бессмысленное использование `∅` (напр. `X1∪∅`). |
104
- | `0x8818` | `invalidArgsArity` | `[expected, actual]` | Неверное число аргументов функции (`expected` ≠ `actual`). |
105
- | `0x8819` | `invalidArgumentType` | `[expected, actual]` | Тип аргумента не соответствует объявлению: ожидалось `expected`, получено `actual`. |
106
- | `0x881C` | `globalStructure` | — | Некорректный домен родовой структуры (`cstType` STRUCTURED): нужна ступень-структура вроде `ℬ(X1×D2)`, а не, напр., `X1∩X1`. |
107
- | `0x8821` | `radicalUsage` | `[name]` | Радикал `name` допустим только внутри аргумента функции. |
108
- | `0x8824` | `arithmeticNotSupported` | `[type, operator]` | `type` не поддерживает арифметику `operator`: нужна ступень `Z` или `C#`. |
109
- | `0x8826` | `orderingNotSupported` | `[type, operator]` | `type` не поддерживает порядок `operator`: нужна ступень `Z` или `C#`. |
110
- | `0x8827` | `expectedLogic` | `[type]` | Нужна логическая формула, получен тип `type`. |
111
- | `0x8828` | `expectedSetexpr` | `[type]` | Нужно теоретико-множественное выражение, получен тип `type` (напр. `Logic`). |
112
- | `0x8829` | `invalidArgumentCortegeDeclare` | — | Связное объявление кортежа запрещено в аргументах функции (`[(a,b)∈S1]`): используй проекции или раздельные переменные. |
113
- | `0x882A` | `invalidQuantifierDomain` | `[operator, type]` | Область квантора `operator` (`∀`/`∃`) должна быть множеством, а не `type`. |
83
+ | Код | Имя | `params` | Исправление |
84
+ | -------- | ---------------------------------- | ---------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------- |
85
+ | `0x880A` | `typesNotEqual` | `[a, b, operator]` | Операнды `operator` должны иметь равный тип (`a` ≠ `b`). |
86
+ | `0x8825` | `typesNotCompatible` | `[a, b, operator]` | Типы `a` и `b` несовместимы для `operator`. |
87
+ | `0x8804` | `globalNotTyped` | `[name]` | Поставщик `name` не типизирован: добавь и проанализируй его раньше. |
88
+ | `0x8805` | `invalidDecart` | `[arg]` | Аргумент `arg` оператора `×` неподходящей ступени. |
89
+ | `0x8806` | `invalidBoolean` | `[arg]` | Аргумент `arg` оператора `ℬ()` неподходящей ступени. |
90
+ | `0x8810` | `invalidReduce` | `[arg]` | `red(arg)` требует ступень `ℬℬ`. |
91
+ | `0x8807` | `invalidTypeOperation` | `[operator, type]` | Аргумент `type` оператора `operator` (`∪`, `∈`, `D{}`, `:∈` и т.п.) должен быть множеством. |
92
+ | `0x8808` | `invalidCard` | `[arg]` | `card(arg)` только над множеством. |
93
+ | `0x8809` | `invalidDebool` | `[arg]` | `debool(arg)` требует ступень-множество с гарантией синглетона. |
94
+ | `0x880B` | `globalFuncWithoutArgs` | `[name]` | Терм-/предикат-функция `name` вызвана без аргументов: нужен `F#[…]` / `P#[…]`. |
95
+ | `0x8830` | `projectionSetArgumentNotSet` | `[operator, actual]` | `Pr*` применяется к множеству; аргумент не типизирован как `ℬ(H)`. |
96
+ | `0x8831` | `projectionSetArgumentNotTupleSet` | `[operator, actual]` | `Pr*` требует множество кортежей `ℬ(H1×…×Hn)`; аргумент — множество не-кортежей, напр. `ℬ(X1)`. |
97
+ | `0x8832` | `projectionSetIndexOutOfRange` | `[operator, index, arity, actual]` | Индекс проекции `index` превышает размерность `arity` кортежа аргумента `actual`. |
98
+ | `0x8833` | `projectionTupleArgumentNotTuple` | `[operator, actual]` | `pr*` применяется к кортежу `H1×…×Hn`; получен другой тип. |
99
+ | `0x8834` | `projectionTupleIndexOutOfRange` | `[operator, index, arity, actual]` | Индекс `index` превышает размерность `arity` кортежа `actual`. |
100
+ | `0x8813` | `invalidEnumeration` | `[a, b]` | Элементы перечисления разной типизации (`a` ≠ `b`). |
101
+ | `0x8814` | `invalidCortegeDeclare` | — | Число переменных кортежа ≠ размерности `×` (напр. `∀(a,b)∈X1`). |
102
+ | `0x8816` | `invalidElementPredicate` | `[a, operator, c]` | `a operator c` (`ξ∈S`) с несовместимыми ступенями: `a` — тип элемента, `c` — тип множества. |
103
+ | `0x8817` | `invalidEmptySetUsage` | — | Бессмысленное использование `∅` (напр. `X1∪∅`). |
104
+ | `0x8818` | `invalidArgsArity` | `[expected, actual]` | Неверное число аргументов функции (`expected` ≠ `actual`). |
105
+ | `0x8819` | `invalidArgumentType` | `[expected, actual]` | Тип аргумента не соответствует объявлению: ожидалось `expected`, получено `actual`. |
106
+ | `0x881C` | `globalStructure` | — | Некорректный домен родовой структуры (`cstType` STRUCTURED): нужна ступень-структура вроде `ℬ(X1×D2)`, а не, напр., `X1∩X1`. |
107
+ | `0x8821` | `radicalUsage` | `[name]` | Радикал `name` (`R#`) допустим только в домене параметра `[…]` у `F#` / `P#`, не в теле формулы. `R#` не объявляется конституентой — см. `SYNTAX.md`. |
108
+ | `0x8824` | `arithmeticNotSupported` | `[type, operator]` | `type` не поддерживает арифметику `operator`: нужна ступень `Z` или `C#`. |
109
+ | `0x8826` | `orderingNotSupported` | `[type, operator]` | `type` не поддерживает порядок `operator`: нужна ступень `Z` или `C#`. |
110
+ | `0x8827` | `expectedLogic` | `[type]` | Нужна логическая формула, получен тип `type`. |
111
+ | `0x8828` | `expectedSetexpr` | `[type]` | Нужно теоретико-множественное выражение, получен тип `type` (напр. `Logic`). |
112
+ | `0x8829` | `invalidArgumentCortegeDeclare` | — | Связное объявление кортежа запрещено в аргументах функции (`[(a,b)∈S1]`): используй проекции или раздельные переменные. |
113
+ | `0x882A` | `invalidQuantifierDomain` | `[operator, type]` | Область квантора `operator` (`∀`/`∃`) должна быть множеством, а не `type`. |
114
114
 
115
115
  ## Фильтр `Fi`
116
116
 
package/docs/DOMAIN.md CHANGED
@@ -14,22 +14,10 @@
14
14
 
15
15
  ## Классификация понятий КС
16
16
 
17
- - **Базовое (неопределяемое) понятие** — конституента, вводимая конвенцией (и при необходимости аксиомами), а не формальным определением. В родоструктурной экспликации: `X#`, `C#`, `S#`. Смысл задают `convention`, интерпретация и аксиомы.
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
 
@@ -46,30 +34,12 @@
46
34
  - `P#` — **предикат-функция**: параметризованное логическое выражение.
47
35
  - `A#` — **аксиома**: логическое требование к модели.
48
36
  - `T#` — **высказывание**: логическое утверждение о модели.
49
- - `R#` — **радикал**: шаблонная ступень в параметрах.
37
+ - `R#` — **радикал**: шаблонная ступень в **доменах параметров** терм-функции (`F#`) или предикат-функции (`P#`). Это не конституента: в схеме нет записи с `alias` `R1`, `R2`, … и добавлять её через правку схемы не нужно. Ступень `R#` выводится в **месте вызова** `F#[…]` / `P#[…]` по типизации аргументов.
50
38
 
51
- Правило: `X#`, `C#`, `S#` задаются конвенцией и интерпретацией; `D#`, `F#`, `P#`, `A#`, `T#` выводятся по формуле. Поставщики должны идти раньше потребителей.
39
+ Правило: `X#`, `C#`, `S#` задаются конвенцией и интерпретацией; `D#`, `F#`, `P#`, `A#`, `T#` выводятся по формуле. Поставщики должны идти раньше потребителей. Радикалы `R#` к конституентам не относятся.
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,35 @@
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
+ | «пропущенная конституента `R1`» в списке схемы | **радикал** `R#` — параметр шаблона в домене `F#` / `P#` | `R#` не объявляется; при ревью КС отсутствие `R1` среди конституент — норма |
73
+ | «добавить `R1` как базисное / структурное понятие» | оставить `R#` только в `[…]` у параметризованных `F#` / `P#` | иначе смешиваются шаблон и предметная КС |
74
+
75
+ ## Статусы выражений
76
+
77
+ - `Unknown` — не проверено.
78
+ - `OK` — корректно.
79
+ - `Error` — ошибка в определении.
80
+ - `Property` — неразмерное: доступна только проверка принадлежности.
81
+ - `Incalculable` — невычислимо напрямую.
82
+
83
+ ## Статусы вычисления в модели
84
+
85
+ - `NO_EVAL` — нечего вычислять.
86
+ - `NOT_PROCESSED` — вычисление не запускалось.
87
+ - `INVALID_DATA` — неверная интерпретация.
88
+ - `EVAL_FAIL` — ошибка вычисления.
89
+ - `AXIOM_FALSE` — аксиома ложна.
90
+ - `EMPTY` — результат пуст.
91
+ - `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/docs/SYNTAX.md CHANGED
@@ -5,7 +5,7 @@
5
5
  ## Имена и литералы
6
6
 
7
7
  - Глобальные алиасы: `X1`, `C2`, `S3`, `D11`, `F7`, `P4`, `A6`, `T9`; буква совпадает с ролью конституенты.
8
- - Радикалы: `R1`, `R2` — шаблонные ступени в параметрах. Не путать с префиксом рекурсии `R{…}`.
8
+ - Радикалы: `R1`, `R2` — шаблонные ступени **только в доменах параметров** `[…]` у `F#` / `P#`; не конституенты и не путать с префиксом рекурсии `R{…}`.
9
9
  - Локальные переменные: `x`, `ξ`, `μ2`, `y1`.
10
10
  - Целые: `0`, `42`; отрицательного литерала нет, пиши `0 - 5`.
11
11
  - `Z` — множество целых, `∅` — пустое множество с типизацией `ℬ(R0)`.
@@ -139,9 +139,12 @@ P1 ::= [α1∈STE1, α2∈STE2(α1)] LE(α1, α2)
139
139
  F2 ::= [α1∈R1×R2, α2∈R1] α2 = pr1(α1)
140
140
  ```
141
141
 
142
- - `R#` выводится по типизациям аргументов в месте вызова.
143
- - Все вхождения одного `R#` должны совпасть.
144
- - Радикалы допустимы только в доменах параметров.
142
+ - `R#` — **не** глобальный алиас конституенты. В Portal и в JSON схемы нет (и не должно быть) элемента с `alias` `R1`, `R2`, …
143
+ - `R#` пишется только в квадратных скобках `[…]` у терм-функции (`F#`) или предикат-функции (`P#`) — в домене параметра после `∈`.
144
+ - Ступень `R#` выводится по типизациям **аргументов в месте вызова** `F#[…]` / `P#[…]`.
145
+ - Все вхождения одного `R#` в одном определении должны дать одну ступень.
146
+ - В **теле** результата (после `]`) радикалы недопустимы — будет `radicalUsage`.
147
+ - Один и тот же `F#` / `P#` с радикалами можно применять к разным структурам: например, `F5[σ]` для `σ∈S2` и `σ∈S4`, если аргументы согласуют ступень `R1`.
145
148
 
146
149
  ## Примеры
147
150
 
@@ -157,7 +160,7 @@ F2 ::= [α1∈R1×R2, α2∈R1] α2 = pr1(α1)
157
160
 
158
161
  ## Корректность
159
162
 
160
- - Анализ идет в глобальном контексте: все алиасы должны быть известны и типизированы.
163
+ - Анализ идет в глобальном контексте: все алиасы **конституент** (`X#`, `C#`, `S#`, `D#`, `F#`, `P#`, …) должны быть известны и типизированы. `R#` в доменах параметров — радикалы, не конституенты (см. выше).
161
164
  - Формальные определения должны быть биективно переносимыми (гарантируется семантическим анализатором).
162
165
  - Логическая непротиворечивость проверяется примером интерпретации в модели.
163
166
 
package/docs/TYPIFICATION.md CHANGED
@@ -20,12 +20,13 @@
20
20
 
21
21
  ## Радикалы
22
22
 
23
- `R1`, `R2`, ... — шаблонные ступени.
23
+ `R1`, `R2`, ... — шаблонные ступени в доменах параметров `F#` / `P#`. **Не конституенты:** в КС нет и не требуется записи с `alias` `R#`.
24
24
 
25
- - Значение `R#` выводится по аргументам в месте вызова.
26
- - Все вхождения одного `R#` должны дать одну ступень.
25
+ - Значение `R#` выводится по аргументам в месте вызова `F#[…]` / `P#[…]`.
26
+ - Все вхождения одного `R#` в одном определении должны дать одну ступень.
27
27
  - Разные `R#` независимы.
28
- - Радикалы можно писать только в доменах параметров; в теле результата будет `radicalUsage`.
28
+ - Радикалы можно писать только в доменах параметров (в `[…]`); в теле результата будет `radicalUsage`.
29
+ - При ревью схемы отсутствие `R1` среди конституент при наличии `R1` в формулах `F#` / `P#` — ожидаемое состояние, а не пробел ядра КС.
29
30
 
30
31
  ## `AnalysisResult.type`
31
32
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@rsconcept/rstool",
3
- "version": "1.2.0",
3
+ "version": "1.2.2",
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",
package/skills/rstool-helper/GUIDE.md CHANGED
@@ -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,8 +176,9 @@ auto определит `portal-details` или `portal-schema`. Явный kind
185
176
 
186
177
  - [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
187
178
  - [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
188
- - [ ] Базовые понятия и `S#` независимы; вычислимые отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
179
+ - [ ] Неопределяемые понятия независимы; производные отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
189
180
  - [ ] Покрыты главные сущности, роли, отношения, утверждения.
190
181
  - [ ] В текстовых определениях используются только понятия из схемы.
191
182
  - [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.
183
+ - [ ] `R#` в `[…]` у `F#` / `P#` не считается пропущенной конституентой; радикалы не добавляют в схему как `X#` / `S#` / `D#`.
192
184
  - [ ] Сомнительная семантика проверена на маленькой КМ при наличии тестовых данных.