@rsconcept/rstool 0.10.3 → 1.0.1

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 AddOrUpdateConstituentaInput } from '../../src';
+import { CstType, RSToolWrapperClient, type AgentConstituentaPatch, type ApplySchemaPatchResult } from '../../src';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -12,61 +12,28 @@ async function run() {
     await client.waitUntilReady();
     const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession');
 
-    const drafts: AddOrUpdateConstituentaInput[] = [
+    const items: AgentConstituentaPatch[] = [
+      { id: 1, alias: 'X1', cstType: CstType.BASE, definitionFormal: '' },
+      { id: 2, alias: 'C1', cstType: CstType.CONSTANT, definitionFormal: '' },
       {
-        draft: {
-          id: 1,
-          alias: 'X1',
-          cstType: CstType.BASE,
-          definitionFormal: ''
-        }
+        id: 3,
+        alias: 'S1',
+        cstType: CstType.STRUCTURED,
+        definitionFormal: 'ℬ(X1×X1)',
+        convention: 'Pairs (parent, child) over X1.'
       },
-      {
-        draft: {
-          id: 2,
-          alias: 'C1',
-          cstType: CstType.CONSTANT,
-          definitionFormal: ''
-        }
-      },
-      {
-        draft: {
-          id: 3,
-          alias: 'S1',
-          cstType: CstType.STRUCTURED,
-          definitionFormal: 'ℬ(X1×X1)',
-          convention: 'Pairs (parent, child) over X1.'
-        }
-      },
-      {
-        draft: {
-          id: 4,
-          alias: 'D1',
-          cstType: CstType.TERM,
-          definitionFormal: 'Pr1(S1)'
-        }
-      },
-      {
-        draft: {
-          id: 5,
-          alias: 'A1',
-          cstType: CstType.AXIOM,
-          definitionFormal: '1=1'
-        }
-      }
+      { id: 4, alias: 'D1', cstType: CstType.TERM, definitionFormal: 'Pr1(S1)' },
+      { id: 5, alias: 'A1', cstType: CstType.AXIOM, definitionFormal: '1=1' }
     ];
 
-    for (const input of drafts) {
-      const result = await client.call('addOrUpdateConstituenta', {
-        sessionId: session.sessionId,
-        input
-      });
-      console.log(
-        `Added ${input.draft.alias}:`,
-        (result as { diagnostics?: unknown[] }).diagnostics?.length ?? 0,
-        'diagnostics'
-      );
+    const result = await client.call<ApplySchemaPatchResult>('applySchemaPatch', {
+      sessionId: session.sessionId,
+      items
+    });
+    for (const item of result.summary.items) {
+      console.log(`Added ${item.alias}`);
     }
+    console.log(`Patch diagnostics: ${result.diagnostics.length}`);
 
     await client.call('commitStep', {
       sessionId: session.sessionId,

package/examples/sample/build-rsmodel.ts

@@ -3,7 +3,7 @@ import { resolve } from 'node:path';
 
 import { TUPLE_ID } from '@rsconcept/domain';
 
-import { CstType, RSToolWrapperClient, type AddOrUpdateConstituentaInput } from '../../src';
+import { CstType, RSToolWrapperClient, type AgentConstituentaPatch } from '../../src';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -14,63 +14,44 @@ async function run() {
     await client.waitUntilReady();
     const session = await client.call<{ sessionId: string; contractVersion: string }>('createSession');
 
-    const drafts: AddOrUpdateConstituentaInput[] = [
+    const items: AgentConstituentaPatch[] = [
+      { id: 1, alias: 'X1', cstType: CstType.BASE, definitionFormal: '' },
+      { id: 2, alias: 'C1', cstType: CstType.CONSTANT, definitionFormal: '' },
       {
-        draft: { id: 1, alias: 'X1', cstType: CstType.BASE, definitionFormal: '' }
+        id: 3,
+        alias: 'S1',
+        cstType: CstType.STRUCTURED,
+        definitionFormal: 'ℬ(X1×X1)',
+        convention: 'Pairs (parent, child) over X1.'
       },
-      {
-        draft: { id: 2, alias: 'C1', cstType: CstType.CONSTANT, definitionFormal: '' }
-      },
-      {
-        draft: {
-          id: 3,
-          alias: 'S1',
-          cstType: CstType.STRUCTURED,
-          definitionFormal: 'ℬ(X1×X1)',
-          convention: 'Pairs (parent, child) over X1.'
-        }
-      },
-      {
-        draft: { id: 4, alias: 'D1', cstType: CstType.TERM, definitionFormal: 'Pr1(S1)' }
-      },
-      {
-        draft: { id: 5, alias: 'A1', cstType: CstType.AXIOM, definitionFormal: '1=1' }
-      }
+      { id: 4, alias: 'D1', cstType: CstType.TERM, definitionFormal: 'Pr1(S1)' },
+      { id: 5, alias: 'A1', cstType: CstType.AXIOM, definitionFormal: '1=1' }
     ];
 
-    for (const input of drafts) {
-      const result = await client.call('addOrUpdateConstituenta', {
-        sessionId: session.sessionId,
-        input
-      });
-      console.log(
-        `Added ${input.draft.alias}:`,
-        (result as { diagnostics?: unknown[] }).diagnostics?.length ?? 0,
-        'diagnostics'
-      );
-    }
+    await client.call('applySchemaPatch', {
+      sessionId: session.sessionId,
+      items
+    });
 
-    const model = await client.call('setConstituentaValues', {
+    const model = await client.call('setModelValues', {
       sessionId: session.sessionId,
-      input: {
-        items: [
-          { target: 1, value: { 0: 'alice', 1: 'bob' } },
-          { target: 2, value: { 0: 'zero', 1: 'one', 2: 'two' } },
-          { target: 3, value: [[TUPLE_ID, 0, 1]] }
-        ]
-      }
+      set: [
+        { target: 1, value: { 0: 'alice', 1: 'bob' } },
+        { target: 2, value: { 0: 'zero', 1: 'one', 2: 'two' } },
+        { target: 3, value: [[TUPLE_ID, 0, 1]] }
+      ]
     });
     console.log('Model values set:', model);
 
-    const d1Eval = await client.call('evaluateConstituenta', {
+    const d1Eval = await client.call('evaluate', {
       sessionId: session.sessionId,
-      input: { constituentId: 4 }
+      constituentId: 4
     });
     console.log('D1 (Pr1(S1)) evaluation:', d1Eval);
 
-    const a1Eval = await client.call('evaluateConstituenta', {
+    const a1Eval = await client.call('evaluate', {
       sessionId: session.sessionId,
-      input: { constituentId: 5 }
+      constituentId: 5
     });
     console.log('A1 (1=1) evaluation:', a1Eval);
 

package/examples/sample/rsform-session.json

@@ -1,13 +1,16 @@
 {
-  "contractVersion": "1.3.0",
+  "contractVersion": "2.0.0",
   "state": {
-    "sessionId": "2d99e61f-79aa-471f-aaed-6965538e6fc8",
-    "createdAt": "2026-05-27T07:22:35.861Z",
-    "updatedAt": "2026-05-27T07:22:35.880Z",
+    "sessionId": "a03eec4c-6519-4088-9d8c-0a9c11611583",
+    "alias": "",
+    "title": "",
+    "comment": "",
+    "createdAt": "2026-07-01T21:33:21.321Z",
+    "updatedAt": "2026-07-01T21:33:21.332Z",
     "revisions": [
       {
-        "revisionId": "14a15ffa-87c1-4ed7-bcf1-b8e6367fbd6d",
-        "at": "2026-05-27T07:22:35.880Z",
+        "revisionId": "4ec113d2-1d28-4bac-bed8-6a593bb6b0e2",
+        "at": "2026-07-01T21:33:21.332Z",
         "message": "Built sample RSForm"
       }
     ],
@@ -62,9 +65,9 @@
         "alias": "S1",
         "cstType": "structure",
         "definitionFormal": "ℬ(X1×X1)",
-        "convention": "Pairs (parent, child) over X1.",
         "term": "",
         "definitionText": "",
+        "convention": "Pairs (parent, child) over X1.",
         "analysis": {
           "success": true,
           "type": {

package/examples/sample/rsmodel-session.json

@@ -1,33 +1,32 @@
 {
-  "contractVersion": "1.3.0",
+  "contractVersion": "2.0.0",
   "state": {
-    "sessionId": "3026929f-c091-4bed-8fb7-fffd913c49bd",
-    "createdAt": "2026-05-27T07:22:37.637Z",
-    "updatedAt": "2026-05-27T07:22:37.665Z",
+    "sessionId": "4de6414b-d6a7-45c9-b950-2e622e0caa0e",
+    "alias": "",
+    "title": "",
+    "comment": "",
+    "createdAt": "2026-07-01T17:13:04.299Z",
+    "updatedAt": "2026-07-01T17:13:04.322Z",
     "revisions": [
       {
-        "revisionId": "af453320-14f6-4ea8-abd2-f03201cec00d",
-        "at": "2026-05-27T07:22:37.665Z",
+        "revisionId": "9a11d6ff-a181-4680-b706-1507d776c5ac",
+        "at": "2026-07-01T17:13:04.322Z",
         "message": "Built sample RSModel"
       }
     ],
     "items": [
       {
-        "id": 1,
-        "alias": "X1",
-        "cstType": "basic",
-        "definitionFormal": "",
+        "id": 5,
+        "alias": "A1",
+        "cstType": "axiom",
+        "definitionFormal": "1=1",
         "term": "",
         "definitionText": "",
         "convention": "",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 3,
-              "baseID": "X1"
-            }
+            "typeID": 6
           },
           "valueClass": "value",
           "diagnostics": []
@@ -57,14 +56,35 @@
           "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",
         "cstType": "structure",
         "definitionFormal": "ℬ(X1×X1)",
-        "convention": "Pairs (parent, child) over X1.",
         "term": "",
         "definitionText": "",
+        "convention": "Pairs (parent, child) over X1.",
         "analysis": {
           "success": true,
           "type": {
@@ -107,23 +127,6 @@
           "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/examples/template-apply/build-rsform.ts

@@ -3,7 +3,9 @@ import { resolve } from 'node:path';
 
 import { TUPLE_ID } from '@rsconcept/domain';
 
-import { CstType, EvalStatus, RSToolWrapperClient, type AddOrUpdateConstituentaInput } from '../../src';
+import { CstType, EvalStatus, RSToolWrapperClient, type AgentConstituentaPatch } from '../../src';
+
+type DraftBatch = { draft: AgentConstituentaPatch };
 
 import {
   D1_ID,
@@ -42,7 +44,7 @@ const S2_VALUE = [
 async function buildSchema(client: RSToolWrapperClient): Promise<string> {
   const session = await client.call<{ sessionId: string }>('createSession');
 
-  const drafts: AddOrUpdateConstituentaInput[] = [
+  const drafts: DraftBatch[] = [
     {
       draft: {
         id: T1_ID,
@@ -144,18 +146,21 @@ async function buildSchema(client: RSToolWrapperClient): Promise<string> {
     }
   ];
 
-  for (const input of drafts) {
-    const result = await client.call<{
-      state: { analysis: { success: boolean } };
-      diagnostics: unknown[];
-    }>('addOrUpdateConstituenta', {
-      sessionId: session.sessionId,
-      input
-    });
-    if (!result.state.analysis.success) {
-      throw new Error(`${input.draft.alias}: analysis failed`);
-    }
-    console.log(`${input.draft.alias}: OK`);
+  const patch = await client.call<{
+    success: boolean;
+    summary: { items: Array<{ alias: string; analysisSuccess: boolean }> };
+    failed: Array<{ draft: { alias: string } }>;
+  }>('applySchemaPatch', {
+    sessionId: session.sessionId,
+    mode: 'atomic',
+    items: drafts.map(entry => entry.draft)
+  });
+  if (!patch.success) {
+    const failedAlias = patch.failed[0]?.draft.alias ?? 'unknown';
+    throw new Error(`${failedAlias}: analysis failed`);
+  }
+  for (const item of patch.summary.items) {
+    console.log(`${item.alias}: OK`);
   }
 
   await client.call('commitStep', {
@@ -167,20 +172,18 @@ async function buildSchema(client: RSToolWrapperClient): Promise<string> {
 }
 
 async function verifyModel(client: RSToolWrapperClient, schemaJson: string) {
-  const imported = await client.call<{ sessionId: string }>('importSession', {
+  const imported = await client.call<{ sessionId: string }>('importData', {
     payload: schemaJson
   });
 
-  await client.call('setConstituentaValues', {
+  await client.call('setModelValues', {
     sessionId: imported.sessionId,
-    input: {
-      items: [
-        { target: X1_ID, value: X1_BINDING },
-        { target: X2_ID, value: X2_BINDING },
-        { target: S1_ID, value: S1_VALUE },
-        { target: S2_ID, value: S2_VALUE }
-      ]
-    }
+    set: [
+      { target: X1_ID, value: X1_BINDING },
+      { target: X2_ID, value: X2_BINDING },
+      { target: S1_ID, value: S1_VALUE },
+      { target: S2_ID, value: S2_VALUE }
+    ]
   });
 
   const recalculated = await client.call<{

package/examples/template-apply/rsform-session.json

@@ -1,43 +1,26 @@
 {
-  "contractVersion": "1.4.0",
+  "contractVersion": "2.0.0",
   "state": {
-    "sessionId": "04678669-0343-4a1c-8238-3f0de2fc12f7",
+    "sessionId": "b72f75c0-4f17-4bef-9ff3-913ea16191db",
     "alias": "",
     "title": "",
     "comment": "",
-    "createdAt": "2026-06-22T11:29:09.607Z",
-    "updatedAt": "2026-06-22T11:29:09.628Z",
+    "createdAt": "2026-07-01T17:12:54.696Z",
+    "updatedAt": "2026-07-01T17:12:54.714Z",
     "revisions": [
       {
-        "revisionId": "b577a24d-20ff-4056-992e-7662cb2e56cf",
-        "at": "2026-06-22T11:29:09.628Z",
+        "revisionId": "e85ad551-0aa0-42d9-b55d-01719aed6533",
+        "at": "2026-07-01T17:12:54.714Z",
         "message": "Применение шаблонов БВ: сотрудники, проекты, F6/F9/F20/P5"
       }
     ],
     "items": [
       {
-        "id": 1,
-        "alias": "T1",
-        "cstType": "statement",
-        "definitionFormal": "1=1",
-        "term": "Применение шаблонов банка выражений",
-        "convention": "Подстановка радикалов БВ: R1→X1, R2→X2. Отношение σ→S1 или S2. Примеры: БВ F6→F_IMAGE, БВ F20→F_SOURCES, БВ P5→P_FUNCTION",
-        "definitionText": "",
-        "analysis": {
-          "success": true,
-          "type": {
-            "typeID": 6
-          },
-          "valueClass": "value",
-          "diagnostics": []
-        }
-      },
-      {
-        "id": 2,
-        "alias": "X1",
+        "id": 3,
+        "alias": "X2",
         "cstType": "basic",
         "definitionFormal": "",
-        "term": "сотрудники",
+        "term": "проекты",
         "definitionText": "",
         "convention": "",
         "analysis": {
@@ -46,7 +29,7 @@
             "typeID": 5,
             "base": {
               "typeID": 3,
-              "baseID": "X1"
+              "baseID": "X2"
             }
           },
           "valueClass": "value",
@@ -54,11 +37,11 @@
         }
       },
       {
-        "id": 3,
-        "alias": "X2",
+        "id": 2,
+        "alias": "X1",
         "cstType": "basic",
         "definitionFormal": "",
-        "term": "проекты",
+        "term": "сотрудники",
         "definitionText": "",
         "convention": "",
         "analysis": {
@@ -67,7 +50,7 @@
             "typeID": 5,
             "base": {
               "typeID": 3,
-              "baseID": "X2"
+              "baseID": "X1"
             }
           },
           "valueClass": "value",
@@ -80,8 +63,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1×X2)",
         "term": "назначение на проект",
-        "convention": "σ в шаблонах БВ для бинарных отношений двух множеств",
         "definitionText": "",
+        "convention": "σ в шаблонах БВ для бинарных отношений двух множеств",
         "analysis": {
           "success": true,
           "type": {
@@ -110,8 +93,8 @@
         "cstType": "structure",
         "definitionFormal": "ℬ(X1×X1)",
         "term": "подчинённость",
-        "convention": "σ в шаблонах БВ для бинарных отношений на одном множестве",
         "definitionText": "",
+        "convention": "σ в шаблонах БВ для бинарных отношений на одном множестве",
         "analysis": {
           "success": true,
           "type": {
@@ -134,14 +117,35 @@
           "diagnostics": []
         }
       },
+      {
+        "id": 10,
+        "alias": "D2",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S2) \\ Pr2(S2)",
+        "term": "глава иерархии",
+        "definitionText": "",
+        "convention": "БВ F20: применение к S2 (развёрнуто в D2, т.к. вызов F# в терме не анализируется)",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
       {
         "id": 6,
         "alias": "F_IMAGE",
         "cstType": "function",
         "definitionFormal": "[α∈X1, σ∈ℬ(X1×X2)] Pr2(Fi1[{α}](σ))",
         "term": "проекты сотрудника",
-        "convention": "БВ F6: R1→X1, R2→X2",
         "definitionText": "",
+        "convention": "БВ F6: R1→X1, R2→X2",
         "analysis": {
           "success": true,
           "type": {
@@ -192,8 +196,8 @@
         "cstType": "function",
         "definitionFormal": "[σ∈ℬ(X1×X1)] Pr1(σ) \\ Pr2(σ)",
         "term": "вершины без предшественников",
-        "convention": "БВ F20 (истоки графа подчинённости)",
         "definitionText": "",
+        "convention": "БВ F20 (истоки графа подчинённости)",
         "analysis": {
           "success": true,
           "type": {
@@ -237,8 +241,8 @@
         "cstType": "predicate",
         "definitionFormal": "[α∈ℬ(X1), σ∈ℬ(X1×X2)] card(Pr1(σ)) = card(σ) & Pr1(σ) = α",
         "term": "тотальная функция X1→X2",
-        "convention": "БВ P5",
         "definitionText": "",
+        "convention": "БВ P5",
         "analysis": {
           "success": true,
           "type": {
@@ -288,8 +292,8 @@
         "cstType": "term",
         "definitionFormal": "Pr2(Fi1[X1](S1))",
         "term": "все назначенные проекты",
-        "convention": "БВ F9: образ множества X1 по S1",
         "definitionText": "",
+        "convention": "БВ F9: образ множества X1 по S1",
         "analysis": {
           "success": true,
           "type": {
@@ -304,21 +308,17 @@
         }
       },
       {
-        "id": 10,
-        "alias": "D2",
-        "cstType": "term",
-        "definitionFormal": "Pr1(S2) \\ Pr2(S2)",
-        "term": "глава иерархии",
-        "convention": "БВ F20: применение к S2 (развёрнуто в D2, т.к. вызов F# в терме не анализируется)",
+        "id": 1,
+        "alias": "T1",
+        "cstType": "statement",
+        "definitionFormal": "1=1",
+        "term": "Применение шаблонов банка выражений",
         "definitionText": "",
+        "convention": "Подстановка радикалов БВ: R1→X1, R2→X2. Отношение σ→S1 или S2. Примеры: БВ F6→F_IMAGE, БВ F20→F_SOURCES, БВ P5→P_FUNCTION",
         "analysis": {
           "success": true,
           "type": {
-            "typeID": 5,
-            "base": {
-              "typeID": 3,
-              "baseID": "X1"
-            }
+            "typeID": 6
           },
           "valueClass": "value",
           "diagnostics": []

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "0.10.3",
-  "description": "Agent-facing library for incremental RSForm construction, RSLang analysis, diagnostics, modeling, and evaluation. Wraps @rsconcept/domain with a deterministic session contract and stdio wrapper.",
+  "version": "1.0.1",
+  "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",
   "repository": {
@@ -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",
@@ -74,6 +75,7 @@
   },
   "devDependencies": {
     "@types/node": "^26.0.1",
+    "@vitest/coverage-v8": "^4.1.9",
     "tsdown": "^0.22.3",
     "tsx": "^4.22.4",
     "typescript": "^6.0.3",