@webpieces/nx-webpieces-rules 0.4.912 → 0.4.913

package/src/lib/runtime-goal-view.js

@@ -0,0 +1,64 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RuntimeComparisonInputs = void 0;
+const rules_config_1 = require("@webpieces/rules-config");
+const runtime_graph_io_1 = require("./runtime-graph-io");
+const saved_snapshot_1 = require("./saved-snapshot");
+const runtime_goal_file_1 = require("./runtime-goal-file");
+const graph_render_model_1 = require("./graph-render-model");
+const runtime_goal_comparison_1 = require("./runtime-goal-comparison");
+const toError_1 = require("../toError");
+/**
+ * Loads either saved runtime file for the OTHER page's comparison, turning a missing or unusable file
+ * into the reason Goal vs Current is unavailable — never into "no differences".
+ */
+class RuntimeComparisonInputs {
+    snapshot;
+    goalFile;
+    constructor(snapshot = new saved_snapshot_1.SavedSnapshot(), goalFile = new runtime_goal_file_1.RuntimeGoalFile()) {
+        this.snapshot = snapshot;
+        this.goalFile = goalFile;
+    }
+    /** The saved current graph, or why it cannot be compared. */
+    current(workspaceRoot) {
+        // eslint-disable-next-line @webpieces/no-unmanaged-exceptions -- an unusable comparison input becomes the mode's stated reason; the page itself still renders
+        try {
+            return this.snapshot.loadRuntime(workspaceRoot);
+        }
+        catch (err) {
+            const error = (0, toError_1.toError)(err);
+            return `No usable saved current runtime graph at ${runtime_graph_io_1.DEFAULT_RUNTIME_GRAPH_PATH}: ${this.text(error)}`;
+        }
+    }
+    /** The saved goal, or why it cannot be compared (missing: how to start one). */
+    goal(workspaceRoot) {
+        if (!this.goalFile.exists(workspaceRoot))
+            return `No runtime goal at ${runtime_goal_file_1.DEFAULT_RUNTIME_GOAL_PATH}. Start a proposal with: ${runtime_goal_file_1.RUNTIME_GOAL_INIT_COMMAND}`;
+        // eslint-disable-next-line @webpieces/no-unmanaged-exceptions -- an unusable comparison input becomes the mode's stated reason; the page itself still renders
+        try {
+            return this.goalFile.load(workspaceRoot);
+        }
+        catch (err) {
+            const error = (0, toError_1.toError)(err);
+            return this.text(error);
+        }
+    }
+    view(current, goal, options) {
+        if (typeof current === 'string')
+            return this.unavailable(current);
+        if (typeof goal === 'string')
+            return this.unavailable(goal);
+        return new runtime_goal_comparison_1.RuntimeGoalComparison().build(current, goal, options);
+    }
+    /** Goal vs Current with no overlay: the mode is disabled and says `reason` instead. */
+    unavailable(reason) {
+        return new graph_render_model_1.RuntimeComparisonView(false, reason, 'Current → Goal', '', null, {}, {}, []);
+    }
+    text(error) {
+        if (error instanceof rules_config_1.RuleFailError)
+            return (0, rules_config_1.renderRuleFailForHuman)(error);
+        throw error;
+    }
+}
+exports.RuntimeComparisonInputs = RuntimeComparisonInputs;
+//# sourceMappingURL=runtime-goal-view.js.map

package/src/lib/runtime-goal-view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-goal-view.js","sourceRoot":"","sources":["../../../../../../packages/tooling/nx-webpieces-rules/src/lib/runtime-goal-view.ts"],"names":[],"mappings":";;;AAAA,0DAAgF;AAEhF,yDAAgE;AAChE,qDAAiD;AACjD,2DAA4G;AAC5G,6DAA6D;AAC7D,uEAAkE;AAElE,wCAAqC;AAErC;;;GAGG;AACH,MAAa,uBAAuB;IAEX;IACA;IAFrB,YACqB,WAA0B,IAAI,8BAAa,EAAE,EAC7C,WAA4B,IAAI,mCAAe,EAAE;QADjD,aAAQ,GAAR,QAAQ,CAAqC;QAC7C,aAAQ,GAAR,QAAQ,CAAyC;IACnE,CAAC;IAEJ,6DAA6D;IAC7D,OAAO,CAAC,aAAqB;QACzB,8JAA8J;QAC9J,IAAI,CAAC;YACD,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,GAAY,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,IAAA,iBAAO,EAAC,GAAG,CAAC,CAAC;YAC3B,OAAO,4CAA4C,6CAA0B,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzG,CAAC;IACL,CAAC;IAED,gFAAgF;IAChF,IAAI,CAAC,aAAqB;QACtB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC;YACpC,OAAO,sBAAsB,6CAAyB,4BAA4B,6CAAyB,EAAE,CAAC;QAClH,8JAA8J;QAC9J,IAAI,CAAC;YACD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,GAAY,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,IAAA,iBAAO,EAAC,GAAG,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;IAED,IAAI,CAAC,OAA8B,EAAE,IAA2B,EAAE,OAA0B;QACxF,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,IAAI,+CAAqB,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,uFAAuF;IACvF,WAAW,CAAC,MAAc;QACtB,OAAO,IAAI,0CAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5F,CAAC;IAEO,IAAI,CAAC,KAAY;QACrB,IAAI,KAAK,YAAY,4BAAa;YAAE,OAAO,IAAA,qCAAsB,EAAC,KAAK,CAAC,CAAC;QACzE,MAAM,KAAK,CAAC;IAChB,CAAC;CACJ;AA7CD,0DA6CC","sourcesContent":["import { RuleFailError, renderRuleFailForHuman } from '@webpieces/rules-config';\nimport type { RuntimeGraph } from './runtime-graph-model';\nimport { DEFAULT_RUNTIME_GRAPH_PATH } from './runtime-graph-io';\nimport { SavedSnapshot } from './saved-snapshot';\nimport { DEFAULT_RUNTIME_GOAL_PATH, RUNTIME_GOAL_INIT_COMMAND, RuntimeGoalFile } from './runtime-goal-file';\nimport { RuntimeComparisonView } from './graph-render-model';\nimport { RuntimeGoalComparison } from './runtime-goal-comparison';\nimport type { RuntimeVizOptions } from './runtime-viz-options';\nimport { toError } from '../toError';\n\n/**\n * Loads either saved runtime file for the OTHER page's comparison, turning a missing or unusable file\n * into the reason Goal vs Current is unavailable — never into \"no differences\".\n */\nexport class RuntimeComparisonInputs {\n    constructor(\n        private readonly snapshot: SavedSnapshot = new SavedSnapshot(),\n        private readonly goalFile: RuntimeGoalFile = new RuntimeGoalFile(),\n    ) {}\n\n    /** The saved current graph, or why it cannot be compared. */\n    current(workspaceRoot: string): RuntimeGraph | string {\n        // eslint-disable-next-line @webpieces/no-unmanaged-exceptions -- an unusable comparison input becomes the mode's stated reason; the page itself still renders\n        try {\n            return this.snapshot.loadRuntime(workspaceRoot);\n        } catch (err: unknown) {\n            const error = toError(err);\n            return `No usable saved current runtime graph at ${DEFAULT_RUNTIME_GRAPH_PATH}: ${this.text(error)}`;\n        }\n    }\n\n    /** The saved goal, or why it cannot be compared (missing: how to start one). */\n    goal(workspaceRoot: string): RuntimeGraph | string {\n        if (!this.goalFile.exists(workspaceRoot))\n            return `No runtime goal at ${DEFAULT_RUNTIME_GOAL_PATH}. Start a proposal with: ${RUNTIME_GOAL_INIT_COMMAND}`;\n        // eslint-disable-next-line @webpieces/no-unmanaged-exceptions -- an unusable comparison input becomes the mode's stated reason; the page itself still renders\n        try {\n            return this.goalFile.load(workspaceRoot);\n        } catch (err: unknown) {\n            const error = toError(err);\n            return this.text(error);\n        }\n    }\n\n    view(current: RuntimeGraph | string, goal: RuntimeGraph | string, options: RuntimeVizOptions): RuntimeComparisonView {\n        if (typeof current === 'string') return this.unavailable(current);\n        if (typeof goal === 'string') return this.unavailable(goal);\n        return new RuntimeGoalComparison().build(current, goal, options);\n    }\n\n    /** Goal vs Current with no overlay: the mode is disabled and says `reason` instead. */\n    unavailable(reason: string): RuntimeComparisonView {\n        return new RuntimeComparisonView(false, reason, 'Current → Goal', '', null, {}, {}, []);\n    }\n\n    private text(error: Error): string {\n        if (error instanceof RuleFailError) return renderRuleFailForHuman(error);\n        throw error;\n    }\n}\n"]}

package/src/lib/runtime-graph-diff.d.ts

@@ -0,0 +1,107 @@
+/**
+ * Goal vs Current (#1239): a SEMANTIC diff of two saved RuntimeGraph files.
+ *
+ * Both graphs are flattened into FACTS keyed by stable underlying identities — a service's project
+ * key, a queue's `Api.method`, a contract queue's API, an external system's identity — never by a
+ * shortened display name or a renderer-generated edge id. A fact is a NODE (service, queue, contract
+ * queue, external system, remote service, external library, trigger), a RELATIONSHIP (rpc call,
+ * enqueue, delivery, external use, remote call, unresolved use) or a CONTRACT (an `apis` entry).
+ *
+ * Comparison policy:
+ *  - Values are canonical strings. Set-like arrays are de-duplicated and sorted, so object key order
+ *    and array order alone never produce a change.
+ *  - Queue facts are compared per method / per contract BEFORE presentation grouping, and every
+ *    pubsub edge is split into its enqueue and delivery relationships, so a merged queue box cannot
+ *    hide a difference between its members.
+ *  - Bookkeeping is ignored: `levelBecause` (explanatory text the level machinery regenerates),
+ *    `wiringUses` / `wiringImplements` (reviewed provenance), and `dependsOn` (the BUILD graph, which
+ *    this runtime comparison deliberately does not cover). `maxLevel` is reported in the summary.
+ *  - A service's outgoing relationships are one of its properties, so a service whose calls changed
+ *    is itself CHANGED and its details show the before/after call list.
+ */
+import type { RuntimeEdge, RuntimeGraph } from './runtime-graph-model';
+export declare enum RuntimeDiffStatus {
+    ADDED = "added",
+    REMOVED = "removed",
+    CHANGED = "changed",
+    UNCHANGED = "unchanged"
+}
+export declare enum RuntimeFactKind {
+    NODE = "node",
+    RELATIONSHIP = "relationship",
+    CONTRACT = "contract"
+}
+/** One identity's canonical properties in one graph. */
+export declare class RuntimeFact {
+    readonly id: string;
+    readonly kind: RuntimeFactKind;
+    readonly category: string;
+    readonly label: string;
+    readonly properties: Record<string, string>;
+    constructor(id: string, kind: RuntimeFactKind, category: string, label: string, properties: Record<string, string>);
+}
+/** One identity compared across Current → Goal. `before` is null when added, `after` when removed. */
+export declare class RuntimeFactChange {
+    readonly id: string;
+    readonly kind: RuntimeFactKind;
+    readonly category: string;
+    readonly label: string;
+    readonly status: RuntimeDiffStatus;
+    readonly before: Record<string, string> | null;
+    readonly after: Record<string, string> | null;
+    readonly changedFields: string[];
+    constructor(id: string, kind: RuntimeFactKind, category: string, label: string, status: RuntimeDiffStatus, before: Record<string, string> | null, after: Record<string, string> | null, changedFields: string[]);
+    /** Human lines for a details panel: the status, then `field: before → after` per changed field. */
+    lines(): string[];
+    private listing;
+}
+export declare class RuntimeDiffCounts {
+    readonly added: number;
+    readonly removed: number;
+    readonly changed: number;
+    readonly unchanged: number;
+    constructor(added: number, removed: number, changed: number, unchanged: number);
+}
+/** Every compared identity, sorted by id, plus graph-level bookkeeping. */
+export declare class RuntimeGraphDiffResult {
+    readonly changes: RuntimeFactChange[];
+    readonly maxLevelBefore: number;
+    readonly maxLevelAfter: number;
+    private readonly byId;
+    constructor(changes: RuntimeFactChange[], maxLevelBefore: number, maxLevelAfter: number);
+    get(id: string): RuntimeFactChange | undefined;
+    counts(): RuntimeDiffCounts;
+    identical(): boolean;
+    /** The changed identities only (added, removed, changed), in id order. */
+    differences(): RuntimeFactChange[];
+}
+/** Flattens one RuntimeGraph into its facts. */
+export declare class RuntimeFactSet {
+    private readonly graph;
+    readonly facts: Map<string, RuntimeFact>;
+    constructor(graph: RuntimeGraph);
+    private add;
+    private relationships;
+    /** `queue:Api.method` for a method-level hop; one `contract-queue:Api` per contract otherwise. */
+    queueIds(edge: RuntimeEdge): string[];
+    private services;
+    private queues;
+    private externals;
+    private remotes;
+    private triggers;
+    private contracts;
+    private owner;
+    private node;
+    private relation;
+    /** Set semantics: de-duplicated and sorted, so order alone is never a change. */
+    private set;
+    private split;
+    private value;
+    /** JSON with sorted keys, for the two map-or-string fields. */
+    private canonical;
+}
+/** Compares two saved runtime graphs, Current → Goal. Pure; deterministic for equivalent inputs. */
+export declare class RuntimeGraphDiff {
+    compare(current: RuntimeGraph, goal: RuntimeGraph): RuntimeGraphDiffResult;
+    private change;
+}

package/src/lib/runtime-graph-diff.js

@@ -0,0 +1,346 @@
+"use strict";
+/**
+ * Goal vs Current (#1239): a SEMANTIC diff of two saved RuntimeGraph files.
+ *
+ * Both graphs are flattened into FACTS keyed by stable underlying identities — a service's project
+ * key, a queue's `Api.method`, a contract queue's API, an external system's identity — never by a
+ * shortened display name or a renderer-generated edge id. A fact is a NODE (service, queue, contract
+ * queue, external system, remote service, external library, trigger), a RELATIONSHIP (rpc call,
+ * enqueue, delivery, external use, remote call, unresolved use) or a CONTRACT (an `apis` entry).
+ *
+ * Comparison policy:
+ *  - Values are canonical strings. Set-like arrays are de-duplicated and sorted, so object key order
+ *    and array order alone never produce a change.
+ *  - Queue facts are compared per method / per contract BEFORE presentation grouping, and every
+ *    pubsub edge is split into its enqueue and delivery relationships, so a merged queue box cannot
+ *    hide a difference between its members.
+ *  - Bookkeeping is ignored: `levelBecause` (explanatory text the level machinery regenerates),
+ *    `wiringUses` / `wiringImplements` (reviewed provenance), and `dependsOn` (the BUILD graph, which
+ *    this runtime comparison deliberately does not cover). `maxLevel` is reported in the summary.
+ *  - A service's outgoing relationships are one of its properties, so a service whose calls changed
+ *    is itself CHANGED and its details show the before/after call list.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RuntimeGraphDiff = exports.RuntimeFactSet = exports.RuntimeGraphDiffResult = exports.RuntimeDiffCounts = exports.RuntimeFactChange = exports.RuntimeFact = exports.RuntimeFactKind = exports.RuntimeDiffStatus = void 0;
+var RuntimeDiffStatus;
+(function (RuntimeDiffStatus) {
+    RuntimeDiffStatus["ADDED"] = "added";
+    RuntimeDiffStatus["REMOVED"] = "removed";
+    RuntimeDiffStatus["CHANGED"] = "changed";
+    RuntimeDiffStatus["UNCHANGED"] = "unchanged";
+})(RuntimeDiffStatus || (exports.RuntimeDiffStatus = RuntimeDiffStatus = {}));
+var RuntimeFactKind;
+(function (RuntimeFactKind) {
+    RuntimeFactKind["NODE"] = "node";
+    RuntimeFactKind["RELATIONSHIP"] = "relationship";
+    RuntimeFactKind["CONTRACT"] = "contract";
+})(RuntimeFactKind || (exports.RuntimeFactKind = RuntimeFactKind = {}));
+/** One identity's canonical properties in one graph. */
+class RuntimeFact {
+    id;
+    kind;
+    category;
+    label;
+    properties;
+    constructor(id, kind, category, label, properties) {
+        this.id = id;
+        this.kind = kind;
+        this.category = category;
+        this.label = label;
+        this.properties = properties;
+    }
+}
+exports.RuntimeFact = RuntimeFact;
+/** One identity compared across Current → Goal. `before` is null when added, `after` when removed. */
+class RuntimeFactChange {
+    id;
+    kind;
+    category;
+    label;
+    status;
+    before;
+    after;
+    changedFields;
+    constructor(id, kind, category, label, status, before, after, changedFields) {
+        this.id = id;
+        this.kind = kind;
+        this.category = category;
+        this.label = label;
+        this.status = status;
+        this.before = before;
+        this.after = after;
+        this.changedFields = changedFields;
+    }
+    /** Human lines for a details panel: the status, then `field: before → after` per changed field. */
+    lines() {
+        const head = `${this.label} — ${this.status}`;
+        if (this.status === RuntimeDiffStatus.ADDED)
+            return [head, ...this.listing(this.after)];
+        if (this.status === RuntimeDiffStatus.REMOVED)
+            return [head, ...this.listing(this.before)];
+        if (this.status === RuntimeDiffStatus.UNCHANGED)
+            return [head];
+        return [head, ...this.changedFields.map((field) => `  ${field}: ${this.before[field] ?? '(absent)'} → ${this.after[field] ?? '(absent)'}`)];
+    }
+    listing(properties) {
+        return Object.keys(properties).map((field) => `  ${field}: ${properties[field]}`);
+    }
+}
+exports.RuntimeFactChange = RuntimeFactChange;
+class RuntimeDiffCounts {
+    added;
+    removed;
+    changed;
+    unchanged;
+    constructor(added, removed, changed, unchanged) {
+        this.added = added;
+        this.removed = removed;
+        this.changed = changed;
+        this.unchanged = unchanged;
+    }
+}
+exports.RuntimeDiffCounts = RuntimeDiffCounts;
+/** Every compared identity, sorted by id, plus graph-level bookkeeping. */
+class RuntimeGraphDiffResult {
+    changes;
+    maxLevelBefore;
+    maxLevelAfter;
+    byId = new Map();
+    constructor(changes, maxLevelBefore, maxLevelAfter) {
+        this.changes = changes;
+        this.maxLevelBefore = maxLevelBefore;
+        this.maxLevelAfter = maxLevelAfter;
+        for (const change of changes)
+            this.byId.set(change.id, change);
+    }
+    get(id) {
+        return this.byId.get(id);
+    }
+    counts() {
+        const count = (status) => this.changes.filter((change) => change.status === status).length;
+        return new RuntimeDiffCounts(count(RuntimeDiffStatus.ADDED), count(RuntimeDiffStatus.REMOVED), count(RuntimeDiffStatus.CHANGED), count(RuntimeDiffStatus.UNCHANGED));
+    }
+    identical() {
+        return this.changes.every((change) => change.status === RuntimeDiffStatus.UNCHANGED);
+    }
+    /** The changed identities only (added, removed, changed), in id order. */
+    differences() {
+        return this.changes.filter((change) => change.status !== RuntimeDiffStatus.UNCHANGED);
+    }
+}
+exports.RuntimeGraphDiffResult = RuntimeGraphDiffResult;
+/** One vendor library's unresolved uses, gathered before they become a fact. */
+class ExternalLibraryFacts {
+    level;
+    apis = [];
+    usedBy = [];
+    constructor(level) {
+        this.level = level;
+    }
+}
+/** Flattens one RuntimeGraph into its facts. */
+class RuntimeFactSet {
+    graph;
+    facts = new Map();
+    constructor(graph) {
+        this.graph = graph;
+        this.relationships();
+        this.services();
+        this.queues();
+        this.externals();
+        this.remotes();
+        this.triggers();
+        this.contracts();
+    }
+    add(fact) {
+        const existing = this.facts.get(fact.id);
+        if (existing === undefined) {
+            this.facts.set(fact.id, fact);
+            return;
+        }
+        // Duplicate relationship facts (two rpc edges between one pair) fold into one, union of values.
+        const merged = { ...existing.properties };
+        for (const [key, value] of Object.entries(fact.properties))
+            merged[key] = this.set([...this.split(merged[key]), ...this.split(value)]);
+        this.facts.set(fact.id, new RuntimeFact(fact.id, fact.kind, fact.category, fact.label, merged));
+    }
+    relationships() {
+        for (const edge of this.graph.runtimeEdges) {
+            if (edge.type !== 'pubsub') {
+                const props = { via: this.set(edge.via) };
+                if (edge.cutLegacyCycle === true)
+                    props['cutLegacyCycle'] = 'true';
+                this.add(this.relation(`rpc:${edge.from}->${edge.to}`, 'rpc call', `RPC ${edge.from} → ${edge.to}`, props));
+                continue;
+            }
+            for (const queue of this.queueIds(edge)) {
+                this.add(this.relation(`enqueue:${edge.from}->${queue}`, 'enqueue', `Enqueue ${edge.from} → ${queue}`, {}));
+                this.add(this.relation(`deliver:${queue}->${edge.to}`, 'delivery', `Deliver ${queue} → ${edge.to}`, {}));
+            }
+        }
+        for (const [id, system] of Object.entries(this.graph.externalSystems ?? {})) {
+            for (const user of system.usedBy)
+                this.add(this.relation(`external-use:${user}->external-system:${id}`, 'external use', `Uses ${user} → ${system.label}`, {}));
+        }
+        for (const [name, remote] of Object.entries(this.graph.remoteServices ?? {})) {
+            for (const call of remote.calledBy)
+                this.add(this.relation(`remote-call:${call.from}->remote-service:${name}#${call.type}`, 'remote call', `Remote ${call.type} ${call.from} → ${name}`, { via: this.set(call.via) }));
+        }
+        for (const use of this.graph.unresolvedUses) {
+            const owner = this.owner(use.api);
+            this.add(this.relation(`unresolved-use:${use.service}->${use.api}`, 'unresolved use', `Uses ${use.service} → ${owner}#${use.api}`, { owner }));
+        }
+    }
+    /** `queue:Api.method` for a method-level hop; one `contract-queue:Api` per contract otherwise. */
+    queueIds(edge) {
+        return edge.queue === undefined ? edge.via.map((api) => `contract-queue:${api}`) : [`queue:${edge.queue}`];
+    }
+    services() {
+        const outgoing = new Map();
+        for (const fact of this.facts.values()) {
+            const from = fact.id.slice(fact.id.indexOf(':') + 1).split('->')[0];
+            if (this.graph.services[from] === undefined || fact.id.startsWith('deliver:'))
+                continue;
+            if (!outgoing.has(from))
+                outgoing.set(from, []);
+            outgoing.get(from).push(fact.id.slice(fact.id.indexOf('->') + 2) + (fact.properties['via'] === undefined ? '' : ` [${fact.properties['via']}]`));
+        }
+        for (const [name, service] of Object.entries(this.graph.services)) {
+            this.add(new RuntimeFact(`service:${name}`, RuntimeFactKind.NODE, 'service', `Service ${name}`, {
+                level: `L${service.level}`,
+                role: this.value(service.role),
+                serviceName: this.value(service.serviceName),
+                callsService: this.value(service.callsService === undefined ? undefined : this.canonical(service.callsService)),
+                implements: this.set(service.implements),
+                implementsVia: this.value(service.implementsVia === undefined ? undefined : this.canonical(service.implementsVia)),
+                products: this.set(service.products ?? []),
+                drawOnGraph: String(service.drawOnGraph !== false),
+                outgoing: this.set(outgoing.get(name) ?? []),
+            }));
+        }
+    }
+    queues() {
+        const flow = (queue) => ({
+            level: `L${queue.level}`,
+            selfQueue: String(queue.selfQueue),
+            producedBy: this.set(queue.producedBy),
+            consumedBy: this.set(queue.consumedBy),
+        });
+        for (const [key, queue] of Object.entries(this.graph.queues)) {
+            this.add(this.node(`queue:${key}`, 'queue', `Queue ${key}`, { ...flow(queue), queueName: queue.queueName }));
+        }
+        for (const [api, queue] of Object.entries(this.graph.contractQueues)) {
+            this.add(this.node(`contract-queue:${api}`, 'contract queue', `Contract queue ${api}`, flow(queue)));
+        }
+    }
+    externals() {
+        for (const [id, system] of Object.entries(this.graph.externalSystems ?? {})) {
+            this.add(this.node(`external-system:${id}`, 'external system', `External ${system.label}`, {
+                level: `L${system.level}`,
+                kind: system.kind,
+                label: system.label,
+                usedBy: this.set(system.usedBy),
+                apis: this.set(system.apis),
+            }));
+        }
+        const libraries = new Map();
+        for (const use of this.graph.unresolvedUses) {
+            if (this.graph.apis[use.api]?.externalSystem !== undefined)
+                continue;
+            const owner = this.owner(use.api);
+            if (!libraries.has(owner))
+                libraries.set(owner, new ExternalLibraryFacts(`L${use.level}`));
+            libraries.get(owner).apis.push(use.api);
+            libraries.get(owner).usedBy.push(use.service);
+        }
+        for (const owner of libraries.keys()) {
+            const facts = libraries.get(owner);
+            this.add(this.node(`external-library:${owner}`, 'external library', `External ${owner}`, {
+                level: facts.level,
+                apis: this.set(facts.apis),
+                usedBy: this.set(facts.usedBy),
+            }));
+        }
+    }
+    remotes() {
+        for (const [name, remote] of Object.entries(this.graph.remoteServices ?? {})) {
+            this.add(this.node(`remote-service:${name}`, 'remote service', `Remote service ${name}`, {
+                level: `L${remote.level}`,
+                label: this.value(remote.label),
+                implements: this.set(remote.implements),
+            }));
+        }
+    }
+    triggers() {
+        for (const trigger of this.graph.triggers) {
+            const caller = trigger.caller === undefined ? undefined : `${trigger.caller.kind} ${trigger.caller.label}`;
+            this.add(this.node(`trigger:${trigger.kind}:${trigger.api}.${trigger.method}@${trigger.service}`, `${trigger.kind} trigger`, `${trigger.kind === 'cron' ? 'Cron' : 'External'} ${trigger.api}.${trigger.method} → ${trigger.service}`, {
+                level: `L${trigger.level}`,
+                queueName: this.value(trigger.queueName),
+                caller: this.value(caller),
+            }));
+        }
+    }
+    contracts() {
+        for (const [name, api] of Object.entries(this.graph.apis)) {
+            this.add(new RuntimeFact(`api:${name}`, RuntimeFactKind.CONTRACT, 'contract', `Contract ${name}`, {
+                implementedBy: this.set(api.implementedBy),
+                usedBy: this.set(api.usedBy),
+                type: this.value(api.type),
+                owner: this.value(api.owner),
+                externalSystem: this.value(api.externalSystem === undefined ? undefined : `${api.externalSystem.kind} ${api.externalSystem.label ?? ''}`.trim()),
+            }));
+        }
+    }
+    owner(api) {
+        return this.graph.apis[api]?.owner ?? api;
+    }
+    node(id, category, label, properties) {
+        return new RuntimeFact(id, RuntimeFactKind.NODE, category, label, properties);
+    }
+    relation(id, category, label, properties) {
+        return new RuntimeFact(id, RuntimeFactKind.RELATIONSHIP, category, label, properties);
+    }
+    /** Set semantics: de-duplicated and sorted, so order alone is never a change. */
+    set(values) {
+        const unique = [...new Set(values)].sort();
+        return unique.length === 0 ? '(none)' : unique.join(', ');
+    }
+    split(value) {
+        return value === undefined || value === '(none)' ? [] : value.split(', ');
+    }
+    value(value) {
+        return value ?? '(absent)';
+    }
+    /** JSON with sorted keys, for the two map-or-string fields. */
+    canonical(value) {
+        if (typeof value === 'string')
+            return value;
+        return JSON.stringify(Object.keys(value).sort().map((key) => [key, value[key]]));
+    }
+}
+exports.RuntimeFactSet = RuntimeFactSet;
+/** Compares two saved runtime graphs, Current → Goal. Pure; deterministic for equivalent inputs. */
+class RuntimeGraphDiff {
+    compare(current, goal) {
+        const before = new RuntimeFactSet(current).facts;
+        const after = new RuntimeFactSet(goal).facts;
+        const ids = [...new Set([...before.keys(), ...after.keys()])].sort();
+        const changes = ids.map((id) => this.change(id, before.get(id), after.get(id)));
+        return new RuntimeGraphDiffResult(changes, current.maxLevel, goal.maxLevel);
+    }
+    change(id, before, after) {
+        const fact = (after ?? before);
+        if (before === undefined)
+            return new RuntimeFactChange(id, fact.kind, fact.category, fact.label, RuntimeDiffStatus.ADDED, null, after.properties, []);
+        if (after === undefined)
+            return new RuntimeFactChange(id, fact.kind, fact.category, fact.label, RuntimeDiffStatus.REMOVED, before.properties, null, []);
+        const fields = [...new Set([...Object.keys(before.properties), ...Object.keys(after.properties)])]
+            .sort()
+            .filter((field) => before.properties[field] !== after.properties[field]);
+        const status = fields.length === 0 ? RuntimeDiffStatus.UNCHANGED : RuntimeDiffStatus.CHANGED;
+        return new RuntimeFactChange(id, fact.kind, fact.category, fact.label, status, before.properties, after.properties, fields);
+    }
+}
+exports.RuntimeGraphDiff = RuntimeGraphDiff;
+//# sourceMappingURL=runtime-graph-diff.js.map

package/src/lib/runtime-graph-diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-graph-diff.js","sourceRoot":"","sources":["../../../../../../packages/tooling/nx-webpieces-rules/src/lib/runtime-graph-diff.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;;AAIH,IAAY,iBAKX;AALD,WAAY,iBAAiB;IACzB,oCAAe,CAAA;IACf,wCAAmB,CAAA;IACnB,wCAAmB,CAAA;IACnB,4CAAuB,CAAA;AAC3B,CAAC,EALW,iBAAiB,iCAAjB,iBAAiB,QAK5B;AAED,IAAY,eAIX;AAJD,WAAY,eAAe;IACvB,gCAAa,CAAA;IACb,gDAA6B,CAAA;IAC7B,wCAAqB,CAAA;AACzB,CAAC,EAJW,eAAe,+BAAf,eAAe,QAI1B;AAED,wDAAwD;AACxD,MAAa,WAAW;IAEA;IACA;IACA;IACA;IACA;IALpB,YACoB,EAAU,EACV,IAAqB,EACrB,QAAgB,EAChB,KAAa,EACb,UAAkC;QAJlC,OAAE,GAAF,EAAE,CAAQ;QACV,SAAI,GAAJ,IAAI,CAAiB;QACrB,aAAQ,GAAR,QAAQ,CAAQ;QAChB,UAAK,GAAL,KAAK,CAAQ;QACb,eAAU,GAAV,UAAU,CAAwB;IACnD,CAAC;CACP;AARD,kCAQC;AAED,sGAAsG;AACtG,MAAa,iBAAiB;IAEN;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IARpB,YACoB,EAAU,EACV,IAAqB,EACrB,QAAgB,EAChB,KAAa,EACb,MAAyB,EACzB,MAAqC,EACrC,KAAoC,EACpC,aAAuB;QAPvB,OAAE,GAAF,EAAE,CAAQ;QACV,SAAI,GAAJ,IAAI,CAAiB;QACrB,aAAQ,GAAR,QAAQ,CAAQ;QAChB,UAAK,GAAL,KAAK,CAAQ;QACb,WAAM,GAAN,MAAM,CAAmB;QACzB,WAAM,GAAN,MAAM,CAA+B;QACrC,UAAK,GAAL,KAAK,CAA+B;QACpC,kBAAa,GAAb,aAAa,CAAU;IACxC,CAAC;IAEJ,mGAAmG;IACnG,KAAK;QACD,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAM,CAAC,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,CAAC,OAAO;YAAE,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAO,CAAC,CAAC,CAAC;QAC5F,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB,CAAC,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/D,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,MAAO,CAAC,KAAK,CAAC,IAAI,UAAU,MAAM,IAAI,CAAC,KAAM,CAAC,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;IAC1J,CAAC;IAEO,OAAO,CAAC,UAAkC;QAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;CACJ;AAxBD,8CAwBC;AAED,MAAa,iBAAiB;IAEN;IACA;IACA;IACA;IAJpB,YACoB,KAAa,EACb,OAAe,EACf,OAAe,EACf,SAAiB;QAHjB,UAAK,GAAL,KAAK,CAAQ;QACb,YAAO,GAAP,OAAO,CAAQ;QACf,YAAO,GAAP,OAAO,CAAQ;QACf,cAAS,GAAT,SAAS,CAAQ;IAClC,CAAC;CACP;AAPD,8CAOC;AAED,2EAA2E;AAC3E,MAAa,sBAAsB;IAIX;IACA;IACA;IALH,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE7D,YACoB,OAA4B,EAC5B,cAAsB,EACtB,aAAqB;QAFrB,YAAO,GAAP,OAAO,CAAqB;QAC5B,mBAAc,GAAd,cAAc,CAAQ;QACtB,kBAAa,GAAb,aAAa,CAAQ;QAErC,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACnE,CAAC;IAED,GAAG,CAAC,EAAU;QACV,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM;QACF,MAAM,KAAK,GAAG,CAAC,MAAyB,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAyB,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACzI,OAAO,IAAI,iBAAiB,CACxB,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAC9B,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAChC,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAChC,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,CACrC,CAAC;IACN,CAAC;IAED,SAAS;QACL,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAyB,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC5G,CAAC;IAED,0EAA0E;IAC1E,WAAW;QACP,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAyB,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC7G,CAAC;CACJ;AAjCD,wDAiCC;AAED,gFAAgF;AAChF,MAAM,oBAAoB;IAIM;IAHnB,IAAI,GAAa,EAAE,CAAC;IACpB,MAAM,GAAa,EAAE,CAAC;IAE/B,YAA4B,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;CAChD;AAED,gDAAgD;AAChD,MAAa,cAAc;IAGM;IAFpB,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEhD,YAA6B,KAAmB;QAAnB,UAAK,GAAL,KAAK,CAAc;QAC5C,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC,SAAS,EAAE,CAAC;IACrB,CAAC;IAEO,GAAG,CAAC,IAAiB;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,OAAO;QACX,CAAC;QACD,gGAAgG;QAChG,MAAM,MAAM,GAA2B,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;QAClE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACpG,CAAC;IAEO,aAAa;QACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzB,MAAM,KAAK,GAA2B,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClE,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI;oBAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,MAAM,CAAC;gBACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC5G,SAAS;YACb,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,EAAE,SAAS,EAAE,WAAW,IAAI,CAAC,IAAI,MAAM,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5G,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,KAAK,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,KAAK,MAAM,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAC7G,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,CAAC;YAC1E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM;gBAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,IAAI,qBAAqB,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,IAAI,MAAM,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACrI,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ;gBAC9B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,IAAI,CAAC,IAAI,oBAAoB,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,UAAU,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,MAAM,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3L,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,kBAAkB,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,GAAG,EAAE,EAAE,gBAAgB,EAAE,QAAQ,GAAG,CAAC,OAAO,MAAM,KAAK,IAAI,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACnJ,CAAC;IACL,CAAC;IAED,kGAAkG;IAClG,QAAQ,CAAC,IAAiB;QACtB,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,kBAAkB,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACvH,CAAC;IAEO,QAAQ;QACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;gBAAE,SAAS;YACxF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACtJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,WAAW,IAAI,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,IAAI,EAAE,EAAE;gBAC5F,KAAK,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE;gBAC1B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC9B,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBAC5C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;gBAC/G,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;gBACxC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;gBAClH,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;gBAC1C,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC;gBAClD,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;aAC/C,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAEO,MAAM;QACV,MAAM,IAAI,GAAG,CAAC,KAAuB,EAA0B,EAAE,CAAC,CAAC;YAC/D,KAAK,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE;YACxB,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;YAClC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YACtC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;SACzC,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,EAAE,EAAE,OAAO,EAAE,SAAS,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,GAAG,EAAE,EAAE,gBAAgB,EAAE,kBAAkB,GAAG,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzG,CAAC;IACL,CAAC;IAEO,SAAS;QACb,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,CAAC;YAC1E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,EAAE,iBAAiB,EAAE,YAAY,MAAM,CAAC,KAAK,EAAE,EAAE;gBACvF,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,EAAE;gBACzB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC/B,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;aAC9B,CAAC,CAAC,CAAC;QACR,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgC,CAAC;QAC1D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,cAAc,KAAK,SAAS;gBAAE,SAAS;YACrE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,oBAAoB,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC3F,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;YACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,KAAK,EAAE,EAAE,kBAAkB,EAAE,YAAY,KAAK,EAAE,EAAE;gBACrF,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC1B,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;aACjC,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAEO,OAAO;QACX,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,EAAE,EAAE,gBAAgB,EAAE,kBAAkB,IAAI,EAAE,EAAE;gBACrF,KAAK,EAAE,IAAI,MAAM,CAAC,KAAK,EAAE;gBACzB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;aAC1C,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAEO,QAAQ;QACZ,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAC3G,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,UAAU,EACvH,GAAG,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,OAAO,EAAE,EAAE;gBACtG,KAAK,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE;gBAC1B,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;gBACxC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;aAC7B,CAAC,CAAC,CAAC;QACZ,CAAC;IACL,CAAC;IAEO,SAAS;QACb,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,OAAO,IAAI,EAAE,EAAE,eAAe,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,IAAI,EAAE,EAAE;gBAC9F,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC;gBAC1C,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC5B,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;aACnJ,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,GAAW;QACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,GAAG,CAAC;IAC9C,CAAC;IAEO,IAAI,CAAC,EAAU,EAAE,QAAgB,EAAE,KAAa,EAAE,UAAkC;QACxF,OAAO,IAAI,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAClF,CAAC;IAEO,QAAQ,CAAC,EAAU,EAAE,QAAgB,EAAE,KAAa,EAAE,UAAkC;QAC5F,OAAO,IAAI,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC1F,CAAC;IAED,iFAAiF;IACzE,GAAG,CAAC,MAAgB;QACxB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC;IAEO,KAAK,CAAC,KAAyB;QACnC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC;IAEO,KAAK,CAAC,KAAyB;QACnC,OAAO,KAAK,IAAI,UAAU,CAAC;IAC/B,CAAC;IAED,+DAA+D;IACvD,SAAS,CAAC,KAAsC;QACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,CAAC;CACJ;AA5LD,wCA4LC;AAED,oGAAoG;AACpG,MAAa,gBAAgB;IACzB,OAAO,CAAC,OAAqB,EAAE,IAAkB;QAC7C,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;QAC7C,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrE,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxF,OAAO,IAAI,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChF,CAAC;IAEO,MAAM,CAAC,EAAU,EAAE,MAA+B,EAAE,KAA8B;QACtF,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,MAAM,CAAE,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YACpB,OAAO,IAAI,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACjI,IAAI,KAAK,KAAK,SAAS;YACnB,OAAO,IAAI,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACnI,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;aAC7F,IAAI,EAAE;aACN,MAAM,CAAC,CAAC,KAAa,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC7F,OAAO,IAAI,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChI,CAAC;CACJ;AArBD,4CAqBC","sourcesContent":["/**\n * Goal vs Current (#1239): a SEMANTIC diff of two saved RuntimeGraph files.\n *\n * Both graphs are flattened into FACTS keyed by stable underlying identities — a service's project\n * key, a queue's `Api.method`, a contract queue's API, an external system's identity — never by a\n * shortened display name or a renderer-generated edge id. A fact is a NODE (service, queue, contract\n * queue, external system, remote service, external library, trigger), a RELATIONSHIP (rpc call,\n * enqueue, delivery, external use, remote call, unresolved use) or a CONTRACT (an `apis` entry).\n *\n * Comparison policy:\n *  - Values are canonical strings. Set-like arrays are de-duplicated and sorted, so object key order\n *    and array order alone never produce a change.\n *  - Queue facts are compared per method / per contract BEFORE presentation grouping, and every\n *    pubsub edge is split into its enqueue and delivery relationships, so a merged queue box cannot\n *    hide a difference between its members.\n *  - Bookkeeping is ignored: `levelBecause` (explanatory text the level machinery regenerates),\n *    `wiringUses` / `wiringImplements` (reviewed provenance), and `dependsOn` (the BUILD graph, which\n *    this runtime comparison deliberately does not cover). `maxLevel` is reported in the summary.\n *  - A service's outgoing relationships are one of its properties, so a service whose calls changed\n *    is itself CHANGED and its details show the before/after call list.\n */\n\nimport type { RuntimeEdge, RuntimeGraph, RuntimeQueueFlow } from './runtime-graph-model';\n\nexport enum RuntimeDiffStatus {\n    ADDED = 'added',\n    REMOVED = 'removed',\n    CHANGED = 'changed',\n    UNCHANGED = 'unchanged',\n}\n\nexport enum RuntimeFactKind {\n    NODE = 'node',\n    RELATIONSHIP = 'relationship',\n    CONTRACT = 'contract',\n}\n\n/** One identity's canonical properties in one graph. */\nexport class RuntimeFact {\n    constructor(\n        public readonly id: string,\n        public readonly kind: RuntimeFactKind,\n        public readonly category: string,\n        public readonly label: string,\n        public readonly properties: Record<string, string>,\n    ) {}\n}\n\n/** One identity compared across Current → Goal. `before` is null when added, `after` when removed. */\nexport class RuntimeFactChange {\n    constructor(\n        public readonly id: string,\n        public readonly kind: RuntimeFactKind,\n        public readonly category: string,\n        public readonly label: string,\n        public readonly status: RuntimeDiffStatus,\n        public readonly before: Record<string, string> | null,\n        public readonly after: Record<string, string> | null,\n        public readonly changedFields: string[],\n    ) {}\n\n    /** Human lines for a details panel: the status, then `field: before → after` per changed field. */\n    lines(): string[] {\n        const head = `${this.label} — ${this.status}`;\n        if (this.status === RuntimeDiffStatus.ADDED) return [head, ...this.listing(this.after!)];\n        if (this.status === RuntimeDiffStatus.REMOVED) return [head, ...this.listing(this.before!)];\n        if (this.status === RuntimeDiffStatus.UNCHANGED) return [head];\n        return [head, ...this.changedFields.map((field: string) => `  ${field}: ${this.before![field] ?? '(absent)'} → ${this.after![field] ?? '(absent)'}`)];\n    }\n\n    private listing(properties: Record<string, string>): string[] {\n        return Object.keys(properties).map((field: string) => `  ${field}: ${properties[field]}`);\n    }\n}\n\nexport class RuntimeDiffCounts {\n    constructor(\n        public readonly added: number,\n        public readonly removed: number,\n        public readonly changed: number,\n        public readonly unchanged: number,\n    ) {}\n}\n\n/** Every compared identity, sorted by id, plus graph-level bookkeeping. */\nexport class RuntimeGraphDiffResult {\n    private readonly byId = new Map<string, RuntimeFactChange>();\n\n    constructor(\n        public readonly changes: RuntimeFactChange[],\n        public readonly maxLevelBefore: number,\n        public readonly maxLevelAfter: number,\n    ) {\n        for (const change of changes) this.byId.set(change.id, change);\n    }\n\n    get(id: string): RuntimeFactChange | undefined {\n        return this.byId.get(id);\n    }\n\n    counts(): RuntimeDiffCounts {\n        const count = (status: RuntimeDiffStatus): number => this.changes.filter((change: RuntimeFactChange) => change.status === status).length;\n        return new RuntimeDiffCounts(\n            count(RuntimeDiffStatus.ADDED),\n            count(RuntimeDiffStatus.REMOVED),\n            count(RuntimeDiffStatus.CHANGED),\n            count(RuntimeDiffStatus.UNCHANGED),\n        );\n    }\n\n    identical(): boolean {\n        return this.changes.every((change: RuntimeFactChange) => change.status === RuntimeDiffStatus.UNCHANGED);\n    }\n\n    /** The changed identities only (added, removed, changed), in id order. */\n    differences(): RuntimeFactChange[] {\n        return this.changes.filter((change: RuntimeFactChange) => change.status !== RuntimeDiffStatus.UNCHANGED);\n    }\n}\n\n/** One vendor library's unresolved uses, gathered before they become a fact. */\nclass ExternalLibraryFacts {\n    readonly apis: string[] = [];\n    readonly usedBy: string[] = [];\n\n    constructor(public readonly level: string) {}\n}\n\n/** Flattens one RuntimeGraph into its facts. */\nexport class RuntimeFactSet {\n    readonly facts = new Map<string, RuntimeFact>();\n\n    constructor(private readonly graph: RuntimeGraph) {\n        this.relationships();\n        this.services();\n        this.queues();\n        this.externals();\n        this.remotes();\n        this.triggers();\n        this.contracts();\n    }\n\n    private add(fact: RuntimeFact): void {\n        const existing = this.facts.get(fact.id);\n        if (existing === undefined) {\n            this.facts.set(fact.id, fact);\n            return;\n        }\n        // Duplicate relationship facts (two rpc edges between one pair) fold into one, union of values.\n        const merged: Record<string, string> = { ...existing.properties };\n        for (const [key, value] of Object.entries(fact.properties)) merged[key] = this.set([...this.split(merged[key]), ...this.split(value)]);\n        this.facts.set(fact.id, new RuntimeFact(fact.id, fact.kind, fact.category, fact.label, merged));\n    }\n\n    private relationships(): void {\n        for (const edge of this.graph.runtimeEdges) {\n            if (edge.type !== 'pubsub') {\n                const props: Record<string, string> = { via: this.set(edge.via) };\n                if (edge.cutLegacyCycle === true) props['cutLegacyCycle'] = 'true';\n                this.add(this.relation(`rpc:${edge.from}->${edge.to}`, 'rpc call', `RPC ${edge.from} → ${edge.to}`, props));\n                continue;\n            }\n            for (const queue of this.queueIds(edge)) {\n                this.add(this.relation(`enqueue:${edge.from}->${queue}`, 'enqueue', `Enqueue ${edge.from} → ${queue}`, {}));\n                this.add(this.relation(`deliver:${queue}->${edge.to}`, 'delivery', `Deliver ${queue} → ${edge.to}`, {}));\n            }\n        }\n        for (const [id, system] of Object.entries(this.graph.externalSystems ?? {})) {\n            for (const user of system.usedBy)\n                this.add(this.relation(`external-use:${user}->external-system:${id}`, 'external use', `Uses ${user} → ${system.label}`, {}));\n        }\n        for (const [name, remote] of Object.entries(this.graph.remoteServices ?? {})) {\n            for (const call of remote.calledBy)\n                this.add(this.relation(`remote-call:${call.from}->remote-service:${name}#${call.type}`, 'remote call', `Remote ${call.type} ${call.from} → ${name}`, { via: this.set(call.via) }));\n        }\n        for (const use of this.graph.unresolvedUses) {\n            const owner = this.owner(use.api);\n            this.add(this.relation(`unresolved-use:${use.service}->${use.api}`, 'unresolved use', `Uses ${use.service} → ${owner}#${use.api}`, { owner }));\n        }\n    }\n\n    /** `queue:Api.method` for a method-level hop; one `contract-queue:Api` per contract otherwise. */\n    queueIds(edge: RuntimeEdge): string[] {\n        return edge.queue === undefined ? edge.via.map((api: string) => `contract-queue:${api}`) : [`queue:${edge.queue}`];\n    }\n\n    private services(): void {\n        const outgoing = new Map<string, string[]>();\n        for (const fact of this.facts.values()) {\n            const from = fact.id.slice(fact.id.indexOf(':') + 1).split('->')[0];\n            if (this.graph.services[from] === undefined || fact.id.startsWith('deliver:')) continue;\n            if (!outgoing.has(from)) outgoing.set(from, []);\n            outgoing.get(from)!.push(fact.id.slice(fact.id.indexOf('->') + 2) + (fact.properties['via'] === undefined ? '' : ` [${fact.properties['via']}]`));\n        }\n        for (const [name, service] of Object.entries(this.graph.services)) {\n            this.add(new RuntimeFact(`service:${name}`, RuntimeFactKind.NODE, 'service', `Service ${name}`, {\n                level: `L${service.level}`,\n                role: this.value(service.role),\n                serviceName: this.value(service.serviceName),\n                callsService: this.value(service.callsService === undefined ? undefined : this.canonical(service.callsService)),\n                implements: this.set(service.implements),\n                implementsVia: this.value(service.implementsVia === undefined ? undefined : this.canonical(service.implementsVia)),\n                products: this.set(service.products ?? []),\n                drawOnGraph: String(service.drawOnGraph !== false),\n                outgoing: this.set(outgoing.get(name) ?? []),\n            }));\n        }\n    }\n\n    private queues(): void {\n        const flow = (queue: RuntimeQueueFlow): Record<string, string> => ({\n            level: `L${queue.level}`,\n            selfQueue: String(queue.selfQueue),\n            producedBy: this.set(queue.producedBy),\n            consumedBy: this.set(queue.consumedBy),\n        });\n        for (const [key, queue] of Object.entries(this.graph.queues)) {\n            this.add(this.node(`queue:${key}`, 'queue', `Queue ${key}`, { ...flow(queue), queueName: queue.queueName }));\n        }\n        for (const [api, queue] of Object.entries(this.graph.contractQueues)) {\n            this.add(this.node(`contract-queue:${api}`, 'contract queue', `Contract queue ${api}`, flow(queue)));\n        }\n    }\n\n    private externals(): void {\n        for (const [id, system] of Object.entries(this.graph.externalSystems ?? {})) {\n            this.add(this.node(`external-system:${id}`, 'external system', `External ${system.label}`, {\n                level: `L${system.level}`,\n                kind: system.kind,\n                label: system.label,\n                usedBy: this.set(system.usedBy),\n                apis: this.set(system.apis),\n            }));\n        }\n        const libraries = new Map<string, ExternalLibraryFacts>();\n        for (const use of this.graph.unresolvedUses) {\n            if (this.graph.apis[use.api]?.externalSystem !== undefined) continue;\n            const owner = this.owner(use.api);\n            if (!libraries.has(owner)) libraries.set(owner, new ExternalLibraryFacts(`L${use.level}`));\n            libraries.get(owner)!.apis.push(use.api);\n            libraries.get(owner)!.usedBy.push(use.service);\n        }\n        for (const owner of libraries.keys()) {\n            const facts = libraries.get(owner)!;\n            this.add(this.node(`external-library:${owner}`, 'external library', `External ${owner}`, {\n                level: facts.level,\n                apis: this.set(facts.apis),\n                usedBy: this.set(facts.usedBy),\n            }));\n        }\n    }\n\n    private remotes(): void {\n        for (const [name, remote] of Object.entries(this.graph.remoteServices ?? {})) {\n            this.add(this.node(`remote-service:${name}`, 'remote service', `Remote service ${name}`, {\n                level: `L${remote.level}`,\n                label: this.value(remote.label),\n                implements: this.set(remote.implements),\n            }));\n        }\n    }\n\n    private triggers(): void {\n        for (const trigger of this.graph.triggers) {\n            const caller = trigger.caller === undefined ? undefined : `${trigger.caller.kind} ${trigger.caller.label}`;\n            this.add(this.node(`trigger:${trigger.kind}:${trigger.api}.${trigger.method}@${trigger.service}`, `${trigger.kind} trigger`,\n                `${trigger.kind === 'cron' ? 'Cron' : 'External'} ${trigger.api}.${trigger.method} → ${trigger.service}`, {\n                    level: `L${trigger.level}`,\n                    queueName: this.value(trigger.queueName),\n                    caller: this.value(caller),\n                }));\n        }\n    }\n\n    private contracts(): void {\n        for (const [name, api] of Object.entries(this.graph.apis)) {\n            this.add(new RuntimeFact(`api:${name}`, RuntimeFactKind.CONTRACT, 'contract', `Contract ${name}`, {\n                implementedBy: this.set(api.implementedBy),\n                usedBy: this.set(api.usedBy),\n                type: this.value(api.type),\n                owner: this.value(api.owner),\n                externalSystem: this.value(api.externalSystem === undefined ? undefined : `${api.externalSystem.kind} ${api.externalSystem.label ?? ''}`.trim()),\n            }));\n        }\n    }\n\n    private owner(api: string): string {\n        return this.graph.apis[api]?.owner ?? api;\n    }\n\n    private node(id: string, category: string, label: string, properties: Record<string, string>): RuntimeFact {\n        return new RuntimeFact(id, RuntimeFactKind.NODE, category, label, properties);\n    }\n\n    private relation(id: string, category: string, label: string, properties: Record<string, string>): RuntimeFact {\n        return new RuntimeFact(id, RuntimeFactKind.RELATIONSHIP, category, label, properties);\n    }\n\n    /** Set semantics: de-duplicated and sorted, so order alone is never a change. */\n    private set(values: string[]): string {\n        const unique = [...new Set(values)].sort();\n        return unique.length === 0 ? '(none)' : unique.join(', ');\n    }\n\n    private split(value: string | undefined): string[] {\n        return value === undefined || value === '(none)' ? [] : value.split(', ');\n    }\n\n    private value(value: string | undefined): string {\n        return value ?? '(absent)';\n    }\n\n    /** JSON with sorted keys, for the two map-or-string fields. */\n    private canonical(value: string | Record<string, string>): string {\n        if (typeof value === 'string') return value;\n        return JSON.stringify(Object.keys(value).sort().map((key: string) => [key, value[key]]));\n    }\n}\n\n/** Compares two saved runtime graphs, Current → Goal. Pure; deterministic for equivalent inputs. */\nexport class RuntimeGraphDiff {\n    compare(current: RuntimeGraph, goal: RuntimeGraph): RuntimeGraphDiffResult {\n        const before = new RuntimeFactSet(current).facts;\n        const after = new RuntimeFactSet(goal).facts;\n        const ids = [...new Set([...before.keys(), ...after.keys()])].sort();\n        const changes = ids.map((id: string) => this.change(id, before.get(id), after.get(id)));\n        return new RuntimeGraphDiffResult(changes, current.maxLevel, goal.maxLevel);\n    }\n\n    private change(id: string, before: RuntimeFact | undefined, after: RuntimeFact | undefined): RuntimeFactChange {\n        const fact = (after ?? before)!;\n        if (before === undefined)\n            return new RuntimeFactChange(id, fact.kind, fact.category, fact.label, RuntimeDiffStatus.ADDED, null, after!.properties, []);\n        if (after === undefined)\n            return new RuntimeFactChange(id, fact.kind, fact.category, fact.label, RuntimeDiffStatus.REMOVED, before.properties, null, []);\n        const fields = [...new Set([...Object.keys(before.properties), ...Object.keys(after.properties)])]\n            .sort()\n            .filter((field: string) => before.properties[field] !== after.properties[field]);\n        const status = fields.length === 0 ? RuntimeDiffStatus.UNCHANGED : RuntimeDiffStatus.CHANGED;\n        return new RuntimeFactChange(id, fact.kind, fact.category, fact.label, status, before.properties, after.properties, fields);\n    }\n}\n"]}

package/src/lib/runtime-html-page.d.ts

@@ -20,6 +20,8 @@ export declare class RuntimeHtmlPage {
      * though this page lists only the products it shows.
      */
     private shownProducts;
+    /** Goal vs Current (#1239): the direction, the counts (or why it is unavailable), the key and every difference. */
+    private goalLegend;
     private edgeKey;
     private responsibilities;
 }