@rsconcept/domain 3.1.0 → 3.1.1

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

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

package/dist/library/oss.js

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

package/dist/library/rsengine.js

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

package/dist/library/rsengine.js.map

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

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

@@ -1,2 +1,2 @@
-import { $ as isFunctional, A as normalizeExpression, B as buildSequentialAliasMapping, C as isSchemaIssue, D as inferStatus, E as applyFilterCategory, F as refineAnalysisForDependencyCycles, G as validateNewAlias, H as maxAliasIndex, I as addAliasReference, J as getCstTypePrefix, K as canHaveManualTypification, L as allocateImportAliases, M as importAttributions, N as remapAttributionsUnderSubstitution, O as inferTemplate, P as getAnalysisFor, Q as isBasicConcept, R as applyMappingToConstituents, S as calculateSchemaStats, T as restoreConstituentOrder, U as removeAliasReference, V as generateAlias, W as validateAliasFormat, X as inferClass, Y as guessCstType, Z as isBaseSet, _ as applyConstituentSubstitutions, b as getStructureName, c as insertItemAfter, d as inlineSynthesis, et as isLogical, f as sortItemsForInlineSynthesis, g as resolveConstituentTextChange, h as resolveAllConstituentTexts, j as filterAttributions, k as inferTemplatedType, l as moveIdsInOrder, m as buildTermReferenceGraph, nt as typeClassForCstType, p as buildDefinitionReferenceGraph, q as canProduceStructure, tt as isTemplateCst, u as reorderItemsByIds, v as remapSubstitutionsAfterImport, w as buildFormalDependencyGraph, x as inferNewSpawnPosition, y as findCstByStructure, z as argumentValuesToMapping } from "../../diagnostics-D1Cp21nP.js";
+import { $ as isFunctional, A as normalizeExpression, B as buildSequentialAliasMapping, C as isSchemaIssue, D as inferStatus, E as applyFilterCategory, F as refineAnalysisForDependencyCycles, G as validateNewAlias, H as maxAliasIndex, I as addAliasReference, J as getCstTypePrefix, K as canHaveManualTypification, L as allocateImportAliases, M as importAttributions, N as remapAttributionsUnderSubstitution, O as inferTemplate, P as getAnalysisFor, Q as isBasicConcept, R as applyMappingToConstituents, S as calculateSchemaStats, T as restoreConstituentOrder, U as removeAliasReference, V as generateAlias, W as validateAliasFormat, X as inferClass, Y as guessCstType, Z as isBaseSet, _ as applyConstituentSubstitutions, b as getStructureName, c as insertItemAfter, d as inlineSynthesis, et as isLogical, f as sortItemsForInlineSynthesis, g as resolveConstituentTextChange, h as resolveAllConstituentTexts, j as filterAttributions, k as inferTemplatedType, l as moveIdsInOrder, m as buildTermReferenceGraph, nt as typeClassForCstType, p as buildDefinitionReferenceGraph, q as canProduceStructure, tt as isTemplateCst, u as reorderItemsByIds, v as remapSubstitutionsAfterImport, w as buildFormalDependencyGraph, x as inferNewSpawnPosition, y as findCstByStructure, z as argumentValuesToMapping } from "../../diagnostics-D_4TpAH4.js";
 export { addAliasReference, allocateImportAliases, applyConstituentSubstitutions, applyFilterCategory, applyMappingToConstituents, argumentValuesToMapping, buildDefinitionReferenceGraph, buildFormalDependencyGraph, buildSequentialAliasMapping, buildTermReferenceGraph, calculateSchemaStats, canHaveManualTypification, canProduceStructure, filterAttributions, findCstByStructure, generateAlias, getAnalysisFor, getCstTypePrefix, getStructureName, guessCstType, importAttributions, inferClass, inferNewSpawnPosition, inferStatus, inferTemplate, inferTemplatedType, inlineSynthesis, insertItemAfter, isBaseSet, isBasicConcept, isFunctional, isLogical, isSchemaIssue, isTemplateCst, maxAliasIndex, moveIdsInOrder, normalizeExpression, refineAnalysisForDependencyCycles, remapAttributionsUnderSubstitution, remapSubstitutionsAfterImport, removeAliasReference, reorderItemsByIds, resolveAllConstituentTexts, resolveConstituentTextChange, restoreConstituentOrder, sortItemsForInlineSynthesis, typeClassForCstType, validateAliasFormat, validateNewAlias };

package/dist/library/rsmodel-api.js

@@ -1,8 +1,8 @@
 import { TypeID } from "../rslang/semantic/typification.js";
 import { CstType } from "./rsform.js";
-import { O as setNestedValue, _ as extractValue, b as isTupleValue, d as set, f as tuple, l as compare, x as makeDefaultValue } from "../value-COprb2Je.js";
+import { O as setNestedValue, _ as extractValue, b as isTupleValue, d as set, f as tuple, l as compare, x as makeDefaultValue } from "../value-BDISzQqI.js";
 import "../rslang/index.js";
-import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-D1Cp21nP.js";
+import { Q as isBasicConcept, S as calculateSchemaStats, Z as isBaseSet, s as modelStatusCstDiagnostic } from "../diagnostics-D_4TpAH4.js";
 import { EvalStatus } from "./rsmodel.js";
 //#region src/library/rsmodel-api.ts
 const RANDOM_INTEGER_MIN = -100;
@@ -181,11 +181,13 @@ function deleteValueElement(value, path, type, target) {
 	if (path.length === 0 && type.typeID !== TypeID.collection) return null;
 	const arrayValue = extractValue(value, path);
 	if (!Array.isArray(arrayValue)) return null;
-	return setNestedValue(value, path, [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)]);
+	const updatedArray = [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)];
+	return setNestedValue(value, path, updatedArray);
 }
 function addValueElement(value, path, type, currentType) {
 	if (path.length === 0 && type.typeID !== TypeID.collection) return makeDefaultValue(type);
-	return setNestedValue(value, path, [makeDefaultValue(currentType.base), ...extractValue(value, path) ?? []]);
+	const updatedArray = [makeDefaultValue(currentType.base), ...extractValue(value, path) ?? []];
+	return setNestedValue(value, path, updatedArray);
 }
 function canGenerateRandomValue(type, basics, cstByAlias) {
 	switch (type.typeID) {

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

@@ -1 +1 @@
-{"version":3,"file":"rsmodel-api.js","names":[],"sources":["../../src/library/rsmodel-api.ts"],"sourcesContent":["import { type ExpressionType, TypeID, type Typification, type Value } from '../rslang';\nimport { compare, set, tuple, TUPLE_ID, VALUE_TRUE, type ValuePath } from '../rslang/eval/value';\nimport { extractValue, isTupleValue, makeDefaultValue, setNestedValue } from '../rslang/eval/value-api';\nimport { type EchelonCollection } from '../rslang/semantic/typification';\n\nimport { modelStatusCstDiagnostic } from './diagnostics';\nimport { type RSEngine } from './rsengine';\nimport { CstType, type RSForm } from './rsform';\nimport { calculateSchemaStats, isBaseSet, isBasicConcept, type ModelEvalFields } from './rsform-api';\nimport { type BasicBinding, EvalStatus, type RSModelStats } from './rsmodel';\n\nconst RANDOM_INTEGER_MIN = -100;\nconst RANDOM_INTEGER_MAX = 100;\nconst DEFAULT_RANDOM_SET_ELEMENTS_COUNT = 5;\n\n/** Evaluate if parsed data is a basic binding data. */\nexport function validateBasicBindingData(data: unknown): data is Record<string, string> {\n  if (!data || typeof data !== 'object' || Array.isArray(data)) {\n    return false;\n  }\n  return Object.entries(data).every(([key, value]) => typeof value === 'string' && Number.isInteger(Number(key)));\n}\n\n/** Convert parsed data to a basic binding. */\nexport function toBasicBinding(data: Record<string | number, string>): BasicBinding {\n  const result: BasicBinding = {};\n  for (const [k, v] of Object.entries(data)) {\n    result[Number(k)] = v;\n  }\n  return result;\n}\n\n/** Evaluate if parsed data is a {@link Value} data. */\nexport function validateValueData(data: unknown): data is Value {\n  if (typeof data === 'number') {\n    return Number.isFinite(data);\n  }\n  if (!Array.isArray(data)) {\n    return false;\n  }\n  return data.every(item => validateValueData(item));\n}\n\nexport function generateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>,\n  setElementsCount: number = DEFAULT_RANDOM_SET_ELEMENTS_COUNT\n): Value | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return Math.floor(Math.random() * (RANDOM_INTEGER_MAX - RANDOM_INTEGER_MIN + 1)) + RANDOM_INTEGER_MIN;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      const ids = Object.keys(binding ?? {}).map(Number);\n      if (ids.length === 0) {\n        return null;\n      }\n      return ids[Math.floor(Math.random() * ids.length)];\n    }\n    case TypeID.tuple: {\n      const factors: Value[] = [];\n      for (const factor of type.factors) {\n        const sample = generateRandomValue(factor, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        factors.push(sample);\n      }\n      return tuple(factors);\n    }\n    case TypeID.collection: {\n      // Empty set is a valid sample only when the element domain itself is generatable.\n      // When the count happens to be 0 we would otherwise skip sampling and miss empty basics.\n      if (!canGenerateRandomValue(type.base, basics, cstByAlias)) {\n        return null;\n      }\n      const result: Value[] = [];\n      const randomElementsCount = Math.floor(Math.random() * (setElementsCount + 1));\n      for (let i = 0; i < randomElementsCount; i++) {\n        const sample = generateRandomValue(type.base, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        result.push(sample);\n      }\n      // Sets must be unique; sampling with replacement can produce duplicates.\n      return set(result);\n    }\n    case TypeID.anyTypification:\n      return null;\n  }\n}\n\n/** Calculate statistics for {@link RSModel}. */\nexport function calculateModelStats(schema: RSForm, engine: RSEngine, _engineGeneration?: number): RSModelStats {\n  const items = schema.items;\n  const statusByID = new Map<number, EvalStatus>();\n  for (const cst of items) {\n    statusByID.set(cst.id, engine.getCstStatus(cst.id));\n  }\n  return {\n    ...calculateSchemaStats(schema),\n    base_elements: items.reduce((sum, cst) => sum + countBaseElements(cst, engine), 0),\n    count_missing_base: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && isBasicConcept(cst.cst_type) ? 1 : 0),\n      0\n    ),\n    count_false_axioms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.AXIOM_FALSE ? 1 : 0),\n      0\n    ),\n    count_invalid_data: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.INVALID_DATA ? 1 : 0),\n      0\n    ),\n    count_invalid_calculations: items.reduce(\n      (sum, cst) =>\n        sum +\n        (statusByID.get(cst.id) === EvalStatus.EVAL_FAIL || statusByID.get(cst.id) === EvalStatus.NOT_PROCESSED\n          ? 1\n          : 0),\n      0\n    ),\n    count_empty_terms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && cst.cst_type === CstType.TERM ? 1 : 0),\n      0\n    )\n  };\n}\n\n/** Checks whether evaluation status contributes to model status issues. */\nexport function isModelIssue(engine: RSEngine, cst: ModelEvalFields): boolean {\n  return modelStatusCstDiagnostic(engine.getCstStatus(cst.id), cst.cst_type) !== null;\n}\n\n/** Filters items whose evaluation status contributes to model issues. */\nexport function getEvalIssueItems(items: readonly ModelEvalFields[], engine: RSEngine): ModelEvalFields[] {\n  return items.filter(cst => isModelIssue(engine, cst));\n}\n\n/** Evaluate if {@link CstType} is interpretable. */\nexport function isInterpretable(type: CstType): boolean {\n  switch (type) {\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.AXIOM:\n    case CstType.TERM:\n    case CstType.STATEMENT:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Evaluate if {@link CstType} is inferrable. */\nexport function isInferrable(type: CstType): boolean {\n  switch (type) {\n    case CstType.AXIOM:\n    case CstType.STATEMENT:\n    case CstType.TERM:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Infers status of a given {@link Value} and {@link CstType}. */\nexport function inferEvalStatus(\n  value: Value | null,\n  cstType: CstType,\n  wasCalculated: boolean = true,\n  isInvalid: boolean = false\n): EvalStatus {\n  if (isBaseSet(cstType) || cstType === CstType.STRUCTURED) {\n    if (isInvalid) {\n      return EvalStatus.INVALID_DATA;\n    }\n    if (value === null || (Array.isArray(value) && value.length === 0)) {\n      return EvalStatus.EMPTY;\n    }\n    return EvalStatus.HAS_DATA;\n  }\n  if (!isInferrable(cstType)) {\n    return EvalStatus.NO_EVAL;\n  }\n  if (!wasCalculated) {\n    return EvalStatus.NOT_PROCESSED;\n  }\n  if (value === null) {\n    return EvalStatus.EVAL_FAIL;\n  }\n  if (cstType === CstType.AXIOM && value !== VALUE_TRUE) {\n    return EvalStatus.AXIOM_FALSE;\n  }\n  if (Array.isArray(value) && value.length === 0) {\n    return EvalStatus.EMPTY;\n  }\n  return EvalStatus.HAS_DATA;\n}\n\n/** Tries to fix value removing invalid base elements not present in the target value.\n * returns null if no fixing is possible.\n * returns true if fixing was successful.\n * returns false if fixing was not needed.\n */\nexport function tryFixValue(\n  value: Value,\n  type: ExpressionType,\n  targetAlias: string,\n  targetValue: Value[]\n): boolean | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return false;\n    case TypeID.basic:\n      if (type.baseID !== targetAlias) {\n        return false;\n      }\n      if (typeof value !== 'number') {\n        return null;\n      }\n      if (!targetValue.includes(value)) {\n        return null;\n      }\n      return false;\n    case TypeID.tuple: {\n      if (!isTupleValue(value)) {\n        return null;\n      }\n      let wasChanged = false;\n      for (let i = 0; i < type.factors.length; i++) {\n        const componentChanged = tryFixValue(value[i + 1], type.factors[i], targetAlias, targetValue);\n        if (componentChanged === null) {\n          return null;\n        }\n        if (componentChanged) {\n          wasChanged = true;\n        }\n      }\n      return wasChanged;\n    }\n    case TypeID.collection:\n      if (!Array.isArray(value) || (value.length > 1 && value[0] === TUPLE_ID)) {\n        return null;\n      }\n      let wasChanged = false;\n      const removeElements: Value[] = [];\n      for (const item of value) {\n        const elementChanged = tryFixValue(item, type.base, targetAlias, targetValue);\n        if (elementChanged === null || elementChanged === true) {\n          wasChanged = true;\n          if (elementChanged === null) {\n            removeElements.push(item);\n          }\n        }\n      }\n      for (const item of removeElements) {\n        const index = value.indexOf(item);\n        if (index !== -1) {\n          value.splice(index, 1);\n        }\n      }\n      if (wasChanged) {\n        value.sort((a, b) => compare(a, b));\n        let i = 1;\n        while (i < value.length) {\n          if (compare(value[i], value[i - 1]) === 0) {\n            value.splice(i, 1);\n          } else {\n            i++;\n          }\n        }\n      }\n      return wasChanged;\n\n    case TypeID.logic:\n    case TypeID.anyTypification:\n    case TypeID.predicate:\n    case TypeID.function:\n      return null;\n  }\n}\n\nexport function updateValueElement(value: Value | null, path: ValuePath, newValue: number): Value | null {\n  return setNestedValue(value, path, newValue);\n}\n\nexport function deleteValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  target: number\n): Value | null {\n  if (value === null) {\n    return null;\n  }\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return null;\n  }\n\n  const arrayValue = extractValue(value, path);\n  if (!Array.isArray(arrayValue)) {\n    return null;\n  }\n  const updatedArray = [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)];\n  return setNestedValue(value, path, updatedArray);\n}\n\nexport function addValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  currentType: Typification\n): Value | null {\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return makeDefaultValue(type);\n  }\n\n  const newElem = makeDefaultValue((currentType as EchelonCollection).base);\n  const arrayValue = (extractValue(value!, path) as Value[] | null) ?? [];\n  const updatedArray = [newElem, ...arrayValue];\n  return setNestedValue(value, path, updatedArray);\n}\n\n// ========= Internal functions ==========\n\nfunction canGenerateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>\n): boolean {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return true;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      return Object.keys(binding ?? {}).length > 0;\n    }\n    case TypeID.tuple:\n      return type.factors.every(factor => canGenerateRandomValue(factor, basics, cstByAlias));\n    case TypeID.collection:\n      return canGenerateRandomValue(type.base, basics, cstByAlias);\n    case TypeID.anyTypification:\n      return false;\n  }\n}\n\nfunction countBaseElements(cst: ModelEvalFields, engine: RSEngine): number {\n  if (!isBasicConcept(cst.cst_type)) {\n    return 0;\n  }\n  const value = engine.getCstValue(cst.id);\n  if (value === null) {\n    return 0;\n  }\n  if (!Array.isArray(value) || value[0] === TUPLE_ID) {\n    return 1;\n  }\n  return value.length;\n}\n"],"mappings":";;;;;;;AAWA,MAAM,qBAAqB;AAE3B,MAAM,oCAAoC;;AAG1C,SAAgB,yBAAyB,MAA+C;CACtF,IAAI,CAAC,QAAQ,OAAO,SAAS,YAAY,MAAM,QAAQ,IAAI,GACzD,OAAO;CAET,OAAO,OAAO,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,WAAW,OAAO,UAAU,YAAY,OAAO,UAAU,OAAO,GAAG,CAAC,CAAC;AAChH;;AAGA,SAAgB,eAAe,MAAqD;CAClF,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,IAAI,GACtC,OAAO,OAAO,CAAC,KAAK;CAEtB,OAAO;AACT;;AAGA,SAAgB,kBAAkB,MAA8B;CAC9D,IAAI,OAAO,SAAS,UAClB,OAAO,OAAO,SAAS,IAAI;CAE7B,IAAI,CAAC,MAAM,QAAQ,IAAI,GACrB,OAAO;CAET,OAAO,KAAK,OAAM,SAAQ,kBAAkB,IAAI,CAAC;AACnD;AAEA,SAAgB,oBACd,MACA,QACA,YACA,mBAA2B,mCACb;CACd,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO,KAAK,MAAM,KAAK,OAAO,IAAK,GAA4C,IAAI;EACrF,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,MAAM,MAAM,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM;GACjD,IAAI,IAAI,WAAW,GACjB,OAAO;GAET,OAAO,IAAI,KAAK,MAAM,KAAK,OAAO,IAAI,IAAI,MAAM;EAClD;EACA,KAAK,OAAO,OAAO;GACjB,MAAM,UAAmB,CAAC;GAC1B,KAAK,MAAM,UAAU,KAAK,SAAS;IACjC,MAAM,SAAS,oBAAoB,QAAQ,QAAQ,YAAY,gBAAgB;IAC/E,IAAI,WAAW,MACb,OAAO;IAET,QAAQ,KAAK,MAAM;GACrB;GACA,OAAO,MAAM,OAAO;EACtB;EACA,KAAK,OAAO,YAAY;GAGtB,IAAI,CAAC,uBAAuB,KAAK,MAAM,QAAQ,UAAU,GACvD,OAAO;GAET,MAAM,SAAkB,CAAC;GACzB,MAAM,sBAAsB,KAAK,MAAM,KAAK,OAAO,KAAK,mBAAmB,EAAE;GAC7E,KAAK,IAAI,IAAI,GAAG,IAAI,qBAAqB,KAAK;IAC5C,MAAM,SAAS,oBAAoB,KAAK,MAAM,QAAQ,YAAY,gBAAgB;IAClF,IAAI,WAAW,MACb,OAAO;IAET,OAAO,KAAK,MAAM;GACpB;GAEA,OAAO,IAAI,MAAM;EACnB;EACA,KAAK,OAAO,iBACV,OAAO;CACX;AACF;;AAGA,SAAgB,oBAAoB,QAAgB,QAAkB,mBAA0C;CAC9G,MAAM,QAAQ,OAAO;CACrB,MAAM,6BAAa,IAAI,IAAwB;CAC/C,KAAK,MAAM,OAAO,OAChB,WAAW,IAAI,IAAI,IAAI,OAAO,aAAa,IAAI,EAAE,CAAC;CAEpD,OAAO;EACL,GAAG,qBAAqB,MAAM;EAC9B,eAAe,MAAM,QAAQ,KAAK,QAAQ,MAAM,kBAAkB,KAAK,MAAM,GAAG,CAAC;EACjF,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,eAAe,IAAI,QAAQ,IAAI,IAAI,IACvG,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,cAAc,IAAI,IAC7E,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,eAAe,IAAI,IAC9E,CACF;EACA,4BAA4B,MAAM,QAC/B,KAAK,QACJ,OACC,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,aAAa,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,gBACtF,IACA,IACN,CACF;EACA,mBAAmB,MAAM,QACtB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,IAAI,aAAa,QAAQ,OAAO,IAAI,IACxG,CACF;CACF;AACF;;AAGA,SAAgB,aAAa,QAAkB,KAA+B;CAC5E,OAAO,yBAAyB,OAAO,aAAa,IAAI,EAAE,GAAG,IAAI,QAAQ,MAAM;AACjF;;AAGA,SAAgB,kBAAkB,OAAmC,QAAqC;CACxG,OAAO,MAAM,QAAO,QAAO,aAAa,QAAQ,GAAG,CAAC;AACtD;;AAGA,SAAgB,gBAAgB,MAAwB;CACtD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,aAAa,MAAwB;CACnD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,MACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,gBACd,OACA,SACA,gBAAyB,MACzB,YAAqB,OACT;CACZ,IAAI,UAAU,OAAO,KAAK,YAAY,QAAQ,YAAY;EACxD,IAAI,WACF,OAAO,WAAW;EAEpB,IAAI,UAAU,QAAS,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC9D,OAAO,WAAW;EAEpB,OAAO,WAAW;CACpB;CACA,IAAI,CAAC,aAAa,OAAO,GACvB,OAAO,WAAW;CAEpB,IAAI,CAAC,eACH,OAAO,WAAW;CAEpB,IAAI,UAAU,MACZ,OAAO,WAAW;CAEpB,IAAI,YAAY,QAAQ,SAAS,UAAA,GAC/B,OAAO,WAAW;CAEpB,IAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC3C,OAAO,WAAW;CAEpB,OAAO,WAAW;AACpB;;;;;;AAOA,SAAgB,YACd,OACA,MACA,aACA,aACgB;CAChB,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO;GACV,IAAI,KAAK,WAAW,aAClB,OAAO;GAET,IAAI,OAAO,UAAU,UACnB,OAAO;GAET,IAAI,CAAC,YAAY,SAAS,KAAK,GAC7B,OAAO;GAET,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,IAAI,CAAC,aAAa,KAAK,GACrB,OAAO;GAET,IAAI,aAAa;GACjB,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,QAAQ,QAAQ,KAAK;IAC5C,MAAM,mBAAmB,YAAY,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,aAAa,WAAW;IAC5F,IAAI,qBAAqB,MACvB,OAAO;IAET,IAAI,kBACF,aAAa;GAEjB;GACA,OAAO;EACT;EACA,KAAK,OAAO;GACV,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAM,MAAM,SAAS,KAAK,MAAM,OAAA,MACtD,OAAO;GAET,IAAI,aAAa;GACjB,MAAM,iBAA0B,CAAC;GACjC,KAAK,MAAM,QAAQ,OAAO;IACxB,MAAM,iBAAiB,YAAY,MAAM,KAAK,MAAM,aAAa,WAAW;IAC5E,IAAI,mBAAmB,QAAQ,mBAAmB,MAAM;KACtD,aAAa;KACb,IAAI,mBAAmB,MACrB,eAAe,KAAK,IAAI;IAE5B;GACF;GACA,KAAK,MAAM,QAAQ,gBAAgB;IACjC,MAAM,QAAQ,MAAM,QAAQ,IAAI;IAChC,IAAI,UAAU,IACZ,MAAM,OAAO,OAAO,CAAC;GAEzB;GACA,IAAI,YAAY;IACd,MAAM,MAAM,GAAG,MAAM,QAAQ,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI;IACR,OAAO,IAAI,MAAM,QACf,IAAI,QAAQ,MAAM,IAAI,MAAM,IAAI,EAAE,MAAM,GACtC,MAAM,OAAO,GAAG,CAAC;SAEjB;GAGN;GACA,OAAO;EAET,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO,UACV,OAAO;CACX;AACF;AAEA,SAAgB,mBAAmB,OAAqB,MAAiB,UAAgC;CACvG,OAAO,eAAe,OAAO,MAAM,QAAQ;AAC7C;AAEA,SAAgB,mBACd,OACA,MACA,MACA,QACc;CACd,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO;CAGT,MAAM,aAAa,aAAa,OAAO,IAAI;CAC3C,IAAI,CAAC,MAAM,QAAQ,UAAU,GAC3B,OAAO;CAGT,OAAO,eAAe,OAAO,MAAM,CADb,GAAG,WAAW,MAAM,GAAG,MAAM,GAAG,GAAG,WAAW,MAAM,SAAS,CAAC,CACjD,CAAY;AACjD;AAEA,SAAgB,gBACd,OACA,MACA,MACA,aACc;CACd,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO,iBAAiB,IAAI;CAM9B,OAAO,eAAe,OAAO,MAAM,CAHnB,iBAAkB,YAAkC,IAE9C,GAAS,GADX,aAAa,OAAQ,IAAI,KAAwB,CAAC,CAEnC,CAAY;AACjD;AAIA,SAAS,uBACP,MACA,QACA,YACS;CACT,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,OAAO,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;EAC7C;EACA,KAAK,OAAO,OACV,OAAO,KAAK,QAAQ,OAAM,WAAU,uBAAuB,QAAQ,QAAQ,UAAU,CAAC;EACxF,KAAK,OAAO,YACV,OAAO,uBAAuB,KAAK,MAAM,QAAQ,UAAU;EAC7D,KAAK,OAAO,iBACV,OAAO;CACX;AACF;AAEA,SAAS,kBAAkB,KAAsB,QAA0B;CACzE,IAAI,CAAC,eAAe,IAAI,QAAQ,GAC9B,OAAO;CAET,MAAM,QAAQ,OAAO,YAAY,IAAI,EAAE;CACvC,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,MAAM,OAAA,MACjC,OAAO;CAET,OAAO,MAAM;AACf"}
+{"version":3,"file":"rsmodel-api.js","names":[],"sources":["../../src/library/rsmodel-api.ts"],"sourcesContent":["import { type ExpressionType, TypeID, type Typification, type Value } from '../rslang';\nimport { compare, set, tuple, TUPLE_ID, VALUE_TRUE, type ValuePath } from '../rslang/eval/value';\nimport { extractValue, isTupleValue, makeDefaultValue, setNestedValue } from '../rslang/eval/value-api';\nimport { type EchelonCollection } from '../rslang/semantic/typification';\n\nimport { modelStatusCstDiagnostic } from './diagnostics';\nimport { type RSEngine } from './rsengine';\nimport { CstType, type RSForm } from './rsform';\nimport { calculateSchemaStats, isBaseSet, isBasicConcept, type ModelEvalFields } from './rsform-api';\nimport { type BasicBinding, EvalStatus, type RSModelStats } from './rsmodel';\n\nconst RANDOM_INTEGER_MIN = -100;\nconst RANDOM_INTEGER_MAX = 100;\nconst DEFAULT_RANDOM_SET_ELEMENTS_COUNT = 5;\n\n/** Evaluate if parsed data is a basic binding data. */\nexport function validateBasicBindingData(data: unknown): data is Record<string, string> {\n  if (!data || typeof data !== 'object' || Array.isArray(data)) {\n    return false;\n  }\n  return Object.entries(data).every(([key, value]) => typeof value === 'string' && Number.isInteger(Number(key)));\n}\n\n/** Convert parsed data to a basic binding. */\nexport function toBasicBinding(data: Record<string | number, string>): BasicBinding {\n  const result: BasicBinding = {};\n  for (const [k, v] of Object.entries(data)) {\n    result[Number(k)] = v;\n  }\n  return result;\n}\n\n/** Evaluate if parsed data is a {@link Value} data. */\nexport function validateValueData(data: unknown): data is Value {\n  if (typeof data === 'number') {\n    return Number.isFinite(data);\n  }\n  if (!Array.isArray(data)) {\n    return false;\n  }\n  return data.every(item => validateValueData(item));\n}\n\nexport function generateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>,\n  setElementsCount: number = DEFAULT_RANDOM_SET_ELEMENTS_COUNT\n): Value | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return Math.floor(Math.random() * (RANDOM_INTEGER_MAX - RANDOM_INTEGER_MIN + 1)) + RANDOM_INTEGER_MIN;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      const ids = Object.keys(binding ?? {}).map(Number);\n      if (ids.length === 0) {\n        return null;\n      }\n      return ids[Math.floor(Math.random() * ids.length)];\n    }\n    case TypeID.tuple: {\n      const factors: Value[] = [];\n      for (const factor of type.factors) {\n        const sample = generateRandomValue(factor, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        factors.push(sample);\n      }\n      return tuple(factors);\n    }\n    case TypeID.collection: {\n      // Empty set is a valid sample only when the element domain itself is generatable.\n      // When the count happens to be 0 we would otherwise skip sampling and miss empty basics.\n      if (!canGenerateRandomValue(type.base, basics, cstByAlias)) {\n        return null;\n      }\n      const result: Value[] = [];\n      const randomElementsCount = Math.floor(Math.random() * (setElementsCount + 1));\n      for (let i = 0; i < randomElementsCount; i++) {\n        const sample = generateRandomValue(type.base, basics, cstByAlias, setElementsCount);\n        if (sample === null) {\n          return null;\n        }\n        result.push(sample);\n      }\n      // Sets must be unique; sampling with replacement can produce duplicates.\n      return set(result);\n    }\n    case TypeID.anyTypification:\n      return null;\n  }\n}\n\n/** Calculate statistics for {@link RSModel}. */\nexport function calculateModelStats(schema: RSForm, engine: RSEngine, _engineGeneration?: number): RSModelStats {\n  const items = schema.items;\n  const statusByID = new Map<number, EvalStatus>();\n  for (const cst of items) {\n    statusByID.set(cst.id, engine.getCstStatus(cst.id));\n  }\n  return {\n    ...calculateSchemaStats(schema),\n    base_elements: items.reduce((sum, cst) => sum + countBaseElements(cst, engine), 0),\n    count_missing_base: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && isBasicConcept(cst.cst_type) ? 1 : 0),\n      0\n    ),\n    count_false_axioms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.AXIOM_FALSE ? 1 : 0),\n      0\n    ),\n    count_invalid_data: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.INVALID_DATA ? 1 : 0),\n      0\n    ),\n    count_invalid_calculations: items.reduce(\n      (sum, cst) =>\n        sum +\n        (statusByID.get(cst.id) === EvalStatus.EVAL_FAIL || statusByID.get(cst.id) === EvalStatus.NOT_PROCESSED\n          ? 1\n          : 0),\n      0\n    ),\n    count_empty_terms: items.reduce(\n      (sum, cst) => sum + (statusByID.get(cst.id) === EvalStatus.EMPTY && cst.cst_type === CstType.TERM ? 1 : 0),\n      0\n    )\n  };\n}\n\n/** Checks whether evaluation status contributes to model status issues. */\nexport function isModelIssue(engine: RSEngine, cst: ModelEvalFields): boolean {\n  return modelStatusCstDiagnostic(engine.getCstStatus(cst.id), cst.cst_type) !== null;\n}\n\n/** Filters items whose evaluation status contributes to model issues. */\nexport function getEvalIssueItems(items: readonly ModelEvalFields[], engine: RSEngine): ModelEvalFields[] {\n  return items.filter(cst => isModelIssue(engine, cst));\n}\n\n/** Evaluate if {@link CstType} is interpretable. */\nexport function isInterpretable(type: CstType): boolean {\n  switch (type) {\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.AXIOM:\n    case CstType.TERM:\n    case CstType.STATEMENT:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Evaluate if {@link CstType} is inferrable. */\nexport function isInferrable(type: CstType): boolean {\n  switch (type) {\n    case CstType.AXIOM:\n    case CstType.STATEMENT:\n    case CstType.TERM:\n      return true;\n\n    case CstType.NOMINAL:\n    case CstType.BASE:\n    case CstType.CONSTANT:\n    case CstType.STRUCTURED:\n    case CstType.FUNCTION:\n    case CstType.PREDICATE:\n      return false;\n  }\n}\n\n/** Infers status of a given {@link Value} and {@link CstType}. */\nexport function inferEvalStatus(\n  value: Value | null,\n  cstType: CstType,\n  wasCalculated: boolean = true,\n  isInvalid: boolean = false\n): EvalStatus {\n  if (isBaseSet(cstType) || cstType === CstType.STRUCTURED) {\n    if (isInvalid) {\n      return EvalStatus.INVALID_DATA;\n    }\n    if (value === null || (Array.isArray(value) && value.length === 0)) {\n      return EvalStatus.EMPTY;\n    }\n    return EvalStatus.HAS_DATA;\n  }\n  if (!isInferrable(cstType)) {\n    return EvalStatus.NO_EVAL;\n  }\n  if (!wasCalculated) {\n    return EvalStatus.NOT_PROCESSED;\n  }\n  if (value === null) {\n    return EvalStatus.EVAL_FAIL;\n  }\n  if (cstType === CstType.AXIOM && value !== VALUE_TRUE) {\n    return EvalStatus.AXIOM_FALSE;\n  }\n  if (Array.isArray(value) && value.length === 0) {\n    return EvalStatus.EMPTY;\n  }\n  return EvalStatus.HAS_DATA;\n}\n\n/** Tries to fix value removing invalid base elements not present in the target value.\n * returns null if no fixing is possible.\n * returns true if fixing was successful.\n * returns false if fixing was not needed.\n */\nexport function tryFixValue(\n  value: Value,\n  type: ExpressionType,\n  targetAlias: string,\n  targetValue: Value[]\n): boolean | null {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return false;\n    case TypeID.basic:\n      if (type.baseID !== targetAlias) {\n        return false;\n      }\n      if (typeof value !== 'number') {\n        return null;\n      }\n      if (!targetValue.includes(value)) {\n        return null;\n      }\n      return false;\n    case TypeID.tuple: {\n      if (!isTupleValue(value)) {\n        return null;\n      }\n      let wasChanged = false;\n      for (let i = 0; i < type.factors.length; i++) {\n        const componentChanged = tryFixValue(value[i + 1], type.factors[i], targetAlias, targetValue);\n        if (componentChanged === null) {\n          return null;\n        }\n        if (componentChanged) {\n          wasChanged = true;\n        }\n      }\n      return wasChanged;\n    }\n    case TypeID.collection:\n      if (!Array.isArray(value) || (value.length > 1 && value[0] === TUPLE_ID)) {\n        return null;\n      }\n      let wasChanged = false;\n      const removeElements: Value[] = [];\n      for (const item of value) {\n        const elementChanged = tryFixValue(item, type.base, targetAlias, targetValue);\n        if (elementChanged === null || elementChanged === true) {\n          wasChanged = true;\n          if (elementChanged === null) {\n            removeElements.push(item);\n          }\n        }\n      }\n      for (const item of removeElements) {\n        const index = value.indexOf(item);\n        if (index !== -1) {\n          value.splice(index, 1);\n        }\n      }\n      if (wasChanged) {\n        value.sort((a, b) => compare(a, b));\n        let i = 1;\n        while (i < value.length) {\n          if (compare(value[i], value[i - 1]) === 0) {\n            value.splice(i, 1);\n          } else {\n            i++;\n          }\n        }\n      }\n      return wasChanged;\n\n    case TypeID.logic:\n    case TypeID.anyTypification:\n    case TypeID.predicate:\n    case TypeID.function:\n      return null;\n  }\n}\n\nexport function updateValueElement(value: Value | null, path: ValuePath, newValue: number): Value | null {\n  return setNestedValue(value, path, newValue);\n}\n\nexport function deleteValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  target: number\n): Value | null {\n  if (value === null) {\n    return null;\n  }\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return null;\n  }\n\n  const arrayValue = extractValue(value, path);\n  if (!Array.isArray(arrayValue)) {\n    return null;\n  }\n  const updatedArray = [...arrayValue.slice(0, target), ...arrayValue.slice(target + 1)];\n  return setNestedValue(value, path, updatedArray);\n}\n\nexport function addValueElement(\n  value: Value | null,\n  path: ValuePath,\n  type: Typification,\n  currentType: Typification\n): Value | null {\n  if (path.length === 0 && type.typeID !== TypeID.collection) {\n    return makeDefaultValue(type);\n  }\n\n  const newElem = makeDefaultValue((currentType as EchelonCollection).base);\n  const arrayValue = (extractValue(value!, path) as Value[] | null) ?? [];\n  const updatedArray = [newElem, ...arrayValue];\n  return setNestedValue(value, path, updatedArray);\n}\n\n// ========= Internal functions ==========\n\nfunction canGenerateRandomValue(\n  type: Typification,\n  basics: Map<number, BasicBinding>,\n  cstByAlias: Map<string, { id: number }>\n): boolean {\n  switch (type.typeID) {\n    case TypeID.integer:\n      return true;\n    case TypeID.basic: {\n      const cst = cstByAlias.get(type.baseID);\n      const binding = cst ? basics.get(cst.id) : undefined;\n      return Object.keys(binding ?? {}).length > 0;\n    }\n    case TypeID.tuple:\n      return type.factors.every(factor => canGenerateRandomValue(factor, basics, cstByAlias));\n    case TypeID.collection:\n      return canGenerateRandomValue(type.base, basics, cstByAlias);\n    case TypeID.anyTypification:\n      return false;\n  }\n}\n\nfunction countBaseElements(cst: ModelEvalFields, engine: RSEngine): number {\n  if (!isBasicConcept(cst.cst_type)) {\n    return 0;\n  }\n  const value = engine.getCstValue(cst.id);\n  if (value === null) {\n    return 0;\n  }\n  if (!Array.isArray(value) || value[0] === TUPLE_ID) {\n    return 1;\n  }\n  return value.length;\n}\n"],"mappings":";;;;;;;AAWA,MAAM,qBAAqB;AAE3B,MAAM,oCAAoC;;AAG1C,SAAgB,yBAAyB,MAA+C;CACtF,IAAI,CAAC,QAAQ,OAAO,SAAS,YAAY,MAAM,QAAQ,IAAI,GACzD,OAAO;CAET,OAAO,OAAO,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,WAAW,OAAO,UAAU,YAAY,OAAO,UAAU,OAAO,GAAG,CAAC,CAAC;AAChH;;AAGA,SAAgB,eAAe,MAAqD;CAClF,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,IAAI,GACtC,OAAO,OAAO,CAAC,KAAK;CAEtB,OAAO;AACT;;AAGA,SAAgB,kBAAkB,MAA8B;CAC9D,IAAI,OAAO,SAAS,UAClB,OAAO,OAAO,SAAS,IAAI;CAE7B,IAAI,CAAC,MAAM,QAAQ,IAAI,GACrB,OAAO;CAET,OAAO,KAAK,OAAM,SAAQ,kBAAkB,IAAI,CAAC;AACnD;AAEA,SAAgB,oBACd,MACA,QACA,YACA,mBAA2B,mCACb;CACd,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO,KAAK,MAAM,KAAK,OAAO,IAAK,GAA4C,IAAI;EACrF,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,MAAM,MAAM,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM;GACjD,IAAI,IAAI,WAAW,GACjB,OAAO;GAET,OAAO,IAAI,KAAK,MAAM,KAAK,OAAO,IAAI,IAAI,MAAM;EAClD;EACA,KAAK,OAAO,OAAO;GACjB,MAAM,UAAmB,CAAC;GAC1B,KAAK,MAAM,UAAU,KAAK,SAAS;IACjC,MAAM,SAAS,oBAAoB,QAAQ,QAAQ,YAAY,gBAAgB;IAC/E,IAAI,WAAW,MACb,OAAO;IAET,QAAQ,KAAK,MAAM;GACrB;GACA,OAAO,MAAM,OAAO;EACtB;EACA,KAAK,OAAO,YAAY;GAGtB,IAAI,CAAC,uBAAuB,KAAK,MAAM,QAAQ,UAAU,GACvD,OAAO;GAET,MAAM,SAAkB,CAAC;GACzB,MAAM,sBAAsB,KAAK,MAAM,KAAK,OAAO,KAAK,mBAAmB,EAAE;GAC7E,KAAK,IAAI,IAAI,GAAG,IAAI,qBAAqB,KAAK;IAC5C,MAAM,SAAS,oBAAoB,KAAK,MAAM,QAAQ,YAAY,gBAAgB;IAClF,IAAI,WAAW,MACb,OAAO;IAET,OAAO,KAAK,MAAM;GACpB;GAEA,OAAO,IAAI,MAAM;EACnB;EACA,KAAK,OAAO,iBACV,OAAO;CACX;AACF;;AAGA,SAAgB,oBAAoB,QAAgB,QAAkB,mBAA0C;CAC9G,MAAM,QAAQ,OAAO;CACrB,MAAM,6BAAa,IAAI,IAAwB;CAC/C,KAAK,MAAM,OAAO,OAChB,WAAW,IAAI,IAAI,IAAI,OAAO,aAAa,IAAI,EAAE,CAAC;CAEpD,OAAO;EACL,GAAG,qBAAqB,MAAM;EAC9B,eAAe,MAAM,QAAQ,KAAK,QAAQ,MAAM,kBAAkB,KAAK,MAAM,GAAG,CAAC;EACjF,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,eAAe,IAAI,QAAQ,IAAI,IAAI,IACvG,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,cAAc,IAAI,IAC7E,CACF;EACA,oBAAoB,MAAM,QACvB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,eAAe,IAAI,IAC9E,CACF;EACA,4BAA4B,MAAM,QAC/B,KAAK,QACJ,OACC,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,aAAa,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,gBACtF,IACA,IACN,CACF;EACA,mBAAmB,MAAM,QACtB,KAAK,QAAQ,OAAO,WAAW,IAAI,IAAI,EAAE,MAAM,WAAW,SAAS,IAAI,aAAa,QAAQ,OAAO,IAAI,IACxG,CACF;CACF;AACF;;AAGA,SAAgB,aAAa,QAAkB,KAA+B;CAC5E,OAAO,yBAAyB,OAAO,aAAa,IAAI,EAAE,GAAG,IAAI,QAAQ,MAAM;AACjF;;AAGA,SAAgB,kBAAkB,OAAmC,QAAqC;CACxG,OAAO,MAAM,QAAO,QAAO,aAAa,QAAQ,GAAG,CAAC;AACtD;;AAGA,SAAgB,gBAAgB,MAAwB;CACtD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,aAAa,MAAwB;CACnD,QAAQ,MAAR;EACE,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,MACX,OAAO;EAET,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ;EACb,KAAK,QAAQ,WACX,OAAO;CACX;AACF;;AAGA,SAAgB,gBACd,OACA,SACA,gBAAyB,MACzB,YAAqB,OACT;CACZ,IAAI,UAAU,OAAO,KAAK,YAAY,QAAQ,YAAY;EACxD,IAAI,WACF,OAAO,WAAW;EAEpB,IAAI,UAAU,QAAS,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC9D,OAAO,WAAW;EAEpB,OAAO,WAAW;CACpB;CACA,IAAI,CAAC,aAAa,OAAO,GACvB,OAAO,WAAW;CAEpB,IAAI,CAAC,eACH,OAAO,WAAW;CAEpB,IAAI,UAAU,MACZ,OAAO,WAAW;CAEpB,IAAI,YAAY,QAAQ,SAAS,UAAA,GAC/B,OAAO,WAAW;CAEpB,IAAI,MAAM,QAAQ,KAAK,KAAK,MAAM,WAAW,GAC3C,OAAO,WAAW;CAEpB,OAAO,WAAW;AACpB;;;;;;AAOA,SAAgB,YACd,OACA,MACA,aACA,aACgB;CAChB,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO;GACV,IAAI,KAAK,WAAW,aAClB,OAAO;GAET,IAAI,OAAO,UAAU,UACnB,OAAO;GAET,IAAI,CAAC,YAAY,SAAS,KAAK,GAC7B,OAAO;GAET,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,IAAI,CAAC,aAAa,KAAK,GACrB,OAAO;GAET,IAAI,aAAa;GACjB,KAAK,IAAI,IAAI,GAAG,IAAI,KAAK,QAAQ,QAAQ,KAAK;IAC5C,MAAM,mBAAmB,YAAY,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,aAAa,WAAW;IAC5F,IAAI,qBAAqB,MACvB,OAAO;IAET,IAAI,kBACF,aAAa;GAEjB;GACA,OAAO;EACT;EACA,KAAK,OAAO;GACV,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAM,MAAM,SAAS,KAAK,MAAM,OAAA,MACtD,OAAO;GAET,IAAI,aAAa;GACjB,MAAM,iBAA0B,CAAC;GACjC,KAAK,MAAM,QAAQ,OAAO;IACxB,MAAM,iBAAiB,YAAY,MAAM,KAAK,MAAM,aAAa,WAAW;IAC5E,IAAI,mBAAmB,QAAQ,mBAAmB,MAAM;KACtD,aAAa;KACb,IAAI,mBAAmB,MACrB,eAAe,KAAK,IAAI;IAE5B;GACF;GACA,KAAK,MAAM,QAAQ,gBAAgB;IACjC,MAAM,QAAQ,MAAM,QAAQ,IAAI;IAChC,IAAI,UAAU,IACZ,MAAM,OAAO,OAAO,CAAC;GAEzB;GACA,IAAI,YAAY;IACd,MAAM,MAAM,GAAG,MAAM,QAAQ,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI;IACR,OAAO,IAAI,MAAM,QACf,IAAI,QAAQ,MAAM,IAAI,MAAM,IAAI,EAAE,MAAM,GACtC,MAAM,OAAO,GAAG,CAAC;SAEjB;GAGN;GACA,OAAO;EAET,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO;EACZ,KAAK,OAAO,UACV,OAAO;CACX;AACF;AAEA,SAAgB,mBAAmB,OAAqB,MAAiB,UAAgC;CACvG,OAAO,eAAe,OAAO,MAAM,QAAQ;AAC7C;AAEA,SAAgB,mBACd,OACA,MACA,MACA,QACc;CACd,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO;CAGT,MAAM,aAAa,aAAa,OAAO,IAAI;CAC3C,IAAI,CAAC,MAAM,QAAQ,UAAU,GAC3B,OAAO;CAET,MAAM,eAAe,CAAC,GAAG,WAAW,MAAM,GAAG,MAAM,GAAG,GAAG,WAAW,MAAM,SAAS,CAAC,CAAC;CACrF,OAAO,eAAe,OAAO,MAAM,YAAY;AACjD;AAEA,SAAgB,gBACd,OACA,MACA,MACA,aACc;CACd,IAAI,KAAK,WAAW,KAAK,KAAK,WAAW,OAAO,YAC9C,OAAO,iBAAiB,IAAI;CAK9B,MAAM,eAAe,CAFL,iBAAkB,YAAkC,IAE9C,GAAS,GADX,aAAa,OAAQ,IAAI,KAAwB,CAAC,CAC1B;CAC5C,OAAO,eAAe,OAAO,MAAM,YAAY;AACjD;AAIA,SAAS,uBACP,MACA,QACA,YACS;CACT,QAAQ,KAAK,QAAb;EACE,KAAK,OAAO,SACV,OAAO;EACT,KAAK,OAAO,OAAO;GACjB,MAAM,MAAM,WAAW,IAAI,KAAK,MAAM;GACtC,MAAM,UAAU,MAAM,OAAO,IAAI,IAAI,EAAE,IAAI;GAC3C,OAAO,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;EAC7C;EACA,KAAK,OAAO,OACV,OAAO,KAAK,QAAQ,OAAM,WAAU,uBAAuB,QAAQ,QAAQ,UAAU,CAAC;EACxF,KAAK,OAAO,YACV,OAAO,uBAAuB,KAAK,MAAM,QAAQ,UAAU;EAC7D,KAAK,OAAO,iBACV,OAAO;CACX;AACF;AAEA,SAAS,kBAAkB,KAAsB,QAA0B;CACzE,IAAI,CAAC,eAAe,IAAI,QAAQ,GAC9B,OAAO;CAET,MAAM,QAAQ,OAAO,YAAY,IAAI,EAAE;CACvC,IAAI,UAAU,MACZ,OAAO;CAET,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,MAAM,OAAA,MACjC,OAAO;CAET,OAAO,MAAM;AACf"}

package/dist/library/structure-planner.js

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

package/dist/parsing/lezer-tree.js.map

@@ -1 +1 @@
-{"version":3,"file":"lezer-tree.js","names":[],"sources":["../../src/parsing/lezer-tree.ts"],"sourcesContent":["import { type NodeType, type Tree, type TreeCursor } from '@lezer/common';\nexport { type TreeCursor } from '@lezer/common';\n\n/** Represents syntax tree node data. */\nexport interface CMSyntaxNode {\n  type: NodeType;\n  from: number;\n  to: number;\n}\n\n/** Prints tree to compact string. */\nexport function printTree(tree: Tree): string {\n  const state = {\n    output: '',\n    prefixes: [] as string[]\n  };\n  traverseTree(tree, {\n    onEnter: node => {\n      state.output += '[';\n      state.output += node.type.name;\n    },\n    onLeave: () => {\n      state.output += ']';\n    }\n  });\n  return state.output;\n}\n\n// ======== Internals ========\n\ninterface CursorNode extends CMSyntaxNode {\n  isLeaf: boolean;\n}\n\nfunction cursorNode({ type, from, to }: TreeCursor, isLeaf = false): CursorNode {\n  return { type, from, to, isLeaf };\n}\n\ninterface TreeTraversalOptions {\n  beforeEnter?: (cursor: TreeCursor) => void;\n  onEnter: (node: CursorNode) => false | void;\n  onLeave?: (node: CursorNode) => false | void;\n}\n\n/** Implements depth-first traversal. */\nfunction traverseTree(tree: Tree, { beforeEnter, onEnter, onLeave }: TreeTraversalOptions) {\n  const cursor = tree.cursor();\n  for (;;) {\n    let node = cursorNode(cursor);\n    let leave = false;\n    const enter = !node.type.isAnonymous;\n    if (enter && beforeEnter) beforeEnter(cursor);\n    node.isLeaf = !cursor.firstChild();\n    if (enter) {\n      leave = true;\n      if (onEnter(node) === false) return;\n    }\n    if (!node.isLeaf) continue;\n    for (;;) {\n      node = cursorNode(cursor, node.isLeaf);\n      if (leave && onLeave) if (onLeave(node) === false) return;\n      leave = cursor.type.isAnonymous;\n      node.isLeaf = false;\n      if (cursor.nextSibling()) break;\n      if (!cursor.parent()) return;\n      leave = true;\n    }\n  }\n}\n"],"mappings":";;AAWA,SAAgB,UAAU,MAAoB;CAC5C,MAAM,QAAQ;EACZ,QAAQ;EACR,UAAU,CAAC;CACb;CACA,aAAa,MAAM;EACjB,UAAS,SAAQ;GACf,MAAM,UAAU;GAChB,MAAM,UAAU,KAAK,KAAK;EAC5B;EACA,eAAe;GACb,MAAM,UAAU;EAClB;CACF,CAAC;CACD,OAAO,MAAM;AACf;AAQA,SAAS,WAAW,EAAE,MAAM,MAAM,MAAkB,SAAS,OAAmB;CAC9E,OAAO;EAAE;EAAM;EAAM;EAAI;CAAO;AAClC;;AASA,SAAS,aAAa,MAAY,EAAE,aAAa,SAAS,WAAiC;CACzF,MAAM,SAAS,KAAK,OAAO;CAC3B,SAAS;EACP,IAAI,OAAO,WAAW,MAAM;EAC5B,IAAI,QAAQ;EACZ,MAAM,QAAQ,CAAC,KAAK,KAAK;EACzB,IAAI,SAAS,aAAa,YAAY,MAAM;EAC5C,KAAK,SAAS,CAAC,OAAO,WAAW;EACjC,IAAI,OAAO;GACT,QAAQ;GACR,IAAI,QAAQ,IAAI,MAAM,OAAO;EAC/B;EACA,IAAI,CAAC,KAAK,QAAQ;EAClB,SAAS;GACP,OAAO,WAAW,QAAQ,KAAK,MAAM;GACrC,IAAI,SAAS;QAAa,QAAQ,IAAI,MAAM,OAAO;GAAA;GACnD,QAAQ,OAAO,KAAK;GACpB,KAAK,SAAS;GACd,IAAI,OAAO,YAAY,GAAG;GAC1B,IAAI,CAAC,OAAO,OAAO,GAAG;GACtB,QAAQ;EACV;CACF;AACF"}
+{"version":3,"file":"lezer-tree.js","names":[],"sources":["../../src/parsing/lezer-tree.ts"],"sourcesContent":["import { type NodeType, type Tree, type TreeCursor } from '@lezer/common';\nexport { type TreeCursor } from '@lezer/common';\n\n/** Represents syntax tree node data. */\nexport interface CMSyntaxNode {\n  type: NodeType;\n  from: number;\n  to: number;\n}\n\n/** Prints tree to compact string. */\nexport function printTree(tree: Tree): string {\n  const state = {\n    output: '',\n    prefixes: [] as string[]\n  };\n  traverseTree(tree, {\n    onEnter: node => {\n      state.output += '[';\n      state.output += node.type.name;\n    },\n    onLeave: () => {\n      state.output += ']';\n    }\n  });\n  return state.output;\n}\n\n// ======== Internals ========\n\ninterface CursorNode extends CMSyntaxNode {\n  isLeaf: boolean;\n}\n\nfunction cursorNode({ type, from, to }: TreeCursor, isLeaf = false): CursorNode {\n  return { type, from, to, isLeaf };\n}\n\ninterface TreeTraversalOptions {\n  beforeEnter?: (cursor: TreeCursor) => void;\n  onEnter: (node: CursorNode) => false | void;\n  onLeave?: (node: CursorNode) => false | void;\n}\n\n/** Implements depth-first traversal. */\nfunction traverseTree(tree: Tree, { beforeEnter, onEnter, onLeave }: TreeTraversalOptions) {\n  const cursor = tree.cursor();\n  for (;;) {\n    let node = cursorNode(cursor);\n    let leave = false;\n    const enter = !node.type.isAnonymous;\n    if (enter && beforeEnter) beforeEnter(cursor);\n    node.isLeaf = !cursor.firstChild();\n    if (enter) {\n      leave = true;\n      if (onEnter(node) === false) return;\n    }\n    if (!node.isLeaf) continue;\n    for (;;) {\n      node = cursorNode(cursor, node.isLeaf);\n      if (leave && onLeave) if (onLeave(node) === false) return;\n      leave = cursor.type.isAnonymous;\n      node.isLeaf = false;\n      if (cursor.nextSibling()) break;\n      if (!cursor.parent()) return;\n      leave = true;\n    }\n  }\n}\n"],"mappings":";;AAWA,SAAgB,UAAU,MAAoB;CAC5C,MAAM,QAAQ;EACZ,QAAQ;EACR,UAAU,CAAC;CACb;CACA,aAAa,MAAM;EACjB,UAAS,SAAQ;GACf,MAAM,UAAU;GAChB,MAAM,UAAU,KAAK,KAAK;EAC5B;EACA,eAAe;GACb,MAAM,UAAU;EAClB;CACF,CAAC;CACD,OAAO,MAAM;AACf;AAQA,SAAS,WAAW,EAAE,MAAM,MAAM,MAAkB,SAAS,OAAmB;CAC9E,OAAO;EAAE;EAAM;EAAM;EAAI;CAAO;AAClC;;AASA,SAAS,aAAa,MAAY,EAAE,aAAa,SAAS,WAAiC;CACzF,MAAM,SAAS,KAAK,OAAO;CAC3B,SAAS;EACP,IAAI,OAAO,WAAW,MAAM;EAC5B,IAAI,QAAQ;EACZ,MAAM,QAAQ,CAAC,KAAK,KAAK;EACzB,IAAI,SAAS,aAAa,YAAY,MAAM;EAC5C,KAAK,SAAS,CAAC,OAAO,WAAW;EACjC,IAAI,OAAO;GACT,QAAQ;GACR,IAAI,QAAQ,IAAI,MAAM,OAAO;EAC/B;EACA,IAAI,CAAC,KAAK,QAAQ;EAClB,SAAS;GACP,OAAO,WAAW,QAAQ,KAAK,MAAM;GACrC,IAAI,SAAS,SAAa;QAAA,QAAQ,IAAI,MAAM,OAAO;GAAA;GACnD,QAAQ,OAAO,KAAK;GACpB,KAAK,SAAS;GACd,IAAI,OAAO,YAAY,GAAG;GAC1B,IAAI,CAAC,OAAO,OAAO,GAAG;GACtB,QAAQ;EACV;CACF;AACF"}

package/dist/rslang/api.js

@@ -26,7 +26,8 @@ function isGlobalAlias(value) {
 */
 function parseRSLangExpression(expression) {
 	if (!expression.trim()) return null;
-	const ast = buildTree(parser.parse(expression).cursor());
+	const tree = parser.parse(expression);
+	const ast = buildTree(tree.cursor());
 	normalizeAST(ast, expression);
 	return ast;
 }
@@ -65,11 +66,13 @@ function splitTemplateDefinition(target) {
 	for (; start < target.length && target[start] !== "["; ++start);
 	if (start < target.length) {
 		for (let counter = 0, end = start + 1; end < target.length; ++end) if (target[end] === "[") ++counter;
-		else if (target[end] === "]") if (counter !== 0) --counter;
-		else return {
-			head: target.substring(start + 1, end).trim(),
-			body: target.substring(end + 1).trim()
-		};
+		else if (target[end] === "]") {
+			if (counter !== 0) --counter;
+			else return {
+				head: target.substring(start + 1, end).trim(),
+				body: target.substring(end + 1).trim()
+			};
+		}
 	}
 	return {
 		head: "",

package/dist/rslang/api.js.map

@@ -1 +1 @@
-{"version":3,"file":"api.js","names":["rslangParser"],"sources":["../../src/rslang/api.ts"],"sourcesContent":["/**\n * Module: API for RSLanguage.\n */\nimport { type AstNode, buildTree } from '../parsing';\n\nimport { normalizeAST } from './parser/normalize';\nimport { parser as rslangParser } from './parser/parser';\nimport { ArgumentsExtractor, type ArgumentsType } from './semantic/arguments-extractor';\nexport { generateExpressionFromAst } from './parser/expression-generator';\n\n/** Represents alias mapping. */\nexport type AliasMapping = Record<string, string>;\n\n// cspell:disable\nconst LOCALS_REGEXP = /[_a-zα-ω][a-zα-ω]*\\d*/g;\nconst GLOBAL_ALIAS_SOURCE = '[XCSADFPTN]\\\\d+';\nconst GLOBALS_REGEXP = new RegExp(GLOBAL_ALIAS_SOURCE, 'g');\nconst GLOBAL_ALIAS_ANCHORED_REGEXP = new RegExp(`^${GLOBAL_ALIAS_SOURCE}$`);\nconst COMPLEX_SYMBOLS_REGEXP = /[∀∃×ℬ;|:]/g;\nconst TYPIFICATION_SET = /^ℬ+\\([ℬ\\(((X|C)\\d+|Z)\\)×]*\\)$/g;\n// cspell:enable\n\n/** Whether {@link value} is a single schema global alias (e.g. `X1`, `F42`). */\nexport function isGlobalAlias(value: string): boolean {\n  return GLOBAL_ALIAS_ANCHORED_REGEXP.test(value);\n}\n\n/**\n * Parse a RSLang expression into a normalized AST.\n *\n * Returns `null` for blank input. Parses the original `expression` string so node\n * offsets match the source text (required for slice-based AST walks).\n */\nexport function parseRSLangExpression(expression: string): AstNode | null {\n  if (!expression.trim()) {\n    return null;\n  }\n  const tree = rslangParser.parse(expression);\n  const ast = buildTree(tree.cursor());\n  normalizeAST(ast, expression);\n  return ast;\n}\n\n/** Extract arguments from AST. */\nexport function extractArguments(ast: AstNode): ArgumentsType[] {\n  return new ArgumentsExtractor().run(ast);\n}\n\n/** Extracts global variable names from a given expression. */\nexport function extractGlobals(expression: string): Set<string> {\n  return new Set(expression.match(GLOBALS_REGEXP) ?? []);\n}\n\n/** Check if expression is simple derivation. */\nexport function isSimpleExpression(text: string): boolean {\n  return !text.match(COMPLEX_SYMBOLS_REGEXP);\n}\n\n/** Check if expression is set typification. */\nexport function isSetTypification(text: string): boolean {\n  return !!text.match(TYPIFICATION_SET);\n}\n\n/**\n * Splits a string containing a template definition into its head and body parts.\n *\n * A template definition is expected to have the following format: `[head] body`.\n * If the input string does not contain the opening square bracket '[', the entire\n * string is treated as the body, and an empty string is assigned to the head.\n * If the opening bracket is present, the function attempts to find the matching\n * closing bracket ']' to determine the head and body parts.\n *\n * @example\n * const template = '[header] body content';\n * const result = splitTemplateDefinition(template);\n * // result: `{ head: 'header', body: 'body content' }`\n */\nexport function splitTemplateDefinition(target: string) {\n  let start = 0;\n  for (; start < target.length && target[start] !== '['; ++start);\n  if (start < target.length) {\n    for (let counter = 0, end = start + 1; end < target.length; ++end) {\n      if (target[end] === '[') {\n        ++counter;\n      } else if (target[end] === ']') {\n        if (counter !== 0) {\n          --counter;\n        } else {\n          return {\n            head: target.substring(start + 1, end).trim(),\n            body: target.substring(end + 1).trim()\n          };\n        }\n      }\n    }\n  }\n  return {\n    head: '',\n    body: target\n  };\n}\n\n/**\n * Substitutes values for template arguments in a given expression.\n *\n * This function takes an input mathematical expression and a list of argument values.\n * It replaces template argument placeholders in the expression with their corresponding values\n * from the provided arguments.\n */\nexport function substituteTemplateArgs(expression: string, mapping: AliasMapping): string {\n  if (Object.keys(mapping).length === 0) {\n    return expression;\n  }\n  let { head, body } = splitTemplateDefinition(expression);\n  body = applyPattern(body, mapping, LOCALS_REGEXP);\n  const argTexts = head.split(',').map(text => text.trim());\n  head = argTexts\n    .filter(arg => [...arg.matchAll(LOCALS_REGEXP)].every(local => local.every(match => !(match in mapping))))\n    .join(', ');\n\n  if (!head) {\n    return body;\n  } else {\n    return `[${head}] ${body}`;\n  }\n}\n\n/** Substitute local parameter aliases in an expression fragment. */\nexport function substituteLocalAliases(expression: string, mapping: AliasMapping): string {\n  return applyPattern(expression, mapping, LOCALS_REGEXP);\n}\n\n/** Apply alias mapping. */\nexport function applyAliasMapping(target: string, mapping: AliasMapping): string {\n  return applyPattern(target, mapping, GLOBALS_REGEXP);\n}\n\n/** Apply alias typification mapping. */\nexport function applyTypificationMapping(target: string, mapping: AliasMapping): string {\n  const modified = applyAliasMapping(target, mapping);\n  if (modified === target) {\n    return target;\n  }\n\n  const deleteBrackets: number[] = [];\n  const positions: number[] = [];\n  const booleans: number[] = [];\n  let boolCount: number = 0;\n  let stackSize: number = 0;\n\n  for (let i = 0; i < modified.length; i++) {\n    const char = modified[i];\n    if (char === 'ℬ') {\n      boolCount++;\n      continue;\n    }\n    if (char === '(') {\n      stackSize++;\n      positions.push(i);\n      booleans.push(boolCount);\n    }\n    boolCount = 0;\n    if (char === ')') {\n      if (\n        i < modified.length - 1 &&\n        modified[i + 1] === ')' &&\n        stackSize > 1 &&\n        positions[stackSize - 2] + booleans[stackSize - 1] + 1 === positions[stackSize - 1]\n      ) {\n        deleteBrackets.push(i);\n        deleteBrackets.push(positions[stackSize - 2]);\n      }\n      if (i === modified.length - 1 && stackSize === 1 && positions[0] === 0) {\n        deleteBrackets.push(i);\n        deleteBrackets.push(positions[0]);\n      }\n      stackSize--;\n      positions.pop();\n      booleans.pop();\n    }\n  }\n\n  let result = '';\n  for (let i = 0; i < modified.length; i++) {\n    if (!deleteBrackets.includes(i)) {\n      result += modified[i];\n    }\n  }\n\n  return result;\n}\n\n// ====== Internals =========\n/** Text substitution guided by mapping and regular expression. */\nfunction applyPattern(text: string, mapping: AliasMapping, pattern: RegExp): string {\n  if (text === '' || pattern === null) {\n    return text;\n  }\n  let posInput = 0;\n  let output = '';\n  const patternMatches = text.matchAll(pattern);\n  for (const segment of patternMatches) {\n    const entity = segment[0];\n    const start = segment.index ?? 0;\n    if (entity in mapping) {\n      output += text.substring(posInput, start);\n      output += mapping[entity];\n      posInput = start + segment[0].length;\n    }\n  }\n  output += text.substring(posInput);\n  return output;\n}\n"],"mappings":";;;;;;;;;;AAcA,MAAM,gBAAgB;AACtB,MAAM,sBAAsB;AAC5B,MAAM,iBAAiB,IAAI,OAAO,qBAAqB,GAAG;AAC1D,MAAM,+BAA+B,IAAI,OAAO,IAAI,oBAAoB,EAAE;AAC1E,MAAM,yBAAyB;AAC/B,MAAM,mBAAmB;;AAIzB,SAAgB,cAAc,OAAwB;CACpD,OAAO,6BAA6B,KAAK,KAAK;AAChD;;;;;;;AAQA,SAAgB,sBAAsB,YAAoC;CACxE,IAAI,CAAC,WAAW,KAAK,GACnB,OAAO;CAGT,MAAM,MAAM,UADCA,OAAa,MAAM,UACV,CAAA,CAAK,OAAO,CAAC;CACnC,aAAa,KAAK,UAAU;CAC5B,OAAO;AACT;;AAGA,SAAgB,iBAAiB,KAA+B;CAC9D,OAAO,IAAI,mBAAmB,CAAC,CAAC,IAAI,GAAG;AACzC;;AAGA,SAAgB,eAAe,YAAiC;CAC9D,OAAO,IAAI,IAAI,WAAW,MAAM,cAAc,KAAK,CAAC,CAAC;AACvD;;AAGA,SAAgB,mBAAmB,MAAuB;CACxD,OAAO,CAAC,KAAK,MAAM,sBAAsB;AAC3C;;AAGA,SAAgB,kBAAkB,MAAuB;CACvD,OAAO,CAAC,CAAC,KAAK,MAAM,gBAAgB;AACtC;;;;;;;;;;;;;;;AAgBA,SAAgB,wBAAwB,QAAgB;CACtD,IAAI,QAAQ;CACZ,OAAO,QAAQ,OAAO,UAAU,OAAO,WAAW,KAAK,EAAE;CACzD,IAAI,QAAQ,OAAO,QACjB;OAAK,IAAI,UAAU,GAAG,MAAM,QAAQ,GAAG,MAAM,OAAO,QAAQ,EAAE,KAC5D,IAAI,OAAO,SAAS,KAClB,EAAE;OACG,IAAI,OAAO,SAAS,KACzB,IAAI,YAAY,GACd,EAAE;OAEF,OAAO;GACL,MAAM,OAAO,UAAU,QAAQ,GAAG,GAAG,CAAC,CAAC,KAAK;GAC5C,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,KAAK;EACvC;CAGN;CAEF,OAAO;EACL,MAAM;EACN,MAAM;CACR;AACF;;;;;;;;AASA,SAAgB,uBAAuB,YAAoB,SAA+B;CACxF,IAAI,OAAO,KAAK,OAAO,CAAC,CAAC,WAAW,GAClC,OAAO;CAET,IAAI,EAAE,MAAM,SAAS,wBAAwB,UAAU;CACvD,OAAO,aAAa,MAAM,SAAS,aAAa;CAEhD,OADiB,KAAK,MAAM,GAAG,CAAC,CAAC,KAAI,SAAQ,KAAK,KAAK,CAChD,CAAA,CACJ,QAAO,QAAO,CAAC,GAAG,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,OAAM,UAAS,MAAM,OAAM,UAAS,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,CACzG,KAAK,IAAI;CAEZ,IAAI,CAAC,MACH,OAAO;MAEP,OAAO,IAAI,KAAK,IAAI;AAExB;;AAGA,SAAgB,uBAAuB,YAAoB,SAA+B;CACxF,OAAO,aAAa,YAAY,SAAS,aAAa;AACxD;;AAGA,SAAgB,kBAAkB,QAAgB,SAA+B;CAC/E,OAAO,aAAa,QAAQ,SAAS,cAAc;AACrD;;AAGA,SAAgB,yBAAyB,QAAgB,SAA+B;CACtF,MAAM,WAAW,kBAAkB,QAAQ,OAAO;CAClD,IAAI,aAAa,QACf,OAAO;CAGT,MAAM,iBAA2B,CAAC;CAClC,MAAM,YAAsB,CAAC;CAC7B,MAAM,WAAqB,CAAC;CAC5B,IAAI,YAAoB;CACxB,IAAI,YAAoB;CAExB,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;EACxC,MAAM,OAAO,SAAS;EACtB,IAAI,SAAS,KAAK;GAChB;GACA;EACF;EACA,IAAI,SAAS,KAAK;GAChB;GACA,UAAU,KAAK,CAAC;GAChB,SAAS,KAAK,SAAS;EACzB;EACA,YAAY;EACZ,IAAI,SAAS,KAAK;GAChB,IACE,IAAI,SAAS,SAAS,KACtB,SAAS,IAAI,OAAO,OACpB,YAAY,KACZ,UAAU,YAAY,KAAK,SAAS,YAAY,KAAK,MAAM,UAAU,YAAY,IACjF;IACA,eAAe,KAAK,CAAC;IACrB,eAAe,KAAK,UAAU,YAAY,EAAE;GAC9C;GACA,IAAI,MAAM,SAAS,SAAS,KAAK,cAAc,KAAK,UAAU,OAAO,GAAG;IACtE,eAAe,KAAK,CAAC;IACrB,eAAe,KAAK,UAAU,EAAE;GAClC;GACA;GACA,UAAU,IAAI;GACd,SAAS,IAAI;EACf;CACF;CAEA,IAAI,SAAS;CACb,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KACnC,IAAI,CAAC,eAAe,SAAS,CAAC,GAC5B,UAAU,SAAS;CAIvB,OAAO;AACT;;AAIA,SAAS,aAAa,MAAc,SAAuB,SAAyB;CAClF,IAAI,SAAS,MAAM,YAAY,MAC7B,OAAO;CAET,IAAI,WAAW;CACf,IAAI,SAAS;CACb,MAAM,iBAAiB,KAAK,SAAS,OAAO;CAC5C,KAAK,MAAM,WAAW,gBAAgB;EACpC,MAAM,SAAS,QAAQ;EACvB,MAAM,QAAQ,QAAQ,SAAS;EAC/B,IAAI,UAAU,SAAS;GACrB,UAAU,KAAK,UAAU,UAAU,KAAK;GACxC,UAAU,QAAQ;GAClB,WAAW,QAAQ,QAAQ,EAAE,CAAC;EAChC;CACF;CACA,UAAU,KAAK,UAAU,QAAQ;CACjC,OAAO;AACT"}
+{"version":3,"file":"api.js","names":["rslangParser"],"sources":["../../src/rslang/api.ts"],"sourcesContent":["/**\n * Module: API for RSLanguage.\n */\nimport { type AstNode, buildTree } from '../parsing';\n\nimport { normalizeAST } from './parser/normalize';\nimport { parser as rslangParser } from './parser/parser';\nimport { ArgumentsExtractor, type ArgumentsType } from './semantic/arguments-extractor';\nexport { generateExpressionFromAst } from './parser/expression-generator';\n\n/** Represents alias mapping. */\nexport type AliasMapping = Record<string, string>;\n\n// cspell:disable\nconst LOCALS_REGEXP = /[_a-zα-ω][a-zα-ω]*\\d*/g;\nconst GLOBAL_ALIAS_SOURCE = '[XCSADFPTN]\\\\d+';\nconst GLOBALS_REGEXP = new RegExp(GLOBAL_ALIAS_SOURCE, 'g');\nconst GLOBAL_ALIAS_ANCHORED_REGEXP = new RegExp(`^${GLOBAL_ALIAS_SOURCE}$`);\nconst COMPLEX_SYMBOLS_REGEXP = /[∀∃×ℬ;|:]/g;\nconst TYPIFICATION_SET = /^ℬ+\\([ℬ\\(((X|C)\\d+|Z)\\)×]*\\)$/g;\n// cspell:enable\n\n/** Whether {@link value} is a single schema global alias (e.g. `X1`, `F42`). */\nexport function isGlobalAlias(value: string): boolean {\n  return GLOBAL_ALIAS_ANCHORED_REGEXP.test(value);\n}\n\n/**\n * Parse a RSLang expression into a normalized AST.\n *\n * Returns `null` for blank input. Parses the original `expression` string so node\n * offsets match the source text (required for slice-based AST walks).\n */\nexport function parseRSLangExpression(expression: string): AstNode | null {\n  if (!expression.trim()) {\n    return null;\n  }\n  const tree = rslangParser.parse(expression);\n  const ast = buildTree(tree.cursor());\n  normalizeAST(ast, expression);\n  return ast;\n}\n\n/** Extract arguments from AST. */\nexport function extractArguments(ast: AstNode): ArgumentsType[] {\n  return new ArgumentsExtractor().run(ast);\n}\n\n/** Extracts global variable names from a given expression. */\nexport function extractGlobals(expression: string): Set<string> {\n  return new Set(expression.match(GLOBALS_REGEXP) ?? []);\n}\n\n/** Check if expression is simple derivation. */\nexport function isSimpleExpression(text: string): boolean {\n  return !text.match(COMPLEX_SYMBOLS_REGEXP);\n}\n\n/** Check if expression is set typification. */\nexport function isSetTypification(text: string): boolean {\n  return !!text.match(TYPIFICATION_SET);\n}\n\n/**\n * Splits a string containing a template definition into its head and body parts.\n *\n * A template definition is expected to have the following format: `[head] body`.\n * If the input string does not contain the opening square bracket '[', the entire\n * string is treated as the body, and an empty string is assigned to the head.\n * If the opening bracket is present, the function attempts to find the matching\n * closing bracket ']' to determine the head and body parts.\n *\n * @example\n * const template = '[header] body content';\n * const result = splitTemplateDefinition(template);\n * // result: `{ head: 'header', body: 'body content' }`\n */\nexport function splitTemplateDefinition(target: string) {\n  let start = 0;\n  for (; start < target.length && target[start] !== '['; ++start);\n  if (start < target.length) {\n    for (let counter = 0, end = start + 1; end < target.length; ++end) {\n      if (target[end] === '[') {\n        ++counter;\n      } else if (target[end] === ']') {\n        if (counter !== 0) {\n          --counter;\n        } else {\n          return {\n            head: target.substring(start + 1, end).trim(),\n            body: target.substring(end + 1).trim()\n          };\n        }\n      }\n    }\n  }\n  return {\n    head: '',\n    body: target\n  };\n}\n\n/**\n * Substitutes values for template arguments in a given expression.\n *\n * This function takes an input mathematical expression and a list of argument values.\n * It replaces template argument placeholders in the expression with their corresponding values\n * from the provided arguments.\n */\nexport function substituteTemplateArgs(expression: string, mapping: AliasMapping): string {\n  if (Object.keys(mapping).length === 0) {\n    return expression;\n  }\n  let { head, body } = splitTemplateDefinition(expression);\n  body = applyPattern(body, mapping, LOCALS_REGEXP);\n  const argTexts = head.split(',').map(text => text.trim());\n  head = argTexts\n    .filter(arg => [...arg.matchAll(LOCALS_REGEXP)].every(local => local.every(match => !(match in mapping))))\n    .join(', ');\n\n  if (!head) {\n    return body;\n  } else {\n    return `[${head}] ${body}`;\n  }\n}\n\n/** Substitute local parameter aliases in an expression fragment. */\nexport function substituteLocalAliases(expression: string, mapping: AliasMapping): string {\n  return applyPattern(expression, mapping, LOCALS_REGEXP);\n}\n\n/** Apply alias mapping. */\nexport function applyAliasMapping(target: string, mapping: AliasMapping): string {\n  return applyPattern(target, mapping, GLOBALS_REGEXP);\n}\n\n/** Apply alias typification mapping. */\nexport function applyTypificationMapping(target: string, mapping: AliasMapping): string {\n  const modified = applyAliasMapping(target, mapping);\n  if (modified === target) {\n    return target;\n  }\n\n  const deleteBrackets: number[] = [];\n  const positions: number[] = [];\n  const booleans: number[] = [];\n  let boolCount: number = 0;\n  let stackSize: number = 0;\n\n  for (let i = 0; i < modified.length; i++) {\n    const char = modified[i];\n    if (char === 'ℬ') {\n      boolCount++;\n      continue;\n    }\n    if (char === '(') {\n      stackSize++;\n      positions.push(i);\n      booleans.push(boolCount);\n    }\n    boolCount = 0;\n    if (char === ')') {\n      if (\n        i < modified.length - 1 &&\n        modified[i + 1] === ')' &&\n        stackSize > 1 &&\n        positions[stackSize - 2] + booleans[stackSize - 1] + 1 === positions[stackSize - 1]\n      ) {\n        deleteBrackets.push(i);\n        deleteBrackets.push(positions[stackSize - 2]);\n      }\n      if (i === modified.length - 1 && stackSize === 1 && positions[0] === 0) {\n        deleteBrackets.push(i);\n        deleteBrackets.push(positions[0]);\n      }\n      stackSize--;\n      positions.pop();\n      booleans.pop();\n    }\n  }\n\n  let result = '';\n  for (let i = 0; i < modified.length; i++) {\n    if (!deleteBrackets.includes(i)) {\n      result += modified[i];\n    }\n  }\n\n  return result;\n}\n\n// ====== Internals =========\n/** Text substitution guided by mapping and regular expression. */\nfunction applyPattern(text: string, mapping: AliasMapping, pattern: RegExp): string {\n  if (text === '' || pattern === null) {\n    return text;\n  }\n  let posInput = 0;\n  let output = '';\n  const patternMatches = text.matchAll(pattern);\n  for (const segment of patternMatches) {\n    const entity = segment[0];\n    const start = segment.index ?? 0;\n    if (entity in mapping) {\n      output += text.substring(posInput, start);\n      output += mapping[entity];\n      posInput = start + segment[0].length;\n    }\n  }\n  output += text.substring(posInput);\n  return output;\n}\n"],"mappings":";;;;;;;;;;AAcA,MAAM,gBAAgB;AACtB,MAAM,sBAAsB;AAC5B,MAAM,iBAAiB,IAAI,OAAO,qBAAqB,GAAG;AAC1D,MAAM,+BAA+B,IAAI,OAAO,IAAI,oBAAoB,EAAE;AAC1E,MAAM,yBAAyB;AAC/B,MAAM,mBAAmB;;AAIzB,SAAgB,cAAc,OAAwB;CACpD,OAAO,6BAA6B,KAAK,KAAK;AAChD;;;;;;;AAQA,SAAgB,sBAAsB,YAAoC;CACxE,IAAI,CAAC,WAAW,KAAK,GACnB,OAAO;CAET,MAAM,OAAOA,OAAa,MAAM,UAAU;CAC1C,MAAM,MAAM,UAAU,KAAK,OAAO,CAAC;CACnC,aAAa,KAAK,UAAU;CAC5B,OAAO;AACT;;AAGA,SAAgB,iBAAiB,KAA+B;CAC9D,OAAO,IAAI,mBAAmB,CAAC,CAAC,IAAI,GAAG;AACzC;;AAGA,SAAgB,eAAe,YAAiC;CAC9D,OAAO,IAAI,IAAI,WAAW,MAAM,cAAc,KAAK,CAAC,CAAC;AACvD;;AAGA,SAAgB,mBAAmB,MAAuB;CACxD,OAAO,CAAC,KAAK,MAAM,sBAAsB;AAC3C;;AAGA,SAAgB,kBAAkB,MAAuB;CACvD,OAAO,CAAC,CAAC,KAAK,MAAM,gBAAgB;AACtC;;;;;;;;;;;;;;;AAgBA,SAAgB,wBAAwB,QAAgB;CACtD,IAAI,QAAQ;CACZ,OAAO,QAAQ,OAAO,UAAU,OAAO,WAAW,KAAK,EAAE;CACzD,IAAI,QAAQ,OAAO,QACjB;OAAK,IAAI,UAAU,GAAG,MAAM,QAAQ,GAAG,MAAM,OAAO,QAAQ,EAAE,KAC5D,IAAI,OAAO,SAAS,KAClB,EAAE;OACG,IAAI,OAAO,SAAS,KAAK;GAC9B,IAAI,YAAY,GACd,EAAE;QAEF,OAAO;IACL,MAAM,OAAO,UAAU,QAAQ,GAAG,GAAG,CAAC,CAAC,KAAK;IAC5C,MAAM,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,KAAK;GACvC;EAEJ;CACF;CAEF,OAAO;EACL,MAAM;EACN,MAAM;CACR;AACF;;;;;;;;AASA,SAAgB,uBAAuB,YAAoB,SAA+B;CACxF,IAAI,OAAO,KAAK,OAAO,CAAC,CAAC,WAAW,GAClC,OAAO;CAET,IAAI,EAAE,MAAM,SAAS,wBAAwB,UAAU;CACvD,OAAO,aAAa,MAAM,SAAS,aAAa;CAEhD,OADiB,KAAK,MAAM,GAAG,CAAC,CAAC,KAAI,SAAQ,KAAK,KAAK,CAChD,CAAA,CACJ,QAAO,QAAO,CAAC,GAAG,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,OAAM,UAAS,MAAM,OAAM,UAAS,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,CACzG,KAAK,IAAI;CAEZ,IAAI,CAAC,MACH,OAAO;MAEP,OAAO,IAAI,KAAK,IAAI;AAExB;;AAGA,SAAgB,uBAAuB,YAAoB,SAA+B;CACxF,OAAO,aAAa,YAAY,SAAS,aAAa;AACxD;;AAGA,SAAgB,kBAAkB,QAAgB,SAA+B;CAC/E,OAAO,aAAa,QAAQ,SAAS,cAAc;AACrD;;AAGA,SAAgB,yBAAyB,QAAgB,SAA+B;CACtF,MAAM,WAAW,kBAAkB,QAAQ,OAAO;CAClD,IAAI,aAAa,QACf,OAAO;CAGT,MAAM,iBAA2B,CAAC;CAClC,MAAM,YAAsB,CAAC;CAC7B,MAAM,WAAqB,CAAC;CAC5B,IAAI,YAAoB;CACxB,IAAI,YAAoB;CAExB,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;EACxC,MAAM,OAAO,SAAS;EACtB,IAAI,SAAS,KAAK;GAChB;GACA;EACF;EACA,IAAI,SAAS,KAAK;GAChB;GACA,UAAU,KAAK,CAAC;GAChB,SAAS,KAAK,SAAS;EACzB;EACA,YAAY;EACZ,IAAI,SAAS,KAAK;GAChB,IACE,IAAI,SAAS,SAAS,KACtB,SAAS,IAAI,OAAO,OACpB,YAAY,KACZ,UAAU,YAAY,KAAK,SAAS,YAAY,KAAK,MAAM,UAAU,YAAY,IACjF;IACA,eAAe,KAAK,CAAC;IACrB,eAAe,KAAK,UAAU,YAAY,EAAE;GAC9C;GACA,IAAI,MAAM,SAAS,SAAS,KAAK,cAAc,KAAK,UAAU,OAAO,GAAG;IACtE,eAAe,KAAK,CAAC;IACrB,eAAe,KAAK,UAAU,EAAE;GAClC;GACA;GACA,UAAU,IAAI;GACd,SAAS,IAAI;EACf;CACF;CAEA,IAAI,SAAS;CACb,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KACnC,IAAI,CAAC,eAAe,SAAS,CAAC,GAC5B,UAAU,SAAS;CAIvB,OAAO;AACT;;AAIA,SAAS,aAAa,MAAc,SAAuB,SAAyB;CAClF,IAAI,SAAS,MAAM,YAAY,MAC7B,OAAO;CAET,IAAI,WAAW;CACf,IAAI,SAAS;CACb,MAAM,iBAAiB,KAAK,SAAS,OAAO;CAC5C,KAAK,MAAM,WAAW,gBAAgB;EACpC,MAAM,SAAS,QAAQ;EACvB,MAAM,QAAQ,QAAQ,SAAS;EAC/B,IAAI,UAAU,SAAS;GACrB,UAAU,KAAK,UAAU,UAAU,KAAK;GACxC,UAAU,QAAQ;GAClB,WAAW,QAAQ,QAAQ,EAAE,CAAC;EAChC;CACF;CACA,UAAU,KAAK,UAAU,QAAQ;CACjC,OAAO;AACT"}

package/dist/rslang/eval/calculator.js

@@ -1,6 +1,6 @@
 import { annotateError } from "../ast-annotations.js";
 import { RSErrorCode } from "../error.js";
-import { M as validateValue } from "../../value-COprb2Je.js";
+import { M as validateValue } from "../../value-BDISzQqI.js";
 import { Evaluator } from "./evaluator.js";
 //#region src/rslang/eval/calculator.ts
 /** AST calculator - evaluates RS expressions via visitor pattern and provides updates via listeners. */

package/dist/rslang/eval/evaluation-cache.js

@@ -180,9 +180,7 @@ function extendBoundInPlace(bound, declNode) {
 		case TokenID.NT_ENUM_DECL:
 			for (const child of declNode.children) extendBoundInPlace(bound, child);
 			break;
-		case TokenID.NT_ARG_DECL:
-			extendBoundInPlace(bound, declNode.children[0]);
-			break;
+		case TokenID.NT_ARG_DECL: extendBoundInPlace(bound, declNode.children[0]);
 	}
 }
 //#endregion