@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/model/identity-registry.js

@@ -33,9 +33,37 @@
 import { existsSync, readFileSync, writeFileSync } from 'node:fs';
 import { join } from 'node:path';
 export const IDENTITY_FILENAME = 'memo.identity.yaml';
-/** The registry key for an element. */
+/**
+ * The registry key for an element: its qualified id, which already carries the
+ * declaring package as its first segment.
+ *
+ * It used to be `package` and the element's id joined, because an id was then a
+ * bare short name. Joining them now would produce `Pump::Pump::motor`. For a
+ * TOP-LEVEL element the two spellings are character-for-character identical —
+ * `Pump::pump1` either way — which is why no existing entry moves. A NESTED
+ * element's key gains the owner chain it always should have had, and
+ * `priorIdentityFor` below adopts the old entry so no shortId or uuid is
+ * re-minted by this change.
+ */
 export function identityKey(element) {
-    return element.package ? `${element.package}::${element.id}` : element.id;
+    return element.id;
+}
+/**
+ * The identity an element already had, under this key or the one it used
+ * before qualified ids.
+ *
+ * A nested element was keyed `package::shortName` when a short name was an id;
+ * it is keyed `package::owner::shortName` now. Both are looked up, newest
+ * first, so a project's `memo.identity.yaml` survives the change without being
+ * rewritten and without a port silently acquiring a new `RMR-…`.
+ */
+export function priorIdentityFor(registry, element) {
+    const current = registry[identityKey(element)];
+    if (current)
+        return current;
+    if (!element.package || !element.shortName)
+        return undefined;
+    return registry[`${element.package}::${element.shortName}`];
 }
 /**
  * Read the registry. A missing file is an empty registry, not an error: the
@@ -103,15 +131,20 @@ export function parseIdentityRegistry(content) {
  * The prior `shortId` assignments for one prefix family, as
  * `assignSequentialShortIds` expects them: element id → shortId.
  *
- * Keys are un-qualified here because assignment happens per prefix over element
- * ids; the qualified key is only the persistence form.
+ * Keys are the registry's own — an element's qualified id, which is what an
+ * element id now is. They used to be stripped to the last segment, because an
+ * id was then a bare short name and the two forms had to be bridged; stripping
+ * them now would make every key ambiguous again, which is the thing qualified
+ * ids exist to stop.
+ *
+ * An entry whose element is gone is kept: it matches nothing, and raising the
+ * high-water mark is exactly what retires its number.
  */
 export function priorShortIds(registry) {
     const out = new Map();
     for (const [key, entry] of Object.entries(registry)) {
-        if (!entry.shortId)
-            continue;
-        out.set(key.includes('::') ? key.slice(key.lastIndexOf('::') + 2) : key, entry.shortId);
+        if (entry.shortId)
+            out.set(key, entry.shortId);
     }
     return out;
 }

package/packages/tools/lib/model/identity-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"identity-registry.js","sourceRoot":"","sources":["../../src/model/identity-registry.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,uEAAuE;AACvE,qDAAqD;AACrD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AACzE,iCAAiC;AACjC,EAAE;AACF,+EAA+E;AAC/E,0EAA0E;AAC1E,wEAAwE;AACxE,6EAA6E;AAC7E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,2EAA2E;AAC3E,+CAA+C;AAC/C,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,+EAA+E;AAC/E,yEAAyE;AACzE,4EAA4E;AAC5E,gEAAgE;AAChE,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,+EAA+E;AAC/E,mEAAmE;AACnE,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAWtD,uCAAuC;AACvC,MAAM,UAAU,WAAW,CAAC,OAAyC;IACjE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAmB;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,qBAAqB,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACjC,WAAmB,EACnB,QAA0B,EAC1B,QAA0B,EAAE;IAE5B,MAAM,MAAM,GAAqB,EAAE,GAAG,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC;IAC3D,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,yBAAyB,CAAC,QAA0B;IAChE,IAAI,GAAG,GAAG,KAAK,iBAAiB,iDAAiD,CAAC;IAClF,GAAG,IAAI,4EAA4E,CAAC;IACpF,GAAG,IAAI,sEAAsE,CAAC;IAC9E,GAAG,IAAI,qEAAqE,CAAC;IAC7E,GAAG,IAAI,gFAAgF,CAAC;IACxF,GAAG,IAAI,aAAa,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI;YAAE,SAAS;QAC9C,GAAG,IAAI,MAAM,GAAG,MAAM,CAAC;QACvB,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,IAAI,iBAAiB,KAAK,CAAC,OAAO,KAAK,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI;YAAE,GAAG,IAAI,cAAc,KAAK,CAAC,IAAI,KAAK,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACjD,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,IAAI,OAA2B,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS;QAExF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACX,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACtB,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACvB,SAAS;QACb,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC9D,IAAI,UAAU,IAAI,OAAO,EAAE,CAAC;YACxB,QAAQ,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAuB,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,QAA0B;IACpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,SAAS;QAC7B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}
+{"version":3,"file":"identity-registry.js","sourceRoot":"","sources":["../../src/model/identity-registry.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,uEAAuE;AACvE,qDAAqD;AACrD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AACzE,iCAAiC;AACjC,EAAE;AACF,+EAA+E;AAC/E,0EAA0E;AAC1E,wEAAwE;AACxE,6EAA6E;AAC7E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,2EAA2E;AAC3E,+CAA+C;AAC/C,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,+EAA+E;AAC/E,yEAAyE;AACzE,4EAA4E;AAC5E,gEAAgE;AAChE,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,+EAA+E;AAC/E,mEAAmE;AACnE,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAWtD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CAAC,OAAyC;IACjE,OAAO,OAAO,CAAC,EAAE,CAAC;AACtB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,QAA0B,EAC1B,OAA6D;IAE7D,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,QAAQ,CAAC,GAAG,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;AAChE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAmB;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,qBAAqB,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACjC,WAAmB,EACnB,QAA0B,EAC1B,QAA0B,EAAE;IAE5B,MAAM,MAAM,GAAqB,EAAE,GAAG,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC;IAC3D,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,yBAAyB,CAAC,QAA0B;IAChE,IAAI,GAAG,GAAG,KAAK,iBAAiB,iDAAiD,CAAC;IAClF,GAAG,IAAI,4EAA4E,CAAC;IACpF,GAAG,IAAI,sEAAsE,CAAC;IAC9E,GAAG,IAAI,qEAAqE,CAAC;IAC7E,GAAG,IAAI,gFAAgF,CAAC;IACxF,GAAG,IAAI,aAAa,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI;YAAE,SAAS;QAC9C,GAAG,IAAI,MAAM,GAAG,MAAM,CAAC;QACvB,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,IAAI,iBAAiB,KAAK,CAAC,OAAO,KAAK,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI;YAAE,GAAG,IAAI,cAAc,KAAK,CAAC,IAAI,KAAK,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACjD,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,IAAI,OAA2B,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS;QAExF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACX,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACtB,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACvB,SAAS;QACb,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC9D,IAAI,UAAU,IAAI,OAAO,EAAE,CAAC;YACxB,QAAQ,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAuB,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,QAA0B;IACpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}

package/packages/tools/lib/model/impact.d.ts

@@ -0,0 +1,75 @@
+import type { ApiModel } from '../stage2/api-model.js';
+import type { CompiledConstraint } from '../validator/constraint-eval.js';
+import type { BuilderRegistries } from './complete-model.js';
+import { type BuildOptions } from './pinned.js';
+import type { MemoModel } from './semantic.js';
+/** How far from a change the reach goes. */
+export declare const IMPACT_DEPTH = 2;
+/** The working model the change is judged on: what the server holds. */
+export interface ImpactHead {
+    model: MemoModel;
+    registries: BuilderRegistries;
+    api: ApiModel;
+    constraints: readonly CompiledConstraint[];
+    /** The packages declaring the method, for the Guide. */
+    packages: readonly string[];
+}
+export interface ImpactItem {
+    id: string;
+    name: string;
+    kind: string;
+    layer: string;
+    via?: string;
+    depth: number;
+}
+export interface ImpactReport {
+    target: string;
+    /** The commit the change is measured from. */
+    base: {
+        commit: string;
+        ref: string;
+    };
+    head: 'working tree';
+    changed: {
+        added: number;
+        removed: number;
+        changed: number;
+        addedLinks: number;
+        removedLinks: number;
+        elements: ImpactItem[];
+    };
+    /** What the change reaches, by the layer each element is in. */
+    reached: Record<string, ImpactItem[]>;
+    /** The systems and systems of systems that hold anything changed or reached. */
+    systems: {
+        id: string;
+        name: string;
+        scope: 'sos' | 'system';
+    }[];
+    releases: {
+        id: string;
+        name: string;
+        status: string;
+        commit: string;
+        needsNewRelease: boolean;
+    }[];
+    devices: {
+        id: string;
+        name: string;
+        jurisdiction: string;
+    }[];
+    reopened: {
+        workspace: string;
+        step: string;
+        label: string;
+    }[];
+    limits: string[];
+}
+export declare function computeChangeImpact(options: {
+    projectRoot: string;
+    head: ImpactHead;
+    /** A ref or commit; default HEAD. */
+    target?: string;
+    build?: BuildOptions;
+}): Promise<ImpactReport>;
+//# sourceMappingURL=impact.d.ts.map

package/packages/tools/lib/model/impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/model/impact.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAA0B,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,KAAK,EAAe,SAAS,EAAE,MAAM,eAAe,CAAC;AAK5D,4CAA4C;AAC5C,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B,wEAAwE;AACxE,MAAM,WAAW,UAAU;IACvB,KAAK,EAAE,SAAS,CAAC;IACjB,UAAU,EAAE,iBAAiB,CAAC;IAC9B,GAAG,EAAE,QAAQ,CAAC;IACd,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC3C,wDAAwD;IACxD,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,UAAU;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAElH,MAAM,WAAW,YAAY;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,8CAA8C;IAC9C,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC;IAC/H,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACtC,gFAAgF;IAChF,OAAO,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CAAA;KAAE,EAAE,CAAC;IACjE,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IACnG,OAAO,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9D,QAAQ,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/D,MAAM,EAAE,MAAM,EAAE,CAAC;CACpB;AAqBD,wBAAsB,mBAAmB,CAAC,OAAO,EAAE;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,UAAU,CAAC;IACjB,qCAAqC;IACrC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,YAAY,CAAC;CACxB,GAAG,OAAO,CAAC,YAAY,CAAC,CAwGxB"}

package/packages/tools/lib/model/impact.js

@@ -0,0 +1,167 @@
+// ─── What a change reaches ───────────────────────────────────────────────────
+//
+// The change is the working model against the commit it branched from: the model as the server holds it, edits
+// that are not committed included, and `git merge-base <target> HEAD` built with `buildAt` (T5). The merge-base
+// and not the target's tip, because diffing against the tip would show everything that landed on the target since
+// the branch point as if the branch had reverted it. With the default target, HEAD, the merge-base is HEAD
+// itself, and the question is the everyday one: what do my uncommitted edits affect. A release's commit as the
+// target asks for everything since that release.
+//
+// From what changed (elements added, removed or changed, and both ends of every link added or removed) the
+// reach is the one traversal `analysis/impact.ts` has, over every relation but containment, two steps out
+// (a function, its requirement, that requirement's test), never passing through a system or system of
+// systems. Removed elements are expanded in the base model, the rest in the working one. Layers come from the
+// ontology, so requirements, risk and tests are separate groups without a kind list here. The systems are the
+// workspaces that hold the changed and reached elements; the releases are the records of those systems, or of
+// the elements themselves, and every record that contains them; the devices are those that cover them; and
+// a step is reopened when it is done at the base and not at the head.
+//
+// Two limits. A rename is a removal plus an addition, because an id is a qualified name. And two steps is a
+// number, not a judgement: a longer reach is a bigger answer, and the model is connected enough that without
+// a bound the answer would be all of it.
+// ─────────────────────────────────────────────────────────────────────────────
+import { execFile } from 'node:child_process';
+import { promisify } from 'node:util';
+import { traverseImpact } from '../analysis/impact.js';
+import { evaluateWorkspaceGuide } from '../methodology/guide-service.js';
+import { collectApiConstraints } from '../validator/constraint-loader-api.js';
+import { computeModelDiff, diffInputOf } from './model-diff.js';
+import { buildAt, resolveCommit } from './pinned.js';
+import { computeWorkspaceMembership } from './workspace-membership.js';
+const git = promisify(execFile);
+/** How far from a change the reach goes. */
+export const IMPACT_DEPTH = 2;
+async function mergeBase(projectRoot, target) {
+    const sha = await resolveCommit(projectRoot, target);
+    try {
+        return (await git('git', ['-C', projectRoot, 'merge-base', sha, 'HEAD'])).stdout.trim();
+    }
+    catch {
+        throw new Error(`"${target}" and HEAD have no common commit, so there is no point to measure the change from.`);
+    }
+}
+const graphOf = (model) => ({
+    element: id => {
+        const e = model.elements.get(id);
+        return e ? { name: e.shortName ?? e.name, kind: e.kind, layer: e.layer } : undefined;
+    },
+    links: model.relationships,
+});
+const item = (e, depth, via) => ({ id: e.id, name: e.shortName ?? e.name, kind: e.kind, layer: e.layer, via, depth });
+export async function computeChangeImpact(options) {
+    const { head, projectRoot } = options;
+    const target = options.target?.trim() || 'HEAD';
+    const baseCommit = await mergeBase(projectRoot, target);
+    const base = (await buildAt(projectRoot, baseCommit, options.build)).project;
+    if (!base.registries)
+        throw new Error('the base model was built without the ontology registries');
+    const diff = computeModelDiff(diffInputOf(base.model), diffInputOf(head.model));
+    const headMembership = computeWorkspaceMembership(head.model, head.registries);
+    const baseMembership = computeWorkspaceMembership(base.model, base.registries);
+    // Roots, each in the model that has it: the removed in the base, everything else in the working model.
+    const headRoots = new Set();
+    const baseRoots = new Set();
+    for (const e of diff.added)
+        headRoots.add(e.id);
+    for (const c of diff.changed)
+        headRoots.add(c.element.id);
+    for (const e of diff.removed)
+        baseRoots.add(e.id);
+    for (const r of diff.addedRels)
+        for (const id of [r.sourceId, r.targetId])
+            if (head.model.elements.has(id))
+                headRoots.add(id);
+    for (const r of diff.removedRels)
+        for (const id of [r.sourceId, r.targetId])
+            if (base.model.elements.has(id))
+                baseRoots.add(id);
+    // Never through a system or system of systems: everything reaches the one it belongs to.
+    const traverse = (model, membership, roots) => traverseImpact(graphOf(model), [...roots].filter(id => model.elements.has(id)), {
+        direction: 'both', maxDepth: IMPACT_DEPTH, skipTypes: new Set(['composes']),
+        stopAt: new Set(membership.workspaces.map(w => w.root)),
+    }).nodes;
+    const reachedHead = traverse(head.model, headMembership, headRoots);
+    const reachedBase = traverse(base.model, baseMembership, baseRoots);
+    const changedIds = new Set([...headRoots, ...baseRoots]);
+    const reached = new Map();
+    for (const node of [...reachedHead, ...reachedBase]) {
+        if (changedIds.has(node.elementId) || reached.has(node.elementId))
+            continue;
+        reached.set(node.elementId, { id: node.elementId, name: node.name, kind: node.kind, layer: node.layer, via: node.viaRelType, depth: node.depth });
+    }
+    const byLayer = {};
+    for (const entry of [...reached.values()].sort((a, b) => a.depth - b.depth || a.name.localeCompare(b.name))) {
+        (byLayer[entry.layer || 'unplaced'] ??= []).push(entry);
+    }
+    // The systems that hold what changed or was reached; head membership for what is in the head, base for what was removed.
+    const nameOf = (id) => head.model.elements.get(id)?.shortName ?? base.model.elements.get(id)?.shortName ?? id;
+    const systems = new Map();
+    const place = (membership, id) => {
+        for (const root of [...(membership.systems.get(id) ?? []), ...(membership.sos.get(id) ?? [])]) {
+            const w = membership.workspaces.find(x => x.root === root);
+            if (w)
+                systems.set(root, { id: root, name: nameOf(root), scope: w.scope });
+        }
+        // A changed element that is itself a system or system of systems is that workspace.
+        const own = membership.workspaces.find(w => w.root === id);
+        if (own)
+            systems.set(id, { id, name: nameOf(id), scope: own.scope });
+    };
+    for (const id of headRoots)
+        place(headMembership, id);
+    for (const id of baseRoots)
+        place(baseMembership, id);
+    for (const id of reached.keys())
+        place(head.model.elements.has(id) ? headMembership : baseMembership, id);
+    // Releases: the records of an affected system or element, and every record that contains one, transitively.
+    const affected = new Set([...systems.keys(), ...changedIds, ...reached.keys()]);
+    const links = (type) => head.model.relationships.filter(r => r.type === type);
+    const records = new Set(links('releaseOf').filter(r => affected.has(r.targetId)).map(r => r.sourceId));
+    for (let grew = true; grew;) {
+        grew = false;
+        for (const r of links('contains'))
+            if (records.has(r.targetId) && !records.has(r.sourceId)) {
+                records.add(r.sourceId);
+                grew = true;
+            }
+    }
+    const releases = [...records].map(id => {
+        const e = head.model.elements.get(id);
+        const status = (e.attributes?.status ?? '').replace(/^.*::/, '');
+        return { id, name: e.shortName ?? e.name, status, commit: (e.attributes?.modelCommit ?? '').slice(0, 7), needsNewRelease: status === 'approved' || status === 'released' };
+    }).sort((a, b) => a.name.localeCompare(b.name));
+    const devices = [...new Set(links('covers').filter(r => records.has(r.targetId)).map(r => r.sourceId))].map(id => {
+        const e = head.model.elements.get(id);
+        return { id, name: e.shortName ?? e.name, jurisdiction: (e.attributes?.jurisdiction ?? '').replace(/^.*::/, '') };
+    }).sort((a, b) => a.name.localeCompare(b.name));
+    // A step is reopened when it was done at the base and is not at the head, in each affected workspace.
+    const reopened = [];
+    for (const workspace of systems.values()) {
+        const at = (project) => evaluateWorkspaceGuide({ ...project, packages: head.packages, workspace: workspace.id });
+        const before = at({ api: base.api, model: base.model, registries: base.registries, constraints: collectApiConstraints(base.api) });
+        const after = at(head);
+        const done = new Set(before.steps.filter(s => s.state === 'done').map(s => s.id));
+        for (const step of after.steps) {
+            if (done.has(step.id) && step.state !== 'done')
+                reopened.push({ workspace: workspace.name, step: step.id, label: step.label ?? step.name });
+        }
+    }
+    return {
+        target, base: { commit: baseCommit, ref: target }, head: 'working tree',
+        changed: {
+            added: diff.summary.added, removed: diff.summary.removed, changed: diff.summary.changed,
+            addedLinks: diff.summary.addedRels, removedLinks: diff.summary.removedRels,
+            elements: [
+                ...diff.added.map(e => ({ ...item(head.model.elements.get(e.id), 0), via: 'added' })),
+                ...diff.changed.map(c => ({ ...item(head.model.elements.get(c.element.id), 0), via: 'changed' })),
+                ...diff.removed.map(e => ({ ...item(base.model.elements.get(e.id), 0), via: 'removed' })),
+            ],
+        },
+        reached: byLayer, systems: [...systems.values()].sort((a, b) => a.name.localeCompare(b.name)), releases, devices, reopened,
+        limits: [
+            'A rename shows as a removal and an addition: an element is known by its qualified name.',
+            `The reach is ${IMPACT_DEPTH} steps from a change, over every relation but containment, and stops at a system.`,
+        ],
+    };
+}
+//# sourceMappingURL=impact.js.map

package/packages/tools/lib/model/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/model/impact.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,+GAA+G;AAC/G,gHAAgH;AAChH,kHAAkH;AAClH,2GAA2G;AAC3G,+GAA+G;AAC/G,iDAAiD;AACjD,EAAE;AACF,2GAA2G;AAC3G,0GAA0G;AAC1G,sGAAsG;AACtG,8GAA8G;AAC9G,8GAA8G;AAC9G,8GAA8G;AAC9G,2GAA2G;AAC3G,sEAAsE;AACtE,EAAE;AACF,4GAA4G;AAC5G,6GAA6G;AAC7G,yCAAyC;AACzC,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,cAAc,EAAoB,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAE9E,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAqB,MAAM,aAAa,CAAC;AAExE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAEhC,4CAA4C;AAC5C,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC;AA8B9B,KAAK,UAAU,SAAS,CAAC,WAAmB,EAAE,MAAc;IACxD,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC;QACD,OAAO,CAAC,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC5F,CAAC;IAAC,MAAM,CAAC;QACL,MAAM,IAAI,KAAK,CAAC,IAAI,MAAM,oFAAoF,CAAC,CAAC;IACpH,CAAC;AACL,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAgB,EAAe,EAAE,CAAC,CAAC;IAChD,OAAO,EAAE,EAAE,CAAC,EAAE;QACV,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,CAAC;IACD,KAAK,EAAE,KAAK,CAAC,aAAa;CAC7B,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,CAAc,EAAE,KAAa,EAAE,GAAY,EAAc,EAAE,CACrE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AAE1F,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,OAMzC;IACG,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,CAAC,MAAM,OAAO,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IAC7E,IAAI,CAAC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAElG,MAAM,IAAI,GAAG,gBAAgB,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAChF,MAAM,cAAc,GAAG,0BAA0B,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/E,MAAM,cAAc,GAAG,0BAA0B,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAE/E,uGAAuG;IACvG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;QAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC;YAAE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9H,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW;QAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC;YAAE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhI,yFAAyF;IACzF,MAAM,QAAQ,GAAG,CAAC,KAAgB,EAAE,UAAiC,EAAE,KAAkB,EAAE,EAAE,CACzF,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;QAC5E,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC1D,CAAC,CAAC,KAAK,CAAC;IACb,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IAEpE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC;QAClD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,SAAS;QAC5E,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACtJ,CAAC;IACD,MAAM,OAAO,GAAiC,EAAE,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1G,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC;IAED,yHAAyH;IACzH,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACtH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiE,CAAC;IACzF,MAAM,KAAK,GAAG,CAAC,UAAiC,EAAE,EAAU,EAAE,EAAE;QAC5D,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5F,MAAM,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,oFAAoF;QACpF,MAAM,GAAG,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;QAC3D,IAAI,GAAG;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACtD,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACtD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAE1G,4GAA4G;IAC5G,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/G,KAAK,IAAI,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;QAC1B,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC;YAAE,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAAC,IAAI,GAAG,IAAI,CAAC;YAAC,CAAC;IACzI,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACvC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;IAC/K,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAC7G,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACvC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC;IACtH,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhD,sGAAsG;IACtG,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,CAAC,OAAuH,EAAE,EAAE,CACnI,sBAAsB,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnI,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAChJ,CAAC;IACL,CAAC;IAED,OAAO;QACH,MAAM,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc;QACvE,OAAO,EAAE;YACL,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO;YACvF,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW;YAC1E,QAAQ,EAAE;gBACN,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;gBACtF,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;gBAClG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;aAC7F;SACJ;QACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ;QAC1H,MAAM,EAAE;YACJ,yFAAyF;YACzF,gBAAgB,YAAY,mFAAmF;SAClH;KACJ,CAAC;AACN,CAAC"}

package/packages/tools/lib/model/ir-identity.d.ts

@@ -1,4 +1,4 @@
-import type { SysmlIdentity, SysmlIR } from '../sysml-ir/index.js';
+import type { SysmlIdentity } from '../sysml-ir/index.js';
 /**
  * A write was made against an identity the current IR does not have.
  *
@@ -14,7 +14,8 @@ export declare class StaleIrIdentityError extends Error {
 export type IrIdentityTable = Record<string, string>;
 /** What an index knows about one addressable declaration. */
 export interface IrIdentityEntry {
-    identity: SysmlIdentity;
+    /** The identity, and the metaclass of the declaration it names. */
+    identity: Pick<SysmlIdentity, 'id' | 'metaclass'>;
     /** The Memo element it projects to, when the projection mapped it. */
     memoElementId?: string;
 }
@@ -24,14 +25,6 @@ export interface IrIdentityIndex {
     /** IR identity ID → the declaration it names. */
     readonly byIdentity: ReadonlyMap<string, IrIdentityEntry>;
 }
-/**
- * Index one IR for identity resolution.
- *
- * Both directions are needed and neither is derivable cheaply from the other:
- * the client holds Memo element IDs and has to mint an identity from one, and
- * the server holds an identity and has to find what it names.
- */
-export declare function buildIrIdentityIndex(ir: SysmlIR | undefined): IrIdentityIndex;
 /**
  * Rebuild an index from the compact table alone.
  *
@@ -42,22 +35,6 @@ export declare function buildIrIdentityIndex(ir: SysmlIR | undefined): IrIdentit
  * resolver uses.
  */
 export declare function indexFromIdentityTable(table: IrIdentityTable | undefined): IrIdentityIndex;
-/**
- * Read an identity ID back into its parts.
- *
- * `file:///…/model/a.sysml#members[0]/members[2]:PartUsage`. The file URI may
- * itself contain `#` only if percent-encoded, and the metaclass never contains
- * `:`, so splitting at the first `#` and the last `:` is unambiguous.
- */
-export declare function parseSysmlIdentityId(id: string): SysmlIdentity | undefined;
-/**
- * The compact table shipped with a model update.
- *
- * The whole IR is not sent: its `standardProperties` carry every declared
- * property of every node, and a client that only needs to address an element
- * does not need its contents.
- */
-export declare function irIdentityTable(ir: SysmlIR | undefined): IrIdentityTable;
 /**
  * Resolve an identity ID against the current IR, or fail loudly.
  *
@@ -66,29 +43,4 @@ export declare function irIdentityTable(ir: SysmlIR | undefined): IrIdentityTabl
  * disappeared, and it is the more dangerous of the two.
  */
 export declare function requireIrIdentity(index: IrIdentityIndex, identityId: string, expectedMemoElementId?: string): IrIdentityEntry;
-/** The identity a client should quote when it writes to this element. */
-export declare function identityForMemoElement(index: IrIdentityIndex, memoElementId: string): string | undefined;
-/** `members[3]/members[1]` → `[3, 1]`. Any other shape is not a path we minted. */
-export declare function parseDeclarationPath(declarationPath: string): number[] | undefined;
-/** The project-relative file an identity's URI names, given the project root. */
-export declare function identityFile(identity: SysmlIdentity, projectRoot: string): string | undefined;
-/** True when this identity was minted for that project-relative file. */
-export declare function identityNamesFile(identity: SysmlIdentity, projectRoot: string, relativePath: string): boolean;
-/**
- * Walk a parsed document to the declaration an identity addresses.
- *
- * The metaclass is verified, not assumed: a path that still resolves but to a
- * different kind of declaration means the file was edited underneath this
- * identity, and continuing would rewrite the wrong lines.
- */
-export declare function resolveDeclarationByIdentity(root: {
-    members?: unknown[];
-}, identity: SysmlIdentity): {
-    $type?: string;
-    name?: string;
-    $cstNode?: {
-        offset: number;
-        length: number;
-    };
-};
 //# sourceMappingURL=ir-identity.d.ts.map

package/packages/tools/lib/model/ir-identity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir-identity.d.ts","sourceRoot":"","sources":["../../src/model/ir-identity.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEnE;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM;gBAAlB,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAO1D;AAED,8EAA8E;AAC9E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAErD,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC5B,QAAQ,EAAE,aAAa,CAAC;IACxB,sEAAsE;IACtE,aAAa,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7D;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,GAAG,eAAe,CAS7E;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAU1F;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAS1E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,GAAG,eAAe,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,eAAe,EACtB,UAAU,EAAE,MAAM,EAClB,qBAAqB,CAAC,EAAE,MAAM,GAC/B,eAAe,CAajB;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAClC,KAAK,EAAE,eAAe,EACtB,aAAa,EAAE,MAAM,GACtB,MAAM,GAAG,SAAS,CAEpB;AAID,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,eAAe,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,CAUlF;AAED,iFAAiF;AACjF,wBAAgB,YAAY,CAAC,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAI7F;AAED,yEAAyE;AACzE,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACrB,OAAO,CAET;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CACxC,IAAI,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,EAAE,CAAA;CAAE,EAC7B,QAAQ,EAAE,aAAa,GACxB;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAuBlF"}
+{"version":3,"file":"ir-identity.d.ts","sourceRoot":"","sources":["../../src/model/ir-identity.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM;gBAAlB,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAO1D;AAED,8EAA8E;AAC9E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAErD,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC5B,mEAAmE;IACnE,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,GAAG,WAAW,CAAC,CAAC;IAClD,sEAAsE;IACtE,aAAa,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7D;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAY1F;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,eAAe,EACtB,UAAU,EAAE,MAAM,EAClB,qBAAqB,CAAC,EAAE,MAAM,GAC/B,eAAe,CAajB"}

package/packages/tools/lib/model/ir-identity.js

@@ -1,23 +1,16 @@
 // ─── IR identity: the address every authoring write is made against ──────────
 //
-// Session 3 made the canonical IR the ingestion boundary. Authoring still
-// addressed elements the old way — by authored name, matched with a regular
-// expression over the source text — so two declarations with the same name in
-// different namespaces were the same target as far as a write was concerned,
-// and a rename made the write silently miss.
+// An authoring write names its target by an identity: `file#key:metaclass`,
+// minted from the file's source outline (authoring/outline-identity.ts,
+// plans/memo-write-back-from-handoff.md). Before that it was a declaration's
+// position in MEMO's syntax tree, which tied write-back to MEMO's grammar.
 //
-// An IR identity is `file-URI + declaration path + metaclass`. It is positional
-// by construction, which is the point: inserting a declaration ahead of another
-// changes the second one's address, so an identity minted against an older
-// revision is *detectably* old rather than quietly pointing at a neighbour.
-// Every write therefore either resolves its identity against the current IR or
-// fails loudly — `StaleIrIdentityError`, naming the identity and what it found.
-//
-// Nothing here reads the filesystem or spawns anything: it is a resolver over
-// an IR that some lowering provider already produced.
+// This is the index a write resolves against — every identity of a revision,
+// and each element's — and the error a stale one raises. A write either
+// resolves its identity against the revision it was built against and the
+// file as it is now, or fails loudly with `StaleIrIdentityError`, naming the
+// identity and what it found.
 // ─────────────────────────────────────────────────────────────────────────────
-import { resolve } from 'node:path';
-import { pathToFileURL } from 'node:url';
 /**
  * A write was made against an identity the current IR does not have.
  *
@@ -34,24 +27,6 @@ export class StaleIrIdentityError extends Error {
         this.name = 'StaleIrIdentityError';
     }
 }
-/**
- * Index one IR for identity resolution.
- *
- * Both directions are needed and neither is derivable cheaply from the other:
- * the client holds Memo element IDs and has to mint an identity from one, and
- * the server holds an identity and has to find what it names.
- */
-export function buildIrIdentityIndex(ir) {
-    const byMemoElement = {};
-    const byIdentity = new Map();
-    for (const element of ir?.elements ?? []) {
-        const memoElementId = element.kind === 'mapped' ? element.memoElementId : undefined;
-        byIdentity.set(element.identity.id, { identity: element.identity, memoElementId });
-        if (memoElementId)
-            byMemoElement[memoElementId] = element.identity.id;
-    }
-    return { byMemoElement, byIdentity };
-}
 /**
  * Rebuild an index from the compact table alone.
  *
@@ -65,43 +40,16 @@ export function indexFromIdentityTable(table) {
     const byMemoElement = {};
     const byIdentity = new Map();
     for (const [memoElementId, identityId] of Object.entries(table ?? {})) {
-        const identity = parseSysmlIdentityId(identityId);
-        if (!identity)
+        // `file#key:metaclass` (authoring/outline-identity.ts).
+        const hash = identityId.indexOf('#');
+        const colon = identityId.lastIndexOf(':');
+        if (hash <= 0 || colon <= hash + 1)
             continue;
         byMemoElement[memoElementId] = identityId;
-        byIdentity.set(identityId, { identity, memoElementId });
+        byIdentity.set(identityId, { identity: { id: identityId, metaclass: identityId.slice(colon + 1) }, memoElementId });
     }
     return { byMemoElement, byIdentity };
 }
-/**
- * Read an identity ID back into its parts.
- *
- * `file:///…/model/a.sysml#members[0]/members[2]:PartUsage`. The file URI may
- * itself contain `#` only if percent-encoded, and the metaclass never contains
- * `:`, so splitting at the first `#` and the last `:` is unambiguous.
- */
-export function parseSysmlIdentityId(id) {
-    const hash = id.indexOf('#');
-    const colon = id.lastIndexOf(':');
-    if (hash < 0 || colon < hash)
-        return undefined;
-    const fileUri = id.slice(0, hash);
-    const declarationPath = id.slice(hash + 1, colon);
-    const metaclass = id.slice(colon + 1);
-    if (!fileUri || !declarationPath || !metaclass)
-        return undefined;
-    return { fileUri, declarationPath, metaclass, id };
-}
-/**
- * The compact table shipped with a model update.
- *
- * The whole IR is not sent: its `standardProperties` carry every declared
- * property of every node, and a client that only needs to address an element
- * does not need its contents.
- */
-export function irIdentityTable(ir) {
-    return buildIrIdentityIndex(ir).byMemoElement;
-}
 /**
  * Resolve an identity ID against the current IR, or fail loudly.
  *
@@ -120,59 +68,4 @@ export function requireIrIdentity(index, identityId, expectedMemoElementId) {
     }
     return found;
 }
-/** The identity a client should quote when it writes to this element. */
-export function identityForMemoElement(index, memoElementId) {
-    return index.byMemoElement[memoElementId];
-}
-// ─── Locating the declaration an identity names ─────────────────────────────
-/** `members[3]/members[1]` → `[3, 1]`. Any other shape is not a path we minted. */
-export function parseDeclarationPath(declarationPath) {
-    const segments = declarationPath.split('/').filter(Boolean);
-    if (segments.length === 0)
-        return undefined;
-    const indexes = [];
-    for (const segment of segments) {
-        const match = /^members\[(\d+)\]$/.exec(segment);
-        if (!match)
-            return undefined;
-        indexes.push(Number(match[1]));
-    }
-    return indexes;
-}
-/** The project-relative file an identity's URI names, given the project root. */
-export function identityFile(identity, projectRoot) {
-    const roots = pathToFileURL(resolve(projectRoot)).href.replace(/\/$/, '');
-    if (!identity.fileUri.startsWith(`${roots}/`))
-        return undefined;
-    return decodeURIComponent(identity.fileUri.slice(roots.length + 1));
-}
-/** True when this identity was minted for that project-relative file. */
-export function identityNamesFile(identity, projectRoot, relativePath) {
-    return identityFile(identity, projectRoot) === relativePath.replaceAll('\\', '/');
-}
-/**
- * Walk a parsed document to the declaration an identity addresses.
- *
- * The metaclass is verified, not assumed: a path that still resolves but to a
- * different kind of declaration means the file was edited underneath this
- * identity, and continuing would rewrite the wrong lines.
- */
-export function resolveDeclarationByIdentity(root, identity) {
-    const path = parseDeclarationPath(identity.declarationPath);
-    if (!path) {
-        throw new StaleIrIdentityError(identity.id, `"${identity.declarationPath}" is not a declaration path`);
-    }
-    let node = root;
-    for (const [depth, index] of path.entries()) {
-        const members = node?.members;
-        if (!Array.isArray(members) || index >= members.length) {
-            throw new StaleIrIdentityError(identity.id, `the source no longer has a declaration at ${path.slice(0, depth + 1).map(i => `members[${i}]`).join('/')}`);
-        }
-        node = members[index];
-    }
-    if (node?.$type !== identity.metaclass) {
-        throw new StaleIrIdentityError(identity.id, `that position now holds a ${node?.$type ?? 'nothing'}, not a ${identity.metaclass}`);
-    }
-    return node;
-}
 //# sourceMappingURL=ir-identity.js.map

package/packages/tools/lib/model/ir-identity.js.map

@@ -1 +1 @@
-{"version":3,"file":"ir-identity.js","sourceRoot":"","sources":["../../src/model/ir-identity.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,6CAA6C;AAC7C,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,2EAA2E;AAC3E,4EAA4E;AAC5E,+EAA+E;AAC/E,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,sDAAsD;AACtD,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACtB;IAArB,YAAqB,UAAkB,EAAE,MAAc;QACnD,KAAK,CACD,qBAAqB,UAAU,kDAAkD,MAAM,IAAI;cACzF,8DAA8D,CACnE,CAAC;QAJe,eAAU,GAAV,UAAU,CAAQ;QAKnC,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACvC,CAAC;CACJ;AAmBD;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAuB;IACxD,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,OAAO,IAAI,EAAE,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;QACnF,IAAI,aAAa;YAAE,aAAa,CAAC,aAAa,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAkC;IACrE,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,aAAa,CAAC,aAAa,CAAC,GAAG,UAAU,CAAC;QAC1C,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAU;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,IAAI;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,eAAe,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,EAAuB;IACnD,OAAO,oBAAoB,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC7B,KAAsB,EACtB,UAAkB,EAClB,qBAA8B;IAE9B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,MAAM,IAAI,oBAAoB,CAAC,UAAU,EAAE,oDAAoD,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,qBAAqB,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,qBAAqB,EAAE,CAAC;QACvF,MAAM,IAAI,oBAAoB,CAC1B,UAAU,EACV,gBAAgB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,qCAAqC,IAAI;cAClH,QAAQ,qBAAqB,GAAG,CACrC,CAAC;IACN,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,sBAAsB,CAClC,KAAsB,EACtB,aAAqB;IAErB,OAAO,KAAK,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAE/E,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,eAAuB;IACxD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,YAAY,CAAC,QAAuB,EAAE,WAAmB;IACrE,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,iBAAiB,CAC7B,QAAuB,EACvB,WAAmB,EACnB,YAAoB;IAEpB,OAAO,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,KAAK,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CACxC,IAA6B,EAC7B,QAAuB;IAEvB,MAAM,IAAI,GAAG,oBAAoB,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,oBAAoB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,QAAQ,CAAC,eAAe,6BAA6B,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,IAAI,GAAQ,IAAI,CAAC;IACrB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACrD,MAAM,IAAI,oBAAoB,CAC1B,QAAQ,CAAC,EAAE,EACX,6CAA6C,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAC9G,CAAC;QACN,CAAC;QACD,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,IAAI,EAAE,KAAK,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,oBAAoB,CAC1B,QAAQ,CAAC,EAAE,EACX,6BAA6B,IAAI,EAAE,KAAK,IAAI,SAAS,WAAW,QAAQ,CAAC,SAAS,EAAE,CACvF,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}
+{"version":3,"file":"ir-identity.js","sourceRoot":"","sources":["../../src/model/ir-identity.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,wEAAwE;AACxE,6EAA6E;AAC7E,2EAA2E;AAC3E,EAAE;AACF,6EAA6E;AAC7E,wEAAwE;AACxE,0EAA0E;AAC1E,6EAA6E;AAC7E,8BAA8B;AAC9B,gFAAgF;AAIhF;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACtB;IAArB,YAAqB,UAAkB,EAAE,MAAc;QACnD,KAAK,CACD,qBAAqB,UAAU,kDAAkD,MAAM,IAAI;cACzF,8DAA8D,CACnE,CAAC;QAJe,eAAU,GAAV,UAAU,CAAQ;QAKnC,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACvC,CAAC;CACJ;AAoBD;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAkC;IACrE,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACpE,wDAAwD;QACxD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC;YAAE,SAAS;QAC7C,aAAa,CAAC,aAAa,CAAC,GAAG,UAAU,CAAC;QAC1C,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC7B,KAAsB,EACtB,UAAkB,EAClB,qBAA8B;IAE9B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,MAAM,IAAI,oBAAoB,CAAC,UAAU,EAAE,oDAAoD,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,qBAAqB,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,qBAAqB,EAAE,CAAC;QACvF,MAAM,IAAI,oBAAoB,CAC1B,UAAU,EACV,gBAAgB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,qCAAqC,IAAI;cAClH,QAAQ,qBAAqB,GAAG,CACrC,CAAC;IACN,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}