@rsconcept/domain 2.3.0 → 3.0.0

package/dist/index-DpiTybDB.d.ts

@@ -0,0 +1,376 @@
+import { t as Graph } from "./graph-CL73WdW1.js";
+import { t as AstNode } from "./ast-C8sIpKdL.js";
+import { f as ExpressionType, g as TypeClass, y as TypePath } from "./typification-9lNu9R4k.js";
+import { t as ValueClass } from "./value-class-CNI-lqXJ.js";
+import { r as AnalysisFull } from "./analyzer-fNhkwO-6.js";
+import { r as LibraryItem } from "./library-CYun28Xz.js";
+import { C as RSFormStats, S as RSForm, T as TermForm, _ as Attribution, b as CstStatus, g as ArgumentValue, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-DsEhmFh0.js";
+import { t as AliasMapping } from "./api-Bf0f_uiI.js";
+
+//#region src/library/rsform-api/types.d.ts
+/** Fields needed to restore formal dependency order. */
+interface FormalOrderFields {
+  id: number;
+  alias: string;
+  cst_type: CstType;
+  definition_formal: string;
+}
+/** Semantic parent/children derived from formal definitions (backend SemanticInfo). */
+interface SemanticRelations {
+  /** Parent id for each constituenta (self when none). */
+  parentOf: Map<number, number>;
+  /** Semantic children ids for each constituenta. */
+  childrenOf: Map<number, number[]>;
+}
+/** Fields needed to resolve term/definition entity references. */
+interface TextResolvableFields {
+  id: number;
+  alias: string;
+  term_raw: string;
+  term_resolved: string;
+  term_forms: TermForm[];
+  definition_raw: string;
+  definition_resolved: string;
+}
+/** Fields needed to allocate or reset aliases by type. */
+interface AliasTypedFields {
+  alias: string;
+  cst_type: CstType;
+}
+/** Fields needed to decide whether structure can be produced. */
+interface StructureCapableFields {
+  cst_type: CstType;
+  effectiveType: ExpressionType | null;
+}
+/** Fields needed for schema-issue checks (status + diagnostics). */
+interface SchemaIssueFields {
+  status: CstStatus;
+  diagnostics?: readonly {
+    code: number;
+  }[] | null;
+}
+/** Fields needed to look up evaluation status for a model item. */
+interface ModelEvalFields {
+  id: number;
+  cst_type: CstType;
+}
+/** Fields needed to check missing convention / resolved term on basics. */
+interface BasicTextCheckFields {
+  cst_type: CstType;
+  convention: string;
+  term_resolved: string;
+}
+/** Fields needed to walk spawn paths for structure helpers. */
+interface SpawnPathFields {
+  id: number;
+  spawner?: number;
+  spawner_path?: TypePath;
+}
+/** Fields needed to extract template parameters from a bank item. */
+interface TemplateParamSourceFields {
+  definition_formal: string;
+  effectiveType: ExpressionType | null;
+}
+/** Fields copied from a template bank item when instantiating. */
+interface TemplateSourceFields extends TemplateParamSourceFields {
+  alias: string;
+  cst_type: CstType;
+  crucial: boolean;
+  convention: string;
+  definition_raw: string;
+  term_raw: string;
+  term_forms: TermForm[];
+  typification_manual: string;
+  value_is_property: boolean;
+}
+/** Fields needed to expand schema/model diagnostics into expressions. */
+interface DiagnosticSourceFields {
+  id: number;
+  alias: string;
+  cst_type: CstType;
+  term_resolved: string;
+  convention: string;
+  typification_manual: string;
+  definition_formal: string;
+}
+/** Fields needed for text search over constituenta content. */
+interface SearchableFields {
+  alias: string;
+  cst_type: CstType;
+  term_raw: string;
+  term_resolved: string;
+  definition_formal: string;
+  definition_raw: string;
+  definition_resolved: string;
+  convention: string;
+}
+/** Fields needed to build short UI descriptions / labels. */
+type DescribableFields = SearchableFields;
+//#endregion
+//#region src/library/rsform-api/alias.d.ts
+/** Fields updated in place by alias mapping. */
+interface MappableFields {
+  alias: string;
+  definition_formal: string;
+  typification_manual: string;
+  term_raw: string;
+  definition_raw: string;
+}
+/** Build alias mapping from template argument bindings. */
+declare function argumentValuesToMapping(args: ArgumentValue[]): AliasMapping;
+/** Validate alias format for a given {@link CstType} (prefix + digits, min length 2). */
+declare function validateAliasFormat(alias: string, type: CstType): boolean;
+/** Validate new alias against {@link CstType} and {@link RSForm}. */
+declare function validateNewAlias(alias: string, type: CstType, schema: RSForm): boolean;
+/** Generate alias for new {@link Constituenta} of a given {@link CstType} for current {@link RSForm}. */
+declare function generateAlias(type: CstType, schema: RSForm, takenAliases?: string[]): string;
+/**
+ * Remap formal expressions and terminological entity references in constituent fields.
+ * Mutates each element of `items` in place; pass owned or cloned data only.
+ */
+declare function applyMappingToConstituents<T extends MappableFields>(items: T[], mapping: AliasMapping, changeAliases: boolean): void;
+/** Highest numeric alias suffix for {@link type} among {@link items} (0 when none). */
+declare function maxAliasIndex(items: readonly AliasTypedFields[], type: CstType): number;
+/**
+ * Build alias → new-alias mapping that renumbers each type sequentially in list order.
+ * Matches backend {@code RSFormCached.reset_aliases}.
+ */
+declare function buildSequentialAliasMapping(items: readonly AliasTypedFields[]): AliasMapping;
+/**
+ * Allocate fresh aliases for {@link source} constituents being imported into a non-empty receiver.
+ * Returns an empty mapping when the receiver has no items (aliases kept as-is).
+ */
+declare function allocateImportAliases(receiver: readonly AliasTypedFields[], source: readonly AliasTypedFields[]): AliasMapping;
+/** Remove alias from expression. */
+declare function removeAliasReference(expression: string, alias: string): string;
+/** Add alias to expression. */
+declare function addAliasReference(expression: string, alias: string): string;
+//#endregion
+//#region src/library/rsform-api/analysis.d.ts
+declare function getAnalysisFor(expression: string, cstType: CstType, schema: RSForm, alias?: string): AnalysisFull;
+/**
+ * When an untyped / bare F·P reference names a constituent on a definition cycle with the
+ * current expression, replace that error with {@link RSDiagnosticCode.schemaDependencyCycle}.
+ *
+ * Covers both semantic `globalNotTyped` (e.g. `F3[σ]`) and parser `globalFuncWithoutArgs`
+ * (bare `P1` / `F1` treated as a call without arguments).
+ *
+ * Uses a draft dependency graph: incoming edges of the edited constituent are taken from
+ * `expression`, so Check works before Save.
+ */
+declare function refineAnalysisForDependencyCycles(analysis: AnalysisFull, expression: string, schema: RSForm, alias?: string): AnalysisFull;
+//#endregion
+//#region src/library/rsform-api/attribution.d.ts
+/**
+ * Remap attributions when constituents are substituted (original → replacement).
+ * Drops self-loops and duplicates. Matches sandbox / backend substitute attribution rewrite.
+ */
+declare function remapAttributionsUnderSubstitution(attributions: readonly Attribution[], origToSub: ReadonlyMap<number, number>): Attribution[];
+/**
+ * Copy attributions whose both endpoints are in {@link sourceIdSet}, remapping ids via {@link idMap}.
+ * Appends onto a clone of {@link existing} with dedupe. Used by schema embedding / insert.
+ */
+declare function importAttributions(sourceAttributions: readonly Attribution[], sourceIdSet: ReadonlySet<number>, idMap: Readonly<Record<number, number>>, existing?: readonly Attribution[]): Attribution[];
+/** Drop attributions that reference any id in {@link deletedIds}. */
+declare function filterAttributions(attributions: readonly Attribution[], deletedIds: ReadonlySet<number>): Attribution[];
+//#endregion
+//#region src/library/rsform-api/cst-type.d.ts
+/** Prefix for alias indicating {@link CstType}. */
+declare function getCstTypePrefix(type: CstType): string;
+/** Guess {@link CstType} from user input hint. */
+declare function guessCstType(hint: string): CstType | null;
+/** Infers the {@link CstClass} based on the provided {@link CstType} and template status. */
+declare function inferClass(type: CstType, isTemplate?: boolean): CstClass;
+/** Check if item type is a template or a category. */
+declare function isTemplateCst(cst: {
+  cst_type: CstType;
+}): boolean;
+/** Evaluate if {@link CstType} is basic concept. */
+declare function isBasicConcept(type: CstType): boolean;
+/** Evaluate if {@link CstType} is base set or constant set. */
+declare function isBaseSet(type: CstType): boolean;
+/** Evaluate if {@link CstType} is a function. */
+declare function isFunctional(type: CstType): boolean;
+/** Evaluate if {@link CstType} is logical. */
+declare function isLogical(type: CstType): boolean;
+/** Evaluate if {@link CstType} can have manual typification. */
+declare function canHaveManualTypification(type: CstType): boolean;
+/** Checks whether a constituenta type supports formal definitions. */
+declare function canHaveFormalDefinition(cstType: CstType): boolean;
+/** Returns expected {@link TypeClass} of formal definition for {@link CstType}. */
+declare function typeClassForCstType(cstType: CstType): TypeClass;
+/** Evaluate if an item can be used to produce structure. */
+declare function canProduceStructure(cst: StructureCapableFields): boolean;
+//#endregion
+//#region src/library/rsform-api/expression.d.ts
+/** Infers the status of an expression based on parsing and value information. */
+declare function inferStatus(parse: boolean, value?: ValueClass | null): CstStatus;
+/** Infers type of constituent for a given template and arguments. */
+declare function inferTemplatedType(templateType: CstType, args: ArgumentValue[]): CstType;
+/**
+ * Normalize a RSLang expression for duplicate comparison.
+ *
+ * Returns `null` for basic concepts without formal definitions. Pass a pre-parsed `ast`
+ * when the expression was already analyzed to avoid re-parsing.
+ */
+declare function normalizeExpression(expression: string, cst_type: CstType, ast?: AstNode | null): string | null;
+/** Checks if given expression is a template. */
+declare function inferTemplate(expression: string): boolean;
+/** Apply filter based on start item type within an ordered list. */
+declare function applyFilterCategory<T extends {
+  cst_type: CstType;
+}>(start: T, items: readonly T[]): T[];
+//#endregion
+//#region src/library/rsform-api/formal-graph.d.ts
+/**
+ * Build the formal dependency graph: supplier → dependent.
+ * Matches backend {@code RSForm.graph_formal}.
+ */
+declare function buildFormalDependencyGraph(items: readonly FormalOrderFields[]): Graph<number>;
+/**
+ * Reorder constituents: formal topology hard, semantic children sticky when ready,
+ * otherwise stable against type/kernel preferred ranks.
+ *
+ * One Kahn pass over the formal dependency graph.
+ */
+declare function restoreConstituentOrder<T extends FormalOrderFields>(items: readonly T[], graph?: Graph<number>, relations?: SemanticRelations): T[];
+//#endregion
+//#region src/library/rsform-api/stats.d.ts
+/** Checks if an item is a schema issue. */
+declare function isSchemaIssue(cst: SchemaIssueFields): boolean;
+/** Calculate statistics for {@link RSForm}. */
+declare function calculateSchemaStats(target: RSForm): RSFormStats;
+//#endregion
+//#region src/library/rsform-api/structure.d.ts
+/**
+ * Id to pass as `insert_after` when creating a new {@link Constituenta} spawned by `targetId`:
+ * after the last existing child of that spawner, or after the spawner itself if none.
+ */
+declare function inferNewSpawnPosition(schema: RSForm, targetId: number): number;
+/** Finds schema item by absolute structure path under `targetId`. */
+declare function findCstByStructure(schema: RSForm, target: {
+  id: number;
+}, path: TypePath): Constituenta | null;
+/** Retrieves name for piece of target structure. */
+declare function getStructureName(schema: RSForm, target: StructureCapableFields & {
+  id: number;
+}, path: TypePath): string;
+//#endregion
+//#region src/library/rsform-api/substitution.d.ts
+/** Result of applying substitutions to a schema fragment. */
+interface SubstitutionResult<T> {
+  items: T[];
+  attributions: Attribution[];
+  deletedIds: Set<number>;
+  /** Replacement constituent ids (survivors referenced by substitutions). */
+  replacementIds: number[];
+}
+/**
+ * Apply constituenta substitutions: remap attributions, drop originals, rewrite aliases in survivors.
+ * Does not resolve texts — call {@link resolveAllConstituentTexts} afterwards.
+ */
+declare function applyConstituentSubstitutions<T extends MappableFields & {
+  id: number;
+  alias: string;
+}>(items: readonly T[], attributions: readonly Attribution[], substitutions: readonly Substitution[]): SubstitutionResult<T>;
+/**
+ * Remap substitution endpoints after source constituents were inserted under new ids.
+ * If {@link original} was imported, map it; otherwise map {@link substitution}.
+ */
+declare function remapSubstitutionsAfterImport(substitutions: readonly Substitution[], sourceIdSet: ReadonlySet<number>, idMap: Readonly<Record<number, number>>): Substitution[];
+//#endregion
+//#region src/library/rsform-api/synthesis.d.ts
+/** Field intersection required for embedding / synthesis transforms. */
+type SynthesizableFields = MappableFields & TextResolvableFields & AliasTypedFields & {
+  id: number;
+  alias: string;
+  cst_type: CstType;
+};
+/** Input for {@link inlineSynthesis}. */
+interface InlineSynthesisInput<T extends SynthesizableFields> {
+  /** Receiver schema constituents (order preserved; imports append). */
+  receiverItems: readonly T[];
+  /** Receiver attributions (default empty). */
+  receiverAttributions?: readonly Attribution[];
+  /**
+   * Source constituents to insert (already filtered to the desired subset).
+   * Cloned; originals are not mutated.
+   */
+  sourceItems: readonly T[];
+  /** Source attributions whose both endpoints are among {@link sourceItems}. */
+  sourceAttributions?: readonly Attribution[];
+  /**
+   * Identification table using pre-import ids:
+   * one endpoint is a source id, the other a receiver id
+   * (same rules as backend embedding / InlineSynthesis).
+   */
+  substitutions?: readonly Substitution[];
+  /** Next free numeric id for inserted constituents. */
+  nextId: number;
+}
+/** Result of {@link inlineSynthesis}. */
+interface InlineSynthesisResult<T extends SynthesizableFields> {
+  items: T[];
+  attributions: Attribution[];
+  /** Updated next-id after inserts. */
+  nextId: number;
+  /** Source id → inserted id. */
+  idMap: Record<number, number>;
+  /** Alias remapping applied to imported constituents (empty when receiver was empty). */
+  aliasMapping: AliasMapping;
+  /** Ids removed by substitutions. */
+  deletedIds: Set<number>;
+  /** Ids of newly inserted constituents (before any were deleted by substitutions). */
+  insertedIds: number[];
+  /** Survivor ids referenced by applied substitutions. */
+  replacementIds: number[];
+}
+/**
+ * Embed {@link InlineSynthesisInput.sourceItems} into the receiver and apply substitutions.
+ * Resolves term/definition entity references on the result.
+ * Does not mutate inputs.
+ */
+declare function inlineSynthesis<T extends SynthesizableFields>(input: InlineSynthesisInput<T>): InlineSynthesisResult<T>;
+/** Sorts library items relevant for schema embedding with specified {@link RSForm}. */
+declare function sortItemsForInlineSynthesis(receiver: RSForm, items: readonly LibraryItem[]): LibraryItem[];
+//#endregion
+//#region src/library/rsform-api/text-resolution.d.ts
+/** Options controlling which texts to re-resolve after an edit. */
+interface TextChangeOptions {
+  termChanged: boolean;
+  termRawChanged: boolean;
+  definitionRawChanged: boolean;
+  clearTargetForms: boolean;
+}
+/** Build term-reference graph: referenced constituent → dependent (backend {@code graph_term}). */
+declare function buildTermReferenceGraph(items: readonly TextResolvableFields[]): Graph<number>;
+/** Build definition-reference graph: referenced constituent → dependent (backend {@code graph_text}). */
+declare function buildDefinitionReferenceGraph(items: readonly TextResolvableFields[]): Graph<number>;
+/** Resolve all term and definition texts in topological order. Mutates items in place. */
+declare function resolveAllConstituentTexts(items: TextResolvableFields[]): void;
+/**
+ * Resolve texts after a single constituent change, cascading dependents when the term changed.
+ * Mutates items in place.
+ */
+declare function resolveConstituentTextChange(items: TextResolvableFields[], targetID: number, options: TextChangeOptions): void;
+//#endregion
+//#region src/library/rsform-api/transforms.d.ts
+/**
+ * Pure constituenta list transforms: reorder, move, insert position.
+ */
+/** Rebuild an item list following {@link orderedIds}. Throws if an id is missing. */
+declare function reorderItemsByIds<T extends {
+  id: number;
+}>(items: readonly T[], orderedIds: readonly number[]): T[];
+/**
+ * Move a subset of ids within an ordered id list.
+ * {@link moveTo} is clamped to `[0, rest.length]` (index among non-moving items).
+ */
+declare function moveIdsInOrder(ids: readonly number[], moving: readonly number[], moveTo: number): number[];
+/** Insert {@link item} after {@link insertAfter}, or append when null/undefined/missing. Mutates {@link items}. */
+declare function insertItemAfter<T extends {
+  id: number;
+}>(items: T[], item: T, insertAfter: number | null | undefined): void;
+//#endregion
+export { removeAliasReference as $, canProduceStructure as A, filterAttributions as B, restoreConstituentOrder as C, inferTemplatedType as D, inferTemplate as E, isBasicConcept as F, MappableFields as G, remapAttributionsUnderSubstitution as H, isFunctional as I, applyMappingToConstituents as J, addAliasReference as K, isLogical as L, guessCstType as M, inferClass as N, normalizeExpression as O, isBaseSet as P, maxAliasIndex as Q, isTemplateCst as R, buildFormalDependencyGraph as S, inferStatus as T, getAnalysisFor as U, importAttributions as V, refineAnalysisForDependencyCycles as W, buildSequentialAliasMapping as X, argumentValuesToMapping as Y, generateAlias as Z, findCstByStructure as _, buildDefinitionReferenceGraph as a, DiagnosticSourceFields as at, calculateSchemaStats as b, resolveConstituentTextChange as c, SchemaIssueFields as ct, SynthesizableFields as d, SpawnPathFields as dt, validateAliasFormat as et, inlineSynthesis as f, StructureCapableFields as ft, remapSubstitutionsAfterImport as g, applyConstituentSubstitutions as h, TextResolvableFields as ht, TextChangeOptions as i, DescribableFields as it, getCstTypePrefix as j, canHaveManualTypification as k, InlineSynthesisInput as l, SearchableFields as lt, SubstitutionResult as m, TemplateSourceFields as mt, moveIdsInOrder as n, AliasTypedFields as nt, buildTermReferenceGraph as o, FormalOrderFields as ot, sortItemsForInlineSynthesis as p, TemplateParamSourceFields as pt, allocateImportAliases as q, reorderItemsByIds as r, BasicTextCheckFields as rt, resolveAllConstituentTexts as s, ModelEvalFields as st, insertItemAfter as t, validateNewAlias as tt, InlineSynthesisResult as u, SemanticRelations as ut, getStructureName as v, applyFilterCategory as w, isSchemaIssue as x, inferNewSpawnPosition as y, typeClassForCstType as z };
+//# sourceMappingURL=index-DpiTybDB.d.ts.map

package/dist/index.d.ts

@@ -18,7 +18,7 @@ import { n as ArgumentsType } from "./arguments-extractor-ngatANBI.js";
 import { n as applyAsciiTypeSubstitutions, r as parseTypeText } from "./typification-parser-Dytsv9CI.js";
 import { n as TypificationNodeData, t as TypificationGraph } from "./typification-graph-BY_oGT82.js";
 import { a as LibraryItemType, i as LibraryItemReference, n as CurrentVersion, o as LocationHead, r as LibraryItem, s as VersionInfo, t as AccessPolicy } from "./library-CYun28Xz.js";
-import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-Dac5sJhO.js";
+import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "./diagnostics-DsEhmFh0.js";
 import { FolderNode, FolderTree } from "./library/folder-tree.js";
 import { n as OssLayout, r as Position2D } from "./oss-layout-3glgAqfn.js";
 import { Block, CstSubstituteInfo, NodeType, Operation, OperationInput, OperationSchema, OperationSchemaStats, OperationSynthesis, OperationType, OssItem, SubstitutionErrorDescription, SubstitutionErrorType } from "./library/oss.js";

package/dist/index.js

@@ -15,7 +15,7 @@ import { ValueClass } from "./rslang/semantic/value-class.js";
 import { RSLangAnalyzer } from "./rslang/semantic/analyzer.js";
 import { applyAsciiTypeSubstitutions, parseTypeText } from "./rslang/semantic/typification-parser.js";
 import { TypificationGraph } from "./rslang/typification-graph.js";
-import { a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind } from "./diagnostics-CljEzVBV.js";
+import { a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind } from "./diagnostics-ndGYbvgh.js";
 import { DEFAULT_VALUE_TEXT, EvalStatus } from "./library/rsmodel.js";
 import { FolderNode, FolderTree } from "./library/folder-tree.js";
 import { AccessPolicy, LibraryItemType, LocationHead } from "./library/library.js";

package/dist/library/diagnostics.d.ts

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

package/dist/library/diagnostics.js

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

package/dist/library/index.d.ts

@@ -1,9 +1,10 @@
 import { a as LibraryItemType, i as LibraryItemReference, n as CurrentVersion, o as LocationHead, r as LibraryItem, s as VersionInfo, t as AccessPolicy } from "../library-CYun28Xz.js";
-import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-Dac5sJhO.js";
+import { C as RSFormStats, E as TypeInfo, S as RSForm, T as TermForm, _ as Attribution, a as detectDependencyCycleDiagnostics, b as CstStatus, c as modelStatusCstDiagnostic, d as DEFAULT_VALUE_TEXT, f as EvalStatus, g as ArgumentValue, i as assignSchemaDiagnostics, l as BasicBinding, m as RSModelStats, n as DiagnosticKind, o as formatDependencyCycle, p as RSModel, r as RSDiagnosticCode, s as hasCstDiagnostic, t as CstDiagnostic, u as BasicsContext, v as Constituenta, w as Substitution, x as CstType, y as CstClass } from "../diagnostics-DsEhmFh0.js";
 import { FolderNode, FolderTree } from "./folder-tree.js";
 import { n as OssLayout, r as Position2D } from "../oss-layout-3glgAqfn.js";
 import { Block, CstSubstituteInfo, NodeType, Operation, OperationInput, OperationSchema, OperationSchemaStats, OperationSynthesis, OperationType, OssItem, SubstitutionErrorDescription, SubstitutionErrorType } from "./oss.js";
 import { RSEngine } from "./rsengine.js";
+import { mt as TemplateSourceFields } from "../index-DpiTybDB.js";
 
 //#region src/library/template-instantiation.d.ts
 /**
@@ -22,7 +23,7 @@ interface TemplateInstantiationItem {
   definition_formal: string;
   definition_raw: string;
   term_raw: string;
-  term_forms: Constituenta['term_forms'];
+  term_forms: TermForm[];
   typification_manual: string;
   value_is_property: boolean;
 }
@@ -55,9 +56,9 @@ interface TemplateInstantiationInput {
   /** Schema that will receive new constituents. */
   targetSchema: RSForm;
   /** All constituents of the selected expression-bank RSForm (not only the prototype). */
-  templateItems: Constituenta[];
+  templateItems: TemplateSourceFields[];
   /** Template constituent chosen in the UI (main expression to add). */
-  prototype: Constituenta;
+  prototype: TemplateSourceFields;
   /** User bindings from template parameter aliases to target-schema global aliases. */
   userArgs: ArgumentValue[];
   /**

package/dist/library/index.js

@@ -5,7 +5,7 @@ import { TypeID } from "../rslang/semantic/typification.js";
 import { labelType } from "../rslang/labels.js";
 import { applyAliasMapping, isGlobalAlias, parseRSLangExpression, splitTemplateDefinition, substituteLocalAliases, substituteTemplateArgs } from "../rslang/api.js";
 import { CstClass, CstStatus, CstType } from "./rsform.js";
-import { $ as isFunctional, A as normalizeExpression, R as applyMappingToConstituents, V as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, k as inferTemplatedType, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, z as argumentValuesToMapping } from "../diagnostics-CljEzVBV.js";
+import { $ as isFunctional, A as normalizeExpression, R as applyMappingToConstituents, V as generateAlias, a as formatDependencyCycle, i as detectDependencyCycleDiagnostics, k as inferTemplatedType, n as RSDiagnosticCode, o as hasCstDiagnostic, r as assignSchemaDiagnostics, s as modelStatusCstDiagnostic, t as DiagnosticKind, z as argumentValuesToMapping } from "../diagnostics-ndGYbvgh.js";
 import { DEFAULT_VALUE_TEXT, EvalStatus } from "./rsmodel.js";
 import { FolderNode, FolderTree } from "./folder-tree.js";
 import { AccessPolicy, LibraryItemType, LocationHead } from "./library.js";

package/dist/library/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":[],"sources":["../../src/library/template-instantiation.ts"],"sourcesContent":["/**\n * Module: template instantiation from the expression bank into a target {@link RSForm}.\n */\n\nimport { type AstNode, visitAstDFS } from '../parsing';\nimport {\n  type AliasMapping,\n  applyAliasMapping,\n  isGlobalAlias,\n  parseRSLangExpression,\n  splitTemplateDefinition,\n  substituteLocalAliases,\n  substituteTemplateArgs\n} from '../rslang/api';\nimport { labelType } from '../rslang/labels';\nimport { TokenID } from '../rslang/parser/token';\nimport { TypeID } from '../rslang/semantic/typification';\n\nimport { type ArgumentValue, type Constituenta, type CstType, type RSForm } from './rsform';\nimport {\n  applyMappingToConstituents,\n  argumentValuesToMapping,\n  generateAlias,\n  inferTemplatedType,\n  isFunctional,\n  normalizeExpression\n} from './rsform-api';\n\n/**\n * Payload for one {@link Constituenta} to create when instantiating an expression-bank template.\n *\n * Aliases are generated for the target schema. Formal definitions and typifications already\n * reflect user argument substitution and remapping of bank aliases to those new aliases.\n */\nexport interface TemplateInstantiationItem {\n  /** Alias to assign in the target schema. */\n  alias: string;\n  /** Inferred type after argument substitution (function/predicate may become term/axiom). */\n  cst_type: CstType;\n  crucial: boolean;\n  convention: string;\n  definition_formal: string;\n  definition_raw: string;\n  term_raw: string;\n  term_forms: Constituenta['term_forms'];\n  typification_manual: string;\n  value_is_property: boolean;\n}\n\n/** Conflicting argument bindings inferred for the same template dependency. */\nexport interface TemplateBindingConflict {\n  templateAlias: string;\n  paramAlias: string;\n  existing: string;\n  incoming: string;\n}\n\n/**\n * Batch create plan: dependencies first, selected template constituent last.\n *\n * Reuses constituents whose substituted formal definition already exists in the target schema\n * (normalized comparison), even when the bank alias differs from the matched target alias.\n * {@link TemplateInstantiationPlan.mainDuplicateAlias} reports when the selected template is a duplicate.\n * Does not set `insert_after`; the caller supplies insertion on the batch DTO.\n */\nexport interface TemplateInstantiationPlan {\n  items: TemplateInstantiationItem[];\n  /** Set when the selected template expression already exists in the target schema. */\n  mainDuplicateAlias: string | null;\n  /** Set when nested template calls bind the same parameter to different global aliases. */\n  bindingConflict: TemplateBindingConflict | null;\n}\n\n/**\n * Input for planning template instantiation into a conceptual schema.\n */\nexport interface TemplateInstantiationInput {\n  /** Schema that will receive new constituents. */\n  targetSchema: RSForm;\n  /** All constituents of the selected expression-bank RSForm (not only the prototype). */\n  templateItems: Constituenta[];\n  /** Template constituent chosen in the UI (main expression to add). */\n  prototype: Constituenta;\n  /** User bindings from template parameter aliases to target-schema global aliases. */\n  userArgs: ArgumentValue[];\n  /**\n   * Main constituent attributes from the create dialog (alias, labels, flags).\n   * `definition_formal` and `cst_type` may be overridden from `prototype` and `userArgs`.\n   */\n  mainItem: TemplateInstantiationItem;\n}\n\ninterface FuncCallRef {\n  callee: string;\n  args: string[];\n}\n\ninterface TemplateParam {\n  alias: string;\n  typification: string;\n}\n\n/**\n * Build a batch create plan for a template expression and its bank dependencies.\n *\n * Walks nested `F#` / `P#` calls in the substituted expression, collects missing term-functions\n * and predicate-functions from `templateItems`, propagates argument bindings into nested calls,\n * topologically orders dependencies, and remaps bank aliases to freshly generated target aliases.\n */\nexport function planTemplateInstantiation(input: TemplateInstantiationInput): TemplateInstantiationPlan {\n  return new TemplateInstantiationPlanner(input).plan();\n}\n\n/**\n * Stateful planner for {@link planTemplateInstantiation}.\n *\n * Prefer the function wrapper unless you need to hold or reuse planner state between calls.\n */\nexport class TemplateInstantiationPlanner {\n  private readonly targetSchema: RSForm;\n  private readonly prototype: Constituenta;\n  private readonly userArgs: ArgumentValue[];\n  private readonly mainItemTemplate: TemplateInstantiationItem;\n  private readonly templateByAlias: Map<string, Constituenta>;\n  private readonly userMapping: AliasMapping;\n  private readonly depBindings = new Map<string, Map<string, string>>();\n  private readonly depRefs = new Map<string, Set<string>>();\n  private bindingConflict: TemplateBindingConflict | null = null;\n\n  /** @param input - See {@link TemplateInstantiationInput}. */\n  constructor(input: TemplateInstantiationInput) {\n    this.targetSchema = input.targetSchema;\n    this.prototype = input.prototype;\n    this.userArgs = input.userArgs;\n    this.mainItemTemplate = input.mainItem;\n    this.templateByAlias = new Map(\n      input.templateItems.filter(cst => isFunctional(cst.cst_type)).map(cst => [cst.alias, cst])\n    );\n    this.userMapping = argumentValuesToMapping(input.userArgs);\n  }\n\n  /** @returns Dependency items in topological order, then the main template item when it is not a duplicate. */\n  plan(): TemplateInstantiationPlan {\n    const mainDefinition = substituteTemplateArgs(this.prototype.definition_formal, this.userMapping);\n    this.collectDependencies(mainDefinition, this.userMapping);\n\n    if (this.bindingConflict) {\n      return { items: [], mainDuplicateAlias: null, bindingConflict: this.bindingConflict };\n    }\n\n    const definitionIndex = createFormalDefinitionIndex(this.targetSchema);\n    const dependencyItems = this.buildDependencyItems(definitionIndex);\n    const { item: mainItem, duplicateAlias: mainDuplicateAlias } = this.buildMainItem(\n      mainDefinition,\n      dependencyItems.takenAliases,\n      dependencyItems.aliasMapping,\n      definitionIndex\n    );\n\n    return {\n      items: mainItem ? [...dependencyItems.items, mainItem] : dependencyItems.items,\n      mainDuplicateAlias,\n      bindingConflict: null\n    };\n  }\n\n  private buildDependencyItems(definitionIndex: FormalDefinitionIndex): {\n    items: TemplateInstantiationItem[];\n    aliasMapping: AliasMapping;\n    takenAliases: string[];\n  } {\n    const dependencyAliases = topologicalSort([...this.depBindings.keys()], this.depRefs);\n    const aliasMapping: AliasMapping = {};\n    const takenAliases: string[] = [];\n    const reservedAliases = [this.mainItemTemplate.alias];\n    const items: TemplateInstantiationItem[] = [];\n\n    for (const templateAlias of dependencyAliases) {\n      const template = this.templateByAlias.get(templateAlias)!;\n      const bindings = this.depBindings.get(templateAlias)!;\n      const args = bindingMapToArgs(getTemplateParams(template), bindings);\n      const cst_type = inferTemplatedType(template.cst_type, args);\n      const definition = applyAliasMapping(\n        substituteTemplateArgs(template.definition_formal, argumentValuesToMapping(args)),\n        aliasMapping\n      );\n\n      const existingAlias = definitionIndex.find(cst_type, definition);\n      if (existingAlias) {\n        aliasMapping[templateAlias] = existingAlias;\n        continue;\n      }\n\n      const alias = generateAlias(template.cst_type, this.targetSchema, [...reservedAliases, ...takenAliases]);\n      takenAliases.push(alias);\n      aliasMapping[templateAlias] = alias;\n\n      const item = instantiateTemplateItem(template, args, alias);\n      item.definition_formal = definition;\n      applyMappingToConstituents([item], aliasMapping, false);\n      definitionIndex.register(cst_type, item.definition_formal, alias);\n      items.push(item);\n    }\n\n    return { items, aliasMapping, takenAliases };\n  }\n\n  private buildMainItem(\n    mainDefinition: string,\n    takenAliases: string[],\n    aliasMapping: AliasMapping,\n    definitionIndex: FormalDefinitionIndex\n  ): { item: TemplateInstantiationItem | null; duplicateAlias: string | null } {\n    const mappedDefinition = applyAliasMapping(mainDefinition, aliasMapping);\n    const cst_type = inferTemplatedType(this.prototype.cst_type, this.userArgs);\n\n    const duplicateAlias = definitionIndex.find(cst_type, mappedDefinition);\n    if (duplicateAlias) {\n      return { item: null, duplicateAlias };\n    }\n\n    const mainItem: TemplateInstantiationItem = {\n      ...this.mainItemTemplate,\n      definition_formal: mappedDefinition,\n      cst_type\n    };\n    applyMappingToConstituents([mainItem], aliasMapping, false);\n\n    if (takenAliases.includes(mainItem.alias)) {\n      mainItem.alias = generateAlias(mainItem.cst_type, this.targetSchema, [\n        ...takenAliases,\n        this.mainItemTemplate.alias\n      ]);\n    }\n\n    return { item: mainItem, duplicateAlias: null };\n  }\n\n  private ensureDep(templateAlias: string, bindings: Map<string, string>, referrer?: string): void {\n    if (this.bindingConflict) {\n      return;\n    }\n    if (!this.templateByAlias.has(templateAlias)) {\n      return;\n    }\n    if (referrer && this.depBindings.has(referrer)) {\n      const refs = this.depRefs.get(referrer) ?? new Set<string>();\n      refs.add(templateAlias);\n      this.depRefs.set(referrer, refs);\n    }\n    const mergeResult = mergeBindings(this.depBindings.get(templateAlias), bindings);\n    if (!mergeResult.ok) {\n      this.bindingConflict = { templateAlias, ...mergeResult.conflict };\n      return;\n    }\n    const merged = mergeResult.bindings;\n    const changed =\n      !this.depBindings.has(templateAlias) || merged.size !== (this.depBindings.get(templateAlias)?.size ?? 0);\n    this.depBindings.set(templateAlias, merged);\n    if (!changed && referrer) {\n      return;\n    }\n    const template = this.templateByAlias.get(templateAlias)!;\n    const args = bindingMapToArgs(getTemplateParams(template), merged);\n    const definition = substituteTemplateArgs(template.definition_formal, argumentValuesToMapping(args));\n    this.collectDependencies(definition, argumentValuesToMapping(args), templateAlias);\n  }\n\n  private collectDependencies(expression: string, scope: AliasMapping, referrer?: string): void {\n    if (this.bindingConflict) {\n      return;\n    }\n    const ast = parseRSLangExpression(expression);\n    if (!ast) {\n      return;\n    }\n    for (const call of extractFuncCalls(ast, expression)) {\n      const template = this.templateByAlias.get(call.callee);\n      if (!template) {\n        continue;\n      }\n      const scopedArgs = call.args.map(arg => substituteLocalAliases(arg, scope));\n      const bindings = bindingsFromCall(getTemplateParams(template), scopedArgs, scope);\n      this.ensureDep(call.callee, bindings, referrer);\n    }\n  }\n}\n\n// ======= Internals ========\n\n/** Normalized formal definitions in the target schema and in the current plan. */\nclass FormalDefinitionIndex {\n  private readonly byKey = new Map<string, string>();\n\n  register(cst_type: CstType, definition_formal: string, alias: string): void {\n    const normalized = normalizeExpression(definition_formal, cst_type);\n    if (!normalized) {\n      return;\n    }\n    this.byKey.set(formalDefinitionKey(cst_type, normalized), alias);\n  }\n\n  find(cst_type: CstType, definition_formal: string): string | null {\n    const normalized = normalizeExpression(definition_formal, cst_type);\n    if (!normalized) {\n      return null;\n    }\n    return this.byKey.get(formalDefinitionKey(cst_type, normalized)) ?? null;\n  }\n}\n\nfunction createFormalDefinitionIndex(schema: RSForm): FormalDefinitionIndex {\n  const index = new FormalDefinitionIndex();\n  for (const cst of schema.items) {\n    index.register(cst.cst_type, cst.definition_formal, cst.alias);\n  }\n  return index;\n}\n\nfunction formalDefinitionKey(cst_type: CstType, normalized: string): string {\n  return `${cst_type}\\0${normalized}`;\n}\n\nfunction instantiateTemplateItem(\n  template: Constituenta,\n  args: ArgumentValue[],\n  alias: string\n): TemplateInstantiationItem {\n  return {\n    alias,\n    cst_type: inferTemplatedType(template.cst_type, args),\n    crucial: template.crucial,\n    convention: template.convention,\n    definition_formal: substituteTemplateArgs(template.definition_formal, argumentValuesToMapping(args)),\n    definition_raw: template.definition_raw,\n    term_raw: template.term_raw,\n    term_forms: [...template.term_forms],\n    typification_manual: template.typification_manual,\n    value_is_property: template.value_is_property\n  };\n}\n\nfunction bindingsFromCall(params: TemplateParam[], callArgs: string[], scope: AliasMapping): Map<string, string> {\n  const bindings = new Map<string, string>();\n  params.forEach((param, index) => {\n    const value = resolveArgBinding(callArgs[index] ?? '', scope);\n    if (value) {\n      bindings.set(param.alias, value);\n    }\n  });\n  return bindings;\n}\n\nfunction resolveArgBinding(argExpr: string, scope: AliasMapping): string | undefined {\n  const scoped = substituteLocalAliases(argExpr, scope).trim();\n  if (isGlobalAlias(scoped)) {\n    return scoped;\n  }\n  return undefined;\n}\n\ntype MergeBindingsResult =\n  | { ok: true; bindings: Map<string, string> }\n  | { ok: false; conflict: { paramAlias: string; existing: string; incoming: string } };\n\nfunction mergeBindings(existing: Map<string, string> | undefined, incoming: Map<string, string>): MergeBindingsResult {\n  const result = new Map(existing);\n  for (const [alias, value] of incoming) {\n    const existingValue = result.get(alias);\n    if (existingValue === undefined) {\n      result.set(alias, value);\n    } else if (existingValue !== value) {\n      return { ok: false, conflict: { paramAlias: alias, existing: existingValue, incoming: value } };\n    }\n  }\n  return { ok: true, bindings: result };\n}\n\nfunction bindingMapToArgs(params: TemplateParam[], bindings: Map<string, string>): ArgumentValue[] {\n  return params.map(param => ({\n    alias: param.alias,\n    typification: param.typification,\n    value: bindings.get(param.alias)\n  }));\n}\n\nfunction getTemplateParams(template: Constituenta): TemplateParam[] {\n  const effectiveType = template.effectiveType;\n  if (effectiveType && (effectiveType.typeID === TypeID.function || effectiveType.typeID === TypeID.predicate)) {\n    return effectiveType.args.map(arg => ({\n      alias: arg.alias,\n      typification: labelType(arg.type)\n    }));\n  }\n  const { head } = splitTemplateDefinition(template.definition_formal);\n  if (!head) {\n    return [];\n  }\n  return head.split(',').map(part => {\n    const trimmed = part.trim();\n    const separator = trimmed.indexOf('∈');\n    if (separator === -1) {\n      return { alias: trimmed, typification: '' };\n    }\n    return {\n      alias: trimmed.slice(0, separator).trim(),\n      typification: trimmed.slice(separator + 1).trim()\n    };\n  });\n}\n\nfunction extractFuncCalls(ast: AstNode, expression: string): FuncCallRef[] {\n  const result: FuncCallRef[] = [];\n  visitAstDFS(ast, node => {\n    if (node.typeID !== TokenID.NT_FUNC_CALL || node.children.length < 1) {\n      return;\n    }\n    const calleeNode = node.children[0];\n    if (\n      calleeNode.typeID !== TokenID.ID_FUNCTION &&\n      calleeNode.typeID !== TokenID.ID_PREDICATE &&\n      calleeNode.typeID !== TokenID.ID_GLOBAL\n    ) {\n      return;\n    }\n    const callee = expression.slice(calleeNode.from, calleeNode.to);\n    if (!/^[FP]\\d+$/.test(callee)) {\n      return;\n    }\n    result.push({\n      callee,\n      args: node.children.slice(1).map(child => expression.slice(child.from, child.to).trim())\n    });\n  });\n  return result;\n}\n\nfunction topologicalSort(aliases: string[], refs: Map<string, Set<string>>): string[] {\n  const remaining = new Set(aliases);\n  const sorted: string[] = [];\n  while (remaining.size > 0) {\n    const ready = [...remaining].filter(alias => {\n      const deps = refs.get(alias) ?? new Set<string>();\n      return [...deps].every(dep => !remaining.has(dep));\n    });\n    if (ready.length === 0) {\n      return [...remaining, ...sorted].reverse();\n    }\n    ready.sort();\n    for (const alias of ready) {\n      sorted.push(alias);\n      remaining.delete(alias);\n    }\n  }\n  return sorted;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AA6GA,SAAgB,0BAA0B,OAA8D;CACtG,OAAO,IAAI,6BAA6B,KAAK,CAAC,CAAC,KAAK;AACtD;;;;;;AAOA,IAAa,+BAAb,MAA0C;CACxC;CACA;CACA;CACA;CACA;CACA;CACA,8BAA+B,IAAI,IAAiC;CACpE,0BAA2B,IAAI,IAAyB;CACxD,kBAA0D;;CAG1D,YAAY,OAAmC;EAC7C,KAAK,eAAe,MAAM;EAC1B,KAAK,YAAY,MAAM;EACvB,KAAK,WAAW,MAAM;EACtB,KAAK,mBAAmB,MAAM;EAC9B,KAAK,kBAAkB,IAAI,IACzB,MAAM,cAAc,QAAO,QAAO,aAAa,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAI,QAAO,CAAC,IAAI,OAAO,GAAG,CAAC,CAC3F;EACA,KAAK,cAAc,wBAAwB,MAAM,QAAQ;CAC3D;;CAGA,OAAkC;EAChC,MAAM,iBAAiB,uBAAuB,KAAK,UAAU,mBAAmB,KAAK,WAAW;EAChG,KAAK,oBAAoB,gBAAgB,KAAK,WAAW;EAEzD,IAAI,KAAK,iBACP,OAAO;GAAE,OAAO,CAAC;GAAG,oBAAoB;GAAM,iBAAiB,KAAK;EAAgB;EAGtF,MAAM,kBAAkB,4BAA4B,KAAK,YAAY;EACrE,MAAM,kBAAkB,KAAK,qBAAqB,eAAe;EACjE,MAAM,EAAE,MAAM,UAAU,gBAAgB,uBAAuB,KAAK,cAClE,gBACA,gBAAgB,cAChB,gBAAgB,cAChB,eACF;EAEA,OAAO;GACL,OAAO,WAAW,CAAC,GAAG,gBAAgB,OAAO,QAAQ,IAAI,gBAAgB;GACzE;GACA,iBAAiB;EACnB;CACF;CAEA,qBAA6B,iBAI3B;EACA,MAAM,oBAAoB,gBAAgB,CAAC,GAAG,KAAK,YAAY,KAAK,CAAC,GAAG,KAAK,OAAO;EACpF,MAAM,eAA6B,CAAC;EACpC,MAAM,eAAyB,CAAC;EAChC,MAAM,kBAAkB,CAAC,KAAK,iBAAiB,KAAK;EACpD,MAAM,QAAqC,CAAC;EAE5C,KAAK,MAAM,iBAAiB,mBAAmB;GAC7C,MAAM,WAAW,KAAK,gBAAgB,IAAI,aAAa;GACvD,MAAM,WAAW,KAAK,YAAY,IAAI,aAAa;GACnD,MAAM,OAAO,iBAAiB,kBAAkB,QAAQ,GAAG,QAAQ;GACnE,MAAM,WAAW,mBAAmB,SAAS,UAAU,IAAI;GAC3D,MAAM,aAAa,kBACjB,uBAAuB,SAAS,mBAAmB,wBAAwB,IAAI,CAAC,GAChF,YACF;GAEA,MAAM,gBAAgB,gBAAgB,KAAK,UAAU,UAAU;GAC/D,IAAI,eAAe;IACjB,aAAa,iBAAiB;IAC9B;GACF;GAEA,MAAM,QAAQ,cAAc,SAAS,UAAU,KAAK,cAAc,CAAC,GAAG,iBAAiB,GAAG,YAAY,CAAC;GACvG,aAAa,KAAK,KAAK;GACvB,aAAa,iBAAiB;GAE9B,MAAM,OAAO,wBAAwB,UAAU,MAAM,KAAK;GAC1D,KAAK,oBAAoB;GACzB,2BAA2B,CAAC,IAAI,GAAG,cAAc,KAAK;GACtD,gBAAgB,SAAS,UAAU,KAAK,mBAAmB,KAAK;GAChE,MAAM,KAAK,IAAI;EACjB;EAEA,OAAO;GAAE;GAAO;GAAc;EAAa;CAC7C;CAEA,cACE,gBACA,cACA,cACA,iBAC2E;EAC3E,MAAM,mBAAmB,kBAAkB,gBAAgB,YAAY;EACvE,MAAM,WAAW,mBAAmB,KAAK,UAAU,UAAU,KAAK,QAAQ;EAE1E,MAAM,iBAAiB,gBAAgB,KAAK,UAAU,gBAAgB;EACtE,IAAI,gBACF,OAAO;GAAE,MAAM;GAAM;EAAe;EAGtC,MAAM,WAAsC;GAC1C,GAAG,KAAK;GACR,mBAAmB;GACnB;EACF;EACA,2BAA2B,CAAC,QAAQ,GAAG,cAAc,KAAK;EAE1D,IAAI,aAAa,SAAS,SAAS,KAAK,GACtC,SAAS,QAAQ,cAAc,SAAS,UAAU,KAAK,cAAc,CACnE,GAAG,cACH,KAAK,iBAAiB,KACxB,CAAC;EAGH,OAAO;GAAE,MAAM;GAAU,gBAAgB;EAAK;CAChD;CAEA,UAAkB,eAAuB,UAA+B,UAAyB;EAC/F,IAAI,KAAK,iBACP;EAEF,IAAI,CAAC,KAAK,gBAAgB,IAAI,aAAa,GACzC;EAEF,IAAI,YAAY,KAAK,YAAY,IAAI,QAAQ,GAAG;GAC9C,MAAM,OAAO,KAAK,QAAQ,IAAI,QAAQ,qBAAK,IAAI,IAAY;GAC3D,KAAK,IAAI,aAAa;GACtB,KAAK,QAAQ,IAAI,UAAU,IAAI;EACjC;EACA,MAAM,cAAc,cAAc,KAAK,YAAY,IAAI,aAAa,GAAG,QAAQ;EAC/E,IAAI,CAAC,YAAY,IAAI;GACnB,KAAK,kBAAkB;IAAE;IAAe,GAAG,YAAY;GAAS;GAChE;EACF;EACA,MAAM,SAAS,YAAY;EAC3B,MAAM,UACJ,CAAC,KAAK,YAAY,IAAI,aAAa,KAAK,OAAO,UAAU,KAAK,YAAY,IAAI,aAAa,CAAC,EAAE,QAAQ;EACxG,KAAK,YAAY,IAAI,eAAe,MAAM;EAC1C,IAAI,CAAC,WAAW,UACd;EAEF,MAAM,WAAW,KAAK,gBAAgB,IAAI,aAAa;EACvD,MAAM,OAAO,iBAAiB,kBAAkB,QAAQ,GAAG,MAAM;EACjE,MAAM,aAAa,uBAAuB,SAAS,mBAAmB,wBAAwB,IAAI,CAAC;EACnG,KAAK,oBAAoB,YAAY,wBAAwB,IAAI,GAAG,aAAa;CACnF;CAEA,oBAA4B,YAAoB,OAAqB,UAAyB;EAC5F,IAAI,KAAK,iBACP;EAEF,MAAM,MAAM,sBAAsB,UAAU;EAC5C,IAAI,CAAC,KACH;EAEF,KAAK,MAAM,QAAQ,iBAAiB,KAAK,UAAU,GAAG;GACpD,MAAM,WAAW,KAAK,gBAAgB,IAAI,KAAK,MAAM;GACrD,IAAI,CAAC,UACH;GAEF,MAAM,aAAa,KAAK,KAAK,KAAI,QAAO,uBAAuB,KAAK,KAAK,CAAC;GAC1E,MAAM,WAAW,iBAAiB,kBAAkB,QAAQ,GAAG,YAAY,KAAK;GAChF,KAAK,UAAU,KAAK,QAAQ,UAAU,QAAQ;EAChD;CACF;AACF;;AAKA,IAAM,wBAAN,MAA4B;CAC1B,wBAAyB,IAAI,IAAoB;CAEjD,SAAS,UAAmB,mBAA2B,OAAqB;EAC1E,MAAM,aAAa,oBAAoB,mBAAmB,QAAQ;EAClE,IAAI,CAAC,YACH;EAEF,KAAK,MAAM,IAAI,oBAAoB,UAAU,UAAU,GAAG,KAAK;CACjE;CAEA,KAAK,UAAmB,mBAA0C;EAChE,MAAM,aAAa,oBAAoB,mBAAmB,QAAQ;EAClE,IAAI,CAAC,YACH,OAAO;EAET,OAAO,KAAK,MAAM,IAAI,oBAAoB,UAAU,UAAU,CAAC,KAAK;CACtE;AACF;AAEA,SAAS,4BAA4B,QAAuC;CAC1E,MAAM,QAAQ,IAAI,sBAAsB;CACxC,KAAK,MAAM,OAAO,OAAO,OACvB,MAAM,SAAS,IAAI,UAAU,IAAI,mBAAmB,IAAI,KAAK;CAE/D,OAAO;AACT;AAEA,SAAS,oBAAoB,UAAmB,YAA4B;CAC1E,OAAO,GAAG,SAAS,IAAI;AACzB;AAEA,SAAS,wBACP,UACA,MACA,OAC2B;CAC3B,OAAO;EACL;EACA,UAAU,mBAAmB,SAAS,UAAU,IAAI;EACpD,SAAS,SAAS;EAClB,YAAY,SAAS;EACrB,mBAAmB,uBAAuB,SAAS,mBAAmB,wBAAwB,IAAI,CAAC;EACnG,gBAAgB,SAAS;EACzB,UAAU,SAAS;EACnB,YAAY,CAAC,GAAG,SAAS,UAAU;EACnC,qBAAqB,SAAS;EAC9B,mBAAmB,SAAS;CAC9B;AACF;AAEA,SAAS,iBAAiB,QAAyB,UAAoB,OAA0C;CAC/G,MAAM,2BAAW,IAAI,IAAoB;CACzC,OAAO,SAAS,OAAO,UAAU;EAC/B,MAAM,QAAQ,kBAAkB,SAAS,UAAU,IAAI,KAAK;EAC5D,IAAI,OACF,SAAS,IAAI,MAAM,OAAO,KAAK;CAEnC,CAAC;CACD,OAAO;AACT;AAEA,SAAS,kBAAkB,SAAiB,OAAyC;CACnF,MAAM,SAAS,uBAAuB,SAAS,KAAK,CAAC,CAAC,KAAK;CAC3D,IAAI,cAAc,MAAM,GACtB,OAAO;AAGX;AAMA,SAAS,cAAc,UAA2C,UAAoD;CACpH,MAAM,SAAS,IAAI,IAAI,QAAQ;CAC/B,KAAK,MAAM,CAAC,OAAO,UAAU,UAAU;EACrC,MAAM,gBAAgB,OAAO,IAAI,KAAK;EACtC,IAAI,kBAAkB,QACpB,OAAO,IAAI,OAAO,KAAK;OAClB,IAAI,kBAAkB,OAC3B,OAAO;GAAE,IAAI;GAAO,UAAU;IAAE,YAAY;IAAO,UAAU;IAAe,UAAU;GAAM;EAAE;CAElG;CACA,OAAO;EAAE,IAAI;EAAM,UAAU;CAAO;AACtC;AAEA,SAAS,iBAAiB,QAAyB,UAAgD;CACjG,OAAO,OAAO,KAAI,WAAU;EAC1B,OAAO,MAAM;EACb,cAAc,MAAM;EACpB,OAAO,SAAS,IAAI,MAAM,KAAK;CACjC,EAAE;AACJ;AAEA,SAAS,kBAAkB,UAAyC;CAClE,MAAM,gBAAgB,SAAS;CAC/B,IAAI,kBAAkB,cAAc,WAAW,OAAO,YAAY,cAAc,WAAW,OAAO,YAChG,OAAO,cAAc,KAAK,KAAI,SAAQ;EACpC,OAAO,IAAI;EACX,cAAc,UAAU,IAAI,IAAI;CAClC,EAAE;CAEJ,MAAM,EAAE,SAAS,wBAAwB,SAAS,iBAAiB;CACnE,IAAI,CAAC,MACH,OAAO,CAAC;CAEV,OAAO,KAAK,MAAM,GAAG,CAAC,CAAC,KAAI,SAAQ;EACjC,MAAM,UAAU,KAAK,KAAK;EAC1B,MAAM,YAAY,QAAQ,QAAQ,GAAG;EACrC,IAAI,cAAc,IAChB,OAAO;GAAE,OAAO;GAAS,cAAc;EAAG;EAE5C,OAAO;GACL,OAAO,QAAQ,MAAM,GAAG,SAAS,CAAC,CAAC,KAAK;GACxC,cAAc,QAAQ,MAAM,YAAY,CAAC,CAAC,CAAC,KAAK;EAClD;CACF,CAAC;AACH;AAEA,SAAS,iBAAiB,KAAc,YAAmC;CACzE,MAAM,SAAwB,CAAC;CAC/B,YAAY,MAAK,SAAQ;EACvB,IAAI,KAAK,WAAW,QAAQ,gBAAgB,KAAK,SAAS,SAAS,GACjE;EAEF,MAAM,aAAa,KAAK,SAAS;EACjC,IACE,WAAW,WAAW,QAAQ,eAC9B,WAAW,WAAW,QAAQ,gBAC9B,WAAW,WAAW,QAAQ,WAE9B;EAEF,MAAM,SAAS,WAAW,MAAM,WAAW,MAAM,WAAW,EAAE;EAC9D,IAAI,CAAC,YAAY,KAAK,MAAM,GAC1B;EAEF,OAAO,KAAK;GACV;GACA,MAAM,KAAK,SAAS,MAAM,CAAC,CAAC,CAAC,KAAI,UAAS,WAAW,MAAM,MAAM,MAAM,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;EACzF,CAAC;CACH,CAAC;CACD,OAAO;AACT;AAEA,SAAS,gBAAgB,SAAmB,MAA0C;CACpF,MAAM,YAAY,IAAI,IAAI,OAAO;CACjC,MAAM,SAAmB,CAAC;CAC1B,OAAO,UAAU,OAAO,GAAG;EACzB,MAAM,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC,QAAO,UAAS;GAE3C,OAAO,CAAC,GADK,KAAK,IAAI,KAAK,qBAAK,IAAI,IAAY,CACjC,CAAC,CAAC,OAAM,QAAO,CAAC,UAAU,IAAI,GAAG,CAAC;EACnD,CAAC;EACD,IAAI,MAAM,WAAW,GACnB,OAAO,CAAC,GAAG,WAAW,GAAG,MAAM,CAAC,CAAC,QAAQ;EAE3C,MAAM,KAAK;EACX,KAAK,MAAM,SAAS,OAAO;GACzB,OAAO,KAAK,KAAK;GACjB,UAAU,OAAO,KAAK;EACxB;CACF;CACA,OAAO;AACT"}
+{"version":3,"file":"index.js","names":[],"sources":["../../src/library/template-instantiation.ts"],"sourcesContent":["/**\n * Module: template instantiation from the expression bank into a target {@link RSForm}.\n */\n\nimport { type AstNode, visitAstDFS } from '../parsing';\nimport {\n  type AliasMapping,\n  applyAliasMapping,\n  isGlobalAlias,\n  parseRSLangExpression,\n  splitTemplateDefinition,\n  substituteLocalAliases,\n  substituteTemplateArgs\n} from '../rslang/api';\nimport { labelType } from '../rslang/labels';\nimport { TokenID } from '../rslang/parser/token';\nimport { TypeID } from '../rslang/semantic/typification';\n\nimport { type ArgumentValue, type CstType, type RSForm, type TermForm } from './rsform';\nimport {\n  applyMappingToConstituents,\n  argumentValuesToMapping,\n  generateAlias,\n  inferTemplatedType,\n  isFunctional,\n  normalizeExpression,\n  type TemplateParamSourceFields,\n  type TemplateSourceFields\n} from './rsform-api';\n\n/**\n * Payload for one {@link Constituenta} to create when instantiating an expression-bank template.\n *\n * Aliases are generated for the target schema. Formal definitions and typifications already\n * reflect user argument substitution and remapping of bank aliases to those new aliases.\n */\nexport interface TemplateInstantiationItem {\n  /** Alias to assign in the target schema. */\n  alias: string;\n  /** Inferred type after argument substitution (function/predicate may become term/axiom). */\n  cst_type: CstType;\n  crucial: boolean;\n  convention: string;\n  definition_formal: string;\n  definition_raw: string;\n  term_raw: string;\n  term_forms: TermForm[];\n  typification_manual: string;\n  value_is_property: boolean;\n}\n\n/** Conflicting argument bindings inferred for the same template dependency. */\nexport interface TemplateBindingConflict {\n  templateAlias: string;\n  paramAlias: string;\n  existing: string;\n  incoming: string;\n}\n\n/**\n * Batch create plan: dependencies first, selected template constituent last.\n *\n * Reuses constituents whose substituted formal definition already exists in the target schema\n * (normalized comparison), even when the bank alias differs from the matched target alias.\n * {@link TemplateInstantiationPlan.mainDuplicateAlias} reports when the selected template is a duplicate.\n * Does not set `insert_after`; the caller supplies insertion on the batch DTO.\n */\nexport interface TemplateInstantiationPlan {\n  items: TemplateInstantiationItem[];\n  /** Set when the selected template expression already exists in the target schema. */\n  mainDuplicateAlias: string | null;\n  /** Set when nested template calls bind the same parameter to different global aliases. */\n  bindingConflict: TemplateBindingConflict | null;\n}\n\n/**\n * Input for planning template instantiation into a conceptual schema.\n */\nexport interface TemplateInstantiationInput {\n  /** Schema that will receive new constituents. */\n  targetSchema: RSForm;\n  /** All constituents of the selected expression-bank RSForm (not only the prototype). */\n  templateItems: TemplateSourceFields[];\n  /** Template constituent chosen in the UI (main expression to add). */\n  prototype: TemplateSourceFields;\n  /** User bindings from template parameter aliases to target-schema global aliases. */\n  userArgs: ArgumentValue[];\n  /**\n   * Main constituent attributes from the create dialog (alias, labels, flags).\n   * `definition_formal` and `cst_type` may be overridden from `prototype` and `userArgs`.\n   */\n  mainItem: TemplateInstantiationItem;\n}\n\ninterface FuncCallRef {\n  callee: string;\n  args: string[];\n}\n\ninterface TemplateParam {\n  alias: string;\n  typification: string;\n}\n\n/**\n * Build a batch create plan for a template expression and its bank dependencies.\n *\n * Walks nested `F#` / `P#` calls in the substituted expression, collects missing term-functions\n * and predicate-functions from `templateItems`, propagates argument bindings into nested calls,\n * topologically orders dependencies, and remaps bank aliases to freshly generated target aliases.\n */\nexport function planTemplateInstantiation(input: TemplateInstantiationInput): TemplateInstantiationPlan {\n  return new TemplateInstantiationPlanner(input).plan();\n}\n\n/**\n * Stateful planner for {@link planTemplateInstantiation}.\n *\n * Prefer the function wrapper unless you need to hold or reuse planner state between calls.\n */\nexport class TemplateInstantiationPlanner {\n  private readonly targetSchema: RSForm;\n  private readonly prototype: TemplateSourceFields;\n  private readonly userArgs: ArgumentValue[];\n  private readonly mainItemTemplate: TemplateInstantiationItem;\n  private readonly templateByAlias: Map<string, TemplateSourceFields>;\n  private readonly userMapping: AliasMapping;\n  private readonly depBindings = new Map<string, Map<string, string>>();\n  private readonly depRefs = new Map<string, Set<string>>();\n  private bindingConflict: TemplateBindingConflict | null = null;\n\n  /** @param input - See {@link TemplateInstantiationInput}. */\n  constructor(input: TemplateInstantiationInput) {\n    this.targetSchema = input.targetSchema;\n    this.prototype = input.prototype;\n    this.userArgs = input.userArgs;\n    this.mainItemTemplate = input.mainItem;\n    this.templateByAlias = new Map(\n      input.templateItems.filter(cst => isFunctional(cst.cst_type)).map(cst => [cst.alias, cst])\n    );\n    this.userMapping = argumentValuesToMapping(input.userArgs);\n  }\n\n  /** @returns Dependency items in topological order, then the main template item when it is not a duplicate. */\n  plan(): TemplateInstantiationPlan {\n    const mainDefinition = substituteTemplateArgs(this.prototype.definition_formal, this.userMapping);\n    this.collectDependencies(mainDefinition, this.userMapping);\n\n    if (this.bindingConflict) {\n      return { items: [], mainDuplicateAlias: null, bindingConflict: this.bindingConflict };\n    }\n\n    const definitionIndex = createFormalDefinitionIndex(this.targetSchema);\n    const dependencyItems = this.buildDependencyItems(definitionIndex);\n    const { item: mainItem, duplicateAlias: mainDuplicateAlias } = this.buildMainItem(\n      mainDefinition,\n      dependencyItems.takenAliases,\n      dependencyItems.aliasMapping,\n      definitionIndex\n    );\n\n    return {\n      items: mainItem ? [...dependencyItems.items, mainItem] : dependencyItems.items,\n      mainDuplicateAlias,\n      bindingConflict: null\n    };\n  }\n\n  private buildDependencyItems(definitionIndex: FormalDefinitionIndex): {\n    items: TemplateInstantiationItem[];\n    aliasMapping: AliasMapping;\n    takenAliases: string[];\n  } {\n    const dependencyAliases = topologicalSort([...this.depBindings.keys()], this.depRefs);\n    const aliasMapping: AliasMapping = {};\n    const takenAliases: string[] = [];\n    const reservedAliases = [this.mainItemTemplate.alias];\n    const items: TemplateInstantiationItem[] = [];\n\n    for (const templateAlias of dependencyAliases) {\n      const template = this.templateByAlias.get(templateAlias)!;\n      const bindings = this.depBindings.get(templateAlias)!;\n      const args = bindingMapToArgs(getTemplateParams(template), bindings);\n      const cst_type = inferTemplatedType(template.cst_type, args);\n      const definition = applyAliasMapping(\n        substituteTemplateArgs(template.definition_formal, argumentValuesToMapping(args)),\n        aliasMapping\n      );\n\n      const existingAlias = definitionIndex.find(cst_type, definition);\n      if (existingAlias) {\n        aliasMapping[templateAlias] = existingAlias;\n        continue;\n      }\n\n      const alias = generateAlias(template.cst_type, this.targetSchema, [...reservedAliases, ...takenAliases]);\n      takenAliases.push(alias);\n      aliasMapping[templateAlias] = alias;\n\n      const item = instantiateTemplateItem(template, args, alias);\n      item.definition_formal = definition;\n      applyMappingToConstituents([item], aliasMapping, false);\n      definitionIndex.register(cst_type, item.definition_formal, alias);\n      items.push(item);\n    }\n\n    return { items, aliasMapping, takenAliases };\n  }\n\n  private buildMainItem(\n    mainDefinition: string,\n    takenAliases: string[],\n    aliasMapping: AliasMapping,\n    definitionIndex: FormalDefinitionIndex\n  ): { item: TemplateInstantiationItem | null; duplicateAlias: string | null } {\n    const mappedDefinition = applyAliasMapping(mainDefinition, aliasMapping);\n    const cst_type = inferTemplatedType(this.prototype.cst_type, this.userArgs);\n\n    const duplicateAlias = definitionIndex.find(cst_type, mappedDefinition);\n    if (duplicateAlias) {\n      return { item: null, duplicateAlias };\n    }\n\n    const mainItem: TemplateInstantiationItem = {\n      ...this.mainItemTemplate,\n      definition_formal: mappedDefinition,\n      cst_type\n    };\n    applyMappingToConstituents([mainItem], aliasMapping, false);\n\n    if (takenAliases.includes(mainItem.alias)) {\n      mainItem.alias = generateAlias(mainItem.cst_type, this.targetSchema, [\n        ...takenAliases,\n        this.mainItemTemplate.alias\n      ]);\n    }\n\n    return { item: mainItem, duplicateAlias: null };\n  }\n\n  private ensureDep(templateAlias: string, bindings: Map<string, string>, referrer?: string): void {\n    if (this.bindingConflict) {\n      return;\n    }\n    if (!this.templateByAlias.has(templateAlias)) {\n      return;\n    }\n    if (referrer && this.depBindings.has(referrer)) {\n      const refs = this.depRefs.get(referrer) ?? new Set<string>();\n      refs.add(templateAlias);\n      this.depRefs.set(referrer, refs);\n    }\n    const mergeResult = mergeBindings(this.depBindings.get(templateAlias), bindings);\n    if (!mergeResult.ok) {\n      this.bindingConflict = { templateAlias, ...mergeResult.conflict };\n      return;\n    }\n    const merged = mergeResult.bindings;\n    const changed =\n      !this.depBindings.has(templateAlias) || merged.size !== (this.depBindings.get(templateAlias)?.size ?? 0);\n    this.depBindings.set(templateAlias, merged);\n    if (!changed && referrer) {\n      return;\n    }\n    const template = this.templateByAlias.get(templateAlias)!;\n    const args = bindingMapToArgs(getTemplateParams(template), merged);\n    const definition = substituteTemplateArgs(template.definition_formal, argumentValuesToMapping(args));\n    this.collectDependencies(definition, argumentValuesToMapping(args), templateAlias);\n  }\n\n  private collectDependencies(expression: string, scope: AliasMapping, referrer?: string): void {\n    if (this.bindingConflict) {\n      return;\n    }\n    const ast = parseRSLangExpression(expression);\n    if (!ast) {\n      return;\n    }\n    for (const call of extractFuncCalls(ast, expression)) {\n      const template = this.templateByAlias.get(call.callee);\n      if (!template) {\n        continue;\n      }\n      const scopedArgs = call.args.map(arg => substituteLocalAliases(arg, scope));\n      const bindings = bindingsFromCall(getTemplateParams(template), scopedArgs, scope);\n      this.ensureDep(call.callee, bindings, referrer);\n    }\n  }\n}\n\n// ======= Internals ========\n\n/** Normalized formal definitions in the target schema and in the current plan. */\nclass FormalDefinitionIndex {\n  private readonly byKey = new Map<string, string>();\n\n  register(cst_type: CstType, definition_formal: string, alias: string): void {\n    const normalized = normalizeExpression(definition_formal, cst_type);\n    if (!normalized) {\n      return;\n    }\n    this.byKey.set(formalDefinitionKey(cst_type, normalized), alias);\n  }\n\n  find(cst_type: CstType, definition_formal: string): string | null {\n    const normalized = normalizeExpression(definition_formal, cst_type);\n    if (!normalized) {\n      return null;\n    }\n    return this.byKey.get(formalDefinitionKey(cst_type, normalized)) ?? null;\n  }\n}\n\nfunction createFormalDefinitionIndex(schema: RSForm): FormalDefinitionIndex {\n  const index = new FormalDefinitionIndex();\n  for (const cst of schema.items) {\n    index.register(cst.cst_type, cst.definition_formal, cst.alias);\n  }\n  return index;\n}\n\nfunction formalDefinitionKey(cst_type: CstType, normalized: string): string {\n  return `${cst_type}\\0${normalized}`;\n}\n\nfunction instantiateTemplateItem(\n  template: TemplateSourceFields,\n  args: ArgumentValue[],\n  alias: string\n): TemplateInstantiationItem {\n  return {\n    alias,\n    cst_type: inferTemplatedType(template.cst_type, args),\n    crucial: template.crucial,\n    convention: template.convention,\n    definition_formal: substituteTemplateArgs(template.definition_formal, argumentValuesToMapping(args)),\n    definition_raw: template.definition_raw,\n    term_raw: template.term_raw,\n    term_forms: [...template.term_forms],\n    typification_manual: template.typification_manual,\n    value_is_property: template.value_is_property\n  };\n}\n\nfunction bindingsFromCall(params: TemplateParam[], callArgs: string[], scope: AliasMapping): Map<string, string> {\n  const bindings = new Map<string, string>();\n  params.forEach((param, index) => {\n    const value = resolveArgBinding(callArgs[index] ?? '', scope);\n    if (value) {\n      bindings.set(param.alias, value);\n    }\n  });\n  return bindings;\n}\n\nfunction resolveArgBinding(argExpr: string, scope: AliasMapping): string | undefined {\n  const scoped = substituteLocalAliases(argExpr, scope).trim();\n  if (isGlobalAlias(scoped)) {\n    return scoped;\n  }\n  return undefined;\n}\n\ntype MergeBindingsResult =\n  | { ok: true; bindings: Map<string, string> }\n  | { ok: false; conflict: { paramAlias: string; existing: string; incoming: string } };\n\nfunction mergeBindings(existing: Map<string, string> | undefined, incoming: Map<string, string>): MergeBindingsResult {\n  const result = new Map(existing);\n  for (const [alias, value] of incoming) {\n    const existingValue = result.get(alias);\n    if (existingValue === undefined) {\n      result.set(alias, value);\n    } else if (existingValue !== value) {\n      return { ok: false, conflict: { paramAlias: alias, existing: existingValue, incoming: value } };\n    }\n  }\n  return { ok: true, bindings: result };\n}\n\nfunction bindingMapToArgs(params: TemplateParam[], bindings: Map<string, string>): ArgumentValue[] {\n  return params.map(param => ({\n    alias: param.alias,\n    typification: param.typification,\n    value: bindings.get(param.alias)\n  }));\n}\n\nfunction getTemplateParams(template: TemplateParamSourceFields): TemplateParam[] {\n  const effectiveType = template.effectiveType;\n  if (effectiveType && (effectiveType.typeID === TypeID.function || effectiveType.typeID === TypeID.predicate)) {\n    return effectiveType.args.map(arg => ({\n      alias: arg.alias,\n      typification: labelType(arg.type)\n    }));\n  }\n  const { head } = splitTemplateDefinition(template.definition_formal);\n  if (!head) {\n    return [];\n  }\n  return head.split(',').map(part => {\n    const trimmed = part.trim();\n    const separator = trimmed.indexOf('∈');\n    if (separator === -1) {\n      return { alias: trimmed, typification: '' };\n    }\n    return {\n      alias: trimmed.slice(0, separator).trim(),\n      typification: trimmed.slice(separator + 1).trim()\n    };\n  });\n}\n\nfunction extractFuncCalls(ast: AstNode, expression: string): FuncCallRef[] {\n  const result: FuncCallRef[] = [];\n  visitAstDFS(ast, node => {\n    if (node.typeID !== TokenID.NT_FUNC_CALL || node.children.length < 1) {\n      return;\n    }\n    const calleeNode = node.children[0];\n    if (\n      calleeNode.typeID !== TokenID.ID_FUNCTION &&\n      calleeNode.typeID !== TokenID.ID_PREDICATE &&\n      calleeNode.typeID !== TokenID.ID_GLOBAL\n    ) {\n      return;\n    }\n    const callee = expression.slice(calleeNode.from, calleeNode.to);\n    if (!/^[FP]\\d+$/.test(callee)) {\n      return;\n    }\n    result.push({\n      callee,\n      args: node.children.slice(1).map(child => expression.slice(child.from, child.to).trim())\n    });\n  });\n  return result;\n}\n\nfunction topologicalSort(aliases: string[], refs: Map<string, Set<string>>): string[] {\n  const remaining = new Set(aliases);\n  const sorted: string[] = [];\n  while (remaining.size > 0) {\n    const ready = [...remaining].filter(alias => {\n      const deps = refs.get(alias) ?? new Set<string>();\n      return [...deps].every(dep => !remaining.has(dep));\n    });\n    if (ready.length === 0) {\n      return [...remaining, ...sorted].reverse();\n    }\n    ready.sort();\n    for (const alias of ready) {\n      sorted.push(alias);\n      remaining.delete(alias);\n    }\n  }\n  return sorted;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AA+GA,SAAgB,0BAA0B,OAA8D;CACtG,OAAO,IAAI,6BAA6B,KAAK,CAAC,CAAC,KAAK;AACtD;;;;;;AAOA,IAAa,+BAAb,MAA0C;CACxC;CACA;CACA;CACA;CACA;CACA;CACA,8BAA+B,IAAI,IAAiC;CACpE,0BAA2B,IAAI,IAAyB;CACxD,kBAA0D;;CAG1D,YAAY,OAAmC;EAC7C,KAAK,eAAe,MAAM;EAC1B,KAAK,YAAY,MAAM;EACvB,KAAK,WAAW,MAAM;EACtB,KAAK,mBAAmB,MAAM;EAC9B,KAAK,kBAAkB,IAAI,IACzB,MAAM,cAAc,QAAO,QAAO,aAAa,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAI,QAAO,CAAC,IAAI,OAAO,GAAG,CAAC,CAC3F;EACA,KAAK,cAAc,wBAAwB,MAAM,QAAQ;CAC3D;;CAGA,OAAkC;EAChC,MAAM,iBAAiB,uBAAuB,KAAK,UAAU,mBAAmB,KAAK,WAAW;EAChG,KAAK,oBAAoB,gBAAgB,KAAK,WAAW;EAEzD,IAAI,KAAK,iBACP,OAAO;GAAE,OAAO,CAAC;GAAG,oBAAoB;GAAM,iBAAiB,KAAK;EAAgB;EAGtF,MAAM,kBAAkB,4BAA4B,KAAK,YAAY;EACrE,MAAM,kBAAkB,KAAK,qBAAqB,eAAe;EACjE,MAAM,EAAE,MAAM,UAAU,gBAAgB,uBAAuB,KAAK,cAClE,gBACA,gBAAgB,cAChB,gBAAgB,cAChB,eACF;EAEA,OAAO;GACL,OAAO,WAAW,CAAC,GAAG,gBAAgB,OAAO,QAAQ,IAAI,gBAAgB;GACzE;GACA,iBAAiB;EACnB;CACF;CAEA,qBAA6B,iBAI3B;EACA,MAAM,oBAAoB,gBAAgB,CAAC,GAAG,KAAK,YAAY,KAAK,CAAC,GAAG,KAAK,OAAO;EACpF,MAAM,eAA6B,CAAC;EACpC,MAAM,eAAyB,CAAC;EAChC,MAAM,kBAAkB,CAAC,KAAK,iBAAiB,KAAK;EACpD,MAAM,QAAqC,CAAC;EAE5C,KAAK,MAAM,iBAAiB,mBAAmB;GAC7C,MAAM,WAAW,KAAK,gBAAgB,IAAI,aAAa;GACvD,MAAM,WAAW,KAAK,YAAY,IAAI,aAAa;GACnD,MAAM,OAAO,iBAAiB,kBAAkB,QAAQ,GAAG,QAAQ;GACnE,MAAM,WAAW,mBAAmB,SAAS,UAAU,IAAI;GAC3D,MAAM,aAAa,kBACjB,uBAAuB,SAAS,mBAAmB,wBAAwB,IAAI,CAAC,GAChF,YACF;GAEA,MAAM,gBAAgB,gBAAgB,KAAK,UAAU,UAAU;GAC/D,IAAI,eAAe;IACjB,aAAa,iBAAiB;IAC9B;GACF;GAEA,MAAM,QAAQ,cAAc,SAAS,UAAU,KAAK,cAAc,CAAC,GAAG,iBAAiB,GAAG,YAAY,CAAC;GACvG,aAAa,KAAK,KAAK;GACvB,aAAa,iBAAiB;GAE9B,MAAM,OAAO,wBAAwB,UAAU,MAAM,KAAK;GAC1D,KAAK,oBAAoB;GACzB,2BAA2B,CAAC,IAAI,GAAG,cAAc,KAAK;GACtD,gBAAgB,SAAS,UAAU,KAAK,mBAAmB,KAAK;GAChE,MAAM,KAAK,IAAI;EACjB;EAEA,OAAO;GAAE;GAAO;GAAc;EAAa;CAC7C;CAEA,cACE,gBACA,cACA,cACA,iBAC2E;EAC3E,MAAM,mBAAmB,kBAAkB,gBAAgB,YAAY;EACvE,MAAM,WAAW,mBAAmB,KAAK,UAAU,UAAU,KAAK,QAAQ;EAE1E,MAAM,iBAAiB,gBAAgB,KAAK,UAAU,gBAAgB;EACtE,IAAI,gBACF,OAAO;GAAE,MAAM;GAAM;EAAe;EAGtC,MAAM,WAAsC;GAC1C,GAAG,KAAK;GACR,mBAAmB;GACnB;EACF;EACA,2BAA2B,CAAC,QAAQ,GAAG,cAAc,KAAK;EAE1D,IAAI,aAAa,SAAS,SAAS,KAAK,GACtC,SAAS,QAAQ,cAAc,SAAS,UAAU,KAAK,cAAc,CACnE,GAAG,cACH,KAAK,iBAAiB,KACxB,CAAC;EAGH,OAAO;GAAE,MAAM;GAAU,gBAAgB;EAAK;CAChD;CAEA,UAAkB,eAAuB,UAA+B,UAAyB;EAC/F,IAAI,KAAK,iBACP;EAEF,IAAI,CAAC,KAAK,gBAAgB,IAAI,aAAa,GACzC;EAEF,IAAI,YAAY,KAAK,YAAY,IAAI,QAAQ,GAAG;GAC9C,MAAM,OAAO,KAAK,QAAQ,IAAI,QAAQ,qBAAK,IAAI,IAAY;GAC3D,KAAK,IAAI,aAAa;GACtB,KAAK,QAAQ,IAAI,UAAU,IAAI;EACjC;EACA,MAAM,cAAc,cAAc,KAAK,YAAY,IAAI,aAAa,GAAG,QAAQ;EAC/E,IAAI,CAAC,YAAY,IAAI;GACnB,KAAK,kBAAkB;IAAE;IAAe,GAAG,YAAY;GAAS;GAChE;EACF;EACA,MAAM,SAAS,YAAY;EAC3B,MAAM,UACJ,CAAC,KAAK,YAAY,IAAI,aAAa,KAAK,OAAO,UAAU,KAAK,YAAY,IAAI,aAAa,CAAC,EAAE,QAAQ;EACxG,KAAK,YAAY,IAAI,eAAe,MAAM;EAC1C,IAAI,CAAC,WAAW,UACd;EAEF,MAAM,WAAW,KAAK,gBAAgB,IAAI,aAAa;EACvD,MAAM,OAAO,iBAAiB,kBAAkB,QAAQ,GAAG,MAAM;EACjE,MAAM,aAAa,uBAAuB,SAAS,mBAAmB,wBAAwB,IAAI,CAAC;EACnG,KAAK,oBAAoB,YAAY,wBAAwB,IAAI,GAAG,aAAa;CACnF;CAEA,oBAA4B,YAAoB,OAAqB,UAAyB;EAC5F,IAAI,KAAK,iBACP;EAEF,MAAM,MAAM,sBAAsB,UAAU;EAC5C,IAAI,CAAC,KACH;EAEF,KAAK,MAAM,QAAQ,iBAAiB,KAAK,UAAU,GAAG;GACpD,MAAM,WAAW,KAAK,gBAAgB,IAAI,KAAK,MAAM;GACrD,IAAI,CAAC,UACH;GAEF,MAAM,aAAa,KAAK,KAAK,KAAI,QAAO,uBAAuB,KAAK,KAAK,CAAC;GAC1E,MAAM,WAAW,iBAAiB,kBAAkB,QAAQ,GAAG,YAAY,KAAK;GAChF,KAAK,UAAU,KAAK,QAAQ,UAAU,QAAQ;EAChD;CACF;AACF;;AAKA,IAAM,wBAAN,MAA4B;CAC1B,wBAAyB,IAAI,IAAoB;CAEjD,SAAS,UAAmB,mBAA2B,OAAqB;EAC1E,MAAM,aAAa,oBAAoB,mBAAmB,QAAQ;EAClE,IAAI,CAAC,YACH;EAEF,KAAK,MAAM,IAAI,oBAAoB,UAAU,UAAU,GAAG,KAAK;CACjE;CAEA,KAAK,UAAmB,mBAA0C;EAChE,MAAM,aAAa,oBAAoB,mBAAmB,QAAQ;EAClE,IAAI,CAAC,YACH,OAAO;EAET,OAAO,KAAK,MAAM,IAAI,oBAAoB,UAAU,UAAU,CAAC,KAAK;CACtE;AACF;AAEA,SAAS,4BAA4B,QAAuC;CAC1E,MAAM,QAAQ,IAAI,sBAAsB;CACxC,KAAK,MAAM,OAAO,OAAO,OACvB,MAAM,SAAS,IAAI,UAAU,IAAI,mBAAmB,IAAI,KAAK;CAE/D,OAAO;AACT;AAEA,SAAS,oBAAoB,UAAmB,YAA4B;CAC1E,OAAO,GAAG,SAAS,IAAI;AACzB;AAEA,SAAS,wBACP,UACA,MACA,OAC2B;CAC3B,OAAO;EACL;EACA,UAAU,mBAAmB,SAAS,UAAU,IAAI;EACpD,SAAS,SAAS;EAClB,YAAY,SAAS;EACrB,mBAAmB,uBAAuB,SAAS,mBAAmB,wBAAwB,IAAI,CAAC;EACnG,gBAAgB,SAAS;EACzB,UAAU,SAAS;EACnB,YAAY,CAAC,GAAG,SAAS,UAAU;EACnC,qBAAqB,SAAS;EAC9B,mBAAmB,SAAS;CAC9B;AACF;AAEA,SAAS,iBAAiB,QAAyB,UAAoB,OAA0C;CAC/G,MAAM,2BAAW,IAAI,IAAoB;CACzC,OAAO,SAAS,OAAO,UAAU;EAC/B,MAAM,QAAQ,kBAAkB,SAAS,UAAU,IAAI,KAAK;EAC5D,IAAI,OACF,SAAS,IAAI,MAAM,OAAO,KAAK;CAEnC,CAAC;CACD,OAAO;AACT;AAEA,SAAS,kBAAkB,SAAiB,OAAyC;CACnF,MAAM,SAAS,uBAAuB,SAAS,KAAK,CAAC,CAAC,KAAK;CAC3D,IAAI,cAAc,MAAM,GACtB,OAAO;AAGX;AAMA,SAAS,cAAc,UAA2C,UAAoD;CACpH,MAAM,SAAS,IAAI,IAAI,QAAQ;CAC/B,KAAK,MAAM,CAAC,OAAO,UAAU,UAAU;EACrC,MAAM,gBAAgB,OAAO,IAAI,KAAK;EACtC,IAAI,kBAAkB,QACpB,OAAO,IAAI,OAAO,KAAK;OAClB,IAAI,kBAAkB,OAC3B,OAAO;GAAE,IAAI;GAAO,UAAU;IAAE,YAAY;IAAO,UAAU;IAAe,UAAU;GAAM;EAAE;CAElG;CACA,OAAO;EAAE,IAAI;EAAM,UAAU;CAAO;AACtC;AAEA,SAAS,iBAAiB,QAAyB,UAAgD;CACjG,OAAO,OAAO,KAAI,WAAU;EAC1B,OAAO,MAAM;EACb,cAAc,MAAM;EACpB,OAAO,SAAS,IAAI,MAAM,KAAK;CACjC,EAAE;AACJ;AAEA,SAAS,kBAAkB,UAAsD;CAC/E,MAAM,gBAAgB,SAAS;CAC/B,IAAI,kBAAkB,cAAc,WAAW,OAAO,YAAY,cAAc,WAAW,OAAO,YAChG,OAAO,cAAc,KAAK,KAAI,SAAQ;EACpC,OAAO,IAAI;EACX,cAAc,UAAU,IAAI,IAAI;CAClC,EAAE;CAEJ,MAAM,EAAE,SAAS,wBAAwB,SAAS,iBAAiB;CACnE,IAAI,CAAC,MACH,OAAO,CAAC;CAEV,OAAO,KAAK,MAAM,GAAG,CAAC,CAAC,KAAI,SAAQ;EACjC,MAAM,UAAU,KAAK,KAAK;EAC1B,MAAM,YAAY,QAAQ,QAAQ,GAAG;EACrC,IAAI,cAAc,IAChB,OAAO;GAAE,OAAO;GAAS,cAAc;EAAG;EAE5C,OAAO;GACL,OAAO,QAAQ,MAAM,GAAG,SAAS,CAAC,CAAC,KAAK;GACxC,cAAc,QAAQ,MAAM,YAAY,CAAC,CAAC,CAAC,KAAK;EAClD;CACF,CAAC;AACH;AAEA,SAAS,iBAAiB,KAAc,YAAmC;CACzE,MAAM,SAAwB,CAAC;CAC/B,YAAY,MAAK,SAAQ;EACvB,IAAI,KAAK,WAAW,QAAQ,gBAAgB,KAAK,SAAS,SAAS,GACjE;EAEF,MAAM,aAAa,KAAK,SAAS;EACjC,IACE,WAAW,WAAW,QAAQ,eAC9B,WAAW,WAAW,QAAQ,gBAC9B,WAAW,WAAW,QAAQ,WAE9B;EAEF,MAAM,SAAS,WAAW,MAAM,WAAW,MAAM,WAAW,EAAE;EAC9D,IAAI,CAAC,YAAY,KAAK,MAAM,GAC1B;EAEF,OAAO,KAAK;GACV;GACA,MAAM,KAAK,SAAS,MAAM,CAAC,CAAC,CAAC,KAAI,UAAS,WAAW,MAAM,MAAM,MAAM,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;EACzF,CAAC;CACH,CAAC;CACD,OAAO;AACT;AAEA,SAAS,gBAAgB,SAAmB,MAA0C;CACpF,MAAM,YAAY,IAAI,IAAI,OAAO;CACjC,MAAM,SAAmB,CAAC;CAC1B,OAAO,UAAU,OAAO,GAAG;EACzB,MAAM,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC,QAAO,UAAS;GAE3C,OAAO,CAAC,GADK,KAAK,IAAI,KAAK,qBAAK,IAAI,IAAY,CACjC,CAAC,CAAC,OAAM,QAAO,CAAC,UAAU,IAAI,GAAG,CAAC;EACnD,CAAC;EACD,IAAI,MAAM,WAAW,GACnB,OAAO,CAAC,GAAG,WAAW,GAAG,MAAM,CAAC,CAAC,QAAQ;EAE3C,MAAM,KAAK;EACX,KAAK,MAAM,SAAS,OAAO;GACzB,OAAO,KAAK,KAAK;GACjB,UAAU,OAAO,KAAK;EACxB;CACF;CACA,OAAO;AACT"}

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

@@ -1,5 +1,5 @@
 import { r as LibraryItem } from "../library-CYun28Xz.js";
-import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-Dac5sJhO.js";
+import { S as RSForm, v as Constituenta, w as Substitution } from "../diagnostics-DsEhmFh0.js";
 import { NodeType, OperationSchema, SubstitutionErrorDescription } from "./oss.js";
 
 //#region src/library/oss-api.d.ts