@rsconcept/rstool 1.7.0 → 1.7.1

package/examples/diagnostics-utils.ts

@@ -5,10 +5,9 @@ export type ExampleDiagnostic = Diagnostic;
 export function formatDiagnostics(diags: ExampleDiagnostic[], aliasById?: ReadonlyMap<number, string>): string {
   return diags
     .map(d => {
-      const alias =
-        d.alias ??
-        (d.constituentId !== undefined ? (aliasById?.get(d.constituentId) ?? '?') : '(scratch)');
-      return `[${d.kind}] ${alias} ${d.name} ${JSON.stringify(d.params ?? [])}`;
+      const alias = d.alias ?? (d.constituentId !== undefined ? (aliasById?.get(d.constituentId) ?? '?') : '(scratch)');
+      const stack = d.stack && d.stack.length > 0 ? ` stack=${d.stack.map(frame => frame.alias).join('←')}` : '';
+      return `[${d.kind}] ${alias} ${d.name} ${JSON.stringify(d.params ?? [])}${stack}`;
     })
     .join('\n');
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/rstool",
-  "version": "1.7.0",
+  "version": "1.7.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",
@@ -75,13 +75,13 @@
     "@rsconcept/domain": "workspace:*"
   },
   "devDependencies": {
-    "@types/node": "^26.1.0",
-    "@vitest/coverage-v8": "^4.1.9",
-    "tsdown": "^0.22.3",
-    "tsx": "^4.22.5",
+    "@types/node": "^26.1.1",
+    "@vitest/coverage-v8": "^4.1.10",
+    "tsdown": "^0.22.4",
+    "tsx": "^4.23.0",
     "typescript": "^6.0.3",
     "unrun": "^0.3.1",
-    "vitest": "^4.1.9"
+    "vitest": "^4.1.10"
   },
   "publishConfig": {
     "access": "public"

package/skills/rstool-helper/GUIDE.md

@@ -150,8 +150,8 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 
 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).
+3. Прочитай `name`, `severity`, `alias`, `from`, `to`, `params`, при вычислении — ещё `stack` (цепочка `F#`/`P#`, см. [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)), в `analysis.diagnostics` или через `listDiagnostics({ kind })`.
+4. Сопоставь `name` (или `code`) с исправлением в [DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md). Для runtime-ошибок внутри вызова смотри `stack[0]` — там реальный locus, а не только call site в корневом выражении.
 5. Исправь именно диапазон в `definitionFormal` (expression) или метаданные/данные модели (schema/model).
 6. Не повторяй вызов без изменения ввода.
 7. После успеха — ещё один `applySchemaPatch` / `setModelValues` с исправлением.
@@ -252,7 +252,7 @@ kind `auto` (default) определит `portal-details` или `portal-schema`
 - [ ] Схема проверена; ошибки исправлены.
 - [ ] Диагностики обработаны до фиксации шага и экспорта.
 - [ ] В тексте ответа нет английских имён полей и методов API — использованы термины из раздела [Язык ответа](#язык-ответа).
-- [ ] Нет неофициальных ярлыков («базис», «базисный слой») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md).
+- [ ] Нет неофициальных ярлыков («базис», «базисы», «базисный слой», «базовые понятия») — термины КС из [DOMAIN.md](../../docs/DOMAIN.md), раздел **«Термины: не путать»**. Для `X#` говори **базисное множество**, не «базис».
 
 ### Ревью концептуальной схемы
 

package/skills/rstool-helper/REFERENCE.md

@@ -5,7 +5,7 @@
 ## Контракт rstool
 
 - Пакет: `@rsconcept/rstool`
-- Версия контракта: `3.2.0` (`CONTRACT_VERSION`)
+- Версия контракта: `3.3.0` (`CONTRACT_VERSION`)
 - Основной класс: `RSToolAgent`
 - Публичные импорты: `@rsconcept/rstool` и `@rsconcept/rstool/wrapper`
 - Опции: `new RSToolAgent({ persistenceDir? })` — каталог для сохранения сессий между перезапусками (stdio/MCP: `RSTOOL_PERSISTENCE_DIR`)
@@ -116,7 +116,7 @@ tool.listDiagnostics({ kind: 'schema', constituentId: 3, severity: 'error' });
 
 Фильтры: `kind?: 'expression' | 'schema' | 'model'`, `constituentId?`, `severity?: 'error' | 'warning'`.
 
-Элемент диагностики (агентский вид): `kind`, `code`, `name`, `severity`, `alias?`, `expression`, `from`, `to`, `params?`. Ключ для поиска исправления — `name` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
+Элемент диагностики (агентский вид): `kind`, `code`, `name`, `severity`, `alias?`, `expression`, `from`, `to`, `params?`, `stack?` (цепочка вызовов при ошибке внутри `F#`/`P#`). Ключ для поиска исправления — `name` ([DIAGNOSTICS.md](../../docs/DIAGNOSTICS.md)).
 
 ## `analyzeExpression`
 

package/skills/rstool-helper/SKILL.md

@@ -51,7 +51,7 @@ description: >-
 
 ## Язык ответа пользователю
 
-В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (базовые понятия, базисное множество, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**.
+В тексте для пользователя используй термины предметной области («формальное определение», «конституента», «диагностики»), а не английские имена полей и методов API (`definitionFormal`, `applySchemaPatch`). Идентификаторы API — только в коде, patch-ах и JSON. Словарь API → текст: раздел «Язык ответа» в GUIDE.md. Термины КС (**неопределяемые понятия**, **базисное множество**, ядро) — только из `docs/DOMAIN.md`, раздел **«Термины: не путать»**. Не сокращай «базисное множество» до «базис» / «базисы».
 
 ## Portal (приложение)
 

package/src/mappers/diagnostic-assembly.ts

@@ -6,7 +6,7 @@ import {
 } from '@rsconcept/domain/library';
 import { type DiagnosticSourceFields } from '@rsconcept/domain/library/rsform-api';
 import { EvalStatus } from '@rsconcept/domain/library/rsmodel';
-import { isCritical, RSErrorCode, type RSErrorDescription } from '@rsconcept/domain/rslang/error';
+import { isCritical, RSErrorCode, type EvalStackFrame, type RSErrorDescription } from '@rsconcept/domain/rslang/error';
 
 export { DiagnosticKind, RSDiagnosticCode };
 
@@ -22,6 +22,8 @@ export interface Diagnostic extends CstDiagnostic {
   expression: string;
   from: number;
   to: number;
+  /** Evaluation call chain when the fault is inside a called `F#`/`P#` body. */
+  stack?: readonly EvalStackFrame[];
 }
 
 /** Context for attributing a {@link Diagnostic} to a constituent. */
@@ -72,7 +74,8 @@ export function expressionDiagnostic(
     expression,
     from: error.from,
     to: error.to,
-    ...(error.params ? { params: error.params } : {})
+    ...(error.params ? { params: error.params } : {}),
+    ...(error.stack ? { stack: error.stack } : {})
   };
 }
 

package/src/mappers/types.ts

@@ -9,6 +9,7 @@ export interface DomainErrorLike {
   from: number;
   to: number;
   params?: readonly string[];
+  stack?: RSErrorDescription['stack'];
 }
 
 /** Minimal domain analysis shape before mapping to {@link AnalysisResult}. */

package/src/models/tool-contract.ts

@@ -15,7 +15,7 @@ import { type RecalculateModelResult, type SessionModelState, type SetModelValue
 import { type SessionHandle, type SessionRevision, type SessionState } from './session';
 
 /** Agent-visible contract version; bump on breaking API changes. */
-export const CONTRACT_VERSION = '3.2.0';
+export const CONTRACT_VERSION = '3.3.0';
 
 /** Options for constructing an {@link RSToolAgent}. */
 export interface RSToolAgentOptions {

package/dist/diagnostic-assembly-B-6vIA5I.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"diagnostic-assembly-B-6vIA5I.js","names":[],"sources":["../src/mappers/diagnostic-assembly.ts"],"sourcesContent":["import {\n  type CstDiagnostic,\n  DiagnosticKind,\n  modelStatusCstDiagnostic,\n  RSDiagnosticCode\n} from '@rsconcept/domain/library';\nimport { type DiagnosticSourceFields } from '@rsconcept/domain/library/rsform-api';\nimport { EvalStatus } from '@rsconcept/domain/library/rsmodel';\nimport { isCritical, RSErrorCode, type RSErrorDescription } from '@rsconcept/domain/rslang/error';\n\nexport { DiagnosticKind, RSDiagnosticCode };\n\n/** Severity of a {@link Diagnostic}. */\nexport type DiagnosticSeverity = 'error' | 'warning';\n\n/** Agent-facing diagnostic with redundant fields for autonomous repair. */\nexport interface Diagnostic extends CstDiagnostic {\n  name: string;\n  severity: DiagnosticSeverity;\n  constituentId?: number;\n  alias?: string;\n  expression: string;\n  from: number;\n  to: number;\n}\n\n/** Context for attributing a {@link Diagnostic} to a constituent. */\nexport interface DiagnosticTarget {\n  constituentId?: number;\n  alias?: string;\n}\n\nconst DIAGNOSTIC_NAMES: ReadonlyMap<number, string> = new Map([\n  ...Object.entries(RSErrorCode).map(([name, code]) => [code, name] as const),\n  ...Object.entries(RSDiagnosticCode).map(([name, code]) => [code, name] as const)\n]);\n\nexport function getDiagnosticName(code: number): string {\n  return DIAGNOSTIC_NAMES.get(code) ?? `0x${code.toString(16).toUpperCase()}`;\n}\n\nexport function getDiagnosticSeverity(code: number): DiagnosticSeverity {\n  return isCritical(code as RSErrorCode) ? 'error' : 'warning';\n}\n\nexport function expandCstDiagnostic(cst: DiagnosticSourceFields, diagnostic: CstDiagnostic): Diagnostic {\n  const expression = expressionForCstDiagnostic(cst, diagnostic);\n  return {\n    ...diagnostic,\n    name: getDiagnosticName(diagnostic.code),\n    severity: getDiagnosticSeverity(diagnostic.code),\n    constituentId: cst.id,\n    alias: cst.alias,\n    expression,\n    from: 0,\n    to: diagnostic.kind === DiagnosticKind.MODEL ? 0 : Math.max(expression.length, 1)\n  };\n}\n\nexport function expressionDiagnostic(\n  error: RSErrorDescription,\n  expression: string,\n  target?: DiagnosticTarget\n): Diagnostic {\n  return {\n    kind: DiagnosticKind.EXPRESSION,\n    code: error.code,\n    name: getDiagnosticName(error.code),\n    severity: getDiagnosticSeverity(error.code),\n    constituentId: target?.constituentId,\n    alias: target?.alias,\n    expression,\n    from: error.from,\n    to: error.to,\n    ...(error.params ? { params: error.params } : {})\n  };\n}\n\nexport function modelStatusDiagnostic(status: EvalStatus, cst: DiagnosticSourceFields): Diagnostic | null {\n  const base = modelStatusCstDiagnostic(status, cst.cst_type);\n  return base ? expandCstDiagnostic(cst, base) : null;\n}\n\nfunction expressionForCstDiagnostic(cst: DiagnosticSourceFields, diagnostic: CstDiagnostic): string {\n  switch (diagnostic.code) {\n    case RSDiagnosticCode.schemaHomonym:\n    case RSDiagnosticCode.schemaMissingTerm:\n      return cst.term_resolved;\n    case RSDiagnosticCode.schemaMissingConvention:\n      return cst.convention;\n    case RSDiagnosticCode.schemaTypeMismatch:\n      return cst.typification_manual;\n    case RSDiagnosticCode.schemaDependencyCycle:\n    case RSDiagnosticCode.schemaFormalDuplicate:\n      return cst.definition_formal;\n    default:\n      return cst.definition_formal;\n  }\n}\n"],"mappings":";;;AAgCA,MAAM,mBAAgD,IAAI,IAAI,CAC5D,GAAG,OAAO,QAAQ,WAAW,CAAC,CAAC,KAAK,CAAC,MAAM,UAAU,CAAC,MAAM,IAAI,CAAU,GAC1E,GAAG,OAAO,QAAQ,gBAAgB,CAAC,CAAC,KAAK,CAAC,MAAM,UAAU,CAAC,MAAM,IAAI,CAAU,CACjF,CAAC;AAED,SAAgB,kBAAkB,MAAsB;CACtD,OAAO,iBAAiB,IAAI,IAAI,KAAK,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;AAC1E;AAEA,SAAgB,sBAAsB,MAAkC;CACtE,OAAO,WAAW,IAAmB,IAAI,UAAU;AACrD;AAEA,SAAgB,oBAAoB,KAA6B,YAAuC;CACtG,MAAM,aAAa,2BAA2B,KAAK,UAAU;CAC7D,OAAO;EACL,GAAG;EACH,MAAM,kBAAkB,WAAW,IAAI;EACvC,UAAU,sBAAsB,WAAW,IAAI;EAC/C,eAAe,IAAI;EACnB,OAAO,IAAI;EACX;EACA,MAAM;EACN,IAAI,WAAW,SAAS,eAAe,QAAQ,IAAI,KAAK,IAAI,WAAW,QAAQ,CAAC;CAClF;AACF;AAEA,SAAgB,qBACd,OACA,YACA,QACY;CACZ,OAAO;EACL,MAAM,eAAe;EACrB,MAAM,MAAM;EACZ,MAAM,kBAAkB,MAAM,IAAI;EAClC,UAAU,sBAAsB,MAAM,IAAI;EAC1C,eAAe,QAAQ;EACvB,OAAO,QAAQ;EACf;EACA,MAAM,MAAM;EACZ,IAAI,MAAM;EACV,GAAI,MAAM,SAAS,EAAE,QAAQ,MAAM,OAAO,IAAI,CAAC;CACjD;AACF;AAEA,SAAgB,sBAAsB,QAAoB,KAAgD;CACxG,MAAM,OAAO,yBAAyB,QAAQ,IAAI,QAAQ;CAC1D,OAAO,OAAO,oBAAoB,KAAK,IAAI,IAAI;AACjD;AAEA,SAAS,2BAA2B,KAA6B,YAAmC;CAClG,QAAQ,WAAW,MAAnB;EACE,KAAK,iBAAiB;EACtB,KAAK,iBAAiB,mBACpB,OAAO,IAAI;EACb,KAAK,iBAAiB,yBACpB,OAAO,IAAI;EACb,KAAK,iBAAiB,oBACpB,OAAO,IAAI;EACb,KAAK,iBAAiB;EACtB,KAAK,iBAAiB,uBACpB,OAAO,IAAI;EACb,SACE,OAAO,IAAI;CACf;AACF"}