@rsconcept/rstool 0.7.2 → 0.8.0

package/examples/kinship/x1-actions.test.ts

@@ -1,6 +1,7 @@
 import { describe, expect, it } from 'vitest';
 
-import { TUPLE_ID } from './constants';
+import { TUPLE_ID } from '@rsconcept/domain';
+
 import {
   addPerson,
   A1_MAX_PEOPLE,

package/examples/movd/build-rsform.ts

@@ -0,0 +1,325 @@
+import { writeFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+
+import { CstType, RSToolWrapperClient, type AddOrUpdateConstituentaInput } from '../../src';
+
+import { DEFAULT_RSFORM_SESSION_PATH } from './constants';
+
+/**
+ * Учебная RSForm «МОВД» по Portal rsforms/838 (сокращённо).
+ * Фокус: мультипроекции Pr*,* и мультифильтры Fi*,* на отношениях арности 3.
+ */
+async function run() {
+  const client = new RSToolWrapperClient({
+    cwd: resolve(process.cwd())
+  });
+
+  try {
+    await client.waitUntilReady();
+    const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession');
+
+    const drafts: AddOrUpdateConstituentaInput[] = [
+      {
+        draft: {
+          id: 1,
+          alias: 'X1',
+          cstType: CstType.BASE,
+          definitionFormal: '',
+          term: 'ситуации',
+          convention: 'Различимые ситуации, рассматриваемые как единицы анализа'
+        }
+      },
+      {
+        draft: {
+          id: 2,
+          alias: 'X2',
+          cstType: CstType.BASE,
+          definitionFormal: '',
+          term: 'элементы ситуации',
+          convention: 'Различимые элементы, которые могут входить в состав ситуаций'
+        }
+      },
+      {
+        draft: {
+          id: 3,
+          alias: 'X3',
+          cstType: CstType.BASE,
+          definitionFormal: '',
+          term: 'субъекты',
+          convention: 'Различимые субъекты, осуществляющие ориентировку в ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 4,
+          alias: 'X4',
+          cstType: CstType.BASE,
+          definitionFormal: '',
+          term: 'действия',
+          convention: 'Различимые действия, рассматриваемые субъектом как возможные в ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 5,
+          alias: 'S1',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'ℬ(X1×X2)',
+          term: 'состав ситуации',
+          convention: 'Соотносит ситуацию с элементами, входящими в её состав'
+        }
+      },
+      {
+        draft: {
+          id: 6,
+          alias: 'S2',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'ℬ(X3×X1×X2)',
+          term: 'выделение значимого',
+          convention: 'Соотносит субъекта, ситуацию и элемент ситуации, выделяемый субъектом как значимый'
+        }
+      },
+      {
+        draft: {
+          id: 7,
+          alias: 'S3',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'ℬ(X3×X1×X4)',
+          term: 'рассмотрение действия',
+          convention: 'Соотносит субъекта, ситуацию и действие, рассматриваемое как возможное'
+        }
+      },
+      {
+        draft: {
+          id: 8,
+          alias: 'S4',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'ℬ(X3×X1×X4)',
+          term: 'выбор действия',
+          convention: 'Соотносит субъекта, ситуацию и действие, выбранное субъектом'
+        }
+      },
+      {
+        draft: {
+          id: 9,
+          alias: 'D1',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(S1)',
+          term: 'структурированные ситуации',
+          definitionText: 'Ситуации, для которых задан хотя бы один элемент состава'
+        }
+      },
+      {
+        draft: {
+          id: 10,
+          alias: 'D2',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr2(S1)',
+          term: 'элементы состава ситуации',
+          definitionText: 'Элементы, входящие в состав хотя бы одной ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 11,
+          alias: 'F1',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈X1] Pr2(Fi1[{α}](S1))',
+          term: 'состав заданной ситуации',
+          definitionText: 'Элементы, входящие в состав заданной ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 12,
+          alias: 'D3',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(S2)',
+          term: 'ориентирующиеся субъекты'
+        }
+      },
+      {
+        draft: {
+          id: 13,
+          alias: 'D4',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr2(S2)',
+          term: 'ситуации ориентировки'
+        }
+      },
+      {
+        draft: {
+          id: 14,
+          alias: 'D5',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr3(S2)',
+          term: 'значимые элементы'
+        }
+      },
+      {
+        draft: {
+          id: 15,
+          alias: 'D6',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1,2(S2)',
+          term: 'эпизоды ориентировки',
+          definitionText: 'Пары субъект — ситуация, в которых субъект выделяет значимый элемент'
+        }
+      },
+      {
+        draft: {
+          id: 16,
+          alias: 'F2',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈X3, β∈X1] Pr3(Fi2,1[{(β,α)}](S2))',
+          term: 'значимые элементы субъекта в ситуации',
+          definitionText: 'Элементы, выделяемые субъектом как значимые в заданной ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 17,
+          alias: 'A1',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀α∈X3 ∀β∈X1 F2[α,β]⊆F1[β]',
+          term: 'значимые элементы входят в состав ситуации',
+          definitionText: 'Элементы, выделяемые субъектом как значимые, входят в состав этой ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 18,
+          alias: 'D7',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(S3)',
+          term: 'рассматривающие субъекты'
+        }
+      },
+      {
+        draft: {
+          id: 19,
+          alias: 'D8',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr2(S3)',
+          term: 'ситуации рассмотрения действий'
+        }
+      },
+      {
+        draft: {
+          id: 20,
+          alias: 'D9',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr3(S3)',
+          term: 'рассматриваемые действия'
+        }
+      },
+      {
+        draft: {
+          id: 21,
+          alias: 'F3',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈X3, β∈X1] Pr3(Fi2[{β}](Fi1[{α}](S3)))',
+          term: 'пространство действий субъекта в ситуации',
+          definitionText: 'Действия, рассматриваемые субъектом как возможные в ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 22,
+          alias: 'A2',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀α∈X3 ∀β∈X1 (F3[α,β]≠∅ ⇒ F2[α,β]≠∅)',
+          term: 'пространство действий требует ориентировки',
+          definitionText: 'Если субъект рассматривает действия в ситуации, у него есть значимые элементы'
+        }
+      },
+      {
+        draft: {
+          id: 23,
+          alias: 'D10',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1,2(S3)',
+          term: 'эпизоды рассмотрения',
+          definitionText: 'Пары субъект — ситуация, в которых рассматриваются действия'
+        }
+      },
+      {
+        draft: {
+          id: 24,
+          alias: 'F5',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[ρ∈S3] pr1,2(ρ)',
+          term: 'субъект и ситуация рассмотрения',
+          definitionText: 'Пара субъект — ситуация для эпизода рассмотрения действия'
+        }
+      },
+      {
+        draft: {
+          id: 25,
+          alias: 'F4',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈X3, β∈X1] debool(Pr3(Fi2[{β}](Fi1[{α}](S4))))',
+          term: 'выбранное действие субъекта в ситуации',
+          definitionText: 'Действие, выбранное субъектом в ситуации'
+        }
+      },
+      {
+        draft: {
+          id: 26,
+          alias: 'A3',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀(α,β)∈Pr1,2(S4) card(Pr3(Fi2[{β}](Fi1[{α}](S4))))=1',
+          term: 'единственность выбранного действия',
+          definitionText: 'У каждой пары субъект — ситуация в структуре выбора ровно одно действие'
+        }
+      },
+      {
+        draft: {
+          id: 27,
+          alias: 'A4',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀(α,β)∈Pr1,2(S4) F4[α,β]∈F3[α,β]',
+          term: 'выбранное действие принадлежит пространству действий',
+          definitionText: 'Выбранное действие входит в число рассматриваемых субъектом в этой ситуации'
+        }
+      }
+    ];
+
+    for (const input of drafts) {
+      const result = await client.call<{
+        state: { alias: string; analysis: { success: boolean } };
+        diagnostics: unknown[];
+      }>('addOrUpdateConstituenta', {
+        sessionId: session.sessionId,
+        input
+      });
+      const ok = result.state.analysis.success;
+      const diagCount = result.diagnostics?.length ?? 0;
+      console.log(`${input.draft.alias}: ${ok ? 'OK' : 'FAIL'} (${diagCount} diagnostics)`);
+      if (!ok) {
+        const diags = await client.call('listDiagnostics', { sessionId: session.sessionId });
+        console.log(JSON.stringify(diags, null, 2));
+        throw new Error(`${input.draft.alias}: analysis failed (${diagCount} diagnostics)`);
+      }
+    }
+
+    await client.call('commitStep', {
+      sessionId: session.sessionId,
+      message: 'КС «МОВД» (rsforms/838): Pr1,2, Fi1,2, pr1,2 на ℬ(X3×X1×X2) и ℬ(X3×X1×X4)'
+    });
+
+    const exported = await client.call<string>('exportSession', {
+      sessionId: session.sessionId
+    });
+    const outputPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
+    await writeFile(outputPath, exported, 'utf8');
+    console.log(`Exported: ${outputPath}`);
+  } finally {
+    await client.close();
+  }
+}
+
+run().catch(error => {
+  console.error(error);
+  process.exit(1);
+});

package/examples/movd/build-rsmodel.ts

@@ -0,0 +1,159 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+
+import { TUPLE_ID } from '@rsconcept/domain';
+
+import { EvalStatus, RSToolWrapperClient } from '../../src';
+
+import {
+  A1_ID,
+  A3_ID,
+  A4_ID,
+  D5_ID,
+  D6_ID,
+  D10_ID,
+  DEFAULT_RSFORM_SESSION_PATH,
+  DEFAULT_RSMODEL_SESSION_PATH,
+  S1_ID,
+  S2_ID,
+  S3_ID,
+  S4_ID,
+  X1_ID,
+  X2_ID,
+  X3_ID,
+  X4_ID
+} from './constants';
+
+/**
+ * Демо-эпизод: Алиса в ситуации «переговоры» выделяет «стол»,
+ * рассматривает «выйти» и «остаться», выбирает «выйти».
+ */
+const X1_BINDING = { 0: 'переговоры' } as const;
+const X2_BINDING = { 0: 'стол', 1: 'дверь' } as const;
+const X3_BINDING = { 0: 'Алиса' } as const;
+const X4_BINDING = { 0: 'выйти', 1: 'остаться' } as const;
+
+/** S1: состав ситуации — стол и дверь в переговорах. */
+const S1_VALUE = [
+  [TUPLE_ID, 0, 0],
+  [TUPLE_ID, 0, 1]
+] as const;
+
+/** S2: Алиса выделяет стол в переговорах. */
+const S2_VALUE = [[TUPLE_ID, 0, 0, 0]] as const;
+
+/** S3: Алиса рассматривает оба действия. */
+const S3_VALUE = [
+  [TUPLE_ID, 0, 0, 0],
+  [TUPLE_ID, 0, 0, 1]
+] as const;
+
+/** S4: Алиса выбирает «выйти». */
+const S4_VALUE = [[TUPLE_ID, 0, 0, 0]] as const;
+
+async function run() {
+  const client = new RSToolWrapperClient({
+    cwd: resolve(process.cwd())
+  });
+
+  try {
+    await client.waitUntilReady();
+    const schemaPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
+    const schemaJson = await readFile(schemaPath, 'utf8');
+
+    const imported = await client.call<{ sessionId: string }>('importSession', {
+      payload: schemaJson
+    });
+
+    await client.call('setConstituentaValues', {
+      sessionId: imported.sessionId,
+      input: {
+        items: [
+          { target: X1_ID, value: X1_BINDING },
+          { target: X2_ID, value: X2_BINDING },
+          { target: X3_ID, value: X3_BINDING },
+          { target: X4_ID, value: X4_BINDING },
+          { target: S1_ID, value: S1_VALUE },
+          { target: S2_ID, value: S2_VALUE },
+          { target: S3_ID, value: S3_VALUE },
+          { target: S4_ID, value: S4_VALUE }
+        ]
+      }
+    });
+
+    const recalculated = await client.call<{
+      items: { id: number; alias: string; value: unknown; status: number }[];
+    }>('recalculateModel', {
+      sessionId: imported.sessionId
+    });
+
+    const d5 = recalculated.items.find(item => item.id === D5_ID);
+    const d6 = recalculated.items.find(item => item.id === D6_ID);
+    const d10 = recalculated.items.find(item => item.id === D10_ID);
+    const a1Eval = await client.call<{ success: boolean; value: unknown; status: number }>('evaluateConstituenta', {
+      sessionId: imported.sessionId,
+      input: { constituentId: A1_ID }
+    });
+    const a3Eval = await client.call<{ success: boolean; value: unknown; status: number }>('evaluateConstituenta', {
+      sessionId: imported.sessionId,
+      input: { constituentId: A3_ID }
+    });
+    const a4Eval = await client.call<{ success: boolean; value: unknown; status: number }>('evaluateConstituenta', {
+      sessionId: imported.sessionId,
+      input: { constituentId: A4_ID }
+    });
+
+    console.log('D5 Pr3(S2):', d5);
+    console.log('D6 Pr1,2(S2):', d6);
+    console.log('D10 Pr1,2(S3):', d10);
+    console.log('A1:', a1Eval);
+    console.log('A3:', a3Eval);
+    console.log('A4:', a4Eval);
+
+    if (!Array.isArray(d5?.value) || !d5.value.includes(0)) {
+      throw new Error(`Expected D5 to include element 0 (стол); got ${JSON.stringify(d5)}`);
+    }
+
+    if (
+      !Array.isArray(d6?.value) ||
+      d6.value.length !== 1 ||
+      !Array.isArray(d6.value[0]) ||
+      d6.value[0][0] !== TUPLE_ID ||
+      d6.value[0][1] !== 0 ||
+      d6.value[0][2] !== 0
+    ) {
+      throw new Error(`Expected D6 = {(0,0)}; got ${JSON.stringify(d6)}`);
+    }
+
+    if (!a1Eval.success || a1Eval.status === EvalStatus.AXIOM_FALSE || a1Eval.value !== 1) {
+      throw new Error(`Expected A1 to hold; got ${JSON.stringify(a1Eval)}`);
+    }
+
+    if (!a3Eval.success || a3Eval.status === EvalStatus.AXIOM_FALSE || a3Eval.value !== 1) {
+      throw new Error(`Expected A3 to hold; got ${JSON.stringify(a3Eval)}`);
+    }
+
+    if (!a4Eval.success || a4Eval.status === EvalStatus.AXIOM_FALSE || a4Eval.value !== 1) {
+      throw new Error(`Expected A4 to hold; got ${JSON.stringify(a4Eval)}`);
+    }
+
+    await client.call('commitStep', {
+      sessionId: imported.sessionId,
+      message: 'Модель МОВД: Алиса, переговоры, стол значим, выбор «выйти»'
+    });
+
+    const exported = await client.call<string>('exportSession', {
+      sessionId: imported.sessionId
+    });
+    const outputPath = resolve(process.cwd(), DEFAULT_RSMODEL_SESSION_PATH);
+    await writeFile(outputPath, exported, 'utf8');
+    console.log(`Exported: ${outputPath}`);
+  } finally {
+    await client.close();
+  }
+}
+
+run().catch(error => {
+  console.error(error);
+  process.exit(1);
+});

package/examples/movd/constants.ts

@@ -0,0 +1,18 @@
+/** Constituent ids in movd RSForm / RSModel sessions (based on Portal rsforms/838). */
+export const X1_ID = 1;
+export const X2_ID = 2;
+export const X3_ID = 3;
+export const X4_ID = 4;
+export const S1_ID = 5;
+export const S2_ID = 6;
+export const S3_ID = 7;
+export const S4_ID = 8;
+export const D5_ID = 14;
+export const D6_ID = 15;
+export const D10_ID = 23;
+export const A1_ID = 17;
+export const A3_ID = 26;
+export const A4_ID = 27;
+
+export const DEFAULT_RSFORM_SESSION_PATH = 'examples/movd/rsform-session.json';
+export const DEFAULT_RSMODEL_SESSION_PATH = 'examples/movd/rsmodel-session.json';