@nahisaho/musubix-lean 1.8.5

package/dist/traceability/TraceabilityManager.js

@@ -0,0 +1,299 @@
+/**
+ * @fileoverview Traceability manager for requirement-to-proof mapping
+ * @module @nahisaho/musubix-lean/traceability
+ * @traceability REQ-LEAN-TRACE-001 to REQ-LEAN-TRACE-003
+ */
+/**
+ * Manages requirement-to-proof traceability
+ * @traceability REQ-LEAN-TRACE-001
+ */
+export class TraceabilityManager {
+    links = new Map();
+    artifacts = new Map();
+    linkCounter = 0;
+    /**
+     * Register an artifact (requirement, theorem, proof, code)
+     */
+    registerArtifact(artifact) {
+        const id = artifact.artifactId || this.generateArtifactId(artifact.type);
+        const fullArtifact = {
+            id,
+            type: artifact.type,
+            content: artifact.content,
+            name: artifact.name,
+            version: artifact.version,
+            metadata: artifact.metadata,
+        };
+        this.artifacts.set(id, fullArtifact);
+        return fullArtifact;
+    }
+    /**
+     * Create a traceability link between artifacts
+     * @traceability REQ-LEAN-TRACE-002
+     */
+    createLink(sourceId, targetId, type, confidence = 1.0, metadata) {
+        const id = this.generateLinkId();
+        const link = {
+            id,
+            source: sourceId,
+            target: targetId,
+            type,
+            confidence,
+            metadata: metadata || {},
+            createdAt: new Date().toISOString(),
+        };
+        this.links.set(id, link);
+        return link;
+    }
+    /**
+     * Link a theorem to its requirement
+     */
+    linkTheoremToRequirement(theorem) {
+        // Register theorem as artifact
+        this.registerArtifact({
+            type: 'theorem',
+            artifactId: theorem.id,
+            name: theorem.name,
+            content: theorem.statement,
+            metadata: {
+                name: theorem.name,
+                description: theorem.description,
+            },
+        });
+        return this.createLink(theorem.requirementId, theorem.id, 'requirement_to_theorem', 1.0, {
+            theoremName: theorem.name,
+        });
+    }
+    /**
+     * Link a proof to its theorem
+     */
+    linkProofToTheorem(proof, theorem) {
+        // Register proof as artifact
+        this.registerArtifact({
+            type: 'proof',
+            artifactId: proof.id,
+            name: `proof-${theorem.name}`,
+            content: proof.leanCode,
+            metadata: {
+                theoremId: proof.theoremId,
+                tactics: proof.tactics,
+                isComplete: proof.isComplete,
+            },
+        });
+        return this.createLink(theorem.id, proof.id, 'theorem_to_proof', proof.isComplete ? 1.0 : 0.5, {
+            isComplete: proof.isComplete,
+        });
+    }
+    /**
+     * Record verification result in traceability
+     */
+    recordVerification(result) {
+        if (!result.proof)
+            return null;
+        return this.createLink(result.proof.id, result.theoremId, 'proof_to_verification', 1.0, {
+            status: result.status,
+            duration: result.duration,
+            errors: result.errors,
+        });
+    }
+    /**
+     * Get all links for a source artifact
+     */
+    getLinksFromSource(sourceId) {
+        return Array.from(this.links.values()).filter((link) => link.source === sourceId);
+    }
+    /**
+     * Get all links targeting an artifact
+     */
+    getLinksToTarget(targetId) {
+        return Array.from(this.links.values()).filter((link) => link.target === targetId);
+    }
+    /**
+     * Get all links of a specific type
+     */
+    getLinksByType(type) {
+        return Array.from(this.links.values()).filter((link) => link.type === type);
+    }
+    /**
+     * Calculate traceability coverage
+     * @traceability REQ-LEAN-TRACE-003
+     */
+    calculateCoverage(requirementIds) {
+        const untraced = [];
+        const partiallyTraced = [];
+        const fullyTraced = [];
+        for (const reqId of requirementIds) {
+            const theoremLinks = this.getLinksFromSource(reqId).filter((l) => l.type === 'requirement_to_theorem');
+            if (theoremLinks.length === 0) {
+                untraced.push(reqId);
+                continue;
+            }
+            // Check if all linked theorems have proofs
+            let allProved = true;
+            let anyProved = false;
+            for (const link of theoremLinks) {
+                const proofLinks = this.getLinksFromSource(link.target).filter((l) => l.type === 'theorem_to_proof');
+                if (proofLinks.length > 0) {
+                    const hasCompleteProof = proofLinks.some((pl) => pl.metadata?.isComplete === true);
+                    if (hasCompleteProof) {
+                        anyProved = true;
+                    }
+                    else {
+                        allProved = false;
+                    }
+                }
+                else {
+                    allProved = false;
+                }
+            }
+            if (allProved && anyProved) {
+                fullyTraced.push(reqId);
+            }
+            else if (anyProved) {
+                partiallyTraced.push(reqId);
+            }
+            else {
+                untraced.push(reqId);
+            }
+        }
+        const coveredCount = fullyTraced.length + partiallyTraced.length;
+        const totalCount = requirementIds.length;
+        return {
+            totalRequirements: totalCount,
+            coveredRequirements: coveredCount,
+            coveragePercentage: totalCount > 0 ? (coveredCount / totalCount) * 100 : 0,
+            untraced,
+            partiallyTraced,
+            fullyTraced,
+        };
+    }
+    /**
+     * Get full traceability chain for a requirement
+     */
+    getTraceChain(requirementId) {
+        const chain = [];
+        const visited = new Set();
+        const traverse = (artifactId) => {
+            if (visited.has(artifactId))
+                return;
+            visited.add(artifactId);
+            const artifact = this.artifacts.get(artifactId);
+            if (artifact) {
+                chain.push(artifact);
+            }
+            // Follow outgoing links
+            const outLinks = this.getLinksFromSource(artifactId);
+            for (const link of outLinks) {
+                traverse(link.target);
+            }
+        };
+        traverse(requirementId);
+        return chain;
+    }
+    /**
+     * Validate traceability integrity
+     */
+    validateIntegrity() {
+        const errors = [];
+        for (const [linkId, link] of this.links) {
+            // Check source exists
+            if (!this.artifacts.has(link.source)) {
+                errors.push(`Link ${linkId}: source artifact "${link.source}" not found`);
+            }
+            // Check target exists
+            if (!this.artifacts.has(link.target)) {
+                errors.push(`Link ${linkId}: target artifact "${link.target}" not found`);
+            }
+            // Check confidence is valid
+            if (link.confidence < 0 || link.confidence > 1) {
+                errors.push(`Link ${linkId}: invalid confidence ${link.confidence}`);
+            }
+        }
+        return {
+            valid: errors.length === 0,
+            errors,
+        };
+    }
+    /**
+     * Export traceability matrix
+     */
+    exportMatrix() {
+        const matrix = {};
+        // Group links by source
+        for (const link of this.links.values()) {
+            if (!matrix[link.source]) {
+                matrix[link.source] = {};
+            }
+            matrix[link.source][link.target] = `${link.type} (${(link.confidence * 100).toFixed(0)}%)`;
+        }
+        return matrix;
+    }
+    /**
+     * Export to Markdown format
+     */
+    exportMarkdown() {
+        const lines = [];
+        lines.push('# Traceability Matrix');
+        lines.push('');
+        // Coverage summary
+        const reqLinks = this.getLinksByType('requirement_to_theorem');
+        const requirements = [...new Set(reqLinks.map((l) => l.source))];
+        const coverage = this.calculateCoverage(requirements);
+        lines.push('## Coverage Summary');
+        lines.push('');
+        lines.push(`- **Total Requirements**: ${coverage.totalRequirements}`);
+        lines.push(`- **Covered Requirements**: ${coverage.coveredRequirements}`);
+        lines.push(`- **Coverage**: ${coverage.coveragePercentage.toFixed(1)}%`);
+        lines.push('');
+        // Links table
+        lines.push('## Traceability Links');
+        lines.push('');
+        lines.push('| Source | Target | Type | Confidence |');
+        lines.push('|--------|--------|------|------------|');
+        for (const link of this.links.values()) {
+            lines.push(`| ${link.source} | ${link.target} | ${link.type} | ${(link.confidence * 100).toFixed(0)}% |`);
+        }
+        lines.push('');
+        // Untraced requirements
+        if (coverage.untraced.length > 0) {
+            lines.push('## ⚠️ Untraced Requirements');
+            lines.push('');
+            for (const req of coverage.untraced) {
+                lines.push(`- ${req}`);
+            }
+            lines.push('');
+        }
+        return lines.join('\n');
+    }
+    /**
+     * Clear all data
+     */
+    clear() {
+        this.links.clear();
+        this.artifacts.clear();
+        this.linkCounter = 0;
+    }
+    /**
+     * Get statistics
+     */
+    getStats() {
+        const byType = {};
+        for (const link of this.links.values()) {
+            byType[link.type] = (byType[link.type] || 0) + 1;
+        }
+        return {
+            artifacts: this.artifacts.size,
+            links: this.links.size,
+            byType,
+        };
+    }
+    generateLinkId() {
+        this.linkCounter++;
+        return `LINK-${this.linkCounter.toString().padStart(4, '0')}`;
+    }
+    generateArtifactId(type) {
+        const timestamp = Date.now().toString(36);
+        return `${type.toUpperCase()}-${timestamp}`;
+    }
+}
+//# sourceMappingURL=TraceabilityManager.js.map

package/dist/traceability/TraceabilityManager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TraceabilityManager.js","sourceRoot":"","sources":["../../src/traceability/TraceabilityManager.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgCH;;;GAGG;AACH,MAAM,OAAO,mBAAmB;IACtB,KAAK,GAAkC,IAAI,GAAG,EAAE,CAAC;IACjD,SAAS,GAAsC,IAAI,GAAG,EAAE,CAAC;IACzD,WAAW,GAAG,CAAC,CAAC;IAExB;;OAEG;IACH,gBAAgB,CAAC,QAAoE;QACnF,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,YAAY,GAAyB;YACzC,EAAE;YACF,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;SAC5B,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QACrC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,UAAU,CACR,QAAgB,EAChB,QAAgB,EAChB,IAAc,EACd,aAAqB,GAAG,EACxB,QAAkC;QAElC,MAAM,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACjC,MAAM,IAAI,GAAqB;YAC7B,EAAE;YACF,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,QAAQ;YAChB,IAAI;YACJ,UAAU;YACV,QAAQ,EAAE,QAAQ,IAAI,EAAE;YACxB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,OAAoB;QAC3C,+BAA+B;QAC/B,IAAI,CAAC,gBAAgB,CAAC;YACpB,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,OAAO,CAAC,EAAE;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,OAAO,CAAC,SAAS;YAC1B,QAAQ,EAAE;gBACR,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC;SACF,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,EAAE,EAAE,wBAAwB,EAAE,GAAG,EAAE;YACvF,WAAW,EAAE,OAAO,CAAC,IAAI;SAC1B,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,KAAgB,EAAE,OAAoB;QACvD,6BAA6B;QAC7B,IAAI,CAAC,gBAAgB,CAAC;YACpB,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,KAAK,CAAC,EAAE;YACpB,IAAI,EAAE,SAAS,OAAO,CAAC,IAAI,EAAE;YAC7B,OAAO,EAAE,KAAK,CAAC,QAAQ;YACvB,QAAQ,EAAE;gBACR,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B;SACF,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,kBAAkB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE;YAC7F,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,MAA0B;QAC3C,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QAE/B,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,SAAS,EAAE,uBAAuB,EAAE,GAAG,EAAE;YACtF,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,QAAgB;QACjC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACpF,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,QAAgB;QAC/B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACpF,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,IAAc;QAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC9E,CAAC;IAED;;;OAGG;IACH,iBAAiB,CAAC,cAAwB;QACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACnC,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,MAAM,CACxD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAC3C,CAAC;YAEF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,SAAS;YACX,CAAC;YAED,2CAA2C;YAC3C,IAAI,SAAS,GAAG,IAAI,CAAC;YACrB,IAAI,SAAS,GAAG,KAAK,CAAC;YAEtB,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAC5D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CACrC,CAAC;gBAEF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,gBAAgB,GAAG,UAAU,CAAC,IAAI,CACtC,CAAC,EAAE,EAAE,EAAE,CAAE,EAAE,CAAC,QAAoC,EAAE,UAAU,KAAK,IAAI,CACtE,CAAC;oBACF,IAAI,gBAAgB,EAAE,CAAC;wBACrB,SAAS,GAAG,IAAI,CAAC;oBACnB,CAAC;yBAAM,CAAC;wBACN,SAAS,GAAG,KAAK,CAAC;oBACpB,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,SAAS,GAAG,KAAK,CAAC;gBACpB,CAAC;YACH,CAAC;YAED,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;iBAAM,IAAI,SAAS,EAAE,CAAC;gBACrB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC;QACjE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC;QAEzC,OAAO;YACL,iBAAiB,EAAE,UAAU;YAC7B,mBAAmB,EAAE,YAAY;YACjC,kBAAkB,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1E,QAAQ;YACR,eAAe;YACf,WAAW;SACZ,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,aAAqB;QACjC,MAAM,KAAK,GAA2B,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,MAAM,QAAQ,GAAG,CAAC,UAAkB,EAAQ,EAAE;YAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;gBAAE,OAAO;YACpC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAExB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAChD,IAAI,QAAQ,EAAE,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,CAAC;YAED,wBAAwB;YACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;QACH,CAAC,CAAC;QAEF,QAAQ,CAAC,aAAa,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,iBAAiB;QACf,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACxC,sBAAsB;YACtB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,QAAQ,MAAM,sBAAsB,IAAI,CAAC,MAAM,aAAa,CAAC,CAAC;YAC5E,CAAC;YAED,sBAAsB;YACtB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,QAAQ,MAAM,sBAAsB,IAAI,CAAC,MAAM,aAAa,CAAC,CAAC;YAC5E,CAAC;YAED,4BAA4B;YAC5B,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;gBAC/C,MAAM,CAAC,IAAI,CAAC,QAAQ,MAAM,wBAAwB,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,MAAM;SACP,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,YAAY;QACV,MAAM,MAAM,GAA2C,EAAE,CAAC;QAE1D,wBAAwB;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YAC3B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7F,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,cAAc;QACZ,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,mBAAmB;QACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;QAEtD,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,6BAA6B,QAAQ,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,+BAA+B,QAAQ,CAAC,mBAAmB,EAAE,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC,mBAAmB,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,cAAc;QACd,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAEtD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CACR,KAAK,IAAI,CAAC,MAAM,MAAM,IAAI,CAAC,MAAM,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAC9F,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,wBAAwB;QACxB,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;YACzB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACnD,CAAC;QAED,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YACtB,MAAM;SACP,CAAC;IACJ,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,OAAO,QAAQ,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAChE,CAAC;IAEO,kBAAkB,CAAC,IAAY;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1C,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,SAAS,EAAE,CAAC;IAC9C,CAAC;CACF"}

package/dist/traceability/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * @fileoverview Traceability module exports
+ * @module @nahisaho/musubix-lean/traceability
+ */
+export { TraceabilityManager, type LinkType, type TraceabilityCoverage, } from './TraceabilityManager.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/traceability/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,mBAAmB,EACnB,KAAK,QAAQ,EACb,KAAK,oBAAoB,GAC1B,MAAM,0BAA0B,CAAC"}

package/dist/traceability/index.js

@@ -0,0 +1,6 @@
+/**
+ * @fileoverview Traceability module exports
+ * @module @nahisaho/musubix-lean/traceability
+ */
+export { TraceabilityManager, } from './TraceabilityManager.js';
+//# sourceMappingURL=index.js.map

package/dist/traceability/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/traceability/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,mBAAmB,GAGpB,MAAM,0BAA0B,CAAC"}