@rsconcept/domain 3.0.2 → 3.1.1

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,18 +7,18 @@ 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 { C as printValue, o as TUPLE_ID, u as makeValuePath } from "./value-BDISzQqI.js";
 import { RSCalculator } from "./rslang/eval/calculator.js";
 import { ValueClass } from "./rslang/semantic/value-class.js";
 import { RSLangAnalyzer } from "./rslang/semantic/analyzer.js";
 import { applyAsciiTypeSubstitutions, parseTypeText } from "./rslang/semantic/typification-parser.js";
 import { TypificationGraph } from "./rslang/typification-graph.js";
-import { a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind } from "./diagnostics-D1Cp21nP.js";
+import { a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind } from "./diagnostics-D_4TpAH4.js";
 import { DEFAULT_VALUE_TEXT, EvalStatus } from "./library/rsmodel.js";
 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/diagnostics.js

@@ -1,2 +1,2 @@
-import { a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind } from "../diagnostics-D1Cp21nP.js";
+import { a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind } from "../diagnostics-D_4TpAH4.js";
 export { 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/index.js

@@ -5,7 +5,7 @@ import { TypeID } from "../rslang/semantic/typification.js";
 import { labelType } from "../rslang/labels.js";
 import { applyAliasMapping, isGlobalAlias, parseRSLangExpression, splitTemplateDefinition, substituteLocalAliases, substituteTemplateArgs } from "../rslang/api.js";
 import { CstClass, CstStatus, CstType } from "./rsform.js";
-import { $ as isFunctional, A as normalizeExpression, R as applyMappingToConstituents, V as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, k as inferTemplatedType, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, z as argumentValuesToMapping } from "../diagnostics-D1Cp21nP.js";
+import { $ as isFunctional, A as normalizeExpression, R as applyMappingToConstituents, V as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, k as inferTemplatedType, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, z as argumentValuesToMapping } from "../diagnostics-D_4TpAH4.js";
 import { DEFAULT_VALUE_TEXT, EvalStatus } from "./rsmodel.js";
 import { FolderNode, FolderTree } from "./folder-tree.js";
 import { AccessPolicy, LibraryItemType, LocationHead } from "./library.js";

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/oss-api.js

@@ -3,7 +3,7 @@ import { labelType } from "../rslang/labels.js";
 import { applyAliasMapping, applyTypificationMapping, isSetTypification } from "../rslang/api.js";
 import { CstClass, CstType } from "./rsform.js";
 import { extractBases } from "../rslang/semantic/typification-api.js";
-import { a as formatDependencyCycle } from "../diagnostics-D1Cp21nP.js";
+import { a as formatDependencyCycle } from "../diagnostics-D_4TpAH4.js";
 import "../graph/index.js";
 import { NodeType, SubstitutionErrorType } from "./oss.js";
 //#region src/library/oss-api.ts
@@ -126,9 +126,7 @@ var SubstitutionValidator = class {
 					if (original.cst_type !== CstType.PREDICATE) return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);
 					break;
 				case CstType.TERM:
-				case CstType.STRUCTURED:
-					if (original.cst_type !== CstType.TERM && original.cst_type !== CstType.STRUCTURED && original.cst_type !== CstType.BASE) return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);
-					break;
+				case CstType.STRUCTURED: if (original.cst_type !== CstType.TERM && original.cst_type !== CstType.STRUCTURED && original.cst_type !== CstType.BASE) return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);
 			}
 		}
 		return true;

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

@@ -1 +1 @@
-{"version":3,"file":"oss-api.js","names":[],"sources":["../../src/library/oss-api.ts"],"sourcesContent":["/**\n * Module: API for OperationSystem.\n */\n\nimport { Graph } from '../graph';\nimport { type AliasMapping, applyAliasMapping, applyTypificationMapping, isSetTypification } from '../rslang/api';\nimport { labelType } from '../rslang/labels';\nimport { extractBases } from '../rslang/semantic/typification-api';\n\nimport { formatDependencyCycle } from './diagnostics';\nimport { type LibraryItem } from './library';\nimport { NodeType, type OperationSchema, type SubstitutionErrorDescription, SubstitutionErrorType } from './oss';\nimport { type Constituenta, CstClass, CstType, type RSForm, type Substitution } from './rsform';\nimport { type FormalOrderFields } from './rsform-api';\n\nconst STARTING_SUB_INDEX = 900; // max semantic index for starting substitution\n\nexport function constructNodeID(type: NodeType, itemID: number): string {\n  return type === NodeType.OPERATION ? 'o' + String(itemID) : 'b' + String(itemID);\n}\n\n/** Sorts library items relevant for the specified {@link OperationSchema}. */\nexport function sortItemsForOSS(oss: OperationSchema, items: readonly LibraryItem[]): LibraryItem[] {\n  const result = items.filter(item => item.location === oss.location);\n  for (const item of items) {\n    if (item.visible && item.owner === oss.owner && !result.includes(item)) {\n      result.push(item);\n    }\n  }\n  for (const item of items) {\n    if (item.visible && !result.includes(item)) {\n      result.push(item);\n    }\n  }\n  for (const item of items) {\n    if (!result.includes(item)) {\n      result.push(item);\n    }\n  }\n  return result;\n}\n\ntype CrossMapping = Map<number, AliasMapping>;\n\n/** Validator for Substitution table. */\nexport class SubstitutionValidator {\n  public errors: SubstitutionErrorDescription[] = [];\n  public suggestions: Substitution[] = [];\n\n  private schemas: RSForm[];\n  private substitutions: Substitution[];\n  private constituents = new Set<number>();\n  private originals = new Set<number>();\n  private mapping: CrossMapping = new Map();\n\n  private cstByID = new Map<number, Constituenta>();\n  private schemaByID = new Map<number, RSForm>();\n  private schemaByCst = new Map<number, RSForm>();\n\n  constructor(schemas: RSForm[], substitutions: Substitution[]) {\n    this.schemas = schemas;\n    this.substitutions = substitutions;\n    if (schemas.length === 0) {\n      return;\n    }\n\n    for (const schema of schemas) {\n      this.schemaByID.set(schema.id, schema);\n      this.mapping.set(schema.id, {});\n      for (const item of schema.items) {\n        this.cstByID.set(item.id, item);\n        this.schemaByCst.set(item.id, schema);\n      }\n    }\n    if (substitutions.length === 0) {\n      return;\n    }\n    let index = STARTING_SUB_INDEX;\n    for (const item of substitutions) {\n      this.constituents.add(item.original);\n      this.constituents.add(item.substitution);\n      this.originals.add(item.original);\n      const original = this.cstByID.get(item.original);\n      const substitution = this.cstByID.get(item.substitution);\n      if (!original || !substitution) {\n        return;\n      }\n      index++;\n      const newAlias = `${substitution.alias[0]}${index}`;\n      this.mapping.get(original.schema)![original.alias] = newAlias;\n      this.mapping.get(substitution.schema)![substitution.alias] = newAlias;\n    }\n  }\n\n  public validate(): boolean {\n    this.errors = [];\n    this.suggestions = [];\n    this.calculateSuggestions();\n    if (this.substitutions.length === 0) {\n      return true;\n    }\n    if (!this.checkTypes()) {\n      return false;\n    }\n    if (!this.checkTypificationCycles()) {\n      return false;\n    }\n    if (!this.checkDefinitionCycles()) {\n      return false;\n    }\n    if (!this.checkSubstitutions()) {\n      return false;\n    }\n    return true;\n  }\n\n  private calculateSuggestions(): void {\n    const candidates = new Map<number, string>();\n    const minors = new Set<number>();\n    const schemaByCst = new Map<number, RSForm>();\n    for (const schema of this.schemas) {\n      for (const cst of schema.items) {\n        if (this.originals.has(cst.id)) {\n          continue;\n        }\n        if (cst.cst_class === CstClass.BASIC || cst.definition_formal.length === 0) {\n          continue;\n        }\n        const inputs = schema.graph.at(cst.id)!.inputs;\n        if (inputs.some(id => !this.constituents.has(id))) {\n          continue;\n        }\n        if (inputs.some(id => this.originals.has(id))) {\n          minors.add(cst.id);\n        }\n        candidates.set(\n          cst.id,\n          applyAliasMapping(cst.definition_formal, this.mapping.get(schema.id)!).replace(/\\s+/g, '')\n        );\n        schemaByCst.set(cst.id, schema);\n      }\n    }\n    for (const [key1, value1] of candidates) {\n      for (const [key2, value2] of candidates) {\n        if (key1 >= key2) {\n          continue;\n        }\n        if (schemaByCst.get(key1) === schemaByCst.get(key2)) {\n          continue;\n        }\n        if (value1 != value2) {\n          continue;\n        }\n        if (minors.has(key2)) {\n          this.suggestions.push({\n            original: key2,\n            substitution: key1\n          });\n        } else {\n          this.suggestions.push({\n            original: key1,\n            substitution: key2\n          });\n        }\n      }\n    }\n  }\n\n  private checkTypes(): boolean {\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original);\n      const substitution = this.cstByID.get(item.substitution);\n      if (!original || !substitution) {\n        return this.reportError(SubstitutionErrorType.invalidIDs, []);\n      }\n      if (\n        substitution.analysis &&\n        original.analysis &&\n        (!original.analysis.success || !substitution.analysis.success)\n      ) {\n        return this.reportError(SubstitutionErrorType.incorrectCst, [substitution.alias, original.alias]);\n      }\n      switch (substitution.cst_type) {\n        case CstType.NOMINAL: {\n          if (original.cst_type !== CstType.NOMINAL) {\n            return this.reportError(SubstitutionErrorType.invalidNominal, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n        case CstType.BASE: {\n          if (\n            original.cst_type !== CstType.BASE &&\n            original.cst_type !== CstType.CONSTANT &&\n            original.cst_type !== CstType.NOMINAL\n          ) {\n            return this.reportError(SubstitutionErrorType.invalidBasic, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.CONSTANT: {\n          if (original.cst_type !== CstType.CONSTANT) {\n            return this.reportError(SubstitutionErrorType.invalidConstant, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.AXIOM:\n        case CstType.STATEMENT: {\n          if (original.cst_type !== CstType.AXIOM && original.cst_type !== CstType.STATEMENT) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.FUNCTION: {\n          if (original.cst_type !== CstType.FUNCTION) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n        case CstType.PREDICATE: {\n          if (original.cst_type !== CstType.PREDICATE) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.TERM:\n        case CstType.STRUCTURED: {\n          if (\n            original.cst_type !== CstType.TERM &&\n            original.cst_type !== CstType.STRUCTURED &&\n            original.cst_type !== CstType.BASE\n          ) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n      }\n    }\n    return true;\n  }\n\n  /**\n   * Detect cycles among base/constant sets implied by typifications of non-base\n   * constituents under the substitution table.\n   */\n  private checkTypificationCycles(): boolean {\n    const graph = new Graph();\n    for (const schema of this.schemas) {\n      for (const cst of schema.items) {\n        if (cst.cst_type === CstType.BASE || cst.cst_type === CstType.CONSTANT) {\n          graph.addNode(cst.id);\n        }\n      }\n    }\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original)!;\n      const substitution = this.cstByID.get(item.substitution)!;\n      for (const cst of [original, substitution]) {\n        if (cst.cst_type === CstType.BASE || cst.cst_type === CstType.CONSTANT) {\n          continue;\n        }\n        graph.addNode(cst.id);\n        if (cst.effectiveType === null) {\n          continue;\n        }\n        const parents = extractBases(cst.effectiveType);\n        if (parents.size === 0) {\n          continue;\n        }\n        const schema = this.schemaByID.get(cst.schema)!;\n        for (const alias of parents) {\n          const parent = schema.cstByAlias.get(alias);\n          if (parent) {\n            graph.addEdge(parent.id, cst.id);\n          }\n        }\n      }\n      graph.addEdge(substitution.id, original.id);\n    }\n    const cycle = graph.findCycle();\n    if (cycle !== null) {\n      const cycleMsg = cycle\n        .map(id => {\n          const cst = this.cstByID.get(id)!;\n          const schema = this.schemaByID.get(cst.schema)!;\n          return `[${schema.alias}]-${cst.alias}`;\n        })\n        .join(', ');\n      return this.reportError(SubstitutionErrorType.typificationCycle, [cycleMsg]);\n    }\n    return true;\n  }\n\n  /**\n   * Detect logical cycles in formal definitions after applying the substitution table\n   * (e.g. D16 := F2[D15] with identification D15 → D16 yields D16 := F2[D16]).\n   */\n  private checkDefinitionCycles(): boolean {\n    const graph = new Graph();\n    for (const schema of this.schemas) {\n      for (const [id, node] of schema.graph.nodes) {\n        graph.addNode(id);\n        for (const output of node.outputs) {\n          graph.addEdge(id, output);\n        }\n      }\n    }\n\n    const deleted = new Map<number, number>();\n    for (const item of this.substitutions) {\n      deleted.set(item.original, item.substitution);\n    }\n    const resolve = (id: number): number => deleted.get(id) ?? id;\n\n    const result = new Graph();\n    for (const id of graph.nodes.keys()) {\n      if (!deleted.has(id)) {\n        result.addNode(id);\n      }\n    }\n    for (const substitutionId of deleted.values()) {\n      result.addNode(substitutionId);\n    }\n\n    for (const [id, node] of graph.nodes) {\n      for (const output of node.outputs) {\n        if (deleted.has(output)) {\n          continue;\n        }\n        result.addEdge(resolve(id), output);\n      }\n    }\n\n    const cycle = result.findCycle();\n    if (cycle !== null) {\n      const aliases = cycle.map(id => {\n        const cst = this.cstByID.get(id);\n        if (!cst) {\n          return String(id);\n        }\n        if (this.schemas.length > 1) {\n          const schema = this.schemaByID.get(cst.schema);\n          return schema ? `[${schema.alias}]-${cst.alias}` : cst.alias;\n        }\n        return cst.alias;\n      });\n      return this.reportError(SubstitutionErrorType.definitionCycle, [formatDependencyCycle(aliases)]);\n    }\n    return true;\n  }\n\n  private checkSubstitutions(): boolean {\n    const baseMappings = this.prepareBaseMappings();\n    const typeMappings = this.calculateSubstituteMappings(baseMappings);\n    if (typeMappings === null) {\n      return false;\n    }\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original)!;\n      if (\n        original.cst_type === CstType.BASE ||\n        original.cst_type === CstType.CONSTANT ||\n        original.cst_type === CstType.NOMINAL\n      ) {\n        continue;\n      }\n      const substitution = this.cstByID.get(item.substitution)!;\n      if (original.cst_type === substitution.cst_type && original.cst_class !== CstClass.BASIC) {\n        if (!this.checkEqual(original, substitution)) {\n          this.reportError(SubstitutionErrorType.unequalExpressions, [substitution.alias, original.alias]);\n          // Note: do not interrupt the validation process. Only warn about the problem.\n        }\n      }\n\n      if (original.analysis.success !== substitution.analysis.success) {\n        return this.reportError(SubstitutionErrorType.unequalTypification, [substitution.alias, original.alias]);\n      }\n      if (!original.analysis.success || !substitution.analysis.success) {\n        continue;\n      }\n\n      const originalType = applyTypificationMapping(\n        applyAliasMapping(labelType(original.effectiveType), baseMappings.get(original.schema)!),\n        typeMappings\n      );\n      const substitutionType = applyTypificationMapping(\n        applyAliasMapping(labelType(substitution.effectiveType), baseMappings.get(substitution.schema)!),\n        typeMappings\n      );\n      if (originalType !== substitutionType) {\n        return this.reportError(SubstitutionErrorType.unequalTypification, [substitution.alias, original.alias]);\n      }\n    }\n    return true;\n  }\n\n  private prepareBaseMappings(): CrossMapping {\n    const result: CrossMapping = new Map();\n    let baseCount = 0;\n    let constCount = 0;\n    for (const schema of this.schemas) {\n      const mapping: AliasMapping = {};\n      for (const cst of schema.items) {\n        if (cst.cst_type === CstType.BASE) {\n          baseCount++;\n          mapping[cst.alias] = `X${baseCount}`;\n        } else if (cst.cst_type === CstType.CONSTANT) {\n          constCount++;\n          mapping[cst.alias] = `C${constCount}`;\n        }\n        result.set(schema.id, mapping);\n      }\n    }\n    return result;\n  }\n\n  private calculateSubstituteMappings(baseMappings: CrossMapping): AliasMapping | null {\n    const result: AliasMapping = {};\n    const processed = new Set<string>();\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original)!;\n      if (original.cst_type !== CstType.BASE && original.cst_type !== CstType.CONSTANT) {\n        continue;\n      }\n      const originalAlias = baseMappings.get(original.schema)![original.alias];\n\n      const substitution = this.cstByID.get(item.substitution)!;\n      let substitutionText = '';\n      if (substitution.cst_type === original.cst_type || !substitution.effectiveType) {\n        substitutionText = baseMappings.get(substitution.schema)![substitution.alias];\n      } else {\n        const typeText = labelType(substitution.effectiveType);\n        substitutionText = applyAliasMapping(typeText, baseMappings.get(substitution.schema)!);\n        substitutionText = applyTypificationMapping(substitutionText, result);\n        if (!isSetTypification(substitutionText)) {\n          this.reportError(SubstitutionErrorType.baseSubstitutionNotSet, [substitution.alias, typeText]);\n          return null;\n        }\n        if (substitutionText.includes('×') || substitutionText.startsWith('ℬℬ')) {\n          substitutionText = substitutionText.slice(1);\n        } else {\n          substitutionText = substitutionText.slice(2, -1);\n        }\n      }\n      for (const prevAlias of processed) {\n        result[prevAlias] = applyTypificationMapping(result[prevAlias], { [originalAlias]: substitutionText });\n      }\n      result[originalAlias] = substitutionText;\n      processed.add(originalAlias);\n    }\n    return result;\n  }\n\n  private checkEqual(\n    left: FormalOrderFields & { schema: number },\n    right: FormalOrderFields & { schema: number }\n  ): boolean {\n    const schema1 = this.schemaByID.get(left.schema)!;\n    const inputs1 = schema1.graph.at(left.id)!.inputs;\n    if (inputs1.some(id => !this.constituents.has(id))) {\n      return false;\n    }\n    const schema2 = this.schemaByID.get(right.schema)!;\n    const inputs2 = schema2.graph.at(right.id)!.inputs;\n    if (inputs2.some(id => !this.constituents.has(id))) {\n      return false;\n    }\n    const expression1 = applyAliasMapping(left.definition_formal, this.mapping.get(schema1.id)!);\n    const expression2 = applyAliasMapping(right.definition_formal, this.mapping.get(schema2.id)!);\n    return expression1.replace(/\\s+/g, '') === expression2.replace(/\\s+/g, '');\n  }\n\n  private reportError(code: SubstitutionErrorType, params: string[]): boolean {\n    this.errors.push({\n      code,\n      params\n    });\n    return false;\n  }\n}\n\n/** Filter relocate candidates from gives schema. */\nexport function getRelocateCandidates(\n  source: number,\n  destination: number,\n  schema: RSForm,\n  oss: OperationSchema\n): Constituenta[] {\n  const destinationSchema = oss.operationByID.get(destination)?.result;\n  if (!destinationSchema) {\n    return [];\n  }\n  const node = oss.graph.at(source);\n  if (!node) {\n    return [];\n  }\n\n  if (node.outputs.includes(destination)) {\n    return schema.items;\n  }\n\n  const addedCst = schema.items.filter(item => !item.is_inherited).map(cst => cst.id);\n\n  const unreachableBases: number[] = [];\n  for (const cst of schema.items.filter(item => item.is_inherited)) {\n    if (cst.parent_schema == destinationSchema) {\n      continue;\n    }\n    const parent = schema.inheritance.find(item => item.child === cst.id && item.child_source === cst.schema)?.parent;\n    if (parent) {\n      const original = oss.substitutions.find(sub => sub.substitution === parent)?.original;\n      if (original) {\n        continue;\n      }\n    }\n    unreachableBases.push(cst.id);\n  }\n  const unreachable = schema.graph.expandAllOutputs(unreachableBases);\n  return schema.items.filter(\n    cst => cst.parent_schema === destinationSchema || (addedCst.includes(cst.id) && !unreachable.includes(cst.id))\n  );\n}\n"],"mappings":";;;;;;;;;;;;AAeA,MAAM,qBAAqB;AAE3B,SAAgB,gBAAgB,MAAgB,QAAwB;CACtE,OAAO,SAAS,SAAS,YAAY,MAAM,OAAO,MAAM,IAAI,MAAM,OAAO,MAAM;AACjF;;AAGA,SAAgB,gBAAgB,KAAsB,OAA8C;CAClG,MAAM,SAAS,MAAM,QAAO,SAAQ,KAAK,aAAa,IAAI,QAAQ;CAClE,KAAK,MAAM,QAAQ,OACjB,IAAI,KAAK,WAAW,KAAK,UAAU,IAAI,SAAS,CAAC,OAAO,SAAS,IAAI,GACnE,OAAO,KAAK,IAAI;CAGpB,KAAK,MAAM,QAAQ,OACjB,IAAI,KAAK,WAAW,CAAC,OAAO,SAAS,IAAI,GACvC,OAAO,KAAK,IAAI;CAGpB,KAAK,MAAM,QAAQ,OACjB,IAAI,CAAC,OAAO,SAAS,IAAI,GACvB,OAAO,KAAK,IAAI;CAGpB,OAAO;AACT;;AAKA,IAAa,wBAAb,MAAmC;CACjC,SAAgD,CAAC;CACjD,cAAqC,CAAC;CAEtC;CACA;CACA,+BAAuB,IAAI,IAAY;CACvC,4BAAoB,IAAI,IAAY;CACpC,0BAAgC,IAAI,IAAI;CAExC,0BAAkB,IAAI,IAA0B;CAChD,6BAAqB,IAAI,IAAoB;CAC7C,8BAAsB,IAAI,IAAoB;CAE9C,YAAY,SAAmB,eAA+B;EAC5D,KAAK,UAAU;EACf,KAAK,gBAAgB;EACrB,IAAI,QAAQ,WAAW,GACrB;EAGF,KAAK,MAAM,UAAU,SAAS;GAC5B,KAAK,WAAW,IAAI,OAAO,IAAI,MAAM;GACrC,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,CAAC;GAC9B,KAAK,MAAM,QAAQ,OAAO,OAAO;IAC/B,KAAK,QAAQ,IAAI,KAAK,IAAI,IAAI;IAC9B,KAAK,YAAY,IAAI,KAAK,IAAI,MAAM;GACtC;EACF;EACA,IAAI,cAAc,WAAW,GAC3B;EAEF,IAAI,QAAQ;EACZ,KAAK,MAAM,QAAQ,eAAe;GAChC,KAAK,aAAa,IAAI,KAAK,QAAQ;GACnC,KAAK,aAAa,IAAI,KAAK,YAAY;GACvC,KAAK,UAAU,IAAI,KAAK,QAAQ;GAChC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,CAAC,YAAY,CAAC,cAChB;GAEF;GACA,MAAM,WAAW,GAAG,aAAa,MAAM,KAAK;GAC5C,KAAK,QAAQ,IAAI,SAAS,MAAM,CAAC,CAAE,SAAS,SAAS;GACrD,KAAK,QAAQ,IAAI,aAAa,MAAM,CAAC,CAAE,aAAa,SAAS;EAC/D;CACF;CAEA,WAA2B;EACzB,KAAK,SAAS,CAAC;EACf,KAAK,cAAc,CAAC;EACpB,KAAK,qBAAqB;EAC1B,IAAI,KAAK,cAAc,WAAW,GAChC,OAAO;EAET,IAAI,CAAC,KAAK,WAAW,GACnB,OAAO;EAET,IAAI,CAAC,KAAK,wBAAwB,GAChC,OAAO;EAET,IAAI,CAAC,KAAK,sBAAsB,GAC9B,OAAO;EAET,IAAI,CAAC,KAAK,mBAAmB,GAC3B,OAAO;EAET,OAAO;CACT;CAEA,uBAAqC;EACnC,MAAM,6BAAa,IAAI,IAAoB;EAC3C,MAAM,yBAAS,IAAI,IAAY;EAC/B,MAAM,8BAAc,IAAI,IAAoB;EAC5C,KAAK,MAAM,UAAU,KAAK,SACxB,KAAK,MAAM,OAAO,OAAO,OAAO;GAC9B,IAAI,KAAK,UAAU,IAAI,IAAI,EAAE,GAC3B;GAEF,IAAI,IAAI,cAAc,SAAS,SAAS,IAAI,kBAAkB,WAAW,GACvE;GAEF,MAAM,SAAS,OAAO,MAAM,GAAG,IAAI,EAAE,CAAC,CAAE;GACxC,IAAI,OAAO,MAAK,OAAM,CAAC,KAAK,aAAa,IAAI,EAAE,CAAC,GAC9C;GAEF,IAAI,OAAO,MAAK,OAAM,KAAK,UAAU,IAAI,EAAE,CAAC,GAC1C,OAAO,IAAI,IAAI,EAAE;GAEnB,WAAW,IACT,IAAI,IACJ,kBAAkB,IAAI,mBAAmB,KAAK,QAAQ,IAAI,OAAO,EAAE,CAAE,CAAC,CAAC,QAAQ,QAAQ,EAAE,CAC3F;GACA,YAAY,IAAI,IAAI,IAAI,MAAM;EAChC;EAEF,KAAK,MAAM,CAAC,MAAM,WAAW,YAC3B,KAAK,MAAM,CAAC,MAAM,WAAW,YAAY;GACvC,IAAI,QAAQ,MACV;GAEF,IAAI,YAAY,IAAI,IAAI,MAAM,YAAY,IAAI,IAAI,GAChD;GAEF,IAAI,UAAU,QACZ;GAEF,IAAI,OAAO,IAAI,IAAI,GACjB,KAAK,YAAY,KAAK;IACpB,UAAU;IACV,cAAc;GAChB,CAAC;QAED,KAAK,YAAY,KAAK;IACpB,UAAU;IACV,cAAc;GAChB,CAAC;EAEL;CAEJ;CAEA,aAA8B;EAC5B,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,CAAC,YAAY,CAAC,cAChB,OAAO,KAAK,YAAY,sBAAsB,YAAY,CAAC,CAAC;GAE9D,IACE,aAAa,YACb,SAAS,aACR,CAAC,SAAS,SAAS,WAAW,CAAC,aAAa,SAAS,UAEtD,OAAO,KAAK,YAAY,sBAAsB,cAAc,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAElG,QAAQ,aAAa,UAArB;IACE,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,SAChC,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAEF,KAAK,QAAQ;KACX,IACE,SAAS,aAAa,QAAQ,QAC9B,SAAS,aAAa,QAAQ,YAC9B,SAAS,aAAa,QAAQ,SAE9B,OAAO,KAAK,YAAY,sBAAsB,cAAc,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAElG;IAGF,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,UAChC,OAAO,KAAK,YAAY,sBAAsB,iBAAiB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAErG;IAGF,KAAK,QAAQ;IACb,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,SAAS,SAAS,aAAa,QAAQ,WACvE,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAGF,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,UAChC,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAEF,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,WAChC,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAGF,KAAK,QAAQ;IACb,KAAK,QAAQ;KACX,IACE,SAAS,aAAa,QAAQ,QAC9B,SAAS,aAAa,QAAQ,cAC9B,SAAS,aAAa,QAAQ,MAE9B,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;GAEJ;EACF;EACA,OAAO;CACT;;;;;CAMA,0BAA2C;EACzC,MAAM,QAAQ,IAAI,MAAM;EACxB,KAAK,MAAM,UAAU,KAAK,SACxB,KAAK,MAAM,OAAO,OAAO,OACvB,IAAI,IAAI,aAAa,QAAQ,QAAQ,IAAI,aAAa,QAAQ,UAC5D,MAAM,QAAQ,IAAI,EAAE;EAI1B,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,KAAK,MAAM,OAAO,CAAC,UAAU,YAAY,GAAG;IAC1C,IAAI,IAAI,aAAa,QAAQ,QAAQ,IAAI,aAAa,QAAQ,UAC5D;IAEF,MAAM,QAAQ,IAAI,EAAE;IACpB,IAAI,IAAI,kBAAkB,MACxB;IAEF,MAAM,UAAU,aAAa,IAAI,aAAa;IAC9C,IAAI,QAAQ,SAAS,GACnB;IAEF,MAAM,SAAS,KAAK,WAAW,IAAI,IAAI,MAAM;IAC7C,KAAK,MAAM,SAAS,SAAS;KAC3B,MAAM,SAAS,OAAO,WAAW,IAAI,KAAK;KAC1C,IAAI,QACF,MAAM,QAAQ,OAAO,IAAI,IAAI,EAAE;IAEnC;GACF;GACA,MAAM,QAAQ,aAAa,IAAI,SAAS,EAAE;EAC5C;EACA,MAAM,QAAQ,MAAM,UAAU;EAC9B,IAAI,UAAU,MAAM;GAClB,MAAM,WAAW,MACd,KAAI,OAAM;IACT,MAAM,MAAM,KAAK,QAAQ,IAAI,EAAE;IAE/B,OAAO,IADQ,KAAK,WAAW,IAAI,IAAI,MAC5B,CAAA,CAAO,MAAM,IAAI,IAAI;GAClC,CAAC,CAAC,CACD,KAAK,IAAI;GACZ,OAAO,KAAK,YAAY,sBAAsB,mBAAmB,CAAC,QAAQ,CAAC;EAC7E;EACA,OAAO;CACT;;;;;CAMA,wBAAyC;EACvC,MAAM,QAAQ,IAAI,MAAM;EACxB,KAAK,MAAM,UAAU,KAAK,SACxB,KAAK,MAAM,CAAC,IAAI,SAAS,OAAO,MAAM,OAAO;GAC3C,MAAM,QAAQ,EAAE;GAChB,KAAK,MAAM,UAAU,KAAK,SACxB,MAAM,QAAQ,IAAI,MAAM;EAE5B;EAGF,MAAM,0BAAU,IAAI,IAAoB;EACxC,KAAK,MAAM,QAAQ,KAAK,eACtB,QAAQ,IAAI,KAAK,UAAU,KAAK,YAAY;EAE9C,MAAM,WAAW,OAAuB,QAAQ,IAAI,EAAE,KAAK;EAE3D,MAAM,SAAS,IAAI,MAAM;EACzB,KAAK,MAAM,MAAM,MAAM,MAAM,KAAK,GAChC,IAAI,CAAC,QAAQ,IAAI,EAAE,GACjB,OAAO,QAAQ,EAAE;EAGrB,KAAK,MAAM,kBAAkB,QAAQ,OAAO,GAC1C,OAAO,QAAQ,cAAc;EAG/B,KAAK,MAAM,CAAC,IAAI,SAAS,MAAM,OAC7B,KAAK,MAAM,UAAU,KAAK,SAAS;GACjC,IAAI,QAAQ,IAAI,MAAM,GACpB;GAEF,OAAO,QAAQ,QAAQ,EAAE,GAAG,MAAM;EACpC;EAGF,MAAM,QAAQ,OAAO,UAAU;EAC/B,IAAI,UAAU,MAAM;GAClB,MAAM,UAAU,MAAM,KAAI,OAAM;IAC9B,MAAM,MAAM,KAAK,QAAQ,IAAI,EAAE;IAC/B,IAAI,CAAC,KACH,OAAO,OAAO,EAAE;IAElB,IAAI,KAAK,QAAQ,SAAS,GAAG;KAC3B,MAAM,SAAS,KAAK,WAAW,IAAI,IAAI,MAAM;KAC7C,OAAO,SAAS,IAAI,OAAO,MAAM,IAAI,IAAI,UAAU,IAAI;IACzD;IACA,OAAO,IAAI;GACb,CAAC;GACD,OAAO,KAAK,YAAY,sBAAsB,iBAAiB,CAAC,sBAAsB,OAAO,CAAC,CAAC;EACjG;EACA,OAAO;CACT;CAEA,qBAAsC;EACpC,MAAM,eAAe,KAAK,oBAAoB;EAC9C,MAAM,eAAe,KAAK,4BAA4B,YAAY;EAClE,IAAI,iBAAiB,MACnB,OAAO;EAET,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,IACE,SAAS,aAAa,QAAQ,QAC9B,SAAS,aAAa,QAAQ,YAC9B,SAAS,aAAa,QAAQ,SAE9B;GAEF,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,SAAS,aAAa,aAAa,YAAY,SAAS,cAAc,SAAS,OACjF;QAAI,CAAC,KAAK,WAAW,UAAU,YAAY,GACzC,KAAK,YAAY,sBAAsB,oBAAoB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAEjG;GAGF,IAAI,SAAS,SAAS,YAAY,aAAa,SAAS,SACtD,OAAO,KAAK,YAAY,sBAAsB,qBAAqB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAEzG,IAAI,CAAC,SAAS,SAAS,WAAW,CAAC,aAAa,SAAS,SACvD;GAWF,IARqB,yBACnB,kBAAkB,UAAU,SAAS,aAAa,GAAG,aAAa,IAAI,SAAS,MAAM,CAAE,GACvF,YAME,MAJqB,yBACvB,kBAAkB,UAAU,aAAa,aAAa,GAAG,aAAa,IAAI,aAAa,MAAM,CAAE,GAC/F,YAEmB,GACnB,OAAO,KAAK,YAAY,sBAAsB,qBAAqB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;EAE3G;EACA,OAAO;CACT;CAEA,sBAA4C;EAC1C,MAAM,yBAAuB,IAAI,IAAI;EACrC,IAAI,YAAY;EAChB,IAAI,aAAa;EACjB,KAAK,MAAM,UAAU,KAAK,SAAS;GACjC,MAAM,UAAwB,CAAC;GAC/B,KAAK,MAAM,OAAO,OAAO,OAAO;IAC9B,IAAI,IAAI,aAAa,QAAQ,MAAM;KACjC;KACA,QAAQ,IAAI,SAAS,IAAI;IAC3B,OAAO,IAAI,IAAI,aAAa,QAAQ,UAAU;KAC5C;KACA,QAAQ,IAAI,SAAS,IAAI;IAC3B;IACA,OAAO,IAAI,OAAO,IAAI,OAAO;GAC/B;EACF;EACA,OAAO;CACT;CAEA,4BAAoC,cAAiD;EACnF,MAAM,SAAuB,CAAC;EAC9B,MAAM,4BAAY,IAAI,IAAY;EAClC,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,IAAI,SAAS,aAAa,QAAQ,QAAQ,SAAS,aAAa,QAAQ,UACtE;GAEF,MAAM,gBAAgB,aAAa,IAAI,SAAS,MAAM,CAAC,CAAE,SAAS;GAElE,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,mBAAmB;GACvB,IAAI,aAAa,aAAa,SAAS,YAAY,CAAC,aAAa,eAC/D,mBAAmB,aAAa,IAAI,aAAa,MAAM,CAAC,CAAE,aAAa;QAClE;IACL,MAAM,WAAW,UAAU,aAAa,aAAa;IACrD,mBAAmB,kBAAkB,UAAU,aAAa,IAAI,aAAa,MAAM,CAAE;IACrF,mBAAmB,yBAAyB,kBAAkB,MAAM;IACpE,IAAI,CAAC,kBAAkB,gBAAgB,GAAG;KACxC,KAAK,YAAY,sBAAsB,wBAAwB,CAAC,aAAa,OAAO,QAAQ,CAAC;KAC7F,OAAO;IACT;IACA,IAAI,iBAAiB,SAAS,GAAG,KAAK,iBAAiB,WAAW,IAAI,GACpE,mBAAmB,iBAAiB,MAAM,CAAC;SAE3C,mBAAmB,iBAAiB,MAAM,GAAG,EAAE;GAEnD;GACA,KAAK,MAAM,aAAa,WACtB,OAAO,aAAa,yBAAyB,OAAO,YAAY,GAAG,gBAAgB,iBAAiB,CAAC;GAEvG,OAAO,iBAAiB;GACxB,UAAU,IAAI,aAAa;EAC7B;EACA,OAAO;CACT;CAEA,WACE,MACA,OACS;EACT,MAAM,UAAU,KAAK,WAAW,IAAI,KAAK,MAAM;EAE/C,IADgB,QAAQ,MAAM,GAAG,KAAK,EAAE,CAAC,CAAE,OAC/B,MAAK,OAAM,CAAC,KAAK,aAAa,IAAI,EAAE,CAAC,GAC/C,OAAO;EAET,MAAM,UAAU,KAAK,WAAW,IAAI,MAAM,MAAM;EAEhD,IADgB,QAAQ,MAAM,GAAG,MAAM,EAAE,CAAC,CAAE,OAChC,MAAK,OAAM,CAAC,KAAK,aAAa,IAAI,EAAE,CAAC,GAC/C,OAAO;EAET,MAAM,cAAc,kBAAkB,KAAK,mBAAmB,KAAK,QAAQ,IAAI,QAAQ,EAAE,CAAE;EAC3F,MAAM,cAAc,kBAAkB,MAAM,mBAAmB,KAAK,QAAQ,IAAI,QAAQ,EAAE,CAAE;EAC5F,OAAO,YAAY,QAAQ,QAAQ,EAAE,MAAM,YAAY,QAAQ,QAAQ,EAAE;CAC3E;CAEA,YAAoB,MAA6B,QAA2B;EAC1E,KAAK,OAAO,KAAK;GACf;GACA;EACF,CAAC;EACD,OAAO;CACT;AACF;;AAGA,SAAgB,sBACd,QACA,aACA,QACA,KACgB;CAChB,MAAM,oBAAoB,IAAI,cAAc,IAAI,WAAW,CAAC,EAAE;CAC9D,IAAI,CAAC,mBACH,OAAO,CAAC;CAEV,MAAM,OAAO,IAAI,MAAM,GAAG,MAAM;CAChC,IAAI,CAAC,MACH,OAAO,CAAC;CAGV,IAAI,KAAK,QAAQ,SAAS,WAAW,GACnC,OAAO,OAAO;CAGhB,MAAM,WAAW,OAAO,MAAM,QAAO,SAAQ,CAAC,KAAK,YAAY,CAAC,CAAC,KAAI,QAAO,IAAI,EAAE;CAElF,MAAM,mBAA6B,CAAC;CACpC,KAAK,MAAM,OAAO,OAAO,MAAM,QAAO,SAAQ,KAAK,YAAY,GAAG;EAChE,IAAI,IAAI,iBAAiB,mBACvB;EAEF,MAAM,SAAS,OAAO,YAAY,MAAK,SAAQ,KAAK,UAAU,IAAI,MAAM,KAAK,iBAAiB,IAAI,MAAM,CAAC,EAAE;EAC3G,IAAI,QAEF;OADiB,IAAI,cAAc,MAAK,QAAO,IAAI,iBAAiB,MAAM,CAAC,EAAE,UAE3E;EACF;EAEF,iBAAiB,KAAK,IAAI,EAAE;CAC9B;CACA,MAAM,cAAc,OAAO,MAAM,iBAAiB,gBAAgB;CAClE,OAAO,OAAO,MAAM,QAClB,QAAO,IAAI,kBAAkB,qBAAsB,SAAS,SAAS,IAAI,EAAE,KAAK,CAAC,YAAY,SAAS,IAAI,EAAE,CAC9G;AACF"}
+{"version":3,"file":"oss-api.js","names":[],"sources":["../../src/library/oss-api.ts"],"sourcesContent":["/**\n * Module: API for OperationSystem.\n */\n\nimport { Graph } from '../graph';\nimport { type AliasMapping, applyAliasMapping, applyTypificationMapping, isSetTypification } from '../rslang/api';\nimport { labelType } from '../rslang/labels';\nimport { extractBases } from '../rslang/semantic/typification-api';\n\nimport { formatDependencyCycle } from './diagnostics';\nimport { type LibraryItem } from './library';\nimport { NodeType, type OperationSchema, type SubstitutionErrorDescription, SubstitutionErrorType } from './oss';\nimport { type Constituenta, CstClass, CstType, type RSForm, type Substitution } from './rsform';\nimport { type FormalOrderFields } from './rsform-api';\n\nconst STARTING_SUB_INDEX = 900; // max semantic index for starting substitution\n\nexport function constructNodeID(type: NodeType, itemID: number): string {\n  return type === NodeType.OPERATION ? 'o' + String(itemID) : 'b' + String(itemID);\n}\n\n/** Sorts library items relevant for the specified {@link OperationSchema}. */\nexport function sortItemsForOSS(oss: OperationSchema, items: readonly LibraryItem[]): LibraryItem[] {\n  const result = items.filter(item => item.location === oss.location);\n  for (const item of items) {\n    if (item.visible && item.owner === oss.owner && !result.includes(item)) {\n      result.push(item);\n    }\n  }\n  for (const item of items) {\n    if (item.visible && !result.includes(item)) {\n      result.push(item);\n    }\n  }\n  for (const item of items) {\n    if (!result.includes(item)) {\n      result.push(item);\n    }\n  }\n  return result;\n}\n\ntype CrossMapping = Map<number, AliasMapping>;\n\n/** Validator for Substitution table. */\nexport class SubstitutionValidator {\n  public errors: SubstitutionErrorDescription[] = [];\n  public suggestions: Substitution[] = [];\n\n  private schemas: RSForm[];\n  private substitutions: Substitution[];\n  private constituents = new Set<number>();\n  private originals = new Set<number>();\n  private mapping: CrossMapping = new Map();\n\n  private cstByID = new Map<number, Constituenta>();\n  private schemaByID = new Map<number, RSForm>();\n  private schemaByCst = new Map<number, RSForm>();\n\n  constructor(schemas: RSForm[], substitutions: Substitution[]) {\n    this.schemas = schemas;\n    this.substitutions = substitutions;\n    if (schemas.length === 0) {\n      return;\n    }\n\n    for (const schema of schemas) {\n      this.schemaByID.set(schema.id, schema);\n      this.mapping.set(schema.id, {});\n      for (const item of schema.items) {\n        this.cstByID.set(item.id, item);\n        this.schemaByCst.set(item.id, schema);\n      }\n    }\n    if (substitutions.length === 0) {\n      return;\n    }\n    let index = STARTING_SUB_INDEX;\n    for (const item of substitutions) {\n      this.constituents.add(item.original);\n      this.constituents.add(item.substitution);\n      this.originals.add(item.original);\n      const original = this.cstByID.get(item.original);\n      const substitution = this.cstByID.get(item.substitution);\n      if (!original || !substitution) {\n        return;\n      }\n      index++;\n      const newAlias = `${substitution.alias[0]}${index}`;\n      this.mapping.get(original.schema)![original.alias] = newAlias;\n      this.mapping.get(substitution.schema)![substitution.alias] = newAlias;\n    }\n  }\n\n  public validate(): boolean {\n    this.errors = [];\n    this.suggestions = [];\n    this.calculateSuggestions();\n    if (this.substitutions.length === 0) {\n      return true;\n    }\n    if (!this.checkTypes()) {\n      return false;\n    }\n    if (!this.checkTypificationCycles()) {\n      return false;\n    }\n    if (!this.checkDefinitionCycles()) {\n      return false;\n    }\n    if (!this.checkSubstitutions()) {\n      return false;\n    }\n    return true;\n  }\n\n  private calculateSuggestions(): void {\n    const candidates = new Map<number, string>();\n    const minors = new Set<number>();\n    const schemaByCst = new Map<number, RSForm>();\n    for (const schema of this.schemas) {\n      for (const cst of schema.items) {\n        if (this.originals.has(cst.id)) {\n          continue;\n        }\n        if (cst.cst_class === CstClass.BASIC || cst.definition_formal.length === 0) {\n          continue;\n        }\n        const inputs = schema.graph.at(cst.id)!.inputs;\n        if (inputs.some(id => !this.constituents.has(id))) {\n          continue;\n        }\n        if (inputs.some(id => this.originals.has(id))) {\n          minors.add(cst.id);\n        }\n        candidates.set(\n          cst.id,\n          applyAliasMapping(cst.definition_formal, this.mapping.get(schema.id)!).replace(/\\s+/g, '')\n        );\n        schemaByCst.set(cst.id, schema);\n      }\n    }\n    for (const [key1, value1] of candidates) {\n      for (const [key2, value2] of candidates) {\n        if (key1 >= key2) {\n          continue;\n        }\n        if (schemaByCst.get(key1) === schemaByCst.get(key2)) {\n          continue;\n        }\n        if (value1 != value2) {\n          continue;\n        }\n        if (minors.has(key2)) {\n          this.suggestions.push({\n            original: key2,\n            substitution: key1\n          });\n        } else {\n          this.suggestions.push({\n            original: key1,\n            substitution: key2\n          });\n        }\n      }\n    }\n  }\n\n  private checkTypes(): boolean {\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original);\n      const substitution = this.cstByID.get(item.substitution);\n      if (!original || !substitution) {\n        return this.reportError(SubstitutionErrorType.invalidIDs, []);\n      }\n      if (\n        substitution.analysis &&\n        original.analysis &&\n        (!original.analysis.success || !substitution.analysis.success)\n      ) {\n        return this.reportError(SubstitutionErrorType.incorrectCst, [substitution.alias, original.alias]);\n      }\n      switch (substitution.cst_type) {\n        case CstType.NOMINAL: {\n          if (original.cst_type !== CstType.NOMINAL) {\n            return this.reportError(SubstitutionErrorType.invalidNominal, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n        case CstType.BASE: {\n          if (\n            original.cst_type !== CstType.BASE &&\n            original.cst_type !== CstType.CONSTANT &&\n            original.cst_type !== CstType.NOMINAL\n          ) {\n            return this.reportError(SubstitutionErrorType.invalidBasic, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.CONSTANT: {\n          if (original.cst_type !== CstType.CONSTANT) {\n            return this.reportError(SubstitutionErrorType.invalidConstant, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.AXIOM:\n        case CstType.STATEMENT: {\n          if (original.cst_type !== CstType.AXIOM && original.cst_type !== CstType.STATEMENT) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.FUNCTION: {\n          if (original.cst_type !== CstType.FUNCTION) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n        case CstType.PREDICATE: {\n          if (original.cst_type !== CstType.PREDICATE) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n\n        case CstType.TERM:\n        case CstType.STRUCTURED: {\n          if (\n            original.cst_type !== CstType.TERM &&\n            original.cst_type !== CstType.STRUCTURED &&\n            original.cst_type !== CstType.BASE\n          ) {\n            return this.reportError(SubstitutionErrorType.invalidClasses, [substitution.alias, original.alias]);\n          }\n          break;\n        }\n      }\n    }\n    return true;\n  }\n\n  /**\n   * Detect cycles among base/constant sets implied by typifications of non-base\n   * constituents under the substitution table.\n   */\n  private checkTypificationCycles(): boolean {\n    const graph = new Graph();\n    for (const schema of this.schemas) {\n      for (const cst of schema.items) {\n        if (cst.cst_type === CstType.BASE || cst.cst_type === CstType.CONSTANT) {\n          graph.addNode(cst.id);\n        }\n      }\n    }\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original)!;\n      const substitution = this.cstByID.get(item.substitution)!;\n      for (const cst of [original, substitution]) {\n        if (cst.cst_type === CstType.BASE || cst.cst_type === CstType.CONSTANT) {\n          continue;\n        }\n        graph.addNode(cst.id);\n        if (cst.effectiveType === null) {\n          continue;\n        }\n        const parents = extractBases(cst.effectiveType);\n        if (parents.size === 0) {\n          continue;\n        }\n        const schema = this.schemaByID.get(cst.schema)!;\n        for (const alias of parents) {\n          const parent = schema.cstByAlias.get(alias);\n          if (parent) {\n            graph.addEdge(parent.id, cst.id);\n          }\n        }\n      }\n      graph.addEdge(substitution.id, original.id);\n    }\n    const cycle = graph.findCycle();\n    if (cycle !== null) {\n      const cycleMsg = cycle\n        .map(id => {\n          const cst = this.cstByID.get(id)!;\n          const schema = this.schemaByID.get(cst.schema)!;\n          return `[${schema.alias}]-${cst.alias}`;\n        })\n        .join(', ');\n      return this.reportError(SubstitutionErrorType.typificationCycle, [cycleMsg]);\n    }\n    return true;\n  }\n\n  /**\n   * Detect logical cycles in formal definitions after applying the substitution table\n   * (e.g. D16 := F2[D15] with identification D15 → D16 yields D16 := F2[D16]).\n   */\n  private checkDefinitionCycles(): boolean {\n    const graph = new Graph();\n    for (const schema of this.schemas) {\n      for (const [id, node] of schema.graph.nodes) {\n        graph.addNode(id);\n        for (const output of node.outputs) {\n          graph.addEdge(id, output);\n        }\n      }\n    }\n\n    const deleted = new Map<number, number>();\n    for (const item of this.substitutions) {\n      deleted.set(item.original, item.substitution);\n    }\n    const resolve = (id: number): number => deleted.get(id) ?? id;\n\n    const result = new Graph();\n    for (const id of graph.nodes.keys()) {\n      if (!deleted.has(id)) {\n        result.addNode(id);\n      }\n    }\n    for (const substitutionId of deleted.values()) {\n      result.addNode(substitutionId);\n    }\n\n    for (const [id, node] of graph.nodes) {\n      for (const output of node.outputs) {\n        if (deleted.has(output)) {\n          continue;\n        }\n        result.addEdge(resolve(id), output);\n      }\n    }\n\n    const cycle = result.findCycle();\n    if (cycle !== null) {\n      const aliases = cycle.map(id => {\n        const cst = this.cstByID.get(id);\n        if (!cst) {\n          return String(id);\n        }\n        if (this.schemas.length > 1) {\n          const schema = this.schemaByID.get(cst.schema);\n          return schema ? `[${schema.alias}]-${cst.alias}` : cst.alias;\n        }\n        return cst.alias;\n      });\n      return this.reportError(SubstitutionErrorType.definitionCycle, [formatDependencyCycle(aliases)]);\n    }\n    return true;\n  }\n\n  private checkSubstitutions(): boolean {\n    const baseMappings = this.prepareBaseMappings();\n    const typeMappings = this.calculateSubstituteMappings(baseMappings);\n    if (typeMappings === null) {\n      return false;\n    }\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original)!;\n      if (\n        original.cst_type === CstType.BASE ||\n        original.cst_type === CstType.CONSTANT ||\n        original.cst_type === CstType.NOMINAL\n      ) {\n        continue;\n      }\n      const substitution = this.cstByID.get(item.substitution)!;\n      if (original.cst_type === substitution.cst_type && original.cst_class !== CstClass.BASIC) {\n        if (!this.checkEqual(original, substitution)) {\n          this.reportError(SubstitutionErrorType.unequalExpressions, [substitution.alias, original.alias]);\n          // Note: do not interrupt the validation process. Only warn about the problem.\n        }\n      }\n\n      if (original.analysis.success !== substitution.analysis.success) {\n        return this.reportError(SubstitutionErrorType.unequalTypification, [substitution.alias, original.alias]);\n      }\n      if (!original.analysis.success || !substitution.analysis.success) {\n        continue;\n      }\n\n      const originalType = applyTypificationMapping(\n        applyAliasMapping(labelType(original.effectiveType), baseMappings.get(original.schema)!),\n        typeMappings\n      );\n      const substitutionType = applyTypificationMapping(\n        applyAliasMapping(labelType(substitution.effectiveType), baseMappings.get(substitution.schema)!),\n        typeMappings\n      );\n      if (originalType !== substitutionType) {\n        return this.reportError(SubstitutionErrorType.unequalTypification, [substitution.alias, original.alias]);\n      }\n    }\n    return true;\n  }\n\n  private prepareBaseMappings(): CrossMapping {\n    const result: CrossMapping = new Map();\n    let baseCount = 0;\n    let constCount = 0;\n    for (const schema of this.schemas) {\n      const mapping: AliasMapping = {};\n      for (const cst of schema.items) {\n        if (cst.cst_type === CstType.BASE) {\n          baseCount++;\n          mapping[cst.alias] = `X${baseCount}`;\n        } else if (cst.cst_type === CstType.CONSTANT) {\n          constCount++;\n          mapping[cst.alias] = `C${constCount}`;\n        }\n        result.set(schema.id, mapping);\n      }\n    }\n    return result;\n  }\n\n  private calculateSubstituteMappings(baseMappings: CrossMapping): AliasMapping | null {\n    const result: AliasMapping = {};\n    const processed = new Set<string>();\n    for (const item of this.substitutions) {\n      const original = this.cstByID.get(item.original)!;\n      if (original.cst_type !== CstType.BASE && original.cst_type !== CstType.CONSTANT) {\n        continue;\n      }\n      const originalAlias = baseMappings.get(original.schema)![original.alias];\n\n      const substitution = this.cstByID.get(item.substitution)!;\n      let substitutionText = '';\n      if (substitution.cst_type === original.cst_type || !substitution.effectiveType) {\n        substitutionText = baseMappings.get(substitution.schema)![substitution.alias];\n      } else {\n        const typeText = labelType(substitution.effectiveType);\n        substitutionText = applyAliasMapping(typeText, baseMappings.get(substitution.schema)!);\n        substitutionText = applyTypificationMapping(substitutionText, result);\n        if (!isSetTypification(substitutionText)) {\n          this.reportError(SubstitutionErrorType.baseSubstitutionNotSet, [substitution.alias, typeText]);\n          return null;\n        }\n        if (substitutionText.includes('×') || substitutionText.startsWith('ℬℬ')) {\n          substitutionText = substitutionText.slice(1);\n        } else {\n          substitutionText = substitutionText.slice(2, -1);\n        }\n      }\n      for (const prevAlias of processed) {\n        result[prevAlias] = applyTypificationMapping(result[prevAlias], { [originalAlias]: substitutionText });\n      }\n      result[originalAlias] = substitutionText;\n      processed.add(originalAlias);\n    }\n    return result;\n  }\n\n  private checkEqual(\n    left: FormalOrderFields & { schema: number },\n    right: FormalOrderFields & { schema: number }\n  ): boolean {\n    const schema1 = this.schemaByID.get(left.schema)!;\n    const inputs1 = schema1.graph.at(left.id)!.inputs;\n    if (inputs1.some(id => !this.constituents.has(id))) {\n      return false;\n    }\n    const schema2 = this.schemaByID.get(right.schema)!;\n    const inputs2 = schema2.graph.at(right.id)!.inputs;\n    if (inputs2.some(id => !this.constituents.has(id))) {\n      return false;\n    }\n    const expression1 = applyAliasMapping(left.definition_formal, this.mapping.get(schema1.id)!);\n    const expression2 = applyAliasMapping(right.definition_formal, this.mapping.get(schema2.id)!);\n    return expression1.replace(/\\s+/g, '') === expression2.replace(/\\s+/g, '');\n  }\n\n  private reportError(code: SubstitutionErrorType, params: string[]): boolean {\n    this.errors.push({\n      code,\n      params\n    });\n    return false;\n  }\n}\n\n/** Filter relocate candidates from gives schema. */\nexport function getRelocateCandidates(\n  source: number,\n  destination: number,\n  schema: RSForm,\n  oss: OperationSchema\n): Constituenta[] {\n  const destinationSchema = oss.operationByID.get(destination)?.result;\n  if (!destinationSchema) {\n    return [];\n  }\n  const node = oss.graph.at(source);\n  if (!node) {\n    return [];\n  }\n\n  if (node.outputs.includes(destination)) {\n    return schema.items;\n  }\n\n  const addedCst = schema.items.filter(item => !item.is_inherited).map(cst => cst.id);\n\n  const unreachableBases: number[] = [];\n  for (const cst of schema.items.filter(item => item.is_inherited)) {\n    if (cst.parent_schema == destinationSchema) {\n      continue;\n    }\n    const parent = schema.inheritance.find(item => item.child === cst.id && item.child_source === cst.schema)?.parent;\n    if (parent) {\n      const original = oss.substitutions.find(sub => sub.substitution === parent)?.original;\n      if (original) {\n        continue;\n      }\n    }\n    unreachableBases.push(cst.id);\n  }\n  const unreachable = schema.graph.expandAllOutputs(unreachableBases);\n  return schema.items.filter(\n    cst => cst.parent_schema === destinationSchema || (addedCst.includes(cst.id) && !unreachable.includes(cst.id))\n  );\n}\n"],"mappings":";;;;;;;;;;;;AAeA,MAAM,qBAAqB;AAE3B,SAAgB,gBAAgB,MAAgB,QAAwB;CACtE,OAAO,SAAS,SAAS,YAAY,MAAM,OAAO,MAAM,IAAI,MAAM,OAAO,MAAM;AACjF;;AAGA,SAAgB,gBAAgB,KAAsB,OAA8C;CAClG,MAAM,SAAS,MAAM,QAAO,SAAQ,KAAK,aAAa,IAAI,QAAQ;CAClE,KAAK,MAAM,QAAQ,OACjB,IAAI,KAAK,WAAW,KAAK,UAAU,IAAI,SAAS,CAAC,OAAO,SAAS,IAAI,GACnE,OAAO,KAAK,IAAI;CAGpB,KAAK,MAAM,QAAQ,OACjB,IAAI,KAAK,WAAW,CAAC,OAAO,SAAS,IAAI,GACvC,OAAO,KAAK,IAAI;CAGpB,KAAK,MAAM,QAAQ,OACjB,IAAI,CAAC,OAAO,SAAS,IAAI,GACvB,OAAO,KAAK,IAAI;CAGpB,OAAO;AACT;;AAKA,IAAa,wBAAb,MAAmC;CACjC,SAAgD,CAAC;CACjD,cAAqC,CAAC;CAEtC;CACA;CACA,+BAAuB,IAAI,IAAY;CACvC,4BAAoB,IAAI,IAAY;CACpC,0BAAgC,IAAI,IAAI;CAExC,0BAAkB,IAAI,IAA0B;CAChD,6BAAqB,IAAI,IAAoB;CAC7C,8BAAsB,IAAI,IAAoB;CAE9C,YAAY,SAAmB,eAA+B;EAC5D,KAAK,UAAU;EACf,KAAK,gBAAgB;EACrB,IAAI,QAAQ,WAAW,GACrB;EAGF,KAAK,MAAM,UAAU,SAAS;GAC5B,KAAK,WAAW,IAAI,OAAO,IAAI,MAAM;GACrC,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,CAAC;GAC9B,KAAK,MAAM,QAAQ,OAAO,OAAO;IAC/B,KAAK,QAAQ,IAAI,KAAK,IAAI,IAAI;IAC9B,KAAK,YAAY,IAAI,KAAK,IAAI,MAAM;GACtC;EACF;EACA,IAAI,cAAc,WAAW,GAC3B;EAEF,IAAI,QAAQ;EACZ,KAAK,MAAM,QAAQ,eAAe;GAChC,KAAK,aAAa,IAAI,KAAK,QAAQ;GACnC,KAAK,aAAa,IAAI,KAAK,YAAY;GACvC,KAAK,UAAU,IAAI,KAAK,QAAQ;GAChC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,CAAC,YAAY,CAAC,cAChB;GAEF;GACA,MAAM,WAAW,GAAG,aAAa,MAAM,KAAK;GAC5C,KAAK,QAAQ,IAAI,SAAS,MAAM,CAAC,CAAE,SAAS,SAAS;GACrD,KAAK,QAAQ,IAAI,aAAa,MAAM,CAAC,CAAE,aAAa,SAAS;EAC/D;CACF;CAEA,WAA2B;EACzB,KAAK,SAAS,CAAC;EACf,KAAK,cAAc,CAAC;EACpB,KAAK,qBAAqB;EAC1B,IAAI,KAAK,cAAc,WAAW,GAChC,OAAO;EAET,IAAI,CAAC,KAAK,WAAW,GACnB,OAAO;EAET,IAAI,CAAC,KAAK,wBAAwB,GAChC,OAAO;EAET,IAAI,CAAC,KAAK,sBAAsB,GAC9B,OAAO;EAET,IAAI,CAAC,KAAK,mBAAmB,GAC3B,OAAO;EAET,OAAO;CACT;CAEA,uBAAqC;EACnC,MAAM,6BAAa,IAAI,IAAoB;EAC3C,MAAM,yBAAS,IAAI,IAAY;EAC/B,MAAM,8BAAc,IAAI,IAAoB;EAC5C,KAAK,MAAM,UAAU,KAAK,SACxB,KAAK,MAAM,OAAO,OAAO,OAAO;GAC9B,IAAI,KAAK,UAAU,IAAI,IAAI,EAAE,GAC3B;GAEF,IAAI,IAAI,cAAc,SAAS,SAAS,IAAI,kBAAkB,WAAW,GACvE;GAEF,MAAM,SAAS,OAAO,MAAM,GAAG,IAAI,EAAE,CAAC,CAAE;GACxC,IAAI,OAAO,MAAK,OAAM,CAAC,KAAK,aAAa,IAAI,EAAE,CAAC,GAC9C;GAEF,IAAI,OAAO,MAAK,OAAM,KAAK,UAAU,IAAI,EAAE,CAAC,GAC1C,OAAO,IAAI,IAAI,EAAE;GAEnB,WAAW,IACT,IAAI,IACJ,kBAAkB,IAAI,mBAAmB,KAAK,QAAQ,IAAI,OAAO,EAAE,CAAE,CAAC,CAAC,QAAQ,QAAQ,EAAE,CAC3F;GACA,YAAY,IAAI,IAAI,IAAI,MAAM;EAChC;EAEF,KAAK,MAAM,CAAC,MAAM,WAAW,YAC3B,KAAK,MAAM,CAAC,MAAM,WAAW,YAAY;GACvC,IAAI,QAAQ,MACV;GAEF,IAAI,YAAY,IAAI,IAAI,MAAM,YAAY,IAAI,IAAI,GAChD;GAEF,IAAI,UAAU,QACZ;GAEF,IAAI,OAAO,IAAI,IAAI,GACjB,KAAK,YAAY,KAAK;IACpB,UAAU;IACV,cAAc;GAChB,CAAC;QAED,KAAK,YAAY,KAAK;IACpB,UAAU;IACV,cAAc;GAChB,CAAC;EAEL;CAEJ;CAEA,aAA8B;EAC5B,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,CAAC,YAAY,CAAC,cAChB,OAAO,KAAK,YAAY,sBAAsB,YAAY,CAAC,CAAC;GAE9D,IACE,aAAa,YACb,SAAS,aACR,CAAC,SAAS,SAAS,WAAW,CAAC,aAAa,SAAS,UAEtD,OAAO,KAAK,YAAY,sBAAsB,cAAc,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAElG,QAAQ,aAAa,UAArB;IACE,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,SAChC,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAEF,KAAK,QAAQ;KACX,IACE,SAAS,aAAa,QAAQ,QAC9B,SAAS,aAAa,QAAQ,YAC9B,SAAS,aAAa,QAAQ,SAE9B,OAAO,KAAK,YAAY,sBAAsB,cAAc,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAElG;IAGF,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,UAChC,OAAO,KAAK,YAAY,sBAAsB,iBAAiB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAErG;IAGF,KAAK,QAAQ;IACb,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,SAAS,SAAS,aAAa,QAAQ,WACvE,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAGF,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,UAChC,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAEF,KAAK,QAAQ;KACX,IAAI,SAAS,aAAa,QAAQ,WAChC,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;KAEpG;IAGF,KAAK,QAAQ;IACb,KAAK,QAAQ,YACX,IACE,SAAS,aAAa,QAAQ,QAC9B,SAAS,aAAa,QAAQ,cAC9B,SAAS,aAAa,QAAQ,MAE9B,OAAO,KAAK,YAAY,sBAAsB,gBAAgB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAIxG;EACF;EACA,OAAO;CACT;;;;;CAMA,0BAA2C;EACzC,MAAM,QAAQ,IAAI,MAAM;EACxB,KAAK,MAAM,UAAU,KAAK,SACxB,KAAK,MAAM,OAAO,OAAO,OACvB,IAAI,IAAI,aAAa,QAAQ,QAAQ,IAAI,aAAa,QAAQ,UAC5D,MAAM,QAAQ,IAAI,EAAE;EAI1B,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,KAAK,MAAM,OAAO,CAAC,UAAU,YAAY,GAAG;IAC1C,IAAI,IAAI,aAAa,QAAQ,QAAQ,IAAI,aAAa,QAAQ,UAC5D;IAEF,MAAM,QAAQ,IAAI,EAAE;IACpB,IAAI,IAAI,kBAAkB,MACxB;IAEF,MAAM,UAAU,aAAa,IAAI,aAAa;IAC9C,IAAI,QAAQ,SAAS,GACnB;IAEF,MAAM,SAAS,KAAK,WAAW,IAAI,IAAI,MAAM;IAC7C,KAAK,MAAM,SAAS,SAAS;KAC3B,MAAM,SAAS,OAAO,WAAW,IAAI,KAAK;KAC1C,IAAI,QACF,MAAM,QAAQ,OAAO,IAAI,IAAI,EAAE;IAEnC;GACF;GACA,MAAM,QAAQ,aAAa,IAAI,SAAS,EAAE;EAC5C;EACA,MAAM,QAAQ,MAAM,UAAU;EAC9B,IAAI,UAAU,MAAM;GAClB,MAAM,WAAW,MACd,KAAI,OAAM;IACT,MAAM,MAAM,KAAK,QAAQ,IAAI,EAAE;IAE/B,OAAO,IADQ,KAAK,WAAW,IAAI,IAAI,MAC5B,CAAA,CAAO,MAAM,IAAI,IAAI;GAClC,CAAC,CAAC,CACD,KAAK,IAAI;GACZ,OAAO,KAAK,YAAY,sBAAsB,mBAAmB,CAAC,QAAQ,CAAC;EAC7E;EACA,OAAO;CACT;;;;;CAMA,wBAAyC;EACvC,MAAM,QAAQ,IAAI,MAAM;EACxB,KAAK,MAAM,UAAU,KAAK,SACxB,KAAK,MAAM,CAAC,IAAI,SAAS,OAAO,MAAM,OAAO;GAC3C,MAAM,QAAQ,EAAE;GAChB,KAAK,MAAM,UAAU,KAAK,SACxB,MAAM,QAAQ,IAAI,MAAM;EAE5B;EAGF,MAAM,0BAAU,IAAI,IAAoB;EACxC,KAAK,MAAM,QAAQ,KAAK,eACtB,QAAQ,IAAI,KAAK,UAAU,KAAK,YAAY;EAE9C,MAAM,WAAW,OAAuB,QAAQ,IAAI,EAAE,KAAK;EAE3D,MAAM,SAAS,IAAI,MAAM;EACzB,KAAK,MAAM,MAAM,MAAM,MAAM,KAAK,GAChC,IAAI,CAAC,QAAQ,IAAI,EAAE,GACjB,OAAO,QAAQ,EAAE;EAGrB,KAAK,MAAM,kBAAkB,QAAQ,OAAO,GAC1C,OAAO,QAAQ,cAAc;EAG/B,KAAK,MAAM,CAAC,IAAI,SAAS,MAAM,OAC7B,KAAK,MAAM,UAAU,KAAK,SAAS;GACjC,IAAI,QAAQ,IAAI,MAAM,GACpB;GAEF,OAAO,QAAQ,QAAQ,EAAE,GAAG,MAAM;EACpC;EAGF,MAAM,QAAQ,OAAO,UAAU;EAC/B,IAAI,UAAU,MAAM;GAClB,MAAM,UAAU,MAAM,KAAI,OAAM;IAC9B,MAAM,MAAM,KAAK,QAAQ,IAAI,EAAE;IAC/B,IAAI,CAAC,KACH,OAAO,OAAO,EAAE;IAElB,IAAI,KAAK,QAAQ,SAAS,GAAG;KAC3B,MAAM,SAAS,KAAK,WAAW,IAAI,IAAI,MAAM;KAC7C,OAAO,SAAS,IAAI,OAAO,MAAM,IAAI,IAAI,UAAU,IAAI;IACzD;IACA,OAAO,IAAI;GACb,CAAC;GACD,OAAO,KAAK,YAAY,sBAAsB,iBAAiB,CAAC,sBAAsB,OAAO,CAAC,CAAC;EACjG;EACA,OAAO;CACT;CAEA,qBAAsC;EACpC,MAAM,eAAe,KAAK,oBAAoB;EAC9C,MAAM,eAAe,KAAK,4BAA4B,YAAY;EAClE,IAAI,iBAAiB,MACnB,OAAO;EAET,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,IACE,SAAS,aAAa,QAAQ,QAC9B,SAAS,aAAa,QAAQ,YAC9B,SAAS,aAAa,QAAQ,SAE9B;GAEF,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,SAAS,aAAa,aAAa,YAAY,SAAS,cAAc,SAAS,OACjF;QAAI,CAAC,KAAK,WAAW,UAAU,YAAY,GACzC,KAAK,YAAY,sBAAsB,oBAAoB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAEjG;GAGF,IAAI,SAAS,SAAS,YAAY,aAAa,SAAS,SACtD,OAAO,KAAK,YAAY,sBAAsB,qBAAqB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;GAEzG,IAAI,CAAC,SAAS,SAAS,WAAW,CAAC,aAAa,SAAS,SACvD;GAWF,IARqB,yBACnB,kBAAkB,UAAU,SAAS,aAAa,GAAG,aAAa,IAAI,SAAS,MAAM,CAAE,GACvF,YAME,MAJqB,yBACvB,kBAAkB,UAAU,aAAa,aAAa,GAAG,aAAa,IAAI,aAAa,MAAM,CAAE,GAC/F,YAEmB,GACnB,OAAO,KAAK,YAAY,sBAAsB,qBAAqB,CAAC,aAAa,OAAO,SAAS,KAAK,CAAC;EAE3G;EACA,OAAO;CACT;CAEA,sBAA4C;EAC1C,MAAM,yBAAuB,IAAI,IAAI;EACrC,IAAI,YAAY;EAChB,IAAI,aAAa;EACjB,KAAK,MAAM,UAAU,KAAK,SAAS;GACjC,MAAM,UAAwB,CAAC;GAC/B,KAAK,MAAM,OAAO,OAAO,OAAO;IAC9B,IAAI,IAAI,aAAa,QAAQ,MAAM;KACjC;KACA,QAAQ,IAAI,SAAS,IAAI;IAC3B,OAAO,IAAI,IAAI,aAAa,QAAQ,UAAU;KAC5C;KACA,QAAQ,IAAI,SAAS,IAAI;IAC3B;IACA,OAAO,IAAI,OAAO,IAAI,OAAO;GAC/B;EACF;EACA,OAAO;CACT;CAEA,4BAAoC,cAAiD;EACnF,MAAM,SAAuB,CAAC;EAC9B,MAAM,4BAAY,IAAI,IAAY;EAClC,KAAK,MAAM,QAAQ,KAAK,eAAe;GACrC,MAAM,WAAW,KAAK,QAAQ,IAAI,KAAK,QAAQ;GAC/C,IAAI,SAAS,aAAa,QAAQ,QAAQ,SAAS,aAAa,QAAQ,UACtE;GAEF,MAAM,gBAAgB,aAAa,IAAI,SAAS,MAAM,CAAC,CAAE,SAAS;GAElE,MAAM,eAAe,KAAK,QAAQ,IAAI,KAAK,YAAY;GACvD,IAAI,mBAAmB;GACvB,IAAI,aAAa,aAAa,SAAS,YAAY,CAAC,aAAa,eAC/D,mBAAmB,aAAa,IAAI,aAAa,MAAM,CAAC,CAAE,aAAa;QAClE;IACL,MAAM,WAAW,UAAU,aAAa,aAAa;IACrD,mBAAmB,kBAAkB,UAAU,aAAa,IAAI,aAAa,MAAM,CAAE;IACrF,mBAAmB,yBAAyB,kBAAkB,MAAM;IACpE,IAAI,CAAC,kBAAkB,gBAAgB,GAAG;KACxC,KAAK,YAAY,sBAAsB,wBAAwB,CAAC,aAAa,OAAO,QAAQ,CAAC;KAC7F,OAAO;IACT;IACA,IAAI,iBAAiB,SAAS,GAAG,KAAK,iBAAiB,WAAW,IAAI,GACpE,mBAAmB,iBAAiB,MAAM,CAAC;SAE3C,mBAAmB,iBAAiB,MAAM,GAAG,EAAE;GAEnD;GACA,KAAK,MAAM,aAAa,WACtB,OAAO,aAAa,yBAAyB,OAAO,YAAY,GAAG,gBAAgB,iBAAiB,CAAC;GAEvG,OAAO,iBAAiB;GACxB,UAAU,IAAI,aAAa;EAC7B;EACA,OAAO;CACT;CAEA,WACE,MACA,OACS;EACT,MAAM,UAAU,KAAK,WAAW,IAAI,KAAK,MAAM;EAE/C,IADgB,QAAQ,MAAM,GAAG,KAAK,EAAE,CAAC,CAAE,OAC/B,MAAK,OAAM,CAAC,KAAK,aAAa,IAAI,EAAE,CAAC,GAC/C,OAAO;EAET,MAAM,UAAU,KAAK,WAAW,IAAI,MAAM,MAAM;EAEhD,IADgB,QAAQ,MAAM,GAAG,MAAM,EAAE,CAAC,CAAE,OAChC,MAAK,OAAM,CAAC,KAAK,aAAa,IAAI,EAAE,CAAC,GAC/C,OAAO;EAET,MAAM,cAAc,kBAAkB,KAAK,mBAAmB,KAAK,QAAQ,IAAI,QAAQ,EAAE,CAAE;EAC3F,MAAM,cAAc,kBAAkB,MAAM,mBAAmB,KAAK,QAAQ,IAAI,QAAQ,EAAE,CAAE;EAC5F,OAAO,YAAY,QAAQ,QAAQ,EAAE,MAAM,YAAY,QAAQ,QAAQ,EAAE;CAC3E;CAEA,YAAoB,MAA6B,QAA2B;EAC1E,KAAK,OAAO,KAAK;GACf;GACA;EACF,CAAC;EACD,OAAO;CACT;AACF;;AAGA,SAAgB,sBACd,QACA,aACA,QACA,KACgB;CAChB,MAAM,oBAAoB,IAAI,cAAc,IAAI,WAAW,CAAC,EAAE;CAC9D,IAAI,CAAC,mBACH,OAAO,CAAC;CAEV,MAAM,OAAO,IAAI,MAAM,GAAG,MAAM;CAChC,IAAI,CAAC,MACH,OAAO,CAAC;CAGV,IAAI,KAAK,QAAQ,SAAS,WAAW,GACnC,OAAO,OAAO;CAGhB,MAAM,WAAW,OAAO,MAAM,QAAO,SAAQ,CAAC,KAAK,YAAY,CAAC,CAAC,KAAI,QAAO,IAAI,EAAE;CAElF,MAAM,mBAA6B,CAAC;CACpC,KAAK,MAAM,OAAO,OAAO,MAAM,QAAO,SAAQ,KAAK,YAAY,GAAG;EAChE,IAAI,IAAI,iBAAiB,mBACvB;EAEF,MAAM,SAAS,OAAO,YAAY,MAAK,SAAQ,KAAK,UAAU,IAAI,MAAM,KAAK,iBAAiB,IAAI,MAAM,CAAC,EAAE;EAC3G,IAAI,QAEF;OADiB,IAAI,cAAc,MAAK,QAAO,IAAI,iBAAiB,MAAM,CAAC,EAAE,UAE3E;EACF;EAEF,iBAAiB,KAAK,IAAI,EAAE;CAC9B;CACA,MAAM,cAAc,OAAO,MAAM,iBAAiB,gBAAgB;CAClE,OAAO,OAAO,MAAM,QAClB,QAAO,IAAI,kBAAkB,qBAAsB,SAAS,SAAS,IAAI,EAAE,KAAK,CAAC,YAAY,SAAS,IAAI,EAAE,CAC9G;AACF"}

package/dist/library/oss.js

@@ -1,4 +1,4 @@
-import { n as RSDiagnosticCode } from "../diagnostics-D1Cp21nP.js";
+import { n as RSDiagnosticCode } from "../diagnostics-D_4TpAH4.js";
 //#region src/library/oss.ts
 /** Represents OSS node type. */
 const NodeType = {

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/rsengine.js

@@ -1,10 +1,10 @@
 import { TypeID } from "../rslang/semantic/typification.js";
 import { normalizeType } from "../rslang/labels.js";
 import { CstType } from "./rsform.js";
-import { l as compare } from "../value-COprb2Je.js";
+import { l as compare } from "../value-BDISzQqI.js";
 import { RSCalculator } from "../rslang/eval/calculator.js";
 import "../rslang/index.js";
-import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-D1Cp21nP.js";
+import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-D_4TpAH4.js";
 import { TYPE_BASIC } from "./rsmodel.js";
 import { inferEvalStatus, isInferrable, tryFixValue } from "./rsmodel-api.js";
 //#region src/library/rsengine.ts
@@ -66,7 +66,8 @@ var RSEngine = class {
 	getCstStatus(cstID) {
 		const cst = this.schema?.cstByID.get(cstID);
 		if (!cst) return inferEvalStatus(null, CstType.NOMINAL, false);
-		return inferEvalStatus(this.calculator.getValue(cst.alias), cst.cst_type, this.calculatedSet.has(cstID), this.invalidData.has(cstID));
+		const value = this.calculator.getValue(cst.alias);
+		return inferEvalStatus(value, cst.cst_type, this.calculatedSet.has(cstID), this.invalidData.has(cstID));
 	}
 	/** Subscribe to value change of {@link Constituenta}. */
 	subscribeValue(cstID, callbackFn) {

package/dist/library/rsengine.js.map

@@ -1 +1 @@
-{"version":3,"file":"rsengine.js","names":[],"sources":["../../src/library/rsengine.ts"],"sourcesContent":["import { type AstNode } from '../parsing';\nimport { type CalculatorEvaluateOptions, type CalculatorResult, RSCalculator, TypeID, type Value } from '../rslang';\nimport { compare } from '../rslang/eval/value';\nimport { normalizeType } from '../rslang/labels';\n\nimport { CstType, type RSForm } from './rsform';\nimport { getAnalysisFor, isBaseSet, isBasicConcept, isFunctional } from './rsform-api';\nimport { type BasicBinding, type BasicsContext, type EvalStatus, type RSModel, TYPE_BASIC } from './rsmodel';\nimport { inferEvalStatus, isInferrable, tryFixValue } from './rsmodel-api';\n\nconst INVALID_TYPE_MARKER = 'INVALID';\n\n/** Services for {@link RSEngine}. */\nexport interface RSEngineServices {\n  setCstValue: (args: {\n    itemID: number;\n    data: { target: number; type: string; data: Value | BasicBinding }[];\n  }) => Promise<unknown>;\n  clearValues: (args: { itemID: number; data: { items: number[] } }) => Promise<unknown>;\n}\n\n/** Notifications for {@link RSEngine}. */\nexport interface RSEngineNotifications {\n  onInvalidSetValue: () => void;\n  onCalculationSuccess: (timeSpent: string) => void;\n}\n\n/** Calculation engine for {@link RSModel}. */\nexport class RSEngine {\n  public modelID: number;\n  public schema: RSForm | null = null;\n  public data: RSModel | null = null;\n  public calculator = new RSCalculator();\n  public basics: BasicsContext = new Map<number, BasicBinding>();\n\n  private services: RSEngineServices;\n  private notifications: RSEngineNotifications | null;\n  private invalidData = new Set<number>();\n  private calculatedSet = new Set<number>();\n  private valueSubscribers = new Map<number, Set<() => void>>();\n  private statusSubscribers = new Map<number, Set<() => void>>();\n  private changeSubscribers = new Set<() => void>();\n  private changeGeneration = 0;\n  private pendingChange = false;\n  private coalescedEmitTimeout: ReturnType<typeof setTimeout> | null = null;\n\n  constructor(modelID: number, services: RSEngineServices, notifications: RSEngineNotifications | null = null) {\n    this.services = services;\n    this.notifications = notifications;\n    this.modelID = modelID;\n  }\n\n  /** Updates data for {@link RSEngine}. */\n  public loadData(schema: RSForm, model: RSModel): void {\n    const oldSchema = this.schema;\n    const newSchema = oldSchema !== schema;\n    this.schema = schema;\n    if (newSchema) {\n      const changedCst = this.collectChanged(oldSchema, schema);\n      this.prepareAst();\n      this.setupEmptySets();\n      this.onChangeDefinitions(changedCst);\n    }\n    if (this.data !== model) {\n      this.data = model;\n      this.prepareValues();\n    }\n    this.notifyAll();\n  }\n\n  /** Updates services for {@link RSEngine}. */\n  public updateServices(services: RSEngineServices): void {\n    this.services = services;\n  }\n\n  /** Updates notifications for {@link RSEngine}. */\n  public updateNotifications(notifications: RSEngineNotifications | null): void {\n    this.notifications = notifications;\n  }\n\n  /** Gets value of {@link Constituenta}. */\n  public getCstValue(cstID: number): Value | null {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst) {\n      return null;\n    }\n    return this.calculator.getValue(cst.alias);\n  }\n\n  /** Gets status of {@link Constituenta}. */\n  public getCstStatus(cstID: number): EvalStatus {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst) {\n      return inferEvalStatus(null, CstType.NOMINAL, false);\n    }\n    const value = this.calculator.getValue(cst.alias);\n    return inferEvalStatus(value, cst.cst_type, this.calculatedSet.has(cstID), this.invalidData.has(cstID));\n  }\n\n  /** Subscribe to value change of {@link Constituenta}. */\n  public subscribeValue(cstID: number, callbackFn: () => void): () => void {\n    let subs = this.valueSubscribers.get(cstID);\n    if (!subs) {\n      subs = new Set();\n      this.valueSubscribers.set(cstID, subs);\n    }\n    subs.add(callbackFn);\n    return () => {\n      const current = this.valueSubscribers.get(cstID);\n      if (!current) {\n        return;\n      }\n      current.delete(callbackFn);\n      if (current.size === 0) {\n        this.valueSubscribers.delete(cstID);\n      }\n    };\n  }\n\n  /** Subscribe to status change of {@link Constituenta}. */\n  public subscribeStatus(cstID: number, callbackFn: () => void): () => void {\n    let subs = this.statusSubscribers.get(cstID);\n    if (!subs) {\n      subs = new Set();\n      this.statusSubscribers.set(cstID, subs);\n    }\n    subs.add(callbackFn);\n    return () => {\n      const current = this.statusSubscribers.get(cstID);\n      if (!current) {\n        return;\n      }\n      current.delete(callbackFn);\n      if (current.size === 0) {\n        this.statusSubscribers.delete(cstID);\n      }\n    };\n  }\n\n  /**\n   * Subscribe to any engine change that can affect evaluation (values, status, or loaded data).\n   */\n  public subscribeChanges(callbackFn: () => void): () => void {\n    this.changeSubscribers.add(callbackFn);\n    return () => {\n      this.changeSubscribers.delete(callbackFn);\n    };\n  }\n\n  /** Monotonic counter bumped whenever the engine emits a change to {@link RSEngine.subscribeChanges} listeners. */\n  public getChangeGeneration(): number {\n    return this.changeGeneration;\n  }\n\n  /**\n   * Runs pending {@link RSEngine.subscribeChanges} notifications immediately and clears the coalescing queue.\n   * Use after a synchronous batch of engine updates when listeners must observe a bumped {@link getChangeGeneration}\n   * in the same turn.\n   */\n  public flushPendingChanges(): void {\n    if (this.coalescedEmitTimeout !== null) {\n      clearTimeout(this.coalescedEmitTimeout);\n      this.coalescedEmitTimeout = null;\n    }\n    if (!this.pendingChange) {\n      return;\n    }\n    this.pendingChange = false;\n    this.emitChange();\n  }\n\n  /** Sets value for {@link Constituenta} from {@link Value}. */\n  public async setStructureValue(cstID: number, data: Value): Promise<void> {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!this.schema || !cst || isInferrable(cst.cst_type)) {\n      this.notifications?.onInvalidSetValue();\n      return;\n    }\n\n    const typeStr = cst.effectiveType ? normalizeType(cst.effectiveType) : INVALID_TYPE_MARKER;\n    const payload = [{ target: cstID, type: typeStr, data }];\n    await this.services.setCstValue({ itemID: this.modelID, data: payload });\n\n    if (!cst.effectiveType || !this.calculator.validate(data, cst.effectiveType)) {\n      this.invalidData.add(cstID);\n    } else {\n      this.invalidData.delete(cstID);\n    }\n    this.calculator.setValue(cst.alias, data);\n    this.notifyCst(cstID);\n    this.cascadeReset([cstID]);\n  }\n\n  /** Sets value for {@link Constituenta} from {@link BasicBinding}. */\n  public async setBasicValue(cstID: number, data: BasicBinding): Promise<void> {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!this.schema || !cst || !isBaseSet(cst.cst_type)) {\n      this.notifications?.onInvalidSetValue();\n      return;\n    }\n    const oldValue = this.calculator.getValue(cst.alias);\n    const newValue = Object.keys(data).map(Number);\n\n    const updateList: Parameters<RSEngineServices['setCstValue']>[0]['data'] = [\n      { target: cstID, type: TYPE_BASIC, data }\n    ];\n    const resetList: number[] = [];\n\n    if (oldValue !== null && compare(newValue, oldValue) !== 0) {\n      const dependencies = this.schema.graph.expandAllOutputs([cstID]);\n      for (const childID of dependencies) {\n        const child = this.schema.cstByID.get(childID)!;\n        if (child.cst_type === CstType.STRUCTURED && !!child.effectiveType) {\n          const value = this.calculator.getValue(child.alias);\n          if (value !== null) {\n            const fix = tryFixValue(value, child.effectiveType, cst.alias, newValue);\n            if (fix === null) {\n              resetList.push(childID);\n            } else if (fix === true) {\n              const typeStr = normalizeType(child.effectiveType);\n              updateList.push({ target: childID, type: typeStr, data: [...(value as Value[])] });\n            }\n          }\n        }\n      }\n    }\n\n    if (resetList.length > 0) {\n      await Promise.all([\n        this.services.setCstValue({ itemID: this.modelID, data: updateList }),\n        this.services.clearValues({ itemID: this.modelID, data: { items: resetList } })\n      ]);\n    } else {\n      await this.services.setCstValue({ itemID: this.modelID, data: updateList });\n    }\n    const changed = [...resetList, ...updateList.map(item => item.target)];\n\n    this.basics.set(cstID, data);\n    this.calculator.setValue(cst.alias, Object.keys(data).map(Number));\n\n    for (const item of resetList) {\n      this.calculator.resetValue(this.schema.cstByID.get(item)!.alias);\n      this.notifyCst(item);\n    }\n    for (const updateData of updateList) {\n      if (updateData.target !== cstID) {\n        this.calculator.setValue(\n          this.schema.cstByID.get(updateData.target)!.alias,\n          updateData.data as unknown as Value\n        );\n        this.notifyCst(updateData.target);\n      }\n    }\n    for (const item of changed) {\n      this.notifyCst(item);\n    }\n    this.cascadeReset(changed);\n  }\n\n  /** Resets value for {@link Constituenta}. */\n  public async resetValue(cstID: number): Promise<void> {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst) {\n      return;\n    }\n    await this.services.clearValues({ itemID: this.modelID, data: { items: [cstID] } });\n    this.calculator.resetValue(cst.alias);\n    this.basics.delete(cstID);\n    this.calculatedSet.delete(cstID);\n    this.invalidData.delete(cstID);\n    this.notifyCst(cstID);\n  }\n\n  /** Evaluates expression for {@link RSEngine}. */\n  public evaluateExpression(expression: string, cstType: CstType): CalculatorResult {\n    return getEvaluationFor(expression, cstType, this.schema!, this.calculator);\n  }\n\n  /** Evaluates AST for {@link RSEngine}. */\n  public evaluateAst(ast: AstNode, options?: CalculatorEvaluateOptions): CalculatorResult {\n    return this.calculator.evaluateFull(ast, options);\n  }\n\n  /** Calculates value for {@link Constituenta}. */\n  public calculateCst(cstID: number): CalculatorResult {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst || !this.schema) {\n      return { value: null, iterations: 0, errors: [], cacheHits: 0 };\n    }\n\n    if (!this.calculatedSet.has(cstID)) {\n      const predecessors = this.schema.graph.expandAllInputs([cstID]);\n      this.prepareEvaluation(predecessors);\n    }\n    const result = getEvaluationFor(cst.definition_formal, cst.cst_type, this.schema, this.calculator);\n\n    if (result.value === null) {\n      this.calculator.resetValue(cst.alias);\n    } else {\n      this.calculator.setValue(cst.alias, result.value);\n    }\n\n    this.calculatedSet.add(cstID);\n    this.notifyCst(cstID);\n\n    return result;\n  }\n\n  /** Recalculate model for all inferrable expressions. */\n  recalculateAll(): void {\n    const start = performance.now();\n    this.calculatedSet.clear();\n    this.recalculateInternal();\n    const end = performance.now();\n    const timeSpent = ((end - start) / 1000).toFixed(2);\n    this.notifications?.onCalculationSuccess(timeSpent);\n  }\n\n  /** Notify subscribers about value and status change of {@link Constituenta}. */\n  private notifyCst(cstID: number) {\n    this.notifyStatus(cstID);\n    this.notifyValue(cstID);\n    this.scheduleCoalescedEmitChange();\n  }\n\n  /** Notify all subscribers about value change. */\n  private notifyValue(cstID: number) {\n    const subs = this.valueSubscribers.get(cstID);\n    if (subs) {\n      for (const cb of subs) cb();\n    }\n  }\n\n  /** Notify all subscribers about status change. */\n  private notifyStatus(cstID: number) {\n    const subs = this.statusSubscribers.get(cstID);\n    if (subs) {\n      for (const cb of subs) cb();\n    }\n  }\n\n  /** Notify all subscribers about value and status change. */\n  private notifyAll(): void {\n    for (const subs of this.valueSubscribers.values()) {\n      for (const cb of subs) cb();\n    }\n    for (const subs of this.statusSubscribers.values()) {\n      for (const cb of subs) cb();\n    }\n    this.scheduleCoalescedEmitChange();\n  }\n\n  private scheduleCoalescedEmitChange(): void {\n    this.pendingChange = true;\n    if (this.coalescedEmitTimeout !== null) {\n      return;\n    }\n    this.coalescedEmitTimeout = setTimeout(\n      function runCoalescedEmitChange(this: RSEngine) {\n        this.coalescedEmitTimeout = null;\n        if (!this.pendingChange) {\n          return;\n        }\n        this.pendingChange = false;\n        this.emitChange();\n      }.bind(this),\n      0\n    );\n  }\n\n  private emitChange(): void {\n    this.changeGeneration += 1;\n    for (const cb of this.changeSubscribers) {\n      cb();\n    }\n  }\n\n  private prepareAst(): void {\n    this.calculator.clearAllAst();\n    const functions = this.schema!.items.filter(cst => isFunctional(cst.cst_type) && cst.analysis?.success);\n    for (const cst of functions) {\n      const fullAnalysis = getAnalysisFor(cst.definition_formal, cst.cst_type, this.schema!);\n      if (fullAnalysis.ast) {\n        this.calculator.setAST(cst.alias, fullAnalysis.ast);\n      }\n    }\n  }\n\n  private prepareValues(): void {\n    this.basics.clear();\n    this.invalidData.clear();\n    this.calculatedSet.clear();\n\n    for (const item of this.data!.items) {\n      const cst = this.schema!.cstByID.get(item.id)!;\n      if (item.type === TYPE_BASIC) {\n        if (cst.cst_type !== CstType.BASE && cst.cst_type !== CstType.CONSTANT) {\n          throw new Error(`Invalid data for ${cst.alias}`);\n        }\n        const data = item.value as BasicBinding;\n        this.basics.set(cst.id, data);\n        this.calculator.setValue(cst.alias, Object.keys(data).map(Number));\n      }\n    }\n    for (const item of this.data!.items) {\n      const cst = this.schema!.cstByID.get(item.id)!;\n      if (item.type !== TYPE_BASIC) {\n        this.calculator.setValue(cst.alias, item.value as Value);\n        if (!cst.effectiveType || !this.calculator.validate(item.value as Value, cst.effectiveType)) {\n          this.invalidData.add(item.id);\n        }\n      }\n    }\n    this.setupEmptySets();\n  }\n\n  private setupEmptySets(): void {\n    for (const cst of this.schema!.items) {\n      if (isBasicConcept(cst.cst_type) && this.schema!.analyzer.getType(cst.alias)?.typeID === TypeID.collection) {\n        if (this.calculator.getValue(cst.alias) === null) {\n          this.calculator.setValue(cst.alias, []);\n        }\n      }\n    }\n  }\n\n  private collectChanged(previousSchema: RSForm | null, nextSchema: RSForm): number[] {\n    if (!previousSchema) {\n      return [];\n    }\n    const changedIDs: number[] = [];\n    for (const cst of nextSchema.items) {\n      const prev = previousSchema.cstByID.get(cst.id);\n      if (prev && (prev.definition_formal !== cst.definition_formal || prev.alias !== cst.alias)) {\n        changedIDs.push(cst.id);\n      }\n    }\n    return changedIDs;\n  }\n\n  private onChangeDefinitions(cstIDs: number[]): void {\n    if (!this.schema || cstIDs.length === 0) {\n      return;\n    }\n    for (const cstID of cstIDs) {\n      const cst = this.schema.cstByID.get(cstID);\n      if (!cst || !isInferrable(cst.cst_type)) {\n        continue;\n      }\n      this.calculatedSet.delete(cstID);\n      this.calculator.resetValue(cst.alias);\n      this.notifyCst(cstID);\n    }\n    this.cascadeReset(cstIDs);\n  }\n\n  private cascadeReset(cstIDs: number[]): void {\n    if (!this.schema) {\n      return;\n    }\n    const dependencies = this.schema.graph.expandAllOutputs(cstIDs);\n    for (const cstID of dependencies) {\n      const cst = this.schema.cstByID.get(cstID);\n      if (!cst || !isInferrable(cst.cst_type)) {\n        continue;\n      }\n      this.calculatedSet.delete(cstID);\n      this.calculator.resetValue(this.schema.cstByID.get(cstID)!.alias);\n      this.notifyCst(cstID);\n    }\n  }\n\n  private prepareEvaluation(dependencies: number[]): void {\n    for (const cstID of this.schema!.graph.topologicalOrder()) {\n      if (dependencies.includes(cstID)) {\n        const cst = this.schema!.cstByID.get(cstID)!;\n        if (isInferrable(cst.cst_type)) {\n          const value = fastEvaluation(cst.definition_formal, cst.cst_type, this.schema!, this.calculator);\n          if (value !== null) {\n            this.calculator.setValue(cst.alias, value);\n          } else {\n            this.calculator.resetValue(cst.alias);\n          }\n          this.notifyCst(cstID);\n        }\n        this.calculatedSet.add(cstID);\n      }\n    }\n  }\n\n  private recalculateInternal(): void {\n    const processedIDs = [];\n    for (const cst of this.schema!.cstByID.values()) {\n      if (isInferrable(cst.cst_type)) {\n        this.calculator.resetValue(cst.alias);\n      }\n    }\n\n    for (const cstID of this.schema!.graph.topologicalOrder()) {\n      processedIDs.push(cstID);\n      const cst = this.schema!.cstByID.get(cstID)!;\n      if (isInferrable(cst.cst_type)) {\n        const value = fastEvaluation(cst.definition_formal, cst.cst_type, this.schema!, this.calculator);\n        this.calculatedSet.add(cstID);\n        if (value !== null) {\n          this.calculator.setValue(cst.alias, value);\n        }\n      }\n    }\n    this.notifyAll();\n  }\n}\n\n// ==== Internal functions ==== /\n\n/** Evaluates expression for {@link Constituenta}, including error handling. */\nfunction getEvaluationFor(\n  expression: string,\n  cstType: CstType,\n  schema: RSForm,\n  calculator: RSCalculator\n): CalculatorResult {\n  const parse = getAnalysisFor(expression, cstType, schema);\n  if (!parse.success || !parse.ast) {\n    return {\n      value: null,\n      iterations: 0,\n      cacheHits: 0,\n      errors: parse.errors\n    };\n  }\n  const result = calculator.evaluateFull(parse.ast);\n  return {\n    value: result.value,\n    iterations: result.iterations,\n    cacheHits: result.cacheHits,\n    errors: [...parse.errors, ...result.errors]\n  };\n}\n\n/** Evaluates expression for {@link RSModel}. */\nfunction fastEvaluation(expression: string, cstType: CstType, schema: RSForm, calculator: RSCalculator): Value | null {\n  const parse = getAnalysisFor(expression, cstType, schema);\n  if (!parse.success || !parse.ast) {\n    return null;\n  }\n  return calculator.evaluateFast(parse.ast);\n}\n"],"mappings":";;;;;;;;;;AAUA,MAAM,sBAAsB;;AAkB5B,IAAa,WAAb,MAAsB;CACpB;CACA,SAA+B;CAC/B,OAA8B;CAC9B,aAAoB,IAAI,aAAa;CACrC,yBAA+B,IAAI,IAA0B;CAE7D;CACA;CACA,8BAAsB,IAAI,IAAY;CACtC,gCAAwB,IAAI,IAAY;CACxC,mCAA2B,IAAI,IAA6B;CAC5D,oCAA4B,IAAI,IAA6B;CAC7D,oCAA4B,IAAI,IAAgB;CAChD,mBAA2B;CAC3B,gBAAwB;CACxB,uBAAqE;CAErE,YAAY,SAAiB,UAA4B,gBAA8C,MAAM;EAC3G,KAAK,WAAW;EAChB,KAAK,gBAAgB;EACrB,KAAK,UAAU;CACjB;;CAGA,SAAgB,QAAgB,OAAsB;EACpD,MAAM,YAAY,KAAK;EACvB,MAAM,YAAY,cAAc;EAChC,KAAK,SAAS;EACd,IAAI,WAAW;GACb,MAAM,aAAa,KAAK,eAAe,WAAW,MAAM;GACxD,KAAK,WAAW;GAChB,KAAK,eAAe;GACpB,KAAK,oBAAoB,UAAU;EACrC;EACA,IAAI,KAAK,SAAS,OAAO;GACvB,KAAK,OAAO;GACZ,KAAK,cAAc;EACrB;EACA,KAAK,UAAU;CACjB;;CAGA,eAAsB,UAAkC;EACtD,KAAK,WAAW;CAClB;;CAGA,oBAA2B,eAAmD;EAC5E,KAAK,gBAAgB;CACvB;;CAGA,YAAmB,OAA6B;EAC9C,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KACH,OAAO;EAET,OAAO,KAAK,WAAW,SAAS,IAAI,KAAK;CAC3C;;CAGA,aAAoB,OAA2B;EAC7C,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KACH,OAAO,gBAAgB,MAAM,QAAQ,SAAS,KAAK;EAGrD,OAAO,gBADO,KAAK,WAAW,SAAS,IAAI,KACpB,GAAO,IAAI,UAAU,KAAK,cAAc,IAAI,KAAK,GAAG,KAAK,YAAY,IAAI,KAAK,CAAC;CACxG;;CAGA,eAAsB,OAAe,YAAoC;EACvE,IAAI,OAAO,KAAK,iBAAiB,IAAI,KAAK;EAC1C,IAAI,CAAC,MAAM;GACT,uBAAO,IAAI,IAAI;GACf,KAAK,iBAAiB,IAAI,OAAO,IAAI;EACvC;EACA,KAAK,IAAI,UAAU;EACnB,aAAa;GACX,MAAM,UAAU,KAAK,iBAAiB,IAAI,KAAK;GAC/C,IAAI,CAAC,SACH;GAEF,QAAQ,OAAO,UAAU;GACzB,IAAI,QAAQ,SAAS,GACnB,KAAK,iBAAiB,OAAO,KAAK;EAEtC;CACF;;CAGA,gBAAuB,OAAe,YAAoC;EACxE,IAAI,OAAO,KAAK,kBAAkB,IAAI,KAAK;EAC3C,IAAI,CAAC,MAAM;GACT,uBAAO,IAAI,IAAI;GACf,KAAK,kBAAkB,IAAI,OAAO,IAAI;EACxC;EACA,KAAK,IAAI,UAAU;EACnB,aAAa;GACX,MAAM,UAAU,KAAK,kBAAkB,IAAI,KAAK;GAChD,IAAI,CAAC,SACH;GAEF,QAAQ,OAAO,UAAU;GACzB,IAAI,QAAQ,SAAS,GACnB,KAAK,kBAAkB,OAAO,KAAK;EAEvC;CACF;;;;CAKA,iBAAwB,YAAoC;EAC1D,KAAK,kBAAkB,IAAI,UAAU;EACrC,aAAa;GACX,KAAK,kBAAkB,OAAO,UAAU;EAC1C;CACF;;CAGA,sBAAqC;EACnC,OAAO,KAAK;CACd;;;;;;CAOA,sBAAmC;EACjC,IAAI,KAAK,yBAAyB,MAAM;GACtC,aAAa,KAAK,oBAAoB;GACtC,KAAK,uBAAuB;EAC9B;EACA,IAAI,CAAC,KAAK,eACR;EAEF,KAAK,gBAAgB;EACrB,KAAK,WAAW;CAClB;;CAGA,MAAa,kBAAkB,OAAe,MAA4B;EACxE,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KAAK,UAAU,CAAC,OAAO,aAAa,IAAI,QAAQ,GAAG;GACtD,KAAK,eAAe,kBAAkB;GACtC;EACF;EAGA,MAAM,UAAU,CAAC;GAAE,QAAQ;GAAO,MADlB,IAAI,gBAAgB,cAAc,IAAI,aAAa,IAAI;GACtB;EAAK,CAAC;EACvD,MAAM,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM;EAAQ,CAAC;EAEvE,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,WAAW,SAAS,MAAM,IAAI,aAAa,GACzE,KAAK,YAAY,IAAI,KAAK;OAE1B,KAAK,YAAY,OAAO,KAAK;EAE/B,KAAK,WAAW,SAAS,IAAI,OAAO,IAAI;EACxC,KAAK,UAAU,KAAK;EACpB,KAAK,aAAa,CAAC,KAAK,CAAC;CAC3B;;CAGA,MAAa,cAAc,OAAe,MAAmC;EAC3E,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KAAK,UAAU,CAAC,OAAO,CAAC,UAAU,IAAI,QAAQ,GAAG;GACpD,KAAK,eAAe,kBAAkB;GACtC;EACF;EACA,MAAM,WAAW,KAAK,WAAW,SAAS,IAAI,KAAK;EACnD,MAAM,WAAW,OAAO,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM;EAE7C,MAAM,aAAqE,CACzE;GAAE,QAAQ;GAAO,MAAM;GAAY;EAAK,CAC1C;EACA,MAAM,YAAsB,CAAC;EAE7B,IAAI,aAAa,QAAQ,QAAQ,UAAU,QAAQ,MAAM,GAAG;GAC1D,MAAM,eAAe,KAAK,OAAO,MAAM,iBAAiB,CAAC,KAAK,CAAC;GAC/D,KAAK,MAAM,WAAW,cAAc;IAClC,MAAM,QAAQ,KAAK,OAAO,QAAQ,IAAI,OAAO;IAC7C,IAAI,MAAM,aAAa,QAAQ,cAAc,CAAC,CAAC,MAAM,eAAe;KAClE,MAAM,QAAQ,KAAK,WAAW,SAAS,MAAM,KAAK;KAClD,IAAI,UAAU,MAAM;MAClB,MAAM,MAAM,YAAY,OAAO,MAAM,eAAe,IAAI,OAAO,QAAQ;MACvE,IAAI,QAAQ,MACV,UAAU,KAAK,OAAO;WACjB,IAAI,QAAQ,MAAM;OACvB,MAAM,UAAU,cAAc,MAAM,aAAa;OACjD,WAAW,KAAK;QAAE,QAAQ;QAAS,MAAM;QAAS,MAAM,CAAC,GAAI,KAAiB;OAAE,CAAC;MACnF;KACF;IACF;GACF;EACF;EAEA,IAAI,UAAU,SAAS,GACrB,MAAM,QAAQ,IAAI,CAChB,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM;EAAW,CAAC,GACpE,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM,EAAE,OAAO,UAAU;EAAE,CAAC,CAChF,CAAC;OAED,MAAM,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM;EAAW,CAAC;EAE5E,MAAM,UAAU,CAAC,GAAG,WAAW,GAAG,WAAW,KAAI,SAAQ,KAAK,MAAM,CAAC;EAErE,KAAK,OAAO,IAAI,OAAO,IAAI;EAC3B,KAAK,WAAW,SAAS,IAAI,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC;EAEjE,KAAK,MAAM,QAAQ,WAAW;GAC5B,KAAK,WAAW,WAAW,KAAK,OAAO,QAAQ,IAAI,IAAI,CAAC,CAAE,KAAK;GAC/D,KAAK,UAAU,IAAI;EACrB;EACA,KAAK,MAAM,cAAc,YACvB,IAAI,WAAW,WAAW,OAAO;GAC/B,KAAK,WAAW,SACd,KAAK,OAAO,QAAQ,IAAI,WAAW,MAAM,CAAC,CAAE,OAC5C,WAAW,IACb;GACA,KAAK,UAAU,WAAW,MAAM;EAClC;EAEF,KAAK,MAAM,QAAQ,SACjB,KAAK,UAAU,IAAI;EAErB,KAAK,aAAa,OAAO;CAC3B;;CAGA,MAAa,WAAW,OAA8B;EACpD,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KACH;EAEF,MAAM,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE;EAAE,CAAC;EAClF,KAAK,WAAW,WAAW,IAAI,KAAK;EACpC,KAAK,OAAO,OAAO,KAAK;EACxB,KAAK,cAAc,OAAO,KAAK;EAC/B,KAAK,YAAY,OAAO,KAAK;EAC7B,KAAK,UAAU,KAAK;CACtB;;CAGA,mBAA0B,YAAoB,SAAoC;EAChF,OAAO,iBAAiB,YAAY,SAAS,KAAK,QAAS,KAAK,UAAU;CAC5E;;CAGA,YAAmB,KAAc,SAAuD;EACtF,OAAO,KAAK,WAAW,aAAa,KAAK,OAAO;CAClD;;CAGA,aAAoB,OAAiC;EACnD,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,QAChB,OAAO;GAAE,OAAO;GAAM,YAAY;GAAG,QAAQ,CAAC;GAAG,WAAW;EAAE;EAGhE,IAAI,CAAC,KAAK,cAAc,IAAI,KAAK,GAAG;GAClC,MAAM,eAAe,KAAK,OAAO,MAAM,gBAAgB,CAAC,KAAK,CAAC;GAC9D,KAAK,kBAAkB,YAAY;EACrC;EACA,MAAM,SAAS,iBAAiB,IAAI,mBAAmB,IAAI,UAAU,KAAK,QAAQ,KAAK,UAAU;EAEjG,IAAI,OAAO,UAAU,MACnB,KAAK,WAAW,WAAW,IAAI,KAAK;OAEpC,KAAK,WAAW,SAAS,IAAI,OAAO,OAAO,KAAK;EAGlD,KAAK,cAAc,IAAI,KAAK;EAC5B,KAAK,UAAU,KAAK;EAEpB,OAAO;CACT;;CAGA,iBAAuB;EACrB,MAAM,QAAQ,YAAY,IAAI;EAC9B,KAAK,cAAc,MAAM;EACzB,KAAK,oBAAoB;EAEzB,MAAM,cADM,YAAY,IACJ,IAAM,SAAS,IAAA,CAAM,QAAQ,CAAC;EAClD,KAAK,eAAe,qBAAqB,SAAS;CACpD;;CAGA,UAAkB,OAAe;EAC/B,KAAK,aAAa,KAAK;EACvB,KAAK,YAAY,KAAK;EACtB,KAAK,4BAA4B;CACnC;;CAGA,YAAoB,OAAe;EACjC,MAAM,OAAO,KAAK,iBAAiB,IAAI,KAAK;EAC5C,IAAI,MACF,KAAK,MAAM,MAAM,MAAM,GAAG;CAE9B;;CAGA,aAAqB,OAAe;EAClC,MAAM,OAAO,KAAK,kBAAkB,IAAI,KAAK;EAC7C,IAAI,MACF,KAAK,MAAM,MAAM,MAAM,GAAG;CAE9B;;CAGA,YAA0B;EACxB,KAAK,MAAM,QAAQ,KAAK,iBAAiB,OAAO,GAC9C,KAAK,MAAM,MAAM,MAAM,GAAG;EAE5B,KAAK,MAAM,QAAQ,KAAK,kBAAkB,OAAO,GAC/C,KAAK,MAAM,MAAM,MAAM,GAAG;EAE5B,KAAK,4BAA4B;CACnC;CAEA,8BAA4C;EAC1C,KAAK,gBAAgB;EACrB,IAAI,KAAK,yBAAyB,MAChC;EAEF,KAAK,uBAAuB,WAC1B,SAAS,yBAAuC;GAC9C,KAAK,uBAAuB;GAC5B,IAAI,CAAC,KAAK,eACR;GAEF,KAAK,gBAAgB;GACrB,KAAK,WAAW;EAClB,EAAE,KAAK,IAAI,GACX,CACF;CACF;CAEA,aAA2B;EACzB,KAAK,oBAAoB;EACzB,KAAK,MAAM,MAAM,KAAK,mBACpB,GAAG;CAEP;CAEA,aAA2B;EACzB,KAAK,WAAW,YAAY;EAC5B,MAAM,YAAY,KAAK,OAAQ,MAAM,QAAO,QAAO,aAAa,IAAI,QAAQ,KAAK,IAAI,UAAU,OAAO;EACtG,KAAK,MAAM,OAAO,WAAW;GAC3B,MAAM,eAAe,eAAe,IAAI,mBAAmB,IAAI,UAAU,KAAK,MAAO;GACrF,IAAI,aAAa,KACf,KAAK,WAAW,OAAO,IAAI,OAAO,aAAa,GAAG;EAEtD;CACF;CAEA,gBAA8B;EAC5B,KAAK,OAAO,MAAM;EAClB,KAAK,YAAY,MAAM;EACvB,KAAK,cAAc,MAAM;EAEzB,KAAK,MAAM,QAAQ,KAAK,KAAM,OAAO;GACnC,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK,EAAE;GAC5C,IAAI,KAAK,SAAA,SAAqB;IAC5B,IAAI,IAAI,aAAa,QAAQ,QAAQ,IAAI,aAAa,QAAQ,UAC5D,MAAM,IAAI,MAAM,oBAAoB,IAAI,OAAO;IAEjD,MAAM,OAAO,KAAK;IAClB,KAAK,OAAO,IAAI,IAAI,IAAI,IAAI;IAC5B,KAAK,WAAW,SAAS,IAAI,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC;GACnE;EACF;EACA,KAAK,MAAM,QAAQ,KAAK,KAAM,OAAO;GACnC,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK,EAAE;GAC5C,IAAI,KAAK,SAAA,SAAqB;IAC5B,KAAK,WAAW,SAAS,IAAI,OAAO,KAAK,KAAc;IACvD,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,WAAW,SAAS,KAAK,OAAgB,IAAI,aAAa,GACxF,KAAK,YAAY,IAAI,KAAK,EAAE;GAEhC;EACF;EACA,KAAK,eAAe;CACtB;CAEA,iBAA+B;EAC7B,KAAK,MAAM,OAAO,KAAK,OAAQ,OAC7B,IAAI,eAAe,IAAI,QAAQ,KAAK,KAAK,OAAQ,SAAS,QAAQ,IAAI,KAAK,CAAC,EAAE,WAAW,OAAO,YAC9F;OAAI,KAAK,WAAW,SAAS,IAAI,KAAK,MAAM,MAC1C,KAAK,WAAW,SAAS,IAAI,OAAO,CAAC,CAAC;EACxC;CAGN;CAEA,eAAuB,gBAA+B,YAA8B;EAClF,IAAI,CAAC,gBACH,OAAO,CAAC;EAEV,MAAM,aAAuB,CAAC;EAC9B,KAAK,MAAM,OAAO,WAAW,OAAO;GAClC,MAAM,OAAO,eAAe,QAAQ,IAAI,IAAI,EAAE;GAC9C,IAAI,SAAS,KAAK,sBAAsB,IAAI,qBAAqB,KAAK,UAAU,IAAI,QAClF,WAAW,KAAK,IAAI,EAAE;EAE1B;EACA,OAAO;CACT;CAEA,oBAA4B,QAAwB;EAClD,IAAI,CAAC,KAAK,UAAU,OAAO,WAAW,GACpC;EAEF,KAAK,MAAM,SAAS,QAAQ;GAC1B,MAAM,MAAM,KAAK,OAAO,QAAQ,IAAI,KAAK;GACzC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,QAAQ,GACpC;GAEF,KAAK,cAAc,OAAO,KAAK;GAC/B,KAAK,WAAW,WAAW,IAAI,KAAK;GACpC,KAAK,UAAU,KAAK;EACtB;EACA,KAAK,aAAa,MAAM;CAC1B;CAEA,aAAqB,QAAwB;EAC3C,IAAI,CAAC,KAAK,QACR;EAEF,MAAM,eAAe,KAAK,OAAO,MAAM,iBAAiB,MAAM;EAC9D,KAAK,MAAM,SAAS,cAAc;GAChC,MAAM,MAAM,KAAK,OAAO,QAAQ,IAAI,KAAK;GACzC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,QAAQ,GACpC;GAEF,KAAK,cAAc,OAAO,KAAK;GAC/B,KAAK,WAAW,WAAW,KAAK,OAAO,QAAQ,IAAI,KAAK,CAAC,CAAE,KAAK;GAChE,KAAK,UAAU,KAAK;EACtB;CACF;CAEA,kBAA0B,cAA8B;EACtD,KAAK,MAAM,SAAS,KAAK,OAAQ,MAAM,iBAAiB,GACtD,IAAI,aAAa,SAAS,KAAK,GAAG;GAChC,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK;GAC1C,IAAI,aAAa,IAAI,QAAQ,GAAG;IAC9B,MAAM,QAAQ,eAAe,IAAI,mBAAmB,IAAI,UAAU,KAAK,QAAS,KAAK,UAAU;IAC/F,IAAI,UAAU,MACZ,KAAK,WAAW,SAAS,IAAI,OAAO,KAAK;SAEzC,KAAK,WAAW,WAAW,IAAI,KAAK;IAEtC,KAAK,UAAU,KAAK;GACtB;GACA,KAAK,cAAc,IAAI,KAAK;EAC9B;CAEJ;CAEA,sBAAoC;EAClC,MAAM,eAAe,CAAC;EACtB,KAAK,MAAM,OAAO,KAAK,OAAQ,QAAQ,OAAO,GAC5C,IAAI,aAAa,IAAI,QAAQ,GAC3B,KAAK,WAAW,WAAW,IAAI,KAAK;EAIxC,KAAK,MAAM,SAAS,KAAK,OAAQ,MAAM,iBAAiB,GAAG;GACzD,aAAa,KAAK,KAAK;GACvB,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK;GAC1C,IAAI,aAAa,IAAI,QAAQ,GAAG;IAC9B,MAAM,QAAQ,eAAe,IAAI,mBAAmB,IAAI,UAAU,KAAK,QAAS,KAAK,UAAU;IAC/F,KAAK,cAAc,IAAI,KAAK;IAC5B,IAAI,UAAU,MACZ,KAAK,WAAW,SAAS,IAAI,OAAO,KAAK;GAE7C;EACF;EACA,KAAK,UAAU;CACjB;AACF;;AAKA,SAAS,iBACP,YACA,SACA,QACA,YACkB;CAClB,MAAM,QAAQ,eAAe,YAAY,SAAS,MAAM;CACxD,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,KAC3B,OAAO;EACL,OAAO;EACP,YAAY;EACZ,WAAW;EACX,QAAQ,MAAM;CAChB;CAEF,MAAM,SAAS,WAAW,aAAa,MAAM,GAAG;CAChD,OAAO;EACL,OAAO,OAAO;EACd,YAAY,OAAO;EACnB,WAAW,OAAO;EAClB,QAAQ,CAAC,GAAG,MAAM,QAAQ,GAAG,OAAO,MAAM;CAC5C;AACF;;AAGA,SAAS,eAAe,YAAoB,SAAkB,QAAgB,YAAwC;CACpH,MAAM,QAAQ,eAAe,YAAY,SAAS,MAAM;CACxD,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,KAC3B,OAAO;CAET,OAAO,WAAW,aAAa,MAAM,GAAG;AAC1C"}
+{"version":3,"file":"rsengine.js","names":[],"sources":["../../src/library/rsengine.ts"],"sourcesContent":["import { type AstNode } from '../parsing';\nimport { type CalculatorEvaluateOptions, type CalculatorResult, RSCalculator, TypeID, type Value } from '../rslang';\nimport { compare } from '../rslang/eval/value';\nimport { normalizeType } from '../rslang/labels';\n\nimport { CstType, type RSForm } from './rsform';\nimport { getAnalysisFor, isBaseSet, isBasicConcept, isFunctional } from './rsform-api';\nimport { type BasicBinding, type BasicsContext, type EvalStatus, type RSModel, TYPE_BASIC } from './rsmodel';\nimport { inferEvalStatus, isInferrable, tryFixValue } from './rsmodel-api';\n\nconst INVALID_TYPE_MARKER = 'INVALID';\n\n/** Services for {@link RSEngine}. */\nexport interface RSEngineServices {\n  setCstValue: (args: {\n    itemID: number;\n    data: { target: number; type: string; data: Value | BasicBinding }[];\n  }) => Promise<unknown>;\n  clearValues: (args: { itemID: number; data: { items: number[] } }) => Promise<unknown>;\n}\n\n/** Notifications for {@link RSEngine}. */\nexport interface RSEngineNotifications {\n  onInvalidSetValue: () => void;\n  onCalculationSuccess: (timeSpent: string) => void;\n}\n\n/** Calculation engine for {@link RSModel}. */\nexport class RSEngine {\n  public modelID: number;\n  public schema: RSForm | null = null;\n  public data: RSModel | null = null;\n  public calculator = new RSCalculator();\n  public basics: BasicsContext = new Map<number, BasicBinding>();\n\n  private services: RSEngineServices;\n  private notifications: RSEngineNotifications | null;\n  private invalidData = new Set<number>();\n  private calculatedSet = new Set<number>();\n  private valueSubscribers = new Map<number, Set<() => void>>();\n  private statusSubscribers = new Map<number, Set<() => void>>();\n  private changeSubscribers = new Set<() => void>();\n  private changeGeneration = 0;\n  private pendingChange = false;\n  private coalescedEmitTimeout: ReturnType<typeof setTimeout> | null = null;\n\n  constructor(modelID: number, services: RSEngineServices, notifications: RSEngineNotifications | null = null) {\n    this.services = services;\n    this.notifications = notifications;\n    this.modelID = modelID;\n  }\n\n  /** Updates data for {@link RSEngine}. */\n  public loadData(schema: RSForm, model: RSModel): void {\n    const oldSchema = this.schema;\n    const newSchema = oldSchema !== schema;\n    this.schema = schema;\n    if (newSchema) {\n      const changedCst = this.collectChanged(oldSchema, schema);\n      this.prepareAst();\n      this.setupEmptySets();\n      this.onChangeDefinitions(changedCst);\n    }\n    if (this.data !== model) {\n      this.data = model;\n      this.prepareValues();\n    }\n    this.notifyAll();\n  }\n\n  /** Updates services for {@link RSEngine}. */\n  public updateServices(services: RSEngineServices): void {\n    this.services = services;\n  }\n\n  /** Updates notifications for {@link RSEngine}. */\n  public updateNotifications(notifications: RSEngineNotifications | null): void {\n    this.notifications = notifications;\n  }\n\n  /** Gets value of {@link Constituenta}. */\n  public getCstValue(cstID: number): Value | null {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst) {\n      return null;\n    }\n    return this.calculator.getValue(cst.alias);\n  }\n\n  /** Gets status of {@link Constituenta}. */\n  public getCstStatus(cstID: number): EvalStatus {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst) {\n      return inferEvalStatus(null, CstType.NOMINAL, false);\n    }\n    const value = this.calculator.getValue(cst.alias);\n    return inferEvalStatus(value, cst.cst_type, this.calculatedSet.has(cstID), this.invalidData.has(cstID));\n  }\n\n  /** Subscribe to value change of {@link Constituenta}. */\n  public subscribeValue(cstID: number, callbackFn: () => void): () => void {\n    let subs = this.valueSubscribers.get(cstID);\n    if (!subs) {\n      subs = new Set();\n      this.valueSubscribers.set(cstID, subs);\n    }\n    subs.add(callbackFn);\n    return () => {\n      const current = this.valueSubscribers.get(cstID);\n      if (!current) {\n        return;\n      }\n      current.delete(callbackFn);\n      if (current.size === 0) {\n        this.valueSubscribers.delete(cstID);\n      }\n    };\n  }\n\n  /** Subscribe to status change of {@link Constituenta}. */\n  public subscribeStatus(cstID: number, callbackFn: () => void): () => void {\n    let subs = this.statusSubscribers.get(cstID);\n    if (!subs) {\n      subs = new Set();\n      this.statusSubscribers.set(cstID, subs);\n    }\n    subs.add(callbackFn);\n    return () => {\n      const current = this.statusSubscribers.get(cstID);\n      if (!current) {\n        return;\n      }\n      current.delete(callbackFn);\n      if (current.size === 0) {\n        this.statusSubscribers.delete(cstID);\n      }\n    };\n  }\n\n  /**\n   * Subscribe to any engine change that can affect evaluation (values, status, or loaded data).\n   */\n  public subscribeChanges(callbackFn: () => void): () => void {\n    this.changeSubscribers.add(callbackFn);\n    return () => {\n      this.changeSubscribers.delete(callbackFn);\n    };\n  }\n\n  /** Monotonic counter bumped whenever the engine emits a change to {@link RSEngine.subscribeChanges} listeners. */\n  public getChangeGeneration(): number {\n    return this.changeGeneration;\n  }\n\n  /**\n   * Runs pending {@link RSEngine.subscribeChanges} notifications immediately and clears the coalescing queue.\n   * Use after a synchronous batch of engine updates when listeners must observe a bumped {@link getChangeGeneration}\n   * in the same turn.\n   */\n  public flushPendingChanges(): void {\n    if (this.coalescedEmitTimeout !== null) {\n      clearTimeout(this.coalescedEmitTimeout);\n      this.coalescedEmitTimeout = null;\n    }\n    if (!this.pendingChange) {\n      return;\n    }\n    this.pendingChange = false;\n    this.emitChange();\n  }\n\n  /** Sets value for {@link Constituenta} from {@link Value}. */\n  public async setStructureValue(cstID: number, data: Value): Promise<void> {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!this.schema || !cst || isInferrable(cst.cst_type)) {\n      this.notifications?.onInvalidSetValue();\n      return;\n    }\n\n    const typeStr = cst.effectiveType ? normalizeType(cst.effectiveType) : INVALID_TYPE_MARKER;\n    const payload = [{ target: cstID, type: typeStr, data }];\n    await this.services.setCstValue({ itemID: this.modelID, data: payload });\n\n    if (!cst.effectiveType || !this.calculator.validate(data, cst.effectiveType)) {\n      this.invalidData.add(cstID);\n    } else {\n      this.invalidData.delete(cstID);\n    }\n    this.calculator.setValue(cst.alias, data);\n    this.notifyCst(cstID);\n    this.cascadeReset([cstID]);\n  }\n\n  /** Sets value for {@link Constituenta} from {@link BasicBinding}. */\n  public async setBasicValue(cstID: number, data: BasicBinding): Promise<void> {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!this.schema || !cst || !isBaseSet(cst.cst_type)) {\n      this.notifications?.onInvalidSetValue();\n      return;\n    }\n    const oldValue = this.calculator.getValue(cst.alias);\n    const newValue = Object.keys(data).map(Number);\n\n    const updateList: Parameters<RSEngineServices['setCstValue']>[0]['data'] = [\n      { target: cstID, type: TYPE_BASIC, data }\n    ];\n    const resetList: number[] = [];\n\n    if (oldValue !== null && compare(newValue, oldValue) !== 0) {\n      const dependencies = this.schema.graph.expandAllOutputs([cstID]);\n      for (const childID of dependencies) {\n        const child = this.schema.cstByID.get(childID)!;\n        if (child.cst_type === CstType.STRUCTURED && !!child.effectiveType) {\n          const value = this.calculator.getValue(child.alias);\n          if (value !== null) {\n            const fix = tryFixValue(value, child.effectiveType, cst.alias, newValue);\n            if (fix === null) {\n              resetList.push(childID);\n            } else if (fix === true) {\n              const typeStr = normalizeType(child.effectiveType);\n              updateList.push({ target: childID, type: typeStr, data: [...(value as Value[])] });\n            }\n          }\n        }\n      }\n    }\n\n    if (resetList.length > 0) {\n      await Promise.all([\n        this.services.setCstValue({ itemID: this.modelID, data: updateList }),\n        this.services.clearValues({ itemID: this.modelID, data: { items: resetList } })\n      ]);\n    } else {\n      await this.services.setCstValue({ itemID: this.modelID, data: updateList });\n    }\n    const changed = [...resetList, ...updateList.map(item => item.target)];\n\n    this.basics.set(cstID, data);\n    this.calculator.setValue(cst.alias, Object.keys(data).map(Number));\n\n    for (const item of resetList) {\n      this.calculator.resetValue(this.schema.cstByID.get(item)!.alias);\n      this.notifyCst(item);\n    }\n    for (const updateData of updateList) {\n      if (updateData.target !== cstID) {\n        this.calculator.setValue(\n          this.schema.cstByID.get(updateData.target)!.alias,\n          updateData.data as unknown as Value\n        );\n        this.notifyCst(updateData.target);\n      }\n    }\n    for (const item of changed) {\n      this.notifyCst(item);\n    }\n    this.cascadeReset(changed);\n  }\n\n  /** Resets value for {@link Constituenta}. */\n  public async resetValue(cstID: number): Promise<void> {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst) {\n      return;\n    }\n    await this.services.clearValues({ itemID: this.modelID, data: { items: [cstID] } });\n    this.calculator.resetValue(cst.alias);\n    this.basics.delete(cstID);\n    this.calculatedSet.delete(cstID);\n    this.invalidData.delete(cstID);\n    this.notifyCst(cstID);\n  }\n\n  /** Evaluates expression for {@link RSEngine}. */\n  public evaluateExpression(expression: string, cstType: CstType): CalculatorResult {\n    return getEvaluationFor(expression, cstType, this.schema!, this.calculator);\n  }\n\n  /** Evaluates AST for {@link RSEngine}. */\n  public evaluateAst(ast: AstNode, options?: CalculatorEvaluateOptions): CalculatorResult {\n    return this.calculator.evaluateFull(ast, options);\n  }\n\n  /** Calculates value for {@link Constituenta}. */\n  public calculateCst(cstID: number): CalculatorResult {\n    const cst = this.schema?.cstByID.get(cstID);\n    if (!cst || !this.schema) {\n      return { value: null, iterations: 0, errors: [], cacheHits: 0 };\n    }\n\n    if (!this.calculatedSet.has(cstID)) {\n      const predecessors = this.schema.graph.expandAllInputs([cstID]);\n      this.prepareEvaluation(predecessors);\n    }\n    const result = getEvaluationFor(cst.definition_formal, cst.cst_type, this.schema, this.calculator);\n\n    if (result.value === null) {\n      this.calculator.resetValue(cst.alias);\n    } else {\n      this.calculator.setValue(cst.alias, result.value);\n    }\n\n    this.calculatedSet.add(cstID);\n    this.notifyCst(cstID);\n\n    return result;\n  }\n\n  /** Recalculate model for all inferrable expressions. */\n  recalculateAll(): void {\n    const start = performance.now();\n    this.calculatedSet.clear();\n    this.recalculateInternal();\n    const end = performance.now();\n    const timeSpent = ((end - start) / 1000).toFixed(2);\n    this.notifications?.onCalculationSuccess(timeSpent);\n  }\n\n  /** Notify subscribers about value and status change of {@link Constituenta}. */\n  private notifyCst(cstID: number) {\n    this.notifyStatus(cstID);\n    this.notifyValue(cstID);\n    this.scheduleCoalescedEmitChange();\n  }\n\n  /** Notify all subscribers about value change. */\n  private notifyValue(cstID: number) {\n    const subs = this.valueSubscribers.get(cstID);\n    if (subs) {\n      for (const cb of subs) cb();\n    }\n  }\n\n  /** Notify all subscribers about status change. */\n  private notifyStatus(cstID: number) {\n    const subs = this.statusSubscribers.get(cstID);\n    if (subs) {\n      for (const cb of subs) cb();\n    }\n  }\n\n  /** Notify all subscribers about value and status change. */\n  private notifyAll(): void {\n    for (const subs of this.valueSubscribers.values()) {\n      for (const cb of subs) cb();\n    }\n    for (const subs of this.statusSubscribers.values()) {\n      for (const cb of subs) cb();\n    }\n    this.scheduleCoalescedEmitChange();\n  }\n\n  private scheduleCoalescedEmitChange(): void {\n    this.pendingChange = true;\n    if (this.coalescedEmitTimeout !== null) {\n      return;\n    }\n    this.coalescedEmitTimeout = setTimeout(\n      function runCoalescedEmitChange(this: RSEngine) {\n        this.coalescedEmitTimeout = null;\n        if (!this.pendingChange) {\n          return;\n        }\n        this.pendingChange = false;\n        this.emitChange();\n      }.bind(this),\n      0\n    );\n  }\n\n  private emitChange(): void {\n    this.changeGeneration += 1;\n    for (const cb of this.changeSubscribers) {\n      cb();\n    }\n  }\n\n  private prepareAst(): void {\n    this.calculator.clearAllAst();\n    const functions = this.schema!.items.filter(cst => isFunctional(cst.cst_type) && cst.analysis?.success);\n    for (const cst of functions) {\n      const fullAnalysis = getAnalysisFor(cst.definition_formal, cst.cst_type, this.schema!);\n      if (fullAnalysis.ast) {\n        this.calculator.setAST(cst.alias, fullAnalysis.ast);\n      }\n    }\n  }\n\n  private prepareValues(): void {\n    this.basics.clear();\n    this.invalidData.clear();\n    this.calculatedSet.clear();\n\n    for (const item of this.data!.items) {\n      const cst = this.schema!.cstByID.get(item.id)!;\n      if (item.type === TYPE_BASIC) {\n        if (cst.cst_type !== CstType.BASE && cst.cst_type !== CstType.CONSTANT) {\n          throw new Error(`Invalid data for ${cst.alias}`);\n        }\n        const data = item.value as BasicBinding;\n        this.basics.set(cst.id, data);\n        this.calculator.setValue(cst.alias, Object.keys(data).map(Number));\n      }\n    }\n    for (const item of this.data!.items) {\n      const cst = this.schema!.cstByID.get(item.id)!;\n      if (item.type !== TYPE_BASIC) {\n        this.calculator.setValue(cst.alias, item.value as Value);\n        if (!cst.effectiveType || !this.calculator.validate(item.value as Value, cst.effectiveType)) {\n          this.invalidData.add(item.id);\n        }\n      }\n    }\n    this.setupEmptySets();\n  }\n\n  private setupEmptySets(): void {\n    for (const cst of this.schema!.items) {\n      if (isBasicConcept(cst.cst_type) && this.schema!.analyzer.getType(cst.alias)?.typeID === TypeID.collection) {\n        if (this.calculator.getValue(cst.alias) === null) {\n          this.calculator.setValue(cst.alias, []);\n        }\n      }\n    }\n  }\n\n  private collectChanged(previousSchema: RSForm | null, nextSchema: RSForm): number[] {\n    if (!previousSchema) {\n      return [];\n    }\n    const changedIDs: number[] = [];\n    for (const cst of nextSchema.items) {\n      const prev = previousSchema.cstByID.get(cst.id);\n      if (prev && (prev.definition_formal !== cst.definition_formal || prev.alias !== cst.alias)) {\n        changedIDs.push(cst.id);\n      }\n    }\n    return changedIDs;\n  }\n\n  private onChangeDefinitions(cstIDs: number[]): void {\n    if (!this.schema || cstIDs.length === 0) {\n      return;\n    }\n    for (const cstID of cstIDs) {\n      const cst = this.schema.cstByID.get(cstID);\n      if (!cst || !isInferrable(cst.cst_type)) {\n        continue;\n      }\n      this.calculatedSet.delete(cstID);\n      this.calculator.resetValue(cst.alias);\n      this.notifyCst(cstID);\n    }\n    this.cascadeReset(cstIDs);\n  }\n\n  private cascadeReset(cstIDs: number[]): void {\n    if (!this.schema) {\n      return;\n    }\n    const dependencies = this.schema.graph.expandAllOutputs(cstIDs);\n    for (const cstID of dependencies) {\n      const cst = this.schema.cstByID.get(cstID);\n      if (!cst || !isInferrable(cst.cst_type)) {\n        continue;\n      }\n      this.calculatedSet.delete(cstID);\n      this.calculator.resetValue(this.schema.cstByID.get(cstID)!.alias);\n      this.notifyCst(cstID);\n    }\n  }\n\n  private prepareEvaluation(dependencies: number[]): void {\n    for (const cstID of this.schema!.graph.topologicalOrder()) {\n      if (dependencies.includes(cstID)) {\n        const cst = this.schema!.cstByID.get(cstID)!;\n        if (isInferrable(cst.cst_type)) {\n          const value = fastEvaluation(cst.definition_formal, cst.cst_type, this.schema!, this.calculator);\n          if (value !== null) {\n            this.calculator.setValue(cst.alias, value);\n          } else {\n            this.calculator.resetValue(cst.alias);\n          }\n          this.notifyCst(cstID);\n        }\n        this.calculatedSet.add(cstID);\n      }\n    }\n  }\n\n  private recalculateInternal(): void {\n    const processedIDs = [];\n    for (const cst of this.schema!.cstByID.values()) {\n      if (isInferrable(cst.cst_type)) {\n        this.calculator.resetValue(cst.alias);\n      }\n    }\n\n    for (const cstID of this.schema!.graph.topologicalOrder()) {\n      processedIDs.push(cstID);\n      const cst = this.schema!.cstByID.get(cstID)!;\n      if (isInferrable(cst.cst_type)) {\n        const value = fastEvaluation(cst.definition_formal, cst.cst_type, this.schema!, this.calculator);\n        this.calculatedSet.add(cstID);\n        if (value !== null) {\n          this.calculator.setValue(cst.alias, value);\n        }\n      }\n    }\n    this.notifyAll();\n  }\n}\n\n// ==== Internal functions ==== /\n\n/** Evaluates expression for {@link Constituenta}, including error handling. */\nfunction getEvaluationFor(\n  expression: string,\n  cstType: CstType,\n  schema: RSForm,\n  calculator: RSCalculator\n): CalculatorResult {\n  const parse = getAnalysisFor(expression, cstType, schema);\n  if (!parse.success || !parse.ast) {\n    return {\n      value: null,\n      iterations: 0,\n      cacheHits: 0,\n      errors: parse.errors\n    };\n  }\n  const result = calculator.evaluateFull(parse.ast);\n  return {\n    value: result.value,\n    iterations: result.iterations,\n    cacheHits: result.cacheHits,\n    errors: [...parse.errors, ...result.errors]\n  };\n}\n\n/** Evaluates expression for {@link RSModel}. */\nfunction fastEvaluation(expression: string, cstType: CstType, schema: RSForm, calculator: RSCalculator): Value | null {\n  const parse = getAnalysisFor(expression, cstType, schema);\n  if (!parse.success || !parse.ast) {\n    return null;\n  }\n  return calculator.evaluateFast(parse.ast);\n}\n"],"mappings":";;;;;;;;;;AAUA,MAAM,sBAAsB;;AAkB5B,IAAa,WAAb,MAAsB;CACpB;CACA,SAA+B;CAC/B,OAA8B;CAC9B,aAAoB,IAAI,aAAa;CACrC,yBAA+B,IAAI,IAA0B;CAE7D;CACA;CACA,8BAAsB,IAAI,IAAY;CACtC,gCAAwB,IAAI,IAAY;CACxC,mCAA2B,IAAI,IAA6B;CAC5D,oCAA4B,IAAI,IAA6B;CAC7D,oCAA4B,IAAI,IAAgB;CAChD,mBAA2B;CAC3B,gBAAwB;CACxB,uBAAqE;CAErE,YAAY,SAAiB,UAA4B,gBAA8C,MAAM;EAC3G,KAAK,WAAW;EAChB,KAAK,gBAAgB;EACrB,KAAK,UAAU;CACjB;;CAGA,SAAgB,QAAgB,OAAsB;EACpD,MAAM,YAAY,KAAK;EACvB,MAAM,YAAY,cAAc;EAChC,KAAK,SAAS;EACd,IAAI,WAAW;GACb,MAAM,aAAa,KAAK,eAAe,WAAW,MAAM;GACxD,KAAK,WAAW;GAChB,KAAK,eAAe;GACpB,KAAK,oBAAoB,UAAU;EACrC;EACA,IAAI,KAAK,SAAS,OAAO;GACvB,KAAK,OAAO;GACZ,KAAK,cAAc;EACrB;EACA,KAAK,UAAU;CACjB;;CAGA,eAAsB,UAAkC;EACtD,KAAK,WAAW;CAClB;;CAGA,oBAA2B,eAAmD;EAC5E,KAAK,gBAAgB;CACvB;;CAGA,YAAmB,OAA6B;EAC9C,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KACH,OAAO;EAET,OAAO,KAAK,WAAW,SAAS,IAAI,KAAK;CAC3C;;CAGA,aAAoB,OAA2B;EAC7C,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KACH,OAAO,gBAAgB,MAAM,QAAQ,SAAS,KAAK;EAErD,MAAM,QAAQ,KAAK,WAAW,SAAS,IAAI,KAAK;EAChD,OAAO,gBAAgB,OAAO,IAAI,UAAU,KAAK,cAAc,IAAI,KAAK,GAAG,KAAK,YAAY,IAAI,KAAK,CAAC;CACxG;;CAGA,eAAsB,OAAe,YAAoC;EACvE,IAAI,OAAO,KAAK,iBAAiB,IAAI,KAAK;EAC1C,IAAI,CAAC,MAAM;GACT,uBAAO,IAAI,IAAI;GACf,KAAK,iBAAiB,IAAI,OAAO,IAAI;EACvC;EACA,KAAK,IAAI,UAAU;EACnB,aAAa;GACX,MAAM,UAAU,KAAK,iBAAiB,IAAI,KAAK;GAC/C,IAAI,CAAC,SACH;GAEF,QAAQ,OAAO,UAAU;GACzB,IAAI,QAAQ,SAAS,GACnB,KAAK,iBAAiB,OAAO,KAAK;EAEtC;CACF;;CAGA,gBAAuB,OAAe,YAAoC;EACxE,IAAI,OAAO,KAAK,kBAAkB,IAAI,KAAK;EAC3C,IAAI,CAAC,MAAM;GACT,uBAAO,IAAI,IAAI;GACf,KAAK,kBAAkB,IAAI,OAAO,IAAI;EACxC;EACA,KAAK,IAAI,UAAU;EACnB,aAAa;GACX,MAAM,UAAU,KAAK,kBAAkB,IAAI,KAAK;GAChD,IAAI,CAAC,SACH;GAEF,QAAQ,OAAO,UAAU;GACzB,IAAI,QAAQ,SAAS,GACnB,KAAK,kBAAkB,OAAO,KAAK;EAEvC;CACF;;;;CAKA,iBAAwB,YAAoC;EAC1D,KAAK,kBAAkB,IAAI,UAAU;EACrC,aAAa;GACX,KAAK,kBAAkB,OAAO,UAAU;EAC1C;CACF;;CAGA,sBAAqC;EACnC,OAAO,KAAK;CACd;;;;;;CAOA,sBAAmC;EACjC,IAAI,KAAK,yBAAyB,MAAM;GACtC,aAAa,KAAK,oBAAoB;GACtC,KAAK,uBAAuB;EAC9B;EACA,IAAI,CAAC,KAAK,eACR;EAEF,KAAK,gBAAgB;EACrB,KAAK,WAAW;CAClB;;CAGA,MAAa,kBAAkB,OAAe,MAA4B;EACxE,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KAAK,UAAU,CAAC,OAAO,aAAa,IAAI,QAAQ,GAAG;GACtD,KAAK,eAAe,kBAAkB;GACtC;EACF;EAGA,MAAM,UAAU,CAAC;GAAE,QAAQ;GAAO,MADlB,IAAI,gBAAgB,cAAc,IAAI,aAAa,IAAI;GACtB;EAAK,CAAC;EACvD,MAAM,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM;EAAQ,CAAC;EAEvE,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,WAAW,SAAS,MAAM,IAAI,aAAa,GACzE,KAAK,YAAY,IAAI,KAAK;OAE1B,KAAK,YAAY,OAAO,KAAK;EAE/B,KAAK,WAAW,SAAS,IAAI,OAAO,IAAI;EACxC,KAAK,UAAU,KAAK;EACpB,KAAK,aAAa,CAAC,KAAK,CAAC;CAC3B;;CAGA,MAAa,cAAc,OAAe,MAAmC;EAC3E,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KAAK,UAAU,CAAC,OAAO,CAAC,UAAU,IAAI,QAAQ,GAAG;GACpD,KAAK,eAAe,kBAAkB;GACtC;EACF;EACA,MAAM,WAAW,KAAK,WAAW,SAAS,IAAI,KAAK;EACnD,MAAM,WAAW,OAAO,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM;EAE7C,MAAM,aAAqE,CACzE;GAAE,QAAQ;GAAO,MAAM;GAAY;EAAK,CAC1C;EACA,MAAM,YAAsB,CAAC;EAE7B,IAAI,aAAa,QAAQ,QAAQ,UAAU,QAAQ,MAAM,GAAG;GAC1D,MAAM,eAAe,KAAK,OAAO,MAAM,iBAAiB,CAAC,KAAK,CAAC;GAC/D,KAAK,MAAM,WAAW,cAAc;IAClC,MAAM,QAAQ,KAAK,OAAO,QAAQ,IAAI,OAAO;IAC7C,IAAI,MAAM,aAAa,QAAQ,cAAc,CAAC,CAAC,MAAM,eAAe;KAClE,MAAM,QAAQ,KAAK,WAAW,SAAS,MAAM,KAAK;KAClD,IAAI,UAAU,MAAM;MAClB,MAAM,MAAM,YAAY,OAAO,MAAM,eAAe,IAAI,OAAO,QAAQ;MACvE,IAAI,QAAQ,MACV,UAAU,KAAK,OAAO;WACjB,IAAI,QAAQ,MAAM;OACvB,MAAM,UAAU,cAAc,MAAM,aAAa;OACjD,WAAW,KAAK;QAAE,QAAQ;QAAS,MAAM;QAAS,MAAM,CAAC,GAAI,KAAiB;OAAE,CAAC;MACnF;KACF;IACF;GACF;EACF;EAEA,IAAI,UAAU,SAAS,GACrB,MAAM,QAAQ,IAAI,CAChB,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM;EAAW,CAAC,GACpE,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM,EAAE,OAAO,UAAU;EAAE,CAAC,CAChF,CAAC;OAED,MAAM,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM;EAAW,CAAC;EAE5E,MAAM,UAAU,CAAC,GAAG,WAAW,GAAG,WAAW,KAAI,SAAQ,KAAK,MAAM,CAAC;EAErE,KAAK,OAAO,IAAI,OAAO,IAAI;EAC3B,KAAK,WAAW,SAAS,IAAI,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC;EAEjE,KAAK,MAAM,QAAQ,WAAW;GAC5B,KAAK,WAAW,WAAW,KAAK,OAAO,QAAQ,IAAI,IAAI,CAAC,CAAE,KAAK;GAC/D,KAAK,UAAU,IAAI;EACrB;EACA,KAAK,MAAM,cAAc,YACvB,IAAI,WAAW,WAAW,OAAO;GAC/B,KAAK,WAAW,SACd,KAAK,OAAO,QAAQ,IAAI,WAAW,MAAM,CAAC,CAAE,OAC5C,WAAW,IACb;GACA,KAAK,UAAU,WAAW,MAAM;EAClC;EAEF,KAAK,MAAM,QAAQ,SACjB,KAAK,UAAU,IAAI;EAErB,KAAK,aAAa,OAAO;CAC3B;;CAGA,MAAa,WAAW,OAA8B;EACpD,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,KACH;EAEF,MAAM,KAAK,SAAS,YAAY;GAAE,QAAQ,KAAK;GAAS,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE;EAAE,CAAC;EAClF,KAAK,WAAW,WAAW,IAAI,KAAK;EACpC,KAAK,OAAO,OAAO,KAAK;EACxB,KAAK,cAAc,OAAO,KAAK;EAC/B,KAAK,YAAY,OAAO,KAAK;EAC7B,KAAK,UAAU,KAAK;CACtB;;CAGA,mBAA0B,YAAoB,SAAoC;EAChF,OAAO,iBAAiB,YAAY,SAAS,KAAK,QAAS,KAAK,UAAU;CAC5E;;CAGA,YAAmB,KAAc,SAAuD;EACtF,OAAO,KAAK,WAAW,aAAa,KAAK,OAAO;CAClD;;CAGA,aAAoB,OAAiC;EACnD,MAAM,MAAM,KAAK,QAAQ,QAAQ,IAAI,KAAK;EAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,QAChB,OAAO;GAAE,OAAO;GAAM,YAAY;GAAG,QAAQ,CAAC;GAAG,WAAW;EAAE;EAGhE,IAAI,CAAC,KAAK,cAAc,IAAI,KAAK,GAAG;GAClC,MAAM,eAAe,KAAK,OAAO,MAAM,gBAAgB,CAAC,KAAK,CAAC;GAC9D,KAAK,kBAAkB,YAAY;EACrC;EACA,MAAM,SAAS,iBAAiB,IAAI,mBAAmB,IAAI,UAAU,KAAK,QAAQ,KAAK,UAAU;EAEjG,IAAI,OAAO,UAAU,MACnB,KAAK,WAAW,WAAW,IAAI,KAAK;OAEpC,KAAK,WAAW,SAAS,IAAI,OAAO,OAAO,KAAK;EAGlD,KAAK,cAAc,IAAI,KAAK;EAC5B,KAAK,UAAU,KAAK;EAEpB,OAAO;CACT;;CAGA,iBAAuB;EACrB,MAAM,QAAQ,YAAY,IAAI;EAC9B,KAAK,cAAc,MAAM;EACzB,KAAK,oBAAoB;EAEzB,MAAM,cADM,YAAY,IACJ,IAAM,SAAS,IAAA,CAAM,QAAQ,CAAC;EAClD,KAAK,eAAe,qBAAqB,SAAS;CACpD;;CAGA,UAAkB,OAAe;EAC/B,KAAK,aAAa,KAAK;EACvB,KAAK,YAAY,KAAK;EACtB,KAAK,4BAA4B;CACnC;;CAGA,YAAoB,OAAe;EACjC,MAAM,OAAO,KAAK,iBAAiB,IAAI,KAAK;EAC5C,IAAI,MACF,KAAK,MAAM,MAAM,MAAM,GAAG;CAE9B;;CAGA,aAAqB,OAAe;EAClC,MAAM,OAAO,KAAK,kBAAkB,IAAI,KAAK;EAC7C,IAAI,MACF,KAAK,MAAM,MAAM,MAAM,GAAG;CAE9B;;CAGA,YAA0B;EACxB,KAAK,MAAM,QAAQ,KAAK,iBAAiB,OAAO,GAC9C,KAAK,MAAM,MAAM,MAAM,GAAG;EAE5B,KAAK,MAAM,QAAQ,KAAK,kBAAkB,OAAO,GAC/C,KAAK,MAAM,MAAM,MAAM,GAAG;EAE5B,KAAK,4BAA4B;CACnC;CAEA,8BAA4C;EAC1C,KAAK,gBAAgB;EACrB,IAAI,KAAK,yBAAyB,MAChC;EAEF,KAAK,uBAAuB,WAC1B,SAAS,yBAAuC;GAC9C,KAAK,uBAAuB;GAC5B,IAAI,CAAC,KAAK,eACR;GAEF,KAAK,gBAAgB;GACrB,KAAK,WAAW;EAClB,EAAE,KAAK,IAAI,GACX,CACF;CACF;CAEA,aAA2B;EACzB,KAAK,oBAAoB;EACzB,KAAK,MAAM,MAAM,KAAK,mBACpB,GAAG;CAEP;CAEA,aAA2B;EACzB,KAAK,WAAW,YAAY;EAC5B,MAAM,YAAY,KAAK,OAAQ,MAAM,QAAO,QAAO,aAAa,IAAI,QAAQ,KAAK,IAAI,UAAU,OAAO;EACtG,KAAK,MAAM,OAAO,WAAW;GAC3B,MAAM,eAAe,eAAe,IAAI,mBAAmB,IAAI,UAAU,KAAK,MAAO;GACrF,IAAI,aAAa,KACf,KAAK,WAAW,OAAO,IAAI,OAAO,aAAa,GAAG;EAEtD;CACF;CAEA,gBAA8B;EAC5B,KAAK,OAAO,MAAM;EAClB,KAAK,YAAY,MAAM;EACvB,KAAK,cAAc,MAAM;EAEzB,KAAK,MAAM,QAAQ,KAAK,KAAM,OAAO;GACnC,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK,EAAE;GAC5C,IAAI,KAAK,SAAA,SAAqB;IAC5B,IAAI,IAAI,aAAa,QAAQ,QAAQ,IAAI,aAAa,QAAQ,UAC5D,MAAM,IAAI,MAAM,oBAAoB,IAAI,OAAO;IAEjD,MAAM,OAAO,KAAK;IAClB,KAAK,OAAO,IAAI,IAAI,IAAI,IAAI;IAC5B,KAAK,WAAW,SAAS,IAAI,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC;GACnE;EACF;EACA,KAAK,MAAM,QAAQ,KAAK,KAAM,OAAO;GACnC,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK,EAAE;GAC5C,IAAI,KAAK,SAAA,SAAqB;IAC5B,KAAK,WAAW,SAAS,IAAI,OAAO,KAAK,KAAc;IACvD,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,WAAW,SAAS,KAAK,OAAgB,IAAI,aAAa,GACxF,KAAK,YAAY,IAAI,KAAK,EAAE;GAEhC;EACF;EACA,KAAK,eAAe;CACtB;CAEA,iBAA+B;EAC7B,KAAK,MAAM,OAAO,KAAK,OAAQ,OAC7B,IAAI,eAAe,IAAI,QAAQ,KAAK,KAAK,OAAQ,SAAS,QAAQ,IAAI,KAAK,CAAC,EAAE,WAAW,OAAO,YAC9F;OAAI,KAAK,WAAW,SAAS,IAAI,KAAK,MAAM,MAC1C,KAAK,WAAW,SAAS,IAAI,OAAO,CAAC,CAAC;EACxC;CAGN;CAEA,eAAuB,gBAA+B,YAA8B;EAClF,IAAI,CAAC,gBACH,OAAO,CAAC;EAEV,MAAM,aAAuB,CAAC;EAC9B,KAAK,MAAM,OAAO,WAAW,OAAO;GAClC,MAAM,OAAO,eAAe,QAAQ,IAAI,IAAI,EAAE;GAC9C,IAAI,SAAS,KAAK,sBAAsB,IAAI,qBAAqB,KAAK,UAAU,IAAI,QAClF,WAAW,KAAK,IAAI,EAAE;EAE1B;EACA,OAAO;CACT;CAEA,oBAA4B,QAAwB;EAClD,IAAI,CAAC,KAAK,UAAU,OAAO,WAAW,GACpC;EAEF,KAAK,MAAM,SAAS,QAAQ;GAC1B,MAAM,MAAM,KAAK,OAAO,QAAQ,IAAI,KAAK;GACzC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,QAAQ,GACpC;GAEF,KAAK,cAAc,OAAO,KAAK;GAC/B,KAAK,WAAW,WAAW,IAAI,KAAK;GACpC,KAAK,UAAU,KAAK;EACtB;EACA,KAAK,aAAa,MAAM;CAC1B;CAEA,aAAqB,QAAwB;EAC3C,IAAI,CAAC,KAAK,QACR;EAEF,MAAM,eAAe,KAAK,OAAO,MAAM,iBAAiB,MAAM;EAC9D,KAAK,MAAM,SAAS,cAAc;GAChC,MAAM,MAAM,KAAK,OAAO,QAAQ,IAAI,KAAK;GACzC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,QAAQ,GACpC;GAEF,KAAK,cAAc,OAAO,KAAK;GAC/B,KAAK,WAAW,WAAW,KAAK,OAAO,QAAQ,IAAI,KAAK,CAAC,CAAE,KAAK;GAChE,KAAK,UAAU,KAAK;EACtB;CACF;CAEA,kBAA0B,cAA8B;EACtD,KAAK,MAAM,SAAS,KAAK,OAAQ,MAAM,iBAAiB,GACtD,IAAI,aAAa,SAAS,KAAK,GAAG;GAChC,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK;GAC1C,IAAI,aAAa,IAAI,QAAQ,GAAG;IAC9B,MAAM,QAAQ,eAAe,IAAI,mBAAmB,IAAI,UAAU,KAAK,QAAS,KAAK,UAAU;IAC/F,IAAI,UAAU,MACZ,KAAK,WAAW,SAAS,IAAI,OAAO,KAAK;SAEzC,KAAK,WAAW,WAAW,IAAI,KAAK;IAEtC,KAAK,UAAU,KAAK;GACtB;GACA,KAAK,cAAc,IAAI,KAAK;EAC9B;CAEJ;CAEA,sBAAoC;EAClC,MAAM,eAAe,CAAC;EACtB,KAAK,MAAM,OAAO,KAAK,OAAQ,QAAQ,OAAO,GAC5C,IAAI,aAAa,IAAI,QAAQ,GAC3B,KAAK,WAAW,WAAW,IAAI,KAAK;EAIxC,KAAK,MAAM,SAAS,KAAK,OAAQ,MAAM,iBAAiB,GAAG;GACzD,aAAa,KAAK,KAAK;GACvB,MAAM,MAAM,KAAK,OAAQ,QAAQ,IAAI,KAAK;GAC1C,IAAI,aAAa,IAAI,QAAQ,GAAG;IAC9B,MAAM,QAAQ,eAAe,IAAI,mBAAmB,IAAI,UAAU,KAAK,QAAS,KAAK,UAAU;IAC/F,KAAK,cAAc,IAAI,KAAK;IAC5B,IAAI,UAAU,MACZ,KAAK,WAAW,SAAS,IAAI,OAAO,KAAK;GAE7C;EACF;EACA,KAAK,UAAU;CACjB;AACF;;AAKA,SAAS,iBACP,YACA,SACA,QACA,YACkB;CAClB,MAAM,QAAQ,eAAe,YAAY,SAAS,MAAM;CACxD,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,KAC3B,OAAO;EACL,OAAO;EACP,YAAY;EACZ,WAAW;EACX,QAAQ,MAAM;CAChB;CAEF,MAAM,SAAS,WAAW,aAAa,MAAM,GAAG;CAChD,OAAO;EACL,OAAO,OAAO;EACd,YAAY,OAAO;EACnB,WAAW,OAAO;EAClB,QAAQ,CAAC,GAAG,MAAM,QAAQ,GAAG,OAAO,MAAM;CAC5C;AACF;;AAGA,SAAS,eAAe,YAAoB,SAAkB,QAAgB,YAAwC;CACpH,MAAM,QAAQ,eAAe,YAAY,SAAS,MAAM;CACxD,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,KAC3B,OAAO;CAET,OAAO,WAAW,aAAa,MAAM,GAAG;AAC1C"}

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-api/index.js

@@ -1,2 +1,2 @@
-import { $ as isFunctional, A as normalizeExpression, B as buildSequentialAliasMapping, C as isSchemaIssue, D as inferStatus, E as applyFilterCategory, F as refineAnalysisForDependencyCycles, G as validateNewAlias, H as maxAliasIndex, I as addAliasReference, J as getCstTypePrefix, K as canHaveManualTypification, L as allocateImportAliases, M as importAttributions, N as remapAttributionsUnderSubstitution, O as inferTemplate, P as getAnalysisFor, Q as isBasicConcept, R as applyMappingToConstituents, S as calculateSchemaStats, T as restoreConstituentOrder, U as removeAliasReference, V as generateAlias, W as validateAliasFormat, X as inferClass, Y as guessCstType, Z as isBaseSet, _ as applyConstituentSubstitutions, b as getStructureName, c as insertItemAfter, d as inlineSynthesis, et as isLogical, f as sortItemsForInlineSynthesis, g as resolveConstituentTextChange, h as resolveAllConstituentTexts, j as filterAttributions, k as inferTemplatedType, l as moveIdsInOrder, m as buildTermReferenceGraph, nt as typeClassForCstType, p as buildDefinitionReferenceGraph, q as canProduceStructure, tt as isTemplateCst, u as reorderItemsByIds, v as remapSubstitutionsAfterImport, w as buildFormalDependencyGraph, x as inferNewSpawnPosition, y as findCstByStructure, z as argumentValuesToMapping } from "../../diagnostics-D1Cp21nP.js";
+import { $ as isFunctional, A as normalizeExpression, B as buildSequentialAliasMapping, C as isSchemaIssue, D as inferStatus, E as applyFilterCategory, F as refineAnalysisForDependencyCycles, G as validateNewAlias, H as maxAliasIndex, I as addAliasReference, J as getCstTypePrefix, K as canHaveManualTypification, L as allocateImportAliases, M as importAttributions, N as remapAttributionsUnderSubstitution, O as inferTemplate, P as getAnalysisFor, Q as isBasicConcept, R as applyMappingToConstituents, S as calculateSchemaStats, T as restoreConstituentOrder, U as removeAliasReference, V as generateAlias, W as validateAliasFormat, X as inferClass, Y as guessCstType, Z as isBaseSet, _ as applyConstituentSubstitutions, b as getStructureName, c as insertItemAfter, d as inlineSynthesis, et as isLogical, f as sortItemsForInlineSynthesis, g as resolveConstituentTextChange, h as resolveAllConstituentTexts, j as filterAttributions, k as inferTemplatedType, l as moveIdsInOrder, m as buildTermReferenceGraph, nt as typeClassForCstType, p as buildDefinitionReferenceGraph, q as canProduceStructure, tt as isTemplateCst, u as reorderItemsByIds, v as remapSubstitutionsAfterImport, w as buildFormalDependencyGraph, x as inferNewSpawnPosition, y as findCstByStructure, z as argumentValuesToMapping } from "../../diagnostics-D_4TpAH4.js";
 export { 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,8 +1,8 @@
 import { TypeID } from "../rslang/semantic/typification.js";
 import { CstType } from "./rsform.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 { O as setNestedValue, _ as extractValue, b as isTupleValue, d as set, f as tuple, l as compare, x as makeDefaultValue } from "../value-BDISzQqI.js";
 import "../rslang/index.js";
-import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-D1Cp21nP.js";
+import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-D_4TpAH4.js";
 import { EvalStatus } from "./rsmodel.js";
 //#region src/library/rsmodel-api.ts
 const RANDOM_INTEGER_MIN = -100;
@@ -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++) {
@@ -180,11 +181,26 @@ function deleteValueElement(value, path, type, target) {
 	if (path.length === 0 && type.typeID !== TypeID.collection) return null;
 	const arrayValue = extractValue(value, path);
 	if (!Array.isArray(arrayValue)) return null;
-	return setNestedValue(value, path, [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)]);
+	const updatedArray = [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)];
+	return setNestedValue(value, path, updatedArray);
 }
 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) ?? []]);
+	const updatedArray = [makeDefaultValue(currentType.base), ...extractValue(value, path) ?? []];
+	return setNestedValue(value, path, updatedArray);
+}
+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;