@rsconcept/domain 2.2.0 → 2.3.0

package/dist/index.d.ts

@@ -18,9 +18,9 @@ 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 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, S as RSForm, T as TypeInfo, _ 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-Db1F7ruF.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-Dac5sJhO.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, 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, 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 };

package/dist/index.js

@@ -6,6 +6,7 @@ import { TokenID } from "./rslang/parser/token.js";
 import { AnyTypificationT, EmptySetT, LogicT, TypeClass, TypeID, makeTypePath } from "./rslang/semantic/typification.js";
 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 { applyHash_fnv1a, generateStub } from "./shared/hash.js";
 import { C as printValue, o as TUPLE_ID, u as makeValuePath } from "./value-COprb2Je.js";
@@ -14,8 +15,7 @@ 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 { CstClass, CstStatus, CstType } from "./library/rsform.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-B1OfMra1.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-CljEzVBV.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";

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-Db1F7ruF.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-Dac5sJhO.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-B1OfMra1.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-CljEzVBV.js";
 export { DiagnosticKind, RSDiagnosticCode, assignSchemaDiagnostics, detectDependencyCycleDiagnostics, formatDependencyCycle, hasCstDiagnostic, modelStatusCstDiagnostic };

package/dist/library/index.d.ts

@@ -1,5 +1,5 @@
 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, S as RSForm, T as TypeInfo, _ 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-Db1F7ruF.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-Dac5sJhO.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";
@@ -99,5 +99,5 @@ declare class TemplateInstantiationPlanner {
   private collectDependencies;
 }
 //#endregion
-export { AccessPolicy, type ArgumentValue, type Attribution, type BasicBinding, type BasicsContext, type Block, type Constituenta, CstClass, type CstDiagnostic, CstStatus, type CstSubstituteInfo, CstType, type CurrentVersion, DEFAULT_VALUE_TEXT, DiagnosticKind, EvalStatus, FolderNode, FolderTree, type LibraryItem, type LibraryItemReference, LibraryItemType, LocationHead, NodeType, type Operation, type OperationInput, type OperationSchema, type OperationSchemaStats, type OperationSynthesis, OperationType, type OssItem, type OssLayout, type Position2D, RSDiagnosticCode, RSEngine, type RSForm, type RSFormStats, type RSModel, type RSModelStats, type Substitution, type SubstitutionErrorDescription, SubstitutionErrorType, type TemplateBindingConflict, type TemplateInstantiationInput, type TemplateInstantiationItem, type TemplateInstantiationPlan, TemplateInstantiationPlanner, type TypeInfo, type VersionInfo, assignSchemaDiagnostics, detectDependencyCycleDiagnostics, formatDependencyCycle, hasCstDiagnostic, modelStatusCstDiagnostic, planTemplateInstantiation };
+export { AccessPolicy, type ArgumentValue, type Attribution, type BasicBinding, type BasicsContext, type Block, type Constituenta, CstClass, type CstDiagnostic, CstStatus, type CstSubstituteInfo, CstType, type CurrentVersion, DEFAULT_VALUE_TEXT, DiagnosticKind, EvalStatus, FolderNode, FolderTree, type LibraryItem, type LibraryItemReference, LibraryItemType, LocationHead, NodeType, type Operation, type OperationInput, type OperationSchema, type OperationSchemaStats, type OperationSynthesis, OperationType, type OssItem, type OssLayout, type Position2D, RSDiagnosticCode, RSEngine, type RSForm, type RSFormStats, type RSModel, type RSModelStats, type Substitution, type SubstitutionErrorDescription, SubstitutionErrorType, type TemplateBindingConflict, type TemplateInstantiationInput, type TemplateInstantiationItem, type TemplateInstantiationPlan, TemplateInstantiationPlanner, type TermForm, type TypeInfo, type VersionInfo, assignSchemaDiagnostics, detectDependencyCycleDiagnostics, formatDependencyCycle, hasCstDiagnostic, modelStatusCstDiagnostic, planTemplateInstantiation };
 //# sourceMappingURL=index.d.ts.map

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 { C as applyMappingToConstituents, I as isFunctional, T as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, v as inferTemplatedType, w as argumentValuesToMapping, y as normalizeExpression } from "../diagnostics-B1OfMra1.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-CljEzVBV.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-Db1F7ruF.js";
+import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-Dac5sJhO.js";
 import { NodeType, OperationSchema, SubstitutionErrorDescription } from "./oss.js";
 
 //#region src/library/oss-api.d.ts

package/dist/library/oss-api.js

@@ -1,8 +1,8 @@
 import { Graph } from "../graph/graph.js";
 import { labelType } from "../rslang/labels.js";
 import { applyAliasMapping, applyTypificationMapping, isSetTypification } from "../rslang/api.js";
-import { extractBases } from "../rslang/semantic/typification-api.js";
 import { CstClass, CstType } from "./rsform.js";
+import { extractBases } from "../rslang/semantic/typification-api.js";
 import "../graph/index.js";
 import { NodeType, SubstitutionErrorType } from "./oss.js";
 //#region src/library/oss-api.ts

package/dist/library/rsengine.d.ts

@@ -1,7 +1,7 @@
 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-Db1F7ruF.js";
+import { S as RSForm, f as EvalStatus, l as BasicBinding, p as RSModel, u as BasicsContext, x as CstType } from "../diagnostics-Dac5sJhO.js";
 
 //#region src/library/rsengine.d.ts
 /** Services for {@link RSEngine}. */

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 { RSCalculator } from "../rslang/eval/calculator.js";
 import "../rslang/index.js";
-import { CstType } from "./rsform.js";
-import { F as isBasicConcept, I as isFunctional, P as isBaseSet, b as getAnalysisFor } from "../diagnostics-B1OfMra1.js";
+import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-CljEzVBV.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

@@ -4,9 +4,40 @@ import { g as TypeClass, y as TypePath } from "../../typification-9lNu9R4k.js";
 import { t as ValueClass } from "../../value-class-CNI-lqXJ.js";
 import { r as AnalysisFull } from "../../analyzer-fNhkwO-6.js";
 import { r as LibraryItem } from "../../library-CYun28Xz.js";
-import { C as RSFormStats, S as RSForm, b as CstStatus, g as ArgumentValue, v as Constituenta, x as CstType, y as CstClass } from "../../diagnostics-Db1F7ruF.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-Dac5sJhO.js";
 import { t as AliasMapping } from "../../api-Bf0f_uiI.js";
 
+//#region src/library/rsform-api/types.d.ts
+/** Minimal constituent fields required to restore order. */
+interface OrderableConstituenta {
+  id: number;
+  alias: string;
+  cst_type: CstType;
+  definition_formal: string;
+}
+/** Semantic parent/children derived from formal definitions (backend SemanticInfo). */
+interface SemanticRelations {
+  /** Parent id for each constituenta (self when none). */
+  parentOf: Map<number, number>;
+  /** Semantic children ids for each constituenta. */
+  childrenOf: Map<number, number[]>;
+}
+/** Constituent fields needed to resolve term/definition entity references. */
+interface ResolvableConstituenta {
+  id: number;
+  alias: string;
+  term_raw: string;
+  term_resolved: string;
+  term_forms: TermForm[];
+  definition_raw: string;
+  definition_resolved: string;
+}
+/** Constituent fields needed to allocate or reset aliases by type. */
+interface AliasTypedConstituenta {
+  alias: string;
+  cst_type: CstType;
+}
+//#endregion
 //#region src/library/rsform-api/alias.d.ts
 /** Fields of {@link Constituenta} updated in place by alias mapping. */
 interface ConstituentaMappableFields {
@@ -29,6 +60,18 @@ declare function generateAlias(type: CstType, schema: RSForm, takenAliases?: str
  * Mutates each element of `items` in place; pass owned or cloned data only.
  */
 declare function applyMappingToConstituents<T extends ConstituentaMappableFields>(items: T[], mapping: AliasMapping, changeAliases: boolean): void;
+/** Highest numeric alias suffix for {@link type} among {@link items} (0 when none). */
+declare function maxAliasIndex(items: readonly AliasTypedConstituenta[], type: CstType): number;
+/**
+ * Build alias → new-alias mapping that renumbers each type sequentially in list order.
+ * Matches backend {@code RSFormCached.reset_aliases}.
+ */
+declare function buildSequentialAliasMapping(items: readonly AliasTypedConstituenta[]): AliasMapping;
+/**
+ * Allocate fresh aliases for {@link source} constituents being imported into a non-empty receiver.
+ * Returns an empty mapping when the receiver has no items (aliases kept as-is).
+ */
+declare function allocateImportAliases(receiver: readonly AliasTypedConstituenta[], source: readonly AliasTypedConstituenta[]): AliasMapping;
 /** Remove alias from expression. */
 declare function removeAliasReference(expression: string, alias: string): string;
 /** Add alias to expression. */
@@ -48,6 +91,20 @@ declare function getAnalysisFor(expression: string, cstType: CstType, schema: RS
  */
 declare function refineAnalysisForDependencyCycles(analysis: AnalysisFull, expression: string, schema: RSForm, alias?: string): AnalysisFull;
 //#endregion
+//#region src/library/rsform-api/attribution.d.ts
+/**
+ * Remap attributions when constituents are substituted (original → replacement).
+ * Drops self-loops and duplicates. Matches sandbox / backend substitute attribution rewrite.
+ */
+declare function remapAttributionsUnderSubstitution(attributions: readonly Attribution[], origToSub: ReadonlyMap<number, number>): Attribution[];
+/**
+ * Copy attributions whose both endpoints are in {@link sourceIdSet}, remapping ids via {@link idMap}.
+ * Appends onto a clone of {@link existing} with dedupe. Used by schema embedding / insert.
+ */
+declare function importAttributions(sourceAttributions: readonly Attribution[], sourceIdSet: ReadonlySet<number>, idMap: Readonly<Record<number, number>>, existing?: readonly Attribution[]): Attribution[];
+/** Drop attributions that reference any id in {@link deletedIds}. */
+declare function filterAttributions(attributions: readonly Attribution[], deletedIds: ReadonlySet<number>): Attribution[];
+//#endregion
 //#region src/library/rsform-api/cst-type.d.ts
 /** Prefix for alias indicating {@link CstType}. */
 declare function getCstTypePrefix(type: CstType): string;
@@ -91,22 +148,6 @@ declare function inferTemplate(expression: string): boolean;
 /** Apply filter based on start {@link Constituenta} type. */
 declare function applyFilterCategory(start: Constituenta, items: Constituenta[]): Constituenta[];
 //#endregion
-//#region src/library/rsform-api/types.d.ts
-/** Minimal constituent fields required to restore order. */
-interface OrderableConstituenta {
-  id: number;
-  alias: string;
-  cst_type: CstType;
-  definition_formal: string;
-}
-/** Semantic parent/children derived from formal definitions (backend SemanticInfo). */
-interface SemanticRelations {
-  /** Parent id for each constituenta (self when none). */
-  parentOf: Map<number, number>;
-  /** Semantic children ids for each constituenta. */
-  childrenOf: Map<number, number[]>;
-}
-//#endregion
 //#region src/library/rsform-api/formal-graph.d.ts
 /**
  * Build the formal dependency graph: supplier → dependent.
@@ -138,9 +179,121 @@ declare function findCstByStructure(schema: RSForm, target: Constituenta, path:
 /** Retrieves name for piece of target {@link Constituenta} structure. */
 declare function getStructureName(schema: RSForm, target: Constituenta, path: TypePath): string;
 //#endregion
+//#region src/library/rsform-api/substitution.d.ts
+/** Result of applying substitutions to a schema fragment. */
+interface SubstitutionResult<T> {
+  items: T[];
+  attributions: Attribution[];
+  deletedIds: Set<number>;
+  /** Replacement constituent ids (survivors referenced by substitutions). */
+  replacementIds: number[];
+}
+/**
+ * Apply constituenta substitutions: remap attributions, drop originals, rewrite aliases in survivors.
+ * Does not resolve texts — call {@link resolveAllConstituentTexts} afterwards.
+ */
+declare function applyConstituentSubstitutions<T extends ConstituentaMappableFields & {
+  id: number;
+  alias: string;
+}>(items: readonly T[], attributions: readonly Attribution[], substitutions: readonly Substitution[]): SubstitutionResult<T>;
+/**
+ * Remap substitution endpoints after source constituents were inserted under new ids.
+ * If {@link original} was imported, map it; otherwise map {@link substitution}.
+ */
+declare function remapSubstitutionsAfterImport(substitutions: readonly Substitution[], sourceIdSet: ReadonlySet<number>, idMap: Readonly<Record<number, number>>): Substitution[];
+//#endregion
 //#region src/library/rsform-api/synthesis.d.ts
-/** Sorts library items relevant for InlineSynthesis with specified {@link RSForm}. */
+/** Constituent shape required for embedding / synthesis transforms. */
+type SynthesizableConstituenta = ConstituentaMappableFields & ResolvableConstituenta & AliasTypedConstituenta & {
+  id: number;
+  alias: string;
+  cst_type: CstType;
+};
+/** Input for {@link inlineSynthesis}. */
+interface InlineSynthesisInput<T extends SynthesizableConstituenta> {
+  /** Receiver schema constituents (order preserved; imports append). */
+  receiverItems: readonly T[];
+  /** Receiver attributions (default empty). */
+  receiverAttributions?: readonly Attribution[];
+  /**
+   * Source constituents to insert (already filtered to the desired subset).
+   * Cloned; originals are not mutated.
+   */
+  sourceItems: readonly T[];
+  /** Source attributions whose both endpoints are among {@link sourceItems}. */
+  sourceAttributions?: readonly Attribution[];
+  /**
+   * Identification table using pre-import ids:
+   * one endpoint is a source id, the other a receiver id
+   * (same rules as backend embedding / InlineSynthesis).
+   */
+  substitutions?: readonly Substitution[];
+  /** Next free numeric id for inserted constituents. */
+  nextId: number;
+}
+/** Result of {@link inlineSynthesis}. */
+interface InlineSynthesisResult<T extends SynthesizableConstituenta> {
+  items: T[];
+  attributions: Attribution[];
+  /** Updated next-id after inserts. */
+  nextId: number;
+  /** Source id → inserted id. */
+  idMap: Record<number, number>;
+  /** Alias remapping applied to imported constituents (empty when receiver was empty). */
+  aliasMapping: AliasMapping;
+  /** Ids removed by substitutions. */
+  deletedIds: Set<number>;
+  /** Ids of newly inserted constituents (before any were deleted by substitutions). */
+  insertedIds: number[];
+  /** Survivor ids referenced by applied substitutions. */
+  replacementIds: number[];
+}
+/**
+ * Embed {@link InlineSynthesisInput.sourceItems} into the receiver and apply substitutions.
+ * Resolves term/definition entity references on the result.
+ * Does not mutate inputs.
+ */
+declare function inlineSynthesis<T extends SynthesizableConstituenta>(input: InlineSynthesisInput<T>): InlineSynthesisResult<T>;
+/** Sorts library items relevant for schema embedding with specified {@link RSForm}. */
 declare function sortItemsForInlineSynthesis(receiver: RSForm, items: readonly LibraryItem[]): LibraryItem[];
 //#endregion
-export { addAliasReference, applyFilterCategory, applyMappingToConstituents, argumentValuesToMapping, calculateSchemaStats, canHaveManualTypification, canProduceStructure, findCstByStructure, generateAlias, getAnalysisFor, getCstTypePrefix, getStructureName, guessCstType, inferClass, inferNewSpawnPosition, inferStatus, inferTemplate, inferTemplatedType, isBaseSet, isBasicConcept, isFunctional, isLogical, isSchemaIssue, isTemplateCst, normalizeExpression, refineAnalysisForDependencyCycles, removeAliasReference, restoreConstituentOrder, sortItemsForInlineSynthesis, typeClassForCstType, validateAliasFormat, validateNewAlias };
+//#region src/library/rsform-api/text-resolution.d.ts
+/** Options controlling which texts to re-resolve after an edit. */
+interface TextChangeOptions {
+  termChanged: boolean;
+  termRawChanged: boolean;
+  definitionRawChanged: boolean;
+  clearTargetForms: boolean;
+}
+/** Build term-reference graph: referenced constituent → dependent (backend {@code graph_term}). */
+declare function buildTermReferenceGraph(items: readonly ResolvableConstituenta[]): Graph<number>;
+/** Build definition-reference graph: referenced constituent → dependent (backend {@code graph_text}). */
+declare function buildDefinitionReferenceGraph(items: readonly ResolvableConstituenta[]): Graph<number>;
+/** Resolve all term and definition texts in topological order. Mutates items in place. */
+declare function resolveAllConstituentTexts(items: ResolvableConstituenta[]): void;
+/**
+ * Resolve texts after a single constituent change, cascading dependents when the term changed.
+ * Mutates items in place.
+ */
+declare function resolveConstituentTextChange(items: ResolvableConstituenta[], targetID: number, options: TextChangeOptions): void;
+//#endregion
+//#region src/library/rsform-api/transforms.d.ts
+/**
+ * Pure constituenta list transforms: reorder, move, insert position.
+ */
+/** Rebuild an item list following {@link orderedIds}. Throws if an id is missing. */
+declare function reorderItemsByIds<T extends {
+  id: number;
+}>(items: readonly T[], orderedIds: readonly number[]): T[];
+/**
+ * Move a subset of ids within an ordered id list.
+ * {@link moveTo} is clamped to `[0, rest.length]` (index among non-moving items).
+ */
+declare function moveIdsInOrder(ids: readonly number[], moving: readonly number[], moveTo: number): number[];
+/** Insert {@link item} after {@link insertAfter}, or append when null/undefined/missing. Mutates {@link items}. */
+declare function insertItemAfter<T extends {
+  id: number;
+}>(items: T[], item: T, insertAfter: number | null | undefined): void;
+//#endregion
+export { type AliasTypedConstituenta, type ConstituentaMappableFields, type InlineSynthesisInput, type InlineSynthesisResult, type OrderableConstituenta, type ResolvableConstituenta, type SemanticRelations, type SubstitutionResult, type SynthesizableConstituenta, type TextChangeOptions, 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 };
 //# sourceMappingURL=index.d.ts.map

package/dist/library/rsform-api/index.js

@@ -1,2 +1,2 @@
-import { A as canProduceStructure, C as applyMappingToConstituents, D as validateAliasFormat, E as removeAliasReference, F as isBasicConcept, I as isFunctional, L as isLogical, M as guessCstType, N as inferClass, O as validateNewAlias, P as isBaseSet, R as isTemplateCst, S as addAliasReference, T as generateAlias, _ as inferTemplate, b as getAnalysisFor, c as sortItemsForInlineSynthesis, d as inferNewSpawnPosition, f as calculateSchemaStats, g as inferStatus, h as applyFilterCategory, j as getCstTypePrefix, k as canHaveManualTypification, l as findCstByStructure, m as restoreConstituentOrder, p as isSchemaIssue, u as getStructureName, v as inferTemplatedType, w as argumentValuesToMapping, x as refineAnalysisForDependencyCycles, y as normalizeExpression, z as typeClassForCstType } from "../../diagnostics-B1OfMra1.js";
-export { addAliasReference, applyFilterCategory, applyMappingToConstituents, argumentValuesToMapping, calculateSchemaStats, canHaveManualTypification, canProduceStructure, findCstByStructure, generateAlias, getAnalysisFor, getCstTypePrefix, getStructureName, guessCstType, inferClass, inferNewSpawnPosition, inferStatus, inferTemplate, inferTemplatedType, isBaseSet, isBasicConcept, isFunctional, isLogical, isSchemaIssue, isTemplateCst, normalizeExpression, refineAnalysisForDependencyCycles, removeAliasReference, restoreConstituentOrder, sortItemsForInlineSynthesis, typeClassForCstType, validateAliasFormat, validateNewAlias };
+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-CljEzVBV.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, S as RSForm, T as TypeInfo, _ as Attribution, b as CstStatus, g as ArgumentValue, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-Db1F7ruF.js";
-export { ArgumentValue, Attribution, Constituenta, CstClass, CstStatus, CstType, RSForm, RSFormStats, Substitution, TypeInfo };
+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-Dac5sJhO.js";
+export { ArgumentValue, Attribution, Constituenta, CstClass, CstStatus, CstType, RSForm, RSFormStats, Substitution, TermForm, TypeInfo };

package/dist/library/rsform.js.map

@@ -1 +1 @@
-{"version":3,"file":"rsform.js","names":[],"sources":["../../src/library/rsform.ts"],"sourcesContent":["/**\n * Module: Models for formal representation for systems of concepts.\n */\n\nimport { type Graph } from '../graph';\nimport { type AnalysisBase, type ExpressionType, type RSLangAnalyzer, type TypePath } from '../rslang';\n\nimport { type CstDiagnostic } from './diagnostics';\nimport { type CurrentVersion, type LibraryItem, type LibraryItemReference, type VersionInfo } from './library';\n\n/** Represents {@link Constituenta} type. */\nexport const CstType = {\n  NOMINAL: 'nominal',\n  BASE: 'basic',\n  STRUCTURED: 'structure',\n  TERM: 'term',\n  AXIOM: 'axiom',\n  FUNCTION: 'function',\n  PREDICATE: 'predicate',\n  CONSTANT: 'constant',\n  STATEMENT: 'statement'\n} as const;\nexport type CstType = (typeof CstType)[keyof typeof CstType];\n\n/** Represents attribution of a {@link Constituenta} to another {@link Constituenta}. */\nexport interface Attribution {\n  container: number;\n  attribute: number;\n}\n\n/** Represents global identifier type info. */\nexport interface TypeInfo {\n  alias: string;\n  type: ExpressionType;\n}\n\n/** Represents function argument value. */\nexport interface ArgumentValue {\n  alias: string;\n  typification: string;\n  value?: string;\n}\n\n/** Represents Constituenta classification in terms of system of concepts. */\nexport const CstClass = {\n  NOMINAL: 'nominal',\n  BASIC: 'basic',\n  DERIVED: 'derived',\n  STATEMENT: 'statement',\n  TEMPLATE: 'template'\n} as const;\nexport type CstClass = (typeof CstClass)[keyof typeof CstClass];\n\n/** Represents formal expression Status. */\nexport const CstStatus = {\n  VERIFIED: 'verified',\n  INCORRECT: 'incorrect',\n  INCALCULABLE: 'incalculable',\n  PROPERTY: 'property',\n  UNKNOWN: 'unknown'\n} as const;\nexport type CstStatus = (typeof CstStatus)[keyof typeof CstStatus];\n\n/** Represents substitution of {@link Constituenta}. */\nexport interface Substitution {\n  original: number;\n  substitution: number;\n}\n\n/** Represents word form for natural language. */\ninterface TermForm {\n  text: string;\n  tags: string;\n}\n\n/** Represents Constituenta. */\nexport interface Constituenta {\n  id: number;\n  crucial: boolean;\n  alias: string;\n  convention: string;\n  cst_type: CstType;\n  definition_formal: string;\n  definition_raw: string;\n  definition_resolved: string;\n  term_raw: string;\n  term_resolved: string;\n  term_forms: TermForm[];\n  attributes: number[];\n\n  /** Manual typification of the constituent */\n  typification_manual: string;\n\n  /** Controls whether base concepts expose property values or full values */\n  value_is_property: boolean;\n\n  analysis: AnalysisBase;\n\n  /** Schema-kind {@link CstDiagnostic} list, populated during schema loading. */\n  diagnostics: CstDiagnostic[];\n\n  /** Typification used for dependents, model values, and display (manual when it overrides computed). */\n  effectiveType: ExpressionType | null;\n\n  /**\n   * True when manual typification is non-empty, parses to a type, and its label differs from the\n   * typification inferred from the formal definition ({@link Constituenta.analysis}.type).\n   */\n  is_type_mismatch: boolean;\n\n  /** Identifier of {@link LibraryItem} containing this {@link Constituenta}. */\n  schema: number;\n\n  /** {@link CstClass} of this {@link Constituenta}. */\n  cst_class: CstClass;\n  /** {@link CstStatus} of this {@link Constituenta}. */\n  status: CstStatus;\n\n  /** Indicates if this {@link Constituenta} is a template. */\n  is_template: boolean;\n  /** Indicates if this {@link Constituenta} has a simple expression. */\n  is_simple_expression: boolean;\n\n  /** Index of {@link LibraryItem} that contains this cst (or inheritance parent).\n   *  0 - not inherited, 1 - inherited by 1st schema, 2 - inherited by 2nd schema, etc.\n   */\n  parent_schema_index: number;\n  /** {@link LibraryItem} that contains parent of this inherited {@link Constituenta}. */\n  parent_schema: number | null;\n  /** Indicates if this {@link Constituenta} is inherited. */\n  is_inherited: boolean;\n  /** Indicates if this {@link Constituenta} has children that are inherited. */\n  has_inherited_children: boolean;\n\n  /** {@link Constituenta} that spawned this one. */\n  spawner?: number;\n  /** Alias of {@link Constituenta} that spawned this one. */\n  spawner_alias?: string;\n  /** Structure path that spawned this one. */\n  spawner_path?: TypePath;\n\n  /** List of {@link Constituenta} that are spawned by this one. */\n  spawn: number[];\n  /** List of aliases of {@link Constituenta} that are spawned by this one. */\n  spawn_alias: string[];\n}\n\n/** Represents {@link RSForm} statistics. */\nexport interface RSFormStats {\n  step_complexity: number;\n\n  /** Total number of constituents in the RSForm. */\n  count_all: number;\n  /** Number of crucial constituents in the RSForm. */\n  count_crucial: number;\n\n  count_problematic: number;\n  /** Constituents that have same term. */\n  count_homonyms: number;\n  /** Constituents that have same formal definition and term. */\n  count_formal_duplicates: number;\n  /** Non-logical basic constituents missing convention and/or resolved term. */\n  count_missing_basic_text: number;\n  /** Constituents with non-empty manual typification that disagrees with inferred typification. */\n  count_type_mismatch: number;\n\n  count_incorrect: number;\n  count_property: number;\n  count_incalculable: number;\n  count_inherited: number;\n\n  count_text_term: number;\n  count_definition: number;\n  count_convention: number;\n  count_comment: number;\n\n  count_base: number;\n  count_constant: number;\n  count_structured: number;\n  count_axiom: number;\n  count_term: number;\n  count_function: number;\n  count_predicate: number;\n  count_statement: number;\n  count_nominal: number;\n}\n\n/** Represents inheritance data for {@link RSForm}. */\ninterface InheritanceInfo {\n  child: number;\n  child_source: number;\n  parent: number;\n  parent_source: number;\n}\n\n/** Represents formal explication for set of concepts. */\nexport interface RSForm extends LibraryItem {\n  /** Whether this RSForm was produced (vs imported or inherited) */\n  is_produced: boolean;\n  /** Whether this RSForm has attribution feature */\n  is_attributive: boolean;\n  /** List of user IDs who can edit this RSForm */\n  editors: number[];\n  /** Information about the current version of this RSForm */\n  version: CurrentVersion;\n  /** Full version history of this RSForm */\n  versions: VersionInfo[];\n\n  /** Full list of constituents in the RSForm */\n  items: Constituenta[];\n  /** List of inheritance relationships between constituents */\n  inheritance: InheritanceInfo[];\n  /** List of constituent attribution relationships */\n  attribution: Attribution[];\n  /** References to Operational Schemes/Systems associated with the RSForm */\n  oss: LibraryItemReference[];\n  /** References to conceptual models associated with the RSForm */\n  models: LibraryItemReference[];\n\n  /** Analyzer instance for RS language features and validation */\n  analyzer: RSLangAnalyzer;\n  /** Graph structure representing formal dependencies between constituents */\n  graph: Graph;\n  /** Graph structure representing attribution relationships */\n  attribution_graph: Graph;\n  /** Map for quick lookup of constituents by alias */\n  cstByAlias: Map<string, Constituenta>;\n  /** Map for quick lookup of constituents by ID */\n  cstByID: Map<number, Constituenta>;\n}\n"],"mappings":";;AAWA,MAAa,UAAU;CACrB,SAAS;CACT,MAAM;CACN,YAAY;CACZ,MAAM;CACN,OAAO;CACP,UAAU;CACV,WAAW;CACX,UAAU;CACV,WAAW;AACb;;AAuBA,MAAa,WAAW;CACtB,SAAS;CACT,OAAO;CACP,SAAS;CACT,WAAW;CACX,UAAU;AACZ;;AAIA,MAAa,YAAY;CACvB,UAAU;CACV,WAAW;CACX,cAAc;CACd,UAAU;CACV,SAAS;AACX"}
+{"version":3,"file":"rsform.js","names":[],"sources":["../../src/library/rsform.ts"],"sourcesContent":["/**\n * Module: Models for formal representation for systems of concepts.\n */\n\nimport { type Graph } from '../graph';\nimport { type AnalysisBase, type ExpressionType, type RSLangAnalyzer, type TypePath } from '../rslang';\n\nimport { type CstDiagnostic } from './diagnostics';\nimport { type CurrentVersion, type LibraryItem, type LibraryItemReference, type VersionInfo } from './library';\n\n/** Represents {@link Constituenta} type. */\nexport const CstType = {\n  NOMINAL: 'nominal',\n  BASE: 'basic',\n  STRUCTURED: 'structure',\n  TERM: 'term',\n  AXIOM: 'axiom',\n  FUNCTION: 'function',\n  PREDICATE: 'predicate',\n  CONSTANT: 'constant',\n  STATEMENT: 'statement'\n} as const;\nexport type CstType = (typeof CstType)[keyof typeof CstType];\n\n/** Represents attribution of a {@link Constituenta} to another {@link Constituenta}. */\nexport interface Attribution {\n  container: number;\n  attribute: number;\n}\n\n/** Represents global identifier type info. */\nexport interface TypeInfo {\n  alias: string;\n  type: ExpressionType;\n}\n\n/** Represents function argument value. */\nexport interface ArgumentValue {\n  alias: string;\n  typification: string;\n  value?: string;\n}\n\n/** Represents Constituenta classification in terms of system of concepts. */\nexport const CstClass = {\n  NOMINAL: 'nominal',\n  BASIC: 'basic',\n  DERIVED: 'derived',\n  STATEMENT: 'statement',\n  TEMPLATE: 'template'\n} as const;\nexport type CstClass = (typeof CstClass)[keyof typeof CstClass];\n\n/** Represents formal expression Status. */\nexport const CstStatus = {\n  VERIFIED: 'verified',\n  INCORRECT: 'incorrect',\n  INCALCULABLE: 'incalculable',\n  PROPERTY: 'property',\n  UNKNOWN: 'unknown'\n} as const;\nexport type CstStatus = (typeof CstStatus)[keyof typeof CstStatus];\n\n/** Represents substitution of {@link Constituenta}. */\nexport interface Substitution {\n  original: number;\n  substitution: number;\n}\n\n/** Represents word form for natural language. */\nexport interface TermForm {\n  text: string;\n  tags: string;\n}\n\n/** Represents Constituenta. */\nexport interface Constituenta {\n  id: number;\n  crucial: boolean;\n  alias: string;\n  convention: string;\n  cst_type: CstType;\n  definition_formal: string;\n  definition_raw: string;\n  definition_resolved: string;\n  term_raw: string;\n  term_resolved: string;\n  term_forms: TermForm[];\n  attributes: number[];\n\n  /** Manual typification of the constituent */\n  typification_manual: string;\n\n  /** Controls whether base concepts expose property values or full values */\n  value_is_property: boolean;\n\n  analysis: AnalysisBase;\n\n  /** Schema-kind {@link CstDiagnostic} list, populated during schema loading. */\n  diagnostics: CstDiagnostic[];\n\n  /** Typification used for dependents, model values, and display (manual when it overrides computed). */\n  effectiveType: ExpressionType | null;\n\n  /**\n   * True when manual typification is non-empty, parses to a type, and its label differs from the\n   * typification inferred from the formal definition ({@link Constituenta.analysis}.type).\n   */\n  is_type_mismatch: boolean;\n\n  /** Identifier of {@link LibraryItem} containing this {@link Constituenta}. */\n  schema: number;\n\n  /** {@link CstClass} of this {@link Constituenta}. */\n  cst_class: CstClass;\n  /** {@link CstStatus} of this {@link Constituenta}. */\n  status: CstStatus;\n\n  /** Indicates if this {@link Constituenta} is a template. */\n  is_template: boolean;\n  /** Indicates if this {@link Constituenta} has a simple expression. */\n  is_simple_expression: boolean;\n\n  /** Index of {@link LibraryItem} that contains this cst (or inheritance parent).\n   *  0 - not inherited, 1 - inherited by 1st schema, 2 - inherited by 2nd schema, etc.\n   */\n  parent_schema_index: number;\n  /** {@link LibraryItem} that contains parent of this inherited {@link Constituenta}. */\n  parent_schema: number | null;\n  /** Indicates if this {@link Constituenta} is inherited. */\n  is_inherited: boolean;\n  /** Indicates if this {@link Constituenta} has children that are inherited. */\n  has_inherited_children: boolean;\n\n  /** {@link Constituenta} that spawned this one. */\n  spawner?: number;\n  /** Alias of {@link Constituenta} that spawned this one. */\n  spawner_alias?: string;\n  /** Structure path that spawned this one. */\n  spawner_path?: TypePath;\n\n  /** List of {@link Constituenta} that are spawned by this one. */\n  spawn: number[];\n  /** List of aliases of {@link Constituenta} that are spawned by this one. */\n  spawn_alias: string[];\n}\n\n/** Represents {@link RSForm} statistics. */\nexport interface RSFormStats {\n  step_complexity: number;\n\n  /** Total number of constituents in the RSForm. */\n  count_all: number;\n  /** Number of crucial constituents in the RSForm. */\n  count_crucial: number;\n\n  count_problematic: number;\n  /** Constituents that have same term. */\n  count_homonyms: number;\n  /** Constituents that have same formal definition and term. */\n  count_formal_duplicates: number;\n  /** Non-logical basic constituents missing convention and/or resolved term. */\n  count_missing_basic_text: number;\n  /** Constituents with non-empty manual typification that disagrees with inferred typification. */\n  count_type_mismatch: number;\n\n  count_incorrect: number;\n  count_property: number;\n  count_incalculable: number;\n  count_inherited: number;\n\n  count_text_term: number;\n  count_definition: number;\n  count_convention: number;\n  count_comment: number;\n\n  count_base: number;\n  count_constant: number;\n  count_structured: number;\n  count_axiom: number;\n  count_term: number;\n  count_function: number;\n  count_predicate: number;\n  count_statement: number;\n  count_nominal: number;\n}\n\n/** Represents inheritance data for {@link RSForm}. */\ninterface InheritanceInfo {\n  child: number;\n  child_source: number;\n  parent: number;\n  parent_source: number;\n}\n\n/** Represents formal explication for set of concepts. */\nexport interface RSForm extends LibraryItem {\n  /** Whether this RSForm was produced (vs imported or inherited) */\n  is_produced: boolean;\n  /** Whether this RSForm has attribution feature */\n  is_attributive: boolean;\n  /** List of user IDs who can edit this RSForm */\n  editors: number[];\n  /** Information about the current version of this RSForm */\n  version: CurrentVersion;\n  /** Full version history of this RSForm */\n  versions: VersionInfo[];\n\n  /** Full list of constituents in the RSForm */\n  items: Constituenta[];\n  /** List of inheritance relationships between constituents */\n  inheritance: InheritanceInfo[];\n  /** List of constituent attribution relationships */\n  attribution: Attribution[];\n  /** References to Operational Schemes/Systems associated with the RSForm */\n  oss: LibraryItemReference[];\n  /** References to conceptual models associated with the RSForm */\n  models: LibraryItemReference[];\n\n  /** Analyzer instance for RS language features and validation */\n  analyzer: RSLangAnalyzer;\n  /** Graph structure representing formal dependencies between constituents */\n  graph: Graph;\n  /** Graph structure representing attribution relationships */\n  attribution_graph: Graph;\n  /** Map for quick lookup of constituents by alias */\n  cstByAlias: Map<string, Constituenta>;\n  /** Map for quick lookup of constituents by ID */\n  cstByID: Map<number, Constituenta>;\n}\n"],"mappings":";;AAWA,MAAa,UAAU;CACrB,SAAS;CACT,MAAM;CACN,YAAY;CACZ,MAAM;CACN,OAAO;CACP,UAAU;CACV,WAAW;CACX,UAAU;CACV,WAAW;AACb;;AAuBA,MAAa,WAAW;CACtB,SAAS;CACT,OAAO;CACP,SAAS;CACT,WAAW;CACX,UAAU;AACZ;;AAIA,MAAa,YAAY;CACvB,UAAU;CACV,WAAW;CACX,cAAc;CACd,UAAU;CACV,SAAS;AACX"}

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

@@ -1,6 +1,6 @@
 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, v as Constituenta, x as CstType } from "../diagnostics-Db1F7ruF.js";
+import { S as RSForm, f as EvalStatus, l as BasicBinding, m as RSModelStats, v as Constituenta, x as CstType } from "../diagnostics-Dac5sJhO.js";
 import { RSEngine } from "./rsengine.js";
 
 //#region src/library/rsmodel-api.d.ts

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, f as tuple, l as compare, x as makeDefaultValue } from "../value-COprb2Je.js";
 import "../rslang/index.js";
-import { CstType } from "./rsform.js";
-import { F as isBasicConcept, P as isBaseSet, f as calculateSchemaStats, s as modelStatusCstDiagnostic } from "../diagnostics-B1OfMra1.js";
+import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-CljEzVBV.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-Db1F7ruF.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-Dac5sJhO.js";
 export { BasicBinding, BasicsContext, DEFAULT_VALUE_TEXT, EvalStatus, RSModel, RSModelStats, TYPE_BASIC };

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

@@ -1,5 +1,5 @@
 import { b as Typification, y as TypePath } from "../typification-9lNu9R4k.js";
-import { S as RSForm, v as Constituenta } from "../diagnostics-Db1F7ruF.js";
+import { S as RSForm, v as Constituenta } from "../diagnostics-Dac5sJhO.js";
 
 //#region src/library/structure-planner.d.ts
 /** Represents a node in the structure planner. */

package/dist/library/structure-planner.js

@@ -1,9 +1,9 @@
 import { TypeID, bool, isTypification, makeTypePath } from "../rslang/semantic/typification.js";
 import { labelType } from "../rslang/labels.js";
 import { splitTemplateDefinition } from "../rslang/api.js";
-import "../rslang/index.js";
 import { CstType } from "./rsform.js";
-import { l as findCstByStructure } from "../diagnostics-B1OfMra1.js";
+import "../rslang/index.js";
+import { y as findCstByStructure } from "../diagnostics-CljEzVBV.js";
 //#region src/library/structure-planner.ts
 /** Structure planner for {@link Constituenta}. */
 var StructurePlanner = class {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rsconcept/domain",
-  "version": "2.2.0",
+  "version": "2.3.0",
   "description": "Shared TypeScript domain for RS language, RSForm, RSModel, RSEngine, OSS, and concept-text helpers.",
   "license": "MIT",
   "author": "IRBorisov",

package/src/index.ts

@@ -54,6 +54,7 @@ export {
   type RSForm,
   type RSFormStats,
   type Substitution,
+  type TermForm,
   type TypeInfo
 } from './library/rsform';
 export {

package/src/library/index.ts

@@ -44,6 +44,7 @@ export {
   type RSForm,
   type RSFormStats,
   type Substitution,
+  type TermForm,
   type TypeInfo
 } from './rsform';
 export {

package/src/library/rsform-api/alias.ts

@@ -4,9 +4,10 @@
 
 import { applyEntityReferenceMapping } from '../../cctext/language-api';
 import { type AliasMapping, applyAliasMapping, applyTypificationMapping } from '../../rslang/api';
-import { type ArgumentValue, type CstType, type RSForm } from '../rsform';
+import { type ArgumentValue, CstType, type RSForm } from '../rsform';
 
 import { getCstTypePrefix } from './cst-type';
+import { type AliasTypedConstituenta } from './types';
 
 /** Fields of {@link Constituenta} updated in place by alias mapping. */
 export interface ConstituentaMappableFields {
@@ -92,6 +93,61 @@ export function applyMappingToConstituents<T extends ConstituentaMappableFields>
   }
 }
 
+/** Highest numeric alias suffix for {@link type} among {@link items} (0 when none). */
+export function maxAliasIndex(items: readonly AliasTypedConstituenta[], type: CstType): number {
+  const prefix = getCstTypePrefix(type);
+  return items.reduce((max, cst) => {
+    if (cst.cst_type !== type) {
+      return max;
+    }
+    const index = Number(cst.alias.slice(prefix.length));
+    return Number.isFinite(index) ? Math.max(max, index) : max;
+  }, 0);
+}
+
+/**
+ * Build alias → new-alias mapping that renumbers each type sequentially in list order.
+ * Matches backend {@code RSFormCached.reset_aliases}.
+ */
+export function buildSequentialAliasMapping(items: readonly AliasTypedConstituenta[]): AliasMapping {
+  const counts: Record<string, number> = {};
+  for (const value of Object.values(CstType)) {
+    counts[value] = 1;
+  }
+  const mapping: AliasMapping = {};
+  for (const cst of items) {
+    const alias = `${getCstTypePrefix(cst.cst_type)}${counts[cst.cst_type]}`;
+    counts[cst.cst_type] += 1;
+    if (cst.alias !== alias) {
+      mapping[cst.alias] = alias;
+    }
+  }
+  return mapping;
+}
+
+/**
+ * Allocate fresh aliases for {@link source} constituents being imported into a non-empty receiver.
+ * Returns an empty mapping when the receiver has no items (aliases kept as-is).
+ */
+export function allocateImportAliases(
+  receiver: readonly AliasTypedConstituenta[],
+  source: readonly AliasTypedConstituenta[]
+): AliasMapping {
+  if (receiver.length === 0) {
+    return {};
+  }
+  const counts: Record<string, number> = {};
+  for (const value of Object.values(CstType)) {
+    counts[value] = maxAliasIndex(receiver, value);
+  }
+  const mapping: AliasMapping = {};
+  for (const cst of source) {
+    counts[cst.cst_type] += 1;
+    mapping[cst.alias] = `${getCstTypePrefix(cst.cst_type)}${counts[cst.cst_type]}`;
+  }
+  return mapping;
+}
+
 /** Remove alias from expression. */
 export function removeAliasReference(expression: string, alias: string): string {
   const escaped = alias.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');