@rsconcept/rstool 1.2.2 → 1.4.0

package/skills/rstool-helper/GUIDE.md

@@ -27,6 +27,7 @@
 - API, методы, stdio: [REFERENCE.md](REFERENCE.md).
 - Примеры: [EXAMPLES.md](EXAMPLES.md).
 - Термины предметной области: [../../docs/DOMAIN.md](../../docs/DOMAIN.md).
+- **`X#` / `C#` / `Z`:** [../../docs/BASE-SELECTION.md](../../docs/BASE-SELECTION.md) — когда какое основание вводить.
 - Концептуализация, создание схемы: [../../docs/CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 - Конституенты и валидация: [../../docs/CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
 - Синтаксис родов структур: [../../docs/SYNTAX.md](../../docs/SYNTAX.md).
@@ -45,7 +46,7 @@
 Когда схема уже есть и нужны точечные правки, новые конституенты или проверка формул.
 
 1. Продолжи текущую сессию или вызови `ensureSession`; большинство методов создают сессию лениво.
-2. Развивай схему через `applySchemaPatch`: можно опускать `id` и `cstType` для стандартных alias `X/C/S/D/A/F/P`.
+2. Развивай схему через `applySchemaPatch`: можно опускать `id` и `cstType` — они выводятся из префикса `alias` (`X/C/S/D/F/P/A/T/N`).
 3. Для пачки конституент передавай все элементы вместе — `applySchemaPatch` упорядочит поставщиков раньше потребителей.
 4. Перед patch в `applySchemaPatch` при сомнении вызывай `analyzeExpression`.
 5. Исправляй диагностики по диапазону `from` / `to` в `definitionFormal` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
@@ -58,29 +59,24 @@
 ### Оценка или правка КС из Portal
 
 Когда пользователь даёт UI-ссылку вида `https://portal.acconcept.ru/rsforms/:id`,
-не открывай SPA и не парси HTML. Преобразуй ссылку в REST API по правилам
-[PORTAL-API.md](../../docs/PORTAL-API.md): метаданные `GET /api/rsforms/:id`,
-полная КС `GET /api/rsforms/:id/details`, версия `GET /api/library/:id/versions/:version`.
-Если id неизвестен — контекстный поиск `GET /api/library/context-search?q=...`, затем
-метаданные по найденным id: `GET /api/library/by-ids?ids=...` (curl и поля поиска — в том же файле).
+не открывай SPA и не парси HTML: преобразуй ссылку в REST-запрос по правилам
+[PORTAL-API.md](../../docs/PORTAL-API.md) — там пути, контекстный поиск, правила доступа и curl.
 
 Portal JSON из `/details` не является форматом `exportSession`. Используй `importData(payload)` —
-auto определит `portal-details` или `portal-schema`. Явный kind: `'portal-details'`, `'portal-schema'`, `'session'`.
+kind `auto` (default) определит `portal-details` или `portal-schema`. Явный kind: `'portal-details'`, `'portal-schema'`, `'session'`.
 
 ### Концептуализация (КС из содержания источника)
 
 Когда нужно построить или существенно развить КС по тексту ПО, требованиям или предметному описанию. Правила редукции, слоёв и паттернов — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
 1. Собери словарь: неопределяемые понятия, ключевые отношения, сценарий синтеза.
-2. Добавь неопределяемые понятия `X#`, `C#`, `S#` с конвенциями из источника (не копируй дословно).
-3. Проверь независимость неопределяемых понятий — они не выводятся друг из друга.
-   Если отношение или множество выражается через уже введенные `X#`, `C#`, `S#`, оформляй его как `D#` / `F#` / `P#`.
-4. Введи `F#` и `D#` для раскрытия проекций и функциональных связей в неопределяемых понятиях.
-5. Добавь `A#` на структуры, выражающие ограничения предметной области. Возможно стоит ввести промежуточные производные термы и терм-функции.
-6. Подбери промежуточные производные понятия `D#`, `F#`, `P#` так, чтобы выразить целевые понятия без использования не введенных в схеме понятий.
-7. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
-8. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
-9. Перед показом результата пройди [чеклист ревью КС](#ревью-концептуальной-схемы).
+2. Добавь независимые неопределяемые понятия `X#`, `C#`, `S#` с конвенциями из источника (не копируй дословно). Для выбора `X#` vs `C#` vs `Z` — [BASE-SELECTION.md](../../docs/BASE-SELECTION.md).
+3. Всё, что выводится из уже введённых понятий, оформляй как `D#` / `F#` / `P#`, а не как новое `X#` / `C#` / `S#`.
+4. Вводи промежуточные `D#`, `F#`, `P#` для проекций, функциональных связей и повторяющихся фрагментов формул.
+5. Добавь `A#` и `T#` после терминов, на которые они опираются.
+6. Перед каждым patch — `analyzeExpression`; при ошибках — [цикл диагностик](#цикл-диагностик).
+7. Сомнительную семантику проверь на маленькой КМ ([цикл КМ](#проверка-на-маленькой-км), [MODEL-TESTING.md](../../docs/MODEL-TESTING.md)).
+8. Перед показом результата пройди [чеклист ревью КС](#ревью-концептуальной-схемы).
 
 Дальше — обычное [редактирование и проверка](#редактирование-и-проверка-схемы): commit, export.
 
@@ -88,12 +84,13 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 Когда `analysis.success === false` или `listDiagnostics` не пуст. Коды и типичные ошибки — [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
 
-1. Запусти `analyzeExpression` (черновик без сохранения).
-2. Прочитай `code`, `from`, `to`, `params` в `analysis.diagnostics` или через `listDiagnostics`.
-3. Сопоставь `code` с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
-4. Исправь именно диапазон в `definitionFormal`.
-5. Не повторяй вызов без изменения ввода.
-6. После успеха — ещё один `applySchemaPatch` с исправленным элементом.
+1. Вызови `listDiagnostics()` — смотри `kind`: `expression` (формула), `schema` (омонимы, дубликаты, термин/конвенция), `model` (интерпретация).
+2. Для черновика формулы — `analyzeExpression` (без сохранения).
+3. Прочитай `name`, `severity`, `alias`, `from`, `to`, `params` в `analysis.diagnostics` или через `listDiagnostics({ kind })`.
+4. Сопоставь `name` (или `code`) с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md).
+5. Исправь именно диапазон в `definitionFormal` (expression) или метаданные/данные модели (schema/model).
+6. Не повторяй вызов без изменения ввода.
+7. После успеха — ещё один `applySchemaPatch` / `setModelValues` с исправлением.
 
 ### Проверка на маленькой КМ
 
@@ -110,12 +107,9 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 
 ### Порядок объявления конституент
 
-1. В начале схемы — `basic`, `constant`.
-2. Родовые структуры производные и ключевые понятия, аксиомы и утверждения в произвольном порядке.
-3. Конституенты в топологическом порядке.
-4. Предпочитай размещать связанные с родовыми структурами конституенты вместе с этой структурой.
+В начале схемы — `basic` и `constant`, затем независимые `structure`, затем производные (`term`, `function`, `predicate`, `axiom`, `statement`) в топологическом порядке. Производные при родовой структуре держи рядом с ней, если это не ломает зависимости.
 
-Правила валидации по типам — [CONSTITUENTA.md](../../docs/CONSTITUENTA.md).
+Правила валидации по типам — [CONSTITUENTA.md](../../docs/CONSTITUENTA.md); разворачивание понятий при проектировании — [CONCEPTUAL-SCHEMA.md](../../docs/CONCEPTUAL-SCHEMA.md).
 
 ## Формат ответа агента
 
@@ -160,7 +154,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 ### Сессия и rstool
 
 - [ ] Используется текущая сессия (`getSessionState`) или явный `sessionId`, если сессий несколько.
-- [ ] Для стандартных alias `X/C/S/D/A/F/P` можно не указывать `cstType` в `applySchemaPatch`.
+- [ ] Для стандартных `X/C/S/D/F/P/A/T/N` можно не указывать `cstType` в `applySchemaPatch`.
 - [ ] Для пачки конституент предпочитай один `applySchemaPatch` с массивом `items`.
 
 ### Перед показом, commit и export
@@ -177,6 +171,7 @@ auto определит `portal-details` или `portal-schema`. Явный kind
 - [ ] Атрибутивная и родоструктурная экспликации не смешаны без явного запроса.
 - [ ] Нет избыточной проверки принадлежности к собственной типизации (`x∈X1`, если `x` уже в `X1`).
 - [ ] Неопределяемые понятия независимы; производные отношения вынесены в `D#` / `F#` / `P#`, а не объявлены новыми структурами.
+- [ ] `X#` — только предметные сущности; `C#` — только если нужны порядок/арифметика над именованным конечным набором в КМ; чистая целочисленная математика — `Z` без лишней конституенты ([BASE-SELECTION.md](../../docs/BASE-SELECTION.md)).
 - [ ] Покрыты главные сущности, роли, отношения, утверждения.
 - [ ] В текстовых определениях используются только понятия из схемы.
 - [ ] Повторяющиеся части формальных определений вынесены в производные понятия `D#` и `F#`.

package/skills/rstool-helper/REFERENCE.md

@@ -3,30 +3,30 @@
 ## Контракт rstool
 
 - Пакет: `@rsconcept/rstool`
-- Версия контракта: `2.0.0` (`CONTRACT_VERSION`)
+- Версия контракта: `3.0.0` (`CONTRACT_VERSION`)
 - Основной класс: `RSToolAgent`
 - Публичные импорты: `@rsconcept/rstool` и `@rsconcept/rstool/wrapper`
 
 ### Методы library API
 
-| Метод                                          | Назначение                                   |
-| ---------------------------------------------- | -------------------------------------------- |
-| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую     |
-| `createSession(initial?)`                      | Новая in-memory сессия                       |
-| `getCurrentSession()`                          | Текущая активная сессия или `null`           |
-| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                       |
-| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы               |
-| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`               |
-| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики                         |
-| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения (`recordDiagnostics?`) |
-| `commitStep(message?, sessionId?)`             | Ревизия                                      |
-| `exportSession(sessionId?)`                    | JSON сессии                                  |
-| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                        |
-| `importData(payload, kind?)`                   | Импорт сессии / Portal                       |
-| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели                              |
-| `getModelState(sessionId?)`                    | Состояние интерпретации                      |
-| `evaluate(input, sessionId?)`                  | Scratch или конституента                     |
-| `recalculateModel(sessionId?)`                 | Пересчёт                                     |
+| Метод                                          | Назначение                                                         |
+| ---------------------------------------------- | ------------------------------------------------------------------ |
+| `ensureSession(initial?)`                      | Вернуть текущую сессию или создать новую                           |
+| `createSession(initial?)`                      | Новая in-memory сессия                                             |
+| `getCurrentSession()`                          | Текущая активная сессия или `null`                                 |
+| `setCurrentSession(sessionId)`                 | Сделать сессию текущей                                             |
+| `applySchemaPatch(input, sessionId?)`          | Единственный путь правки схемы                                     |
+| `getSessionState(detail?, sessionId?)`         | `summary` (default) или `full`                                     |
+| `listDiagnostics(filters?, sessionId?)`        | Активные диагностики (`kind`: `expression` \| `schema` \| `model`) |
+| `analyzeExpression(input, sessionId?)`         | Разбор без сохранения (`recordDiagnostics?`)                       |
+| `commitStep(message?, sessionId?)`             | Ревизия                                                            |
+| `exportSession(sessionId?)`                    | JSON сессии                                                        |
+| `exportPortal({ kind, format? }, sessionId?)`  | Portal Load from JSON                                              |
+| `importData(payload, kind?)`                   | Импорт сессии / Portal (`kind` см. ниже)                           |
+| `setModelValues({ set?, clear? }, sessionId?)` | Значения модели (async — нужен `await`)                            |
+| `getModelState(sessionId?)`                    | Состояние интерпретации                                            |
+| `evaluate(input, sessionId?)`                  | Scratch или конституента                                           |
+| `recalculateModel(sessionId?)`                 | Пересчёт                                                           |
 
 ### `applySchemaPatch`
 
@@ -38,6 +38,15 @@ tool.applySchemaPatch({
 });
 ```
 
+- `items` упорядочиваются автоматически: поставщики раньше потребителей.
+- `id` и `cstType` можно опускать — выводятся из префикса `alias` (`X/C/S/D/F/P/A/T/N`).
+- `mode`: `'atomic'` (default; откат всей пачки при первой ошибке) или `'best_effort'` (применяются корректные элементы).
+- `commitMessage` фиксирует ревизию после успешного patch.
+
+### `importData(payload, kind?)`
+
+`kind`: `'auto'` (default; определяет формат по содержимому), `'session'`, `'portal-details'` (ответ `GET /api/rsforms/:id/details`), `'portal-schema'` (Portal Load from JSON). После импорта новая сессия становится текущей.
+
 ### Протокол stdio
 
 Плоские `params` (без `input`). Опционально: переменная окружения `RSTOOL_PERSISTENCE_DIR` — каталог для сохранения сессий между перезапусками обёртки (в library API — `new RSToolAgent({ persistenceDir })`).
@@ -55,10 +64,6 @@ tool.applySchemaPatch({
 {"id":"10","method":"importData","params":{"payload":"..."}}
 ```
 
-### MCP tools
-
-17 tools — см. `rstool-mcp/README.md`.
-
 ## Документация
 
 Воркфлоу: `GUIDE.md`. Примеры: `EXAMPLES.md`. Язык: `docs/*.md`.

package/src/index.ts

@@ -2,14 +2,16 @@
  * Public API for `@rsconcept/rstool`.
  *
  * Primary entry points: {@link RSToolAgent} (in-process) and {@link RSToolWrapperClient}
- * (stdio child process). Types describe the v2 agent contract.
+ * (stdio child process). Types describe the v3 agent contract.
  */
-export { toPublicAnalysis, toPublicError, type DomainAnalysisLike, type DomainErrorLike } from './mappers/types';
+export { toDiagnostic, toPublicAnalysis, type DomainAnalysisLike, type DomainErrorLike } from './mappers/types';
 export {
   CONTRACT_VERSION,
   CstType,
+  DiagnosticKind,
   EvalStatus,
   RSErrorCode,
+  RSDiagnosticCode,
   RSToolAgent,
   ValueClass,
   type AgentConstituentaPatch,
@@ -20,7 +22,9 @@ export {
   type BasicBinding,
   type ConstituentaDraft,
   type ConstituentaState,
-  type DiagnosticRecord,
+  type CstDiagnostic,
+  type Diagnostic,
+  type DiagnosticSeverity,
   type EvaluateInput,
   type EvaluationResult,
   type ExportFormat,
@@ -40,7 +44,6 @@ export {
   type RecalculateModelResult,
   type RSToolAgentContract,
   type RSToolAgentOptions,
-  type RSToolErrorDescription,
   type RSToolValue,
   type SessionHandle,
   type SessionModelState,

package/src/mappers/diagnostic-assembly.ts

@@ -0,0 +1,96 @@
+import {
+  type Constituenta,
+  type CstDiagnostic,
+  DiagnosticKind,
+  modelStatusCstDiagnostic,
+  RSDiagnosticCode
+} from '@rsconcept/domain/library';
+import { EvalStatus } from '@rsconcept/domain/library/rsmodel';
+import { isCritical, RSErrorCode, type RSErrorDescription } from '@rsconcept/domain/rslang/error';
+
+export { DiagnosticKind, RSDiagnosticCode };
+
+/** Severity of a {@link Diagnostic}. */
+export type DiagnosticSeverity = 'error' | 'warning';
+
+/** Agent-facing diagnostic with redundant fields for autonomous repair. */
+export interface Diagnostic extends CstDiagnostic {
+  name: string;
+  severity: DiagnosticSeverity;
+  constituentId?: number;
+  alias?: string;
+  expression: string;
+  from: number;
+  to: number;
+}
+
+/** Context for attributing a {@link Diagnostic} to a constituent. */
+export interface DiagnosticTarget {
+  constituentId?: number;
+  alias?: string;
+}
+
+const DIAGNOSTIC_NAMES: ReadonlyMap<number, string> = new Map([
+  ...Object.entries(RSErrorCode).map(([name, code]) => [code, name] as const),
+  ...Object.entries(RSDiagnosticCode).map(([name, code]) => [code, name] as const)
+]);
+
+export function getDiagnosticName(code: number): string {
+  return DIAGNOSTIC_NAMES.get(code) ?? `0x${code.toString(16).toUpperCase()}`;
+}
+
+export function getDiagnosticSeverity(code: number): DiagnosticSeverity {
+  return isCritical(code as RSErrorCode) ? 'error' : 'warning';
+}
+
+export function expandCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic): Diagnostic {
+  const expression = expressionForCstDiagnostic(cst, diagnostic);
+  return {
+    ...diagnostic,
+    name: getDiagnosticName(diagnostic.code),
+    severity: getDiagnosticSeverity(diagnostic.code),
+    constituentId: cst.id,
+    alias: cst.alias,
+    expression,
+    from: 0,
+    to: diagnostic.kind === DiagnosticKind.MODEL ? 0 : Math.max(expression.length, 1)
+  };
+}
+
+export function expressionDiagnostic(
+  error: RSErrorDescription,
+  expression: string,
+  target?: DiagnosticTarget
+): Diagnostic {
+  return {
+    kind: DiagnosticKind.EXPRESSION,
+    code: error.code,
+    name: getDiagnosticName(error.code),
+    severity: getDiagnosticSeverity(error.code),
+    constituentId: target?.constituentId,
+    alias: target?.alias,
+    expression,
+    from: error.from,
+    to: error.to,
+    ...(error.params ? { params: error.params } : {})
+  };
+}
+
+export function modelStatusDiagnostic(status: EvalStatus, cst: Constituenta): Diagnostic | null {
+  const base = modelStatusCstDiagnostic(status, cst.cst_type);
+  return base ? expandCstDiagnostic(cst, base) : null;
+}
+
+function expressionForCstDiagnostic(cst: Constituenta, diagnostic: CstDiagnostic): string {
+  switch (diagnostic.code) {
+    case RSDiagnosticCode.schemaHomonym:
+    case RSDiagnosticCode.schemaMissingTerm:
+      return cst.term_resolved;
+    case RSDiagnosticCode.schemaMissingConvention:
+      return cst.convention;
+    case RSDiagnosticCode.schemaTypeMismatch:
+      return cst.typification_manual;
+    default:
+      return cst.definition_formal;
+  }
+}

package/src/mappers/diagnostics-collector.test.ts

@@ -0,0 +1,63 @@
+import { describe, expect, it } from 'vitest';
+
+import { CstType, RSDiagnosticCode, type SessionState, ValueClass } from '../models';
+import { collectSessionDiagnostics } from './diagnostics-collector';
+
+describe('collectSessionDiagnostics', () => {
+  it('collects expression, schema, and model diagnostics together', () => {
+    const session = {
+      sessionId: 'test',
+      alias: '',
+      title: '',
+      comment: '',
+      createdAt: '',
+      updatedAt: '',
+      revisions: [],
+      model: { items: [] },
+      items: [
+        {
+          id: 1,
+          alias: 'X1',
+          cstType: CstType.BASE,
+          definitionFormal: 'Z',
+          term: '',
+          definitionText: '',
+          convention: '',
+          analysis: {
+            success: false,
+            type: null,
+            valueClass: null,
+            diagnostics: [{ code: 0x8862, from: 0, to: 1, params: [CstType.BASE, 'X1'] }]
+          }
+        },
+        {
+          id: 2,
+          alias: 'X2',
+          cstType: CstType.BASE,
+          definitionFormal: '',
+          term: 'person',
+          definitionText: '',
+          convention: 'people',
+          analysis: { success: true, type: {}, valueClass: ValueClass.VALUE, diagnostics: [] }
+        },
+        {
+          id: 3,
+          alias: 'X3',
+          cstType: CstType.BASE,
+          definitionFormal: '',
+          term: 'Person',
+          definitionText: '',
+          convention: 'other',
+          analysis: { success: true, type: {}, valueClass: ValueClass.VALUE, diagnostics: [] }
+        }
+      ]
+    };
+
+    const records = collectSessionDiagnostics(session as SessionState);
+    expect(records.some(record => record.kind === 'expression')).toBe(true);
+    expect(records.some(record => record.code === RSDiagnosticCode.schemaHomonym)).toBe(true);
+    expect(records.some(record => record.code === RSDiagnosticCode.schemaMissingTerm)).toBe(true);
+    expect(records.some(record => record.code === RSDiagnosticCode.modelEmpty)).toBe(true);
+    expect(records.every(record => record.name.length > 0)).toBe(true);
+  });
+});

package/src/mappers/diagnostics-collector.ts

@@ -0,0 +1,73 @@
+import { isModelIssue } from '@rsconcept/domain/library/rsmodel-api';
+import { type RSErrorDescription } from '@rsconcept/domain/rslang';
+
+import { type SessionState } from '../models';
+import {
+  DiagnosticKind,
+  expandCstDiagnostic,
+  expressionDiagnostic,
+  modelStatusDiagnostic,
+  type Diagnostic
+} from './diagnostic-assembly';
+import { ModelAdapter } from './model-adapter';
+import { enrichSessionConstituents } from './rsform-builder';
+
+const modelAdapter = new ModelAdapter();
+
+/** Collect expression, schema, and model diagnostics for a session (Portal parity). */
+export function collectSessionDiagnostics(session: SessionState): Diagnostic[] {
+  const records: Diagnostic[] = [];
+
+  for (const item of session.items) {
+    for (const diagnostic of item.analysis.diagnostics) {
+      const base = diagnostic.name
+        ? diagnostic
+        : expressionDiagnostic(
+            {
+              code: diagnostic.code,
+              from: diagnostic.from,
+              to: diagnostic.to,
+              params: diagnostic.params
+            } as RSErrorDescription,
+            item.definitionFormal,
+            {
+              constituentId: item.id,
+              alias: item.alias
+            }
+          );
+      records.push({
+        ...base,
+        kind: DiagnosticKind.EXPRESSION,
+        constituentId: base.constituentId ?? item.id,
+        alias: base.alias ?? item.alias
+      });
+    }
+  }
+
+  const enriched = enrichSessionConstituents(session);
+  for (const { cst } of enriched) {
+    for (const diagnostic of cst.diagnostics) {
+      if (diagnostic.kind !== DiagnosticKind.SCHEMA) {
+        continue;
+      }
+      records.push(expandCstDiagnostic(cst, diagnostic));
+    }
+  }
+
+  if (session.items.length > 0) {
+    const schema = enriched.map(entry => entry.cst);
+    const engine = modelAdapter.createEngine(session);
+    engine.recalculateAll();
+    for (const cst of schema) {
+      if (!isModelIssue(engine, cst)) {
+        continue;
+      }
+      const diagnostic = modelStatusDiagnostic(engine.getCstStatus(cst.id), cst);
+      if (diagnostic) {
+        records.push(diagnostic);
+      }
+    }
+  }
+
+  return records;
+}

package/src/mappers/model-adapter.ts

@@ -1,8 +1,7 @@
-import { Graph } from '@rsconcept/domain/graph/graph';
-import { extractGlobals } from '@rsconcept/domain/rslang/api';
-import { type ExpressionType, RSLangAnalyzer, type Value, type ValueClass } from '@rsconcept/domain/rslang';
+import { DiagnosticKind, expressionDiagnostic } from './diagnostic-assembly';
+import { type RSErrorDescription, type Value } from '@rsconcept/domain/rslang';
 import { isBaseSet } from '@rsconcept/domain/library/rsform-api';
-import { type Constituenta, CstType, type RSForm } from '@rsconcept/domain/library/rsform';
+import { CstType, type RSForm } from '@rsconcept/domain/library/rsform';
 import { RSEngine, type RSEngineServices } from '@rsconcept/domain/library/rsengine';
 import { type BasicBinding, EvalStatus, type RSModel } from '@rsconcept/domain/library/rsmodel';
 import {
@@ -14,14 +13,13 @@ import {
 } from '@rsconcept/domain/library/rsmodel-api';
 
 import {
-  type ConstituentaState,
   type EvaluationResult,
   type RecalculateModelResult,
   type SessionModelState,
   type SessionState,
   type SetConstituentaValueInput
 } from '../models';
-import { toPublicError } from './types';
+import { buildRSFormFromSession } from './rsform-builder';
 
 const SESSION_MODEL_ID = 0;
 
@@ -73,7 +71,14 @@ export class ModelAdapter {
           ? EvalStatus.EVAL_FAIL
           : EvalStatus.EMPTY
         : EvalStatus.HAS_DATA;
-    return toPublicEvaluationResult(result.value, result.errors, result.iterations, result.cacheHits, status);
+    return toPublicEvaluationResult(
+      result.value,
+      result.errors,
+      result.iterations,
+      result.cacheHits,
+      status,
+      expression
+    );
   }
 
   public evaluateConstituenta(session: SessionState, constituentId: number): EvaluationResult {
@@ -84,7 +89,15 @@ export class ModelAdapter {
     const engine = this.createEngine(session);
     const result = engine.calculateCst(constituentId);
     const status = engine.getCstStatus(constituentId);
-    return toPublicEvaluationResult(result.value, result.errors, result.iterations, result.cacheHits, status);
+    return toPublicEvaluationResult(
+      result.value,
+      result.errors,
+      result.iterations,
+      result.cacheHits,
+      status,
+      cst.definitionFormal,
+      { constituentId: cst.id, alias: cst.alias }
+    );
   }
 
   public recalculateModel(session: SessionState): RecalculateModelResult {
@@ -155,55 +168,6 @@ function createInMemoryServices(session: SessionState): RSEngineServices {
   };
 }
 
-function buildRSFormFromSession(session: SessionState): RSForm {
-  const graph = new Graph<number>();
-  const cstByAlias = new Map<string, Constituenta>();
-  const cstByID = new Map<number, Constituenta>();
-  const analyzer = new RSLangAnalyzer();
-
-  const items = session.items.map(item => {
-    const cst = toFrontendConstituenta(item);
-    cstByAlias.set(cst.alias, cst);
-    cstByID.set(cst.id, cst);
-    graph.addNode(cst.id);
-    if (item.cstType === CstType.BASE) {
-      analyzer.addBase(cst.alias);
-    }
-    if (cst.effectiveType) {
-      analyzer.setGlobal(cst.alias, cst.effectiveType, cst.analysis.valueClass as ValueClass | null);
-    }
-    return cst;
-  });
-
-  for (const cst of items) {
-    for (const alias of extractGlobals(cst.definition_formal)) {
-      const source = cstByAlias.get(alias);
-      if (source) {
-        graph.addEdge(source.id, cst.id);
-      }
-    }
-  }
-
-  return {
-    id: 0,
-    items,
-    cstByAlias,
-    cstByID,
-    graph,
-    analyzer,
-    inheritance: [],
-    attribution: [],
-    attribution_graph: graph.clone(),
-    oss: [],
-    models: [],
-    editors: [],
-    versions: [],
-    is_produced: false,
-    is_attributive: false,
-    version: 'latest'
-  } as unknown as RSForm;
-}
-
 function buildRSModelFromSession(session: SessionState): RSModel {
   return {
     id: SESSION_MODEL_ID,
@@ -217,54 +181,19 @@ function buildRSModelFromSession(session: SessionState): RSModel {
   } as unknown as RSModel;
 }
 
-function toFrontendConstituenta(item: ConstituentaState): Constituenta {
-  const effectiveType = (item.analysis.type ?? null) as ExpressionType | null;
-  return {
-    id: item.id,
-    alias: item.alias,
-    cst_type: item.cstType,
-    definition_formal: item.definitionFormal,
-    definition_raw: item.definitionFormal,
-    definition_resolved: item.definitionFormal,
-    term_raw: item.term,
-    term_resolved: item.term,
-    term_forms: [],
-    convention: item.convention,
-    typification_manual: '',
-    value_is_property: false,
-    crucial: false,
-    attributes: [],
-    homonyms: [],
-    formalDuplicates: [],
-    analysis: {
-      success: item.analysis.success,
-      type: effectiveType,
-      valueClass: item.analysis.valueClass
-    },
-    effectiveType,
-    is_type_mismatch: false,
-    schema: 0,
-    cst_class: 'derived',
-    status: item.analysis.success ? 'verified' : 'incorrect',
-    is_template: false,
-    is_simple_expression: true,
-    parent_schema_index: 0,
-    parent_schema: null,
-    is_inherited: false,
-    has_inherited_children: false,
-    spawn: [],
-    spawn_alias: []
-  } as unknown as Constituenta;
-}
-
 function toPublicEvaluationResult(
   value: Value | null,
   errors: { code: number; from: number; to: number; params?: readonly string[] }[],
   iterations: number,
   cacheHits: number,
-  status: EvalStatus
+  status: EvalStatus,
+  expression: string,
+  target?: { constituentId?: number; alias?: string }
 ): EvaluationResult {
-  const diagnostics = errors.map(toPublicError);
+  const diagnostics = errors.map(error => ({
+    ...expressionDiagnostic(error as RSErrorDescription, expression, target),
+    kind: DiagnosticKind.MODEL
+  }));
   return {
     success: diagnostics.length === 0 && value !== null,
     value: value as EvaluationResult['value'],