@rsconcept/rstool 1.0.0 → 1.0.2

package/examples/build-chocolate-nim-rsform.ts

@@ -1,9 +1,7 @@
 import { writeFile } from 'node:fs/promises';
 import { resolve } from 'node:path';
 
-import { CstType, RSToolWrapperClient, type AgentConstituentaPatch } from '../src';
-
-type DraftBatch = { draft: AgentConstituentaPatch };
+import { CstType, RSToolWrapperClient, type AgentConstituentaPatch, type ApplySchemaPatchResult } from '../src';
 
 import { DEFAULT_RSFORM_SESSION_PATH } from './chocolate-nim/constants';
 
@@ -20,268 +18,211 @@ async function run() {
     await client.waitUntilReady();
     const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession');
 
-    const drafts: DraftBatch[] = [
+    const items: AgentConstituentaPatch[] = [
       {
-        draft: {
-          id: 1,
-          alias: 'S1',
-          cstType: CstType.STRUCTURED,
-          definitionFormal: 'Z×Z',
-          term: 'шоколадка',
-          convention: 'Первая проекция — ширина, вторая — длина'
-        }
+        id: 1,
+        alias: 'S1',
+        cstType: CstType.STRUCTURED,
+        definitionFormal: 'Z×Z',
+        term: 'шоколадка',
+        convention: 'Первая проекция — ширина, вторая — длина'
       },
       {
-        draft: {
-          id: 2,
-          alias: 'D1',
-          cstType: CstType.TERM,
-          definitionFormal: 'pr1(S1)',
-          term: 'ширина шоколадки'
-        }
+        id: 2,
+        alias: 'D1',
+        cstType: CstType.TERM,
+        definitionFormal: 'pr1(S1)',
+        term: 'ширина шоколадки'
       },
       {
-        draft: {
-          id: 3,
-          alias: 'D2',
-          cstType: CstType.TERM,
-          definitionFormal: 'pr2(S1)',
-          term: 'длина шоколадки'
-        }
+        id: 3,
+        alias: 'D2',
+        cstType: CstType.TERM,
+        definitionFormal: 'pr2(S1)',
+        term: 'длина шоколадки'
       },
       {
-        draft: {
-          id: 4,
-          alias: 'S2',
-          cstType: CstType.STRUCTURED,
-          definitionFormal: 'Z×Z',
-          term: 'отравленная долька',
-          convention: 'Координаты отравленной дольки: первая проекция по ширине, вторая — по длине'
-        }
+        id: 4,
+        alias: 'S2',
+        cstType: CstType.STRUCTURED,
+        definitionFormal: 'Z×Z',
+        term: 'отравленная долька',
+        convention: 'Координаты отравленной дольки: первая проекция по ширине, вторая — по длине'
       },
       {
-        draft: {
-          id: 5,
-          alias: 'D3',
-          cstType: CstType.TERM,
-          definitionFormal: 'pr1(S2)',
-          term: 'расположение отравленной дольки по ширине'
-        }
+        id: 5,
+        alias: 'D3',
+        cstType: CstType.TERM,
+        definitionFormal: 'pr1(S2)',
+        term: 'расположение отравленной дольки по ширине'
       },
       {
-        draft: {
-          id: 6,
-          alias: 'D4',
-          cstType: CstType.TERM,
-          definitionFormal: 'pr2(S2)',
-          term: 'расположение отравленной дольки по длине'
-        }
+        id: 6,
+        alias: 'D4',
+        cstType: CstType.TERM,
+        definitionFormal: 'pr2(S2)',
+        term: 'расположение отравленной дольки по длине'
       },
       {
-        draft: {
-          id: 7,
-          alias: 'A1',
-          cstType: CstType.AXIOM,
-          definitionFormal: '(1≤D3)&(D3≤D1)&(1≤D4)&(D4≤D2)',
-          term: 'отравленная долька в шоколадке',
-          definitionText: 'Координаты отравленной дольки лежат в пределах шоколадки'
-        }
+        id: 7,
+        alias: 'A1',
+        cstType: CstType.AXIOM,
+        definitionFormal: '(1≤D3)&(D3≤D1)&(1≤D4)&(D4≤D2)',
+        term: 'отравленная долька в шоколадке',
+        definitionText: 'Координаты отравленной дольки лежат в пределах шоколадки'
       },
       {
-        draft: {
-          id: 8,
-          alias: 'P1',
-          cstType: CstType.PREDICATE,
-          definitionFormal: '[α∈Z] R{ξ:=α | ξ≥2 | ξ-2}=0',
-          term: 'чётное?',
-          convention: 'Для малых аргументов — прямое вычитание двойки; для больших нужно двоичное представление'
-        }
+        id: 8,
+        alias: 'P1',
+        cstType: CstType.PREDICATE,
+        definitionFormal: '[α∈Z] R{ξ:=α | ξ≥2 | ξ-2}=0',
+        term: 'чётное?',
+        convention: 'Для малых аргументов — прямое вычитание двойки; для больших нужно двоичное представление'
       },
       {
-        draft: {
-          id: 9,
-          alias: 'F1',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[α∈Z, σ∈ℬ(Z×R1)] debool(Pr2(Fi1[{α}](σ)))',
-          term: 'значение элемента последовательности с данным номером',
-          definitionText: 'Значение пары с заданным номером в последовательности пар'
-        }
+        id: 9,
+        alias: 'F1',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[α∈Z, σ∈ℬ(Z×R1)] debool(Pr2(Fi1[{α}](σ)))',
+        term: 'значение элемента последовательности с данным номером',
+        definitionText: 'Значение пары с заданным номером в последовательности пар'
       },
       {
-        draft: {
-          id: 10,
-          alias: 'F2',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α≤ξ})',
-          term: 'максимум набора чисел'
-        }
+        id: 10,
+        alias: 'F2',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[σ∈ℬ(Z)] debool(D{ξ∈σ | ∀α∈σ α≤ξ})',
+        term: 'максимум набора чисел'
       },
       {
-        draft: {
-          id: 11,
-          alias: 'F4',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[σ∈ℬ(Z)] D{ξ∈σ | ∀α∈σ α≤ξ}',
-          term: 'верхние границы набора чисел',
-          definitionText: 'Множество элементов набора, не меньших всех остальных'
-        }
+        id: 11,
+        alias: 'F4',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[σ∈ℬ(Z)] D{ξ∈σ | ∀α∈σ α≤ξ}',
+        term: 'верхние границы набора чисел',
+        definitionText: 'Множество элементов набора, не меньших всех остальных'
       },
       {
-        draft: {
-          id: 12,
-          alias: 'F5',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[α∈Z, β∈Z] debool(I{(α,0) | α<β} ∪ I{(α-β,1) | α≥β})',
-          term: 'деление с остатком на степень двойки',
-          convention: 'Предполагается, что удвоенный делитель больше делимого'
-        }
+        id: 12,
+        alias: 'F5',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[α∈Z, β∈Z] debool(I{(α,0) | α<β} ∪ I{(α-β,1) | α≥β})',
+        term: 'деление с остатком на степень двойки',
+        convention: 'Предполагается, что удвоенный делитель больше делимого'
       },
       {
-        draft: {
-          id: 13,
-          alias: 'F6',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[α∈Z, β∈Z] pr1(F5[α, β])',
-          term: 'остаток'
-        }
+        id: 13,
+        alias: 'F6',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[α∈Z, β∈Z] pr1(F5[α, β])',
+        term: 'остаток'
       },
       {
-        draft: {
-          id: 14,
-          alias: 'F7',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[α∈Z, β∈Z] pr2(F5[α, β])',
-          term: 'целая часть'
-        }
+        id: 14,
+        alias: 'F7',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[α∈Z, β∈Z] pr2(F5[α, β])',
+        term: 'целая часть'
       },
       {
-        draft: {
-          id: 15,
-          alias: 'D5',
-          cstType: CstType.TERM,
-          definitionFormal: '{(0, D3-1), (1, D4-1), (2, D1-D3), (3, D2-D4)}',
-          term: 'шоколадка как кучки Ним',
-          definitionText: 'Четыре кучки камней после разреза по отравленной дольке: слева, сверху, справа и снизу'
-        }
+        id: 15,
+        alias: 'D5',
+        cstType: CstType.TERM,
+        definitionFormal: '{(0, D3-1), (1, D4-1), (2, D1-D3), (3, D2-D4)}',
+        term: 'шоколадка как кучки Ним',
+        definitionText: 'Четыре кучки камней после разреза по отравленной дольке: слева, сверху, справа и снизу'
       },
       {
-        draft: {
-          id: 16,
-          alias: 'D6',
-          cstType: CstType.TERM,
-          definitionFormal: 'card(D5)',
-          term: 'количество кучек'
-        }
+        id: 16,
+        alias: 'D6',
+        cstType: CstType.TERM,
+        definitionFormal: 'card(D5)',
+        term: 'количество кучек'
       },
       {
-        draft: {
-          id: 17,
-          alias: 'D7',
-          cstType: CstType.TERM,
-          definitionFormal: 'Pr1(D5)',
-          term: 'номера кучек'
-        }
+        id: 17,
+        alias: 'D7',
+        cstType: CstType.TERM,
+        definitionFormal: 'Pr1(D5)',
+        term: 'номера кучек'
       },
       {
-        draft: {
-          id: 18,
-          alias: 'D8',
-          cstType: CstType.TERM,
-          definitionFormal: 'Pr2(D5)',
-          term: 'размеры кучек'
-        }
+        id: 18,
+        alias: 'D8',
+        cstType: CstType.TERM,
+        definitionFormal: 'Pr2(D5)',
+        term: 'размеры кучек'
       },
       {
-        draft: {
-          id: 19,
-          alias: 'A2',
-          cstType: CstType.AXIOM,
-          definitionFormal: 'card(D5)=card(D7)',
-          term: 'однозначность количества камней в кучках',
-          definitionText: 'У каждой кучки ровно один номер'
-        }
+        id: 19,
+        alias: 'A2',
+        cstType: CstType.AXIOM,
+        definitionFormal: 'card(D5)=card(D7)',
+        term: 'однозначность количества камней в кучках',
+        definitionText: 'У каждой кучки ровно один номер'
       },
       {
-        draft: {
-          id: 20,
-          alias: 'A3',
-          cstType: CstType.AXIOM,
-          definitionFormal: '∀α∈D5 (pr1(α)<D6 & pr1(α)≥0)',
-          term: 'последовательная нумерация кучек',
-          definitionText: 'Номера кучек — целые от нуля до количества кучек минус один'
-        }
+        id: 20,
+        alias: 'A3',
+        cstType: CstType.AXIOM,
+        definitionFormal: '∀α∈D5 (pr1(α)<D6 & pr1(α)≥0)',
+        term: 'последовательная нумерация кучек',
+        definitionText: 'Номера кучек — целые от нуля до количества кучек минус один'
       },
       {
-        draft: {
-          id: 21,
-          alias: 'F8',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[α∈Z] F1[α,D5]',
-          term: 'количество камней в данной кучке'
-        }
+        id: 21,
+        alias: 'F8',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[α∈Z] F1[α,D5]',
+        term: 'количество камней в данной кучке'
       },
       {
-        draft: {
-          id: 22,
-          alias: 'D9',
-          cstType: CstType.TERM,
-          definitionFormal: 'Pr1(Fi2[{0}](D5))',
-          term: 'пустые кучки',
-          definitionText: 'Номера кучек с нулевым размером'
-        }
+        id: 22,
+        alias: 'D9',
+        cstType: CstType.TERM,
+        definitionFormal: 'Pr1(Fi2[{0}](D5))',
+        term: 'пустые кучки',
+        definitionText: 'Номера кучек с нулевым размером'
       },
       {
-        draft: {
-          id: 23,
-          alias: 'D10',
-          cstType: CstType.TERM,
-          definitionFormal: 'D7\\D9',
-          term: 'непустые кучки',
-          definitionText: 'Номера кучек с положительным размером'
-        }
+        id: 23,
+        alias: 'D10',
+        cstType: CstType.TERM,
+        definitionFormal: 'D7\\D9',
+        term: 'непустые кучки',
+        definitionText: 'Номера кучек с положительным размером'
       },
       {
-        draft: {
-          id: 24,
-          alias: 'T1',
-          cstType: CstType.STATEMENT,
-          definitionFormal: 'D8={0}',
-          term: 'игра закончена',
-          definitionText: 'Во всех кучках не осталось камней'
-        }
+        id: 24,
+        alias: 'T1',
+        cstType: CstType.STATEMENT,
+        definitionFormal: 'D8={0}',
+        term: 'игра закончена',
+        definitionText: 'Во всех кучках не осталось камней'
       },
       {
-        draft: {
-          id: 25,
-          alias: 'T2',
-          cstType: CstType.STATEMENT,
-          definitionFormal: 'card(D10)=1',
-          term: 'существует выигрышный ход',
-          definitionText: 'Осталась ровно одна непустая кучка'
-        }
+        id: 25,
+        alias: 'T2',
+        cstType: CstType.STATEMENT,
+        definitionFormal: 'card(D10)=1',
+        term: 'существует выигрышный ход',
+        definitionText: 'Осталась ровно одна непустая кучка'
       },
       {
-        draft: {
-          id: 26,
-          alias: 'F10',
-          cstType: CstType.FUNCTION,
-          definitionFormal: '[σ∈D7×Z] debool(I{ pr2(σ)*D2 | P1[pr1(σ)]} ∪ I{ pr2(σ)*D1 | ¬P1[pr1(σ)]})',
-          term: 'оценка хода Ним',
-          definitionText:
-            'Стоимость хода в дольках шоколадки: для чётного номера кучки — размер, умноженный на длину, иначе — на ширину'
-        }
+        id: 26,
+        alias: 'F10',
+        cstType: CstType.FUNCTION,
+        definitionFormal: '[σ∈D7×Z] debool(I{ pr2(σ)*D2 | P1[pr1(σ)]} ∪ I{ pr2(σ)*D1 | ¬P1[pr1(σ)]})',
+        term: 'оценка хода Ним',
+        definitionText:
+          'Стоимость хода в дольках шоколадки: для чётного номера кучки — размер, умноженный на длину, иначе — на ширину'
       }
     ];
 
-    const patch = await client.call<{
-      success: boolean;
-      diagnostics: unknown[];
-      failed: Array<{ draft: { alias: string }; diagnostics: unknown[] }>;
-      summary: { items: Array<{ alias: string; analysisSuccess: boolean }> };
-    }>('applySchemaPatch', {
+    const patch = await client.call<ApplySchemaPatchResult>('applySchemaPatch', {
       sessionId: session.sessionId,
       mode: 'atomic',
-      items: drafts.map(entry => entry.draft)
+      items
     });
 
     for (const item of patch.summary.items) {

package/examples/kinship/build-rsmodel.ts

@@ -10,9 +10,11 @@ import {
   D3_ID,
   DEFAULT_RSFORM_SESSION_PATH,
   DEFAULT_RSMODEL_SESSION_PATH,
+  S1_ID,
   S2_ID,
   S3_ID,
-  S4_ID
+  S4_ID,
+  X1_ID
 } from './constants';
 
 /**
@@ -68,8 +70,8 @@ async function run() {
     await client.call('setModelValues', {
       sessionId: imported.sessionId,
       set: [
-        { target: 1, value: X1_BINDING },
-        { target: 2, value: S1_VALUE },
+        { target: X1_ID, value: X1_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 }

package/examples/sample/build-rsform.ts

@@ -1,7 +1,7 @@
 import { writeFile } from 'node:fs/promises';
 import { resolve } from 'node:path';
 
-import { CstType, RSToolWrapperClient, type AgentConstituentaPatch } from '../../src';
+import { CstType, RSToolWrapperClient, type AgentConstituentaPatch, type ApplySchemaPatchResult } from '../../src';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -26,16 +26,14 @@ async function run() {
       { id: 5, alias: 'A1', cstType: CstType.AXIOM, definitionFormal: '1=1' }
     ];
 
-    const result = await client.call<{ diagnostics: unknown[]; summary: { items: { alias: string }[] } }>(
-      'applySchemaPatch',
-      {
-        sessionId: session.sessionId,
-        items
-      }
-    );
+    const result = await client.call<ApplySchemaPatchResult>('applySchemaPatch', {
+      sessionId: session.sessionId,
+      items
+    });
     for (const item of result.summary.items) {
-      console.log(`Added ${item.alias}:`, result.diagnostics?.length ?? 0, 'diagnostics');
+      console.log(`Added ${item.alias}`);
     }
+    console.log(`Patch diagnostics: ${result.diagnostics.length}`);
 
     await client.call('commitStep', {
       sessionId: session.sessionId,

package/examples/sample/rsform-session.json

@@ -1,32 +1,36 @@
 {
   "contractVersion": "2.0.0",
   "state": {
-    "sessionId": "b86aa3b1-3a18-47e9-b025-4295ab9ba57c",
+    "sessionId": "a03eec4c-6519-4088-9d8c-0a9c11611583",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-07-01T17:12:43.950Z",
-    "updatedAt": "2026-07-01T17:12:43.963Z",
+    "createdAt": "2026-07-01T21:33:21.321Z",
+    "updatedAt": "2026-07-01T21:33:21.332Z",
     "revisions": [
       {
-        "revisionId": "49f6f60f-04d2-435a-8d56-e31de745c581",
-        "at": "2026-07-01T17:12:43.963Z",
+        "revisionId": "4ec113d2-1d28-4bac-bed8-6a593bb6b0e2",
+        "at": "2026-07-01T21:33:21.332Z",
         "message": "Built sample RSForm"
       }
     ],
     "items": [
       {
-        "id": 5,
-        "alias": "A1",
-        "cstType": "axiom",
-        "definitionFormal": "1=1",
+        "id": 1,
+        "alias": "X1",
+        "cstType": "basic",
+        "definitionFormal": "",
         "term": "",
         "definitionText": "",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 6
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
           },
           "valueClass": "value",
           "diagnostics": []
@@ -56,27 +60,6 @@
           "diagnostics": []
         }
       },
-      {
-        "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": 3,
         "alias": "S1",
@@ -127,6 +110,23 @@
           "valueClass": "value",
           "diagnostics": []
         }
+      },
+      {
+        "id": 5,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "1=1",
+        "term": "",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
       }
     ],
     "model": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.0.0",
+  "version": "1.0.2",
   "description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract.",
   "license": "MIT",
   "author": "IRBorisov",
@@ -54,6 +54,7 @@
     "build": "tsdown",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "test": "vitest run",
+    "test:coverage": "vitest run --coverage",
     "wrapper": "tsx src/wrapper/stdio-wrapper.ts",
     "example:client": "tsx examples/agent-client.ts",
     "example:build-schema": "tsx examples/sample/build-rsform.ts",
@@ -70,12 +71,13 @@
     "prepublishOnly": "npm run build"
   },
   "dependencies": {
-    "@rsconcept/domain": "^1.6.1"
+    "@rsconcept/domain": "^1.7.4"
   },
   "devDependencies": {
-    "@types/node": "^26.0.1",
+    "@types/node": "^26.1.0",
+    "@vitest/coverage-v8": "^4.1.9",
     "tsdown": "^0.22.3",
-    "tsx": "^4.22.4",
+    "tsx": "^4.22.5",
     "typescript": "^6.0.3",
     "vitest": "^4.1.9"
   },

package/src/mappers/portal-adapter.ts

@@ -1,8 +1,15 @@
 import { type ConstituentaDraft } from '../models/constituenta';
-import { type PortalRsformDetails, type PortalSchemaImportData, portalItemToDraft } from '../models/portal-json';
+import {
+  type PortalImportMetadata,
+  type PortalRsformDetails,
+  type PortalSchemaImportData,
+  portalItemToDraft
+} from '../models/portal-json';
 import { type SessionState } from '../models/session';
 
-export function portalSchemaToSessionSeed(data: PortalSchemaImportData): Partial<SessionState> {
+type PortalSessionSeedInput = Partial<Pick<PortalImportMetadata, 'alias' | 'title' | 'description'>>;
+
+function portalMetadataToSessionSeed(data: PortalSessionSeedInput): Partial<SessionState> {
   return {
     alias: data.alias ?? '',
     title: data.title ?? '',
@@ -11,13 +18,12 @@ export function portalSchemaToSessionSeed(data: PortalSchemaImportData): Partial
   };
 }
 
+export function portalSchemaToSessionSeed(data: PortalSchemaImportData): Partial<SessionState> {
+  return portalMetadataToSessionSeed(data);
+}
+
 export function portalDetailsToSessionSeed(data: PortalRsformDetails): Partial<SessionState> {
-  return {
-    alias: data.alias ?? '',
-    title: data.title ?? '',
-    comment: data.description ?? '',
-    items: []
-  };
+  return portalMetadataToSessionSeed(data);
 }
 
 export function portalItemsToDrafts(