@rsconcept/rstool 1.3.0 → 1.4.0

package/examples/diagnostics-utils.ts

@@ -0,0 +1,25 @@
+import { type Diagnostic, type RSToolWrapperClient } from '../src';
+
+export type ExampleDiagnostic = Diagnostic;
+
+export function formatDiagnostics(diags: ExampleDiagnostic[]): string {
+  return diags
+    .map(d => {
+      const alias = d.alias ?? (d.constituentId !== undefined ? '?' : '(scratch)');
+      return `[${d.kind}] ${alias} ${d.name} ${JSON.stringify(d.params ?? [])}`;
+    })
+    .join('\n');
+}
+
+export async function assertCleanDiagnostics(
+  client: RSToolWrapperClient,
+  sessionId: string,
+  _aliasById: Map<number, string>,
+  context: string
+): Promise<void> {
+  const diags = await client.call<ExampleDiagnostic[]>('listDiagnostics', { sessionId });
+  if (diags.length === 0) {
+    return;
+  }
+  throw new Error(`${context}: ${diags.length} diagnostic(s)\n${formatDiagnostics(diags)}`);
+}

package/examples/expression-bank/bank-constituents.ts

@@ -54,7 +54,7 @@ const rows: BankRow[] = [
   },
 
   // T2 — бинарные отношения двух множеств
-  { id: 5, alias: 'T2', cstType: CstType.STATEMENT, term: 'Бинарные отношения двух множеств', definitionFormal: '1=1' },
+  { id: 5, alias: 'T2', cstType: CstType.STATEMENT, term: 'Бинарные отношения двух множеств', definitionFormal: '2=2' },
   {
     id: 6,
     alias: 'F4',
@@ -148,7 +148,7 @@ const rows: BankRow[] = [
   },
 
   // T3 — бинарные отношения на множестве
-  { id: 19, alias: 'T3', cstType: CstType.STATEMENT, term: 'Бинарные отношения на множестве', definitionFormal: '1=1' },
+  { id: 19, alias: 'T3', cstType: CstType.STATEMENT, term: 'Бинарные отношения на множестве', definitionFormal: '3=3' },
   {
     id: 20,
     alias: 'F12',
@@ -252,7 +252,7 @@ const rows: BankRow[] = [
   },
 
   // T4 — цепочки
-  { id: 34, alias: 'T4', cstType: CstType.STATEMENT, term: 'Цепочки', definitionFormal: '1=1' },
+  { id: 34, alias: 'T4', cstType: CstType.STATEMENT, term: 'Цепочки', definitionFormal: '4=4' },
   {
     id: 35,
     alias: 'P19',
@@ -291,7 +291,7 @@ const rows: BankRow[] = [
   },
 
   // T5 — графы
-  { id: 40, alias: 'T5', cstType: CstType.STATEMENT, term: 'Графы', definitionFormal: '1=1' },
+  { id: 40, alias: 'T5', cstType: CstType.STATEMENT, term: 'Графы', definitionFormal: '5=5' },
   {
     id: 41,
     alias: 'P20',
@@ -319,7 +319,7 @@ const rows: BankRow[] = [
     alias: 'F23',
     cstType: CstType.FUNCTION,
     term: 'потребители',
-    definitionFormal: '[α∈R1, σ∈ℬ(R1×R1)] Pr2(Fi1[{α}](σ))'
+    definitionFormal: '[α∈R1, σ∈ℬ(R1×R1)] F15[α, σ]'
   },
   {
     id: 46,
@@ -367,7 +367,7 @@ const rows: BankRow[] = [
   },
 
   // T6 — целые числа
-  { id: 52, alias: 'T6', cstType: CstType.STATEMENT, term: 'Целые числа', definitionFormal: '1=1' },
+  { id: 52, alias: 'T6', cstType: CstType.STATEMENT, term: 'Целые числа', definitionFormal: '6=6' },
   {
     id: 53,
     alias: 'F31',
@@ -405,7 +405,7 @@ const rows: BankRow[] = [
   },
 
   // T7 — последовательности
-  { id: 58, alias: 'T7', cstType: CstType.STATEMENT, term: 'Последовательности', definitionFormal: '1=1' },
+  { id: 58, alias: 'T7', cstType: CstType.STATEMENT, term: 'Последовательности', definitionFormal: '7=7' },
   {
     id: 59,
     alias: 'P26',
@@ -448,7 +448,7 @@ const rows: BankRow[] = [
     alias: 'T8',
     cstType: CstType.STATEMENT,
     term: 'Групповые операции',
-    definitionFormal: '1=1',
+    definitionFormal: '8=8',
     convention: 'Условия для левых и правых свойств через конкатенацию'
   },
   {
@@ -545,7 +545,7 @@ const rows: BankRow[] = [
     alias: 'T9',
     cstType: CstType.STATEMENT,
     term: 'Кольца',
-    definitionFormal: '1=1',
+    definitionFormal: '9=9',
     convention: 'Операции по умолчанию — группоиды'
   },
   {
@@ -566,7 +566,7 @@ const rows: BankRow[] = [
   },
 
   // T10 — множества подмножеств
-  { id: 80, alias: 'T10', cstType: CstType.STATEMENT, term: 'Множества подмножеств', definitionFormal: '1=1' },
+  { id: 80, alias: 'T10', cstType: CstType.STATEMENT, term: 'Множества подмножеств', definitionFormal: '10=10' },
   {
     id: 81,
     alias: 'P46',

package/examples/expression-bank/build-rsform.ts

@@ -5,6 +5,7 @@ import { RSToolWrapperClient } from '../../src';
 
 import { BANK_DRAFTS } from './bank-constituents';
 import { DEFAULT_RSFORM_SESSION_PATH } from './constants';
+import { assertCleanDiagnostics } from '../diagnostics-utils';
 
 /**
  * Банк шаблонов выражений (Portal rsforms/42, alias БВ).
@@ -40,6 +41,13 @@ async function run() {
       throw new Error(`${failedAlias}: analysis failed`);
     }
 
+    await assertCleanDiagnostics(
+      client,
+      session.sessionId,
+      new Map(BANK_DRAFTS.map(entry => [entry.draft.id!, entry.draft.alias])),
+      'expression bank'
+    );
+
     await client.call('commitStep', {
       sessionId: session.sessionId,
       message: 'Банк выражений (rsforms/42): шаблоны T1–T10 на радикалах R1–R3'