@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/clinic-booking/NOTES.md

@@ -0,0 +1,24 @@
+# «Запись к врачу»: слоты, записи и приёмы
+
+Пример по требованиям к ПО: 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`).** Кортеж (врач, день, начало, конец) пришлось бы повторять в каждой записи и приёме; слот `X4` с отношениями «врач слота» и «время слота» плюс аксиома однозначности `A3`.
+- **Время — целые (`DC2`).** Пересечение слотов требует сравнения: день и минуты — `Z`. Предикат `P1` «слоты пересекаются» обособлен, им пользуются и правило врача (`A2`), и доступность для пациента (`F4`). Стык отрезков (570 и 570) — не пересечение; это проверяет сценарий `SC1`.
+- **Запись ≠ приём (`DC3`).** Приём — отдельная структура `S5 ⊆ S4`: пациент может не прийти.
+- **«Сирота» — сигнал.** Первая версия не использовала специальности врача (п. 1), и `check-brief` показал `X2`, `S1` вне путей к требованиям. Решение — требование `E8` и аксиома `A7`, а не удаление пункта ТЗ.
+- **Отсутствие правила — открытый вопрос.** Должна ли запись соответствовать специальности? В требованиях этого нет: `DC4` «без аксиомы» и вопрос в `openQuestions`.
+
+## v2
+
+Повторные записи — структура `S6 ⊆ S4`; первичные — остаток (`DC5`), поэтому разбиение полное по построению. Правило «повторная — к знакомому врачу» опирается на приёмы `S5`, а не на записи: записаться — не значит побывать.
+
+## Антипримеры
+
+| Снимок                                                | Ошибка                                                            | Что ловит                                             |
+| :---------------------------------------------------- | :---------------------------------------------------------------- | :---------------------------------------------------- |
+| [`collapsed.json`](anti/collapsed.json)               | доступные пациенту = свободные минус свои записи, без пересечений | `SC1`: `s3` пересекается с `s1`, но попал в доступные |
+| [`species-as-genus.json`](anti/species-as-genus.json) | приём не отличается от записи (`S5` нет)                          | `E4`, `I5` не выражены; различение `V2`               |

package/examples/clinic-booking/anti/collapsed.json

@@ -0,0 +1,615 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "6e5419d1-5fbb-4de1-817f-ab1f9da9f902",
+    "alias": "CLINIC",
+    "title": "Антипример: collapsed",
+    "comment": "Запись пациентов на приём к врачу. Эксплицировать слоты, записи и приёмы для проектирования модуля записи и его проверок.\nL1. Исключено: уведомления (п. 6); невыразимо: отправленное напоминание.\nL2. Исключено: оплата (п. 7); невыразимо: оплаченный приём, стоимость.\nL3. Исключено: отмены и история записей; невыразимо: отменённая запись, неявка в прошлом месяце.\nDC1. слот: X4 и структуры S2, S3 — на слот ссылаются записи и приёмы; кортеж-слот пришлось бы повторять в каждой паре.\nDC2. время: день и минуты как Z — пересечение требует порядка и сравнения; календарные даты исключены (L3).\nDC3. приём: S5 и аксиома A5 — запись ≠ приём (п. 5): пациент может не прийти.\nDC4. специальность записи: без аксиомы — в требованиях нет правила о специальности при записи.",
+    "createdAt": "2026-10-25T18:34:36.435Z",
+    "updatedAt": "2026-10-25T18:34:36.443Z",
+    "revisions": [
+      {
+        "revisionId": "0b159acd-d152-4b97-b708-96c1f3cfae9c",
+        "at": "2026-10-25T18:34:36.443Z",
+        "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": "X4",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "слоты",
+        "definitionText": "",
+        "convention": "Слоты приёма: отрезок времени конкретного врача в конкретный день.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X4"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "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": 6,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X4×X1)",
+        "term": "врач слота",
+        "definitionText": "",
+        "convention": "Пара (слот, врач): врач ведёт приём в слоте.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X4"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "S3",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X4×Z×Z×Z)",
+        "term": "время слота",
+        "definitionText": "",
+        "convention": "Четвёрка (слот, день, начало, конец); начало и конец — минуты от начала дня.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X4"
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "S4",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X3×X4)",
+        "term": "записи",
+        "definitionText": "",
+        "convention": "Пара (пациент, слот): пациент записан на слот.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 9,
+        "alias": "S5",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X3×X4)",
+        "term": "состоявшиеся приёмы",
+        "definitionText": "",
+        "convention": "Пара (пациент, слот): пациент пришёл на приём по записи.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 10,
+        "alias": "F1",
+        "cstType": "function",
+        "definitionFormal": "[σ∈X4] Pr2,3,4(Fi1[{σ}](S3))",
+        "term": "время",
+        "definitionText": "День, начало и конец данного слота.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 4,
+                "factors": [
+                  {
+                    "typeID": 2,
+                    "isOrdered": true,
+                    "isArithmetic": true,
+                    "isIntegerCompatible": true
+                  },
+                  {
+                    "typeID": 2,
+                    "isOrdered": true,
+                    "isArithmetic": true,
+                    "isIntegerCompatible": true
+                  },
+                  {
+                    "typeID": 2,
+                    "isOrdered": true,
+                    "isArithmetic": true,
+                    "isIntegerCompatible": true
+                  }
+                ]
+              }
+            },
+            "args": [
+              {
+                "alias": "σ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 11,
+        "alias": "P1",
+        "cstType": "predicate",
+        "definitionFormal": "[σ∈X4, τ∈X4] σ≠τ & ∃(d1,b1,e1)∈F1[σ] ∃(d2,b2,e2)∈F1[τ] (d1=d2 & b1<e2 & b2<e1)",
+        "term": "слоты пересекаются",
+        "definitionText": "Два разных слота в один день перекрываются по времени.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 8,
+            "result": {
+              "typeID": 6
+            },
+            "args": [
+              {
+                "alias": "σ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              },
+              {
+                "alias": "τ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X4"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 12,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[δ∈X1] Pr1(Fi2[{δ}](S2))",
+        "term": "слоты врача",
+        "definitionText": "Слоты, в которых ведёт приём данный врач.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X4"
+              }
+            },
+            "args": [
+              {
+                "alias": "δ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 13,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "X4\\Pr2(S4)",
+        "term": "свободные слоты",
+        "definitionText": "Слоты без записи.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X4"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 14,
+        "alias": "F3",
+        "cstType": "function",
+        "definitionFormal": "[π∈X3] Pr2(Fi1[{π}](S4))",
+        "term": "слоты записей пациента",
+        "definitionText": "Слоты, на которые записан данный пациент.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X4"
+              }
+            },
+            "args": [
+              {
+                "alias": "π",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 15,
+        "alias": "F4",
+        "cstType": "function",
+        "definitionFormal": "[π∈X3] D1\\F3[π]",
+        "term": "слоты, доступные пациенту",
+        "definitionText": "Свободные слоты, которые не пересекаются с другими записями пациента.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X4"
+              }
+            },
+            "args": [
+              {
+                "alias": "π",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 16,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "card(Pr2(S4))=card(S4)",
+        "term": "одна запись на слот",
+        "definitionText": "п. 3.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 17,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "∀δ∈X1 ∀σ,τ∈F2[δ] ¬P1[σ,τ]",
+        "term": "слоты врача не пересекаются",
+        "definitionText": "п. 2.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 18,
+        "alias": "A3",
+        "cstType": "axiom",
+        "definitionFormal": "card(S2)=card(Pr1(S2)) & Pr1(S2)=X4 & card(S3)=card(Pr1(S3)) & Pr1(S3)=X4",
+        "term": "у слота один врач и одно время",
+        "definitionText": "Каждый слот принадлежит ровно одному врачу и имеет ровно одно время.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 19,
+        "alias": "A4",
+        "cstType": "axiom",
+        "definitionFormal": "∀σ∈S3 pr3(σ)<pr4(σ)",
+        "term": "начало раньше конца",
+        "definitionText": "У слота положительная длительность.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 20,
+        "alias": "A5",
+        "cstType": "axiom",
+        "definitionFormal": "S5⊆S4",
+        "term": "приём только по записи",
+        "definitionText": "п. 5.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 21,
+        "alias": "F6",
+        "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": 22,
+        "alias": "A7",
+        "cstType": "axiom",
+        "definitionFormal": "∀δ∈X1 F6[δ]≠∅",
+        "term": "у врача есть специальность",
+        "definitionText": "п. 1: у врача одна или несколько специальностей.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}