autosnippet 3.2.21 → 3.3.2

package/dist/lib/service/evolution/RedundancyAnalyzer.js

@@ -0,0 +1,210 @@
+/**
+ * RedundancyAnalyzer — 多维冗余检测
+ *
+ * 从 CandidateAggregator 的标题 Jaccard 扩展到四维内容级相似度：
+ *   维度 1: title Jaccard ≥ 0.7
+ *   维度 2: doClause + dontClause 文本相似度 ≥ 0.6
+ *   维度 3: coreCode 去空白后字符级相似度 ≥ 0.8
+ *   维度 4: guard regex 完全相同
+ *
+ * 综合: weighted_sum(0.2*d1 + 0.3*d2 + 0.3*d3 + 0.2*d4) ≥ 0.65
+ */
+import Logger from '../../infrastructure/logging/Logger.js';
+import { ContradictionDetector } from './ContradictionDetector.js';
+/* ────────────────────── Constants ────────────────────── */
+const WEIGHTS = { title: 0.2, clause: 0.3, code: 0.3, guard: 0.2 };
+const REDUNDANCY_THRESHOLD = 0.65;
+/* ────────────────────── Class ────────────────────── */
+export class RedundancyAnalyzer {
+    #db;
+    #signalBus;
+    #reportStore;
+    #logger = Logger.getInstance();
+    constructor(db, options = {}) {
+        this.#db = db;
+        this.#signalBus = options.signalBus ?? null;
+        this.#reportStore = options.reportStore ?? null;
+    }
+    /**
+     * 分析所有 active/staging 条目之间的冗余
+     */
+    analyzeAll() {
+        const recipes = this.#loadRecipes();
+        const results = [];
+        for (let i = 0; i < recipes.length; i++) {
+            for (let j = i + 1; j < recipes.length; j++) {
+                const result = this.analyzePair(recipes[i], recipes[j]);
+                if (result) {
+                    results.push(result);
+                }
+            }
+        }
+        if (this.#reportStore && results.length > 0) {
+            for (const r of results) {
+                void this.#reportStore.write({
+                    category: 'analysis',
+                    type: 'redundancy_report',
+                    producer: 'RedundancyAnalyzer',
+                    data: {
+                        recipeA: r.recipeA,
+                        redundantWith: r.recipeB,
+                        dimensions: r.dimensions,
+                        similarity: r.similarity,
+                    },
+                    timestamp: Date.now(),
+                });
+            }
+        }
+        if (this.#signalBus && results.length > 0) {
+            this.#signalBus.send('lifecycle', 'RedundancyAnalyzer', 1, {
+                metadata: { redundantPairCount: results.length },
+            });
+        }
+        this.#logger.debug(`RedundancyAnalyzer: found ${results.length} redundant pairs`);
+        return results;
+    }
+    /**
+     * 分析两条 Recipe 的冗余度
+     */
+    analyzePair(a, b) {
+        const d1 = RedundancyAnalyzer.#titleJaccard(a.title, b.title);
+        const d2 = this.#clauseSimilarity(a, b);
+        const d3 = RedundancyAnalyzer.#codeSimilarity(a.coreCode, b.coreCode);
+        const d4 = a.guardPattern && b.guardPattern && a.guardPattern === b.guardPattern ? 1.0 : 0;
+        const similarity = WEIGHTS.title * d1 + WEIGHTS.clause * d2 + WEIGHTS.code * d3 + WEIGHTS.guard * d4;
+        if (similarity < REDUNDANCY_THRESHOLD) {
+            return null;
+        }
+        return {
+            recipeA: a.id,
+            recipeB: b.id,
+            similarity: Math.round(similarity * 100) / 100,
+            dimensions: {
+                title: Math.round(d1 * 100) / 100,
+                clause: Math.round(d2 * 100) / 100,
+                code: Math.round(d3 * 100) / 100,
+                guard: d4,
+            },
+        };
+    }
+    /* ── Internal ── */
+    #loadRecipes() {
+        try {
+            const rows = this.#db
+                .prepare(`SELECT id, title,
+                do_clause AS doClause,
+                dont_clause AS dontClause,
+                json_extract(content, '$.pattern') AS guardPattern,
+                json_extract(content, '$.coreCode') AS coreCode
+         FROM knowledge_entries
+         WHERE lifecycle IN ('active', 'staging', 'evolving')`)
+                .all();
+            return rows.map((r) => ({
+                id: r.id,
+                title: r.title,
+                doClause: r.doClause ?? null,
+                dontClause: r.dontClause ?? null,
+                coreCode: r.coreCode ?? null,
+                guardPattern: r.guardPattern ?? null,
+            }));
+        }
+        catch {
+            return [];
+        }
+    }
+    /** 维度 1: 标题 Jaccard 相似度 */
+    static #titleJaccard(titleA, titleB) {
+        const wordsA = ContradictionDetector.extractTopicWords(titleA);
+        const wordsB = ContradictionDetector.extractTopicWords(titleB);
+        if (wordsA.size === 0 && wordsB.size === 0) {
+            return 0;
+        }
+        let intersection = 0;
+        for (const w of wordsA) {
+            if (wordsB.has(w)) {
+                intersection++;
+            }
+        }
+        const union = wordsA.size + wordsB.size - intersection;
+        return union === 0 ? 0 : intersection / union;
+    }
+    /** 维度 2: doClause + dontClause 文本相似度 */
+    #clauseSimilarity(a, b) {
+        const textA = [a.doClause, a.dontClause].filter(Boolean).join(' ');
+        const textB = [b.doClause, b.dontClause].filter(Boolean).join(' ');
+        if (!textA || !textB) {
+            return 0;
+        }
+        const wordsA = ContradictionDetector.extractTopicWords(textA);
+        const wordsB = ContradictionDetector.extractTopicWords(textB);
+        if (wordsA.size === 0 && wordsB.size === 0) {
+            return 0;
+        }
+        let intersection = 0;
+        for (const w of wordsA) {
+            if (wordsB.has(w)) {
+                intersection++;
+            }
+        }
+        const union = wordsA.size + wordsB.size - intersection;
+        return union === 0 ? 0 : intersection / union;
+    }
+    /** 维度 3: coreCode 去空白后字符级相似度 (简化 Levenshtein → 公共子串比率) */
+    static #codeSimilarity(codeA, codeB) {
+        if (!codeA || !codeB) {
+            return 0;
+        }
+        const a = codeA.replace(/\s+/g, '');
+        const b = codeB.replace(/\s+/g, '');
+        if (a.length === 0 && b.length === 0) {
+            return 0;
+        }
+        // 使用最长公共子串（LCS）比率作为相似度的近似
+        // 对于较长的代码，使用 n-gram 方法避免 O(n²) 开销
+        const maxLen = Math.max(a.length, b.length);
+        if (maxLen > 2000) {
+            return RedundancyAnalyzer.#ngramSimilarity(a, b, 4);
+        }
+        const lcsLen = RedundancyAnalyzer.#lcsLength(a, b);
+        return (2 * lcsLen) / (a.length + b.length);
+    }
+    /** 最长公共子序列长度（O(n*m) 但只用 2 行空间） */
+    static #lcsLength(a, b) {
+        const m = a.length;
+        const n = b.length;
+        let prev = new Uint16Array(n + 1);
+        let curr = new Uint16Array(n + 1);
+        for (let i = 1; i <= m; i++) {
+            for (let j = 1; j <= n; j++) {
+                if (a[i - 1] === b[j - 1]) {
+                    curr[j] = prev[j - 1] + 1;
+                }
+                else {
+                    curr[j] = Math.max(prev[j], curr[j - 1]);
+                }
+            }
+            [prev, curr] = [curr, prev];
+            curr.fill(0);
+        }
+        return prev[n];
+    }
+    /** n-gram 相似度（大文本用） */
+    static #ngramSimilarity(a, b, n) {
+        const ngramsA = new Set();
+        for (let i = 0; i <= a.length - n; i++) {
+            ngramsA.add(a.slice(i, i + n));
+        }
+        const ngramsB = new Set();
+        for (let i = 0; i <= b.length - n; i++) {
+            ngramsB.add(b.slice(i, i + n));
+        }
+        let intersection = 0;
+        for (const ng of ngramsA) {
+            if (ngramsB.has(ng)) {
+                intersection++;
+            }
+        }
+        const union = ngramsA.size + ngramsB.size - intersection;
+        return union === 0 ? 0 : intersection / union;
+    }
+}

package/dist/lib/service/evolution/StagingManager.d.ts

@@ -0,0 +1,57 @@
+/**
+ * StagingManager — staging Grace Period 管理 + 自动发布
+ *
+ * 核心职责：
+ *   1. 条目进入 staging 后记录 deadline
+ *   2. 定时检查：deadline 到期 + 无异议 → 自动转 active
+ *   3. 异常回滚：Guard 检测到冲突 → 回滚到 pending
+ *   4. 发射信号通知 Dashboard
+ *
+ * 分级 Grace Period（由 ConfidenceRouter 决定）：
+ *   ≥ 0.90 → 24h
+ *   0.85-0.89 → 72h
+ */
+import type { SignalBus } from '../../infrastructure/signal/SignalBus.js';
+interface DatabaseLike {
+    prepare(sql: string): {
+        all(...params: unknown[]): Record<string, unknown>[];
+        get(...params: unknown[]): Record<string, unknown> | undefined;
+        run(...params: unknown[]): {
+            changes: number;
+        };
+    };
+}
+export interface StagingEntry {
+    id: string;
+    title: string;
+    stagingDeadline: number;
+    confidence: number;
+}
+export interface StagingCheckResult {
+    promoted: StagingEntry[];
+    rolledBack: StagingEntry[];
+    waiting: StagingEntry[];
+}
+export declare class StagingManager {
+    #private;
+    constructor(db: DatabaseLike, options?: {
+        signalBus?: SignalBus;
+    });
+    /**
+     * 将条目推入 staging 状态并记录 deadline
+     */
+    enterStaging(entryId: string, gracePeriodMs: number, confidence: number): boolean;
+    /**
+     * 检查所有 staging 条目，执行自动发布或回滚
+     */
+    checkAndPromote(): StagingCheckResult;
+    /**
+     * 回滚 staging 条目到 pending（Guard 检测到冲突时调用）
+     */
+    rollback(entryId: string, reason: string): boolean;
+    /**
+     * 获取所有 staging 条目及其状态
+     */
+    listStaging(): StagingEntry[];
+}
+export {};

package/dist/lib/service/evolution/StagingManager.js

@@ -0,0 +1,201 @@
+/**
+ * StagingManager — staging Grace Period 管理 + 自动发布
+ *
+ * 核心职责：
+ *   1. 条目进入 staging 后记录 deadline
+ *   2. 定时检查：deadline 到期 + 无异议 → 自动转 active
+ *   3. 异常回滚：Guard 检测到冲突 → 回滚到 pending
+ *   4. 发射信号通知 Dashboard
+ *
+ * 分级 Grace Period（由 ConfidenceRouter 决定）：
+ *   ≥ 0.90 → 24h
+ *   0.85-0.89 → 72h
+ */
+import Logger from '../../infrastructure/logging/Logger.js';
+/* ────────────────────── Class ────────────────────── */
+export class StagingManager {
+    #db;
+    #signalBus;
+    #logger = Logger.getInstance();
+    constructor(db, options = {}) {
+        this.#db = db;
+        this.#signalBus = options.signalBus ?? null;
+    }
+    /**
+     * 将条目推入 staging 状态并记录 deadline
+     */
+    enterStaging(entryId, gracePeriodMs, confidence) {
+        const now = Date.now();
+        const deadline = now + gracePeriodMs;
+        const entry = this.#db
+            .prepare(`SELECT id, title, lifecycle FROM knowledge_entries WHERE id = ?`)
+            .get(entryId);
+        if (!entry) {
+            this.#logger.warn(`StagingManager: entry not found: ${entryId}`);
+            return false;
+        }
+        if (entry.lifecycle !== 'pending') {
+            this.#logger.warn(`StagingManager: entry ${entryId} is "${entry.lifecycle}", not pending`);
+            return false;
+        }
+        // 更新 lifecycle → staging，记录 deadline 到 stats JSON
+        const statsRaw = this.#db
+            .prepare(`SELECT stats FROM knowledge_entries WHERE id = ?`)
+            .get(entryId);
+        let stats = {};
+        try {
+            stats = JSON.parse(statsRaw?.stats || '{}');
+        }
+        catch {
+            stats = {};
+        }
+        stats.stagingDeadline = deadline;
+        stats.stagingConfidence = confidence;
+        stats.stagingEnteredAt = now;
+        this.#db
+            .prepare(`UPDATE knowledge_entries SET lifecycle = 'staging', stats = ?, updatedAt = ? WHERE id = ?`)
+            .run(JSON.stringify(stats), now, entryId);
+        // 发射信号
+        if (this.#signalBus) {
+            this.#signalBus.send('lifecycle', 'StagingManager.enter', confidence, {
+                target: entryId,
+                metadata: {
+                    action: 'enter_staging',
+                    deadline,
+                    gracePeriodMs,
+                    title: entry.title,
+                },
+            });
+        }
+        this.#logger.info(`StagingManager: ${entry.title} → staging (deadline: ${new Date(deadline).toISOString()})`);
+        return true;
+    }
+    /**
+     * 检查所有 staging 条目，执行自动发布或回滚
+     */
+    checkAndPromote() {
+        const now = Date.now();
+        const result = { promoted: [], rolledBack: [], waiting: [] };
+        const rows = this.#db
+            .prepare(`SELECT id, title, stats FROM knowledge_entries WHERE lifecycle = 'staging'`)
+            .all();
+        for (const row of rows) {
+            let stats = {};
+            try {
+                stats = JSON.parse(row.stats || '{}');
+            }
+            catch {
+                stats = {};
+            }
+            const deadline = stats.stagingDeadline || 0;
+            const confidence = stats.stagingConfidence || 0;
+            const entry = {
+                id: row.id,
+                title: row.title,
+                stagingDeadline: deadline,
+                confidence,
+            };
+            if (deadline === 0) {
+                // 无 deadline 数据（旧数据兼容）→ 保持 waiting
+                result.waiting.push(entry);
+                continue;
+            }
+            if (now < deadline) {
+                // 未到期
+                result.waiting.push(entry);
+                continue;
+            }
+            // 到期 → 自动发布
+            this.#promote(entry, stats, now);
+            result.promoted.push(entry);
+        }
+        if (result.promoted.length > 0) {
+            this.#logger.info(`StagingManager: promoted ${result.promoted.length} entries to active`);
+        }
+        return result;
+    }
+    /**
+     * 回滚 staging 条目到 pending（Guard 检测到冲突时调用）
+     */
+    rollback(entryId, reason) {
+        const now = Date.now();
+        const entry = this.#db
+            .prepare(`SELECT id, title, lifecycle, stats FROM knowledge_entries WHERE id = ?`)
+            .get(entryId);
+        if (!entry || entry.lifecycle !== 'staging') {
+            return false;
+        }
+        let stats = {};
+        try {
+            stats = JSON.parse(entry.stats || '{}');
+        }
+        catch {
+            stats = {};
+        }
+        // 清除 staging 元数据
+        delete stats.stagingDeadline;
+        delete stats.stagingConfidence;
+        delete stats.stagingEnteredAt;
+        stats.lastRollbackReason = reason;
+        stats.lastRollbackAt = now;
+        this.#db
+            .prepare(`UPDATE knowledge_entries SET lifecycle = 'pending', stats = ?, updatedAt = ? WHERE id = ?`)
+            .run(JSON.stringify(stats), now, entryId);
+        if (this.#signalBus) {
+            this.#signalBus.send('lifecycle', 'StagingManager.rollback', 0.8, {
+                target: entryId,
+                metadata: {
+                    action: 'staging_rollback',
+                    reason,
+                    title: entry.title,
+                },
+            });
+        }
+        this.#logger.info(`StagingManager: ${entry.title} rolled back to pending — ${reason}`);
+        return true;
+    }
+    /**
+     * 获取所有 staging 条目及其状态
+     */
+    listStaging() {
+        const rows = this.#db
+            .prepare(`SELECT id, title, stats FROM knowledge_entries WHERE lifecycle = 'staging'`)
+            .all();
+        return rows.map((row) => {
+            let stats = {};
+            try {
+                stats = JSON.parse(row.stats || '{}');
+            }
+            catch {
+                stats = {};
+            }
+            return {
+                id: row.id,
+                title: row.title,
+                stagingDeadline: stats.stagingDeadline || 0,
+                confidence: stats.stagingConfidence || 0,
+            };
+        });
+    }
+    /* ── Private ── */
+    #promote(entry, stats, now) {
+        // 清除 staging 元数据，记录发布信息
+        delete stats.stagingDeadline;
+        delete stats.stagingConfidence;
+        delete stats.stagingEnteredAt;
+        stats.autoPublishedAt = now;
+        this.#db
+            .prepare(`UPDATE knowledge_entries SET lifecycle = 'active', publishedAt = ?, stats = ?, updatedAt = ? WHERE id = ?`)
+            .run(now, JSON.stringify(stats), now, entry.id);
+        if (this.#signalBus) {
+            this.#signalBus.send('lifecycle', 'StagingManager.promote', 1.0, {
+                target: entry.id,
+                metadata: {
+                    action: 'auto_publish',
+                    title: entry.title,
+                    confidence: entry.confidence,
+                },
+            });
+        }
+    }
+}

package/dist/lib/service/guard/ComplianceReporter.d.ts

@@ -43,9 +43,34 @@ interface GuardCheckEngineLike {
         files: {
             filePath: string;
             violations: ViolationItem[];
-            summary: ViolationSummary;
+            uncertainResults?: {
+                ruleId: string;
+                message: string;
+                layer: string;
+                reason: string;
+                detail: string;
+            }[];
+            summary: ViolationSummary & {
+                uncertain?: number;
+            };
         }[];
         crossFileViolations: ViolationItem[];
+        capabilityReport?: {
+            checkCoverage: number;
+            uncertainResults: {
+                ruleId: string;
+                message: string;
+                layer: string;
+                reason: string;
+                detail: string;
+            }[];
+            boundaries: {
+                type: string;
+                description: string;
+                affectedRules: string[];
+                suggestedAction: string;
+            }[];
+        };
     };
 }
 interface ViolationItem {
@@ -84,6 +109,7 @@ interface ExclusionManagerLike {
     isRuleExcluded?(ruleId: string, filePath: string): boolean;
 }
 export declare class ComplianceReporter {
+    #private;
     engine: GuardCheckEngineLike;
     exclusionManager: ExclusionManagerLike | null;
     logger: ReturnType<typeof Logger.getInstance>;
@@ -91,7 +117,7 @@ export declare class ComplianceReporter {
     ruleLearner: RuleLearnerLike | null;
     violationsStore: ViolationsStoreLike | null;
     /** @param qualityGateConfig { maxErrors, maxWarnings, minScore } */
-    constructor(guardCheckEngine: GuardCheckEngineLike, violationsStore: ViolationsStoreLike | null, ruleLearner: RuleLearnerLike | null, exclusionManager: ExclusionManagerLike | null, qualityGateConfig?: QualityGateThresholds);
+    constructor(guardCheckEngine: GuardCheckEngineLike, violationsStore: ViolationsStoreLike | null, ruleLearner: RuleLearnerLike | null, exclusionManager: ExclusionManagerLike | null, qualityGateConfig?: QualityGateThresholds, signalBus?: import('../../infrastructure/signal/SignalBus.js').SignalBus | null);
     /**
      * 生成全项目合规报告
      * @param projectRoot 项目根目录
@@ -113,6 +139,20 @@ export declare class ComplianceReporter {
                 minScore: number;
             };
         };
+        complianceScore: number;
+        coverageScore: number;
+        confidenceScore: number;
+        uncertainSummary: {
+            total: number;
+            byLayer: Record<string, number>;
+            byReason: Record<string, number>;
+        };
+        boundaries: {
+            type: string;
+            description: string;
+            affectedRules: string[];
+            suggestedAction: string;
+        }[];
         summary: {
             filesScanned: number;
             totalViolations: number;

package/dist/lib/service/guard/ComplianceReporter.js

@@ -54,8 +54,11 @@ export class ComplianceReporter {
     qualityGateConfig;
     ruleLearner;
     violationsStore;
+    /** 实时规则精度追踪（由 SignalBus 更新） */
+    #rulePrecision = new Map();
+    #recentViolationCount = 0;
     /** @param qualityGateConfig { maxErrors, maxWarnings, minScore } */
-    constructor(guardCheckEngine, violationsStore, ruleLearner, exclusionManager, qualityGateConfig = {}) {
+    constructor(guardCheckEngine, violationsStore, ruleLearner, exclusionManager, qualityGateConfig = {}, signalBus) {
         this.engine = guardCheckEngine;
         this.violationsStore = violationsStore;
         this.ruleLearner = ruleLearner;
@@ -67,6 +70,17 @@ export class ComplianceReporter {
             ...qualityGateConfig,
         };
         this.logger = Logger.getInstance();
+        // Phase 2: 订阅 guard|quality 信号维护实时精度
+        if (signalBus) {
+            signalBus.subscribe('guard|quality', (signal) => {
+                if (signal.type === 'quality' && signal.source === 'RuleLearner' && signal.target) {
+                    this.#rulePrecision.set(signal.target, signal.value);
+                }
+                if (signal.type === 'guard') {
+                    this.#recentViolationCount++;
+                }
+            });
+        }
     }
     /**
      * 生成全项目合规报告
@@ -185,8 +199,27 @@ export class ComplianceReporter {
             // ViolationsStore not available
         }
         // 9. 评分 + Gate
-        const score = computeScore(summary, ruleHealth);
-        const gateStatus = evaluateGate(summary, score, thresholds);
+        const complianceScore = computeScore(summary, ruleHealth);
+        // 9b. 三维度评分: coverage + confidence（来自 capabilityReport）
+        const capabilityReport = auditResult.capabilityReport;
+        const coverageScore = capabilityReport?.checkCoverage ?? 100;
+        const totalChecks = summary.totalViolations + (capabilityReport?.uncertainResults.length ?? 0);
+        const uncertainCount = capabilityReport?.uncertainResults.length ?? 0;
+        const confidenceScore = totalChecks > 0
+            ? Math.round((1 - uncertainCount / Math.max(1, totalChecks + filteredFiles.length)) * 100)
+            : 100;
+        const uncertainSummary = {
+            total: uncertainCount,
+            byLayer: {},
+            byReason: {},
+        };
+        if (capabilityReport) {
+            for (const u of capabilityReport.uncertainResults) {
+                uncertainSummary.byLayer[u.layer] = (uncertainSummary.byLayer[u.layer] || 0) + 1;
+                uncertainSummary.byReason[u.reason] = (uncertainSummary.byReason[u.reason] || 0) + 1;
+            }
+        }
+        const gateStatus = evaluateGate(summary, complianceScore, thresholds);
         // 10. 写入 ViolationsStore（记录本次运行）
         try {
             if (this.violationsStore?.appendRun) {
@@ -194,7 +227,7 @@ export class ComplianceReporter {
                 this.violationsStore.appendRun({
                     filePath: projectRoot,
                     violations: allViolations,
-                    summary: `Compliance scan: score=${score} ${gateStatus} | ${summary.errors}E ${summary.warnings}W`,
+                    summary: `Compliance scan: score=${complianceScore} ${gateStatus} | ${summary.errors}E ${summary.warnings}W | cov=${coverageScore} conf=${confidenceScore}`,
                 });
             }
         }
@@ -206,9 +239,14 @@ export class ComplianceReporter {
             projectRoot,
             qualityGate: {
                 status: gateStatus,
-                score,
+                score: complianceScore,
                 thresholds,
             },
+            complianceScore,
+            coverageScore,
+            confidenceScore,
+            uncertainSummary,
+            boundaries: capabilityReport?.boundaries ?? [],
             summary,
             topViolations,
             fileHotspots,

package/dist/lib/service/guard/CoverageAnalyzer.d.ts

@@ -0,0 +1,54 @@
+/**
+ * CoverageAnalyzer — Guard 覆盖率矩阵 + Panorama 协同
+ *
+ * 计算模块级 Rule 覆盖率，识别零覆盖和低覆盖模块。
+ * 与 PanoramaService 协同：利用模块划分 + gaps 数据做精准评估。
+ */
+interface DatabaseLike {
+    prepare(sql: string): {
+        all(...params: unknown[]): Record<string, unknown>[];
+        get(...params: unknown[]): Record<string, unknown> | undefined;
+    };
+}
+interface RuleLearnerLike {
+    getMetrics(ruleId: string): {
+        precision: number;
+        recall: number;
+        f1: number;
+        triggers: number;
+        falsePositiveRate: number;
+    };
+    getAllStats(): Record<string, {
+        triggers: number;
+        metrics?: {
+            precision?: number;
+            recall?: number;
+            f1?: number;
+        };
+    }>;
+}
+export interface ModuleCoverage {
+    module: string;
+    ruleCount: number;
+    fpRate: number;
+    coverage: number;
+    level: 'good' | 'low' | 'zero';
+}
+export interface CoverageMatrix {
+    modules: ModuleCoverage[];
+    overallCoverage: number;
+    zeroModules: string[];
+    lowModules: string[];
+}
+export declare class CoverageAnalyzer {
+    #private;
+    constructor(db: DatabaseLike, options?: {
+        ruleLearner?: RuleLearnerLike;
+    });
+    /**
+     * 计算覆盖率矩阵
+     * @param moduleFiles 模块名 → 文件路径列表的映射
+     */
+    analyze(moduleFiles: Map<string, string[]>): CoverageMatrix;
+}
+export {};