@rsconcept/domain 2.3.0 → 3.0.1

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

@@ -1,7 +1,6 @@
 import { r as LibraryItem } from "../library-CYun28Xz.js";
-import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-Dac5sJhO.js";
+import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-DKyMf6q-.js";
 import { NodeType, OperationSchema, SubstitutionErrorDescription } from "./oss.js";
-
 //#region src/library/oss-api.d.ts
 declare function constructNodeID(type: NodeType, itemID: number): string;
 /** Sorts library items relevant for the specified {@link OperationSchema}. */
@@ -22,7 +21,16 @@ declare class SubstitutionValidator {
   validate(): boolean;
   private calculateSuggestions;
   private checkTypes;
-  private checkCycles;
+  /**
+   * Detect cycles among base/constant sets implied by typifications of non-base
+   * constituents under the substitution table.
+   */
+  private checkTypificationCycles;
+  /**
+   * Detect logical cycles in formal definitions after applying the substitution table
+   * (e.g. D16 := F2[D15] with identification D15 → D16 yields D16 := F2[D16]).
+   */
+  private checkDefinitionCycles;
   private checkSubstitutions;
   private prepareBaseMappings;
   private calculateSubstituteMappings;

package/dist/library/oss-api.js

@@ -3,6 +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 "../graph/index.js";
 import { NodeType, SubstitutionErrorType } from "./oss.js";
 //#region src/library/oss-api.ts
@@ -66,7 +67,8 @@ var SubstitutionValidator = class {
 		this.calculateSuggestions();
 		if (this.substitutions.length === 0) return true;
 		if (!this.checkTypes()) return false;
-		if (!this.checkCycles()) return false;
+		if (!this.checkTypificationCycles()) return false;
+		if (!this.checkDefinitionCycles()) return false;
 		if (!this.checkSubstitutions()) return false;
 		return true;
 	}
@@ -131,7 +133,11 @@ var SubstitutionValidator = class {
 		}
 		return true;
 	}
-	checkCycles() {
+	/**
+	* Detect cycles among base/constant sets implied by typifications of non-base
+	* constituents under the substitution table.
+	*/
+	checkTypificationCycles() {
 		const graph = new Graph();
 		for (const schema of this.schemas) for (const cst of schema.items) if (cst.cst_type === CstType.BASE || cst.cst_type === CstType.CONSTANT) graph.addNode(cst.id);
 		for (const item of this.substitutions) {
@@ -161,6 +167,41 @@ var SubstitutionValidator = class {
 		}
 		return true;
 	}
+	/**
+	* Detect logical cycles in formal definitions after applying the substitution table
+	* (e.g. D16 := F2[D15] with identification D15 → D16 yields D16 := F2[D16]).
+	*/
+	checkDefinitionCycles() {
+		const graph = new Graph();
+		for (const schema of this.schemas) for (const [id, node] of schema.graph.nodes) {
+			graph.addNode(id);
+			for (const output of node.outputs) graph.addEdge(id, output);
+		}
+		const deleted = /* @__PURE__ */ new Map();
+		for (const item of this.substitutions) deleted.set(item.original, item.substitution);
+		const resolve = (id) => deleted.get(id) ?? id;
+		const result = new Graph();
+		for (const id of graph.nodes.keys()) if (!deleted.has(id)) result.addNode(id);
+		for (const substitutionId of deleted.values()) result.addNode(substitutionId);
+		for (const [id, node] of graph.nodes) for (const output of node.outputs) {
+			if (deleted.has(output)) continue;
+			result.addEdge(resolve(id), output);
+		}
+		const cycle = result.findCycle();
+		if (cycle !== null) {
+			const aliases = cycle.map((id) => {
+				const cst = this.cstByID.get(id);
+				if (!cst) return String(id);
+				if (this.schemas.length > 1) {
+					const schema = this.schemaByID.get(cst.schema);
+					return schema ? `[${schema.alias}]-${cst.alias}` : cst.alias;
+				}
+				return cst.alias;
+			});
+			return this.reportError(SubstitutionErrorType.definitionCycle, [formatDependencyCycle(aliases)]);
+		}
+		return true;
+	}
 	checkSubstitutions() {
 		const baseMappings = this.prepareBaseMappings();
 		const typeMappings = this.calculateSubstituteMappings(baseMappings);
@@ -233,9 +274,9 @@ var SubstitutionValidator = class {
 		const expression2 = applyAliasMapping(right.definition_formal, this.mapping.get(schema2.id));
 		return expression1.replace(/\s+/g, "") === expression2.replace(/\s+/g, "");
 	}
-	reportError(errorType, params) {
+	reportError(code, params) {
 		this.errors.push({
-			errorType,
+			code,
 			params
 		});
 		return false;

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 { type LibraryItem } from './library';\nimport { NodeType, type OperationSchema, type SubstitutionErrorDescription, SubstitutionErrorType } from './oss';\nimport { type Constituenta, CstClass, CstType, type RSForm, type Substitution } from './rsform';\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.checkCycles()) {\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  private checkCycles(): 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  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(left: Constituenta, right: Constituenta): 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(errorType: SubstitutionErrorType, params: string[]): boolean {\n    this.errors.push({\n      errorType: errorType,\n      params: 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":";;;;;;;;;;;AAaA,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,YAAY,GACpB,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;CAEA,cAA+B;EAC7B,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;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,WAAmB,MAAoB,OAA8B;EACnE,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,WAAkC,QAA2B;EAC/E,KAAK,OAAO,KAAK;GACJ;GACH;EACV,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;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"}

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

@@ -1,6 +1,5 @@
 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;

package/dist/library/oss.d.ts

@@ -1,7 +1,7 @@
 import { t as Graph } from "../graph-CL73WdW1.js";
+import "../index-DntDUXW1.js";
 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: {
@@ -108,25 +108,30 @@ interface OperationSchema extends LibraryItem {
   blockByID: Map<number, Block>;
   itemByNodeID: Map<string, OssItem>;
 }
-/** Represents substitution error description. */
+/** Represents substitution error description (same code space as {@link RSDiagnosticCode}). */
 interface SubstitutionErrorDescription {
-  errorType: SubstitutionErrorType;
+  code: SubstitutionErrorType;
   params: string[];
 }
-/** Represents Substitution table error types. */
+/**
+ * Substitution-table error codes — aliases into {@link RSDiagnosticCode}.
+ * Logical definition cycles reuse {@link RSDiagnosticCode.schemaDependencyCycle}.
+ */
 declare const SubstitutionErrorType: {
-  readonly invalidIDs: 0;
-  readonly incorrectCst: 1;
-  readonly invalidClasses: 2;
-  readonly invalidBasic: 3;
-  readonly invalidConstant: 4;
-  readonly typificationCycle: 5;
-  readonly baseSubstitutionNotSet: 6;
-  readonly unequalTypification: 7;
-  readonly unequalExpressions: 8;
-  readonly unequalArgsCount: 9;
-  readonly unequalArgs: 10;
-  readonly invalidNominal: 11;
+  readonly invalidIDs: 35104;
+  readonly incorrectCst: 35105;
+  readonly invalidClasses: 35106;
+  readonly invalidBasic: 35107;
+  readonly invalidConstant: 35108;
+  readonly typificationCycle: 35109;
+  readonly baseSubstitutionNotSet: 35110;
+  readonly unequalTypification: 35111;
+  readonly unequalExpressions: 10536;
+  readonly unequalArgsCount: 35113;
+  readonly unequalArgs: 35114;
+  readonly invalidNominal: 35115;
+  /** Same code as constituent schema dependency cycle. */
+  readonly definitionCycle: 35078;
 };
 type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];
 //#endregion

package/dist/library/oss.js

@@ -1,3 +1,4 @@
+import { n as RSDiagnosticCode } from "../diagnostics-D1Cp21nP.js";
 //#region src/library/oss.ts
 /** Represents OSS node type. */
 const NodeType = {
@@ -10,20 +11,25 @@ const OperationType = {
 	SYNTHESIS: "synthesis",
 	REPLICA: "replica"
 };
-/** Represents Substitution table error types. */
+/**
+* Substitution-table error codes — aliases into {@link RSDiagnosticCode}.
+* Logical definition cycles reuse {@link RSDiagnosticCode.schemaDependencyCycle}.
+*/
 const SubstitutionErrorType = {
-	invalidIDs: 0,
-	incorrectCst: 1,
-	invalidClasses: 2,
-	invalidBasic: 3,
-	invalidConstant: 4,
-	typificationCycle: 5,
-	baseSubstitutionNotSet: 6,
-	unequalTypification: 7,
-	unequalExpressions: 8,
-	unequalArgsCount: 9,
-	unequalArgs: 10,
-	invalidNominal: 11
+	invalidIDs: RSDiagnosticCode.substitutionInvalidIDs,
+	incorrectCst: RSDiagnosticCode.substitutionIncorrectCst,
+	invalidClasses: RSDiagnosticCode.substitutionInvalidClasses,
+	invalidBasic: RSDiagnosticCode.substitutionInvalidBasic,
+	invalidConstant: RSDiagnosticCode.substitutionInvalidConstant,
+	typificationCycle: RSDiagnosticCode.substitutionTypificationCycle,
+	baseSubstitutionNotSet: RSDiagnosticCode.substitutionBaseNotSet,
+	unequalTypification: RSDiagnosticCode.substitutionUnequalTypification,
+	unequalExpressions: RSDiagnosticCode.substitutionUnequalExpressions,
+	unequalArgsCount: RSDiagnosticCode.substitutionUnequalArgsCount,
+	unequalArgs: RSDiagnosticCode.substitutionUnequalArgs,
+	invalidNominal: RSDiagnosticCode.substitutionInvalidNominal,
+	/** Same code as constituent schema dependency cycle. */
+	definitionCycle: RSDiagnosticCode.schemaDependencyCycle
 };
 //#endregion
 export { NodeType, OperationType, SubstitutionErrorType };

package/dist/library/oss.js.map

@@ -1 +1 @@
-{"version":3,"file":"oss.js","names":[],"sources":["../../src/library/oss.ts"],"sourcesContent":["/**\n * Module: Schema of Synthesis Operations.\n */\n\nimport { type Graph } from '../graph';\n\nimport { type LibraryItem } from './library';\nimport { type NodePosition, type OssLayout } from './oss-layout';\n\n/** Represents OSS node type. */\nexport const NodeType = {\n  OPERATION: 1,\n  BLOCK: 2\n} as const;\nexport type NodeType = (typeof NodeType)[keyof typeof NodeType];\n\n/** Represents OSS graph node. */\ninterface OssNode extends NodePosition {\n  nodeType: NodeType;\n  parent: number | null;\n}\n\n/** Represents {@link Operation} type. */\nexport const OperationType = {\n  INPUT: 'input',\n  SYNTHESIS: 'synthesis',\n  REPLICA: 'replica'\n} as const;\nexport type OperationType = (typeof OperationType)[keyof typeof OperationType];\n\n/** Represents {@link Substitution} extended data. */\nexport interface CstSubstituteInfo {\n  original: number;\n  substitution: number;\n  operation: number;\n  original_schema: number;\n  original_alias: string;\n  original_term: string;\n  substitution_schema: number;\n  substitution_alias: string;\n  substitution_term: string;\n}\n\n/** Represents Operation common attributes. */\ninterface OperationBase extends OssNode {\n  id: number;\n  alias: string;\n  title: string;\n  description: string;\n  operation_type: OperationType;\n  result: number | null;\n  nodeType: typeof NodeType.OPERATION;\n  has_additions: boolean;\n}\n\n/** Represents Input Operation. */\nexport interface OperationInput extends OperationBase {\n  operation_type: typeof OperationType.INPUT;\n  is_import: boolean;\n}\n\n/** Represents Replica Operation. */\ninterface OperationReplica extends OperationBase {\n  operation_type: typeof OperationType.REPLICA;\n  target: number;\n}\n\n/** Represents Synthesis Operation. */\nexport interface OperationSynthesis extends OperationBase {\n  operation_type: typeof OperationType.SYNTHESIS;\n  is_consolidation: boolean; // aka 'diamond synthesis'\n  substitutions: CstSubstituteInfo[];\n  arguments: number[];\n}\n\n/** Represents Operation. */\nexport type Operation = OperationInput | OperationReplica | OperationSynthesis;\n\n/** Represents Block. */\nexport interface Block extends OssNode {\n  id: number;\n  oss: number;\n  title: string;\n  description: string;\n  parent: number | null;\n  nodeType: typeof NodeType.BLOCK;\n}\n\n/** Represents item of OperationSchema. */\nexport type OssItem = Operation | Block;\n\n/** Represents {@link OperationSchema} statistics. */\nexport interface OperationSchemaStats {\n  count_all: number;\n  count_inputs: number;\n  count_synthesis: number;\n  count_schemas: number;\n  count_owned: number;\n  count_block: number;\n  count_references: number;\n}\n\n/** Represents OperationSchema. */\nexport interface OperationSchema extends LibraryItem {\n  editors: number[];\n  operations: Operation[];\n  blocks: Block[];\n  replicas: {\n    original: number;\n    replica: number;\n  }[];\n  layout: OssLayout;\n  arguments: {\n    operation: number;\n    argument: number;\n  }[];\n  substitutions: CstSubstituteInfo[];\n\n  graph: Graph;\n  extendedGraph: Graph;\n  hierarchy: Graph<string>;\n  schemas: number[];\n  stats: OperationSchemaStats;\n  operationByID: Map<number, Operation>;\n  blockByID: Map<number, Block>;\n  itemByNodeID: Map<string, OssItem>;\n}\n\n/** Represents substitution error description. */\nexport interface SubstitutionErrorDescription {\n  errorType: SubstitutionErrorType;\n  params: string[];\n}\n\n/** Represents Substitution table error types. */\nexport const SubstitutionErrorType = {\n  invalidIDs: 0,\n  incorrectCst: 1,\n  invalidClasses: 2,\n  invalidBasic: 3,\n  invalidConstant: 4,\n  typificationCycle: 5,\n  baseSubstitutionNotSet: 6,\n  unequalTypification: 7,\n  unequalExpressions: 8,\n  unequalArgsCount: 9,\n  unequalArgs: 10,\n  invalidNominal: 11\n} as const;\nexport type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];\n"],"mappings":";;AAUA,MAAa,WAAW;CACtB,WAAW;CACX,OAAO;AACT;;AAUA,MAAa,gBAAgB;CAC3B,OAAO;CACP,WAAW;CACX,SAAS;AACX;;AA4GA,MAAa,wBAAwB;CACnC,YAAY;CACZ,cAAc;CACd,gBAAgB;CAChB,cAAc;CACd,iBAAiB;CACjB,mBAAmB;CACnB,wBAAwB;CACxB,qBAAqB;CACrB,oBAAoB;CACpB,kBAAkB;CAClB,aAAa;CACb,gBAAgB;AAClB"}
+{"version":3,"file":"oss.js","names":[],"sources":["../../src/library/oss.ts"],"sourcesContent":["/**\n * Module: Schema of Synthesis Operations.\n */\n\nimport { type Graph } from '../graph';\n\nimport { RSDiagnosticCode } from './diagnostics';\nimport { type LibraryItem } from './library';\nimport { type NodePosition, type OssLayout } from './oss-layout';\n\n/** Represents OSS node type. */\nexport const NodeType = {\n  OPERATION: 1,\n  BLOCK: 2\n} as const;\nexport type NodeType = (typeof NodeType)[keyof typeof NodeType];\n\n/** Represents OSS graph node. */\ninterface OssNode extends NodePosition {\n  nodeType: NodeType;\n  parent: number | null;\n}\n\n/** Represents {@link Operation} type. */\nexport const OperationType = {\n  INPUT: 'input',\n  SYNTHESIS: 'synthesis',\n  REPLICA: 'replica'\n} as const;\nexport type OperationType = (typeof OperationType)[keyof typeof OperationType];\n\n/** Represents {@link Substitution} extended data. */\nexport interface CstSubstituteInfo {\n  original: number;\n  substitution: number;\n  operation: number;\n  original_schema: number;\n  original_alias: string;\n  original_term: string;\n  substitution_schema: number;\n  substitution_alias: string;\n  substitution_term: string;\n}\n\n/** Represents Operation common attributes. */\ninterface OperationBase extends OssNode {\n  id: number;\n  alias: string;\n  title: string;\n  description: string;\n  operation_type: OperationType;\n  result: number | null;\n  nodeType: typeof NodeType.OPERATION;\n  has_additions: boolean;\n}\n\n/** Represents Input Operation. */\nexport interface OperationInput extends OperationBase {\n  operation_type: typeof OperationType.INPUT;\n  is_import: boolean;\n}\n\n/** Represents Replica Operation. */\ninterface OperationReplica extends OperationBase {\n  operation_type: typeof OperationType.REPLICA;\n  target: number;\n}\n\n/** Represents Synthesis Operation. */\nexport interface OperationSynthesis extends OperationBase {\n  operation_type: typeof OperationType.SYNTHESIS;\n  is_consolidation: boolean; // aka 'diamond synthesis'\n  substitutions: CstSubstituteInfo[];\n  arguments: number[];\n}\n\n/** Represents Operation. */\nexport type Operation = OperationInput | OperationReplica | OperationSynthesis;\n\n/** Represents Block. */\nexport interface Block extends OssNode {\n  id: number;\n  oss: number;\n  title: string;\n  description: string;\n  parent: number | null;\n  nodeType: typeof NodeType.BLOCK;\n}\n\n/** Represents item of OperationSchema. */\nexport type OssItem = Operation | Block;\n\n/** Represents {@link OperationSchema} statistics. */\nexport interface OperationSchemaStats {\n  count_all: number;\n  count_inputs: number;\n  count_synthesis: number;\n  count_schemas: number;\n  count_owned: number;\n  count_block: number;\n  count_references: number;\n}\n\n/** Represents OperationSchema. */\nexport interface OperationSchema extends LibraryItem {\n  editors: number[];\n  operations: Operation[];\n  blocks: Block[];\n  replicas: {\n    original: number;\n    replica: number;\n  }[];\n  layout: OssLayout;\n  arguments: {\n    operation: number;\n    argument: number;\n  }[];\n  substitutions: CstSubstituteInfo[];\n\n  graph: Graph;\n  extendedGraph: Graph;\n  hierarchy: Graph<string>;\n  schemas: number[];\n  stats: OperationSchemaStats;\n  operationByID: Map<number, Operation>;\n  blockByID: Map<number, Block>;\n  itemByNodeID: Map<string, OssItem>;\n}\n\n/** Represents substitution error description (same code space as {@link RSDiagnosticCode}). */\nexport interface SubstitutionErrorDescription {\n  code: SubstitutionErrorType;\n  params: string[];\n}\n\n/**\n * Substitution-table error codes — aliases into {@link RSDiagnosticCode}.\n * Logical definition cycles reuse {@link RSDiagnosticCode.schemaDependencyCycle}.\n */\nexport const SubstitutionErrorType = {\n  invalidIDs: RSDiagnosticCode.substitutionInvalidIDs,\n  incorrectCst: RSDiagnosticCode.substitutionIncorrectCst,\n  invalidClasses: RSDiagnosticCode.substitutionInvalidClasses,\n  invalidBasic: RSDiagnosticCode.substitutionInvalidBasic,\n  invalidConstant: RSDiagnosticCode.substitutionInvalidConstant,\n  typificationCycle: RSDiagnosticCode.substitutionTypificationCycle,\n  baseSubstitutionNotSet: RSDiagnosticCode.substitutionBaseNotSet,\n  unequalTypification: RSDiagnosticCode.substitutionUnequalTypification,\n  unequalExpressions: RSDiagnosticCode.substitutionUnequalExpressions,\n  unequalArgsCount: RSDiagnosticCode.substitutionUnequalArgsCount,\n  unequalArgs: RSDiagnosticCode.substitutionUnequalArgs,\n  invalidNominal: RSDiagnosticCode.substitutionInvalidNominal,\n  /** Same code as constituent schema dependency cycle. */\n  definitionCycle: RSDiagnosticCode.schemaDependencyCycle\n} as const satisfies Record<string, (typeof RSDiagnosticCode)[keyof typeof RSDiagnosticCode]>;\nexport type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];\n"],"mappings":";;;AAWA,MAAa,WAAW;CACtB,WAAW;CACX,OAAO;AACT;;AAUA,MAAa,gBAAgB;CAC3B,OAAO;CACP,WAAW;CACX,SAAS;AACX;;;;;AA+GA,MAAa,wBAAwB;CACnC,YAAY,iBAAiB;CAC7B,cAAc,iBAAiB;CAC/B,gBAAgB,iBAAiB;CACjC,cAAc,iBAAiB;CAC/B,iBAAiB,iBAAiB;CAClC,mBAAmB,iBAAiB;CACpC,wBAAwB,iBAAiB;CACzC,qBAAqB,iBAAiB;CACtC,oBAAoB,iBAAiB;CACrC,kBAAkB,iBAAiB;CACnC,aAAa,iBAAiB;CAC9B,gBAAgB,iBAAiB;;CAEjC,iBAAiB,iBAAiB;AACpC"}

package/dist/library/rsengine.d.ts

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

package/dist/library/rsengine.js

@@ -4,7 +4,7 @@ import { CstType } from "./rsform.js";
 import { l as compare } from "../value-COprb2Je.js";
 import { RSCalculator } from "../rslang/eval/calculator.js";
 import "../rslang/index.js";
-import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-CljEzVBV.js";
+import { $ as isFunctional, P as getAnalysisFor, Q as isBasicConcept, Z as isBaseSet } from "../diagnostics-D1Cp21nP.js";
 import { TYPE_BASIC } from "./rsmodel.js";
 import { inferEvalStatus, isInferrable, tryFixValue } from "./rsmodel-api.js";
 //#region src/library/rsengine.ts