@dialecte/scl 0.5.0 → 0.7.0

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

@@ -1,4 +1,6 @@
 import { apply } from './apply';
+import { makeUnique } from './constraints';
+import { classifyIeds } from './ied';
 import { report } from './report';
 import { deep } from './transplant';
 import { checkTemplateUuids } from './validate';
@@ -19,6 +21,10 @@ import * as updateTransaction from './update';
  * - `transplant`  — generic clone engine (`tx.lifecycle.transplant.deep`).
  * - `update`      — instantiate-or-reconcile a project against a newer template
  *                   (`tx.lifecycle.update.fsd` / `.asd` apply the change).
+ * - `makeUnique`  — make an element unique where it sits, in the engine's one numbering
+ *                   (`tx.lifecycle.makeUnique`); what a consumer calls after naming an element.
+ * - `classifyIeds` — read-only: every IED is a real device's IED or a specification IED
+ *                   (`query.lifecycle.classifyIeds()`).
  * - `report`      — read-only classify: `query.lifecycle.report({ verb,
  *                   sourceQuery, ref, anchor })` returns a `DiffReport`
  *                   (fast/full classification) — nothing is written.
@@ -32,6 +38,7 @@ export declare const lifecycle: {
     query: {
         report: typeof report;
         checkTemplateUuids: typeof checkTemplateUuids;
+        classifyIeds: typeof classifyIeds;
     };
     transaction: {
         extract: typeof extractTransaction;
@@ -41,6 +48,7 @@ export declare const lifecycle: {
         };
         update: typeof updateTransaction;
         apply: typeof apply;
+        makeUnique: typeof makeUnique;
     };
 };
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/v2019C1/extensions/lifecycle/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,KAAK,kBAAkB,MAAM,WAAW,CAAA;AAC/C,OAAO,KAAK,sBAAsB,MAAM,eAAe,CAAA;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACnC,OAAO,KAAK,iBAAiB,MAAM,UAAU,CAAA;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAE/C;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;CAYrB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/v2019C1/extensions/lifecycle/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,kBAAkB,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAA;AACpC,OAAO,KAAK,sBAAsB,MAAM,eAAe,CAAA;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACnC,OAAO,KAAK,iBAAiB,MAAM,UAAU,CAAA;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;CAcrB,CAAA"}

package/dist/v2019C1/extensions/lifecycle/instance/composed-functions.d.ts

@@ -7,4 +7,6 @@ import type * as Core from '@dialecte/core';
  * the composed-function set identically.
  */
 export declare function collectComposedFunctionUuids(sourceQuery: Core.Query<Config>, applicationRef: Scl.Ref<'Application'>): Promise<Set<string>>;
+/** The source Functions an Application composes, each found by the `functionUuid` it refers to. */
+export declare function findComposedFunctionRefs(sourceQuery: Core.Query<Config>, applicationRef: Scl.Ref<'Application'>): Promise<Scl.Ref<'Function'>[]>;
 //# sourceMappingURL=composed-functions.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instance/composed-functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"composed-functions.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/composed-functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAG3C;;;;;GAKG;AACH,wBAAsB,4BAA4B,CACjD,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAC/B,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GACpC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAKtB"}
+{"version":3,"file":"composed-functions.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/composed-functions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAG3C;;;;;GAKG;AACH,wBAAsB,4BAA4B,CACjD,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAC/B,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GACpC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAKtB;AAcD,mGAAmG;AACnG,wBAAsB,wBAAwB,CAC7C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAC/B,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAYhC"}

package/dist/v2019C1/extensions/lifecycle/instance/foreign-scope.d.ts

@@ -0,0 +1,31 @@
+import { CollectForeignReferenceIdsParams, CollectForeignScopesParams, ForeignScopeResolverParams, ForeignScopes, ResolveForeignScope } from './foreign-scope.types';
+import { Config } from '../../../config';
+import { AnyTreeRecord } from '@dialecte/core';
+import type * as Core from '@dialecte/core';
+/** A reader with the untyped `.any` facade — either a Query or a Transaction. */
+type Reader = Core.Query<Config> | Core.Transaction<Config>;
+/**
+ * What belongs to the other instances of a template, for each of its instances: the elements the
+ * others hold or refer to, less those the instance holds or refers to itself (an element they
+ * share is nobody's alone). Empty for a template the project holds one instance of.
+ */
+export declare function collectForeignScopes(reader: Reader, params: CollectForeignScopesParams): Promise<ForeignScopes>;
+/**
+ * What belongs to the other instances of the template one instance was made from, found among
+ * every instance of that template the project holds. Resolved when first asked for, once.
+ */
+export declare function foreignScopeResolver(reader: Reader, params: ForeignScopeResolverParams): ResolveForeignScope;
+/**
+ * The references a shared element holds for the OTHER instances of a template: those pointing at
+ * what belongs to another instance, and those already known to be another instance's. Each
+ * instance gives a shared element its own references; another instance's is never the counterpart
+ * of one of this instance's.
+ */
+export declare function collectForeignReferenceIds(reader: Reader, params: CollectForeignReferenceIdsParams): Promise<Set<string>>;
+/** Whether a reference points at an element of a scope. */
+export declare function pointsInto(reader: Reader, params: {
+    reference: AnyTreeRecord;
+    scope: ReadonlySet<string>;
+}): Promise<boolean>;
+export {};
+//# sourceMappingURL=foreign-scope.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instance/foreign-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-scope.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/foreign-scope.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACX,gCAAgC,EAChC,0BAA0B,EAC1B,0BAA0B,EAC1B,aAAa,EACb,mBAAmB,EACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD,iFAAiF;AACjF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AAE3D;;;;GAIG;AACH,wBAAsB,oBAAoB,CACzC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,0BAA0B,GAChC,OAAO,CAAC,aAAa,CAAC,CAuBxB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CACnC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,0BAA0B,GAChC,mBAAmB,CAkBrB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC/C,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,gCAAgC,GACtC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAWtB;AAwBD,2DAA2D;AAC3D,wBAAsB,UAAU,CAC/B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE;IAAE,SAAS,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,GAC9D,OAAO,CAAC,OAAO,CAAC,CAgBlB"}

package/dist/v2019C1/extensions/lifecycle/instance/foreign-scope.types.d.ts

@@ -0,0 +1,31 @@
+import { MatchKey } from '../scenario';
+import { AnyRefOrRecord, AnyTrackedRecord } from '@dialecte/core';
+export type CollectForeignScopesParams = {
+    /** Every instance of one template the project holds. */
+    instances: readonly AnyTrackedRecord[];
+};
+/**
+ * For each instance of a template, by its record id: the record ids of what belongs to the OTHER
+ * instances of that template and not to it.
+ */
+export type ForeignScopes = ReadonlyMap<string, ReadonlySet<string>>;
+export type CollectForeignReferenceIdsParams = {
+    /** The element the instances share: a role, a category, a variable. */
+    sharedRootRef: AnyRefOrRecord;
+    /** What belongs to the other instances of the template. */
+    foreignScope: ReadonlySet<string>;
+};
+/**
+ * What belongs to the other instances of the template an instance was made from. Asked for only
+ * when an element the instances share is at hand, and worked out once.
+ */
+export type ResolveForeignScope = () => Promise<ReadonlySet<string>>;
+export type ForeignScopeResolverParams = {
+    /** The instance at hand. */
+    instanceRootRef: AnyRefOrRecord;
+    /** The `uuid` of the source element the instance was made from. */
+    sourceUuid: string | undefined;
+    /** How an instance carries the uuid of its source element. Default `templateUuid`. */
+    matchKey?: MatchKey;
+};
+//# sourceMappingURL=foreign-scope.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instance/foreign-scope.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-scope.types.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/foreign-scope.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEtE,MAAM,MAAM,0BAA0B,GAAG;IACxC,wDAAwD;IACxD,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CACtC,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;AAEpE,MAAM,MAAM,gCAAgC,GAAG;IAC9C,uEAAuE;IACvE,aAAa,EAAE,cAAc,CAAA;IAC7B,2DAA2D;IAC3D,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACjC,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;AAEpE,MAAM,MAAM,0BAA0B,GAAG;IACxC,4BAA4B;IAC5B,eAAe,EAAE,cAAc,CAAA;IAC/B,mEAAmE;IACnE,UAAU,EAAE,MAAM,GAAG,SAAS,CAAA;IAC9B,sFAAsF;IACtF,QAAQ,CAAC,EAAE,QAAQ,CAAA;CACnB,CAAA"}

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

@@ -1,3 +1,6 @@
-export { collectComposedFunctionUuids } from './composed-functions';
+export { collectComposedFunctionUuids, findComposedFunctionRefs } from './composed-functions';
 export { findInstanceByTemplateUuid, findInstancesByTemplateUuid, findInstancesUnder, findInstanceUnder, scopeToTargetInstance, } from './find-instance';
+export { collectInstanceScope } from './instance-scope';
+export { collectForeignReferenceIds, collectForeignScopes, foreignScopeResolver, pointsInto, } from './foreign-scope';
+export type { ForeignScopes, ResolveForeignScope } from './foreign-scope.types';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAA;AACnE,OAAO,EACN,0BAA0B,EAC1B,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,qBAAqB,GACrB,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AAC7F,OAAO,EACN,0BAA0B,EAC1B,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,qBAAqB,GACrB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EACN,0BAA0B,EAC1B,oBAAoB,EACpB,oBAAoB,EACpB,UAAU,GACV,MAAM,iBAAiB,CAAA;AACxB,YAAY,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA"}

package/dist/v2019C1/extensions/lifecycle/instance/instance-scope.d.ts

@@ -0,0 +1,13 @@
+import { Config } from '../../../config';
+import { AnyRefOrRecord } from '@dialecte/core';
+import type * as Core from '@dialecte/core';
+/** A reader with the untyped `.any` facade — either a Query or a Transaction. */
+type Reader = Core.Query<Config> | Core.Transaction<Config>;
+/**
+ * The record ids of the elements that belong to an instance: the elements of its subtree and the
+ * elements its references point at. What tells the elements of one instance from those of another
+ * instance of the same template.
+ */
+export declare function collectInstanceScope(reader: Reader, instanceRootRef: AnyRefOrRecord): Promise<Set<string>>;
+export {};
+//# sourceMappingURL=instance-scope.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"instance-scope.d.ts","sourceRoot":"","sources":["../../../../../src/v2019C1/extensions/lifecycle/instance/instance-scope.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,gBAAgB,CAAA;AAEnE,iFAAiF;AACjF,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;AAE3D;;;;GAIG;AACH,wBAAsB,oBAAoB,CACzC,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,cAAc,GAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAKtB"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/asd.d.ts

@@ -1,4 +1,4 @@
-import { AsdParams, AsdResult } from './asd.types';
+import { AsdParams, AsdResult, PlaceApplicationParams, PlacedApplication } from './asd.types';
 import { Config } from '../../../../config';
 import type * as Core from '@dialecte/core';
 /**
@@ -14,9 +14,15 @@ import type * as Core from '@dialecte/core';
  * the ASD) is written on the cloned root by `reference.writeProvenance`; SET policy
  * (naming, assign-to-application) is applied by consumer hooks, not here.
  *
- * Returns the instantiated Application ref, its composed Function roots, and the full
- * source -> clone mappings, so a consumer can drive follow-up rules against the fresh
+ * Returns the instantiated Application ref, its composed Function roots, and the clone
+ * mappings of everything the operation cloned, so a consumer can drive follow-up rules against the fresh
  * instance without re-querying by templateUuid.
  */
 export declare function asd(tx: Core.Transaction<Config>, params: AsdParams): Promise<AsdResult>;
+/**
+ * Place an application of an ASD as {@link asd} does, leaving out what the consumer left out: the
+ * application left out, the functions it composes that are kept are placed without it — and
+ * without provenance, which is the application's.
+ */
+export declare function placeApplication(tx: Core.Transaction<Config>, params: PlaceApplicationParams): Promise<PlacedApplication>;
 //# sourceMappingURL=asd.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/asd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"asd.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/asd.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAgF7F"}
+{"version":3,"file":"asd.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/asd.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAClG,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAM7F;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CACrC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE,sBAAsB,GAC5B,OAAO,CAAC,iBAAiB,CAAC,CA4H5B"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/asd.types.d.ts

@@ -1,6 +1,7 @@
 import { Scl, Config } from '../../../../config';
 import { KeepNameTypesFrom } from '../../../data-model/transaction';
 import { CollisionOverrides } from '../../engine/decide.types';
+import { DecisionMappings } from '../../mapping';
 import type * as Core from '@dialecte/core';
 export type AsdParams = {
     sourceQuery: Core.Query<Config>;
@@ -12,19 +13,43 @@ export type AsdParams = {
     overrides?: CollisionOverrides;
     /** Type-dedup name authority, forwarded to `importTypes`. Default `'target'`. */
     keepNameTypesFrom?: KeepNameTypesFrom;
+    /** The consumer's choices for the shared elements the application refers to. */
+    decisionMappings?: DecisionMappings;
+    /**
+     * The application is placed by this operation alone (an ASD): `targetParent` is where the
+     * consumer started, and started above a level the application or one of its functions was made
+     * for, each lands on the level its template says. Left out when the caller already resolved
+     * where they land.
+     */
+    resolvePlacement?: boolean;
+    /**
+     * The application is placed as part of a larger template (a substation's): the provenance is that
+     * template's, the application carries none of its own.
+     */
+    partOfTemplate?: boolean;
+};
+export type PlaceApplicationParams = AsdParams & {
+    /**
+     * The source elements the consumer left out (record ids): the application, or functions it
+     * composes. Left out, the application is not placed and the functions it composes that are kept
+     * are placed without it.
+     */
+    leftOut?: ReadonlySet<string>;
+};
+/** What a placement of an application wrote: as {@link AsdResult}, the application unless left out. */
+export type PlacedApplication = Omit<AsdResult, 'applicationRef'> & {
+    applicationRef?: Scl.Ref<'Application'>;
 };
 export type AsdResult = {
     /** The instantiated Application in the target. */
     applicationRef: Scl.Ref<'Application'>;
     /** The instantiated composed Function roots (referenced by the Application). */
     composedFunctionRefs: (Scl.Ref<'Function'> | Scl.Ref<'SubFunction'>)[];
-    /** Full source-record -> target-record mapping for the cloned content. */
-    recordMappings: Scl.CloneMapping[];
     /**
-     * Every source->target mapping produced, including the cross-cutting satellites that live outside
-     * the Application subtree — the full set the report→applied correlation needs for a first-time
-     * instantiate (`sourceToTargetMap` over these).
+     * Each source record and the copy made of it, for everything the operation cloned: the
+     * Application, its composed Functions, their categories, the shared elements created for it and
+     * the cross-cutting satellites that live outside the Application subtree.
      */
-    mappings: Scl.CloneMapping[];
+    cloneMappings: Scl.CloneMapping[];
 };
 //# sourceMappingURL=asd.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/asd.types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"asd.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/asd.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,SAAS,GAAG;IACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,yDAAyD;IACzD,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,wFAAwF;IACxF,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,wFAAwF;IACxF,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB,kDAAkD;IAClD,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,gFAAgF;IAChF,oBAAoB,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAA;IACtE,0EAA0E;IAC1E,cAAc,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;IAClC;;;;OAIG;IACH,QAAQ,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CAC5B,CAAA"}
+{"version":3,"file":"asd.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/asd.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAA;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,SAAS,GAAG;IACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,yDAAyD;IACzD,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,wFAAwF;IACxF,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,wFAAwF;IACxF,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IACrC,gFAAgF;IAChF,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;IACnC;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,sBAAsB,GAAG,SAAS,GAAG;IAChD;;;;OAIG;IACH,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC7B,CAAA;AAED,uGAAuG;AACvG,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,GAAG;IACnE,cAAc,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB,kDAAkD;IAClD,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,gFAAgF;IAChF,oBAAoB,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAA;IACtE;;;;OAIG;IACH,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CACjC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.d.ts

@@ -19,8 +19,8 @@ import type * as Core from '@dialecte/core';
  * the FSD) is written on the cloned root by `reference.writeProvenance`; SET
  * policy (naming, application assignment) is applied by consumer hooks, not here.
  *
- * Returns the instantiated root ref (retagged if applicable) and the full
- * source -> clone record mappings, so a consumer can drive follow-up rules
+ * Returns the instantiated root ref (retagged if applicable) and the clone mappings of
+ * everything the operation cloned, so a consumer can drive follow-up rules
  * against the fresh instance without re-querying by templateUuid.
  */
 export declare function fsd(tx: Core.Transaction<Config>, params: FsdParams): Promise<FsdResult>;

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fsd.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAoE7F"}
+{"version":3,"file":"fsd.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAqG7F"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.types.d.ts

@@ -1,17 +1,32 @@
 import { Scl, Config } from '../../../../config';
 import { KeepNameTypesFrom } from '../../../data-model/transaction';
+import { SourceFunctionRef } from '../../contract.types';
 import { CollisionOverrides } from '../../engine/decide.types';
+import { DecisionMappings } from '../../mapping';
 import type * as Core from '@dialecte/core';
 export type FsdParams = {
     sourceQuery: Core.Query<Config>;
-    /** The Function (or SubFunction) carried by the FSD to instantiate. */
-    functionRef: Scl.Ref<'Function'> | Scl.Ref<'SubFunction'>;
+    /** The function carried by the FSD to instantiate: a Function, a SubFunction or a FunctionTemplate. */
+    functionRef: SourceFunctionRef;
     /** Target parent the function is instantiated under (e.g. a project Bay). */
     targetParent: Scl.Ref<Scl.ElementsOf>;
     /** User-edited values per source element id (full track); drives collision override. */
     overrides?: CollisionOverrides;
     /** Type-dedup name authority, forwarded to `importTypes`. Default `'target'`. */
     keepNameTypesFrom?: KeepNameTypesFrom;
+    /** The consumer's choices for the shared elements the function is classified by. */
+    decisionMappings?: DecisionMappings;
+    /**
+     * The function is placed by this operation alone (an FSD): `targetParent` is where the consumer
+     * started, and started above the level the function was made for, it lands on the level its
+     * template says. Left out when the caller already resolved where it lands.
+     */
+    resolvePlacement?: boolean;
+    /**
+     * The function is placed as part of a larger template (an application's, a substation's): the provenance is that
+     * template's, the function carries none of its own.
+     */
+    partOfTemplate?: boolean;
 };
 export type FsdResult = {
     /**
@@ -19,13 +34,11 @@ export type FsdResult = {
      * was placed under a (Sub)Function (retagged), otherwise `Function`.
      */
     functionRef: Scl.Ref<'Function'> | Scl.Ref<'SubFunction'>;
-    /** Full source-record -> target-record mapping for the cloned subtree. */
-    recordMappings: Scl.CloneMapping[];
     /**
-     * Every source->target mapping produced, including the carried satellites (FunctionCategory,
-     * Variable, BehaviorDescription) that live outside the subtree — the full set the report→applied
-     * correlation needs for a first-time instantiate (`sourceToTargetMap` over these).
+     * Each source record and the copy made of it, for everything the operation cloned: the function
+     * subtree and the satellites carried with it (FunctionCategory, Variable, BehaviorDescription)
+     * that live outside the subtree.
      */
-    mappings: Scl.CloneMapping[];
+    cloneMappings: Scl.CloneMapping[];
 };
 //# sourceMappingURL=fsd.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fsd.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,SAAS,GAAG;IACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,uEAAuE;IACvE,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACzD,6EAA6E;IAC7E,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,wFAAwF;IACxF,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB;;;OAGG;IACH,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACzD,0EAA0E;IAC1E,cAAc,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;IAClC;;;;OAIG;IACH,QAAQ,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CAC5B,CAAA"}
+{"version":3,"file":"fsd.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/fsd.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+CAA+C,CAAA;AACtF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAA;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,SAAS,GAAG;IACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,uGAAuG;IACvG,WAAW,EAAE,iBAAiB,CAAA;IAC9B,6EAA6E;IAC7E,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,wFAAwF;IACxF,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IACrC,oFAAoF;IACpF,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;IACnC;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB;;;OAGG;IACH,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACzD;;;;OAIG;IACH,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CACjC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/name-created-shared-elements.d.ts

@@ -0,0 +1,10 @@
+import { NameCreatedSharedElementsParams } from './name-created-shared-elements.types';
+import { Config } from '../../../../config';
+import type * as Core from '@dialecte/core';
+/**
+ * Name the shared elements an operation CREATED (those with no project element to map onto): each
+ * is validated against the structural level it landed on — the name the consumer chose is
+ * applied, and a name already taken there is bumped to a free one, like any placed element.
+ */
+export declare function nameCreatedSharedElements(tx: Core.Transaction<Config>, params: NameCreatedSharedElementsParams): Promise<void>;
+//# sourceMappingURL=name-created-shared-elements.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/name-created-shared-elements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-created-shared-elements.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/name-created-shared-elements.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,sCAAsC,CAAA;AAC3F,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC9C,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE,+BAA+B,GACrC,OAAO,CAAC,IAAI,CAAC,CAmBf"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/name-created-shared-elements.types.d.ts

@@ -0,0 +1,14 @@
+import { Config, Scl } from '../../../../config';
+import { DecisionMappings } from '../../mapping';
+import { TargetStructure } from '../../transplant/transaction';
+import type * as Core from '@dialecte/core';
+export type NameCreatedSharedElementsParams = {
+    sourceQuery: Core.Query<Config>;
+    /** What the operation cloned: the shared elements among them are the ones it created. */
+    cloneMappings: readonly Scl.CloneMapping[];
+    /** The structure the operation places its elements in. */
+    structure: TargetStructure;
+    /** The consumer's choices, by source record id. */
+    decisionMappings?: DecisionMappings;
+};
+//# sourceMappingURL=name-created-shared-elements.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/name-created-shared-elements.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-created-shared-elements.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/name-created-shared-elements.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uDAAuD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,+BAA+B,GAAG;IAC7C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,yFAAyF;IACzF,aAAa,EAAE,SAAS,GAAG,CAAC,YAAY,EAAE,CAAA;IAC1C,0DAA0D;IAC1D,SAAS,EAAE,eAAe,CAAA;IAC1B,mDAAmD;IACnD,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;CACnC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/resolve-target-structure.d.ts

@@ -16,5 +16,5 @@ import type * as Core from '@dialecte/core';
  * levels absent from the target are omitted. Callers that need a specific level
  * (a satellite scoped to it) get a clear failure from `resolveStructureRef`.
  */
-export declare function resolveTargetStructure(tx: Core.Transaction<Config>, targetParent: Scl.Ref<Scl.ElementsOf>): Promise<TargetStructure>;
+export declare function resolveTargetStructure(tx: Core.Query<Config> | Core.Transaction<Config>, targetParent: Scl.Ref<Scl.ElementsOf>): Promise<TargetStructure>;
 //# sourceMappingURL=resolve-target-structure.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/resolve-target-structure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-target-structure.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/resolve-target-structure.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uDAAuD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,sBAAsB,CAC3C,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GACnC,OAAO,CAAC,eAAe,CAAC,CAuB1B"}
+{"version":3,"file":"resolve-target-structure.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/resolve-target-structure.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uDAAuD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,sBAAsB,CAC3C,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EACjD,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GACnC,OAAO,CAAC,eAAe,CAAC,CAuB1B"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ssd.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;GAaG;AACH,wBAAsB,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAuE7F"}
+{"version":3,"file":"ssd.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C;;;;;;;;;;;;;GAaG;AACH,wBAAsB,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CA0G7F"}

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.types.d.ts

@@ -2,6 +2,7 @@ import { Config, Scl } from '../../../../config';
 import { TopologyStructuralTag } from '../../../../constants';
 import { KeepNameTypesFrom } from '../../../data-model/transaction';
 import { CollisionOverrides } from '../../engine/decide.types';
+import { DecisionMappings } from '../../mapping';
 import type * as Core from '@dialecte/core';
 export type SsdParams = {
     sourceQuery: Core.Query<Config>;
@@ -15,11 +16,21 @@ export type SsdParams = {
     overrides?: CollisionOverrides;
     /** Type-dedup name authority, forwarded to `importTypes`. Default `'target'`. */
     keepNameTypesFrom?: KeepNameTypesFrom;
+    /** The consumer's choices for the shared elements the applications refer to. */
+    decisionMappings?: DecisionMappings;
+    /**
+     * The source elements the consumer left out (record ids): a level and what it holds, an
+     * application, a function. Nothing left out: the whole scope is placed.
+     */
+    leftOut?: ReadonlySet<string>;
 };
 export type SsdResult = {
     /** The SSD scope root that was instantiated (source-side ref). */
     scopeRef: Scl.Ref<TopologyStructuralTag>;
-    /** Full source-record -> target-record mapping for the cloned content. */
-    recordMappings: Scl.CloneMapping[];
+    /**
+     * Each source record and the copy made of it, for everything the operation cloned: the reproduced
+     * frame, the placed Functions and Applications, and the cross-cutting satellites carried with them.
+     */
+    cloneMappings: Scl.CloneMapping[];
 };
 //# sourceMappingURL=ssd.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ssd.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,SAAS,GAAG;IACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACzC,gFAAgF;IAChF,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,+FAA+F;IAC/F,IAAI,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAAA;IAChC,wFAAwF;IACxF,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB,kEAAkE;IAClE,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACxC,0EAA0E;IAC1E,cAAc,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CAClC,CAAA"}
+{"version":3,"file":"ssd.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/instantiate/transaction/ssd.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAA;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAE3C,MAAM,MAAM,SAAS,GAAG;IACvB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACzC,gFAAgF;IAChF,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACrC,+FAA+F;IAC/F,IAAI,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAAA;IAChC,wFAAwF;IACxF,SAAS,CAAC,EAAE,kBAAkB,CAAA;IAC9B,iFAAiF;IACjF,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IACrC,gFAAgF;IAChF,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;IACnC;;;OAGG;IACH,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACvB,kEAAkE;IAClE,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACxC;;;OAGG;IACH,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CACjC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/layers/application/clone-application.d.ts

@@ -1,5 +1,7 @@
+import { CloneApplicationContentResult } from './clone-application.types';
 import { Scl, Config } from '../../../../config';
 import { KeepNameTypesFrom } from '../../../data-model/transaction';
+import { DecisionMappings } from '../../mapping';
 import { TargetStructure } from '../../transplant/transaction';
 import { OmitEntry } from '@dialecte/core';
 import type * as Core from '@dialecte/core';
@@ -7,10 +9,11 @@ import type * as Core from '@dialecte/core';
  * Application-layer take-over: clones an Application and all its satellites
  * (Functions, FunctionCategories, AllocationRoles, BehaviorDescriptions, ...) into
  * the target structure. Direction-agnostic — returns the full `CloneMapping[]` so
- * the calling operation applies identity policy (extract strips, instantiate stamps).
+ * the calling operation applies identity policy (extract strips, instantiate stamps),
+ * plus the redirect mappings of the shared elements that were mapped instead of cloned.
  *
  * UUID remapping is the caller's responsibility via `reference.applyUuidRemap` over the
- * returned mappings.
+ * returned mappings and redirect mappings.
  */
 export declare function cloneApplicationContent(tx: Core.Transaction<Config>, params: {
     sourceQuery: Core.Query<Config>;
@@ -19,5 +22,13 @@ export declare function cloneApplicationContent(tx: Core.Transaction<Config>, pa
     /** Child tags to drop from clones. Extract prunes (ALWAYS_OMIT); instantiate omits nothing. */
     omit?: OmitEntry<Config>[];
     keepNameTypesFrom?: KeepNameTypesFrom;
-}): Promise<Scl.CloneMapping[]>;
+    /** The consumer's choices for the shared elements the application refers to. */
+    decisionMappings?: DecisionMappings;
+    /**
+     * The source elements the consumer left out (record ids): a function left out is not placed;
+     * the application left out is not placed, nor what only it refers to — the functions it
+     * composes that are kept are placed without it.
+     */
+    leftOut?: ReadonlySet<string>;
+}): Promise<CloneApplicationContentResult>;
 //# sourceMappingURL=clone-application.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/clone-application.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"clone-application.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/clone-application.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uDAAuD,CAAA;AAC5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/C;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC5C,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE;IACP,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,SAAS,EAAE,eAAe,CAAA;IAC1B,+FAA+F;IAC/F,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;IAC1B,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;CACrC,GACC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CA0F7B"}
+{"version":3,"file":"clone-application.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/clone-application.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAuB,6BAA6B,EAAE,MAAM,2BAA2B,CAAA;AACnG,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uDAAuD,CAAA;AAE5F,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/C;;;;;;;;;GASG;AACH,wBAAsB,uBAAuB,CAC5C,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAC5B,MAAM,EAAE;IACP,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,SAAS,EAAE,eAAe,CAAA;IAC1B,+FAA+F;IAC/F,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;IAC1B,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IACrC,gFAAgF;IAChF,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;IACnC;;;;OAIG;IACH,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC7B,GACC,OAAO,CAAC,6BAA6B,CAAC,CAuGxC"}

package/dist/v2019C1/extensions/lifecycle/layers/application/clone-application.types.d.ts

@@ -0,0 +1,17 @@
+import { Scl } from '../../../../config';
+import { RedirectMapping } from '../../../reference/transaction/apply-uuid-remap.types';
+export type CloneApplicationContentResult = {
+    /** All source -> target clone mappings for the application content. */
+    cloneMappings: Scl.CloneMapping[];
+    /** Shared elements mapped onto elements the target already holds (nothing cloned for them). */
+    redirectMappings: RedirectMapping[];
+};
+/** A source AllocationRole that landed on a role the target already holds. */
+export type AllocationRoleReuse = {
+    sourceId: string;
+    sourceUuid: string;
+    existingRef: Scl.Ref<'AllocationRole'>;
+    /** The source role's children cloned under the existing role. */
+    contributedMappings: Scl.CloneMapping[];
+};
+//# sourceMappingURL=clone-application.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/clone-application.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clone-application.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/clone-application.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mEAAmE,CAAA;AAExG,MAAM,MAAM,6BAA6B,GAAG;IAC3C,uEAAuE;IACvE,aAAa,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;IACjC,+FAA+F;IAC/F,gBAAgB,EAAE,eAAe,EAAE,CAAA;CACnC,CAAA;AAED,8EAA8E;AAC9E,MAAM,MAAM,mBAAmB,GAAG;IACjC,QAAQ,EAAE,MAAM,CAAA;IAChB,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAA;IACtC,iEAAiE;IACjE,mBAAmB,EAAE,GAAG,CAAC,YAAY,EAAE,CAAA;CACvC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/layers/application/index.d.ts

@@ -1,3 +1,7 @@
 export { cloneApplicationContent } from './clone-application';
 export { resolveApplicationSatellites } from './satellites';
+export { resolveComposedFunctions } from './resolve-composed-functions';
+export { resolveInstanceHoldings } from './resolve-instance-holdings';
+export type { ResolveComposedFunctionsParams } from './resolve-composed-functions.types';
+export type { InstanceHoldings, ResolveInstanceHoldingsParams, } from './resolve-instance-holdings.types';
 //# sourceMappingURL=index.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAA;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAA;AACrE,YAAY,EAAE,8BAA8B,EAAE,MAAM,oCAAoC,CAAA;AACxF,YAAY,EACX,gBAAgB,EAChB,6BAA6B,GAC7B,MAAM,mCAAmC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/layers/application/mapping.constants.d.ts

@@ -0,0 +1,10 @@
+/**
+ * The application layer's SHARED elements: elements the project holds once and several
+ * applications refer to. A source one maps onto the project's rather than being copied.
+ */
+export declare const APPLICATION_MAPPING_POLICIES: readonly [{
+    readonly tagName: "AllocationRole";
+    readonly key: "name";
+    readonly selectable: true;
+}];
+//# sourceMappingURL=mapping.constants.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/mapping.constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapping.constants.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/mapping.constants.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,eAAO,MAAM,4BAA4B;;;;EAEI,CAAA"}

package/dist/v2019C1/extensions/lifecycle/layers/application/resolve-composed-functions.d.ts

@@ -0,0 +1,14 @@
+import { ResolveComposedFunctionsParams } from './resolve-composed-functions.types';
+import { Config } from '../../../../config';
+import { ChildStandings } from '../../engine/standing';
+import type * as Core from '@dialecte/core';
+/**
+ * What stands, for each instance of the application, for each function its template composes —
+ * the engine's rule (`resolveStandings`) over what the application layer knows:
+ *  - an instance owns the functions it refers to;
+ *  - it lives on the levels of its other functions (else where the consumer started): that is where
+ *    a function of the lineage is looked for, and where a new one is placed.
+ * Each instance is read once per run.
+ */
+export declare function resolveComposedFunctions(query: Core.Query<Config>, params: ResolveComposedFunctionsParams): Promise<ChildStandings[]>;
+//# sourceMappingURL=resolve-composed-functions.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/resolve-composed-functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-composed-functions.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/resolve-composed-functions.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,oCAAoC,CAAA;AAExF,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EACX,cAAc,EAGd,MAAM,gDAAgD,CAAA;AACvD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAG3C;;;;;;;GAOG;AACH,wBAAsB,wBAAwB,CAC7C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EACzB,MAAM,EAAE,8BAA8B,GACpC,OAAO,CAAC,cAAc,EAAE,CAAC,CAqE3B"}

package/dist/v2019C1/extensions/lifecycle/layers/application/resolve-composed-functions.types.d.ts

@@ -0,0 +1,17 @@
+import { Config, Scl } from '../../../../config';
+import { DecisionMappings } from '../../mapping';
+import { MatchKey } from '../../scenario';
+import { AnyTrackedRecord } from '@dialecte/core';
+import type * as Core from '@dialecte/core';
+export type ResolveComposedFunctionsParams = {
+    sourceQuery: Core.Query<Config>;
+    applicationRef: Scl.Ref<'Application'>;
+    /** The instances of the application in the project. */
+    applicationInstances: readonly AnyTrackedRecord[];
+    /** The element of the project the consumer started from, when known. */
+    anchor?: Scl.Ref<Scl.ElementsOf>;
+    matchKey: MatchKey;
+    /** The consumer's choices, among them which function an instance stands on where several qualify. */
+    decisionMappings?: DecisionMappings;
+};
+//# sourceMappingURL=resolve-composed-functions.types.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/resolve-composed-functions.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-composed-functions.types.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/resolve-composed-functions.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAA;AACvE,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEtD,MAAM,MAAM,8BAA8B,GAAG;IAC5C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC/B,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACtC,uDAAuD;IACvD,oBAAoB,EAAE,SAAS,gBAAgB,EAAE,CAAA;IACjD,wEAAwE;IACxE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAChC,QAAQ,EAAE,QAAQ,CAAA;IAClB,qGAAqG;IACrG,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;CACnC,CAAA"}

package/dist/v2019C1/extensions/lifecycle/layers/application/resolve-instance-holdings.d.ts

@@ -0,0 +1,6 @@
+import { InstanceHoldings, ResolveInstanceHoldingsParams } from './resolve-instance-holdings.types';
+import { Config } from '../../../../config';
+import type * as Core from '@dialecte/core';
+/** What one instance of the application holds: its own functions and the levels it lives on. */
+export declare function resolveInstanceHoldings(query: Core.Query<Config>, params: ResolveInstanceHoldingsParams): Promise<InstanceHoldings>;
+//# sourceMappingURL=resolve-instance-holdings.d.ts.map

package/dist/v2019C1/extensions/lifecycle/layers/application/resolve-instance-holdings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-instance-holdings.d.ts","sourceRoot":"","sources":["../../../../../../src/v2019C1/extensions/lifecycle/layers/application/resolve-instance-holdings.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACX,gBAAgB,EAChB,6BAA6B,EAC7B,MAAM,mCAAmC,CAAA;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAO,MAAM,kBAAkB,CAAA;AAEnD,OAAO,KAAK,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAG3C,gGAAgG;AAChG,wBAAsB,uBAAuB,CAC5C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EACzB,MAAM,EAAE,6BAA6B,GACnC,OAAO,CAAC,gBAAgB,CAAC,CA2B3B"}