@nahisaho/musubix-formal-verify 1.7.5

package/dist/traceability/ImpactAnalyzer.js

@@ -0,0 +1,281 @@
+/**
+ * Impact Analyzer
+ *
+ * 変更の影響範囲を分析するクラス
+ */
+/**
+ * 影響分析器
+ *
+ * トレーサビリティDBを使用して、特定のノードが変更された場合の
+ * 影響範囲を分析します。
+ *
+ * @example
+ * ```typescript
+ * const db = new TraceabilityDB('./trace.db');
+ * const analyzer = new ImpactAnalyzer(db);
+ *
+ * // REQ-001が変更された場合の影響分析
+ * const impact = await analyzer.analyze('REQ-001');
+ *
+ * console.log(`影響を受けるノード: ${impact.totalImpacted}件`);
+ * for (const node of impact.impactedNodes) {
+ *   console.log(`- ${node.id}: 影響度 ${node.impactScore}`);
+ * }
+ * ```
+ */
+export class ImpactAnalyzer {
+    db;
+    constructor(db) {
+        this.db = db;
+    }
+    /**
+     * 影響分析を実行
+     *
+     * @param sourceId - 変更の起点となるノードID
+     * @param options - 分析オプション
+     * @returns 影響分析結果
+     */
+    async analyze(sourceId, options = {}) {
+        const startTime = Date.now();
+        const { maxDepth = 5, linkTypes, nodeTypes, decayRate = 0.7, minImpactScore = 0.1, } = options;
+        const impactedNodes = [];
+        const visited = new Set();
+        // BFSで影響範囲を探索
+        const queue = [];
+        // 初期ノードの隣接ノードをキューに追加
+        const initialLinks = await this.getOutgoingLinks(sourceId, linkTypes);
+        for (const link of initialLinks) {
+            queue.push({
+                id: link.target,
+                depth: 1,
+                path: [sourceId, link.target],
+                linkType: link.type,
+                impactScore: 1.0 * decayRate,
+            });
+        }
+        visited.add(sourceId);
+        while (queue.length > 0) {
+            const current = queue.shift();
+            if (visited.has(current.id)) {
+                continue;
+            }
+            if (current.depth > maxDepth) {
+                continue;
+            }
+            if (current.impactScore < minImpactScore) {
+                continue;
+            }
+            visited.add(current.id);
+            // ノード情報を取得
+            const node = await this.db.getNode(current.id);
+            if (!node) {
+                continue;
+            }
+            // ノードタイプフィルタ
+            if (nodeTypes && !nodeTypes.includes(node.type)) {
+                continue;
+            }
+            // 影響ノードとして追加
+            impactedNodes.push({
+                id: node.id,
+                type: node.type,
+                title: node.title,
+                distance: current.depth,
+                path: current.path,
+                linkType: current.linkType,
+                impactScore: current.impactScore,
+            });
+            // 次の隣接ノードをキューに追加
+            const nextLinks = await this.getOutgoingLinks(current.id, linkTypes);
+            for (const link of nextLinks) {
+                if (!visited.has(link.target)) {
+                    queue.push({
+                        id: link.target,
+                        depth: current.depth + 1,
+                        path: [...current.path, link.target],
+                        linkType: link.type,
+                        impactScore: current.impactScore * decayRate,
+                    });
+                }
+            }
+        }
+        // 影響度でソート
+        impactedNodes.sort((a, b) => b.impactScore - a.impactScore);
+        return {
+            sourceId,
+            impactedNodes,
+            depth: Math.max(0, ...impactedNodes.map(n => n.distance)),
+            totalImpacted: impactedNodes.length,
+            duration: Date.now() - startTime,
+        };
+    }
+    /**
+     * 逆方向の影響分析（依存元を探す）
+     *
+     * @param targetId - 調査対象のノードID
+     * @param options - 分析オプション
+     */
+    async analyzeReverse(targetId, options = {}) {
+        const startTime = Date.now();
+        const { maxDepth = 5, linkTypes, nodeTypes, decayRate = 0.7, minImpactScore = 0.1, } = options;
+        const impactedNodes = [];
+        const visited = new Set();
+        const queue = [];
+        // 初期ノードの入力リンクをキューに追加
+        const initialLinks = await this.getIncomingLinks(targetId, linkTypes);
+        for (const link of initialLinks) {
+            queue.push({
+                id: link.source,
+                depth: 1,
+                path: [targetId, link.source],
+                linkType: link.type,
+                impactScore: 1.0 * decayRate,
+            });
+        }
+        visited.add(targetId);
+        while (queue.length > 0) {
+            const current = queue.shift();
+            if (visited.has(current.id) || current.depth > maxDepth || current.impactScore < minImpactScore) {
+                continue;
+            }
+            visited.add(current.id);
+            const node = await this.db.getNode(current.id);
+            if (!node)
+                continue;
+            if (nodeTypes && !nodeTypes.includes(node.type))
+                continue;
+            impactedNodes.push({
+                id: node.id,
+                type: node.type,
+                title: node.title,
+                distance: current.depth,
+                path: current.path,
+                linkType: current.linkType,
+                impactScore: current.impactScore,
+            });
+            const nextLinks = await this.getIncomingLinks(current.id, linkTypes);
+            for (const link of nextLinks) {
+                if (!visited.has(link.source)) {
+                    queue.push({
+                        id: link.source,
+                        depth: current.depth + 1,
+                        path: [...current.path, link.source],
+                        linkType: link.type,
+                        impactScore: current.impactScore * decayRate,
+                    });
+                }
+            }
+        }
+        impactedNodes.sort((a, b) => b.impactScore - a.impactScore);
+        return {
+            sourceId: targetId,
+            impactedNodes,
+            depth: Math.max(0, ...impactedNodes.map(n => n.distance)),
+            totalImpacted: impactedNodes.length,
+            duration: Date.now() - startTime,
+        };
+    }
+    /**
+     * カバレッジ分析
+     *
+     * 要件がどの程度テストでカバーされているかを分析
+     */
+    async analyzeCoverage(requirementType = 'requirement', testType = 'test') {
+        const requirements = await this.db.getNodesByType(requirementType);
+        const tests = await this.db.getNodesByType(testType);
+        const covered = [];
+        const uncovered = [];
+        for (const req of requirements) {
+            const impact = await this.analyze(req.id, {
+                maxDepth: 10,
+                nodeTypes: [testType],
+            });
+            if (impact.totalImpacted > 0) {
+                covered.push(req.id);
+            }
+            else {
+                uncovered.push(req.id);
+            }
+        }
+        const coveragePercentage = requirements.length > 0
+            ? (covered.length / requirements.length) * 100
+            : 0;
+        return {
+            totalRequirements: requirements.length,
+            coveredRequirements: covered.length,
+            uncoveredRequirements: uncovered.length,
+            coveragePercentage,
+            covered,
+            uncovered,
+            totalTests: tests.length,
+        };
+    }
+    /**
+     * 循環依存を検出
+     */
+    async detectCycles() {
+        const cycles = [];
+        const visited = new Set();
+        const recursionStack = new Set();
+        const stats = await this.db.getStats();
+        const allNodeTypes = Object.keys(stats.nodesByType);
+        for (const nodeType of allNodeTypes) {
+            const nodes = await this.db.getNodesByType(nodeType);
+            for (const node of nodes) {
+                if (!visited.has(node.id)) {
+                    await this.detectCyclesDFS(node.id, visited, recursionStack, [], cycles);
+                }
+            }
+        }
+        return cycles;
+    }
+    /**
+     * DFSで循環を検出
+     */
+    async detectCyclesDFS(nodeId, visited, recursionStack, path, cycles) {
+        visited.add(nodeId);
+        recursionStack.add(nodeId);
+        path.push(nodeId);
+        const links = await this.getOutgoingLinks(nodeId);
+        for (const link of links) {
+            if (!visited.has(link.target)) {
+                await this.detectCyclesDFS(link.target, visited, recursionStack, [...path], cycles);
+            }
+            else if (recursionStack.has(link.target)) {
+                // 循環を検出
+                const cycleStart = path.indexOf(link.target);
+                const cycle = path.slice(cycleStart);
+                cycle.push(link.target); // サイクルを閉じる
+                cycles.push(cycle);
+            }
+        }
+        recursionStack.delete(nodeId);
+    }
+    /**
+     * 出力リンクを取得
+     */
+    async getOutgoingLinks(nodeId, linkTypes) {
+        const result = await this.db.query(nodeId, {
+            direction: 'forward',
+            linkTypes,
+            maxDepth: 1,
+        });
+        return result.links
+            .filter(link => link.source === nodeId)
+            .map(link => ({ target: link.target, type: link.type }));
+    }
+    /**
+     * 入力リンクを取得
+     */
+    async getIncomingLinks(nodeId, linkTypes) {
+        const result = await this.db.query(nodeId, {
+            direction: 'backward',
+            linkTypes,
+            maxDepth: 1,
+        });
+        return result.links
+            .filter(link => link.target === nodeId)
+            .map(link => ({ source: link.source, type: link.type }));
+    }
+}
+//# sourceMappingURL=ImpactAnalyzer.js.map

package/dist/traceability/ImpactAnalyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ImpactAnalyzer.js","sourceRoot":"","sources":["../../src/traceability/ImpactAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0BH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,OAAO,cAAc;IACR,EAAE,CAAiB;IAEpC,YAAY,EAAkB;QAC5B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,OAAO,CACX,QAAgB,EAChB,UAAiC,EAAE;QAEnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,EACJ,QAAQ,GAAG,CAAC,EACZ,SAAS,EACT,SAAS,EACT,SAAS,GAAG,GAAG,EACf,cAAc,GAAG,GAAG,GACrB,GAAG,OAAO,CAAC;QAEZ,MAAM,aAAa,GAAmB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,cAAc;QACd,MAAM,KAAK,GAML,EAAE,CAAC;QAET,qBAAqB;QACrB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACtE,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,IAAI,CAAC,MAAM;gBACf,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;gBAC7B,QAAQ,EAAE,IAAI,CAAC,IAAqB;gBACpC,WAAW,EAAE,GAAG,GAAG,SAAS;aAC7B,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAE/B,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5B,SAAS;YACX,CAAC;YAED,IAAI,OAAO,CAAC,KAAK,GAAG,QAAQ,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YAED,IAAI,OAAO,CAAC,WAAW,GAAG,cAAc,EAAE,CAAC;gBACzC,SAAS;YACX,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAExB,WAAW;YACX,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,SAAS;YACX,CAAC;YAED,aAAa;YACb,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,SAAS;YACX,CAAC;YAED,aAAa;YACb,aAAa,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,OAAO,CAAC,KAAK;gBACvB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CAAC;YAEH,iBAAiB;YACjB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YACrE,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9B,KAAK,CAAC,IAAI,CAAC;wBACT,EAAE,EAAE,IAAI,CAAC,MAAM;wBACf,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC;wBACxB,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;wBACpC,QAAQ,EAAE,IAAI,CAAC,IAAqB;wBACpC,WAAW,EAAE,OAAO,CAAC,WAAW,GAAG,SAAS;qBAC7C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,UAAU;QACV,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;QAE5D,OAAO;YACL,QAAQ;YACR,aAAa;YACb,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACzD,aAAa,EAAE,aAAa,CAAC,MAAM;YACnC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,cAAc,CAClB,QAAgB,EAChB,UAAiC,EAAE;QAEnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,EACJ,QAAQ,GAAG,CAAC,EACZ,SAAS,EACT,SAAS,EACT,SAAS,GAAG,GAAG,EACf,cAAc,GAAG,GAAG,GACrB,GAAG,OAAO,CAAC;QAEZ,MAAM,aAAa,GAAmB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,MAAM,KAAK,GAML,EAAE,CAAC;QAET,qBAAqB;QACrB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACtE,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,IAAI,CAAC,MAAM;gBACf,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;gBAC7B,QAAQ,EAAE,IAAI,CAAC,IAAqB;gBACpC,WAAW,EAAE,GAAG,GAAG,SAAS;aAC7B,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAE/B,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,KAAK,GAAG,QAAQ,IAAI,OAAO,CAAC,WAAW,GAAG,cAAc,EAAE,CAAC;gBAChG,SAAS;YACX,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAExB,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE1D,aAAa,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,OAAO,CAAC,KAAK;gBACvB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YACrE,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9B,KAAK,CAAC,IAAI,CAAC;wBACT,EAAE,EAAE,IAAI,CAAC,MAAM;wBACf,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC;wBACxB,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;wBACpC,QAAQ,EAAE,IAAI,CAAC,IAAqB;wBACpC,WAAW,EAAE,OAAO,CAAC,WAAW,GAAG,SAAS;qBAC7C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;QAE5D,OAAO;YACL,QAAQ,EAAE,QAAQ;YAClB,aAAa;YACb,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACzD,aAAa,EAAE,aAAa,CAAC,MAAM;YACnC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,eAAe,CACnB,kBAAiC,aAAa,EAC9C,WAA0B,MAAM;QAEhC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAErD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE;gBACxC,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,CAAC,QAAQ,CAAC;aACtB,CAAC,CAAC;YAEH,IAAI,MAAM,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC;YAChD,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,GAAG;YAC9C,CAAC,CAAC,CAAC,CAAC;QAEN,OAAO;YACL,iBAAiB,EAAE,YAAY,CAAC,MAAM;YACtC,mBAAmB,EAAE,OAAO,CAAC,MAAM;YACnC,qBAAqB,EAAE,SAAS,CAAC,MAAM;YACvC,kBAAkB;YAClB,OAAO;YACP,SAAS;YACT,UAAU,EAAE,KAAK,CAAC,MAAM;SACzB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY;QAChB,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QAEzC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,YAAY,GAAoB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAoB,CAAC;QAExF,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YAErD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CAC3B,MAAc,EACd,OAAoB,EACpB,cAA2B,EAC3B,IAAc,EACd,MAAkB;QAElB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAElD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACtF,CAAC;iBAAM,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3C,QAAQ;gBACR,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW;gBACpC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QAED,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,gBAAgB,CAC5B,MAAc,EACd,SAA2B;QAE3B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE;YACzC,SAAS,EAAE,SAAS;YACpB,SAAS;YACT,QAAQ,EAAE,CAAC;SACZ,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,KAAK;aAChB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;aACtC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,gBAAgB,CAC5B,MAAc,EACd,SAA2B;QAE3B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE;YACzC,SAAS,EAAE,UAAU;YACrB,SAAS;YACT,QAAQ,EAAE,CAAC;SACZ,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,KAAK;aAChB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;aACtC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;CACF"}

package/dist/traceability/TraceabilityDB.d.ts

@@ -0,0 +1,123 @@
+/**
+ * Traceability Database
+ *
+ * SQLiteベースのトレーサビリティデータベース
+ */
+import type { TraceNode, TraceNodeInput, TraceLink, TraceNodeType, TraceQueryOptions, TraceQueryResult, TraceDbStats } from './types.js';
+/**
+ * トレーサビリティDB
+ *
+ * 要件↔設計↔コード↔テストのトレーサビリティを管理するSQLiteベースのデータベース。
+ * グラフ構造でノード間の関係を追跡し、影響分析やカバレッジ計算を支援します。
+ *
+ * @example
+ * ```typescript
+ * const db = new TraceabilityDB('./trace.db');
+ *
+ * // ノードを追加
+ * await db.addNode({
+ *   id: 'REQ-001',
+ *   type: 'requirement',
+ *   title: 'User Authentication',
+ *   createdAt: new Date(),
+ *   updatedAt: new Date(),
+ * });
+ *
+ * // リンクを追加
+ * await db.addLink({
+ *   source: 'REQ-001',
+ *   target: 'DES-001',
+ *   type: 'implements',
+ * });
+ *
+ * // クエリ
+ * const related = await db.query('REQ-001', { direction: 'forward' });
+ * ```
+ */
+export declare class TraceabilityDB {
+    private db;
+    private readonly _dbPath;
+    constructor(dbPath?: string);
+    /**
+     * データベーススキーマを初期化
+     */
+    private initializeSchema;
+    /**
+     * ノードを追加
+     * @throws Error 既に同じIDのノードが存在する場合
+     */
+    addNode(input: TraceNodeInput): Promise<TraceNode>;
+    /**
+     * ノードを取得
+     */
+    getNode(id: string): Promise<TraceNode | null>;
+    /**
+     * ノードを更新
+     */
+    updateNode(id: string, updates: Partial<TraceNode>): Promise<void>;
+    /**
+     * ノードを削除
+     */
+    deleteNode(id: string): Promise<void>;
+    /**
+     * ノードを削除（deleteNodeのエイリアス）
+     */
+    removeNode(id: string): Promise<void>;
+    /**
+     * リンクを追加
+     * @throws Error ソースまたはターゲットノードが存在しない場合
+     */
+    addLink(link: Omit<TraceLink, 'id' | 'createdAt'> & {
+        id?: string;
+        createdAt?: Date;
+    }): Promise<TraceLink>;
+    /**
+     * リンクを取得
+     */
+    getLink(id: string): Promise<TraceLink | null>;
+    /**
+     * ノード間のリンクを取得
+     */
+    getLinksBetween(source: string, target: string): Promise<TraceLink[]>;
+    /**
+     * リンクを削除
+     */
+    deleteLink(id: string): Promise<void>;
+    /**
+     * ノードをクエリ
+     */
+    query(nodeId: string, options?: TraceQueryOptions): Promise<TraceQueryResult>;
+    /**
+     * 関連リンクを取得
+     */
+    private getRelatedLinks;
+    /**
+     * タイプ別にノードを取得
+     */
+    getNodesByType(type: TraceNodeType): Promise<TraceNode[]>;
+    /**
+     * 孤立ノードを取得
+     */
+    getOrphanNodes(): Promise<TraceNode[]>;
+    /**
+     * 統計情報を取得
+     */
+    getStats(): Promise<TraceDbStats>;
+    /**
+     * データベースを閉じる
+     */
+    close(): void;
+    /**
+     * リンクIDを生成
+     */
+    private generateLinkId;
+    /**
+     * DBの行をノードに変換
+     */
+    private rowToNode;
+    /**
+     * DBの行をリンクに変換
+     */
+    private rowToLink;
+}
+//# sourceMappingURL=TraceabilityDB.d.ts.map

package/dist/traceability/TraceabilityDB.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TraceabilityDB.d.ts","sourceRoot":"","sources":["../../src/traceability/TraceabilityDB.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,SAAS,EACT,cAAc,EACd,SAAS,EAET,aAAa,EACb,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,EACb,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,EAAE,CAAoB;IAC9B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;gBAErB,MAAM,GAAE,MAAmB;IAMvC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAoCxB;;;OAGG;IACG,OAAO,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC;IAiCxD;;OAEG;IACG,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;IASpD;;OAEG;IACG,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IA8BxE;;OAEG;IACG,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAM3C;;OAEG;IACG,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAI3C;;;OAGG;IACG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,WAAW,CAAC,GAAG;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,IAAI,CAAA;KAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IA4ChH;;OAEG;IACG,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;IASpD;;OAEG;IACG,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAS3E;;OAEG;IACG,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAI3C;;OAEG;IACG,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,iBAAsB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAkEvF;;OAEG;YACW,eAAe;IAoC7B;;OAEG;IACG,cAAc,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAO/D;;OAEG;IACG,cAAc,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAW5C;;OAEG;IACG,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC;IA4CvC;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;OAEG;IACH,OAAO,CAAC,cAAc;IAItB;;OAEG;IACH,OAAO,CAAC,SAAS;IAajB;;OAEG;IACH,OAAO,CAAC,SAAS;CAYlB"}