@rsconcept/domain 3.0.0 → 3.0.1

package/dist/library/rsengine.d.ts

@@ -1,8 +1,9 @@
-import { t as AstNode } from "../ast-C8sIpKdL.js";
-import { l as Value } from "../value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-DE89LtIM.js";
-import { S as RSForm, f as EvalStatus, l as BasicBinding, p as RSModel, u as BasicsContext, x as CstType } from "../diagnostics-DsEhmFh0.js";
-
+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";
 //#region src/library/rsengine.d.ts
 /** Services for {@link RSEngine}. */
 interface RSEngineServices {

package/dist/library/rsengine.js

@@ -4,7 +4,7 @@ import { CstType } from "./rsform.js";
 import { l as compare } from "../value-COprb2Je.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-ndGYbvgh.js";
+import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-D1Cp21nP.js";
 import { TYPE_BASIC } from "./rsmodel.js";
 import { inferEvalStatus, isInferrable, tryFixValue } from "./rsmodel-api.js";
 //#region src/library/rsengine.ts

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-DpiTybDB.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-DCO4mxiO.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-ndGYbvgh.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-D1Cp21nP.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-DsEhmFh0.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-DKyMf6q-.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-9lNu9R4k.js";
-import { d as ValuePath, l as Value } from "../value-BduA_ZGp.js";
-import { S as RSForm, f as EvalStatus, l as BasicBinding, m as RSModelStats, x as CstType } from "../diagnostics-DsEhmFh0.js";
+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 { RSEngine } from "./rsengine.js";
-import { st as ModelEvalFields } from "../index-DpiTybDB.js";
-
+import { st as ModelEvalFields } from "../index-DCO4mxiO.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

@@ -2,7 +2,7 @@ import { TypeID } from "../rslang/semantic/typification.js";
 import { CstType } from "./rsform.js";
 import { O as setNestedValue, _ as extractValue, b as isTupleValue, f as tuple, l as compare, x as makeDefaultValue } from "../value-COprb2Je.js";
 import "../rslang/index.js";
-import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-ndGYbvgh.js";
+import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-D1Cp21nP.js";
 import { EvalStatus } from "./rsmodel.js";
 //#region src/library/rsmodel-api.ts
 const RANDOM_INTEGER_MIN = -100;

package/dist/library/rsmodel.d.ts

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

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

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

package/dist/library/structure-planner.js

@@ -3,7 +3,7 @@ import { labelType } from "../rslang/labels.js";
 import { splitTemplateDefinition } from "../rslang/api.js";
 import { CstType } from "./rsform.js";
 import "../rslang/index.js";
-import { y as findCstByStructure } from "../diagnostics-ndGYbvgh.js";
+import { y as findCstByStructure } from "../diagnostics-D1Cp21nP.js";
 //#region src/library/structure-planner.ts
 /** Structure planner for {@link Constituenta}. */
 var StructurePlanner = class {

package/dist/{parser-Bwd8LxJ1.d.ts → parser-DkejtiOR.d.ts}

@@ -1,7 +1,6 @@
 import { LRParser } from "@lezer/lr";
-
 //#region src/rslang/parser/parser.d.ts
 declare const parser: LRParser;
 //#endregion
 export { parser as t };
-//# sourceMappingURL=parser-Bwd8LxJ1.d.ts.map
+//# sourceMappingURL=parser-DkejtiOR.d.ts.map

package/dist/parsing/ast.d.ts

@@ -1,2 +1,2 @@
-import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i as FlatAstNode, l as getNodeIndices, n as AstNodeBase, o as buildTree, r as FlatAST, s as findByUid, t as AstNode, u as getNodeText } from "../ast-C8sIpKdL.js";
+import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i as FlatAstNode, l as getNodeIndices, n as AstNodeBase, o as buildTree, r as FlatAST, s as findByUid, t as AstNode, u as getNodeText } from "../ast-D-D6Rq3T.js";
 export { AstNode, AstNodeBase, FlatAST, FlatAstNode, TOKEN_ERROR, buildTree, findByUid, flattenAst, getNodeIndices, getNodeText, printAst, visitAstDFS };

package/dist/parsing/index.d.ts

@@ -1,3 +1,4 @@
-import { r as printTree, t as CMSyntaxNode } from "../lezer-tree-iS7LpLBJ.js";
-import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i as FlatAstNode, l as getNodeIndices, n as AstNodeBase, o as buildTree, r as FlatAST, s as findByUid, t as AstNode, u as getNodeText } from "../ast-C8sIpKdL.js";
+import { r as printTree, t as CMSyntaxNode } from "../lezer-tree-BQZqBT5A.js";
+import { a as TOKEN_ERROR, c as flattenAst, d as printAst, f as visitAstDFS, i as FlatAstNode, l as getNodeIndices, n as AstNodeBase, o as buildTree, r as FlatAST, s as findByUid, t as AstNode, u as getNodeText } from "../ast-D-D6Rq3T.js";
+import "../index-D5RahF1K.js";
 export { type AstNode, type AstNodeBase, type CMSyntaxNode, type FlatAST, type FlatAstNode, TOKEN_ERROR, buildTree, findByUid, flattenAst, getNodeIndices, getNodeText, printAst, printTree, visitAstDFS };

package/dist/parsing/lezer-tree.d.ts

@@ -1,2 +1,2 @@
-import { n as TreeCursor, r as printTree, t as CMSyntaxNode } from "../lezer-tree-iS7LpLBJ.js";
+import { n as TreeCursor, r as printTree, t as CMSyntaxNode } from "../lezer-tree-BQZqBT5A.js";
 export { CMSyntaxNode, type TreeCursor, printTree };

package/dist/rslang/api.d.ts

@@ -1,3 +1,3 @@
-import { t as generateExpressionFromAst } from "../expression-generator-CoucLIkE.js";
-import { a as extractGlobals, c as isSimpleExpression, d as substituteLocalAliases, f as substituteTemplateArgs, i as extractArguments, l as parseRSLangExpression, n as applyAliasMapping, o as isGlobalAlias, r as applyTypificationMapping, s as isSetTypification, t as AliasMapping, u as splitTemplateDefinition } from "../api-Bf0f_uiI.js";
+import { t as generateExpressionFromAst } from "../expression-generator-CADzBw-C.js";
+import { a as extractGlobals, c as isSimpleExpression, d as substituteLocalAliases, f as substituteTemplateArgs, i as extractArguments, l as parseRSLangExpression, n as applyAliasMapping, o as isGlobalAlias, r as applyTypificationMapping, s as isSetTypification, t as AliasMapping, u as splitTemplateDefinition } from "../api-DgecYHjR.js";
 export { AliasMapping, applyAliasMapping, applyTypificationMapping, extractArguments, extractGlobals, generateExpressionFromAst, isGlobalAlias, isSetTypification, isSimpleExpression, parseRSLangExpression, splitTemplateDefinition, substituteLocalAliases, substituteTemplateArgs };

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

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

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

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

package/dist/rslang/eval/evaluation-cache.d.ts

@@ -1,6 +1,6 @@
-import { t as AstNode } from "../../ast-C8sIpKdL.js";
-import { l as Value } from "../../value-BduA_ZGp.js";
-
+import { t as AstNode } from "../../ast-D-D6Rq3T.js";
+import "../../index-D5RahF1K.js";
+import { l as Value } from "../../value-XpJOVzMP.js";
 //#region src/rslang/eval/evaluation-cache.d.ts
 /** Static metadata for one AST node. */
 interface EvalNodeInfo {

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

@@ -1,7 +1,7 @@
-import { t as AstNode } from "../../ast-C8sIpKdL.js";
+import { t as AstNode } from "../../ast-D-D6Rq3T.js";
+import "../../index-D5RahF1K.js";
 import { t as ErrorReporter } from "../../error-B0EkIx4K.js";
-import { l as Value, u as ValueContext } from "../../value-BduA_ZGp.js";
-
+import { l as Value, u as ValueContext } from "../../value-XpJOVzMP.js";
 //#region src/rslang/eval/evaluator.d.ts
 /** AST context. */
 type ASTContext = Map<string, AstNode>;

package/dist/rslang/eval/value-api.d.ts

@@ -1,2 +1,2 @@
-import { _ as setSymDiff, a as extractValue, b as validateValue, c as isTupleValue, d as printValue, f as projection, g as setNestedValue, h as setIntersection, i as convertPathToType, l as makeDefaultValue, m as setDiff, n as cartesianProduct, o as isSetValue, p as reduce, r as contains, s as isSubsetOrEq, t as boolean, u as normalizeValue, v as setUnion, x as valueStub, y as testInvalid } from "../../value-api-CXLl_zg0.js";
+import { _ as setSymDiff, a as extractValue, b as validateValue, c as isTupleValue, d as printValue, f as projection, g as setNestedValue, h as setIntersection, i as convertPathToType, l as makeDefaultValue, m as setDiff, n as cartesianProduct, o as isSetValue, p as reduce, r as contains, s as isSubsetOrEq, t as boolean, u as normalizeValue, v as setUnion, x as valueStub, y as testInvalid } from "../../value-api-Dw8UkwCD.js";
 export { boolean, cartesianProduct, contains, convertPathToType, extractValue, isSetValue, isSubsetOrEq, isTupleValue, makeDefaultValue, normalizeValue, printValue, projection, reduce, setDiff, setIntersection, setNestedValue, setSymDiff, setUnion, testInvalid, validateValue, valueStub };

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

@@ -1,2 +1,2 @@
-import { a as SET_INFINITY, c as VALUE_TRUE, d as ValuePath, f as compare, h as tuple, i as INVALID_ELEMENT, l as Value, m as set, n as CalcInvalidDataError, o as TUPLE_ID, p as makeValuePath, r as EmptySetV, s as VALUE_FALSE, t as BOOL_INFINITY, u as ValueContext } from "../../value-BduA_ZGp.js";
+import { a as SET_INFINITY, c as VALUE_TRUE, d as ValuePath, f as compare, h as tuple, i as INVALID_ELEMENT, l as Value, m as set, n as CalcInvalidDataError, o as TUPLE_ID, p as makeValuePath, r as EmptySetV, s as VALUE_FALSE, t as BOOL_INFINITY, u as ValueContext } from "../../value-XpJOVzMP.js";
 export { BOOL_INFINITY, CalcInvalidDataError, EmptySetV, INVALID_ELEMENT, SET_INFINITY, TUPLE_ID, VALUE_FALSE, VALUE_TRUE, Value, ValueContext, ValuePath, compare, makeValuePath, set, tuple };

package/dist/rslang/index.d.ts

@@ -1,14 +1,15 @@
-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-9lNu9R4k.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-CiIx8qBM.js";
-import { d as ValuePath, l as Value, p as makeValuePath } from "../value-BduA_ZGp.js";
-import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-DE89LtIM.js";
-import { d as printValue } from "../value-api-CXLl_zg0.js";
-import { t as parser } from "../parser-Bwd8LxJ1.js";
+import { i as readTypeAnnotation, r as readErrorAnnotation } from "../ast-annotations-x4PJ_Lhc.js";
+import { d as ValuePath, l as Value, p as makeValuePath } from "../value-XpJOVzMP.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-uPaTV3hc.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-fNhkwO-6.js";
-import { n as ArgumentsType } from "../arguments-extractor-ngatANBI.js";
-import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "../typification-parser-Dytsv9CI.js";
-import { n as TypificationNodeData, t as TypificationGraph } from "../typification-graph-BY_oGT82.js";
+import { a as RSLangAnalyzer, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../analyzer-CzFaWR7w.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 "../index-CnuO4w8e.js";
 export { type AnalysisBase, type AnalysisFast, type AnalysisFull, AnyTypificationT, type ArgumentsType, type CalculatorEvaluateOptions, type CalculatorResult, EmptySetT, type ExpressionType, LogicT, RSCalculator, RSErrorCode, type RSErrorDescription, RSLangAnalyzer, TokenID, TypeClass, TypeID, type TypePath, type Typification, TypificationGraph, type TypificationNodeData, type Value, ValueClass, type ValuePath, applyAsciiTypeSubstitutions, makeTypePath, makeValuePath, parseTypeText, printValue, readErrorAnnotation, readTypeAnnotation, parser as rslangParser };

package/dist/rslang/labels.d.ts

@@ -1,7 +1,7 @@
-import { n as AstNodeBase } from "../ast-C8sIpKdL.js";
-import { f as ExpressionType } from "../typification-9lNu9R4k.js";
+import { n as AstNodeBase } from "../ast-D-D6Rq3T.js";
+import "../index-D5RahF1K.js";
+import { f as ExpressionType } from "../typification-hWUoWCba.js";
 import { t as TokenID } from "../token-DeXAmzwr.js";
-
 //#region src/rslang/labels.d.ts
 /** Retrieves label for {@link TokenID}. */
 declare function labelToken(id: TokenID): string;

package/dist/rslang/parser/expression-generator.d.ts

@@ -1,2 +1,2 @@
-import { t as generateExpressionFromAst } from "../../expression-generator-CoucLIkE.js";
+import { t as generateExpressionFromAst } from "../../expression-generator-CADzBw-C.js";
 export { generateExpressionFromAst };

package/dist/rslang/parser/normalize.d.ts

@@ -1,4 +1,5 @@
-import { t as AstNode } from "../../ast-C8sIpKdL.js";
+import { t as AstNode } from "../../ast-D-D6Rq3T.js";
+import "../../index-D5RahF1K.js";
 //#region src/rslang/parser/normalize.d.ts
 /** Normalizes AST to a simple form. */
 declare function normalizeAST(ast: AstNode, input: string): void;

package/dist/rslang/parser/parser.d.ts

@@ -1,2 +1,2 @@
-import { t as parser } from "../../parser-Bwd8LxJ1.js";
+import { t as parser } from "../../parser-DkejtiOR.js";
 export { parser };

package/dist/rslang/parser/parser.terms.d.ts

@@ -1,44 +1,5 @@
 //#region src/rslang/parser/parser.terms.d.ts
-declare const Expression = 1,
-  Logic = 2,
-  Logic_predicates = 3,
-  Variable = 4,
-  Local = 5,
-  Tuple = 8,
-  Expr_enum_min2 = 9,
-  Logic_unary = 24,
-  Predicate = 26,
-  Logic_quantor = 29,
-  Variable_pack = 31,
-  Logic_binary = 33,
-  Setexpr = 38,
-  Integer = 39,
-  EmptySet = 40,
-  IntegerSet = 41,
-  Global = 42,
-  Radical = 43,
-  Setexpr_binary = 44,
-  Enumeration = 55,
-  Boolean = 56,
-  Filter_expression = 58,
-  Filter = 59,
-  Declarative = 60,
-  PrefixD = 62,
-  PrefixI = 63,
-  Imperative = 64,
-  Imp_blocks = 65,
-  PrefixR = 67,
-  Recursion = 68,
-  Function = 69,
-  BigPr = 70,
-  SmallPr = 71,
-  Card = 72,
-  Bool = 73,
-  Debool = 74,
-  Red = 75,
-  Function_decl = 76,
-  Arguments = 77,
-  Declaration = 78;
+declare const Expression = 1, Logic = 2, Logic_predicates = 3, Variable = 4, Local = 5, Tuple = 8, Expr_enum_min2 = 9, Logic_unary = 24, Predicate = 26, Logic_quantor = 29, Variable_pack = 31, Logic_binary = 33, Setexpr = 38, Integer = 39, EmptySet = 40, IntegerSet = 41, Global = 42, Radical = 43, Setexpr_binary = 44, Enumeration = 55, Boolean = 56, Filter_expression = 58, Filter = 59, Declarative = 60, PrefixD = 62, PrefixI = 63, Imperative = 64, Imp_blocks = 65, PrefixR = 67, Recursion = 68, Function = 69, BigPr = 70, SmallPr = 71, Card = 72, Bool = 73, Debool = 74, Red = 75, Function_decl = 76, Arguments = 77, Declaration = 78;
 //#endregion
 export { Arguments, BigPr, Bool, Boolean, Card, Debool, Declaration, Declarative, EmptySet, Enumeration, Expr_enum_min2, Expression, Filter, Filter_expression, Function, Function_decl, Global, Imp_blocks, Imperative, Integer, IntegerSet, Local, Logic, Logic_binary, Logic_predicates, Logic_quantor, Logic_unary, Predicate, PrefixD, PrefixI, PrefixR, Radical, Recursion, Red, Setexpr, Setexpr_binary, SmallPr, Tuple, Variable, Variable_pack };
 //# sourceMappingURL=parser.terms.d.ts.map

package/dist/rslang/parser/syntax-errors/index.d.ts

@@ -1,7 +1,7 @@
-import { t as AstNode } from "../../../ast-C8sIpKdL.js";
-import { g as TypeClass } from "../../../typification-9lNu9R4k.js";
+import { t as AstNode } from "../../../ast-D-D6Rq3T.js";
+import "../../../index-D5RahF1K.js";
+import { g as TypeClass } from "../../../typification-hWUoWCba.js";
 import { t as ErrorReporter } from "../../../error-B0EkIx4K.js";
-
 //#region src/rslang/parser/syntax-errors/index.d.ts
 /** When set, refines incomplete formal headers (`[α∈…]`, quantifiers). */
 interface SyntaxErrorOptions {

package/dist/rslang/semantic/analyzer.d.ts

@@ -1,2 +1,2 @@
-import { a as RSLangAnalyzer, i as AnalysisOptions, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../../analyzer-fNhkwO-6.js";
+import { a as RSLangAnalyzer, i as AnalysisOptions, n as AnalysisFast, r as AnalysisFull, t as AnalysisBase } from "../../analyzer-CzFaWR7w.js";
 export { AnalysisBase, AnalysisFast, AnalysisFull, AnalysisOptions, RSLangAnalyzer };

package/dist/rslang/semantic/arguments-extractor.d.ts

@@ -1,2 +1,2 @@
-import { n as ArgumentsType, t as ArgumentsExtractor } from "../../arguments-extractor-ngatANBI.js";
+import { n as ArgumentsType, t as ArgumentsExtractor } from "../../arguments-extractor-CXWRT5Ou.js";
 export { ArgumentsExtractor, ArgumentsType };

package/dist/rslang/semantic/type-auditor.d.ts

@@ -1,7 +1,7 @@
-import { t as AstNode } from "../../ast-C8sIpKdL.js";
-import { _ as TypeContext, f as ExpressionType } from "../../typification-9lNu9R4k.js";
+import { t as AstNode } from "../../ast-D-D6Rq3T.js";
+import "../../index-D5RahF1K.js";
+import { _ as TypeContext, f as ExpressionType } from "../../typification-hWUoWCba.js";
 import { t as ErrorReporter } from "../../error-B0EkIx4K.js";
-
 //#region src/rslang/semantic/type-auditor.d.ts
 /** Type auditor for AST type checking. */
 declare class TypeAuditor {

package/dist/rslang/semantic/typification-api.d.ts

@@ -1,5 +1,4 @@
-import { b as Typification, f as ExpressionType, g as TypeClass, v as TypeID, y as TypePath } from "../../typification-9lNu9R4k.js";
-
+import { b as Typification, f as ExpressionType, g as TypeClass, v as TypeID, y as TypePath } from "../../typification-hWUoWCba.js";
 //#region src/rslang/semantic/typification-api.d.ts
 /** Returns the TypeClass associated with the given TypeID. */
 declare function getTypeClass(typeID: TypeID): TypeClass;

package/dist/rslang/semantic/typification-parser.d.ts

@@ -1,2 +1,2 @@
-import { n as applyAsciiTypeSubstitutions, r as parseTypeText, t as TypificationParseResult } from "../../typification-parser-Dytsv9CI.js";
+import { n as applyAsciiTypeSubstitutions, r as parseTypeText, t as TypificationParseResult } from "../../typification-parser-DFxj4JiQ.js";
 export { TypificationParseResult, applyAsciiTypeSubstitutions, parseTypeText };

package/dist/rslang/semantic/typification.d.ts

@@ -1,2 +1,2 @@
-import { A as makeTypePath, C as component, D as isRadical, E as isMangledRadical, M as mangleRadicalId, N as tuple, O as isTemplateRadical, S as bool, T as debool, _ as TypeContext, a as EchelonCollection, b as Typification, c as EchelonLogic, d as EmptySetT, f as ExpressionType, g as TypeClass, h as Parametrized, i as EchelonBase, j as mangleParamAlias, k as isTypification, l as EchelonPredicate, m as LogicT, n as Argument, o as EchelonFunctional, p as IntegerT, r as EchelonAnyTyped, s as EchelonInteger, t as AnyTypificationT, u as EchelonTuple, v as TypeID, w as constant, x as basic, y as TypePath } from "../../typification-9lNu9R4k.js";
+import { A as makeTypePath, C as component, D as isRadical, E as isMangledRadical, M as mangleRadicalId, N as tuple, O as isTemplateRadical, S as bool, T as debool, _ as TypeContext, a as EchelonCollection, b as Typification, c as EchelonLogic, d as EmptySetT, f as ExpressionType, g as TypeClass, h as Parametrized, i as EchelonBase, j as mangleParamAlias, k as isTypification, l as EchelonPredicate, m as LogicT, n as Argument, o as EchelonFunctional, p as IntegerT, r as EchelonAnyTyped, s as EchelonInteger, t as AnyTypificationT, u as EchelonTuple, v as TypeID, w as constant, x as basic, y as TypePath } from "../../typification-hWUoWCba.js";
 export { AnyTypificationT, Argument, EchelonAnyTyped, EchelonBase, EchelonCollection, EchelonFunctional, EchelonInteger, EchelonLogic, EchelonPredicate, EchelonTuple, EmptySetT, ExpressionType, IntegerT, LogicT, Parametrized, TypeClass, TypeContext, TypeID, TypePath, Typification, basic, bool, component, constant, debool, isMangledRadical, isRadical, isTemplateRadical, isTypification, makeTypePath, mangleParamAlias, mangleRadicalId, tuple };

package/dist/rslang/semantic/value-auditor.d.ts

@@ -1,7 +1,7 @@
-import { t as AstNode } from "../../ast-C8sIpKdL.js";
+import { t as AstNode } from "../../ast-D-D6Rq3T.js";
+import "../../index-D5RahF1K.js";
 import { t as ErrorReporter } from "../../error-B0EkIx4K.js";
 import { n as ValueClassContext, t as ValueClass } from "../../value-class-CNI-lqXJ.js";
-
 //#region src/rslang/semantic/value-auditor.d.ts
 /** Value auditor for AST value class checking. */
 declare class ValueAuditor {

package/dist/rslang/typification-graph.d.ts

@@ -1,2 +1,2 @@
-import { n as TypificationNodeData, t as TypificationGraph } from "../typification-graph-BY_oGT82.js";
+import { n as TypificationNodeData, t as TypificationGraph } from "../typification-graph-CSxDt18X.js";
 export { TypificationGraph, TypificationNodeData };

package/dist/shared/index.d.ts

@@ -1,3 +1,4 @@
 import { t as Branded } from "../branded-ZlzIcxzu.js";
 import { n as generateStub, t as applyHash_fnv1a } from "../hash-Y8I4c6Al.js";
+import "../index-x0_Y5uPV.js";
 export { type Branded, applyHash_fnv1a, generateStub };

package/dist/{typification-graph-BY_oGT82.d.ts → typification-graph-CSxDt18X.d.ts}

@@ -1,5 +1,4 @@
-import { f as ExpressionType } from "./typification-9lNu9R4k.js";
-
+import { f as ExpressionType } from "./typification-hWUoWCba.js";
 //#region src/rslang/typification-graph.d.ts
 /** Represents a single node of a {@link TypificationGraph}. */
 interface TypificationNodeData extends Record<string, unknown> {
@@ -27,4 +26,4 @@ declare class TypificationGraph {
 }
 //#endregion
 export { TypificationNodeData as n, TypificationGraph as t };
-//# sourceMappingURL=typification-graph-BY_oGT82.d.ts.map
+//# sourceMappingURL=typification-graph-CSxDt18X.d.ts.map

package/dist/{typification-9lNu9R4k.d.ts → typification-hWUoWCba.d.ts}

@@ -1,4 +1,5 @@
 import { t as Branded } from "./branded-ZlzIcxzu.js";
+import "./index-x0_Y5uPV.js";
 //#region src/rslang/semantic/typification.d.ts
 /** Typification structure enumeration. */
 declare const TypeID: {
@@ -125,4 +126,4 @@ declare function mangleRadicalId(radical: string, funcName: string): string;
 declare function mangleParamAlias(alias: string, funcName: string): string;
 //#endregion
 export { makeTypePath as A, component as C, isRadical as D, isMangledRadical as E, mangleRadicalId as M, tuple as N, isTemplateRadical as O, bool as S, debool as T, TypeContext as _, EchelonCollection as a, Typification as b, EchelonLogic as c, EmptySetT as d, ExpressionType as f, TypeClass as g, Parametrized as h, EchelonBase as i, mangleParamAlias as j, isTypification as k, EchelonPredicate as l, LogicT as m, Argument as n, EchelonFunctional as o, IntegerT as p, EchelonAnyTyped as r, EchelonInteger as s, AnyTypificationT as t, EchelonTuple as u, TypeID as v, constant as w, basic as x, TypePath as y };
-//# sourceMappingURL=typification-9lNu9R4k.d.ts.map
+//# sourceMappingURL=typification-hWUoWCba.d.ts.map

package/dist/{typification-parser-Dytsv9CI.d.ts → typification-parser-DFxj4JiQ.d.ts}

@@ -1,5 +1,4 @@
-import { f as ExpressionType } from "./typification-9lNu9R4k.js";
-
+import { f as ExpressionType } from "./typification-hWUoWCba.js";
 //#region src/rslang/semantic/typification-parser.d.ts
 interface TypificationParseResult {
   type: ExpressionType | null;
@@ -10,4 +9,4 @@ declare function parseTypeText(input: string): TypificationParseResult;
 declare function applyAsciiTypeSubstitutions(raw: string): string;
 //#endregion
 export { applyAsciiTypeSubstitutions as n, parseTypeText as r, TypificationParseResult as t };
-//# sourceMappingURL=typification-parser-Dytsv9CI.d.ts.map
+//# sourceMappingURL=typification-parser-DFxj4JiQ.d.ts.map

package/dist/{value-BduA_ZGp.d.ts → value-XpJOVzMP.d.ts}

@@ -1,4 +1,5 @@
 import { t as Branded } from "./branded-ZlzIcxzu.js";
+import "./index-x0_Y5uPV.js";
 //#region src/rslang/eval/value.d.ts
 /** Tuple ID for array distinction. */
 declare const TUPLE_ID = -111;
@@ -36,4 +37,4 @@ declare function tuple(components: Value[]): Value;
 declare function set(elements: Value[]): Value[];
 //#endregion
 export { SET_INFINITY as a, VALUE_TRUE as c, ValuePath as d, compare as f, tuple as h, INVALID_ELEMENT as i, Value as l, set as m, CalcInvalidDataError as n, TUPLE_ID as o, makeValuePath as p, EmptySetV as r, VALUE_FALSE as s, BOOL_INFINITY as t, ValueContext as u };
-//# sourceMappingURL=value-BduA_ZGp.d.ts.map
+//# sourceMappingURL=value-XpJOVzMP.d.ts.map

package/dist/{value-api-CXLl_zg0.d.ts → value-api-Dw8UkwCD.d.ts}

@@ -1,6 +1,5 @@
-import { b as Typification, f as ExpressionType, y as TypePath } from "./typification-9lNu9R4k.js";
-import { d as ValuePath, l as Value, u as ValueContext } from "./value-BduA_ZGp.js";
-
+import { b as Typification, f as ExpressionType, y as TypePath } from "./typification-hWUoWCba.js";
+import { d as ValuePath, l as Value, u as ValueContext } from "./value-XpJOVzMP.js";
 //#region src/rslang/eval/value-api.d.ts
 /** Cartesian product of factor sets. */
 declare function cartesianProduct(factors: Value[][]): Value[] | null;
@@ -46,4 +45,4 @@ declare function setNestedValue(target: Value | null, path: ValuePath, newVal: V
 declare function testInvalid(value: Value): boolean;
 //#endregion
 export { setSymDiff as _, extractValue as a, validateValue as b, isTupleValue as c, printValue as d, projection as f, setNestedValue as g, setIntersection as h, convertPathToType as i, makeDefaultValue as l, setDiff as m, cartesianProduct as n, isSetValue as o, reduce as p, contains as r, isSubsetOrEq as s, boolean as t, normalizeValue as u, setUnion as v, valueStub as x, testInvalid as y };
-//# sourceMappingURL=value-api-CXLl_zg0.d.ts.map
+//# sourceMappingURL=value-api-Dw8UkwCD.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/domain",
-  "version": "3.0.0",
+  "version": "3.0.1",
   "description": "Shared TypeScript domain for RS language, RSForm, RSModel, RSEngine, OSS, and concept-text helpers.",
   "license": "MIT",
   "author": "IRBorisov",
@@ -172,17 +172,17 @@
   },
   "devDependencies": {
     "@lezer/generator": "^1.8.0",
-    "@types/node": "^26.1.0",
-    "@typescript-eslint/parser": "^8.0.1",
-    "eslint": "^9.39.4",
+    "@types/node": "^26.1.1",
+    "@typescript-eslint/parser": "^8.63.0",
+    "eslint": "^9.39.5",
     "eslint-plugin-simple-import-sort": "^13.0.0",
     "globals": "^17.7.0",
-    "prettier": "^3.9.4",
-    "tsdown": "^0.22.3",
+    "prettier": "^3.9.5",
+    "tsdown": "^0.22.4",
     "typescript": "^6.0.3",
-    "typescript-eslint": "^8.62.1",
+    "typescript-eslint": "^8.63.0",
     "unrun": "^0.3.1",
-    "vitest": "^4.1.9"
+    "vitest": "^4.1.10"
   },
   "publishConfig": {
     "access": "public"

package/src/library/diagnostics.ts

@@ -19,7 +19,7 @@ export const DiagnosticKind = {
 } as const;
 export type DiagnosticKind = (typeof DiagnosticKind)[keyof typeof DiagnosticKind];
 
-/** Schema and model diagnostic codes (same numeric format as {@link RSErrorCode}). */
+/** Schema, model, and substitution-table diagnostic codes (same numeric format as {@link RSErrorCode}). */
 export const RSDiagnosticCode = {
   schemaHomonym: 0x8901,
   schemaFormalDuplicate: 0x8902,
@@ -31,7 +31,21 @@ export const RSDiagnosticCode = {
   modelEmpty: 0x8910,
   modelAxiomFalse: 0x8911,
   modelInvalidData: 0x8912,
-  modelEvalFail: 0x8913
+  modelEvalFail: 0x8913,
+
+  substitutionInvalidIDs: 0x8920,
+  substitutionIncorrectCst: 0x8921,
+  substitutionInvalidClasses: 0x8922,
+  substitutionInvalidBasic: 0x8923,
+  substitutionInvalidConstant: 0x8924,
+  substitutionTypificationCycle: 0x8925,
+  substitutionBaseNotSet: 0x8926,
+  substitutionUnequalTypification: 0x8927,
+  /** Non-blocking warning: formal definitions differ after mapping. */
+  substitutionUnequalExpressions: 0x2928,
+  substitutionUnequalArgsCount: 0x8929,
+  substitutionUnequalArgs: 0x892a,
+  substitutionInvalidNominal: 0x892b
 } as const;
 export type RSDiagnosticCode = (typeof RSDiagnosticCode)[keyof typeof RSDiagnosticCode];