ai-spector 0.1.0

package/dist/graph/InMemoryGraph.js

@@ -0,0 +1,181 @@
+export class InMemoryGraph {
+    nodesById = new Map();
+    outEdges = new Map();
+    inEdges = new Map();
+    static from(data) {
+        const g = new InMemoryGraph();
+        for (const node of data.nodes) {
+            g.addNode(node);
+        }
+        for (const edge of data.edges) {
+            if (!g.nodesById.has(edge.from) || !g.nodesById.has(edge.to)) {
+                throw new Error(`Edge references missing node: ${edge.from} -> ${edge.to}`);
+            }
+            g.addEdge(edge);
+        }
+        return g;
+    }
+    toJSON() {
+        return {
+            version: 1,
+            nodes: [...this.nodesById.values()],
+            edges: [...this.outEdges.values(), ...this.inEdges.values()].flat(),
+        };
+    }
+    /** Dedupe edges when exporting (each edge stored once in outEdges). */
+    toTraceabilityGraph() {
+        const edgeSet = new Set();
+        const edges = [];
+        for (const list of this.outEdges.values()) {
+            for (const e of list) {
+                const key = `${e.type}|${e.from}|${e.to}|${e.role ?? ""}`;
+                if (!edgeSet.has(key)) {
+                    edgeSet.add(key);
+                    edges.push(e);
+                }
+            }
+        }
+        return {
+            version: 1,
+            nodes: [...this.nodesById.values()],
+            edges,
+        };
+    }
+    addNode(node) {
+        if (this.nodesById.has(node.id)) {
+            throw new Error(`Duplicate node id: ${node.id}`);
+        }
+        this.nodesById.set(node.id, node);
+        this.outEdges.set(node.id, []);
+        this.inEdges.set(node.id, []);
+    }
+    /** Update an existing node or insert. Same `type` required when updating. */
+    upsertNode(node) {
+        const existing = this.nodesById.get(node.id);
+        if (existing) {
+            if (existing.type !== node.type) {
+                throw new Error(`Cannot change node type for ${node.id}: ${existing.type} → ${node.type}`);
+            }
+            this.nodesById.set(node.id, { ...existing, ...node });
+            return "updated";
+        }
+        this.addNode(node);
+        return "created";
+    }
+    edgeKey(edge) {
+        return `${edge.type}|${edge.from}|${edge.to}|${edge.role ?? ""}`;
+    }
+    hasEdge(edge) {
+        const key = this.edgeKey(edge);
+        for (const list of this.outEdges.values()) {
+            for (const e of list) {
+                if (this.edgeKey(e) === key) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
+    addEdge(edge) {
+        this.outEdges.get(edge.from).push(edge);
+        this.inEdges.get(edge.to).push(edge);
+    }
+    addEdgeIfAbsent(edge) {
+        if (this.hasEdge(edge)) {
+            return false;
+        }
+        if (!this.nodesById.has(edge.from) || !this.nodesById.has(edge.to)) {
+            throw new Error(`Edge references missing node: ${edge.from} -> ${edge.to}`);
+        }
+        this.addEdge(edge);
+        return true;
+    }
+    neighbors(id, direction, edgeTypes, depth = 1) {
+        const seen = new Set();
+        const queue = [{ id, d: 0 }];
+        while (queue.length > 0) {
+            const { id: current, d } = queue.shift();
+            if (d > depth) {
+                continue;
+            }
+            if (d > 0) {
+                seen.add(current);
+            }
+            if (d === depth) {
+                continue;
+            }
+            const expand = (next) => {
+                if (!seen.has(next) && next !== id) {
+                    queue.push({ id: next, d: d + 1 });
+                }
+            };
+            if (direction === "out" || direction === "both") {
+                for (const e of this.outEdges.get(current) ?? []) {
+                    if (!edgeTypes || edgeTypes.has(e.type)) {
+                        expand(e.to);
+                    }
+                }
+            }
+            if (direction === "in" || direction === "both") {
+                for (const e of this.inEdges.get(current) ?? []) {
+                    if (!edgeTypes || edgeTypes.has(e.type)) {
+                        expand(e.from);
+                    }
+                }
+            }
+        }
+        seen.delete(id);
+        return seen;
+    }
+    validateStructure() {
+        const issues = [];
+        const domainTypes = new Set([
+            "actor",
+            "useCase",
+            "feature",
+            "requirement",
+            "dataEntity",
+        ]);
+        for (const node of this.nodesById.values()) {
+            if (node.type === "section") {
+                const partOf = (this.outEdges.get(node.id) ?? []).filter((e) => e.type === "partOf");
+                if (partOf.length !== 1) {
+                    issues.push({
+                        ruleId: "SECTION-TREE",
+                        severity: "error",
+                        message: `Section ${node.id} must have exactly one partOf parent (found ${partOf.length})`,
+                        nodeId: node.id,
+                    });
+                }
+            }
+            if (domainTypes.has(node.type)) {
+                const anchored = (this.outEdges.get(node.id) ?? []).some((e) => ["listedIn", "definedIn", "describedIn"].includes(e.type));
+                const anchoredIn = (this.inEdges.get(node.id) ?? []).some((e) => ["listedIn", "definedIn", "describedIn"].includes(e.type));
+                if (!anchored && !anchoredIn) {
+                    issues.push({
+                        ruleId: "DOMAIN-ANCHORED",
+                        severity: "error",
+                        message: `Domain node ${node.id} has no listedIn, definedIn, or describedIn edge`,
+                        nodeId: node.id,
+                    });
+                }
+            }
+        }
+        for (const node of this.nodesById.values()) {
+            if (node.type === "document") {
+                const hasSection = [...this.outEdges.get(node.id) ?? []].some((e) => e.type === "contains" &&
+                    this.nodesById.get(e.to)?.type === "section");
+                if (!hasSection) {
+                    issues.push({
+                        ruleId: "DOC-SECTION-COVERAGE",
+                        severity: "error",
+                        message: `Document ${node.id} has no child sections`,
+                        nodeId: node.id,
+                    });
+                }
+            }
+        }
+        return issues;
+    }
+}
+//# sourceMappingURL=InMemoryGraph.js.map

package/dist/graph/InMemoryGraph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InMemoryGraph.js","sourceRoot":"","sources":["../../src/graph/InMemoryGraph.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,aAAa;IACf,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IACzC,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1C,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAElD,MAAM,CAAC,IAAI,CAAC,IAAuB;QACjC,MAAM,CAAC,GAAG,IAAI,aAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9E,CAAC;YACD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM;QACJ,OAAO;YACL,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE;SACpE,CAAC;IACJ,CAAC;IAED,uEAAuE;IACvE,mBAAmB;QACjB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;gBAC1D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACjB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK;SACN,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAe;QACrB,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,6EAA6E;IAC7E,UAAU,CAAC,IAAe;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACb,+BAA+B,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,EAAE,CAC1E,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;YACtD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,IAAe;QACrB,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;IACnE,CAAC;IAED,OAAO,CAAC,IAAe;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC5B,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,IAAe;QACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,eAAe,CAAC,IAAe;QAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CACP,EAAU,EACV,SAAgC,EAChC,SAAuB,EACvB,KAAK,GAAG,CAAC;QAET,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAgC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC1C,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;gBACd,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACV,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpB,CAAC;YACD,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE;gBAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;oBACnC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC,CAAC;YACF,IAAI,SAAS,KAAK,KAAK,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;gBAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;oBACjD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;gBAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;oBAChD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iBAAiB;QACf,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;YAC1B,OAAO;YACP,SAAS;YACT,SAAS;YACT,aAAa;YACb,YAAY;SACb,CAAC,CAAC;QAEH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC3B,CAAC;gBACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CAAC;wBACV,MAAM,EAAE,cAAc;wBACtB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,WAAW,IAAI,CAAC,EAAE,+CAA+C,MAAM,CAAC,MAAM,GAAG;wBAC1F,MAAM,EAAE,IAAI,CAAC,EAAE;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7D,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAC1D,CAAC;gBACF,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9D,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAC1D,CAAC;gBACF,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU,EAAE,CAAC;oBAC7B,MAAM,CAAC,IAAI,CAAC;wBACV,MAAM,EAAE,iBAAiB;wBACzB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,kDAAkD;wBACjF,MAAM,EAAE,IAAI,CAAC,EAAE;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC7B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAC3D,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;oBACrB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,SAAS,CAC/C,CAAC;gBACF,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,MAAM,CAAC,IAAI,CAAC;wBACV,MAAM,EAAE,sBAAsB;wBAC9B,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,YAAY,IAAI,CAAC,EAAE,wBAAwB;wBACpD,MAAM,EAAE,IAAI,CAAC,EAAE;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

package/dist/graph/defaults.d.ts

@@ -0,0 +1,10 @@
+/** Default SRS section anchors when `listedInSection` is omitted in knowledge.json */
+export declare const DEFAULT_LISTED_IN: {
+    readonly actor: "sec.srs.2-overall-description.l3.3.22-user-classes-and-characteristics";
+    readonly useCase: "sec.srs.3-use-cases.l3.3.32-list-use-case";
+    readonly feature: "sec.srs.4-system-features.l3.3.42-list-of-system-features";
+    readonly functionalRequirement: "sec.srs.4-system-features.l3.3.42-list-of-system-features";
+    readonly nfr: "sec.srs.7-quality-attributes.l2.1.7-non-functional-requirements-quality-attributes";
+    readonly dataEntity: "sec.srs.5-data-requirements.l3.2.51-logical-data-model";
+};
+//# sourceMappingURL=defaults.d.ts.map

package/dist/graph/defaults.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../src/graph/defaults.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,eAAO,MAAM,iBAAiB;;;;;;;CAOpB,CAAC"}

package/dist/graph/defaults.js

@@ -0,0 +1,10 @@
+/** Default SRS section anchors when `listedInSection` is omitted in knowledge.json */
+export const DEFAULT_LISTED_IN = {
+    actor: "sec.srs.2-overall-description.l3.3.22-user-classes-and-characteristics",
+    useCase: "sec.srs.3-use-cases.l3.3.32-list-use-case",
+    feature: "sec.srs.4-system-features.l3.3.42-list-of-system-features",
+    functionalRequirement: "sec.srs.4-system-features.l3.3.42-list-of-system-features",
+    nfr: "sec.srs.7-quality-attributes.l2.1.7-non-functional-requirements-quality-attributes",
+    dataEntity: "sec.srs.5-data-requirements.l3.2.51-logical-data-model",
+};
+//# sourceMappingURL=defaults.js.map

package/dist/graph/defaults.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.js","sourceRoot":"","sources":["../../src/graph/defaults.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,KAAK,EAAE,wEAAwE;IAC/E,OAAO,EAAE,2CAA2C;IACpD,OAAO,EAAE,2DAA2D;IACpE,qBAAqB,EAAE,2DAA2D;IAClF,GAAG,EAAE,oFAAoF;IACzF,UAAU,EAAE,wDAAwD;CAC5D,CAAC"}

package/dist/graph/impact.d.ts

@@ -0,0 +1,32 @@
+import type { NodeType } from "../types.js";
+import { InMemoryGraph } from "./InMemoryGraph.js";
+export interface ImpactRulesFile {
+    version: number;
+    edgePropagation: Record<string, {
+        direction: "in" | "out" | "both";
+        depth: number | "unbounded";
+    }>;
+    buckets: Record<string, NodeType[]>;
+}
+export interface ImpactEntry {
+    id: string;
+    type: string;
+    reason: string;
+    projectionPath?: string;
+}
+export interface ImpactResult {
+    origin: {
+        id: string;
+        type: string;
+        change: string;
+    };
+    affected: {
+        regenerate: ImpactEntry[];
+        review: ImpactEntry[];
+        downstream: ImpactEntry[];
+    };
+}
+export declare function propagateImpact(g: InMemoryGraph, originId: string, rules: ImpactRulesFile): Set<string>;
+export declare function computeImpact(g: InMemoryGraph, originId: string, change: string, rules: ImpactRulesFile): ImpactResult;
+export declare function loadImpactRules(path: string): Promise<ImpactRulesFile>;
+//# sourceMappingURL=impact.d.ts.map

package/dist/graph/impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/graph/impact.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnD,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,CACrB,MAAM,EACN;QAAE,SAAS,EAAE,IAAI,GAAG,KAAK,GAAG,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAA;KAAE,CAClE,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,QAAQ,EAAE;QACR,UAAU,EAAE,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,WAAW,EAAE,CAAC;QACtB,UAAU,EAAE,WAAW,EAAE,CAAC;KAC3B,CAAC;CACH;AAMD,wBAAgB,eAAe,CAC7B,CAAC,EAAE,aAAa,EAChB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,eAAe,GACrB,GAAG,CAAC,MAAM,CAAC,CA4Cb;AAcD,wBAAgB,aAAa,CAC3B,CAAC,EAAE,aAAa,EAChB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,eAAe,GACrB,YAAY,CAkCd;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAE5E"}

package/dist/graph/impact.js

@@ -0,0 +1,88 @@
+import { readJson } from "../util/fs.js";
+import { projectionPathForNode } from "./query.js";
+function maxDepth(d) {
+    return d === "unbounded" ? 10_000 : d;
+}
+export function propagateImpact(g, originId, rules) {
+    const visited = new Set([originId]);
+    const queue = [{ id: originId, depth: 0 }];
+    const cap = 500;
+    while (queue.length > 0) {
+        const { id: current, depth } = queue.shift();
+        if (depth >= cap) {
+            continue;
+        }
+        for (const [edgeType, rule] of Object.entries(rules.edgePropagation)) {
+            const limit = maxDepth(rule.depth);
+            if (depth >= limit) {
+                continue;
+            }
+            if (rule.direction === "out" || rule.direction === "both") {
+                for (const e of g.outEdges.get(current) ?? []) {
+                    if (e.type !== edgeType) {
+                        continue;
+                    }
+                    if (!visited.has(e.to)) {
+                        visited.add(e.to);
+                        queue.push({ id: e.to, depth: depth + 1 });
+                    }
+                }
+            }
+            if (rule.direction === "in" || rule.direction === "both") {
+                for (const e of g.inEdges.get(current) ?? []) {
+                    if (e.type !== edgeType) {
+                        continue;
+                    }
+                    if (!visited.has(e.from)) {
+                        visited.add(e.from);
+                        queue.push({ id: e.from, depth: depth + 1 });
+                    }
+                }
+            }
+        }
+    }
+    visited.delete(originId);
+    return visited;
+}
+function bucketForType(type, buckets) {
+    for (const [name, types] of Object.entries(buckets)) {
+        if (types.includes(type)) {
+            return name;
+        }
+    }
+    return null;
+}
+export function computeImpact(g, originId, change, rules) {
+    const origin = g.nodesById.get(originId);
+    if (!origin) {
+        throw new Error(`Unknown node: ${originId}`);
+    }
+    const affectedIds = propagateImpact(g, originId, rules);
+    affectedIds.delete(originId);
+    const result = {
+        origin: { id: originId, type: origin.type, change },
+        affected: { regenerate: [], review: [], downstream: [] },
+    };
+    for (const id of affectedIds) {
+        const node = g.nodesById.get(id);
+        const bucket = bucketForType(node.type, rules.buckets);
+        if (!bucket) {
+            continue;
+        }
+        const entry = {
+            id,
+            type: node.type,
+            reason: `reachable from ${originId} via impact propagation`,
+            projectionPath: projectionPathForNode(g, id),
+        };
+        result.affected[bucket].push(entry);
+    }
+    for (const key of Object.keys(result.affected)) {
+        result.affected[key].sort((a, b) => a.id.localeCompare(b.id));
+    }
+    return result;
+}
+export async function loadImpactRules(path) {
+    return readJson(path);
+}
+//# sourceMappingURL=impact.js.map

package/dist/graph/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/graph/impact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AA2BnD,SAAS,QAAQ,CAAC,CAAuB;IACvC,OAAO,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,CAAgB,EAChB,QAAgB,EAChB,KAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAoC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,GAAG,CAAC;IAEhB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC9C,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;YACjB,SAAS;QACX,CAAC;QAED,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;gBACnB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;gBAC1D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACxB,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBACvB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBAClB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;gBACzD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACxB,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACzB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACpB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACzB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CACpB,IAAY,EACZ,OAAmC;IAEnC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAgB,CAAC,EAAE,CAAC;YACrC,OAAO,IAAsC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,CAAgB,EAChB,QAAgB,EAChB,MAAc,EACd,KAAsB;IAEtB,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,iBAAiB,QAAQ,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxD,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE7B,MAAM,MAAM,GAAiB;QAC3B,MAAM,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE;QACnD,QAAQ,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;KACzD,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAClC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAgB;YACzB,EAAE;YACF,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,kBAAkB,QAAQ,yBAAyB;YAC3D,cAAc,EAAE,qBAAqB,CAAC,CAAC,EAAE,EAAE,CAAC;SAC7C,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAuC,EAAE,CAAC;QACrF,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAY;IAChD,OAAO,QAAQ,CAAkB,IAAI,CAAC,CAAC;AACzC,CAAC"}

package/dist/graph/knowledge.d.ts

@@ -0,0 +1,53 @@
+import type { GraphEdge, GraphNode } from "../types.js";
+export interface AnalysisKnowledge {
+    knowledgeVersion?: number;
+    actors?: KnowledgeActor[];
+    useCases?: KnowledgeUseCase[];
+    features?: KnowledgeFeature[];
+    functionalRequirements?: KnowledgeRequirement[];
+    nfrs?: KnowledgeRequirement[];
+    entities?: KnowledgeEntity[];
+}
+export interface KnowledgeActor {
+    id: string;
+    name?: string;
+    title?: string;
+    description?: string;
+    listedInSection?: string;
+}
+export interface KnowledgeUseCase {
+    id: string;
+    title: string;
+    priority?: string;
+    description?: string;
+    listedInSection?: string;
+}
+export interface KnowledgeFeature {
+    id: string;
+    title: string;
+    description?: string;
+    listedInSection?: string;
+    satisfies?: string[];
+}
+export interface KnowledgeRequirement {
+    id: string;
+    title: string;
+    description?: string;
+    listedInSection?: string;
+    tracesTo?: string[];
+}
+export interface KnowledgeEntity {
+    id: string;
+    name: string;
+    description?: string;
+    listedInSection?: string;
+}
+export interface ExtractPatch {
+    version: 1;
+    nodes: GraphNode[];
+    edges: GraphEdge[];
+}
+export declare function knowledgeToPatch(knowledge: AnalysisKnowledge): ExtractPatch;
+export declare function isKnowledgePayload(data: unknown): data is AnalysisKnowledge;
+export declare function knowledgeHasDomainEntries(knowledge: AnalysisKnowledge): boolean;
+//# sourceMappingURL=knowledge.d.ts.map

package/dist/graph/knowledge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge.d.ts","sourceRoot":"","sources":["../../src/graph/knowledge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGxD,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC9B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC9B,sBAAsB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAChD,IAAI,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAC9B,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,CAAC,CAAC;IACX,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAsBD,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,iBAAiB,GAAG,YAAY,CA8D3E;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,iBAAiB,CAW3E;AAED,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAS/E"}

package/dist/graph/knowledge.js

@@ -0,0 +1,79 @@
+import { DEFAULT_LISTED_IN } from "./defaults.js";
+function pickNodeFields(item, id, type) {
+    const node = { id, type };
+    for (const [key, value] of Object.entries(item)) {
+        if (key === "id" || key === "listedInSection" || key === "satisfies" || key === "tracesTo") {
+            continue;
+        }
+        if (value !== undefined && value !== null) {
+            node[key] = value;
+        }
+    }
+    if (type === "dataEntity" && item.name && !node.title) {
+        node.title = String(item.name);
+    }
+    return node;
+}
+export function knowledgeToPatch(knowledge) {
+    const nodes = [];
+    const edges = [];
+    for (const actor of knowledge.actors ?? []) {
+        const section = actor.listedInSection ?? DEFAULT_LISTED_IN.actor;
+        nodes.push(pickNodeFields(actor, actor.id, "actor"));
+        edges.push({ type: "describedIn", from: actor.id, to: section });
+    }
+    for (const uc of knowledge.useCases ?? []) {
+        const section = uc.listedInSection ?? DEFAULT_LISTED_IN.useCase;
+        nodes.push(pickNodeFields(uc, uc.id, "useCase"));
+        edges.push({ type: "listedIn", from: uc.id, to: section });
+    }
+    for (const f of knowledge.features ?? []) {
+        const section = f.listedInSection ?? DEFAULT_LISTED_IN.feature;
+        nodes.push(pickNodeFields(f, f.id, "feature"));
+        edges.push({ type: "listedIn", from: f.id, to: section });
+        for (const ucId of f.satisfies ?? []) {
+            edges.push({ type: "satisfies", from: f.id, to: ucId });
+        }
+    }
+    for (const req of knowledge.functionalRequirements ?? []) {
+        const section = req.listedInSection ?? DEFAULT_LISTED_IN.functionalRequirement;
+        nodes.push(pickNodeFields(req, req.id, "requirement"));
+        edges.push({ type: "listedIn", from: req.id, to: section });
+        for (const target of req.tracesTo ?? []) {
+            edges.push({ type: "tracesTo", from: req.id, to: target });
+        }
+    }
+    for (const req of knowledge.nfrs ?? []) {
+        const section = req.listedInSection ?? DEFAULT_LISTED_IN.nfr;
+        nodes.push(pickNodeFields(req, req.id, "requirement"));
+        edges.push({ type: "describedIn", from: req.id, to: section });
+        for (const target of req.tracesTo ?? []) {
+            edges.push({ type: "tracesTo", from: req.id, to: target });
+        }
+    }
+    for (const ent of knowledge.entities ?? []) {
+        const section = ent.listedInSection ?? DEFAULT_LISTED_IN.dataEntity;
+        nodes.push(pickNodeFields(ent, ent.id, "dataEntity"));
+        edges.push({ type: "definedIn", from: ent.id, to: section });
+    }
+    return { version: 1, nodes, edges };
+}
+export function isKnowledgePayload(data) {
+    if (!data || typeof data !== "object") {
+        return false;
+    }
+    const k = data;
+    return ("knowledgeVersion" in k ||
+        Array.isArray(k.useCases) ||
+        Array.isArray(k.features) ||
+        Array.isArray(k.actors));
+}
+export function knowledgeHasDomainEntries(knowledge) {
+    return ((knowledge.useCases?.length ?? 0) > 0 ||
+        (knowledge.features?.length ?? 0) > 0 ||
+        (knowledge.actors?.length ?? 0) > 0 ||
+        (knowledge.functionalRequirements?.length ?? 0) > 0 ||
+        (knowledge.nfrs?.length ?? 0) > 0 ||
+        (knowledge.entities?.length ?? 0) > 0);
+}
+//# sourceMappingURL=knowledge.js.map

package/dist/graph/knowledge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge.js","sourceRoot":"","sources":["../../src/graph/knowledge.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAyDlD,SAAS,cAAc,CACrB,IAA6B,EAC7B,EAAU,EACV,IAAuB;IAEvB,MAAM,IAAI,GAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,iBAAiB,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YAC3F,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1C,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACpB,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,SAA4B;IAC3D,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAgB,EAAE,CAAC;IAE9B,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,IAAI,iBAAiB,CAAC,KAAK,CAAC;QACjE,KAAK,CAAC,IAAI,CACR,cAAc,CAAC,KAA2C,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAC/E,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,IAAI,iBAAiB,CAAC,OAAO,CAAC;QAChE,KAAK,CAAC,IAAI,CACR,cAAc,CAAC,EAAwC,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAC3E,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,CAAC,eAAe,IAAI,iBAAiB,CAAC,OAAO,CAAC;QAC/D,KAAK,CAAC,IAAI,CACR,cAAc,CAAC,CAAuC,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,CACzE,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1D,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,sBAAsB,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,IAAI,iBAAiB,CAAC,qBAAqB,CAAC;QAC/E,KAAK,CAAC,IAAI,CACR,cAAc,CAAC,GAAyC,EAAE,GAAG,CAAC,EAAE,EAAE,aAAa,CAAC,CACjF,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,IAAI,iBAAiB,CAAC,GAAG,CAAC;QAC7D,KAAK,CAAC,IAAI,CACR,cAAc,CAAC,GAAyC,EAAE,GAAG,CAAC,EAAE,EAAE,aAAa,CAAC,CACjF,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/D,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,IAAI,iBAAiB,CAAC,UAAU,CAAC;QACpE,KAAK,CAAC,IAAI,CACR,cAAc,CAAC,GAAyC,EAAE,GAAG,CAAC,EAAE,EAAE,YAAY,CAAC,CAChF,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,GAAG,IAA+B,CAAC;IAC1C,OAAO,CACL,kBAAkB,IAAI,CAAC;QACvB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,SAA4B;IACpE,OAAO,CACL,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACrC,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACrC,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACnC,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACnD,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QACjC,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CACtC,CAAC;AACJ,CAAC"}

package/dist/graph/load.d.ts

@@ -0,0 +1,4 @@
+import type { TraceabilityGraph } from "../types.js";
+export declare function loadGraph(path: string): Promise<TraceabilityGraph>;
+export declare function emptyGraph(): TraceabilityGraph;
+//# sourceMappingURL=load.d.ts.map

package/dist/graph/load.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/graph/load.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGrD,wBAAsB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAMxE;AAED,wBAAgB,UAAU,IAAI,iBAAiB,CAE9C"}

package/dist/graph/load.js

@@ -0,0 +1,12 @@
+import { readJson } from "../util/fs.js";
+export async function loadGraph(path) {
+    const graph = await readJson(path);
+    if (!graph.version || !Array.isArray(graph.nodes) || !Array.isArray(graph.edges)) {
+        throw new Error(`Invalid graph file: ${path}`);
+    }
+    return graph;
+}
+export function emptyGraph() {
+    return { version: 1, nodes: [], edges: [] };
+}
+//# sourceMappingURL=load.js.map

package/dist/graph/load.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../../src/graph/load.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY;IAC1C,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAoB,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9C,CAAC"}

package/dist/graph/loadGraph.d.ts

@@ -0,0 +1,3 @@
+import { InMemoryGraph } from "./InMemoryGraph.js";
+export declare function loadInMemoryGraph(graphPath: string): Promise<InMemoryGraph>;
+//# sourceMappingURL=loadGraph.d.ts.map

package/dist/graph/loadGraph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loadGraph.d.ts","sourceRoot":"","sources":["../../src/graph/loadGraph.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,aAAa,CAAC,CAGxB"}

package/dist/graph/loadGraph.js

@@ -0,0 +1,7 @@
+import { readJson } from "../util/fs.js";
+import { InMemoryGraph } from "./InMemoryGraph.js";
+export async function loadInMemoryGraph(graphPath) {
+    const data = await readJson(graphPath);
+    return InMemoryGraph.from(data);
+}
+//# sourceMappingURL=loadGraph.js.map

package/dist/graph/loadGraph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loadGraph.js","sourceRoot":"","sources":["../../src/graph/loadGraph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAAiB;IAEjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAoB,SAAS,CAAC,CAAC;IAC1D,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC"}

package/dist/graph/merge.d.ts

@@ -0,0 +1,15 @@
+import { InMemoryGraph } from "./InMemoryGraph.js";
+import type { ExtractPatch } from "./knowledge.js";
+export interface MergeStats {
+    nodesCreated: number;
+    nodesUpdated: number;
+    edgesAdded: number;
+    nodesSkipped: number;
+}
+export interface MergeResult {
+    graph: InMemoryGraph;
+    stats: MergeStats;
+}
+export declare function normalizePatch(input: ExtractPatch | Partial<ExtractPatch>): ExtractPatch;
+export declare function mergePatch(graph: InMemoryGraph, patch: ExtractPatch): MergeResult;
+//# sourceMappingURL=merge.d.ts.map

package/dist/graph/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/graph/merge.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAWnD,MAAM,WAAW,UAAU;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,YAAY,CAMxF;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAG,WAAW,CAgCjF"}

package/dist/graph/merge.js

@@ -0,0 +1,63 @@
+const STRUCTURE_TYPES = new Set(["document", "section", "table", "diagram"]);
+const DOMAIN_TYPES = new Set([
+    "actor",
+    "useCase",
+    "feature",
+    "requirement",
+    "dataEntity",
+]);
+export function normalizePatch(input) {
+    return {
+        version: 1,
+        nodes: input.nodes ?? [],
+        edges: input.edges ?? [],
+    };
+}
+export function mergePatch(graph, patch) {
+    const stats = {
+        nodesCreated: 0,
+        nodesUpdated: 0,
+        edgesAdded: 0,
+        nodesSkipped: 0,
+    };
+    for (const node of patch.nodes) {
+        if (STRUCTURE_TYPES.has(node.type)) {
+            stats.nodesSkipped++;
+            continue;
+        }
+        if (!DOMAIN_TYPES.has(node.type)) {
+            throw new Error(`Patch node ${node.id} has unsupported type: ${node.type}`);
+        }
+        const outcome = graph.upsertNode(node);
+        if (outcome === "created") {
+            stats.nodesCreated++;
+        }
+        else {
+            stats.nodesUpdated++;
+        }
+    }
+    for (const edge of patch.edges) {
+        assertMergeEdgeAllowed(graph, edge);
+        if (graph.addEdgeIfAbsent(edge)) {
+            stats.edgesAdded++;
+        }
+    }
+    return { graph, stats };
+}
+function assertMergeEdgeAllowed(graph, edge) {
+    const from = graph.nodesById.get(edge.from);
+    const to = graph.nodesById.get(edge.to);
+    if (!from) {
+        throw new Error(`Merge edge missing source node: ${edge.from}`);
+    }
+    if (!to) {
+        throw new Error(`Merge edge missing target node: ${edge.to}`);
+    }
+    if (STRUCTURE_TYPES.has(to.type)) {
+        const anchorTypes = new Set(["listedIn", "definedIn", "describedIn", "references"]);
+        if (!anchorTypes.has(edge.type)) {
+            throw new Error(`Edge ${edge.type} cannot target structure node ${edge.to} (use listedIn/definedIn/describedIn)`);
+        }
+    }
+}
+//# sourceMappingURL=merge.js.map

package/dist/graph/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../src/graph/merge.ts"],"names":[],"mappings":"AAIA,MAAM,eAAe,GAAG,IAAI,GAAG,CAAW,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AACvF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAW;IACrC,OAAO;IACP,SAAS;IACT,SAAS;IACT,aAAa;IACb,YAAY;CACb,CAAC,CAAC;AAcH,MAAM,UAAU,cAAc,CAAC,KAA2C;IACxE,OAAO;QACL,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAoB,EAAE,KAAmB;IAClE,MAAM,KAAK,GAAe;QACxB,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,CAAC;QACf,UAAU,EAAE,CAAC;QACb,YAAY,EAAE,CAAC;KAChB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,YAAY,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,EAAE,0BAA0B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAoB,EAAE,IAAe;IACnE,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAExC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;QACpF,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,QAAQ,IAAI,CAAC,IAAI,iCAAiC,IAAI,CAAC,EAAE,uCAAuC,CACjG,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}