@rsconcept/domain 3.0.1 → 3.1.0

package/dist/{analyzer-CzFaWR7w.d.ts → analyzer-B35QsI3L.d.ts}

@@ -1,7 +1,7 @@
 import { t as AstNode } from "./ast-D-D6Rq3T.js";
 import "./index-D5RahF1K.js";
 import { f as ExpressionType, g as TypeClass } from "./typification-hWUoWCba.js";
-import { i as RSErrorDescription } from "./error-B0EkIx4K.js";
+import { a as RSErrorDescription } from "./error-S1JghCNN.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
 //#region src/rslang/semantic/analyzer.d.ts
 interface AnalysisBase {
@@ -35,4 +35,4 @@ declare class RSLangAnalyzer {
 }
 //#endregion
 export { RSLangAnalyzer as a, AnalysisOptions as i, AnalysisFast as n, AnalysisFull as r, AnalysisBase as t };
-//# sourceMappingURL=analyzer-CzFaWR7w.d.ts.map
+//# sourceMappingURL=analyzer-B35QsI3L.d.ts.map

package/dist/{ast-annotations-x4PJ_Lhc.d.ts → ast-annotations-DclU1Ser.d.ts}

@@ -1,7 +1,7 @@
 import { t as AstNode } from "./ast-D-D6Rq3T.js";
 import "./index-D5RahF1K.js";
 import { f as ExpressionType } from "./typification-hWUoWCba.js";
-import { a as RSErrorInfo, r as RSErrorCode } from "./error-B0EkIx4K.js";
+import { i as RSErrorCode, o as RSErrorInfo } from "./error-S1JghCNN.js";
 //#region src/rslang/ast-annotations.d.ts
 /** Appends {@link ExpressionType} onto the node's `annotation.rsType`. */
 declare function annotateType(node: AstNode, type: ExpressionType): void;
@@ -13,4 +13,4 @@ declare function annotateError(node: AstNode, code: RSErrorCode, params?: readon
 declare function readErrorAnnotation(node: AstNode): RSErrorInfo | null;
 //#endregion
 export { readTypeAnnotation as i, annotateType as n, readErrorAnnotation as r, annotateError as t };
-//# sourceMappingURL=ast-annotations-x4PJ_Lhc.d.ts.map
+//# sourceMappingURL=ast-annotations-DclU1Ser.d.ts.map

package/dist/{calculator-uPaTV3hc.d.ts → calculator-B-1p712X.d.ts}

@@ -1,7 +1,7 @@
 import { t as AstNode } from "./ast-D-D6Rq3T.js";
 import "./index-D5RahF1K.js";
 import { f as ExpressionType } from "./typification-hWUoWCba.js";
-import { i as RSErrorDescription } from "./error-B0EkIx4K.js";
+import { a as RSErrorDescription } from "./error-S1JghCNN.js";
 import { l as Value } from "./value-XpJOVzMP.js";
 //#region src/rslang/eval/calculator.d.ts
 /** Result of calculator evaluation. */
@@ -36,4 +36,4 @@ declare class RSCalculator {
 }
 //#endregion
 export { CalculatorResult as n, RSCalculator as r, CalculatorEvaluateOptions as t };
-//# sourceMappingURL=calculator-uPaTV3hc.d.ts.map
+//# sourceMappingURL=calculator-B-1p712X.d.ts.map

package/dist/{diagnostics-DKyMf6q-.d.ts → diagnostics-D4_B7rt2.d.ts}

@@ -2,8 +2,8 @@ import { t as Graph } from "./graph-CL73WdW1.js";
 import "./index-DntDUXW1.js";
 import { f as ExpressionType, y as TypePath } from "./typification-hWUoWCba.js";
 import { l as Value } from "./value-XpJOVzMP.js";
-import { a as RSLangAnalyzer, t as AnalysisBase } from "./analyzer-CzFaWR7w.js";
-import "./index-CnuO4w8e.js";
+import { a as RSLangAnalyzer, t as AnalysisBase } from "./analyzer-B35QsI3L.js";
+import "./index-D-w-bgei.js";
 import { i as LibraryItemReference, n as CurrentVersion, r as LibraryItem, s as VersionInfo } from "./library-CYun28Xz.js";
 //#region src/library/rsform.d.ts
 /** Represents {@link Constituenta} type. */
@@ -314,4 +314,4 @@ declare function detectDependencyCycleDiagnostics(graph: Graph, resolveAlias: (i
 declare function modelStatusCstDiagnostic(status: EvalStatus, cstType: CstType): CstDiagnostic | null;
 //#endregion
 export { RSFormStats as C, TypeInfo as E, RSForm as S, TermForm as T, Attribution as _, detectDependencyCycleDiagnostics as a, CstStatus as b, modelStatusCstDiagnostic as c, DEFAULT_VALUE_TEXT as d, EvalStatus as f, ArgumentValue as g, TYPE_BASIC as h, assignSchemaDiagnostics as i, BasicBinding as l, RSModelStats as m, DiagnosticKind as n, formatDependencyCycle as o, RSModel as p, RSDiagnosticCode as r, hasCstDiagnostic as s, CstDiagnostic as t, BasicsContext as u, Constituenta as v, Substitution as w, CstType as x, CstClass as y };
-//# sourceMappingURL=diagnostics-DKyMf6q-.d.ts.map
+//# sourceMappingURL=diagnostics-D4_B7rt2.d.ts.map

package/dist/{error-B0EkIx4K.d.ts → error-S1JghCNN.d.ts}

@@ -14,13 +14,41 @@ interface RSErrorInfo {
   code: RSErrorCode;
   params?: readonly string[];
 }
+/**
+ * One frame of an evaluation call chain.
+ *
+ * Spans are relative to the formal definition of {@link alias}.
+ * Frames are ordered innermost-first: fault locus, then each caller outward.
+ * The root expression under evaluation is not a frame — its highlight is
+ * {@link RSErrorDescription.from}/{@link RSErrorDescription.to}; {@link RSErrorDescription.stack}
+ * is absent when the fault is in that root expression.
+ */
+interface EvalStackFrame {
+  /** Constituent whose formal definition contains this span. */
+  alias: string;
+  /** Half-open span `[from, to)` in that definition. */
+  from: number;
+  to: number;
+}
 /** Represents RSLang expression error description. */
 interface RSErrorDescription extends RSErrorInfo {
   from: number;
   to: number;
+  /**
+   * Evaluation call chain when the fault is inside a called `F#`/`P#` body.
+   * Absent for parse/semantic errors and for evaluation errors in the root expression.
+   */
+  stack?: readonly EvalStackFrame[];
 }
 /** Error reporter function type. */
 type ErrorReporter = (error: RSErrorDescription) => void;
+/**
+ * Formats an evaluation call chain for display (`F5 → F12`).
+ *
+ * Uses callee aliases from outermost call to innermost fault container.
+ * Returns an empty string when there is no nested call to show.
+ */
+declare function formatEvalCallStack(stack: readonly EvalStackFrame[] | undefined): string;
 /** Represents RSLang expression error types. */
 declare const RSErrorCode: {
   readonly unknownSyntax: 33792;
@@ -106,5 +134,5 @@ declare function getRSErrorPrefix(code: RSErrorCode): string;
 /** Checks if error is critical. */
 declare function isCritical(code: RSErrorCode): boolean;
 //#endregion
-export { RSErrorInfo as a, RSErrorDescription as i, RSErrorClass as n, getRSErrorPrefix as o, RSErrorCode as r, isCritical as s, ErrorReporter as t };
-//# sourceMappingURL=error-B0EkIx4K.d.ts.map
+export { RSErrorDescription as a, getRSErrorPrefix as c, RSErrorCode as i, isCritical as l, EvalStackFrame as n, RSErrorInfo as o, RSErrorClass as r, formatEvalCallStack as s, ErrorReporter as t };
+//# sourceMappingURL=error-S1JghCNN.d.ts.map

package/dist/{index-CnuO4w8e.d.ts → index-D-w-bgei.d.ts}

@@ -1,13 +1,13 @@
 import "./typification-hWUoWCba.js";
-import "./error-B0EkIx4K.js";
-import "./ast-annotations-x4PJ_Lhc.js";
+import "./error-S1JghCNN.js";
+import "./ast-annotations-DclU1Ser.js";
 import "./value-XpJOVzMP.js";
-import "./calculator-uPaTV3hc.js";
+import "./calculator-B-1p712X.js";
 import "./value-api-Dw8UkwCD.js";
 import "./parser-DkejtiOR.js";
 import "./token-DeXAmzwr.js";
 import "./value-class-CNI-lqXJ.js";
-import "./analyzer-CzFaWR7w.js";
+import "./analyzer-B35QsI3L.js";
 import "./arguments-extractor-CXWRT5Ou.js";
 import "./typification-parser-DFxj4JiQ.js";
 import "./typification-graph-CSxDt18X.js";

package/dist/{index-DCO4mxiO.d.ts → index-DzvllU3P.d.ts}

@@ -4,10 +4,10 @@ import { t as AstNode } from "./ast-D-D6Rq3T.js";
 import "./index-D5RahF1K.js";
 import { f as ExpressionType, g as TypeClass, y as TypePath } from "./typification-hWUoWCba.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
-import { r as AnalysisFull } from "./analyzer-CzFaWR7w.js";
-import "./index-CnuO4w8e.js";
+import { r as AnalysisFull } from "./analyzer-B35QsI3L.js";
+import "./index-D-w-bgei.js";
 import { r as LibraryItem } from "./library-CYun28Xz.js";
-import { C as RSFormStats, S as RSForm, T as TermForm, _ as Attribution, b as CstStatus, g as ArgumentValue, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-DKyMf6q-.js";
+import { C as RSFormStats, S as RSForm, T as TermForm, _ as Attribution, b as CstStatus, g as ArgumentValue, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-D4_B7rt2.js";
 import { t as AliasMapping } from "./api-DgecYHjR.js";
 //#region src/library/rsform-api/types.d.ts
 /** Fields needed to restore formal dependency order. */
@@ -375,4 +375,4 @@ declare function insertItemAfter<T extends {
 }>(items: T[], item: T, insertAfter: number | null | undefined): void;
 //#endregion
 export { removeAliasReference as $, canProduceStructure as A, filterAttributions as B, restoreConstituentOrder as C, inferTemplatedType as D, inferTemplate as E, isBasicConcept as F, MappableFields as G, remapAttributionsUnderSubstitution as H, isFunctional as I, applyMappingToConstituents as J, addAliasReference as K, isLogical as L, guessCstType as M, inferClass as N, normalizeExpression as O, isBaseSet as P, maxAliasIndex as Q, isTemplateCst as R, buildFormalDependencyGraph as S, inferStatus as T, getAnalysisFor as U, importAttributions as V, refineAnalysisForDependencyCycles as W, buildSequentialAliasMapping as X, argumentValuesToMapping as Y, generateAlias as Z, findCstByStructure as _, buildDefinitionReferenceGraph as a, DiagnosticSourceFields as at, calculateSchemaStats as b, resolveConstituentTextChange as c, SchemaIssueFields as ct, SynthesizableFields as d, SpawnPathFields as dt, validateAliasFormat as et, inlineSynthesis as f, StructureCapableFields as ft, remapSubstitutionsAfterImport as g, applyConstituentSubstitutions as h, TextResolvableFields as ht, TextChangeOptions as i, DescribableFields as it, getCstTypePrefix as j, canHaveManualTypification as k, InlineSynthesisInput as l, SearchableFields as lt, SubstitutionResult as m, TemplateSourceFields as mt, moveIdsInOrder as n, AliasTypedFields as nt, buildTermReferenceGraph as o, FormalOrderFields as ot, sortItemsForInlineSynthesis as p, TemplateParamSourceFields as pt, allocateImportAliases as q, reorderItemsByIds as r, BasicTextCheckFields as rt, resolveAllConstituentTexts as s, ModelEvalFields as st, insertItemAfter as t, validateNewAlias as tt, InlineSynthesisResult as u, SemanticRelations as ut, getStructureName as v, applyFilterCategory as w, isSchemaIssue as x, inferNewSpawnPosition as y, typeClassForCstType as z };
-//# sourceMappingURL=index-DCO4mxiO.d.ts.map
+//# sourceMappingURL=index-DzvllU3P.d.ts.map

package/dist/index.d.ts

@@ -5,22 +5,22 @@ import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i a
 import { t as Branded } from "./branded-ZlzIcxzu.js";
 import { n as generateStub, t as applyHash_fnv1a } from "./hash-Y8I4c6Al.js";
 import { A as makeTypePath, b as Typification, d as EmptySetT, f as ExpressionType, g as TypeClass, m as LogicT, t as AnyTypificationT, v as TypeID, y as TypePath } from "./typification-hWUoWCba.js";
-import { i as RSErrorDescription, r as RSErrorCode } from "./error-B0EkIx4K.js";
-import { i as readTypeAnnotation, r as readErrorAnnotation } from "./ast-annotations-x4PJ_Lhc.js";
+import { a as RSErrorDescription, i as RSErrorCode, n as EvalStackFrame, s as formatEvalCallStack } from "./error-S1JghCNN.js";
+import { i as readTypeAnnotation, r as readErrorAnnotation } from "./ast-annotations-DclU1Ser.js";
 import { d as ValuePath, l as Value, o as TUPLE_ID, p as makeValuePath } from "./value-XpJOVzMP.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "./calculator-uPaTV3hc.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "./calculator-B-1p712X.js";
 import { d as printValue } from "./value-api-Dw8UkwCD.js";
 import { t as parser } from "./parser-DkejtiOR.js";
 import { t as TokenID } from "./token-DeXAmzwr.js";
 import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
-import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "./analyzer-CzFaWR7w.js";
+import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "./analyzer-B35QsI3L.js";
 import { n as ArgumentsType } from "./arguments-extractor-CXWRT5Ou.js";
 import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "./typification-parser-DFxj4JiQ.js";
 import { n as TypificationNodeData, t as TypificationGraph } from "./typification-graph-CSxDt18X.js";
 import { a as LibraryItemType, i as LibraryItemReference, n as CurrentVersion, o as LocationHead, r as LibraryItem, s as VersionInfo, t as AccessPolicy } from "./library-CYun28Xz.js";
-import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-DKyMf6q-.js";
+import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-D4_B7rt2.js";
 import { FolderNode, FolderTree } from "./library/folder-tree.js";
 import { n as OssLayout, r as Position2D } from "./oss-layout-3glgAqfn.js";
 import { Block, CstSubstituteInfo, NodeType, Operation, OperationInput, OperationSchema, OperationSchemaStats, OperationSynthesis, OperationType, OssItem, SubstitutionErrorDescription, SubstitutionErrorType } from "./library/oss.js";
 import { RSEngine } from "./library/rsengine.js";
-export { AccessPolicy, type AnalysisBase, type AnalysisFast, type AnalysisFull, AnyTypificationT, type ArgumentValue, type ArgumentsType, type AstNode, type AstNodeBase, type Attribution, type BasicBinding, type BasicsContext, type Block, type Branded, type CMSyntaxNode, type CalculatorEvaluateOptions, type CalculatorResult, type Constituenta, CstClass, type CstDiagnostic, CstStatus, type CstSubstituteInfo, CstType, type CurrentVersion, DEFAULT_VALUE_TEXT, DiagnosticKind, EmptySetT, type EntityReference, EvalStatus, type ExpressionType, type FlatAST, type FlatAstNode, FolderNode, FolderTree, Grammeme, Graph, type LibraryItem, type LibraryItemReference, LibraryItemType, LocationHead, LogicT, NodeType, type Operation, type OperationInput, type OperationSchema, type OperationSchemaStats, type OperationSynthesis, OperationType, type OssItem, type OssLayout, type Position2D, RSCalculator, RSDiagnosticCode, RSEngine, RSErrorCode, type RSErrorDescription, type RSForm, type RSFormStats, RSLangAnalyzer, type RSModel, type RSModelStats, ReferenceType, type Substitution, type SubstitutionErrorDescription, SubstitutionErrorType, type SyntacticReference, TOKEN_ERROR, TUPLE_ID, type TermContext, type TermForm, TokenID, TypeClass, TypeID, type TypeInfo, type TypePath, type Typification, TypificationGraph, type TypificationNodeData, type Value, ValueClass, type ValuePath, type VersionInfo, type WordForm, applyAsciiTypeSubstitutions, applyHash_fnv1a, assignSchemaDiagnostics, buildTree, detectDependencyCycleDiagnostics, findByUid, flattenAst, formatDependencyCycle, generateStub, getNodeIndices, getNodeText, hasCstDiagnostic, makeTypePath, makeValuePath, modelStatusCstDiagnostic, parseTypeText, printAst, printTree, printValue, readErrorAnnotation, readTypeAnnotation, parser as rslangParser, supportedGrammemes, visitAstDFS };
+export { AccessPolicy, type AnalysisBase, type AnalysisFast, type AnalysisFull, AnyTypificationT, type ArgumentValue, type ArgumentsType, type AstNode, type AstNodeBase, type Attribution, type BasicBinding, type BasicsContext, type Block, type Branded, type CMSyntaxNode, type CalculatorEvaluateOptions, type CalculatorResult, type Constituenta, CstClass, type CstDiagnostic, CstStatus, type CstSubstituteInfo, CstType, type CurrentVersion, DEFAULT_VALUE_TEXT, DiagnosticKind, EmptySetT, type EntityReference, type EvalStackFrame, EvalStatus, type ExpressionType, type FlatAST, type FlatAstNode, FolderNode, FolderTree, Grammeme, Graph, type LibraryItem, type LibraryItemReference, LibraryItemType, LocationHead, LogicT, NodeType, type Operation, type OperationInput, type OperationSchema, type OperationSchemaStats, type OperationSynthesis, OperationType, type OssItem, type OssLayout, type Position2D, RSCalculator, RSDiagnosticCode, RSEngine, RSErrorCode, type RSErrorDescription, type RSForm, type RSFormStats, RSLangAnalyzer, type RSModel, type RSModelStats, ReferenceType, type Substitution, type SubstitutionErrorDescription, SubstitutionErrorType, type SyntacticReference, TOKEN_ERROR, TUPLE_ID, type TermContext, type TermForm, TokenID, TypeClass, TypeID, type TypeInfo, type TypePath, type Typification, TypificationGraph, type TypificationNodeData, type Value, ValueClass, type ValuePath, type VersionInfo, type WordForm, applyAsciiTypeSubstitutions, applyHash_fnv1a, assignSchemaDiagnostics, buildTree, detectDependencyCycleDiagnostics, findByUid, flattenAst, formatDependencyCycle, formatEvalCallStack, generateStub, getNodeIndices, getNodeText, hasCstDiagnostic, makeTypePath, makeValuePath, modelStatusCstDiagnostic, parseTypeText, printAst, printTree, printValue, readErrorAnnotation, readTypeAnnotation, parser as rslangParser, supportedGrammemes, visitAstDFS };

package/dist/index.js

@@ -7,7 +7,7 @@ import { AnyTypificationT, EmptySetT, LogicT, TypeClass, TypeID, makeTypePath }
 import { parser } from "./rslang/parser/parser.js";
 import { readErrorAnnotation, readTypeAnnotation } from "./rslang/ast-annotations.js";
 import { CstClass, CstStatus, CstType } from "./library/rsform.js";
-import { RSErrorCode } from "./rslang/error.js";
+import { RSErrorCode, formatEvalCallStack } from "./rslang/error.js";
 import { applyHash_fnv1a, generateStub } from "./shared/hash.js";
 import { C as printValue, o as TUPLE_ID, u as makeValuePath } from "./value-COprb2Je.js";
 import { RSCalculator } from "./rslang/eval/calculator.js";
@@ -21,4 +21,4 @@ import { FolderNode, FolderTree } from "./library/folder-tree.js";
 import { AccessPolicy, LibraryItemType, LocationHead } from "./library/library.js";
 import { NodeType, OperationType, SubstitutionErrorType } from "./library/oss.js";
 import { RSEngine } from "./library/rsengine.js";
-export { AccessPolicy, AnyTypificationT, CstClass, CstStatus, CstType, DEFAULT_VALUE_TEXT, DiagnosticKind, EmptySetT, EvalStatus, FolderNode, FolderTree, Grammeme, Graph, LibraryItemType, LocationHead, LogicT, NodeType, OperationType, RSCalculator, RSDiagnosticCode, RSEngine, RSErrorCode, RSLangAnalyzer, ReferenceType, SubstitutionErrorType, TOKEN_ERROR, TUPLE_ID, TokenID, TypeClass, TypeID, TypificationGraph, ValueClass, applyAsciiTypeSubstitutions, applyHash_fnv1a, assignSchemaDiagnostics, buildTree, detectDependencyCycleDiagnostics, findByUid, flattenAst, formatDependencyCycle, generateStub, getNodeIndices, getNodeText, hasCstDiagnostic, makeTypePath, makeValuePath, modelStatusCstDiagnostic, parseTypeText, printAst, printTree, printValue, readErrorAnnotation, readTypeAnnotation, parser as rslangParser, supportedGrammemes, visitAstDFS };
+export { AccessPolicy, AnyTypificationT, CstClass, CstStatus, CstType, DEFAULT_VALUE_TEXT, DiagnosticKind, EmptySetT, EvalStatus, FolderNode, FolderTree, Grammeme, Graph, LibraryItemType, LocationHead, LogicT, NodeType, OperationType, RSCalculator, RSDiagnosticCode, RSEngine, RSErrorCode, RSLangAnalyzer, ReferenceType, SubstitutionErrorType, TOKEN_ERROR, TUPLE_ID, TokenID, TypeClass, TypeID, TypificationGraph, ValueClass, applyAsciiTypeSubstitutions, applyHash_fnv1a, assignSchemaDiagnostics, buildTree, detectDependencyCycleDiagnostics, findByUid, flattenAst, formatDependencyCycle, formatEvalCallStack, generateStub, getNodeIndices, getNodeText, hasCstDiagnostic, makeTypePath, makeValuePath, modelStatusCstDiagnostic, parseTypeText, printAst, printTree, printValue, readErrorAnnotation, readTypeAnnotation, parser as rslangParser, supportedGrammemes, visitAstDFS };

package/dist/library/diagnostics.d.ts

@@ -1,2 +1,2 @@
-import { a as detectDependencyCycleDiagnostics, c as modelStatusCstDiagnostic, i as assignSchemaDiagnostics, n as DiagnosticKind, o as formatDependencyCycle, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic } from "../diagnostics-DKyMf6q-.js";
+import { a as detectDependencyCycleDiagnostics, c as modelStatusCstDiagnostic, i as assignSchemaDiagnostics, n as DiagnosticKind, o as formatDependencyCycle, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic } from "../diagnostics-D4_B7rt2.js";
 export { CstDiagnostic, DiagnosticKind, RSDiagnosticCode, assignSchemaDiagnostics, detectDependencyCycleDiagnostics, formatDependencyCycle, hasCstDiagnostic, modelStatusCstDiagnostic };

package/dist/library/index.d.ts

@@ -1,10 +1,10 @@
 import { a as LibraryItemType, i as LibraryItemReference, n as CurrentVersion, o as LocationHead, r as LibraryItem, s as VersionInfo, t as AccessPolicy } from "../library-CYun28Xz.js";
-import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-DKyMf6q-.js";
+import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-D4_B7rt2.js";
 import { FolderNode, FolderTree } from "./folder-tree.js";
 import { n as OssLayout, r as Position2D } from "../oss-layout-3glgAqfn.js";
 import { Block, CstSubstituteInfo, NodeType, Operation, OperationInput, OperationSchema, OperationSchemaStats, OperationSynthesis, OperationType, OssItem, SubstitutionErrorDescription, SubstitutionErrorType } from "./oss.js";
 import { RSEngine } from "./rsengine.js";
-import { mt as TemplateSourceFields } from "../index-DCO4mxiO.js";
+import { mt as TemplateSourceFields } from "../index-DzvllU3P.js";
 //#region src/library/template-instantiation.d.ts
 /**
  * Payload for one {@link Constituenta} to create when instantiating an expression-bank template.

package/dist/library/oss-api.d.ts

@@ -1,5 +1,5 @@
 import { r as LibraryItem } from "../library-CYun28Xz.js";
-import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-DKyMf6q-.js";
+import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-D4_B7rt2.js";
 import { NodeType, OperationSchema, SubstitutionErrorDescription } from "./oss.js";
 //#region src/library/oss-api.d.ts
 declare function constructNodeID(type: NodeType, itemID: number): string;

package/dist/library/rsengine.d.ts

@@ -1,9 +1,9 @@
 import { t as AstNode } from "../ast-D-D6Rq3T.js";
 import "../index-D5RahF1K.js";
 import { l as Value } from "../value-XpJOVzMP.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-uPaTV3hc.js";
-import "../index-CnuO4w8e.js";
-import { S as RSForm, f as EvalStatus, l as BasicBinding, p as RSModel, u as BasicsContext, x as CstType } from "../diagnostics-DKyMf6q-.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-B-1p712X.js";
+import "../index-D-w-bgei.js";
+import { S as RSForm, f as EvalStatus, l as BasicBinding, p as RSModel, u as BasicsContext, x as CstType } from "../diagnostics-D4_B7rt2.js";
 //#region src/library/rsengine.d.ts
 /** Services for {@link RSEngine}. */
 interface RSEngineServices {

package/dist/library/rsform-api/index.d.ts

@@ -1,2 +1,2 @@
-import { $ as removeAliasReference, A as canProduceStructure, B as filterAttributions, C as restoreConstituentOrder, D as inferTemplatedType, E as inferTemplate, F as isBasicConcept, G as MappableFields, H as remapAttributionsUnderSubstitution, I as isFunctional, J as applyMappingToConstituents, K as addAliasReference, L as isLogical, M as guessCstType, N as inferClass, O as normalizeExpression, P as isBaseSet, Q as maxAliasIndex, R as isTemplateCst, S as buildFormalDependencyGraph, T as inferStatus, U as getAnalysisFor, V as importAttributions, W as refineAnalysisForDependencyCycles, X as buildSequentialAliasMapping, Y as argumentValuesToMapping, Z as generateAlias, _ as findCstByStructure, a as buildDefinitionReferenceGraph, at as DiagnosticSourceFields, b as calculateSchemaStats, c as resolveConstituentTextChange, ct as SchemaIssueFields, d as SynthesizableFields, dt as SpawnPathFields, et as validateAliasFormat, f as inlineSynthesis, ft as StructureCapableFields, g as remapSubstitutionsAfterImport, h as applyConstituentSubstitutions, ht as TextResolvableFields, i as TextChangeOptions, it as DescribableFields, j as getCstTypePrefix, k as canHaveManualTypification, l as InlineSynthesisInput, lt as SearchableFields, m as SubstitutionResult, mt as TemplateSourceFields, n as moveIdsInOrder, nt as AliasTypedFields, o as buildTermReferenceGraph, ot as FormalOrderFields, p as sortItemsForInlineSynthesis, pt as TemplateParamSourceFields, q as allocateImportAliases, r as reorderItemsByIds, rt as BasicTextCheckFields, s as resolveAllConstituentTexts, st as ModelEvalFields, t as insertItemAfter, tt as validateNewAlias, u as InlineSynthesisResult, ut as SemanticRelations, v as getStructureName, w as applyFilterCategory, x as isSchemaIssue, y as inferNewSpawnPosition, z as typeClassForCstType } from "../../index-DCO4mxiO.js";
+import { $ as removeAliasReference, A as canProduceStructure, B as filterAttributions, C as restoreConstituentOrder, D as inferTemplatedType, E as inferTemplate, F as isBasicConcept, G as MappableFields, H as remapAttributionsUnderSubstitution, I as isFunctional, J as applyMappingToConstituents, K as addAliasReference, L as isLogical, M as guessCstType, N as inferClass, O as normalizeExpression, P as isBaseSet, Q as maxAliasIndex, R as isTemplateCst, S as buildFormalDependencyGraph, T as inferStatus, U as getAnalysisFor, V as importAttributions, W as refineAnalysisForDependencyCycles, X as buildSequentialAliasMapping, Y as argumentValuesToMapping, Z as generateAlias, _ as findCstByStructure, a as buildDefinitionReferenceGraph, at as DiagnosticSourceFields, b as calculateSchemaStats, c as resolveConstituentTextChange, ct as SchemaIssueFields, d as SynthesizableFields, dt as SpawnPathFields, et as validateAliasFormat, f as inlineSynthesis, ft as StructureCapableFields, g as remapSubstitutionsAfterImport, h as applyConstituentSubstitutions, ht as TextResolvableFields, i as TextChangeOptions, it as DescribableFields, j as getCstTypePrefix, k as canHaveManualTypification, l as InlineSynthesisInput, lt as SearchableFields, m as SubstitutionResult, mt as TemplateSourceFields, n as moveIdsInOrder, nt as AliasTypedFields, o as buildTermReferenceGraph, ot as FormalOrderFields, p as sortItemsForInlineSynthesis, pt as TemplateParamSourceFields, q as allocateImportAliases, r as reorderItemsByIds, rt as BasicTextCheckFields, s as resolveAllConstituentTexts, st as ModelEvalFields, t as insertItemAfter, tt as validateNewAlias, u as InlineSynthesisResult, ut as SemanticRelations, v as getStructureName, w as applyFilterCategory, x as isSchemaIssue, y as inferNewSpawnPosition, z as typeClassForCstType } from "../../index-DzvllU3P.js";
 export { type AliasTypedFields, type BasicTextCheckFields, type DescribableFields, type DiagnosticSourceFields, type FormalOrderFields, type InlineSynthesisInput, type InlineSynthesisResult, type MappableFields, type ModelEvalFields, type SchemaIssueFields, type SearchableFields, type SemanticRelations, type SpawnPathFields, type StructureCapableFields, type SubstitutionResult, type SynthesizableFields, type TemplateParamSourceFields, type TemplateSourceFields, type TextChangeOptions, type TextResolvableFields, addAliasReference, allocateImportAliases, applyConstituentSubstitutions, applyFilterCategory, applyMappingToConstituents, argumentValuesToMapping, buildDefinitionReferenceGraph, buildFormalDependencyGraph, buildSequentialAliasMapping, buildTermReferenceGraph, calculateSchemaStats, canHaveManualTypification, canProduceStructure, filterAttributions, findCstByStructure, generateAlias, getAnalysisFor, getCstTypePrefix, getStructureName, guessCstType, importAttributions, inferClass, inferNewSpawnPosition, inferStatus, inferTemplate, inferTemplatedType, inlineSynthesis, insertItemAfter, isBaseSet, isBasicConcept, isFunctional, isLogical, isSchemaIssue, isTemplateCst, maxAliasIndex, moveIdsInOrder, normalizeExpression, refineAnalysisForDependencyCycles, remapAttributionsUnderSubstitution, remapSubstitutionsAfterImport, removeAliasReference, reorderItemsByIds, resolveAllConstituentTexts, resolveConstituentTextChange, restoreConstituentOrder, sortItemsForInlineSynthesis, typeClassForCstType, validateAliasFormat, validateNewAlias };

package/dist/library/rsform.d.ts

@@ -1,2 +1,2 @@
-import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, b as CstStatus, g as ArgumentValue, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-DKyMf6q-.js";
+import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, b as CstStatus, g as ArgumentValue, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-D4_B7rt2.js";
 export { ArgumentValue, Attribution, Constituenta, CstClass, CstStatus, CstType, RSForm, RSFormStats, Substitution, TermForm, TypeInfo };

package/dist/library/rsmodel-api.d.ts

@@ -1,9 +1,9 @@
 import { b as Typification, f as ExpressionType } from "../typification-hWUoWCba.js";
 import { d as ValuePath, l as Value } from "../value-XpJOVzMP.js";
-import "../index-CnuO4w8e.js";
-import { S as RSForm, f as EvalStatus, l as BasicBinding, m as RSModelStats, x as CstType } from "../diagnostics-DKyMf6q-.js";
+import "../index-D-w-bgei.js";
+import { S as RSForm, f as EvalStatus, l as BasicBinding, m as RSModelStats, x as CstType } from "../diagnostics-D4_B7rt2.js";
 import { RSEngine } from "./rsengine.js";
-import { st as ModelEvalFields } from "../index-DCO4mxiO.js";
+import { st as ModelEvalFields } from "../index-DzvllU3P.js";
 //#region src/library/rsmodel-api.d.ts
 /** Evaluate if parsed data is a basic binding data. */
 declare function validateBasicBindingData(data: unknown): data is Record<string, string>;

package/dist/library/rsmodel-api.js

@@ -1,6 +1,6 @@
 import { TypeID } from "../rslang/semantic/typification.js";
 import { CstType } from "./rsform.js";
-import { O as setNestedValue, _ as extractValue, b as isTupleValue, f as tuple, l as compare, x as makeDefaultValue } from "../value-COprb2Je.js";
+import { O as setNestedValue, _ as extractValue, b as isTupleValue, d as set, f as tuple, l as compare, x as makeDefaultValue } from "../value-COprb2Je.js";
 import "../rslang/index.js";
 import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-D1Cp21nP.js";
 import { EvalStatus } from "./rsmodel.js";
@@ -44,6 +44,7 @@ function generateRandomValue(type, basics, cstByAlias, setElementsCount = DEFAUL
 			return tuple(factors);
 		}
 		case TypeID.collection: {
+			if (!canGenerateRandomValue(type.base, basics, cstByAlias)) return null;
 			const result = [];
 			const randomElementsCount = Math.floor(Math.random() * (setElementsCount + 1));
 			for (let i = 0; i < randomElementsCount; i++) {
@@ -51,7 +52,7 @@ function generateRandomValue(type, basics, cstByAlias, setElementsCount = DEFAUL
 				if (sample === null) return null;
 				result.push(sample);
 			}
-			return result;
+			return set(result);
 		}
 		case TypeID.anyTypification: return null;
 	}
@@ -186,6 +187,19 @@ function addValueElement(value, path, type, currentType) {
 	if (path.length === 0 && type.typeID !== TypeID.collection) return makeDefaultValue(type);
 	return setNestedValue(value, path, [makeDefaultValue(currentType.base), ...extractValue(value, path) ?? []]);
 }
+function canGenerateRandomValue(type, basics, cstByAlias) {
+	switch (type.typeID) {
+		case TypeID.integer: return true;
+		case TypeID.basic: {
+			const cst = cstByAlias.get(type.baseID);
+			const binding = cst ? basics.get(cst.id) : void 0;
+			return Object.keys(binding ?? {}).length > 0;
+		}
+		case TypeID.tuple: return type.factors.every((factor) => canGenerateRandomValue(factor, basics, cstByAlias));
+		case TypeID.collection: return canGenerateRandomValue(type.base, basics, cstByAlias);
+		case TypeID.anyTypification: return false;
+	}
+}
 function countBaseElements(cst, engine) {
 	if (!isBasicConcept(cst.cst_type)) return 0;
 	const value = engine.getCstValue(cst.id);

package/dist/library/rsmodel-api.js.map

@@ -1 +1 @@
-{"version":3,"file":"rsmodel-api.js","names":[],"sources":["../../src/library/rsmodel-api.ts"],"sourcesContent":["import { type ExpressionType, TypeID, type Typification, type Value } from '../rslang';\nimport { compare, tuple, TUPLE_ID, VALUE_TRUE, type ValuePath } from '../rslang/eval/value';\nimport { extractValue, isTupleValue, makeDefaultValue, setNestedValue } from '../rslang/eval/value-api';\nimport { type EchelonCollection } from '../rslang/semantic/typification';\n\nimport { modelStatusCstDiagnostic } from './diagnostics';\nimport { type RSEngine } from './rsengine';\nimport { CstType, type RSForm } from './rsform';\nimport { calculateSchemaStats, isBaseSet, isBasicConcept, type ModelEvalFields } from './rsform-api';\nimport { type BasicBinding, EvalStatus, type RSModelStats } from './rsmodel';\n\nconst RANDOM_INTEGER_MIN = -100;\nconst RANDOM_INTEGER_MAX = 100;\nconst DEFAULT_RANDOM_SET_ELEMENTS_COUNT = 5;\n\n/** Evaluate if parsed data is a basic binding data. */\nexport function validateBasicBindingData(data: unknown): data is Record<string, string> {\n  if (!data || typeof data !== 'object' || Array.isArray(data)) {\n    return false;\n  }\n  return Object.entries(data).every(([key, value]) => typeof value === 'string' && Number.isInteger(Number(key)));\n}\n\n/** Convert parsed data to a basic binding. */\nexport function toBasicBinding(data: Record<string | number, string>): BasicBinding {\n  const result: BasicBinding = {};\n  for (const [k, v] of Object.entries(data)) {\n    result[Number(k)] = v;\n  }\n  return result;\n}\n\n/** Evaluate if parsed data is a {@link Value} data. */\nexport function validateValueData(data: unknown): data is Value {\n  if (typeof data === 'number') {\n    return Number.isFinite(data);\n  }\n  if (!Array.isArray(data)) {\n    return false;\n  }\n  return data.every(item => validateValueData(item));\n}\n\nexport function generateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>,\n  setElementsCount: number = DEFAULT_RANDOM_SET_ELEMENTS_COUNT\n): Value | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return Math.floor(Math.random() * (RANDOM_INTEGER_MAX - RANDOM_INTEGER_MIN + 1)) + RANDOM_INTEGER_MIN;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      const ids = Object.keys(binding ?? {}).map(Number);\n      if (ids.length === 0) {\n        return null;\n      }\n      return ids[Math.floor(Math.random() * ids.length)];\n    }\n    case TypeID.tuple: {\n      const factors: Value[] = [];\n      for (const factor of type.factors) {\n        const sample = generateRandomValue(factor, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        factors.push(sample);\n      }\n      return tuple(factors);\n    }\n    case TypeID.collection: {\n      const result: Value[] = [];\n      const randomElementsCount = Math.floor(Math.random() * (setElementsCount + 1));\n      for (let i = 0; i < randomElementsCount; i++) {\n        const sample = generateRandomValue(type.base, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        result.push(sample);\n      }\n      return result;\n    }\n    case TypeID.anyTypification:\n      return null;\n  }\n}\n\n/** Calculate statistics for {@link RSModel}. */\nexport function calculateModelStats(schema: RSForm, engine: RSEngine, _engineGeneration?: number): RSModelStats {\n  const items = schema.items;\n  const statusByID = new Map<number, EvalStatus>();\n  for (const cst of items) {\n    statusByID.set(cst.id, engine.getCstStatus(cst.id));\n  }\n  return {\n    ...calculateSchemaStats(schema),\n    base_elements: items.reduce((sum, cst) => sum + countBaseElements(cst, engine), 0),\n    count_missing_base: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && isBasicConcept(cst.cst_type) ? 1 : 0),\n      0\n    ),\n    count_false_axioms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.AXIOM_FALSE ? 1 : 0),\n      0\n    ),\n    count_invalid_data: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.INVALID_DATA ? 1 : 0),\n      0\n    ),\n    count_invalid_calculations: items.reduce(\n      (sum, cst) =>\n        sum +\n        (statusByID.get(cst.id) === EvalStatus.EVAL_FAIL || statusByID.get(cst.id) === EvalStatus.NOT_PROCESSED\n          ? 1\n          : 0),\n      0\n    ),\n    count_empty_terms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && cst.cst_type === CstType.TERM ? 1 : 0),\n      0\n    )\n  };\n}\n\n/** Checks whether evaluation status contributes to model status issues. */\nexport function isModelIssue(engine: RSEngine, cst: ModelEvalFields): boolean {\n  return modelStatusCstDiagnostic(engine.getCstStatus(cst.id), cst.cst_type) !== null;\n}\n\n/** Filters items whose evaluation status contributes to model issues. */\nexport function getEvalIssueItems(items: readonly ModelEvalFields[], engine: RSEngine): ModelEvalFields[] {\n  return items.filter(cst => isModelIssue(engine, cst));\n}\n\n/** Evaluate if {@link CstType} is interpretable. */\nexport function isInterpretable(type: CstType): boolean {\n  switch (type) {\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.AXIOM:\n    case CstType.TERM:\n    case CstType.STATEMENT:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Evaluate if {@link CstType} is inferrable. */\nexport function isInferrable(type: CstType): boolean {\n  switch (type) {\n    case CstType.AXIOM:\n    case CstType.STATEMENT:\n    case CstType.TERM:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Infers status of a given {@link Value} and {@link CstType}. */\nexport function inferEvalStatus(\n  value: Value | null,\n  cstType: CstType,\n  wasCalculated: boolean = true,\n  isInvalid: boolean = false\n): EvalStatus {\n  if (isBaseSet(cstType) || cstType === CstType.STRUCTURED) {\n    if (isInvalid) {\n      return EvalStatus.INVALID_DATA;\n    }\n    if (value === null || (Array.isArray(value) && value.length === 0)) {\n      return EvalStatus.EMPTY;\n    }\n    return EvalStatus.HAS_DATA;\n  }\n  if (!isInferrable(cstType)) {\n    return EvalStatus.NO_EVAL;\n  }\n  if (!wasCalculated) {\n    return EvalStatus.NOT_PROCESSED;\n  }\n  if (value === null) {\n    return EvalStatus.EVAL_FAIL;\n  }\n  if (cstType === CstType.AXIOM && value !== VALUE_TRUE) {\n    return EvalStatus.AXIOM_FALSE;\n  }\n  if (Array.isArray(value) && value.length === 0) {\n    return EvalStatus.EMPTY;\n  }\n  return EvalStatus.HAS_DATA;\n}\n\n/** Tries to fix value removing invalid base elements not present in the target value.\n * returns null if no fixing is possible.\n * returns true if fixing was successful.\n * returns false if fixing was not needed.\n */\nexport function tryFixValue(\n  value: Value,\n  type: ExpressionType,\n  targetAlias: string,\n  targetValue: Value[]\n): boolean | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return false;\n    case TypeID.basic:\n      if (type.baseID !== targetAlias) {\n        return false;\n      }\n      if (typeof value !== 'number') {\n        return null;\n      }\n      if (!targetValue.includes(value)) {\n        return null;\n      }\n      return false;\n    case TypeID.tuple: {\n      if (!isTupleValue(value)) {\n        return null;\n      }\n      let wasChanged = false;\n      for (let i = 0; i < type.factors.length; i++) {\n        const componentChanged = tryFixValue(value[i + 1], type.factors[i], targetAlias, targetValue);\n        if (componentChanged === null) {\n          return null;\n        }\n        if (componentChanged) {\n          wasChanged = true;\n        }\n      }\n      return wasChanged;\n    }\n    case TypeID.collection:\n      if (!Array.isArray(value) || (value.length > 1 && value[0] === TUPLE_ID)) {\n        return null;\n      }\n      let wasChanged = false;\n      const removeElements: Value[] = [];\n      for (const item of value) {\n        const elementChanged = tryFixValue(item, type.base, targetAlias, targetValue);\n        if (elementChanged === null || elementChanged === true) {\n          wasChanged = true;\n          if (elementChanged === null) {\n            removeElements.push(item);\n          }\n        }\n      }\n      for (const item of removeElements) {\n        const index = value.indexOf(item);\n        if (index !== -1) {\n          value.splice(index, 1);\n        }\n      }\n      if (wasChanged) {\n        value.sort((a, b) => compare(a, b));\n        let i = 1;\n        while (i < value.length) {\n          if (compare(value[i], value[i - 1]) === 0) {\n            value.splice(i, 1);\n          } else {\n            i++;\n          }\n        }\n      }\n      return wasChanged;\n\n    case TypeID.logic:\n    case TypeID.anyTypification:\n    case TypeID.predicate:\n    case TypeID.function:\n      return null;\n  }\n}\n\nexport function updateValueElement(value: Value | null, path: ValuePath, newValue: number): Value | null {\n  return setNestedValue(value, path, newValue);\n}\n\nexport function deleteValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  target: number\n): Value | null {\n  if (value === null) {\n    return null;\n  }\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return null;\n  }\n\n  const arrayValue = extractValue(value, path);\n  if (!Array.isArray(arrayValue)) {\n    return null;\n  }\n  const updatedArray = [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)];\n  return setNestedValue(value, path, updatedArray);\n}\n\nexport function addValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  currentType: Typification\n): Value | null {\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return makeDefaultValue(type);\n  }\n\n  const newElem = makeDefaultValue((currentType as EchelonCollection).base);\n  const arrayValue = (extractValue(value!, path) as Value[] | null) ?? [];\n  const updatedArray = [newElem, ...arrayValue];\n  return setNestedValue(value, path, updatedArray);\n}\n\n// ========= Internal functions ==========\n\nfunction countBaseElements(cst: ModelEvalFields, engine: RSEngine): number {\n  if (!isBasicConcept(cst.cst_type)) {\n    return 0;\n  }\n  const value = engine.getCstValue(cst.id);\n  if (value === null) {\n    return 0;\n  }\n  if (!Array.isArray(value) || value[0] === TUPLE_ID) {\n    return 1;\n  }\n  return value.length;\n}\n"],"mappings":";;;;;;;AAWA,MAAM,qBAAqB;AAE3B,MAAM,oCAAoC;;AAG1C,SAAgB,yBAAyB,MAA+C;CACtF,IAAI,CAAC,QAAQ,OAAO,SAAS,YAAY,MAAM,QAAQ,IAAI,GACzD,OAAO;CAET,OAAO,OAAO,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,WAAW,OAAO,UAAU,YAAY,OAAO,UAAU,OAAO,GAAG,CAAC,CAAC;AAChH;;AAGA,SAAgB,eAAe,MAAqD;CAClF,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,IAAI,GACtC,OAAO,OAAO,CAAC,KAAK;CAEtB,OAAO;AACT;;AAGA,SAAgB,kBAAkB,MAA8B;CAC9D,IAAI,OAAO,SAAS,UAClB,OAAO,OAAO,SAAS,IAAI;CAE7B,IAAI,CAAC,MAAM,QAAQ,IAAI,GACrB,OAAO;CAET,OAAO,KAAK,OAAM,SAAQ,kBAAkB,IAAI,CAAC;AACnD;AAEA,SAAgB,oBACd,MACA,QACA,YACA,mBAA2B,mCACb;CACd,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO,KAAK,MAAM,KAAK,OAAO,IAAK,GAA4C,IAAI;EACrF,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,MAAM,MAAM,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM;GACjD,IAAI,IAAI,WAAW,GACjB,OAAO;GAET,OAAO,IAAI,KAAK,MAAM,KAAK,OAAO,IAAI,IAAI,MAAM;EAClD;EACA,KAAK,OAAO,OAAO;GACjB,MAAM,UAAmB,CAAC;GAC1B,KAAK,MAAM,UAAU,KAAK,SAAS;IACjC,MAAM,SAAS,oBAAoB,QAAQ,QAAQ,YAAY,gBAAgB;IAC/E,IAAI,WAAW,MACb,OAAO;IAET,QAAQ,KAAK,MAAM;GACrB;GACA,OAAO,MAAM,OAAO;EACtB;EACA,KAAK,OAAO,YAAY;GACtB,MAAM,SAAkB,CAAC;GACzB,MAAM,sBAAsB,KAAK,MAAM,KAAK,OAAO,KAAK,mBAAmB,EAAE;GAC7E,KAAK,IAAI,IAAI,GAAG,IAAI,qBAAqB,KAAK;IAC5C,MAAM,SAAS,oBAAoB,KAAK,MAAM,QAAQ,YAAY,gBAAgB;IAClF,IAAI,WAAW,MACb,OAAO;IAET,OAAO,KAAK,MAAM;GACpB;GACA,OAAO;EACT;EACA,KAAK,OAAO,iBACV,OAAO;CACX;AACF;;AAGA,SAAgB,oBAAoB,QAAgB,QAAkB,mBAA0C;CAC9G,MAAM,QAAQ,OAAO;CACrB,MAAM,6BAAa,IAAI,IAAwB;CAC/C,KAAK,MAAM,OAAO,OAChB,WAAW,IAAI,IAAI,IAAI,OAAO,aAAa,IAAI,EAAE,CAAC;CAEpD,OAAO;EACL,GAAG,qBAAqB,MAAM;EAC9B,eAAe,MAAM,QAAQ,KAAK,QAAQ,MAAM,kBAAkB,KAAK,MAAM,GAAG,CAAC;EACjF,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,eAAe,IAAI,QAAQ,IAAI,IAAI,IACvG,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,cAAc,IAAI,IAC7E,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,eAAe,IAAI,IAC9E,CACF;EACA,4BAA4B,MAAM,QAC/B,KAAK,QACJ,OACC,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,aAAa,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,gBACtF,IACA,IACN,CACF;EACA,mBAAmB,MAAM,QACtB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,IAAI,aAAa,QAAQ,OAAO,IAAI,IACxG,CACF;CACF;AACF;;AAGA,SAAgB,aAAa,QAAkB,KAA+B;CAC5E,OAAO,yBAAyB,OAAO,aAAa,IAAI,EAAE,GAAG,IAAI,QAAQ,MAAM;AACjF;;AAGA,SAAgB,kBAAkB,OAAmC,QAAqC;CACxG,OAAO,MAAM,QAAO,QAAO,aAAa,QAAQ,GAAG,CAAC;AACtD;;AAGA,SAAgB,gBAAgB,MAAwB;CACtD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,aAAa,MAAwB;CACnD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,MACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,gBACd,OACA,SACA,gBAAyB,MACzB,YAAqB,OACT;CACZ,IAAI,UAAU,OAAO,KAAK,YAAY,QAAQ,YAAY;EACxD,IAAI,WACF,OAAO,WAAW;EAEpB,IAAI,UAAU,QAAS,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC9D,OAAO,WAAW;EAEpB,OAAO,WAAW;CACpB;CACA,IAAI,CAAC,aAAa,OAAO,GACvB,OAAO,WAAW;CAEpB,IAAI,CAAC,eACH,OAAO,WAAW;CAEpB,IAAI,UAAU,MACZ,OAAO,WAAW;CAEpB,IAAI,YAAY,QAAQ,SAAS,UAAA,GAC/B,OAAO,WAAW;CAEpB,IAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC3C,OAAO,WAAW;CAEpB,OAAO,WAAW;AACpB;;;;;;AAOA,SAAgB,YACd,OACA,MACA,aACA,aACgB;CAChB,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO;GACV,IAAI,KAAK,WAAW,aAClB,OAAO;GAET,IAAI,OAAO,UAAU,UACnB,OAAO;GAET,IAAI,CAAC,YAAY,SAAS,KAAK,GAC7B,OAAO;GAET,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,IAAI,CAAC,aAAa,KAAK,GACrB,OAAO;GAET,IAAI,aAAa;GACjB,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,QAAQ,QAAQ,KAAK;IAC5C,MAAM,mBAAmB,YAAY,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,aAAa,WAAW;IAC5F,IAAI,qBAAqB,MACvB,OAAO;IAET,IAAI,kBACF,aAAa;GAEjB;GACA,OAAO;EACT;EACA,KAAK,OAAO;GACV,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAM,MAAM,SAAS,KAAK,MAAM,OAAA,MACtD,OAAO;GAET,IAAI,aAAa;GACjB,MAAM,iBAA0B,CAAC;GACjC,KAAK,MAAM,QAAQ,OAAO;IACxB,MAAM,iBAAiB,YAAY,MAAM,KAAK,MAAM,aAAa,WAAW;IAC5E,IAAI,mBAAmB,QAAQ,mBAAmB,MAAM;KACtD,aAAa;KACb,IAAI,mBAAmB,MACrB,eAAe,KAAK,IAAI;IAE5B;GACF;GACA,KAAK,MAAM,QAAQ,gBAAgB;IACjC,MAAM,QAAQ,MAAM,QAAQ,IAAI;IAChC,IAAI,UAAU,IACZ,MAAM,OAAO,OAAO,CAAC;GAEzB;GACA,IAAI,YAAY;IACd,MAAM,MAAM,GAAG,MAAM,QAAQ,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI;IACR,OAAO,IAAI,MAAM,QACf,IAAI,QAAQ,MAAM,IAAI,MAAM,IAAI,EAAE,MAAM,GACtC,MAAM,OAAO,GAAG,CAAC;SAEjB;GAGN;GACA,OAAO;EAET,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO,UACV,OAAO;CACX;AACF;AAEA,SAAgB,mBAAmB,OAAqB,MAAiB,UAAgC;CACvG,OAAO,eAAe,OAAO,MAAM,QAAQ;AAC7C;AAEA,SAAgB,mBACd,OACA,MACA,MACA,QACc;CACd,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO;CAGT,MAAM,aAAa,aAAa,OAAO,IAAI;CAC3C,IAAI,CAAC,MAAM,QAAQ,UAAU,GAC3B,OAAO;CAGT,OAAO,eAAe,OAAO,MAAM,CADb,GAAG,WAAW,MAAM,GAAG,MAAM,GAAG,GAAG,WAAW,MAAM,SAAS,CAAC,CACjD,CAAY;AACjD;AAEA,SAAgB,gBACd,OACA,MACA,MACA,aACc;CACd,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO,iBAAiB,IAAI;CAM9B,OAAO,eAAe,OAAO,MAAM,CAHnB,iBAAkB,YAAkC,IAE9C,GAAS,GADX,aAAa,OAAQ,IAAI,KAAwB,CAAC,CAEnC,CAAY;AACjD;AAIA,SAAS,kBAAkB,KAAsB,QAA0B;CACzE,IAAI,CAAC,eAAe,IAAI,QAAQ,GAC9B,OAAO;CAET,MAAM,QAAQ,OAAO,YAAY,IAAI,EAAE;CACvC,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,MAAM,OAAA,MACjC,OAAO;CAET,OAAO,MAAM;AACf"}
+{"version":3,"file":"rsmodel-api.js","names":[],"sources":["../../src/library/rsmodel-api.ts"],"sourcesContent":["import { type ExpressionType, TypeID, type Typification, type Value } from '../rslang';\nimport { compare, set, tuple, TUPLE_ID, VALUE_TRUE, type ValuePath } from '../rslang/eval/value';\nimport { extractValue, isTupleValue, makeDefaultValue, setNestedValue } from '../rslang/eval/value-api';\nimport { type EchelonCollection } from '../rslang/semantic/typification';\n\nimport { modelStatusCstDiagnostic } from './diagnostics';\nimport { type RSEngine } from './rsengine';\nimport { CstType, type RSForm } from './rsform';\nimport { calculateSchemaStats, isBaseSet, isBasicConcept, type ModelEvalFields } from './rsform-api';\nimport { type BasicBinding, EvalStatus, type RSModelStats } from './rsmodel';\n\nconst RANDOM_INTEGER_MIN = -100;\nconst RANDOM_INTEGER_MAX = 100;\nconst DEFAULT_RANDOM_SET_ELEMENTS_COUNT = 5;\n\n/** Evaluate if parsed data is a basic binding data. */\nexport function validateBasicBindingData(data: unknown): data is Record<string, string> {\n  if (!data || typeof data !== 'object' || Array.isArray(data)) {\n    return false;\n  }\n  return Object.entries(data).every(([key, value]) => typeof value === 'string' && Number.isInteger(Number(key)));\n}\n\n/** Convert parsed data to a basic binding. */\nexport function toBasicBinding(data: Record<string | number, string>): BasicBinding {\n  const result: BasicBinding = {};\n  for (const [k, v] of Object.entries(data)) {\n    result[Number(k)] = v;\n  }\n  return result;\n}\n\n/** Evaluate if parsed data is a {@link Value} data. */\nexport function validateValueData(data: unknown): data is Value {\n  if (typeof data === 'number') {\n    return Number.isFinite(data);\n  }\n  if (!Array.isArray(data)) {\n    return false;\n  }\n  return data.every(item => validateValueData(item));\n}\n\nexport function generateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>,\n  setElementsCount: number = DEFAULT_RANDOM_SET_ELEMENTS_COUNT\n): Value | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return Math.floor(Math.random() * (RANDOM_INTEGER_MAX - RANDOM_INTEGER_MIN + 1)) + RANDOM_INTEGER_MIN;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      const ids = Object.keys(binding ?? {}).map(Number);\n      if (ids.length === 0) {\n        return null;\n      }\n      return ids[Math.floor(Math.random() * ids.length)];\n    }\n    case TypeID.tuple: {\n      const factors: Value[] = [];\n      for (const factor of type.factors) {\n        const sample = generateRandomValue(factor, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        factors.push(sample);\n      }\n      return tuple(factors);\n    }\n    case TypeID.collection: {\n      // Empty set is a valid sample only when the element domain itself is generatable.\n      // When the count happens to be 0 we would otherwise skip sampling and miss empty basics.\n      if (!canGenerateRandomValue(type.base, basics, cstByAlias)) {\n        return null;\n      }\n      const result: Value[] = [];\n      const randomElementsCount = Math.floor(Math.random() * (setElementsCount + 1));\n      for (let i = 0; i < randomElementsCount; i++) {\n        const sample = generateRandomValue(type.base, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        result.push(sample);\n      }\n      // Sets must be unique; sampling with replacement can produce duplicates.\n      return set(result);\n    }\n    case TypeID.anyTypification:\n      return null;\n  }\n}\n\n/** Calculate statistics for {@link RSModel}. */\nexport function calculateModelStats(schema: RSForm, engine: RSEngine, _engineGeneration?: number): RSModelStats {\n  const items = schema.items;\n  const statusByID = new Map<number, EvalStatus>();\n  for (const cst of items) {\n    statusByID.set(cst.id, engine.getCstStatus(cst.id));\n  }\n  return {\n    ...calculateSchemaStats(schema),\n    base_elements: items.reduce((sum, cst) => sum + countBaseElements(cst, engine), 0),\n    count_missing_base: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && isBasicConcept(cst.cst_type) ? 1 : 0),\n      0\n    ),\n    count_false_axioms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.AXIOM_FALSE ? 1 : 0),\n      0\n    ),\n    count_invalid_data: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.INVALID_DATA ? 1 : 0),\n      0\n    ),\n    count_invalid_calculations: items.reduce(\n      (sum, cst) =>\n        sum +\n        (statusByID.get(cst.id) === EvalStatus.EVAL_FAIL || statusByID.get(cst.id) === EvalStatus.NOT_PROCESSED\n          ? 1\n          : 0),\n      0\n    ),\n    count_empty_terms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && cst.cst_type === CstType.TERM ? 1 : 0),\n      0\n    )\n  };\n}\n\n/** Checks whether evaluation status contributes to model status issues. */\nexport function isModelIssue(engine: RSEngine, cst: ModelEvalFields): boolean {\n  return modelStatusCstDiagnostic(engine.getCstStatus(cst.id), cst.cst_type) !== null;\n}\n\n/** Filters items whose evaluation status contributes to model issues. */\nexport function getEvalIssueItems(items: readonly ModelEvalFields[], engine: RSEngine): ModelEvalFields[] {\n  return items.filter(cst => isModelIssue(engine, cst));\n}\n\n/** Evaluate if {@link CstType} is interpretable. */\nexport function isInterpretable(type: CstType): boolean {\n  switch (type) {\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.AXIOM:\n    case CstType.TERM:\n    case CstType.STATEMENT:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Evaluate if {@link CstType} is inferrable. */\nexport function isInferrable(type: CstType): boolean {\n  switch (type) {\n    case CstType.AXIOM:\n    case CstType.STATEMENT:\n    case CstType.TERM:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Infers status of a given {@link Value} and {@link CstType}. */\nexport function inferEvalStatus(\n  value: Value | null,\n  cstType: CstType,\n  wasCalculated: boolean = true,\n  isInvalid: boolean = false\n): EvalStatus {\n  if (isBaseSet(cstType) || cstType === CstType.STRUCTURED) {\n    if (isInvalid) {\n      return EvalStatus.INVALID_DATA;\n    }\n    if (value === null || (Array.isArray(value) && value.length === 0)) {\n      return EvalStatus.EMPTY;\n    }\n    return EvalStatus.HAS_DATA;\n  }\n  if (!isInferrable(cstType)) {\n    return EvalStatus.NO_EVAL;\n  }\n  if (!wasCalculated) {\n    return EvalStatus.NOT_PROCESSED;\n  }\n  if (value === null) {\n    return EvalStatus.EVAL_FAIL;\n  }\n  if (cstType === CstType.AXIOM && value !== VALUE_TRUE) {\n    return EvalStatus.AXIOM_FALSE;\n  }\n  if (Array.isArray(value) && value.length === 0) {\n    return EvalStatus.EMPTY;\n  }\n  return EvalStatus.HAS_DATA;\n}\n\n/** Tries to fix value removing invalid base elements not present in the target value.\n * returns null if no fixing is possible.\n * returns true if fixing was successful.\n * returns false if fixing was not needed.\n */\nexport function tryFixValue(\n  value: Value,\n  type: ExpressionType,\n  targetAlias: string,\n  targetValue: Value[]\n): boolean | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return false;\n    case TypeID.basic:\n      if (type.baseID !== targetAlias) {\n        return false;\n      }\n      if (typeof value !== 'number') {\n        return null;\n      }\n      if (!targetValue.includes(value)) {\n        return null;\n      }\n      return false;\n    case TypeID.tuple: {\n      if (!isTupleValue(value)) {\n        return null;\n      }\n      let wasChanged = false;\n      for (let i = 0; i < type.factors.length; i++) {\n        const componentChanged = tryFixValue(value[i + 1], type.factors[i], targetAlias, targetValue);\n        if (componentChanged === null) {\n          return null;\n        }\n        if (componentChanged) {\n          wasChanged = true;\n        }\n      }\n      return wasChanged;\n    }\n    case TypeID.collection:\n      if (!Array.isArray(value) || (value.length > 1 && value[0] === TUPLE_ID)) {\n        return null;\n      }\n      let wasChanged = false;\n      const removeElements: Value[] = [];\n      for (const item of value) {\n        const elementChanged = tryFixValue(item, type.base, targetAlias, targetValue);\n        if (elementChanged === null || elementChanged === true) {\n          wasChanged = true;\n          if (elementChanged === null) {\n            removeElements.push(item);\n          }\n        }\n      }\n      for (const item of removeElements) {\n        const index = value.indexOf(item);\n        if (index !== -1) {\n          value.splice(index, 1);\n        }\n      }\n      if (wasChanged) {\n        value.sort((a, b) => compare(a, b));\n        let i = 1;\n        while (i < value.length) {\n          if (compare(value[i], value[i - 1]) === 0) {\n            value.splice(i, 1);\n          } else {\n            i++;\n          }\n        }\n      }\n      return wasChanged;\n\n    case TypeID.logic:\n    case TypeID.anyTypification:\n    case TypeID.predicate:\n    case TypeID.function:\n      return null;\n  }\n}\n\nexport function updateValueElement(value: Value | null, path: ValuePath, newValue: number): Value | null {\n  return setNestedValue(value, path, newValue);\n}\n\nexport function deleteValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  target: number\n): Value | null {\n  if (value === null) {\n    return null;\n  }\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return null;\n  }\n\n  const arrayValue = extractValue(value, path);\n  if (!Array.isArray(arrayValue)) {\n    return null;\n  }\n  const updatedArray = [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)];\n  return setNestedValue(value, path, updatedArray);\n}\n\nexport function addValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  currentType: Typification\n): Value | null {\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return makeDefaultValue(type);\n  }\n\n  const newElem = makeDefaultValue((currentType as EchelonCollection).base);\n  const arrayValue = (extractValue(value!, path) as Value[] | null) ?? [];\n  const updatedArray = [newElem, ...arrayValue];\n  return setNestedValue(value, path, updatedArray);\n}\n\n// ========= Internal functions ==========\n\nfunction canGenerateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>\n): boolean {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return true;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      return Object.keys(binding ?? {}).length > 0;\n    }\n    case TypeID.tuple:\n      return type.factors.every(factor => canGenerateRandomValue(factor, basics, cstByAlias));\n    case TypeID.collection:\n      return canGenerateRandomValue(type.base, basics, cstByAlias);\n    case TypeID.anyTypification:\n      return false;\n  }\n}\n\nfunction countBaseElements(cst: ModelEvalFields, engine: RSEngine): number {\n  if (!isBasicConcept(cst.cst_type)) {\n    return 0;\n  }\n  const value = engine.getCstValue(cst.id);\n  if (value === null) {\n    return 0;\n  }\n  if (!Array.isArray(value) || value[0] === TUPLE_ID) {\n    return 1;\n  }\n  return value.length;\n}\n"],"mappings":";;;;;;;AAWA,MAAM,qBAAqB;AAE3B,MAAM,oCAAoC;;AAG1C,SAAgB,yBAAyB,MAA+C;CACtF,IAAI,CAAC,QAAQ,OAAO,SAAS,YAAY,MAAM,QAAQ,IAAI,GACzD,OAAO;CAET,OAAO,OAAO,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,WAAW,OAAO,UAAU,YAAY,OAAO,UAAU,OAAO,GAAG,CAAC,CAAC;AAChH;;AAGA,SAAgB,eAAe,MAAqD;CAClF,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,IAAI,GACtC,OAAO,OAAO,CAAC,KAAK;CAEtB,OAAO;AACT;;AAGA,SAAgB,kBAAkB,MAA8B;CAC9D,IAAI,OAAO,SAAS,UAClB,OAAO,OAAO,SAAS,IAAI;CAE7B,IAAI,CAAC,MAAM,QAAQ,IAAI,GACrB,OAAO;CAET,OAAO,KAAK,OAAM,SAAQ,kBAAkB,IAAI,CAAC;AACnD;AAEA,SAAgB,oBACd,MACA,QACA,YACA,mBAA2B,mCACb;CACd,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO,KAAK,MAAM,KAAK,OAAO,IAAK,GAA4C,IAAI;EACrF,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,MAAM,MAAM,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM;GACjD,IAAI,IAAI,WAAW,GACjB,OAAO;GAET,OAAO,IAAI,KAAK,MAAM,KAAK,OAAO,IAAI,IAAI,MAAM;EAClD;EACA,KAAK,OAAO,OAAO;GACjB,MAAM,UAAmB,CAAC;GAC1B,KAAK,MAAM,UAAU,KAAK,SAAS;IACjC,MAAM,SAAS,oBAAoB,QAAQ,QAAQ,YAAY,gBAAgB;IAC/E,IAAI,WAAW,MACb,OAAO;IAET,QAAQ,KAAK,MAAM;GACrB;GACA,OAAO,MAAM,OAAO;EACtB;EACA,KAAK,OAAO,YAAY;GAGtB,IAAI,CAAC,uBAAuB,KAAK,MAAM,QAAQ,UAAU,GACvD,OAAO;GAET,MAAM,SAAkB,CAAC;GACzB,MAAM,sBAAsB,KAAK,MAAM,KAAK,OAAO,KAAK,mBAAmB,EAAE;GAC7E,KAAK,IAAI,IAAI,GAAG,IAAI,qBAAqB,KAAK;IAC5C,MAAM,SAAS,oBAAoB,KAAK,MAAM,QAAQ,YAAY,gBAAgB;IAClF,IAAI,WAAW,MACb,OAAO;IAET,OAAO,KAAK,MAAM;GACpB;GAEA,OAAO,IAAI,MAAM;EACnB;EACA,KAAK,OAAO,iBACV,OAAO;CACX;AACF;;AAGA,SAAgB,oBAAoB,QAAgB,QAAkB,mBAA0C;CAC9G,MAAM,QAAQ,OAAO;CACrB,MAAM,6BAAa,IAAI,IAAwB;CAC/C,KAAK,MAAM,OAAO,OAChB,WAAW,IAAI,IAAI,IAAI,OAAO,aAAa,IAAI,EAAE,CAAC;CAEpD,OAAO;EACL,GAAG,qBAAqB,MAAM;EAC9B,eAAe,MAAM,QAAQ,KAAK,QAAQ,MAAM,kBAAkB,KAAK,MAAM,GAAG,CAAC;EACjF,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,eAAe,IAAI,QAAQ,IAAI,IAAI,IACvG,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,cAAc,IAAI,IAC7E,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,eAAe,IAAI,IAC9E,CACF;EACA,4BAA4B,MAAM,QAC/B,KAAK,QACJ,OACC,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,aAAa,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,gBACtF,IACA,IACN,CACF;EACA,mBAAmB,MAAM,QACtB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,IAAI,aAAa,QAAQ,OAAO,IAAI,IACxG,CACF;CACF;AACF;;AAGA,SAAgB,aAAa,QAAkB,KAA+B;CAC5E,OAAO,yBAAyB,OAAO,aAAa,IAAI,EAAE,GAAG,IAAI,QAAQ,MAAM;AACjF;;AAGA,SAAgB,kBAAkB,OAAmC,QAAqC;CACxG,OAAO,MAAM,QAAO,QAAO,aAAa,QAAQ,GAAG,CAAC;AACtD;;AAGA,SAAgB,gBAAgB,MAAwB;CACtD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,aAAa,MAAwB;CACnD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,MACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,gBACd,OACA,SACA,gBAAyB,MACzB,YAAqB,OACT;CACZ,IAAI,UAAU,OAAO,KAAK,YAAY,QAAQ,YAAY;EACxD,IAAI,WACF,OAAO,WAAW;EAEpB,IAAI,UAAU,QAAS,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC9D,OAAO,WAAW;EAEpB,OAAO,WAAW;CACpB;CACA,IAAI,CAAC,aAAa,OAAO,GACvB,OAAO,WAAW;CAEpB,IAAI,CAAC,eACH,OAAO,WAAW;CAEpB,IAAI,UAAU,MACZ,OAAO,WAAW;CAEpB,IAAI,YAAY,QAAQ,SAAS,UAAA,GAC/B,OAAO,WAAW;CAEpB,IAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC3C,OAAO,WAAW;CAEpB,OAAO,WAAW;AACpB;;;;;;AAOA,SAAgB,YACd,OACA,MACA,aACA,aACgB;CAChB,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO;GACV,IAAI,KAAK,WAAW,aAClB,OAAO;GAET,IAAI,OAAO,UAAU,UACnB,OAAO;GAET,IAAI,CAAC,YAAY,SAAS,KAAK,GAC7B,OAAO;GAET,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,IAAI,CAAC,aAAa,KAAK,GACrB,OAAO;GAET,IAAI,aAAa;GACjB,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,QAAQ,QAAQ,KAAK;IAC5C,MAAM,mBAAmB,YAAY,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,aAAa,WAAW;IAC5F,IAAI,qBAAqB,MACvB,OAAO;IAET,IAAI,kBACF,aAAa;GAEjB;GACA,OAAO;EACT;EACA,KAAK,OAAO;GACV,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAM,MAAM,SAAS,KAAK,MAAM,OAAA,MACtD,OAAO;GAET,IAAI,aAAa;GACjB,MAAM,iBAA0B,CAAC;GACjC,KAAK,MAAM,QAAQ,OAAO;IACxB,MAAM,iBAAiB,YAAY,MAAM,KAAK,MAAM,aAAa,WAAW;IAC5E,IAAI,mBAAmB,QAAQ,mBAAmB,MAAM;KACtD,aAAa;KACb,IAAI,mBAAmB,MACrB,eAAe,KAAK,IAAI;IAE5B;GACF;GACA,KAAK,MAAM,QAAQ,gBAAgB;IACjC,MAAM,QAAQ,MAAM,QAAQ,IAAI;IAChC,IAAI,UAAU,IACZ,MAAM,OAAO,OAAO,CAAC;GAEzB;GACA,IAAI,YAAY;IACd,MAAM,MAAM,GAAG,MAAM,QAAQ,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI;IACR,OAAO,IAAI,MAAM,QACf,IAAI,QAAQ,MAAM,IAAI,MAAM,IAAI,EAAE,MAAM,GACtC,MAAM,OAAO,GAAG,CAAC;SAEjB;GAGN;GACA,OAAO;EAET,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO,UACV,OAAO;CACX;AACF;AAEA,SAAgB,mBAAmB,OAAqB,MAAiB,UAAgC;CACvG,OAAO,eAAe,OAAO,MAAM,QAAQ;AAC7C;AAEA,SAAgB,mBACd,OACA,MACA,MACA,QACc;CACd,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO;CAGT,MAAM,aAAa,aAAa,OAAO,IAAI;CAC3C,IAAI,CAAC,MAAM,QAAQ,UAAU,GAC3B,OAAO;CAGT,OAAO,eAAe,OAAO,MAAM,CADb,GAAG,WAAW,MAAM,GAAG,MAAM,GAAG,GAAG,WAAW,MAAM,SAAS,CAAC,CACjD,CAAY;AACjD;AAEA,SAAgB,gBACd,OACA,MACA,MACA,aACc;CACd,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO,iBAAiB,IAAI;CAM9B,OAAO,eAAe,OAAO,MAAM,CAHnB,iBAAkB,YAAkC,IAE9C,GAAS,GADX,aAAa,OAAQ,IAAI,KAAwB,CAAC,CAEnC,CAAY;AACjD;AAIA,SAAS,uBACP,MACA,QACA,YACS;CACT,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,OAAO,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;EAC7C;EACA,KAAK,OAAO,OACV,OAAO,KAAK,QAAQ,OAAM,WAAU,uBAAuB,QAAQ,QAAQ,UAAU,CAAC;EACxF,KAAK,OAAO,YACV,OAAO,uBAAuB,KAAK,MAAM,QAAQ,UAAU;EAC7D,KAAK,OAAO,iBACV,OAAO;CACX;AACF;AAEA,SAAS,kBAAkB,KAAsB,QAA0B;CACzE,IAAI,CAAC,eAAe,IAAI,QAAQ,GAC9B,OAAO;CAET,MAAM,QAAQ,OAAO,YAAY,IAAI,EAAE;CACvC,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,MAAM,OAAA,MACjC,OAAO;CAET,OAAO,MAAM;AACf"}

package/dist/library/rsmodel.d.ts

@@ -1,2 +1,2 @@
-import { d as DEFAULT_VALUE_TEXT, f as EvalStatus, h as TYPE_BASIC, l as BasicBinding, m as RSModelStats, p as RSModel, u as BasicsContext } from "../diagnostics-DKyMf6q-.js";
+import { d as DEFAULT_VALUE_TEXT, f as EvalStatus, h as TYPE_BASIC, l as BasicBinding, m as RSModelStats, p as RSModel, u as BasicsContext } from "../diagnostics-D4_B7rt2.js";
 export { BasicBinding, BasicsContext, DEFAULT_VALUE_TEXT, EvalStatus, RSModel, RSModelStats, TYPE_BASIC };

package/dist/library/structure-planner.d.ts

@@ -1,6 +1,6 @@
 import { b as Typification, y as TypePath } from "../typification-hWUoWCba.js";
-import "../index-CnuO4w8e.js";
-import { S as RSForm, v as Constituenta } from "../diagnostics-DKyMf6q-.js";
+import "../index-D-w-bgei.js";
+import { S as RSForm, v as Constituenta } from "../diagnostics-D4_B7rt2.js";
 //#region src/library/structure-planner.d.ts
 /** Represents a node in the structure planner. */
 interface SPNode {

package/dist/rslang/ast-annotations.d.ts

@@ -1,2 +1,2 @@
-import { i as readTypeAnnotation, n as annotateType, r as readErrorAnnotation, t as annotateError } from "../ast-annotations-x4PJ_Lhc.js";
+import { i as readTypeAnnotation, n as annotateType, r as readErrorAnnotation, t as annotateError } from "../ast-annotations-DclU1Ser.js";
 export { annotateError, annotateType, readErrorAnnotation, readTypeAnnotation };

package/dist/rslang/error.d.ts

@@ -1,2 +1,2 @@
-import { a as RSErrorInfo, i as RSErrorDescription, n as RSErrorClass, o as getRSErrorPrefix, r as RSErrorCode, s as isCritical, t as ErrorReporter } from "../error-B0EkIx4K.js";
-export { ErrorReporter, RSErrorClass, RSErrorCode, RSErrorDescription, RSErrorInfo, getRSErrorPrefix, isCritical };
+import { a as RSErrorDescription, c as getRSErrorPrefix, i as RSErrorCode, l as isCritical, n as EvalStackFrame, o as RSErrorInfo, r as RSErrorClass, s as formatEvalCallStack, t as ErrorReporter } from "../error-S1JghCNN.js";
+export { ErrorReporter, EvalStackFrame, RSErrorClass, RSErrorCode, RSErrorDescription, RSErrorInfo, formatEvalCallStack, getRSErrorPrefix, isCritical };

package/dist/rslang/error.js

@@ -8,6 +8,21 @@ const RSErrorClass = {
 	EVALUATION: 3,
 	UNKNOWN: 4
 };
+/**
+* Formats an evaluation call chain for display (`F5 → F12`).
+*
+* Uses callee aliases from outermost call to innermost fault container.
+* Returns an empty string when there is no nested call to show.
+*/
+function formatEvalCallStack(stack) {
+	if (!stack || stack.length === 0) return "";
+	const aliases = [];
+	for (let index = stack.length - 1; index >= 0; index--) {
+		const frame = stack[index];
+		if (frame) aliases.push(frame.alias);
+	}
+	return aliases.join(" → ");
+}
 /** Represents RSLang expression error types. */
 const RSErrorCode = {
 	unknownSyntax: 33792,
@@ -116,6 +131,6 @@ function isCritical(code) {
 	return true;
 }
 //#endregion
-export { RSErrorClass, RSErrorCode, getRSErrorPrefix, isCritical };
+export { RSErrorClass, RSErrorCode, formatEvalCallStack, getRSErrorPrefix, isCritical };
 
 //# sourceMappingURL=error.js.map

package/dist/rslang/error.js.map

@@ -1 +1 @@
-{"version":3,"file":"error.js","names":[],"sources":["../../src/rslang/error.ts"],"sourcesContent":["/** Module: Error types and functions. */\n\n/** Represents error class. */\nexport const RSErrorClass = {\n  LEXER: 0,\n  PARSER: 1,\n  SEMANTIC: 2,\n  EVALUATION: 3,\n  UNKNOWN: 4\n} as const;\nexport type RSErrorClass = (typeof RSErrorClass)[keyof typeof RSErrorClass];\n\n/** Represents RSLang expression error information. */\nexport interface RSErrorInfo {\n  code: RSErrorCode;\n  params?: readonly string[];\n}\n\n/** Represents RSLang expression error description. */\nexport interface RSErrorDescription extends RSErrorInfo {\n  from: number;\n  to: number;\n}\n\n/** Error reporter function type. */\nexport type ErrorReporter = (error: RSErrorDescription) => void;\n\n/** Represents RSLang expression error types. */\nexport const RSErrorCode = {\n  unknownSyntax: 0x8400, // 33792\n  forbiddenCharacter: 0x8401, // 33793\n  bracketMismatch: 0x8409, // 33801\n  doubleParenthesis: 0x840a, // 33802\n  missingOpenBracket: 0x840b, // 33803\n  missingCloseBracket: 0x840c, // 33804\n  invalidFilterSyntax: 0x8417, // 33815\n  expectedFunctionBody: 0x8418, // 33816\n  expectedExpressionBody: 0x8419, // 33817\n  expectedLogicBody: 0x841a, // 33818\n  expectedQuantifierBody: 0x841b, // 33819\n  expectedDeclarativeBody: 0x841c, // 33820\n  expectedImperativeBody: 0x841d, // 33821\n  expectedRecursiveBody: 0x841e, // 33822\n  expectedQuantifierDomain: 0x841f, // 33823\n  expectedRightOperand: 0x8420, // 33824\n  expectedUnaryOperand: 0x8421, // 33825\n  globalFuncParenCall: 0x8422, // 33826\n  expectedArgument: 0x8423, // 33827\n  expectedLocal: 0x8415, // 33813\n  expectedType: 0x8416, // 33814\n\n  localNotUsed: 0x2802, // 10242\n\n  localUndeclared: 0x8801, // 34817\n  localShadowing: 0x8802, // 34818\n  localDoubleDeclare: 0x8803, // 34819\n\n  typesNotEqual: 0x880a, // 34826\n  globalNotTyped: 0x8804, // 34820\n  invalidDecart: 0x8805, // 34821\n  invalidBoolean: 0x8806, // 34822\n  invalidTypeOperation: 0x8807, // 34823\n  invalidCard: 0x8808, // 34824\n  invalidDebool: 0x8809, // 34825\n  globalFuncWithoutArgs: 0x880b, // 34827\n  invalidReduce: 0x8810, // 34832\n  invalidEnumeration: 0x8813, // 34835\n  projectionSetArgumentNotSet: 0x8830, // 34864\n  projectionSetArgumentNotTupleSet: 0x8831, // 34865\n  projectionSetIndexOutOfRange: 0x8832, // 34866\n  projectionTupleArgumentNotTuple: 0x8833, // 34867\n  projectionTupleIndexOutOfRange: 0x8834, // 34868\n  invalidCortegeDeclare: 0x8814, // 34836\n  localOutOfScope: 0x8815, // 34837\n  invalidElementPredicate: 0x8816, // 34838\n  invalidEmptySetUsage: 0x8817, // 34839\n  invalidArgsArity: 0x8818, // 34840\n  invalidArgumentType: 0x8819, // 34841\n  globalStructure: 0x881c, // 34844\n  radicalUsage: 0x8821, // 34849\n  invalidFilterArgumentType: 0x8822, // 34850\n  invalidFilterArity: 0x8823, // 34851\n  arithmeticNotSupported: 0x8824, // 34852\n  typesNotCompatible: 0x8825, // 34853\n  orderingNotSupported: 0x8826, // 34854\n  expectedLogic: 0x8827, // 34855\n  expectedSetexpr: 0x8828, // 34856\n  invalidArgumentCortegeDeclare: 0x8829, // 34857\n  invalidQuantifierDomain: 0x882a, // 34858\n  invalidFilterParameterType: 0x882b, // 34859\n  invalidFilterIndex: 0x882c, // 34860\n  invalidFilterBooleanEchelon: 0x882d, // 34861\n  localOutOfScopeParentheses: 0x882e, // 34862\n  localUndeclaredInSubexpr: 0x882f, // 34863\n\n  globalNoValue: 0x8840, // 34880\n  invalidPropertyUsage: 0x8841, // 34881\n\n  // Value evaluation (runtime)\n  calcUnknownError: 0x8100, // 35328\n  setOverflow: 0x8101, // 35329\n  booleanBaseLimit: 0x8102, // 35330\n  calcGlobalMissing: 0x8103, // 35331\n  iterationsLimit: 0x8104, // 35332\n  calcInvalidDebool: 0x8105, // 35333\n  iterateInfinity: 0x8106, // 35334\n  calculationNotSupported: 0x8107, // 35335\n  calcInvalidData: 0x8108, // 35336\n\n  cstEmptyDerived: 0x8861, // 34913\n  definitionNotAllowed: 0x8862, // 34914\n\n  // Schema diagnostics surfaced in expression analysis (same value as RSDiagnosticCode.schemaDependencyCycle).\n  schemaDependencyCycle: 0x8906 // 35078\n} as const;\nexport type RSErrorCode = (typeof RSErrorCode)[keyof typeof RSErrorCode];\n\nconst ERROR_EVALUATION_MASK = 0x0100;\nconst ERROR_LEXER_MASK = 0x0200;\nconst ERROR_PARSER_MASK = 0x0400;\nconst ERROR_SEMANTIC_MASK = 0x0800;\n\n/** Infers error class from error type (code). */\nfunction inferErrorClass(error: RSErrorCode): RSErrorClass {\n  if ((error & ERROR_EVALUATION_MASK) !== 0) {\n    return RSErrorClass.EVALUATION;\n  } else if ((error & ERROR_LEXER_MASK) !== 0) {\n    return RSErrorClass.LEXER;\n  } else if ((error & ERROR_PARSER_MASK) !== 0) {\n    return RSErrorClass.PARSER;\n  } else if ((error & ERROR_SEMANTIC_MASK) !== 0) {\n    return RSErrorClass.SEMANTIC;\n  } else {\n    return RSErrorClass.UNKNOWN;\n  }\n}\n\n/** Generate ErrorID label. */\nexport function getRSErrorPrefix(code: RSErrorCode): string {\n  const id = code.toString(16).toUpperCase();\n  // prettier-ignore\n  switch (inferErrorClass(code)) {\n    case RSErrorClass.LEXER: return 'L' + id;\n    case RSErrorClass.PARSER: return 'P' + id;\n    case RSErrorClass.SEMANTIC: return 'S' + id;\n    case RSErrorClass.EVALUATION: return 'E' + id;\n    case RSErrorClass.UNKNOWN: return 'U' + id;\n  }\n}\n\n/** Checks if error is critical. */\nexport function isCritical(code: RSErrorCode): boolean {\n  if ((code & 0xf000) === 0x2000) {\n    return false;\n  }\n  return true;\n}\n"],"mappings":";;;AAGA,MAAa,eAAe;CAC1B,OAAO;CACP,QAAQ;CACR,UAAU;CACV,YAAY;CACZ,SAAS;AACX;;AAmBA,MAAa,cAAc;CACzB,eAAe;CACf,oBAAoB;CACpB,iBAAiB;CACjB,mBAAmB;CACnB,oBAAoB;CACpB,qBAAqB;CACrB,qBAAqB;CACrB,sBAAsB;CACtB,wBAAwB;CACxB,mBAAmB;CACnB,wBAAwB;CACxB,yBAAyB;CACzB,wBAAwB;CACxB,uBAAuB;CACvB,0BAA0B;CAC1B,sBAAsB;CACtB,sBAAsB;CACtB,qBAAqB;CACrB,kBAAkB;CAClB,eAAe;CACf,cAAc;CAEd,cAAc;CAEd,iBAAiB;CACjB,gBAAgB;CAChB,oBAAoB;CAEpB,eAAe;CACf,gBAAgB;CAChB,eAAe;CACf,gBAAgB;CAChB,sBAAsB;CACtB,aAAa;CACb,eAAe;CACf,uBAAuB;CACvB,eAAe;CACf,oBAAoB;CACpB,6BAA6B;CAC7B,kCAAkC;CAClC,8BAA8B;CAC9B,iCAAiC;CACjC,gCAAgC;CAChC,uBAAuB;CACvB,iBAAiB;CACjB,yBAAyB;CACzB,sBAAsB;CACtB,kBAAkB;CAClB,qBAAqB;CACrB,iBAAiB;CACjB,cAAc;CACd,2BAA2B;CAC3B,oBAAoB;CACpB,wBAAwB;CACxB,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,iBAAiB;CACjB,+BAA+B;CAC/B,yBAAyB;CACzB,4BAA4B;CAC5B,oBAAoB;CACpB,6BAA6B;CAC7B,4BAA4B;CAC5B,0BAA0B;CAE1B,eAAe;CACf,sBAAsB;CAGtB,kBAAkB;CAClB,aAAa;CACb,kBAAkB;CAClB,mBAAmB;CACnB,iBAAiB;CACjB,mBAAmB;CACnB,iBAAiB;CACjB,yBAAyB;CACzB,iBAAiB;CAEjB,iBAAiB;CACjB,sBAAsB;CAGtB,uBAAuB;AACzB;AAGA,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AACzB,MAAM,oBAAoB;AAC1B,MAAM,sBAAsB;;AAG5B,SAAS,gBAAgB,OAAkC;CACzD,KAAK,QAAQ,2BAA2B,GACtC,OAAO,aAAa;MACf,KAAK,QAAQ,sBAAsB,GACxC,OAAO,aAAa;MACf,KAAK,QAAQ,uBAAuB,GACzC,OAAO,aAAa;MACf,KAAK,QAAQ,yBAAyB,GAC3C,OAAO,aAAa;MAEpB,OAAO,aAAa;AAExB;;AAGA,SAAgB,iBAAiB,MAA2B;CAC1D,MAAM,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;CAEzC,QAAQ,gBAAgB,IAAI,GAA5B;EACE,KAAK,aAAa,OAAO,OAAO,MAAM;EACtC,KAAK,aAAa,QAAQ,OAAO,MAAM;EACvC,KAAK,aAAa,UAAU,OAAO,MAAM;EACzC,KAAK,aAAa,YAAY,OAAO,MAAM;EAC3C,KAAK,aAAa,SAAS,OAAO,MAAM;CAC1C;AACF;;AAGA,SAAgB,WAAW,MAA4B;CACrD,KAAK,OAAO,WAAY,MACtB,OAAO;CAET,OAAO;AACT"}
+{"version":3,"file":"error.js","names":[],"sources":["../../src/rslang/error.ts"],"sourcesContent":["/** Module: Error types and functions. */\n\n/** Represents error class. */\nexport const RSErrorClass = {\n  LEXER: 0,\n  PARSER: 1,\n  SEMANTIC: 2,\n  EVALUATION: 3,\n  UNKNOWN: 4\n} as const;\nexport type RSErrorClass = (typeof RSErrorClass)[keyof typeof RSErrorClass];\n\n/** Represents RSLang expression error information. */\nexport interface RSErrorInfo {\n  code: RSErrorCode;\n  params?: readonly string[];\n}\n\n/**\n * One frame of an evaluation call chain.\n *\n * Spans are relative to the formal definition of {@link alias}.\n * Frames are ordered innermost-first: fault locus, then each caller outward.\n * The root expression under evaluation is not a frame — its highlight is\n * {@link RSErrorDescription.from}/{@link RSErrorDescription.to}; {@link RSErrorDescription.stack}\n * is absent when the fault is in that root expression.\n */\nexport interface EvalStackFrame {\n  /** Constituent whose formal definition contains this span. */\n  alias: string;\n  /** Half-open span `[from, to)` in that definition. */\n  from: number;\n  to: number;\n}\n\n/** Represents RSLang expression error description. */\nexport interface RSErrorDescription extends RSErrorInfo {\n  from: number;\n  to: number;\n  /**\n   * Evaluation call chain when the fault is inside a called `F#`/`P#` body.\n   * Absent for parse/semantic errors and for evaluation errors in the root expression.\n   */\n  stack?: readonly EvalStackFrame[];\n}\n\n/** Error reporter function type. */\nexport type ErrorReporter = (error: RSErrorDescription) => void;\n\n/**\n * Formats an evaluation call chain for display (`F5 → F12`).\n *\n * Uses callee aliases from outermost call to innermost fault container.\n * Returns an empty string when there is no nested call to show.\n */\nexport function formatEvalCallStack(stack: readonly EvalStackFrame[] | undefined): string {\n  if (!stack || stack.length === 0) {\n    return '';\n  }\n  const aliases: string[] = [];\n  for (let index = stack.length - 1; index >= 0; index--) {\n    const frame = stack[index];\n    if (frame) {\n      aliases.push(frame.alias);\n    }\n  }\n  return aliases.join(' → ');\n}\n\n/** Represents RSLang expression error types. */\nexport const RSErrorCode = {\n  unknownSyntax: 0x8400, // 33792\n  forbiddenCharacter: 0x8401, // 33793\n  bracketMismatch: 0x8409, // 33801\n  doubleParenthesis: 0x840a, // 33802\n  missingOpenBracket: 0x840b, // 33803\n  missingCloseBracket: 0x840c, // 33804\n  invalidFilterSyntax: 0x8417, // 33815\n  expectedFunctionBody: 0x8418, // 33816\n  expectedExpressionBody: 0x8419, // 33817\n  expectedLogicBody: 0x841a, // 33818\n  expectedQuantifierBody: 0x841b, // 33819\n  expectedDeclarativeBody: 0x841c, // 33820\n  expectedImperativeBody: 0x841d, // 33821\n  expectedRecursiveBody: 0x841e, // 33822\n  expectedQuantifierDomain: 0x841f, // 33823\n  expectedRightOperand: 0x8420, // 33824\n  expectedUnaryOperand: 0x8421, // 33825\n  globalFuncParenCall: 0x8422, // 33826\n  expectedArgument: 0x8423, // 33827\n  expectedLocal: 0x8415, // 33813\n  expectedType: 0x8416, // 33814\n\n  localNotUsed: 0x2802, // 10242\n\n  localUndeclared: 0x8801, // 34817\n  localShadowing: 0x8802, // 34818\n  localDoubleDeclare: 0x8803, // 34819\n\n  typesNotEqual: 0x880a, // 34826\n  globalNotTyped: 0x8804, // 34820\n  invalidDecart: 0x8805, // 34821\n  invalidBoolean: 0x8806, // 34822\n  invalidTypeOperation: 0x8807, // 34823\n  invalidCard: 0x8808, // 34824\n  invalidDebool: 0x8809, // 34825\n  globalFuncWithoutArgs: 0x880b, // 34827\n  invalidReduce: 0x8810, // 34832\n  invalidEnumeration: 0x8813, // 34835\n  projectionSetArgumentNotSet: 0x8830, // 34864\n  projectionSetArgumentNotTupleSet: 0x8831, // 34865\n  projectionSetIndexOutOfRange: 0x8832, // 34866\n  projectionTupleArgumentNotTuple: 0x8833, // 34867\n  projectionTupleIndexOutOfRange: 0x8834, // 34868\n  invalidCortegeDeclare: 0x8814, // 34836\n  localOutOfScope: 0x8815, // 34837\n  invalidElementPredicate: 0x8816, // 34838\n  invalidEmptySetUsage: 0x8817, // 34839\n  invalidArgsArity: 0x8818, // 34840\n  invalidArgumentType: 0x8819, // 34841\n  globalStructure: 0x881c, // 34844\n  radicalUsage: 0x8821, // 34849\n  invalidFilterArgumentType: 0x8822, // 34850\n  invalidFilterArity: 0x8823, // 34851\n  arithmeticNotSupported: 0x8824, // 34852\n  typesNotCompatible: 0x8825, // 34853\n  orderingNotSupported: 0x8826, // 34854\n  expectedLogic: 0x8827, // 34855\n  expectedSetexpr: 0x8828, // 34856\n  invalidArgumentCortegeDeclare: 0x8829, // 34857\n  invalidQuantifierDomain: 0x882a, // 34858\n  invalidFilterParameterType: 0x882b, // 34859\n  invalidFilterIndex: 0x882c, // 34860\n  invalidFilterBooleanEchelon: 0x882d, // 34861\n  localOutOfScopeParentheses: 0x882e, // 34862\n  localUndeclaredInSubexpr: 0x882f, // 34863\n\n  globalNoValue: 0x8840, // 34880\n  invalidPropertyUsage: 0x8841, // 34881\n\n  // Value evaluation (runtime)\n  calcUnknownError: 0x8100, // 35328\n  setOverflow: 0x8101, // 35329\n  booleanBaseLimit: 0x8102, // 35330\n  calcGlobalMissing: 0x8103, // 35331\n  iterationsLimit: 0x8104, // 35332\n  calcInvalidDebool: 0x8105, // 35333\n  iterateInfinity: 0x8106, // 35334\n  calculationNotSupported: 0x8107, // 35335\n  calcInvalidData: 0x8108, // 35336\n\n  cstEmptyDerived: 0x8861, // 34913\n  definitionNotAllowed: 0x8862, // 34914\n\n  // Schema diagnostics surfaced in expression analysis (same value as RSDiagnosticCode.schemaDependencyCycle).\n  schemaDependencyCycle: 0x8906 // 35078\n} as const;\nexport type RSErrorCode = (typeof RSErrorCode)[keyof typeof RSErrorCode];\n\nconst ERROR_EVALUATION_MASK = 0x0100;\nconst ERROR_LEXER_MASK = 0x0200;\nconst ERROR_PARSER_MASK = 0x0400;\nconst ERROR_SEMANTIC_MASK = 0x0800;\n\n/** Infers error class from error type (code). */\nfunction inferErrorClass(error: RSErrorCode): RSErrorClass {\n  if ((error & ERROR_EVALUATION_MASK) !== 0) {\n    return RSErrorClass.EVALUATION;\n  } else if ((error & ERROR_LEXER_MASK) !== 0) {\n    return RSErrorClass.LEXER;\n  } else if ((error & ERROR_PARSER_MASK) !== 0) {\n    return RSErrorClass.PARSER;\n  } else if ((error & ERROR_SEMANTIC_MASK) !== 0) {\n    return RSErrorClass.SEMANTIC;\n  } else {\n    return RSErrorClass.UNKNOWN;\n  }\n}\n\n/** Generate ErrorID label. */\nexport function getRSErrorPrefix(code: RSErrorCode): string {\n  const id = code.toString(16).toUpperCase();\n  // prettier-ignore\n  switch (inferErrorClass(code)) {\n    case RSErrorClass.LEXER: return 'L' + id;\n    case RSErrorClass.PARSER: return 'P' + id;\n    case RSErrorClass.SEMANTIC: return 'S' + id;\n    case RSErrorClass.EVALUATION: return 'E' + id;\n    case RSErrorClass.UNKNOWN: return 'U' + id;\n  }\n}\n\n/** Checks if error is critical. */\nexport function isCritical(code: RSErrorCode): boolean {\n  if ((code & 0xf000) === 0x2000) {\n    return false;\n  }\n  return true;\n}\n"],"mappings":";;;AAGA,MAAa,eAAe;CAC1B,OAAO;CACP,QAAQ;CACR,UAAU;CACV,YAAY;CACZ,SAAS;AACX;;;;;;;AA8CA,SAAgB,oBAAoB,OAAsD;CACxF,IAAI,CAAC,SAAS,MAAM,WAAW,GAC7B,OAAO;CAET,MAAM,UAAoB,CAAC;CAC3B,KAAK,IAAI,QAAQ,MAAM,SAAS,GAAG,SAAS,GAAG,SAAS;EACtD,MAAM,QAAQ,MAAM;EACpB,IAAI,OACF,QAAQ,KAAK,MAAM,KAAK;CAE5B;CACA,OAAO,QAAQ,KAAK,KAAK;AAC3B;;AAGA,MAAa,cAAc;CACzB,eAAe;CACf,oBAAoB;CACpB,iBAAiB;CACjB,mBAAmB;CACnB,oBAAoB;CACpB,qBAAqB;CACrB,qBAAqB;CACrB,sBAAsB;CACtB,wBAAwB;CACxB,mBAAmB;CACnB,wBAAwB;CACxB,yBAAyB;CACzB,wBAAwB;CACxB,uBAAuB;CACvB,0BAA0B;CAC1B,sBAAsB;CACtB,sBAAsB;CACtB,qBAAqB;CACrB,kBAAkB;CAClB,eAAe;CACf,cAAc;CAEd,cAAc;CAEd,iBAAiB;CACjB,gBAAgB;CAChB,oBAAoB;CAEpB,eAAe;CACf,gBAAgB;CAChB,eAAe;CACf,gBAAgB;CAChB,sBAAsB;CACtB,aAAa;CACb,eAAe;CACf,uBAAuB;CACvB,eAAe;CACf,oBAAoB;CACpB,6BAA6B;CAC7B,kCAAkC;CAClC,8BAA8B;CAC9B,iCAAiC;CACjC,gCAAgC;CAChC,uBAAuB;CACvB,iBAAiB;CACjB,yBAAyB;CACzB,sBAAsB;CACtB,kBAAkB;CAClB,qBAAqB;CACrB,iBAAiB;CACjB,cAAc;CACd,2BAA2B;CAC3B,oBAAoB;CACpB,wBAAwB;CACxB,oBAAoB;CACpB,sBAAsB;CACtB,eAAe;CACf,iBAAiB;CACjB,+BAA+B;CAC/B,yBAAyB;CACzB,4BAA4B;CAC5B,oBAAoB;CACpB,6BAA6B;CAC7B,4BAA4B;CAC5B,0BAA0B;CAE1B,eAAe;CACf,sBAAsB;CAGtB,kBAAkB;CAClB,aAAa;CACb,kBAAkB;CAClB,mBAAmB;CACnB,iBAAiB;CACjB,mBAAmB;CACnB,iBAAiB;CACjB,yBAAyB;CACzB,iBAAiB;CAEjB,iBAAiB;CACjB,sBAAsB;CAGtB,uBAAuB;AACzB;AAGA,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB;AACzB,MAAM,oBAAoB;AAC1B,MAAM,sBAAsB;;AAG5B,SAAS,gBAAgB,OAAkC;CACzD,KAAK,QAAQ,2BAA2B,GACtC,OAAO,aAAa;MACf,KAAK,QAAQ,sBAAsB,GACxC,OAAO,aAAa;MACf,KAAK,QAAQ,uBAAuB,GACzC,OAAO,aAAa;MACf,KAAK,QAAQ,yBAAyB,GAC3C,OAAO,aAAa;MAEpB,OAAO,aAAa;AAExB;;AAGA,SAAgB,iBAAiB,MAA2B;CAC1D,MAAM,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,YAAY;CAEzC,QAAQ,gBAAgB,IAAI,GAA5B;EACE,KAAK,aAAa,OAAO,OAAO,MAAM;EACtC,KAAK,aAAa,QAAQ,OAAO,MAAM;EACvC,KAAK,aAAa,UAAU,OAAO,MAAM;EACzC,KAAK,aAAa,YAAY,OAAO,MAAM;EAC3C,KAAK,aAAa,SAAS,OAAO,MAAM;CAC1C;AACF;;AAGA,SAAgB,WAAW,MAA4B;CACrD,KAAK,OAAO,WAAY,MACtB,OAAO;CAET,OAAO;AACT"}

package/dist/rslang/eval/calculator.d.ts

@@ -1,2 +1,2 @@
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../../calculator-uPaTV3hc.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../../calculator-B-1p712X.js";
 export { CalculatorEvaluateOptions, CalculatorResult, RSCalculator };

package/dist/rslang/eval/evaluator.d.ts

@@ -1,6 +1,6 @@
 import { t as AstNode } from "../../ast-D-D6Rq3T.js";
 import "../../index-D5RahF1K.js";
-import { t as ErrorReporter } from "../../error-B0EkIx4K.js";
+import { t as ErrorReporter } from "../../error-S1JghCNN.js";
 import { l as Value, u as ValueContext } from "../../value-XpJOVzMP.js";
 //#region src/rslang/eval/evaluator.d.ts
 /** AST context. */
@@ -23,7 +23,17 @@ declare class Evaluator {
   constructor(context: ValueContext, astContext: ASTContext);
   run(ast: AstNode, reporter?: ErrorReporter, annotateErrors?: boolean, disableCache?: boolean): Value | null;
   private clear;
-  private errorNode;
+  /**
+   * Surface highlight target in the root expression under evaluation.
+   * Nested call sites live in callee ASTs — only the outermost call is in the root.
+   */
+  private surfaceErrorNode;
+  /**
+   * Builds innermost-first frames for called `F#`/`P#` bodies only.
+   * The root expression is represented by the surface `from`/`to`, not a stack frame.
+   * Returns `undefined` when the fault is in the root expression (no function call).
+   */
+  private buildEvalStack;
   private onError;
   private tick;
   private dispatchDeclare;