@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/access-control/rsform-session.json

@@ -0,0 +1,523 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "b3bb9a66-a290-4690-b16b-8b1c6b757839",
+    "alias": "RBAC",
+    "title": "Ролевой доступ",
+    "comment": "Ролевое управление доступом. Эксплицировать роли, иерархию и эффективные права для проектирования подсистемы доступа и проверок при назначении ролей.\nL1. Исключено: журнал изменений и сроки хранения (п. 6); невыразимо: кто и когда выдал право, права на прошлую дату.\nL2. Исключено: аутентификация (п. 7); невыразимо: способ входа, учётная запись SSO.\nL3. Исключено: ресурсы как объекты: право — неделимый элемент; невыразимо: права на конкретный документ.\nDC1. иерархия ролей: отношение S3 — п. 2; роль может входить в несколько старших — дерево избыточно ограничивает.\nDC2. права пользователя: вывод через роли (F5, F6) — права пользователя не задаются отдельно — иначе разойдутся с ролями.\nDC3. разделение обязанностей: по эффективным ролям (A2) — п. 4: «в том числе через иерархию».\nDC4. симметричность несовместимости: без аксиомы — A2 запрещает пару в любом порядке; достаточно записать пару один раз.\nDC5. ацикличность иерархии: аксиома A1 через замыкание F1 — п. 2.\nDC6. прямые роли с временными назначениями: F2 включает временные роли с действующим периодом — v2 п. 1; без временных назначений совпадает с v1.\nDC7. временное назначение: S5 (пользователь, роль, первый день, последний день) и текущий день S6 — S1 и сценарии v1 не меняются; E6 — родовая структура по DC7.",
+    "createdAt": "2026-10-25T18:34:35.438Z",
+    "updatedAt": "2026-10-25T18:34:35.450Z",
+    "revisions": [
+      {
+        "revisionId": "9f9ac1f9-a45e-4f3c-9b89-26578542e186",
+        "at": "2026-10-25T18:34:35.445Z",
+        "message": "Ролевой доступ: шаг 1"
+      },
+      {
+        "revisionId": "bd67960d-38bf-4eb7-bf83-4e3ee8c29f80",
+        "at": "2026-10-25T18:34:35.450Z",
+        "message": "Ролевой доступ: шаг 2"
+      }
+    ],
+    "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": "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": 5,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X3)",
+        "term": "права роли",
+        "definitionText": "",
+        "convention": "Пара (роль, право): право дано роли напрямую.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 6,
+        "alias": "S3",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X2)",
+        "term": "иерархия ролей",
+        "definitionText": "",
+        "convention": "Пара (старшая, младшая): старшая роль включает права младшей.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "S4",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X2)",
+        "term": "несовместимые роли",
+        "definitionText": "",
+        "convention": "Пара ролей, которые нельзя иметь одному пользователю (разделение обязанностей).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "F1",
+        "cstType": "function",
+        "definitionFormal": "[ρ∈X2] R{σ:=Pr2(Fi1[{ρ}](S3)) | σ∪Pr2(Fi1[σ](S3))}",
+        "term": "младшие роли",
+        "definitionText": "Роли, которые данная роль включает напрямую или через цепочку.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ρ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X2"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 9,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[{ξ}](S1)) ∪ I{pr2(τ) | τ:∈Fi1[{ξ}](S5); pr3(τ)≤S6; S6≤pr4(τ)}",
+        "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": 10,
+        "alias": "F3",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] red(I{F1[ρ] | ρ:∈F2[ξ]})\\F2[ξ]",
+        "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": 11,
+        "alias": "F4",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] F2[ξ]∪F3[ξ]",
+        "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": 12,
+        "alias": "F5",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[F2[ξ]](S2))",
+        "term": "назначенные права",
+        "definitionText": "Права прямых ролей пользователя.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X3"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 13,
+        "alias": "F6",
+        "cstType": "function",
+        "definitionFormal": "[ξ∈X1] Pr2(Fi1[F4[ξ]](S2))",
+        "term": "эффективные права",
+        "definitionText": "Права всех ролей пользователя, включая унаследованные.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X3"
+              }
+            },
+            "args": [
+              {
+                "alias": "ξ",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 14,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "∀ρ∈X2 ρ∉F1[ρ]",
+        "term": "иерархия без циклов",
+        "definitionText": "Роль не включает саму себя ни напрямую, ни через цепочку.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 15,
+        "alias": "A2",
+        "cstType": "axiom",
+        "definitionFormal": "∀ξ∈X1 ∀(α,β)∈S4 ¬(α∈F4[ξ] & β∈F4[ξ])",
+        "term": "разделение обязанностей",
+        "definitionText": "Ни у одного пользователя нет обеих ролей несовместимой пары, в том числе через иерархию.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 16,
+        "alias": "S5",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X1×X2×Z×Z)",
+        "term": "временные назначения",
+        "definitionText": "",
+        "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
+                },
+                {
+                  "typeID": 2,
+                  "isOrdered": true,
+                  "isArithmetic": true,
+                  "isIntegerCompatible": true
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 17,
+        "alias": "S6",
+        "cstType": "structure",
+        "definitionFormal": "Z",
+        "term": "текущий день",
+        "definitionText": "",
+        "convention": "Номер текущего дня в той же нумерации, что и периоды назначений.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 18,
+        "alias": "A3",
+        "cstType": "axiom",
+        "definitionFormal": "∀τ∈S5 pr3(τ)≤pr4(τ)",
+        "term": "период назначения корректен",
+        "definitionText": "Первый день периода не позже последнего.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}

package/examples/audit-diagnostics.ts

@@ -14,7 +14,15 @@ const sessions = [
   'examples/movd/rsform-session.json',
   'examples/movd/rsmodel-session.json',
   'examples/expression-bank/rsform-session.json',
-  'examples/template-apply/rsform-session.json'
+  'examples/template-apply/rsform-session.json',
+  'examples/subordination/rsform-session.json',
+  'examples/kinship-subordination/rsform-session.json',
+  'examples/library-loans/rsform-session-v1.json',
+  'examples/library-loans/rsform-session.json',
+  'examples/access-control/rsform-session-v1.json',
+  'examples/access-control/rsform-session.json',
+  'examples/clinic-booking/rsform-session-v1.json',
+  'examples/clinic-booking/rsform-session.json'
 ];
 
 let total = 0;

package/examples/briefs.test.ts

@@ -0,0 +1,126 @@
+import { readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+
+import { describe, expect, it } from 'vitest';
+
+import { type Brief, checkBrief } from '../skills/scripts/brief-check';
+
+function read(path: string): string {
+  return readFileSync(resolve(import.meta.dirname, path), 'utf8');
+}
+
+function brief(path: string): Brief {
+  return JSON.parse(read(path)) as Brief;
+}
+
+describe('example briefs', () => {
+  const cases: Array<[string, string, string, string?]> = [
+    ['subordination', 'subordination/rsform-session.json', 'subordination/brief.json'],
+    ['kinship', 'kinship/rsform-session.json', 'kinship/brief.json'],
+    ['movd', 'movd/rsform-session.json', 'movd/brief.json'],
+    ['kinship-subordination', 'kinship-subordination/rsform-session.json', 'kinship-subordination/brief.json'],
+    ['library-loans v1', 'library-loans/rsform-session-v1.json', 'library-loans/brief-v1.json'],
+    [
+      'library-loans v2',
+      'library-loans/rsform-session.json',
+      'library-loans/brief.json',
+      'library-loans/rsform-session-v1.json'
+    ],
+    ['access-control v1', 'access-control/rsform-session-v1.json', 'access-control/brief-v1.json'],
+    [
+      'access-control v2',
+      'access-control/rsform-session.json',
+      'access-control/brief.json',
+      'access-control/rsform-session-v1.json'
+    ],
+    ['clinic-booking v1', 'clinic-booking/rsform-session-v1.json', 'clinic-booking/brief-v1.json'],
+    [
+      'clinic-booking v2',
+      'clinic-booking/rsform-session.json',
+      'clinic-booking/brief.json',
+      'clinic-booking/rsform-session-v1.json'
+    ]
+  ];
+
+  it.each(cases)('%s answers its brief', async (_, session, briefPath, base) => {
+    const { readiness } = await checkBrief({
+      session: read(session),
+      brief: brief(briefPath),
+      base: base ? read(base) : undefined
+    });
+    expect(readiness.blockers).toEqual([]);
+    expect(readiness.stage).toBe('review');
+  });
+});
+
+describe('subordination anti-examples', () => {
+  const reference = read('subordination/rsform-session.json');
+  const cases: Array<[string, string]> = [
+    ['single-relation', 'E4: конституента D5 не найдена'],
+    ['weakened', 'I1 «Сам себе не начальник»: нет аксиомы'],
+    ['collapsed', 'D8: формула стала тривиальной'],
+    ['transitive', 'A3 (допустимый сценарий): ожидалось истина, получено ложь']
+  ];
+
+  it.each(cases)('%s is caught', async (name, blocker) => {
+    const { readiness } = await checkBrief({
+      session: read(`subordination/anti/${name}.json`),
+      brief: brief('subordination/brief.json'),
+      base: reference
+    });
+    expect(readiness.ready).toBe(false);
+    expect(readiness.blockers.some(item => item.includes(blocker))).toBe(true);
+  });
+});
+
+describe('library-loans anti-examples', () => {
+  const reference = read('library-loans/rsform-session-v1.json');
+  const cases: Array<[string, string]> = [
+    ['uncovered', 'E3: конституента D2 не найдена'],
+    ['weakened', 'I1 «Экземпляр не выдан двум читателям одновременно»: нет аксиомы'],
+    ['species-as-genus', 'ожидался кортеж X2×X1'],
+    ['collapsed', 'D6: формула стала тривиальной']
+  ];
+
+  it.each(cases)('%s is caught', async (name, blocker) => {
+    const { readiness } = await checkBrief({
+      session: read(`library-loans/anti/${name}.json`),
+      brief: brief('library-loans/brief-v1.json'),
+      base: reference
+    });
+    expect(readiness.ready).toBe(false);
+    expect(readiness.blockers.some(item => item.includes(blocker))).toBe(true);
+  });
+});
+
+describe('access-control anti-examples', () => {
+  const cases: Array<[string, string]> = [
+    ['weakened', 'SC3 «Несовместимость через наследование»: A2: ожидалось ложь, получено истина'],
+    ['collapsed', 'F6["ann"]: ожидалось']
+  ];
+
+  it.each(cases)('%s is caught', async (name, blocker) => {
+    const { readiness } = await checkBrief({
+      session: read(`access-control/anti/${name}.json`),
+      brief: brief('access-control/brief-v1.json')
+    });
+    expect(readiness.ready).toBe(false);
+    expect(readiness.blockers.some(item => item.includes(blocker))).toBe(true);
+  });
+});
+
+describe('clinic-booking anti-examples', () => {
+  const cases: Array<[string, string]> = [
+    ['collapsed', 'F4["p1"]: ожидалось ["s2","s4"]'],
+    ['species-as-genus', 'E4: конституента S5 не найдена']
+  ];
+
+  it.each(cases)('%s is caught', async (name, blocker) => {
+    const { readiness } = await checkBrief({
+      session: read(`clinic-booking/anti/${name}.json`),
+      brief: brief('clinic-booking/brief-v1.json')
+    });
+    expect(readiness.ready).toBe(false);
+    expect(readiness.blockers.some(item => item.includes(blocker))).toBe(true);
+  });
+});