@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/library-loans/rsform-session.json

@@ -0,0 +1,652 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "e9db794d-3acb-4e53-a7bb-4d83c1f3b1d1",
+    "alias": "LIB",
+    "title": "Выдача книг",
+    "comment": "Выдача книг в библиотеке. Эксплицировать понятия выдачи и доступности для проектирования ИС: модель данных и проверки при сохранении; v2 — продления и брони.\nL1. Исключено: штрафы и оплата (п. 8); невыразимо: сумма штрафа, долг читателя в рублях.\nL2. Исключено: история выдач — только текущее состояние (п. 7); невыразимо: бывшие выдачи, сколько раз читатель брал издание, дата возврата.\nL3. Исключено: каталог и поиск (п. 9) — интерфейс, не предметная область; невыразимо: автор издания, название.\nDC1. основное отношение «выдача» S2: S2: читатель × экземпляр × день выдачи — просрочка требует дня, доступность — экземпляра; «один читатель у экземпляра» — аксиома A1, а не тип.\nDC2. срок выдачи: константа 14 в формуле D4 — п. 2: срок одинаков для всех.\nDC3. текущий день: S3: Z — просрочка — производное понятие, не неопределяемое.\nDC4. однозначность выдачи по экземпляру: аксиома A1 — п. 3.\nDC5. издание экземпляра: отношение S1 и аксиома A3 (однозначность и всюду определённость) — п. 1.\nDC6. запрет новой выдачи должнику: без аксиомы — это правило процедуры выдачи, а схема описывает состояние (L2).\nDC7. продления: S4: пара (экземпляр, номер продления) — S2 и сценарии v1 не меняются; число продлений — card, аксиома A5 простая.\nDC8. срок выдачи с продлениями: D4: 14 × (1 + число продлений) — v2 п. 1; без продлений совпадает с v1 — сценарии v1 проходят.\nDC9. бронь: S5: читатель × издание — бронируют издание, конкретный экземпляр неизвестен.",
+    "createdAt": "2026-10-25T18:34:34.407Z",
+    "updatedAt": "2026-10-25T18:34:34.417Z",
+    "revisions": [
+      {
+        "revisionId": "27a7f3cb-7852-4d49-8881-2cdbe4984589",
+        "at": "2026-10-25T18:34:34.411Z",
+        "message": "v1"
+      },
+      {
+        "revisionId": "4e76b044-2c2a-479d-94a0-404dd64f87a5",
+        "at": "2026-10-25T18:34:34.417Z",
+        "message": "v2: продления и брони"
+      }
+    ],
+    "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": "Физические экземпляры книг фонда (ТЗ 1).",
+        "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": "ℬ(X2×X3)",
+        "term": "издание экземпляра",
+        "definitionText": "",
+        "convention": "Пара (экземпляр, издание): экземпляр — копия издания (ТЗ 1).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X2×Z)",
+        "term": "выдачи",
+        "definitionText": "",
+        "convention": "Тройка (читатель, экземпляр, день выдачи) для экземпляров, которые сейчас на руках (ТЗ 2). Дни — номера дней.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 6,
+        "alias": "S3",
+        "cstType": "structure",
+        "definitionFormal": "Z",
+        "term": "текущий день",
+        "definitionText": "",
+        "convention": "Номер текущего дня в той же нумерации, что и дни выдачи.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "Pr2(S2)",
+        "term": "выданные экземпляры",
+        "definitionText": "Экземпляры, которые сейчас на руках у читателей.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X2"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "D2",
+        "cstType": "term",
+        "definitionFormal": "X2\\D1",
+        "term": "доступные экземпляры",
+        "definitionText": "Экземпляры, которые сейчас не выданы.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X2"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 9,
+        "alias": "F1",
+        "cstType": "function",
+        "definitionFormal": "[ε∈X3] Pr1(Fi2[{ε}](S1))",
+        "term": "экземпляры издания",
+        "definitionText": "Все экземпляры данного издания.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ε",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 10,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[ε∈X3] F1[ε]\\D1",
+        "term": "доступные экземпляры издания",
+        "definitionText": "Невыданные экземпляры данного издания.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ε",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 11,
+        "alias": "D3",
+        "cstType": "term",
+        "definitionFormal": "D{ε∈X3 | F2[ε]≠∅}",
+        "term": "доступные издания",
+        "definitionText": "Издания, у которых есть хотя бы один доступный экземпляр.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X3"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 12,
+        "alias": "F3",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[{ξ}](S2))",
+        "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": 13,
+        "alias": "D4",
+        "cstType": "term",
+        "definitionFormal": "D{σ∈S2 | pr3(σ) + 14 * (1 + F4[pr2(σ)]) < S3}",
+        "term": "просроченные выдачи",
+        "definitionText": "Выдачи, у которых истёк срок: 14 дней плюс по 14 дней за каждое продление.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 14,
+        "alias": "D5",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S2)",
+        "term": "читатели с выдачами",
+        "definitionText": "Читатели, у которых есть экземпляр на руках.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 15,
+        "alias": "D6",
+        "cstType": "term",
+        "definitionFormal": "Pr1(D4)",
+        "term": "должники",
+        "definitionText": "Читатели с хотя бы одной просроченной выдачей.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 16,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "card(Pr2(S2))=card(S2)",
+        "term": "экземпляр выдан одному читателю",
+        "definitionText": "Один экземпляр не выдан двум читателям и не записан дважды (ТЗ 3).",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 17,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "∀ξ∈X1 card(F3[ξ])≤5",
+        "term": "не больше 5 экземпляров на руках",
+        "definitionText": "ТЗ 4.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 18,
+        "alias": "A3",
+        "cstType": "axiom",
+        "definitionFormal": "card(S1)=card(Pr1(S1)) & Pr1(S1)=X2",
+        "term": "у экземпляра одно издание",
+        "definitionText": "Каждый экземпляр — копия ровно одного издания (ТЗ 1).",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 19,
+        "alias": "A4",
+        "cstType": "axiom",
+        "definitionFormal": "∀σ∈S2 pr3(σ)≤S3",
+        "term": "выдача не из будущего",
+        "definitionText": "День выдачи не позже текущего дня.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 20,
+        "alias": "S4",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×Z)",
+        "term": "продления",
+        "definitionText": "",
+        "convention": "Пара (экземпляр, номер продления 1, 2, …) для каждого сделанного продления текущей выдачи.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 21,
+        "alias": "F4",
+        "cstType": "function",
+        "definitionFormal": "[ε∈X2] card(Fi1[{ε}](S4))",
+        "term": "число продлений",
+        "definitionText": "Сколько раз продлена выдача данного экземпляра.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 2,
+              "isOrdered": true,
+              "isArithmetic": true,
+              "isIntegerCompatible": true
+            },
+            "args": [
+              {
+                "alias": "ε",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 22,
+        "alias": "S5",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X3)",
+        "term": "брони",
+        "definitionText": "",
+        "convention": "Пара (читатель, издание): читатель забронировал издание (v2 п. 2).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 23,
+        "alias": "D7",
+        "cstType": "term",
+        "definitionFormal": "Pr2(S5)",
+        "term": "забронированные издания",
+        "definitionText": "Издания, на которые есть бронь.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X3"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 24,
+        "alias": "A5",
+        "cstType": "axiom",
+        "definitionFormal": "∀ε∈X2 F4[ε]≤2",
+        "term": "не больше двух продлений",
+        "definitionText": "v2 п. 1.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 25,
+        "alias": "A6",
+        "cstType": "axiom",
+        "definitionFormal": "Pr1(S4)⊆D1",
+        "term": "продлевается только выданное",
+        "definitionText": "Продления есть только у экземпляров на руках.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 26,
+        "alias": "A7",
+        "cstType": "axiom",
+        "definitionFormal": "∀ρ∈S5 F2[pr2(ρ)]=∅",
+        "term": "бронь только недоступного издания",
+        "definitionText": "Бронируют издание, у которого нет доступных экземпляров (v2 п. 2).",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}

package/examples/library-loans/source-markup.md

@@ -0,0 +1,18 @@
+# Расчистка требований: «Выдача книг»
+
+Этап 1, `rs-scope` шаг 2.
+
+| Пункт | Статус                | Блок               | Куда в брифе                           |
+| :---- | :-------------------- | :----------------- | :------------------------------------- |
+| v1 1  | определение           | сущности           | ядро: `X2`, `X3`, `S1`; инвариант `I3` |
+| v1 2  | определение + правило | основное отношение | ядро: `S2`; решение `DC1`              |
+| v1 3  | правило               | основное отношение | инвариант `I1`                         |
+| v1 4  | правило               | основное отношение | инвариант `I2`                         |
+| v1 5  | определение           | состояния          | `E2`, `E5`; различение `V2`            |
+| v1 6  | определение           | состояния          | `E3`, `E4`; различение `V1`            |
+| v1 7  | правило (динамика)    | время, история     | `L2` — исключено                       |
+| v1 8  | правило               | оплата             | `L1` — исключено                       |
+| v1 9  | нерелевантное         | интерфейс          | не входит в схему                      |
+| v2 1  | правило               | основное отношение | `E6`, инвариант `I5`, решение `DC5`    |
+| v2 2  | правило               | бронь              | `E7`, инвариант `I6`                   |
+| v2 3  | правило               | регрессия          | сценарии v1 остаются                   |