@rsconcept/rstool 0.10.2 → 1.0.0

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 } from '../../src';
 
 async function run() {
   const client = new RSToolWrapperClient({
@@ -12,60 +12,29 @@ 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', {
+    const result = await client.call<{ diagnostics: unknown[]; summary: { items: { alias: string }[] } }>(
+      'applySchemaPatch',
+      {
         sessionId: session.sessionId,
-        input
-      });
-      console.log(
-        `Added ${input.draft.alias}:`,
-        (result as { diagnostics?: unknown[] }).diagnostics?.length ?? 0,
-        'diagnostics'
-      );
+        items
+      }
+    );
+    for (const item of result.summary.items) {
+      console.log(`Added ${item.alias}:`, result.diagnostics?.length ?? 0, 'diagnostics');
     }
 
     await client.call('commitStep', {

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,33 +1,32 @@
 {
-  "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": "b86aa3b1-3a18-47e9-b025-4295ab9ba57c",
+    "alias": "",
+    "title": "",
+    "comment": "",
+    "createdAt": "2026-07-01T17:12:43.950Z",
+    "updatedAt": "2026-07-01T17:12:43.963Z",
     "revisions": [
       {
-        "revisionId": "14a15ffa-87c1-4ed7-bcf1-b8e6367fbd6d",
-        "at": "2026-05-27T07:22:35.880Z",
+        "revisionId": "49f6f60f-04d2-435a-8d56-e31de745c581",
+        "at": "2026-07-01T17:12:43.963Z",
         "message": "Built sample RSForm"
       }
     ],
     "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/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<{