@rsconcept/rstool 0.7.1 → 0.8.0

package/examples/{build-kinship-rsform.ts → kinship/build-rsform.ts}

@@ -1,7 +1,9 @@
 import { writeFile } from 'node:fs/promises';
 import { resolve } from 'node:path';
 
-import { CstType, RSToolWrapperClient, type AddOrUpdateConstituentaInput } from '../src';
+import { CstType, RSToolWrapperClient, type AddOrUpdateConstituentaInput } from '../../src';
+
+import { DEFAULT_RSFORM_SESSION_PATH } from './constants';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -30,8 +32,7 @@ async function run() {
           cstType: CstType.STRUCTURED,
           definitionFormal: 'ℬ(X1×X1)',
           term: 'родитель-ребенок',
-          convention:
-            'Элементы — пары (p, c): p — родитель, c — ребёнок; p, c ∈ X1. Отношение задаётся конвенцией на предметной области.'
+          convention: 'Множество пар: родитель и его ребёнок. Порядок в паре задаётся конвенцией на предметной области.'
         }
       },
       {
@@ -51,8 +52,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] Pr1(Fi2[{ξ}](S1))',
           term: 'родители данного человека',
-          definitionText:
-            'Для человека ξ — множество его родителей (первая проекция пар из S1, у которых вторая проекция равна ξ).'
+          definitionText: ''
         }
       },
       {
@@ -62,8 +62,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[σ∈ℬ(X1)] Pr2(Fi1[σ](S1))',
           term: 'дети',
-          definitionText:
-            'Прямые дети людей из σ: вторая проекция пар из S1, у которых родитель (первая проекция) лежит в σ. Для одного человека ξ используют F6[{ξ}].'
+          definitionText: 'Совокупность детей людей, одним из родителей которых является человек из данной группы людей'
         }
       },
       {
@@ -73,8 +72,7 @@ async function run() {
           cstType: CstType.TERM,
           definitionFormal: 'Pr2(S1)',
           term: 'потомки',
-          definitionText:
-            'Множество людей, выступающих ребёнком хотя бы в одной паре из S1 (симметрично терму «родители»).'
+          definitionText: 'Люди, являющиеся ребёнком хотя бы в одном отношении родитель — ребёнок'
         }
       },
       {
@@ -84,8 +82,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] R{ρ:=F6[{ξ}] | ρ≠∅ | ρ∪F6[ρ]}',
           term: 'потомки данного человека',
-          definitionText:
-            'Для человека ξ — транзитивное замыкание отношения «ребёнок»: прямые дети, внуки и все последующие поколения.'
+          definitionText: 'Дети людей данного человека или дети людей его потомков'
         }
       },
       {
@@ -93,10 +90,9 @@ async function run() {
           id: 7,
           alias: 'F3',
           cstType: CstType.FUNCTION,
-          definitionFormal: '[ξ∈X1] D{μ∈X1 | ∃p∈F1[ξ] μ∈F1[p] & μ≠ξ}',
+          definitionFormal: '[ξ∈X1] Pr2(Fi1[F1[ξ]](S1))\\{ξ}',
           term: 'братья и сестры данного человека',
-          definitionText:
-            'Люди μ ≠ ξ, у которых есть общий с ξ родитель (в т.ч. сводные братья и сестры при одном общем родителе).'
+          definitionText: 'Дети людей родителей данного человека за исключением его самого'
         }
       },
       {
@@ -106,7 +102,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{κ∈X1 | ∃μ∈F3[ξ] κ∈F6[{μ}] & κ∉F2[ξ]}',
           term: 'племянники данного человека',
-          definitionText: 'Прямые дети братьев и сестёр ξ, не входящие в множество потомков самого ξ.'
+          definitionText: 'Прямые дети братьев и сестёр данного человека, не являющиеся его потомками'
         }
       },
       {
@@ -116,8 +112,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{ν∈X1 | ∃κ∈F4[ξ] ν∈F6[{κ}]}',
           term: 'внучатые племянники данного человека',
-          definitionText:
-            'Прямые дети племянников ξ: потомки братьев/сестёр на два поколения ниже (ребёнок племянника или племянницы).'
+          definitionText: 'Прямые дети племянников и племянниц данного человека'
         }
       },
       {
@@ -125,10 +120,9 @@ async function run() {
           id: 11,
           alias: 'D3',
           cstType: CstType.TERM,
-          definitionFormal: 'D{ν∈X1 | ∃ξ∈X1 ν∈F5[ξ]}',
+          definitionFormal: 'I{ν | ξ:∈X1; ν:∈F5[ξ]}',
           term: 'внучатые племянники',
-          definitionText:
-            'Множество людей, являющихся внучатыми племянниками или племянницами хотя бы одного человека из X1 (объединение значений F5 по всем ξ).'
+          definitionText: 'Люди, являющиеся внучатыми племянниками или племянницами хотя бы одного человека'
         }
       },
       {
@@ -138,8 +132,7 @@ async function run() {
           cstType: CstType.STRUCTURED,
           definitionFormal: 'ℬ(X1)',
           term: 'мужчины',
-          convention:
-            'Пол устанавливается по документам; каждый индивид из X1 входит ровно в одно из множеств S2 или S3.'
+          convention: 'Пол человека устанавливается в соответствии с документами'
         }
       },
       {
@@ -149,8 +142,7 @@ async function run() {
           cstType: CstType.STRUCTURED,
           definitionFormal: 'ℬ(X1)',
           term: 'женщины',
-          convention:
-            'Пол устанавливается по документам; каждый индивид из X1 входит ровно в одно из множеств S2 или S3.'
+          convention: 'Пол человека устанавливается в соответствии с документами'
         }
       },
       {
@@ -160,7 +152,167 @@ async function run() {
           cstType: CstType.AXIOM,
           definitionFormal: 'S2∪S3=X1 & S2∩S3=∅',
           term: 'разбиение людей по полу',
-          definitionText: 'Каждый человек — мужчина или женщина, но не оба сразу: S2 и S3 образуют разбиение X1.'
+          definitionText: 'Каждый человек является либо мужчиной, либо женщиной'
+        }
+      },
+      {
+        draft: {
+          id: 41,
+          alias: 'S4',
+          cstType: CstType.STRUCTURED,
+          definitionFormal: 'ℬ(S2×S3)',
+          term: 'браки',
+          convention: 'Действующие браки'
+        }
+      },
+      {
+        draft: {
+          id: 42,
+          alias: 'D4',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(S4)',
+          term: 'мужья',
+          definitionText: 'Мужчины, состоящие в браке'
+        }
+      },
+      {
+        draft: {
+          id: 43,
+          alias: 'D5',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr2(S4)',
+          term: 'жены',
+          definitionText: 'Женщины, состоящие в браке'
+        }
+      },
+      {
+        draft: {
+          id: 44,
+          alias: 'D6',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr1(S4)∪Pr2(S4)',
+          term: 'супруги',
+          definitionText: 'Люди, состоящие в браке'
+        }
+      },
+      {
+        draft: {
+          id: 45,
+          alias: 'F31',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[σ∈ℬ(X1)] Pr1(Fi2[σ](S4))',
+          term: 'мужья группы людей',
+          definitionText: 'Мужья людей из данной группы людей'
+        }
+      },
+      {
+        draft: {
+          id: 46,
+          alias: 'F32',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[σ∈ℬ(X1)] Pr2(Fi1[σ](S4))',
+          term: 'жены группы людей',
+          definitionText: 'Жёны людей из данной группы людей'
+        }
+      },
+      {
+        draft: {
+          id: 47,
+          alias: 'F33',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[σ∈ℬ(X1)] F31[σ]∪F32[σ]',
+          term: 'супруги группы людей',
+          definitionText: 'Супруги людей из данной группы людей'
+        }
+      },
+      {
+        draft: {
+          id: 48,
+          alias: 'F34',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈D5] debool(F31[{α}])',
+          term: 'муж жены',
+          definitionText: ''
+        }
+      },
+      {
+        draft: {
+          id: 49,
+          alias: 'F35',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[α∈D4] debool(F32[{α}])',
+          term: 'жена мужа',
+          definitionText: ''
+        }
+      },
+      {
+        draft: {
+          id: 50,
+          alias: 'A4',
+          cstType: CstType.AXIOM,
+          definitionFormal: 'card(S4)=card(D4) & card(S4)=card(D5)',
+          term: 'единственность браков',
+          definitionText: 'Каждый человек может состоять только в одном браке'
+        }
+      },
+      {
+        draft: {
+          id: 51,
+          alias: 'D7',
+          cstType: CstType.TERM,
+          definitionFormal: 'D{ξ∈X1 | card(F33[{ξ}]\\{ξ})>1}',
+          term: 'люди в нескольких браках',
+          definitionText: 'Люди, у которых больше одного супруга'
+        }
+      },
+      {
+        draft: {
+          id: 55,
+          alias: 'D10',
+          cstType: CstType.TERM,
+          definitionFormal: 'D{ξ∈D2 | F33[F1[ξ]]=F1[ξ]}',
+          term: 'законные дети',
+          definitionText: 'Дети людей, родители которых состоят в браке'
+        }
+      },
+      {
+        draft: {
+          id: 56,
+          alias: 'D11',
+          cstType: CstType.TERM,
+          definitionFormal: 'D2\\D10',
+          term: 'бастарды',
+          definitionText: 'Дети людей, родители которых не состоят в браке'
+        }
+      },
+      {
+        draft: {
+          id: 54,
+          alias: 'D9',
+          cstType: CstType.TERM,
+          definitionFormal: 'I{(σ, γ) | σ:∈D4; γ:=F35[σ]}',
+          term: 'пары муж — жена',
+          definitionText: 'Множество пар, состоящих из мужа и его жены'
+        }
+      },
+      {
+        draft: {
+          id: 53,
+          alias: 'D8',
+          cstType: CstType.TERM,
+          definitionFormal: 'X1\\D2',
+          term: 'бездетные люди',
+          definitionText: 'Люди, не являющиеся детьми людей'
+        }
+      },
+      {
+        draft: {
+          id: 52,
+          alias: 'A5',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀ξ∈X1 ξ∉F2[ξ]',
+          term: 'ацикличность родства',
+          definitionText: 'Человек не может быть своим потомком'
         }
       },
       {
@@ -170,7 +322,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F1[ξ]∩S2',
           term: 'отцы данного человека',
-          definitionText: 'Родители ξ, являющиеся мужчинами.'
+          definitionText: ''
         }
       },
       {
@@ -180,7 +332,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F1[ξ]∩S3',
           term: 'матери данного человека',
-          definitionText: 'Родители ξ, являющиеся женщинами.'
+          definitionText: ''
         }
       },
       {
@@ -190,7 +342,7 @@ async function run() {
           cstType: CstType.AXIOM,
           definitionFormal: '∀ξ∈X1 (card(F7[ξ])≤1 & card(F8[ξ])≤1)',
           term: 'не более одного отца и одной матери',
-          definitionText: 'У каждого человека не более одного отца и не более одной матери.'
+          definitionText: 'У ребёнка людей может быть максимум один отец и одна мать'
         }
       },
       {
@@ -200,7 +352,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F3[ξ]∩S2',
           term: 'братья данного человека',
-          definitionText: 'Братья и сёстры ξ (F3), являющиеся мужчинами.'
+          definitionText: 'Братья и сёстры данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -210,7 +362,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F3[ξ]∩S3',
           term: 'сёстры данного человека',
-          definitionText: 'Братья и сёстры ξ (F3), являющиеся женщинами.'
+          definitionText: 'Братья и сёстры данного человека, являющиеся женщинами'
         }
       },
       {
@@ -220,7 +372,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{μ∈F3[ξ] | F1[ξ]=F1[μ]}',
           term: 'полнородные братья и сёстры',
-          definitionText: 'Сиблинги с полностью совпадающими множествами родителей.'
+          definitionText: 'Сиблинги данного человека, родители которых полностью совпадают с его родителями'
         }
       },
       {
@@ -230,7 +382,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F11[ξ]∩S2',
           term: 'полнородные братья',
-          definitionText: 'Полнородные сиблинги ξ, являющиеся мужчинами.'
+          definitionText: 'Полнородные сиблинги данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -240,7 +392,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F11[ξ]∩S3',
           term: 'полнородные сёстры',
-          definitionText: 'Полнородные сиблинги ξ, являющиеся женщинами.'
+          definitionText: 'Полнородные сиблинги данного человека, являющиеся женщинами'
         }
       },
       {
@@ -250,7 +402,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{μ∈F3[ξ] | F7[ξ]=F7[μ] & F8[ξ]≠F8[μ]}',
           term: 'единокровные братья и сёстры',
-          definitionText: 'Сиблинги с общим отцом и разными матерями.'
+          definitionText: 'Сиблинги, у которых общий отец, но разные матери'
         }
       },
       {
@@ -260,7 +412,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F14[ξ]∩S2',
           term: 'единокровные братья',
-          definitionText: 'Единокровные сиблинги ξ, являющиеся мужчинами.'
+          definitionText: 'Единокровные сиблинги данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -270,7 +422,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F14[ξ]∩S3',
           term: 'единокровные сёстры',
-          definitionText: 'Единокровные сиблинги ξ, являющиеся женщинами.'
+          definitionText: 'Единокровные сиблинги данного человека, являющиеся женщинами'
         }
       },
       {
@@ -280,7 +432,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{μ∈F3[ξ] | F7[ξ]≠F7[μ] & F8[ξ]=F8[μ]}',
           term: 'единоутробные братья и сёстры',
-          definitionText: 'Сиблинги с общей матерью и разными отцами.'
+          definitionText: 'Сиблинги, у которых общая мать, но разные отцы'
         }
       },
       {
@@ -290,7 +442,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F17[ξ]∩S2',
           term: 'единоутробные братья',
-          definitionText: 'Единоутробные сиблинги ξ, являющиеся мужчинами.'
+          definitionText: 'Единоутробные сиблинги данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -300,7 +452,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F17[ξ]∩S3',
           term: 'единоутробные сёстры',
-          definitionText: 'Единоутробные сиблинги ξ, являющиеся женщинами.'
+          definitionText: 'Единоутробные сиблинги данного человека, являющиеся женщинами'
         }
       },
       {
@@ -310,7 +462,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F6[{ξ}]∩S2',
           term: 'сыновья данного человека',
-          definitionText: 'Прямые дети ξ, являющиеся мужчинами.'
+          definitionText: 'Дети людей данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -320,7 +472,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F6[{ξ}]∩S3',
           term: 'дочери данного человека',
-          definitionText: 'Прямые дети ξ, являющиеся женщинами.'
+          definitionText: 'Дети людей данного человека, являющиеся женщинами'
         }
       },
       {
@@ -330,7 +482,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F6[F6[{ξ}]]∩S2',
           term: 'внуки данного человека',
-          definitionText: 'Внуки-мужчины: мужчины среди детей детей ξ.'
+          definitionText: 'Сыновья детей данного человека'
         }
       },
       {
@@ -338,9 +490,9 @@ async function run() {
           id: 33,
           alias: 'F23',
           cstType: CstType.FUNCTION,
-          definitionFormal: '[ξ∈X1] F6[F6[{ξ}]]∩S3',
+          definitionFormal: '[ξ∈X1] F6[F6[bool(ξ)]]∩S3',
           term: 'внучки данного человека',
-          definitionText: 'Внучки: женщины среди детей детей ξ.'
+          definitionText: 'Дочери детей данного человека'
         }
       },
       {
@@ -350,7 +502,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{μ∈X1 | ∃p∈F1[ξ] μ∈F7[p]}',
           term: 'дедушки данного человека',
-          definitionText: 'Отцы родителей ξ.'
+          definitionText: 'Отцы родителей данного человека'
         }
       },
       {
@@ -360,7 +512,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{μ∈X1 | ∃p∈F1[ξ] μ∈F8[p]}',
           term: 'бабушки данного человека',
-          definitionText: 'Матери родителей ξ.'
+          definitionText: 'Матери родителей данного человека'
         }
       },
       {
@@ -370,7 +522,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F4[ξ]∩S2',
           term: 'племянники данного человека (мужчины)',
-          definitionText: 'Племянники ξ (F4), являющиеся мужчинами.'
+          definitionText: 'Племянники данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -380,7 +532,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F4[ξ]∩S3',
           term: 'племянницы данного человека',
-          definitionText: 'Племянники ξ (F4), являющиеся женщинами.'
+          definitionText: 'Племянницы данного человека'
         }
       },
       {
@@ -390,7 +542,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] D{ν∈X1 | ∃p∈F1[ξ] ∃κ∈F3[p] ν∈F6[{κ}]}',
           term: 'двоюродные братья и сёстры',
-          definitionText: 'Дети братьев и сестёр родителей ξ.'
+          definitionText: 'Дети людей сиблингов родителей данного человека'
         }
       },
       {
@@ -400,7 +552,7 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F28[ξ]∩S2',
           term: 'двоюродные братья',
-          definitionText: 'Двоюродные сиблинги ξ, являющиеся мужчинами.'
+          definitionText: 'Двоюродные сиблинги данного человека, являющиеся мужчинами'
         }
       },
       {
@@ -410,7 +562,77 @@ async function run() {
           cstType: CstType.FUNCTION,
           definitionFormal: '[ξ∈X1] F28[ξ]∩S3',
           term: 'двоюродные сёстры',
-          definitionText: 'Двоюродные сиблинги ξ, являющиеся женщинами.'
+          definitionText: 'Двоюродные сиблинги данного человека, являющиеся женщинами'
+        }
+      },
+      {
+        draft: {
+          id: 57,
+          alias: 'D12',
+          cstType: CstType.TERM,
+          definitionFormal: 'S2∆S3',
+          term: 'люди',
+          definitionText: 'Совокупность мужчин и женщин как симметрическая разность разбиения по полу'
+        }
+      },
+      {
+        draft: {
+          id: 58,
+          alias: 'F36',
+          cstType: CstType.FUNCTION,
+          definitionFormal: '[ξ∈X1] red({F7[ξ], F8[ξ]})',
+          term: 'родители данного человека (через red)',
+          definitionText: 'Объединение множеств отца и матери данного человека'
+        }
+      },
+      {
+        draft: {
+          id: 59,
+          alias: 'D13',
+          cstType: CstType.TERM,
+          definitionFormal: 'Pr2,1(S1)',
+          term: 'пары ребёнок — родитель',
+          definitionText: 'Все отношения ребёнок — родитель как пары людей'
+        }
+      },
+      {
+        draft: {
+          id: 64,
+          alias: 'A6',
+          cstType: CstType.AXIOM,
+          definitionFormal: '(S2⊆X1 & S3⊆X1 & S2∩S3=∅) ⇔ S2∪S3=X1',
+          term: 'эквивалентность разбиения по полу',
+          definitionText: 'Мужчины и женщины образуют разбиение множества людей'
+        }
+      },
+      {
+        draft: {
+          id: 65,
+          alias: 'A7',
+          cstType: CstType.AXIOM,
+          definitionFormal: '∀ξ∈X1 (ξ∈S2 ∨ ξ∈S3)',
+          term: 'каждый человек — мужчина или женщина',
+          definitionText: ''
+        }
+      },
+      {
+        draft: {
+          id: 67,
+          alias: 'T1',
+          cstType: CstType.STATEMENT,
+          definitionFormal: '∀(μ,ν)∈S1 μ∉F2[ν]',
+          term: 'родитель не потомок ребёнка',
+          definitionText: 'В каждой паре родитель — ребёнок родитель не является потомком ребёнка'
+        }
+      },
+      {
+        draft: {
+          id: 69,
+          alias: 'T2',
+          cstType: CstType.STATEMENT,
+          definitionFormal: 'S2⊄S3',
+          term: 'не все мужчины — женщины',
+          definitionText: 'Множество мужчин не содержится в множестве женщин'
         }
       },
       {
@@ -420,7 +642,7 @@ async function run() {
           cstType: CstType.AXIOM,
           definitionFormal: 'card(X1)≤10',
           term: 'не более десяти человек',
-          definitionText: 'В предметной области не более десяти человек: мощность X1 не превышает 10.'
+          definitionText: 'В предметной области не более десяти человек'
         }
       }
     ];
@@ -446,13 +668,13 @@ async function run() {
     await client.call('commitStep', {
       sessionId: session.sessionId,
       message:
-        'КС «родственные отношения»: пол (S2/S3), отцы/матери, разновидности сиблингов, внуки, дедушки/бабушки, двоюродные'
+        'КС «родственные отношения»: браки, пол, сиблинги; ∆ ⊆ ⊂ ⊄ ∨ ⇒ ⇔ bool red Pr1,2 Fi1,2 pr1,2, упакованные кванторы'
     });
 
     const exported = await client.call<string>('exportSession', {
       sessionId: session.sessionId
     });
-    const outputPath = resolve(process.cwd(), 'examples', 'kinship-rsform-session.json');
+    const outputPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
     await writeFile(outputPath, exported, 'utf8');
     console.log(`Exported: ${outputPath}`);
   } finally {

package/examples/{build-kinship-rsmodel.ts → kinship/build-rsmodel.ts}

@@ -1,12 +1,19 @@
 import { readFile, writeFile } from 'node:fs/promises';
 import { resolve } from 'node:path';
 
-import { EvalStatus, RSToolWrapperClient } from '../src';
+import { TUPLE_ID } from '@rsconcept/domain';
 
-import { A1_ID, D3_ID, S2_ID, S3_ID } from './kinship/constants';
+import { EvalStatus, RSToolWrapperClient } from '../../src';
 
-/** Tuple marker in structured values. */
-const TUPLE_ID = -111;
+import {
+  A1_ID,
+  D3_ID,
+  DEFAULT_RSFORM_SESSION_PATH,
+  DEFAULT_RSMODEL_SESSION_PATH,
+  S2_ID,
+  S3_ID,
+  S4_ID
+} from './constants';
 
 /**
  * Minimal family so D3 (внучатые племянники) is non-empty:
@@ -37,6 +44,9 @@ const S1_VALUE = [
   [TUPLE_ID, 5, 6]
 ] as const;
 
+/** S4: браки (муж, жена) — Иван (0) и Мария (1). */
+const S4_VALUE = [[TUPLE_ID, 0, 1]] as const;
+
 /** Indices of men and women in the sample family (Иван, Пётр, Олег, Семён — м; остальные — ж). */
 const S2_VALUE = [0, 2, 4, 6] as const;
 const S3_VALUE = [1, 3, 5] as const;
@@ -48,7 +58,7 @@ async function run() {
 
   try {
     await client.waitUntilReady();
-    const kinshipPath = resolve(process.cwd(), 'examples', 'kinship-rsform-session.json');
+    const kinshipPath = resolve(process.cwd(), DEFAULT_RSFORM_SESSION_PATH);
     const kinshipJson = await readFile(kinshipPath, 'utf8');
 
     const imported = await client.call<{ sessionId: string }>('importSession', {
@@ -62,7 +72,8 @@ async function run() {
           { target: 1, value: X1_BINDING },
           { target: 2, value: S1_VALUE },
           { target: S2_ID, value: S2_VALUE },
-          { target: S3_ID, value: S3_VALUE }
+          { target: S3_ID, value: S3_VALUE },
+          { target: S4_ID, value: S4_VALUE }
         ]
       }
     });
@@ -111,7 +122,7 @@ async function run() {
     const exported = await client.call<string>('exportSession', {
       sessionId: imported.sessionId
     });
-    const outputPath = resolve(process.cwd(), 'examples', 'kinship-rsmodel-session.json');
+    const outputPath = resolve(process.cwd(), DEFAULT_RSMODEL_SESSION_PATH);
     await writeFile(outputPath, exported, 'utf8');
     console.log(`Exported: ${outputPath}`);
   } finally {