@rsconcept/domain 3.1.0 → 3.2.0

package/dist/library/diagnostics.js

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

package/dist/library/folder-tree.d.ts

@@ -5,7 +5,7 @@
 /**
  * Represents single node of a {@link FolderTree}.
  */
-declare class FolderNode {
+export declare class FolderNode {
   rank: number;
   text: string;
   children: Map<string, FolderNode>;
@@ -20,7 +20,7 @@ declare class FolderNode {
   getPath(): string;
 }
 /** Represents a FolderTree. */
-declare class FolderTree {
+export declare class FolderTree {
   roots: Map<string, FolderNode>;
   constructor(arr?: string[]);
   at(path: string): FolderNode | undefined;
@@ -30,5 +30,4 @@ declare class FolderTree {
   private addNode;
 }
 //#endregion
-export { FolderNode, FolderTree };
 //# sourceMappingURL=folder-tree.d.ts.map

package/dist/library/index.d.ts

@@ -1,10 +1,10 @@
 import { a as LibraryItemType, i as LibraryItemReference, n as CurrentVersion, o as LocationHead, r as LibraryItem, s as VersionInfo, t as AccessPolicy } from "../library-CYun28Xz.js";
-import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-D4_B7rt2.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-DC6QECex.js";
 import { FolderNode, FolderTree } from "./folder-tree.js";
 import { n as OssLayout, r as Position2D } from "../oss-layout-3glgAqfn.js";
 import { Block, CstSubstituteInfo, NodeType, Operation, OperationInput, OperationSchema, OperationSchemaStats, OperationSynthesis, OperationType, OssItem, SubstitutionErrorDescription, SubstitutionErrorType } from "./oss.js";
 import { RSEngine } from "./rsengine.js";
-import { mt as TemplateSourceFields } from "../index-DzvllU3P.js";
+import { mt as TemplateSourceFields } from "../index-CEOeehqz.js";
 //#region src/library/template-instantiation.d.ts
 /**
  * Payload for one {@link Constituenta} to create when instantiating an expression-bank template.
@@ -73,13 +73,13 @@ interface TemplateInstantiationInput {
  * and predicate-functions from `templateItems`, propagates argument bindings into nested calls,
  * topologically orders dependencies, and remaps bank aliases to freshly generated target aliases.
  */
-declare function planTemplateInstantiation(input: TemplateInstantiationInput): TemplateInstantiationPlan;
+export declare function planTemplateInstantiation(input: TemplateInstantiationInput): TemplateInstantiationPlan;
 /**
  * Stateful planner for {@link planTemplateInstantiation}.
  *
  * Prefer the function wrapper unless you need to hold or reuse planner state between calls.
  */
-declare class TemplateInstantiationPlanner {
+export declare class TemplateInstantiationPlanner {
   private readonly targetSchema;
   private readonly prototype;
   private readonly userArgs;
@@ -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 TermForm, 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, type TermForm, type TypeInfo, type VersionInfo, assignSchemaDiagnostics, detectDependencyCycleDiagnostics, formatDependencyCycle, hasCstDiagnostic, modelStatusCstDiagnostic };
 //# 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 { $ as isFunctional, A as normalizeExpression, R as applyMappingToConstituents, V as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, k as inferTemplatedType, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, z as argumentValuesToMapping } from "../diagnostics-D1Cp21nP.js";
+import { $ as isFunctional, A as normalizeExpression, R as applyMappingToConstituents, V as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, k as inferTemplatedType, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, z as argumentValuesToMapping } from "../diagnostics-D_4TpAH4.js";
 import { DEFAULT_VALUE_TEXT, EvalStatus } from "./rsmodel.js";
 import { FolderNode, FolderTree } from "./folder-tree.js";
 import { AccessPolicy, LibraryItemType, LocationHead } from "./library.js";

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

@@ -1,8 +1,7 @@
 //#region src/library/library-api.d.ts
 /** Combining head and body into location. */
-declare function combineLocation(head: string, body?: string): string;
+export declare function combineLocation(head: string, body?: string): string;
 /** Validation location against regexp. */
-declare function validateLocationFormat(location: string): boolean;
+export declare function validateLocationFormat(location: string): boolean;
 //#endregion
-export { combineLocation, validateLocationFormat };
 //# sourceMappingURL=library-api.d.ts.map

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

@@ -1,12 +1,12 @@
 import { r as LibraryItem } from "../library-CYun28Xz.js";
-import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-D4_B7rt2.js";
+import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-DC6QECex.js";
 import { NodeType, OperationSchema, SubstitutionErrorDescription } from "./oss.js";
 //#region src/library/oss-api.d.ts
-declare function constructNodeID(type: NodeType, itemID: number): string;
+export declare function constructNodeID(type: NodeType, itemID: number): string;
 /** Sorts library items relevant for the specified {@link OperationSchema}. */
-declare function sortItemsForOSS(oss: OperationSchema, items: readonly LibraryItem[]): LibraryItem[];
+export declare function sortItemsForOSS(oss: OperationSchema, items: readonly LibraryItem[]): LibraryItem[];
 /** Validator for Substitution table. */
-declare class SubstitutionValidator {
+export declare class SubstitutionValidator {
   errors: SubstitutionErrorDescription[];
   suggestions: Substitution[];
   private schemas;
@@ -38,7 +38,6 @@ declare class SubstitutionValidator {
   private reportError;
 }
 /** Filter relocate candidates from gives schema. */
-declare function getRelocateCandidates(source: number, destination: number, schema: RSForm, oss: OperationSchema): Constituenta[];
+export declare function getRelocateCandidates(source: number, destination: number, schema: RSForm, oss: OperationSchema): Constituenta[];
 //#endregion
-export { SubstitutionValidator, constructNodeID, getRelocateCandidates, sortItemsForOSS };
 //# sourceMappingURL=oss-api.d.ts.map

package/dist/library/oss-api.js

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

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

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

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

@@ -1,11 +1,11 @@
 import { i as Rectangle2D, n as OssLayout } from "../oss-layout-3glgAqfn.js";
 import { OperationSchema } from "./oss.js";
 //#region src/library/oss-layout-api.d.ts
-declare const GRID_SIZE = 10;
-declare const OPERATION_NODE_WIDTH = 150;
-declare const OPERATION_NODE_HEIGHT = 40;
+export declare const GRID_SIZE = 10;
+export declare const OPERATION_NODE_WIDTH = 150;
+export declare const OPERATION_NODE_HEIGHT = 40;
 /** Layout manipulations for {@link OperationSchema}. */
-declare class LayoutManager {
+export declare class LayoutManager {
   oss: OperationSchema;
   layout: OssLayout;
   constructor(oss: OperationSchema, layout?: OssLayout);
@@ -31,5 +31,4 @@ declare class LayoutManager {
   private calculateOffsetForParentChange;
 }
 //#endregion
-export { GRID_SIZE, LayoutManager, OPERATION_NODE_HEIGHT, OPERATION_NODE_WIDTH };
 //# sourceMappingURL=oss-layout-api.d.ts.map

package/dist/library/oss.d.ts

@@ -4,25 +4,25 @@ import { r as LibraryItem } from "../library-CYun28Xz.js";
 import { n as OssLayout, t as NodePosition } from "../oss-layout-3glgAqfn.js";
 //#region src/library/oss.d.ts
 /** Represents OSS node type. */
-declare const NodeType: {
+export declare const NodeType: {
   readonly OPERATION: 1;
   readonly BLOCK: 2;
 };
-type NodeType = (typeof NodeType)[keyof typeof NodeType];
+export type NodeType = (typeof NodeType)[keyof typeof NodeType];
 /** Represents OSS graph node. */
 interface OssNode extends NodePosition {
   nodeType: NodeType;
   parent: number | null;
 }
 /** Represents {@link Operation} type. */
-declare const OperationType: {
+export declare const OperationType: {
   readonly INPUT: "input";
   readonly SYNTHESIS: "synthesis";
   readonly REPLICA: "replica";
 };
-type OperationType = (typeof OperationType)[keyof typeof OperationType];
+export type OperationType = (typeof OperationType)[keyof typeof OperationType];
 /** Represents {@link Substitution} extended data. */
-interface CstSubstituteInfo {
+export interface CstSubstituteInfo {
   original: number;
   substitution: number;
   operation: number;
@@ -45,7 +45,7 @@ interface OperationBase extends OssNode {
   has_additions: boolean;
 }
 /** Represents Input Operation. */
-interface OperationInput extends OperationBase {
+export interface OperationInput extends OperationBase {
   operation_type: typeof OperationType.INPUT;
   is_import: boolean;
 }
@@ -55,16 +55,16 @@ interface OperationReplica extends OperationBase {
   target: number;
 }
 /** Represents Synthesis Operation. */
-interface OperationSynthesis extends OperationBase {
+export interface OperationSynthesis extends OperationBase {
   operation_type: typeof OperationType.SYNTHESIS;
   is_consolidation: boolean;
   substitutions: CstSubstituteInfo[];
   arguments: number[];
 }
 /** Represents Operation. */
-type Operation = OperationInput | OperationReplica | OperationSynthesis;
+export type Operation = OperationInput | OperationReplica | OperationSynthesis;
 /** Represents Block. */
-interface Block extends OssNode {
+export interface Block extends OssNode {
   id: number;
   oss: number;
   title: string;
@@ -73,9 +73,9 @@ interface Block extends OssNode {
   nodeType: typeof NodeType.BLOCK;
 }
 /** Represents item of OperationSchema. */
-type OssItem = Operation | Block;
+export type OssItem = Operation | Block;
 /** Represents {@link OperationSchema} statistics. */
-interface OperationSchemaStats {
+export interface OperationSchemaStats {
   count_all: number;
   count_inputs: number;
   count_synthesis: number;
@@ -85,7 +85,7 @@ interface OperationSchemaStats {
   count_references: number;
 }
 /** Represents OperationSchema. */
-interface OperationSchema extends LibraryItem {
+export interface OperationSchema extends LibraryItem {
   editors: number[];
   operations: Operation[];
   blocks: Block[];
@@ -109,7 +109,7 @@ interface OperationSchema extends LibraryItem {
   itemByNodeID: Map<string, OssItem>;
 }
 /** Represents substitution error description (same code space as {@link RSDiagnosticCode}). */
-interface SubstitutionErrorDescription {
+export interface SubstitutionErrorDescription {
   code: SubstitutionErrorType;
   params: string[];
 }
@@ -117,7 +117,7 @@ interface SubstitutionErrorDescription {
  * Substitution-table error codes — aliases into {@link RSDiagnosticCode}.
  * Logical definition cycles reuse {@link RSDiagnosticCode.schemaDependencyCycle}.
  */
-declare const SubstitutionErrorType: {
+export declare const SubstitutionErrorType: {
   readonly invalidIDs: 35104;
   readonly incorrectCst: 35105;
   readonly invalidClasses: 35106;
@@ -133,7 +133,7 @@ declare const SubstitutionErrorType: {
   /** Same code as constituent schema dependency cycle. */
   readonly definitionCycle: 35078;
 };
-type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];
+export type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];
 //#endregion
-export { Block, CstSubstituteInfo, NodeType, Operation, OperationInput, OperationSchema, OperationSchemaStats, OperationSynthesis, OperationType, OssItem, SubstitutionErrorDescription, SubstitutionErrorType };
+export {};
 //# sourceMappingURL=oss.d.ts.map

package/dist/library/oss.js

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

package/dist/library/rsengine.d.ts

@@ -1,12 +1,12 @@
 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-B-1p712X.js";
-import "../index-D-w-bgei.js";
-import { S as RSForm, f as EvalStatus, l as BasicBinding, p as RSModel, u as BasicsContext, x as CstType } from "../diagnostics-D4_B7rt2.js";
+import { n as CalculatorResult, r as RSCalculator, t as CalculatorEvaluateOptions } from "../calculator-SVf1trzN.js";
+import "../index-CEUOBGLn.js";
+import { S as RSForm, f as EvalStatus, l as BasicBinding, p as RSModel, u as BasicsContext, x as CstType } from "../diagnostics-DC6QECex.js";
 //#region src/library/rsengine.d.ts
 /** Services for {@link RSEngine}. */
-interface RSEngineServices {
+export interface RSEngineServices {
   setCstValue: (args: {
     itemID: number;
     data: {
@@ -23,12 +23,12 @@ interface RSEngineServices {
   }) => Promise<unknown>;
 }
 /** Notifications for {@link RSEngine}. */
-interface RSEngineNotifications {
+export interface RSEngineNotifications {
   onInvalidSetValue: () => void;
   onCalculationSuccess: (timeSpent: string) => void;
 }
 /** Calculation engine for {@link RSModel}. */
-declare class RSEngine {
+export declare class RSEngine {
   modelID: number;
   schema: RSForm | null;
   data: RSModel | null;
@@ -105,5 +105,4 @@ declare class RSEngine {
   private recalculateInternal;
 }
 //#endregion
-export { RSEngine, RSEngineNotifications, RSEngineServices };
 //# sourceMappingURL=rsengine.d.ts.map

package/dist/library/rsengine.js

@@ -1,10 +1,10 @@
 import { TypeID } from "../rslang/semantic/typification.js";
 import { normalizeType } from "../rslang/labels.js";
 import { CstType } from "./rsform.js";
-import { l as compare } from "../value-COprb2Je.js";
+import { l as compare } from "../value-BDISzQqI.js";
 import { RSCalculator } from "../rslang/eval/calculator.js";
 import "../rslang/index.js";
-import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-D1Cp21nP.js";
+import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-D_4TpAH4.js";
 import { TYPE_BASIC } from "./rsmodel.js";
 import { inferEvalStatus, isInferrable, tryFixValue } from "./rsmodel-api.js";
 //#region src/library/rsengine.ts
@@ -43,8 +43,8 @@ var RSEngine = class {
 			this.onChangeDefinitions(changedCst);
 		}
 		if (this.data !== model) {
+			this.prepareValues(model);
 			this.data = model;
-			this.prepareValues();
 		}
 		this.notifyAll();
 	}
@@ -66,7 +66,8 @@ var RSEngine = class {
 	getCstStatus(cstID) {
 		const cst = this.schema?.cstByID.get(cstID);
 		if (!cst) return inferEvalStatus(null, CstType.NOMINAL, false);
-		return inferEvalStatus(this.calculator.getValue(cst.alias), cst.cst_type, this.calculatedSet.has(cstID), this.invalidData.has(cstID));
+		const value = this.calculator.getValue(cst.alias);
+		return inferEvalStatus(value, cst.cst_type, this.calculatedSet.has(cstID), this.invalidData.has(cstID));
 	}
 	/** Subscribe to value change of {@link Constituenta}. */
 	subscribeValue(cstID, callbackFn) {
@@ -183,16 +184,13 @@ var RSEngine = class {
 				}
 			}
 		}
-		if (resetList.length > 0) await Promise.all([this.services.setCstValue({
+		await this.services.setCstValue({
 			itemID: this.modelID,
 			data: updateList
-		}), this.services.clearValues({
+		});
+		if (resetList.length > 0) await this.services.clearValues({
 			itemID: this.modelID,
 			data: { items: resetList }
-		})]);
-		else await this.services.setCstValue({
-			itemID: this.modelID,
-			data: updateList
 		});
 		const changed = [...resetList, ...updateList.map((item) => item.target)];
 		this.basics.set(cstID, data);
@@ -302,25 +300,26 @@ var RSEngine = class {
 			if (fullAnalysis.ast) this.calculator.setAST(cst.alias, fullAnalysis.ast);
 		}
 	}
-	prepareValues() {
+	prepareValues(model) {
 		this.basics.clear();
 		this.invalidData.clear();
 		this.calculatedSet.clear();
-		for (const item of this.data.items) {
-			const cst = this.schema.cstByID.get(item.id);
-			if (item.type === "basic") {
-				if (cst.cst_type !== CstType.BASE && cst.cst_type !== CstType.CONSTANT) throw new Error(`Invalid data for ${cst.alias}`);
-				const data = item.value;
-				this.basics.set(cst.id, data);
-				this.calculator.setValue(cst.alias, Object.keys(data).map(Number));
+		for (const item of model.items) {
+			const cst = this.schema?.cstByID.get(item.id);
+			if (!cst || item.type !== "basic") continue;
+			if (!isBaseSet(cst.cst_type)) {
+				this.invalidData.add(item.id);
+				continue;
 			}
+			const data = item.value;
+			this.basics.set(cst.id, data);
+			this.calculator.setValue(cst.alias, Object.keys(data).map(Number));
 		}
-		for (const item of this.data.items) {
-			const cst = this.schema.cstByID.get(item.id);
-			if (item.type !== "basic") {
-				this.calculator.setValue(cst.alias, item.value);
-				if (!cst.effectiveType || !this.calculator.validate(item.value, cst.effectiveType)) this.invalidData.add(item.id);
-			}
+		for (const item of model.items) {
+			const cst = this.schema?.cstByID.get(item.id);
+			if (!cst || item.type === "basic") continue;
+			this.calculator.setValue(cst.alias, item.value);
+			if (!cst.effectiveType || !this.calculator.validate(item.value, cst.effectiveType)) this.invalidData.add(item.id);
 		}
 		this.setupEmptySets();
 	}