@dialecte/scl 0.5.0 → 0.6.0

package/dist/v2019C1/extensions/lifecycle/engine/diff.types.d.ts

@@ -1,4 +1,6 @@
 import { EditableAttribute } from '../constraints';
+import { OffLevel } from '../layers/topology/resolve-primary-placement.types';
+import { ReportMapping } from '../mapping/mapping.types';
 import { AnyRefOrRecord } from '@dialecte/core';
 /** How a diffed element changed between the (updated) template and the instance. */
 export type DiffChange = 'added' | 'removed' | 'modified' | 'unchanged' | 'target-only';
@@ -41,16 +43,8 @@ export type InstanceDiff = {
     root: DiffNode;
     groups: DecisionGroup[];
     summary: DiffSummary;
-};
-/**
- * An identity-locked placement collision on a decision group's primary: every field
- * of the violated uniqueness constraint is identity (none editable), so the engine
- * cannot differentiate a copy. `adoptTargetId` is the existing element the primary is
- * identity-equal to (the reconcile target when the user chooses to adopt).
- */
-export type GroupConflict = {
-    fields: string[];
-    adoptTargetId: string;
+    /** Where the shared source elements this instance refers to land in the project. */
+    mappings?: ReportMapping[];
 };
 /**
  * A decision unit for the full track. The user decides
@@ -67,7 +61,7 @@ export type DecisionGroup = {
     /** Stable key of the primary; also the key in the `decisions` map. */
     id: string;
     change: Exclude<DiffChange, 'unchanged'>;
-    /** Coarse label (`"<change> <tag>"`); the UI enriches it via `extractElementTitle(primary.sourceRef ?? instanceRef)`. */
+    /** Coarse label (`"<change> <tag>"`); the UI enriches it via `info.of(primary.sourceRef ?? instanceRef)`. */
     title: string;
     primary: DiffNode;
     companions: DiffNode[];
@@ -80,16 +74,6 @@ export type DecisionGroup = {
      * report surface tags it.
      */
     editableAttributes?: EditableAttribute[];
-    /**
-     * Set at report time when placing the primary would violate a scoped-uniqueness
-     * constraint whose fields are ALL identity (non-editable) — the engine cannot make
-     * a distinct copy, so `instantiate` cannot duplicate it. The group then needs a
-     * decision: `skip` (leave the existing element) or `accept` = **adopt** (reconcile
-     * the template onto `adoptTargetId`, i.e. update that existing element in place).
-     * Omitted when there is no collision or the collision is resolvable (an editable
-     * field is bumped instead — see {@link EditableAttribute.conflict}).
-     */
-    conflict?: GroupConflict;
 };
 /**
  * One instance in a report: a linked template instance (`Application`/`Function`) with
@@ -100,7 +84,15 @@ export type DecisionGroup = {
 export type ReportInstance = {
     /** The instance root record (`Application`/`Function`). Omitted for a first-time instantiate. */
     rootRef?: AnyRefOrRecord;
-    /** Human-readable title of the instance root (`extractElementTitle`). */
+    /**
+     * A first placement made several times (a primary the template gained, placed for each instance of
+     * the template): the project element this one is made for — the level it lands under (a primary of
+     * a substation template), or the instance of the application it is placed for (a function the
+     * application gained). Its groups are scoped to it, so each is decided on its own. Absent when the
+     * placement is made once.
+     */
+    placedFor?: AnyRefOrRecord;
+    /** Human-readable title of the instance root (`info.of`). */
     title: string;
     /** Recognised as an instantiation of the loaded template (provenance or `templateUuid` lineage). */
     linked: boolean;
@@ -110,6 +102,8 @@ export type ReportInstance = {
     tree: DiffNode;
     /** The change tree folded into accept/skip units for this instance. */
     groups: DecisionGroup[];
+    /** Where the shared source elements this instance refers to land in the project. */
+    mappings: ReportMapping[];
 };
 export type DiffReport = {
     /** One entry per reported instance (`Application`/`Function`). */
@@ -120,6 +114,19 @@ export type DiffReport = {
      */
     needsDecisions: boolean;
     summary: DiffSummary;
+    /** Where each shared source element lands in the project — one entry per source element. */
+    mappings: ReportMapping[];
+    /**
+     * The instances of the template already in the project that the report covers: what an update
+     * reaches (an application, a function, a placed unit), not the functions an application composes.
+     * None on a first placement.
+     */
+    templateInstances: AnyRefOrRecord[];
+    /**
+     * Set when the consumer started from a level ABOVE the one the template was made for: its content
+     * cannot stay there and lands below, on the levels its placement mappings say.
+     */
+    offLevel?: OffLevel;
 };
 /**
  * A user's choice on one decision group. Either a plain accept/skip, or an object

package/dist/v2019C1/extensions/lifecycle/engine/diff.types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diff.types.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/diff.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEpD,oFAAoF;AAGpF,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,aAAa,CAAA;AAEvF,MAAM,MAAM,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAE/E,MAAM,MAAM,QAAQ,GAAG;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;IACf,kFAAkF;IAClF,SAAS,CAAC,EAAE,cAAc,CAAA;IAC1B,2EAA2E;IAC3E,WAAW,CAAC,EAAE,cAAc,CAAA;IAC5B;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,cAAc,CAAA;IAC3B,iDAAiD;IACjD,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAA;IACpC,QAAQ,EAAE,QAAQ,EAAE,CAAA;CACpB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAA;AAE9E;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,QAAQ,CAAA;IACd,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,OAAO,EAAE,WAAW,CAAA;CACpB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,aAAa,EAAE,MAAM,CAAA;CACrB,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;IACxC,yHAAyH;IACzH,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,QAAQ,CAAA;IACjB,UAAU,EAAE,QAAQ,EAAE,CAAA;IACtB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,eAAe,EAAE,QAAQ,GAAG,MAAM,CAAA;IAClC;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,CAAA;IACxC;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,aAAa,CAAA;CACxB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG;IAC5B,iGAAiG;IACjG,OAAO,CAAC,EAAE,cAAc,CAAA;IACxB,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAA;IACb,oGAAoG;IACpG,MAAM,EAAE,OAAO,CAAA;IACf,kEAAkE;IAClE,QAAQ,EAAE,OAAO,CAAA;IACjB,yEAAyE;IACzE,IAAI,EAAE,QAAQ,CAAA;IACd,uEAAuE;IACvE,MAAM,EAAE,aAAa,EAAE,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACxB,kEAAkE;IAClE,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B;;;OAGG;IACH,cAAc,EAAE,OAAO,CAAA;IACvB,OAAO,EAAE,WAAW,CAAA;CACpB,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACtB,QAAQ,GACR,MAAM,GACN;IAAE,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,CAAA;AAEjE;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA"}
+{"version":3,"file":"diff.types.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/diff.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oDAAoD,CAAA;AAClF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEpD,oFAAoF;AAGpF,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,aAAa,CAAA;AAEvF,MAAM,MAAM,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAE/E,MAAM,MAAM,QAAQ,GAAG;IACtB,MAAM,EAAE,UAAU,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;IACf,kFAAkF;IAClF,SAAS,CAAC,EAAE,cAAc,CAAA;IAC1B,2EAA2E;IAC3E,WAAW,CAAC,EAAE,cAAc,CAAA;IAC5B;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,cAAc,CAAA;IAC3B,iDAAiD;IACjD,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAA;IACpC,QAAQ,EAAE,QAAQ,EAAE,CAAA;CACpB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAA;AAE9E;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IAC1B,IAAI,EAAE,QAAQ,CAAA;IACd,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,OAAO,EAAE,WAAW,CAAA;IACpB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAA;CAC1B,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;IACxC,6GAA6G;IAC7G,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,QAAQ,CAAA;IACjB,UAAU,EAAE,QAAQ,EAAE,CAAA;IACtB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,eAAe,EAAE,QAAQ,GAAG,MAAM,CAAA;IAClC;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,CAAA;CACxC,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG;IAC5B,iGAAiG;IACjG,OAAO,CAAC,EAAE,cAAc,CAAA;IACxB;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,cAAc,CAAA;IAC1B,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAA;IACb,oGAAoG;IACpG,MAAM,EAAE,OAAO,CAAA;IACf,kEAAkE;IAClE,QAAQ,EAAE,OAAO,CAAA;IACjB,yEAAyE;IACzE,IAAI,EAAE,QAAQ,CAAA;IACd,uEAAuE;IACvE,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,oFAAoF;IACpF,QAAQ,EAAE,aAAa,EAAE,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACxB,kEAAkE;IAClE,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B;;;OAGG;IACH,cAAc,EAAE,OAAO,CAAA;IACvB,OAAO,EAAE,WAAW,CAAA;IACpB,4FAA4F;IAC5F,QAAQ,EAAE,aAAa,EAAE,CAAA;IACzB;;;;OAIG;IACH,iBAAiB,EAAE,cAAc,EAAE,CAAA;IACnC;;;OAGG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAA;CACnB,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACtB,QAAQ,GACR,MAAM,GACN;IAAE,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,CAAA;AAEjE;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/engine/group.d.ts

@@ -1,4 +1,5 @@
-import { DecisionGroup, DiffNode } from './diff.types';
+import { DecisionGroup, DiffNode, ReportInstance } from './diff.types';
+import { AnyRefOrRecord } from '@dialecte/core';
 /**
  * Group stage: fold the `DiffNode` change tree into
  * accept/skip decision units.
@@ -17,4 +18,17 @@ export declare function collectChangedDescendants(params: {
     node: DiffNode;
     out: DiffNode[];
 }): void;
+/**
+ * Make a first-placement report instance one made for an element of the project: it says which, and
+ * its groups are scoped to it — the same template element placed twice yields two groups, decided
+ * apart.
+ */
+export declare function placeFor(params: {
+    instance: ReportInstance;
+    placedFor: AnyRefOrRecord;
+}): void;
+export declare function scopedId(params: {
+    id: string;
+    scopePrefix: string;
+}): string;
 //# sourceMappingURL=group.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/group.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"group.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/group.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAE3D;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,aAAa,EAAE,CAIlF;AA+BD,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,EAAE,CAAA;CAAE,GAAG,IAAI,CAM3F"}
+{"version":3,"file":"group.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/group.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC3E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEpD;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,aAAa,EAAE,CAIlF;AA+BD,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,EAAE,CAAA;CAAE,GAAG,IAAI,CAM3F;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,cAAc,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAAG,IAAI,CAS9F;AAWD,wBAAgB,QAAQ,CAAC,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAE5E"}

package/dist/v2019C1/extensions/lifecycle/engine/index.d.ts

@@ -1,7 +1,8 @@
 export { diff, assembleReport, allGroups, collectTreeIds } from './diff';
-export { groupChanges } from './group';
+export { groupChanges, placeFor } from './group';
 export { reconcile } from './reconcile';
-export { acceptedRefIds, assertDecisionsCoherent, collisionOverrides, decisionAction, } from './decide';
+export { clearAnnotations } from './correlate';
+export { acceptedRefIds, assertDecisionsCoherent, collisionOverrides, decisionAction, firstTimeGroups, firstTimeReportInstance, firstTimeReportInstances, } from './decide';
 export { visibleAttributes } from './visible-attributes';
 export type { AcceptedIds, CollisionOverrides } from './decide.types';
 export type * from './diff.types';

package/dist/v2019C1/extensions/lifecycle/engine/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAA;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvC,OAAO,EACN,cAAc,EACd,uBAAuB,EACvB,kBAAkB,EAClB,cAAc,GACd,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAExD,YAAY,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACrE,mBAAmB,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAA;AACxE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EACN,cAAc,EACd,uBAAuB,EACvB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,uBAAuB,EACvB,wBAAwB,GACxB,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAExD,YAAY,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACrE,mBAAmB,cAAc,CAAA"}

package/dist/v2019C1/extensions/lifecycle/engine/instance-tag.d.ts

@@ -0,0 +1,16 @@
+import { AnyTreeRecord } from '@dialecte/core';
+/** The tag an element of a template carries once instantiated — its own for any other element. */
+export declare function instanceTagOf(tagName: string): string;
+/** Whether a source subtree holds an element that only exists in a template. */
+export declare function holdsTemplateOnlyElement(tree: AnyTreeRecord): boolean;
+/**
+ * A source subtree as it is instantiated below `parentTagName`: every template-only element
+ * carries the tag it becomes, and every element the namespace the schema declares for it where it
+ * now sits — the content of a function template is in the template's namespace, the content of a
+ * function is not.
+ */
+export declare function toInstanceTree<GenericTree extends AnyTreeRecord>(params: {
+    tree: GenericTree;
+    parentTagName: string;
+}): GenericTree;
+//# sourceMappingURL=instance-tag.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/instance-tag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instance-tag.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/instance-tag.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAkBnD,kGAAkG;AAClG,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAErD;AAED,gFAAgF;AAChF,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAErE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,WAAW,SAAS,aAAa,EAAE,MAAM,EAAE;IACzE,IAAI,EAAE,WAAW,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;CACrB,GAAG,WAAW,CAed"}

package/dist/v2019C1/extensions/lifecycle/engine/link-placement-dependencies.d.ts

@@ -0,0 +1,19 @@
+import { ReportInstance } from './diff.types';
+import { Config } from '../../../config';
+import type * as Core from '@dialecte/core';
+/**
+ * What the groups of one placement depend on, among the groups of that same placement:
+ *  - a group placing an element inside an element another group adds depends on it — a level
+ *    takes what it holds with it;
+ *  - a group adding a reference to an element another group places depends on that group — a
+ *    reference goes with what it points at.
+ *
+ * Leaving out the level, or what is referred to, while keeping what depends on it is then refused
+ * (`assertDecisionsCoherent`): nothing lands in a level that is not written, no reference points at
+ * nothing. `instances` are the report instances of ONE placement (a first placement, or what an
+ * update places for one instance).
+ */
+export declare function linkPlacementDependencies(sourceQuery: Core.Query<Config>, params: {
+    instances: readonly ReportInstance[];
+}): Promise<void>;
+//# sourceMappingURL=link-placement-dependencies.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/link-placement-dependencies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"link-placement-dependencies.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/link-placement-dependencies.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAA2B,cAAc,EAAE,MAAM,cAAc,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;GAWG;AACH,wBAAsB,yBAAyB,CAC9C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAC/B,MAAM,EAAE;IAAE,SAAS,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GAC9C,OAAO,CAAC,IAAI,CAAC,CAWf"}

package/dist/v2019C1/extensions/lifecycle/engine/match-child.d.ts

@@ -1,8 +1,14 @@
+import { RedirectedSourceUuids } from './reference-match';
 import { Config } from '../../../config';
 import { AnyTreeRecord } from '@dialecte/core';
 import type * as Core from '@dialecte/core';
 /** A read surface shared by the diff (Query) and reconcile (Transaction) sides. */
 type Reader = Core.Query<Config> | Core.Transaction<Config>;
+/**
+ * Source children whose counterpart is decided elsewhere, by source record id: the record id of the
+ * instance child each lands on, or `undefined` for a child that is new whatever the instance holds.
+ */
+export type PinnedMatches = ReadonlyMap<string, string | undefined>;
 /**
  * Find the instance child that corresponds to a source child — the ONE matcher shared by the diff
  * (report) and reconcile (apply) sides, so both pair children identically:
@@ -13,9 +19,22 @@ type Reader = Core.Query<Config> | Core.Transaction<Config>;
  *  - A uuid-less **REFERENCE** (e.g. `FunctionRef`) matches by its reference IDENTITY — the target
  *    `*Uuid` it points to, mapped back to template space — never by tag position; with a name-space
  *    fallback for projects authored with placeholder `templateUuid`s. `refsAlwaysAdded` forces a fresh
- *    instantiation's refs to surface as `added` instead of matching a prior instance's ref.
+ *    instantiation's refs to surface as `added` instead of matching a prior instance's ref. A reference
+ *    to a project element a source element was mapped onto reads as a reference to that source element
+ *    (`redirectedSourceUuids`), whatever the two are named.
  *  - Any other uuid-less element (e.g. `FunctionRoleContent`) matches a same-tag sibling by position.
  *
+ * Inside an element of the PROJECT a source element is mapped onto (`matchContainersByName`), an
+ * identified container with no lineage counterpart lands on the same-tag child of the same name —
+ * the project's own container, the one the layer merge pours into on a first placement.
+ *
+ * A child whose counterpart was decided elsewhere (`pinnedMatches` — a structural level, which lands
+ * where its placement mapping says) is not matched by any of these rules.
+ *
+ * In an element several instances of one template share, each instance has its own reference
+ * children: those of another instance (`foreignInstanceIds`) are never the counterpart of a child of
+ * this one, however alike they read once brought back to template space.
+ *
  * The source side reads raw identities; the candidate (target) side is normalized to template space —
  * that role split is internal here, so callers never pass a space/`mapToTemplate` flag.
  */
@@ -26,6 +45,10 @@ export declare function matchChild(sourceQuery: Reader, params: {
     index: Map<string, AnyTreeRecord>;
     matchedInstanceIds: ReadonlySet<string>;
     refsAlwaysAdded?: boolean;
+    redirectedSourceUuids?: RedirectedSourceUuids;
+    matchContainersByName?: boolean;
+    pinnedMatches?: PinnedMatches;
+    foreignInstanceIds?: ReadonlySet<string>;
 }): Promise<AnyTreeRecord | undefined>;
 export {};
 //# sourceMappingURL=match-child.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/match-child.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"match-child.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/match-child.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD,mFAAmF;AACnF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AAE3D;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,UAAU,CAC/B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE;IACP,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,aAAa,CAAA;IAC1B,cAAc,EAAE,aAAa,CAAA;IAC7B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IACjC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACvC,eAAe,CAAC,EAAE,OAAO,CAAA;CACzB,GACC,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CA+CpC"}
+{"version":3,"file":"match-child.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/match-child.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AAC9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD,mFAAmF;AACnF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AAE3D;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAA;AAEnE;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAsB,UAAU,CAC/B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE;IACP,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,aAAa,CAAA;IAC1B,cAAc,EAAE,aAAa,CAAA;IAC7B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IACjC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACvC,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,qBAAqB,CAAC,EAAE,qBAAqB,CAAA;IAC7C,qBAAqB,CAAC,EAAE,OAAO,CAAA;IAC/B,aAAa,CAAC,EAAE,aAAa,CAAA;IAC7B,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACxC,GACC,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAoEpC"}

package/dist/v2019C1/extensions/lifecycle/engine/public.d.ts

@@ -1,2 +1,2 @@
-export type { AttributeChange, DecisionGroup, DecisionMap, DiffChange, DiffNode, DiffReport, DiffSummary, GroupConflict, GroupDecision, } from './diff.types';
+export type { AttributeChange, DecisionGroup, DecisionMap, DiffChange, DiffNode, DiffReport, DiffSummary, GroupDecision, } from './diff.types';
 //# sourceMappingURL=public.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/public.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/public.ts"],"names":[],"mappings":"AAGA,YAAY,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,UAAU,EACV,QAAQ,EACR,UAAU,EACV,WAAW,EACX,aAAa,EACb,aAAa,GACb,MAAM,cAAc,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/public.ts"],"names":[],"mappings":"AAGA,YAAY,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,UAAU,EACV,QAAQ,EACR,UAAU,EACV,WAAW,EACX,aAAa,GACb,MAAM,cAAc,CAAA"}

package/dist/v2019C1/extensions/lifecycle/engine/reconcile.d.ts

@@ -1,8 +1,10 @@
 import { AcceptedIds, CollisionOverrides } from './decide.types';
-import { Config } from '../../../config';
+import { PinnedMatches } from './match-child';
+import { Config, Scl } from '../../../config';
 import { KeepNameTypesFrom } from '../../data-model/transaction';
 import { IdentityMode } from '../../identity/transaction/write-identity.types';
 import { MatchKey } from '../scenario';
+import { RedirectMapping } from '../../reference/transaction/apply-uuid-remap.types';
 import { AnyRefOrRecord } from '@dialecte/core';
 import type * as Core from '@dialecte/core';
 /**
@@ -48,5 +50,34 @@ export declare function reconcile(tx: Core.Transaction<Config>, params: {
      * delegates Application/Function to the fn/app cascade).
      */
     omit?: readonly string[];
-}): Promise<Map<string, AnyRefOrRecord>>;
+    /**
+     * Source elements mapped onto elements the project already holds: a reference of the instance
+     * to such a project element is the template's reference to the source element.
+     */
+    redirectMappings?: readonly RedirectMapping[];
+    /**
+     * The instance root is an element of the PROJECT that the source root is mapped onto (a shared
+     * element such as an `AllocationRole`), not an instance of it: its own attributes are never
+     * written. Only what the source contributes below it is reconciled: a named container lands on
+     * the project's container of the same name (whose attributes are the project's too), and
+     * nothing the element holds besides is removed.
+     */
+    instanceRootIsProjectOwned?: boolean;
+    /**
+     * Never remove a reference child implicitly. Set for a SHARED element, whose other reference
+     * children belong to other primaries, other instances or the project itself: one is removed
+     * only when its removal was reported and accepted.
+     */
+    keepLeftoverRefs?: boolean;
+    /**
+     * Source elements below the root whose counterpart is decided elsewhere (a structural level
+     * stands on the level its instance holds for it): matched to that element, or new.
+     */
+    pinnedMatches?: PinnedMatches;
+    /**
+     * Reference children of the instance root's subtree that belong to ANOTHER instance of the same
+     * template (a shared element holds one reference per instance): never matched to a source child.
+     */
+    foreignInstanceIds?: ReadonlySet<string>;
+}): Promise<Scl.CloneMapping[]>;
 //# sourceMappingURL=reconcile.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/reconcile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/reconcile.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gEAAgE,CAAA;AAClG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,gBAAgB,CAAA;AAEnE;;;;;;;;;;;;;;;;GAgBG;AAEH,wBAAsB,SAAS,CAC9B,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE;IACP,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,aAAa,EAAE,cAAc,CAAA;IAC7B,eAAe,EAAE,cAAc,CAAA;IAC/B;;;OAGG;IACH,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB;;;OAGG;IACH,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,gFAAgF;IAChF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IACrC,qFAAqF;IACrF,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,2FAA2F;IAC3F,YAAY,CAAC,EAAE,YAAY,CAAA;IAC3B;;;;OAIG;IACH,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACxB,GACC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAsDtC"}
+{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/reconcile.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gEAAgE,CAAA;AAClG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mEAAmE,CAAA;AACxG,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,cAAc,EAA4B,MAAM,gBAAgB,CAAA;AAE9E;;;;;;;;;;;;;;;;GAgBG;AAEH,wBAAsB,SAAS,CAC9B,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE;IACP,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,aAAa,EAAE,cAAc,CAAA;IAC7B,eAAe,EAAE,cAAc,CAAA;IAC/B;;;OAGG;IACH,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB;;;OAGG;IACH,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,gFAAgF;IAChF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IACrC,qFAAqF;IACrF,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,2FAA2F;IAC3F,YAAY,CAAC,EAAE,YAAY,CAAA;IAC3B;;;;OAIG;IACH,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACxB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAA;IAC7C;;;;;;OAMG;IACH,0BAA0B,CAAC,EAAE,OAAO,CAAA;IACpC;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;OAGG;IACH,aAAa,CAAC,EAAE,aAAa,CAAA;IAC7B;;;OAGG;IACH,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACxC,GACC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAoE7B"}

package/dist/v2019C1/extensions/lifecycle/engine/reference-match.d.ts

@@ -1,18 +1,28 @@
 import { Config } from '../../../config';
+import { RedirectMapping } from '../../reference/transaction/apply-uuid-remap.types';
 import { AnyTreeRecord } from '@dialecte/core';
 import type * as Core from '@dialecte/core';
+/**
+ * For each project element a source element was mapped onto: the project element's `uuid` -> the
+ * source element's `uuid`. Such an element carries no lineage (it is the project's own), so this
+ * is what tells a reference to it from the template reference it stands for.
+ */
+export type RedirectedSourceUuids = ReadonlyMap<string, string>;
 /** A read surface shared by the diff (Query) and reconcile (Transaction) sides. */
 type Reader = Core.Query<Config> | Core.Transaction<Config>;
 /**
  * The reference identity of a link element: the set of target `*Uuid` attributes it carries, as a
  * stable string. When `mapToTemplate` is set (the INSTANCE/target side), each target uuid is resolved
  * to its element's `templateUuid` so an instantiated (remapped) reference compares equal to the
- * template reference it came from. The SOURCE side passes the raw uuids, which are already template
- * space. Returns `undefined` when no uuid attribute is set (unresolved ref), so matching falls back to
- * position. Lineage-aware by design — this is a matching helper, not an agnostic identity read.
+ * template reference it came from. A target the source element was MAPPED onto carries no lineage:
+ * `redirectedSourceUuids` gives the source element it stands for. The SOURCE side passes the raw
+ * uuids, which are already template space. Returns `undefined` when no uuid attribute is set
+ * (unresolved ref), so matching falls back to position. Lineage-aware by design — this is a matching
+ * helper, not an agnostic identity read.
  */
 export declare function referenceIdentity(query: Reader, node: AnyTreeRecord, options: {
     mapToTemplate: boolean;
+    redirectedSourceUuids?: RedirectedSourceUuids;
 }): Promise<string | undefined>;
 /**
  * Fallback identity for a reference node: the NAME of each resolved target element. Stable across
@@ -21,5 +31,10 @@ export declare function referenceIdentity(query: Reader, node: AnyTreeRecord, op
  * sides). Undefined when no target resolves to a named element.
  */
 export declare function referenceNameIdentity(query: Reader, node: AnyTreeRecord): Promise<string | undefined>;
+/**
+ * Index redirect mappings for the matcher: the `uuid` of each project element mapped onto -> the
+ * `uuid` of the source element it stands for.
+ */
+export declare function indexRedirectedSourceUuids(query: Reader, redirectMappings: readonly RedirectMapping[] | undefined): Promise<RedirectedSourceUuids>;
 export {};
 //# sourceMappingURL=reference-match.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/reference-match.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reference-match.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/reference-match.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD,mFAAmF;AACnF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AAE3D;;;;;;;GAOG;AACH,wBAAsB,iBAAiB,CACtC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;IAAE,aAAa,EAAE,OAAO,CAAA;CAAE,GACjC,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAa7B;AAyBD;;;;;GAKG;AACH,wBAAsB,qBAAqB,CAC1C,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,aAAa,GACjB,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAY7B"}
+{"version":3,"file":"reference-match.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/reference-match.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mEAAmE,CAAA;AACxG,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAE/D,mFAAmF;AACnF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AAE3D;;;;;;;;;GASG;AACH,wBAAsB,iBAAiB,CACtC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE;IAAE,aAAa,EAAE,OAAO,CAAC;IAAC,qBAAqB,CAAC,EAAE,qBAAqB,CAAA;CAAE,GAChF,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAc7B;AAyBD;;;;;GAKG;AACH,wBAAsB,qBAAqB,CAC1C,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,aAAa,GACjB,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAY7B;AAqBD;;;GAGG;AACH,wBAAsB,0BAA0B,CAC/C,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,SAAS,eAAe,EAAE,GAAG,SAAS,GACtD,OAAO,CAAC,qBAAqB,CAAC,CAShC"}

package/dist/v2019C1/extensions/lifecycle/engine/repoint-added-references.d.ts

@@ -0,0 +1,20 @@
+import { RepointAddedReferencesParams } from './repoint-added-references.types';
+import { Config } from '../../../config';
+import type * as Core from '@dialecte/core';
+/**
+ * Repoint the references an update ADDED to one instance onto the elements of the project.
+ *
+ * Each subtree an update adds is finalized on its own, so a reference in it whose target lies
+ * outside that subtree still carries the uuid of the SOURCE element. That target is either
+ * another element the same update added (a satellite, another subtree), or an element the project
+ * already holds for this instance (found by its lineage, or handed in as a redirect mapping).
+ *
+ * Run once per instance, when everything the update adds to it exists, with ALL the clone mappings
+ * of that instance: the single uuid remap then sees every added element at once.
+ *
+ * Several project elements may carry the lineage of one source element (the template was
+ * instantiated more than once): the one the instance contains or already refers to is taken, and a
+ * reference that still cannot be told apart is left as it is.
+ */
+export declare function repointAddedReferences(tx: Core.Transaction<Config>, params: RepointAddedReferencesParams): Promise<void>;
+//# sourceMappingURL=repoint-added-references.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/repoint-added-references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repoint-added-references.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/repoint-added-references.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAEX,4BAA4B,EAC5B,MAAM,kCAAkC,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAG3C;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,sBAAsB,CAC3C,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE,4BAA4B,GAClC,OAAO,CAAC,IAAI,CAAC,CA6Cf"}

package/dist/v2019C1/extensions/lifecycle/engine/repoint-added-references.types.d.ts

@@ -0,0 +1,31 @@
+import { Scl } from '../../../config';
+import { MatchKey } from '../scenario';
+import { RedirectMapping } from '../../reference/transaction/apply-uuid-remap.types';
+import { AnyRefOrRecord } from '@dialecte/core';
+export type RepointAddedReferencesParams = {
+    /** Everything the update added to the instance: each source record and the copy made of it. */
+    cloneMappings: readonly Scl.CloneMapping[];
+    /** The instance the update reconciled — what tells its elements from another instance's. */
+    instanceRootRef: AnyRefOrRecord;
+    /** How an element of the instance carries the uuid of its source element. */
+    matchKey: MatchKey;
+    /** Source elements already known to stand for an element the instance holds. */
+    redirectMappings?: readonly RedirectMapping[];
+};
+/** What an update added to one instance, kept until every element it can refer to exists. */
+export type InstanceAdditions = {
+    instanceRootRef: AnyRefOrRecord;
+    cloneMappings: Scl.CloneMapping[];
+    /** Source elements mapped onto elements the instance already holds. */
+    redirectMappings?: readonly RedirectMapping[];
+};
+export type FindInstanceCounterpartParams = {
+    /** The `uuid` of the source element. */
+    sourceUuid: string;
+    /** The tags the reference can point at. */
+    targetTags: readonly string[];
+    matchKey: MatchKey;
+    /** Record ids of the elements of the instance, resolved only when several elements qualify. */
+    resolveInstanceScope: () => Promise<ReadonlySet<string>>;
+};
+//# sourceMappingURL=repoint-added-references.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/repoint-added-references.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repoint-added-references.types.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/engine/repoint-added-references.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mEAAmE,CAAA;AACxG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEpD,MAAM,MAAM,4BAA4B,GAAG;IAC1C,+FAA+F;IAC/F,aAAa,EAAE,SAAS,GAAG,CAAC,YAAY,EAAE,CAAA;IAC1C,4FAA4F;IAC5F,eAAe,EAAE,cAAc,CAAA;IAC/B,6EAA6E;IAC7E,QAAQ,EAAE,QAAQ,CAAA;IAClB,gFAAgF;IAChF,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAA;CAC7C,CAAA;AAED,6FAA6F;AAC7F,MAAM,MAAM,iBAAiB,GAAG;IAC/B,eAAe,EAAE,cAAc,CAAA;IAC/B,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;IACjC,uEAAuE;IACvE,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAA;CAC7C,CAAA;AAED,MAAM,MAAM,6BAA6B,GAAG;IAC3C,wCAAwC;IACxC,UAAU,EAAE,MAAM,CAAA;IAClB,2CAA2C;IAC3C,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,QAAQ,EAAE,QAAQ,CAAA;IAClB,+FAA+F;IAC/F,oBAAoB,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;CACxD,CAAA"}

package/dist/v2019C1/extensions/lifecycle/engine/standing/describe-standing-choice.d.ts

@@ -0,0 +1,16 @@
+import { StandingChild, StandingChoice } from './standing.types';
+import { Config } from '../../../../config';
+import { ReportMapping } from '../../mapping';
+import { AnyTrackedRecord } from '@dialecte/core';
+import type * as Core from '@dialecte/core';
+/**
+ * The choice of what one instance of a container stands on, for a child, as the report lists it: a
+ * mapping decided for that instance (`placedFor`, `id` scoped to it, `sourceId` the child), its
+ * candidates the elements that qualify; undecided until the consumer passes one, or a new one.
+ */
+export declare function describeStandingChoice(query: Core.Query<Config>, params: {
+    child: StandingChild;
+    instance: AnyTrackedRecord;
+    choice: StandingChoice;
+}): Promise<ReportMapping>;
+//# sourceMappingURL=describe-standing-choice.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/standing/describe-standing-choice.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"describe-standing-choice.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/engine/standing/describe-standing-choice.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACrE,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAoB,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC7F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEtD;;;;GAIG;AACH,wBAAsB,sBAAsB,CAC3C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EACzB,MAAM,EAAE;IAAE,KAAK,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,GAClF,OAAO,CAAC,aAAa,CAAC,CAsBxB"}

package/dist/v2019C1/extensions/lifecycle/engine/standing/index.d.ts

@@ -0,0 +1,4 @@
+export { describeStandingChoice } from './describe-standing-choice';
+export { resolveStandings, standingChoiceKey } from './resolve-standings';
+export type { ChildStandings, ResolveStandingsParams, Standing, StandingChild, StandingChoice, StandingPlacement, StandingPolicy, } from './standing.types';
+//# sourceMappingURL=index.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/standing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/engine/standing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AACnE,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AACzE,YAAY,EACX,cAAc,EACd,sBAAsB,EACtB,QAAQ,EACR,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,cAAc,GACd,MAAM,kBAAkB,CAAA"}

package/dist/v2019C1/extensions/lifecycle/engine/standing/resolve-standings.d.ts

@@ -0,0 +1,24 @@
+import { ChildStandings, ResolveStandingsParams } from './standing.types';
+/**
+ * What stands, for each instance of a container, for each child it refers to — the one answer the
+ * report announces and the update applies, the same for every layer (the layer says what an
+ * instance holds and where it lives, `StandingPolicy`):
+ *  - what an instance holds is its own (`owned`);
+ *  - else, where that instance lives: the one element of that lineage no instance holds is taken;
+ *    none → a new one is placed there; several → nothing tells which: the consumer chooses one of them
+ *    or a new one (`choices`, keyed by `standingChoiceKey`), and nothing is written for that instance
+ *    until it did (`undecided`);
+ *  - an element taken by an instance is no longer free for the next one;
+ *  - what no instance stands on where the consumer started is reconciled there (`unclaimed`).
+ */
+export declare function resolveStandings(params: ResolveStandingsParams): Promise<ChildStandings[]>;
+/** The key of the consumer's choice of what one instance of a container stands on, for a child. */
+export declare function standingChoiceKey(params: {
+    instance: {
+        id: string;
+    };
+    child: {
+        id?: string;
+    };
+}): string;
+//# sourceMappingURL=resolve-standings.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/standing/resolve-standings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-standings.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/engine/standing/resolve-standings.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACX,cAAc,EACd,sBAAsB,EAGtB,MAAM,kBAAkB,CAAA;AAEzB;;;;;;;;;;;GAWG;AACH,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,CA4DhG;AAED,mGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,MAAM,EAAE;IACzC,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAA;IACxB,KAAK,EAAE;QAAE,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACtB,GAAG,MAAM,CAET"}

package/dist/v2019C1/extensions/lifecycle/engine/standing/standing.types.d.ts

@@ -0,0 +1,96 @@
+import { Scl } from '../../../../config';
+import { ReportInstance } from '../diff.types';
+import { DecisionMapping, DecisionMappings } from '../../mapping';
+import { AnyTrackedRecord } from '@dialecte/core';
+/**
+ * An element of a template that a container of that template REFERS TO without containing it (the
+ * functions an application composes): each instance of the container needs its own in the project,
+ * found or placed somewhere else in the project.
+ */
+export type StandingChild = {
+    ref: Scl.Ref<Scl.ElementsOf> & {
+        id: string;
+    };
+    /** The value the project's elements of its lineage carry (its uuid). */
+    lineage: string | undefined;
+};
+/** What stands, for one instance of the container, for a child. */
+export type Standing = 
+/** What the instance already holds for it: its own, reconciled where each sits. */
+{
+    kind: 'owned';
+    elements: AnyTrackedRecord[];
+}
+/** The one element of that lineage no instance holds, where the instance lives: taken. */
+ | {
+    kind: 'taken';
+    element: AnyTrackedRecord;
+}
+/** Nothing of that lineage where the instance lives: a new one is placed on `level`. */
+ | {
+    kind: 'placed';
+    level: Scl.Ref<Scl.ElementsOf>;
+}
+/** Several of that lineage no instance holds, where the instance lives, none chosen yet. */
+ | {
+    kind: 'undecided';
+};
+/** Several elements qualify for an instance: which one it stands on, or a new one, is the consumer's call. */
+export type StandingChoice = {
+    candidates: AnyTrackedRecord[];
+    /** Where a new one is placed. */
+    level: Scl.Ref<Scl.ElementsOf>;
+    /** The consumer's choice, when made. */
+    decision?: DecisionMapping;
+};
+/** A child, and what stands for it per instance of the container (by the instance's record id). */
+export type ChildStandings = {
+    child: StandingChild;
+    standings: Map<string, Standing>;
+    /** The instances for which the consumer chooses. */
+    choices: Map<string, StandingChoice>;
+    /** The elements of that lineage no instance stands on, where the consumer started: reconciled. */
+    unclaimed: AnyTrackedRecord[];
+};
+/**
+ * What a layer tells the engine about the children its containers refer to; the engine keeps the
+ * rule (see `resolveStandings`). Each function is asked per instance and child, so a layer answers
+ * from what it read once per run.
+ */
+export type StandingPolicy = {
+    /** What an instance already holds for a child: its own. */
+    owned: (params: {
+        instance: AnyTrackedRecord;
+        child: StandingChild;
+    }) => readonly AnyTrackedRecord[];
+    /**
+     * Where an instance lives, for a child: where a free element of its lineage is looked for, and
+     * where a new one is placed. `undefined`: nowhere — nothing stands for it.
+     */
+    levelOf: (params: {
+        instance: AnyTrackedRecord;
+        child: StandingChild;
+    }) => Promise<Scl.Ref<Scl.ElementsOf> | undefined>;
+    /** The project's elements of a child's lineage under a level. */
+    lineageAt: (params: {
+        level: Scl.Ref<Scl.ElementsOf>;
+        child: StandingChild;
+    }) => Promise<AnyTrackedRecord[]>;
+    /** Where the consumer started, for a child — `undefined` when unknown. */
+    anchorLevelOf?: (child: StandingChild) => Promise<Scl.Ref<Scl.ElementsOf> | undefined>;
+};
+export type ResolveStandingsParams = {
+    /** The instances of the container in the project. */
+    instances: readonly AnyTrackedRecord[];
+    children: readonly StandingChild[];
+    policy: StandingPolicy;
+    /** The consumer's choices, keyed by `standingChoiceKey`. */
+    decisionMappings?: DecisionMappings;
+};
+/** A child placed for one instance of the container, as the report lists it. */
+export type StandingPlacement = {
+    /** The record id of the instance it is placed for. */
+    placedFor: string;
+    reportInstance: ReportInstance;
+};
+//# sourceMappingURL=standing.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/engine/standing/standing.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"standing.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/engine/standing/standing.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kDAAkD,CAAA;AACtF,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC/F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEtD;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAA;IAC7C,wEAAwE;IACxE,OAAO,EAAE,MAAM,GAAG,SAAS,CAAA;CAC3B,CAAA;AAED,mEAAmE;AACnE,MAAM,MAAM,QAAQ;AACnB,mFAAmF;AACjF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAA;CAAE;AACjD,0FAA0F;GACxF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE;AAC9C,wFAAwF;GACtF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;CAAE;AACpD,4FAA4F;GAC1F;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAA;AAExB,8GAA8G;AAC9G,MAAM,MAAM,cAAc,GAAG;IAC5B,UAAU,EAAE,gBAAgB,EAAE,CAAA;IAC9B,iCAAiC;IACjC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC9B,wCAAwC;IACxC,QAAQ,CAAC,EAAE,eAAe,CAAA;CAC1B,CAAA;AAED,mGAAmG;AACnG,MAAM,MAAM,cAAc,GAAG;IAC5B,KAAK,EAAE,aAAa,CAAA;IACpB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IAChC,oDAAoD;IACpD,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACpC,kGAAkG;IAClG,SAAS,EAAE,gBAAgB,EAAE,CAAA;CAC7B,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG;IAC5B,2DAA2D;IAC3D,KAAK,EAAE,CAAC,MAAM,EAAE;QACf,QAAQ,EAAE,gBAAgB,CAAA;QAC1B,KAAK,EAAE,aAAa,CAAA;KACpB,KAAK,SAAS,gBAAgB,EAAE,CAAA;IACjC;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE;QACjB,QAAQ,EAAE,gBAAgB,CAAA;QAC1B,KAAK,EAAE,aAAa,CAAA;KACpB,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,CAAA;IAClD,iEAAiE;IACjE,SAAS,EAAE,CAAC,MAAM,EAAE;QACnB,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC9B,KAAK,EAAE,aAAa,CAAA;KACpB,KAAK,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAA;IACjC,0EAA0E;IAC1E,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,CAAA;CACtF,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG;IACpC,qDAAqD;IACrD,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;IACtC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAA;IAClC,MAAM,EAAE,cAAc,CAAA;IACtB,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;CACnC,CAAA;AAED,gFAAgF;AAChF,MAAM,MAAM,iBAAiB,GAAG;IAC/B,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAA;IACjB,cAAc,EAAE,cAAc,CAAA;CAC9B,CAAA"}