@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/clinic-booking/brief.json

@@ -0,0 +1,405 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "project",
+  "object": "Запись пациентов на приём к врачу",
+  "task": "Эксплицировать слоты, записи и приёмы для проектирования модуля записи и его проверок",
+  "source": "requirements-v1.md, requirements-v2.md",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "уведомления (п. 6)",
+      "inexpressible": ["отправленное напоминание"]
+    },
+    {
+      "id": "L2",
+      "excludes": "оплата (п. 7)",
+      "inexpressible": ["оплаченный приём", "стоимость"]
+    },
+    {
+      "id": "L3",
+      "excludes": "отмены и история записей",
+      "inexpressible": ["отменённая запись", "неявка в прошлом месяце"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "свободные слоты",
+      "ref": "п. 3",
+      "via": "слоты вне Pr2 записей",
+      "constituent": "D1"
+    },
+    {
+      "id": "E2",
+      "concept": "слоты, доступные пациенту",
+      "ref": "п. 4",
+      "via": "свободные без пересечения с записями пациента",
+      "constituent": "F4"
+    },
+    {
+      "id": "E3",
+      "concept": "пересечение слотов",
+      "ref": "п. 2, 4",
+      "via": "тот же день и перекрытие отрезков",
+      "constituent": "P1"
+    },
+    {
+      "id": "E4",
+      "concept": "состоявшиеся приёмы",
+      "ref": "п. 5",
+      "via": "родовая структура (пациент, слот) по DC3",
+      "constituent": "S5"
+    },
+    {
+      "id": "E5",
+      "concept": "слоты врача",
+      "ref": "п. 2",
+      "via": "фильтр «врач слота»",
+      "constituent": "F2"
+    },
+    {
+      "id": "E8",
+      "concept": "специальности врача",
+      "ref": "п. 1",
+      "via": "фильтр S1 по врачу",
+      "constituent": "F6"
+    },
+    {
+      "id": "E6",
+      "concept": "повторные записи",
+      "ref": "v2 п. 1",
+      "via": "родовая структура ⊆ записей по DC5",
+      "constituent": "S6"
+    },
+    {
+      "id": "E7",
+      "concept": "врачи, у которых пациент был",
+      "ref": "v2 п. 1",
+      "via": "врачи слотов состоявшихся приёмов",
+      "constituent": "F5"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["E1", "E2"],
+      "text": "свободный слот ≠ доступный пациенту"
+    },
+    {
+      "id": "V2",
+      "between": ["S4", "S5"],
+      "text": "запись ≠ приём"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "На слот не больше одной записи",
+      "ref": "п. 3",
+      "constituent": "A1",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "Слоты одного врача не пересекаются",
+      "ref": "п. 2",
+      "constituent": "A2",
+      "positive": "SC1",
+      "negative": "SC3"
+    },
+    {
+      "id": "I3",
+      "text": "У слота один врач и одно время",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC6"
+    },
+    {
+      "id": "I4",
+      "text": "Начало слота раньше конца",
+      "constituent": "A4",
+      "positive": "SC1",
+      "negative": "SC4"
+    },
+    {
+      "id": "I5",
+      "text": "Приём бывает только по записи",
+      "ref": "п. 5",
+      "constituent": "A5",
+      "positive": "SC1",
+      "negative": "SC5"
+    },
+    {
+      "id": "I7",
+      "text": "У врача есть хотя бы одна специальность",
+      "ref": "п. 1",
+      "constituent": "A7",
+      "positive": "SC1",
+      "negative": "SC9"
+    },
+    {
+      "id": "I6",
+      "text": "Повторная запись — только к врачу, у которого пациент был",
+      "ref": "v2 п. 1",
+      "constituent": "A6",
+      "positive": "SC7",
+      "negative": "SC8"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "слот",
+      "alternatives": ["слот как кортеж (врач, день, начало, конец)", "слот как сущность X4 с врачом и временем"],
+      "choice": "X4 и структуры S2, S3",
+      "rationale": "на слот ссылаются записи и приёмы; кортеж-слот пришлось бы повторять в каждой паре"
+    },
+    {
+      "id": "DC2",
+      "topic": "время",
+      "choice": "день и минуты как Z",
+      "rationale": "пересечение требует порядка и сравнения; календарные даты исключены (L3)"
+    },
+    {
+      "id": "DC3",
+      "topic": "приём",
+      "alternatives": ["приём = запись", "отдельная структура S5 ⊆ записей"],
+      "choice": "S5 и аксиома A5",
+      "rationale": "запись ≠ приём (п. 5): пациент может не прийти"
+    },
+    {
+      "id": "DC4",
+      "topic": "специальность записи",
+      "choice": "без аксиомы",
+      "rationale": "в требованиях нет правила о специальности при записи"
+    },
+    {
+      "id": "DC5",
+      "topic": "первичная и повторная запись",
+      "alternatives": [
+        "классификация: две структуры первичных и повторных + аксиомы разбиения",
+        "структура повторных; первичные — остаток"
+      ],
+      "choice": "S6 повторные записи; первичные — остальные записи",
+      "rationale": "разбиение полное по построению; аксиома нужна только «S6 ⊆ записей»"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Два врача, пациент p1 записан на s1 и пришёл",
+      "values": {
+        "X1": ["house", "cuddy"],
+        "X2": ["therapy", "surgery"],
+        "X3": ["p1", "p2"],
+        "X4": ["s1", "s2", "s3", "s4"],
+        "S1": [
+          ["house", "therapy"],
+          ["cuddy", "surgery"],
+          ["cuddy", "therapy"]
+        ],
+        "S2": [
+          ["s1", "house"],
+          ["s2", "house"],
+          ["s3", "cuddy"],
+          ["s4", "cuddy"]
+        ],
+        "S3": [
+          ["s1", 1, 540, 570],
+          ["s2", 1, 570, 600],
+          ["s3", 1, 540, 600],
+          ["s4", 2, 600, 630]
+        ],
+        "S4": [["p1", "s1"]],
+        "S5": [["p1", "s1"]]
+      },
+      "expect": [
+        {
+          "of": "D1",
+          "value": ["s2", "s3", "s4"]
+        },
+        {
+          "of": "F4",
+          "args": ["p1"],
+          "value": ["s2", "s4"],
+          "note": "s3 свободен, но пересекается с s1"
+        },
+        {
+          "of": "F4",
+          "args": ["p2"],
+          "value": ["s2", "s3", "s4"]
+        },
+        {
+          "of": "P1",
+          "args": ["s1", "s3"],
+          "holds": true
+        },
+        {
+          "of": "P1",
+          "args": ["s1", "s2"],
+          "holds": false,
+          "note": "стык 570 — не пересечение"
+        },
+        {
+          "of": "F2",
+          "args": ["house"],
+          "value": ["s1", "s2"]
+        },
+        {
+          "of": "F6",
+          "args": ["cuddy"],
+          "value": ["therapy", "surgery"]
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Двойная запись на s1",
+      "base": "SC1",
+      "values": {
+        "S4": [
+          ["p1", "s1"],
+          ["p2", "s1"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A1",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Пересечение слотов врача",
+      "base": "SC1",
+      "values": {
+        "S3": [
+          ["s1", 1, 540, 570],
+          ["s2", 1, 560, 600],
+          ["s3", 1, 540, 600],
+          ["s4", 2, 600, 630]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A2",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC4",
+      "title": "Слот задом наперёд",
+      "base": "SC1",
+      "values": {
+        "S3": [
+          ["s1", 1, 570, 540],
+          ["s2", 1, 570, 600],
+          ["s3", 1, 540, 600],
+          ["s4", 2, 600, 630]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A4",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC5",
+      "title": "Приём без записи",
+      "base": "SC1",
+      "values": {
+        "S5": [
+          ["p1", "s1"],
+          ["p2", "s3"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A5",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC6",
+      "title": "Слот без врача",
+      "base": "SC1",
+      "values": {
+        "S2": [
+          ["s1", "house"],
+          ["s2", "house"],
+          ["s3", "cuddy"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC7",
+      "title": "Повторная запись к house",
+      "base": "SC1",
+      "values": {
+        "S4": [
+          ["p1", "s1"],
+          ["p1", "s2"]
+        ],
+        "S6": [["p1", "s2"]]
+      },
+      "expect": [
+        {
+          "of": "F5",
+          "args": ["p1"],
+          "value": ["house"]
+        },
+        {
+          "of": "A6",
+          "holds": true
+        }
+      ]
+    },
+    {
+      "id": "SC8",
+      "title": "Повторная запись к cuddy",
+      "base": "SC1",
+      "values": {
+        "S4": [
+          ["p1", "s1"],
+          ["p1", "s4"]
+        ],
+        "S6": [["p1", "s4"]]
+      },
+      "expect": [
+        {
+          "of": "A6",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC9",
+      "title": "Врач без специальности",
+      "base": "SC1",
+      "values": {
+        "S1": [["cuddy", "surgery"]]
+      },
+      "expect": [
+        {
+          "of": "A7",
+          "holds": false
+        }
+      ]
+    }
+  ],
+  "assumptions": ["у слота ровно один врач"],
+  "openQuestions": ["нужно ли правило «записываются к врачу нужной специальности»?"]
+}

package/examples/clinic-booking/build-rsform.ts

@@ -0,0 +1,174 @@
+/**
+ * «Запись к врачу»: doctors' slots, bookings and visits (v1), repeat bookings (v2); anti-examples.
+ * Run from the package root: `pnpm run example:build-clinic-booking-schema`.
+ */
+import { mkdirSync, writeFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+
+import { type AgentConstituentaPatch, RSToolAgent } from '../../src';
+
+import { describeBrief, formatDiagnostics } from '../diagnostics-utils';
+
+const V1_ITEMS: AgentConstituentaPatch[] = [
+  { alias: 'X1', term: 'врачи', convention: 'Врачи клиники.' },
+  { alias: 'X2', term: 'специальности', convention: 'Врачебные специальности (терапевт, хирург, …).' },
+  { alias: 'X3', term: 'пациенты', convention: 'Пациенты, зарегистрированные в клинике.' },
+  {
+    alias: 'X4',
+    term: 'слоты',
+    convention: 'Слоты приёма: отрезок времени конкретного врача в конкретный день.'
+  },
+  {
+    alias: 'S1',
+    term: 'специальности врача',
+    definitionFormal: 'ℬ(X1×X2)',
+    convention: 'Пара (врач, специальность).'
+  },
+  {
+    alias: 'S2',
+    term: 'врач слота',
+    definitionFormal: 'ℬ(X4×X1)',
+    convention: 'Пара (слот, врач): врач ведёт приём в слоте.'
+  },
+  {
+    alias: 'S3',
+    term: 'время слота',
+    definitionFormal: 'ℬ(X4×Z×Z×Z)',
+    convention: 'Четвёрка (слот, день, начало, конец); начало и конец — минуты от начала дня.'
+  },
+  {
+    alias: 'S4',
+    term: 'записи',
+    definitionFormal: 'ℬ(X3×X4)',
+    convention: 'Пара (пациент, слот): пациент записан на слот.'
+  },
+  {
+    alias: 'S5',
+    term: 'состоявшиеся приёмы',
+    definitionFormal: 'ℬ(X3×X4)',
+    convention: 'Пара (пациент, слот): пациент пришёл на приём по записи.'
+  },
+  {
+    alias: 'F1',
+    term: 'время',
+    definitionFormal: '[σ∈X4] Pr2,3,4(Fi1[{σ}](S3))',
+    definitionText: 'День, начало и конец данного слота.'
+  },
+  {
+    alias: 'P1',
+    term: 'слоты пересекаются',
+    definitionFormal: '[σ∈X4, τ∈X4] σ≠τ & ∃(d1,b1,e1)∈F1[σ] ∃(d2,b2,e2)∈F1[τ] (d1=d2 & b1<e2 & b2<e1)',
+    definitionText: 'Два разных слота в один день перекрываются по времени.'
+  },
+  {
+    alias: 'F2',
+    term: 'слоты врача',
+    definitionFormal: '[δ∈X1] Pr1(Fi2[{δ}](S2))',
+    definitionText: 'Слоты, в которых ведёт приём данный врач.'
+  },
+  { alias: 'D1', term: 'свободные слоты', definitionFormal: 'X4\\Pr2(S4)', definitionText: 'Слоты без записи.' },
+  {
+    alias: 'F3',
+    term: 'слоты записей пациента',
+    definitionFormal: '[π∈X3] Pr2(Fi1[{π}](S4))',
+    definitionText: 'Слоты, на которые записан данный пациент.'
+  },
+  {
+    alias: 'F4',
+    term: 'слоты, доступные пациенту',
+    definitionFormal: '[π∈X3] D{σ∈D1 | ∀τ∈F3[π] ¬P1[σ,τ]}',
+    definitionText: 'Свободные слоты, которые не пересекаются с другими записями пациента.'
+  },
+  {
+    alias: 'A1',
+    term: 'одна запись на слот',
+    definitionFormal: 'card(Pr2(S4))=card(S4)',
+    definitionText: 'п. 3.'
+  },
+  {
+    alias: 'A2',
+    term: 'слоты врача не пересекаются',
+    definitionFormal: '∀δ∈X1 ∀σ,τ∈F2[δ] ¬P1[σ,τ]',
+    definitionText: 'п. 2.'
+  },
+  {
+    alias: 'A3',
+    term: 'у слота один врач и одно время',
+    definitionFormal: 'card(S2)=card(Pr1(S2)) & Pr1(S2)=X4 & card(S3)=card(Pr1(S3)) & Pr1(S3)=X4',
+    definitionText: 'Каждый слот принадлежит ровно одному врачу и имеет ровно одно время.'
+  },
+  {
+    alias: 'A4',
+    term: 'начало раньше конца',
+    definitionFormal: '∀σ∈S3 pr3(σ)<pr4(σ)',
+    definitionText: 'У слота положительная длительность.'
+  },
+  { alias: 'A5', term: 'приём только по записи', definitionFormal: 'S5⊆S4', definitionText: 'п. 5.' },
+  {
+    alias: 'F6',
+    term: 'специальности данного врача',
+    definitionFormal: '[δ∈X1] Pr2(Fi1[{δ}](S1))',
+    definitionText: 'Специальности, по которым ведёт приём данный врач.'
+  },
+  {
+    alias: 'A7',
+    term: 'у врача есть специальность',
+    definitionFormal: '∀δ∈X1 F6[δ]≠∅',
+    definitionText: 'п. 1: у врача одна или несколько специальностей.'
+  }
+];
+
+const V2_ITEMS: AgentConstituentaPatch[] = [
+  {
+    alias: 'S6',
+    term: 'повторные записи',
+    definitionFormal: 'ℬ(X3×X4)',
+    convention: 'Пара (пациент, слот): запись отмечена как повторная. Остальные записи — первичные.'
+  },
+  {
+    alias: 'F5',
+    term: 'врачи, у которых пациент был',
+    definitionFormal: '[π∈X3] Pr2(Fi1[Pr2(Fi1[{π}](S5))](S2))',
+    definitionText: 'Врачи слотов состоявшихся приёмов данного пациента.'
+  },
+  {
+    alias: 'A6',
+    term: 'повторная запись — к знакомому врачу',
+    definitionFormal: 'S6⊆S4 & ∀(π,σ)∈S6 Pr2(Fi1[{σ}](S2))⊆F5[π]',
+    definitionText: 'Повторная запись — это запись, и её врач уже принимал пациента (v2 п. 1).'
+  }
+];
+
+const ANTI_EXAMPLES: Record<string, AgentConstituentaPatch[]> = {
+  'collapsed': V1_ITEMS.map(item => (item.alias === 'F4' ? { ...item, definitionFormal: '[π∈X3] D1\\F3[π]' } : item)),
+  'species-as-genus': V1_ITEMS.filter(item => item.alias !== 'S5' && item.alias !== 'A5')
+};
+
+function build(title: string, brief: string, ...batches: AgentConstituentaPatch[][]): string {
+  const tool = new RSToolAgent();
+  tool.createSession({ alias: 'CLINIC', title, comment: describeBrief(resolve(import.meta.dirname, brief)) });
+  for (const [index, items] of batches.entries()) {
+    const result = tool.applySchemaPatch({ items, commitMessage: `${title}: шаг ${index + 1}` });
+    if (!result.success) {
+      throw new Error(`${title}: ${formatDiagnostics(result.diagnostics)}`);
+    }
+  }
+  const diagnostics = tool.listDiagnostics();
+  if (diagnostics.length > 0) {
+    throw new Error(`${title}: ${formatDiagnostics(diagnostics)}`);
+  }
+  return tool.exportSession() + '\n';
+}
+
+function run() {
+  const root = import.meta.dirname;
+  writeFileSync(resolve(root, 'rsform-session-v1.json'), build('Запись к врачу', 'brief-v1.json', V1_ITEMS));
+  writeFileSync(resolve(root, 'rsform-session.json'), build('Запись к врачу', 'brief.json', V1_ITEMS, V2_ITEMS));
+  mkdirSync(resolve(root, 'anti'), { recursive: true });
+  for (const [name, items] of Object.entries(ANTI_EXAMPLES)) {
+    writeFileSync(resolve(root, 'anti', `${name}.json`), build(`Антипример: ${name}`, 'brief-v1.json', items));
+  }
+  console.log(`clinic-booking: v1, v2 + ${Object.keys(ANTI_EXAMPLES).length} anti-examples`);
+}
+
+run();

package/examples/clinic-booking/requirements-v1.md

@@ -0,0 +1,9 @@
+# Требования «Запись к врачу», v1 (фрагмент)
+
+1. У врача одна или несколько специальностей.
+2. Врач ведёт приём в слотах: слот — время в конкретный день (начало и конец в минутах от начала дня). Слоты одного врача не пересекаются.
+3. Пациент записывается на свободный слот. На один слот — не больше одной записи.
+4. Пациенту показываются слоты, доступные для записи: свободные и не пересекающиеся по времени с его другими записями.
+5. Приём состоялся, если пациент пришёл по записи. Состоявшийся приём бывает только по записи.
+6. Пациент получает SMS-напоминание за сутки.
+7. Оплата приёма — через кассу или онлайн.

package/examples/clinic-booking/requirements-v2.md

@@ -0,0 +1,4 @@
+# Запрос на изменение v2
+
+1. Запись бывает первичной или повторной. Повторная запись — только к врачу, у которого пациент уже был на приёме.
+2. Всё из v1 работает как раньше.