code-auditor-mcp 3.1.1 → 3.4.0

package/dist/analyzers/universal/UniversalConventionsAnalyzer.js

@@ -0,0 +1,445 @@
+/**
+ * Universal Conventions Analyzer — Spec 12 R2.
+ *
+ * Reads mined conventions from the SQLite conventions table and flags
+ * deviations at suggestion severity. All detection is cross-file (DB-based);
+ * no per-AST processing is needed.
+ *
+ * Five rule IDs:
+ *   conventions/usage-pair    — missing co-occurring function calls
+ *   conventions/import-form   — minority import style
+ *   conventions/error-handling — wrong error-handling shape
+ *   conventions/export-shape  — minority export style
+ *   conventions/naming        — wrong casing convention
+ */
+import * as fs from 'fs';
+import * as path from 'path';
+import { UniversalAnalyzer } from '../../languages/UniversalAnalyzer.js';
+import { CodeIndexDB } from '../../codeIndexDB.js';
+import { detectCase, detectErrorHandlingShape, detectExportForm, parseFileImports, hasNonLatinChars, } from '../../conventions/conventionMiner.js';
+// ---------------------------------------------------------------------------
+// Default configuration
+// ---------------------------------------------------------------------------
+export const DEFAULT_CONVENTIONS_CONFIG = {
+    minCorpus: 20,
+    pairConfidence: 0.9,
+    modeShare: 0.8,
+    maxConventionsPerDomain: 200,
+};
+// ---------------------------------------------------------------------------
+// Analyzer
+// ---------------------------------------------------------------------------
+export class UniversalConventionsAnalyzer extends UniversalAnalyzer {
+    name = 'conventions';
+    description = 'Mines codebase conventions and flags deviations at suggestion severity';
+    category = 'style';
+    /**
+     * Full override: query conventions from the DB and emit violations per domain.
+     * The base-class per-file AST loop is bypassed.
+     */
+    async analyze(files, config = {}, options = {}) {
+        const startTime = Date.now();
+        const violations = [];
+        let rawDb = null;
+        try {
+            const db = CodeIndexDB.getInstance();
+            await db.initialize();
+            rawDb = db.rawDb;
+        }
+        catch {
+            return {
+                violations: [],
+                errors: [{ file: '', error: 'Failed to open code index database' }],
+                filesProcessed: 0,
+                executionTime: Date.now() - startTime,
+                metrics: { filesAnalyzed: 0, totalViolations: 0, executionTime: Date.now() - startTime },
+            };
+        }
+        if (!rawDb) {
+            return {
+                violations: [],
+                errors: [],
+                filesProcessed: 0,
+                executionTime: Date.now() - startTime,
+                metrics: { filesAnalyzed: 0, totalViolations: 0, executionTime: Date.now() - startTime },
+            };
+        }
+        // Query all conventions
+        const conventions = rawDb
+            .prepare('SELECT * FROM conventions ORDER BY domain, directory')
+            .all();
+        if (conventions.length === 0) {
+            return {
+                violations: [],
+                errors: [],
+                filesProcessed: files.length,
+                executionTime: Date.now() - startTime,
+                metrics: { filesAnalyzed: files.length, totalViolations: 0, executionTime: Date.now() - startTime },
+            };
+        }
+        // Extract project root from config
+        const projectRoot = config.projectRoot;
+        // Group conventions by domain for efficient detection
+        const byDomain = new Map();
+        for (const c of conventions) {
+            const list = byDomain.get(c.domain) ?? [];
+            list.push(c);
+            byDomain.set(c.domain, list);
+        }
+        // Detect violations per domain
+        for (const [domain, domainConventions] of byDomain) {
+            switch (domain) {
+                case 'usage-pair':
+                    violations.push(...this.detectUsagePairViolations(rawDb, domainConventions));
+                    break;
+                case 'import-form':
+                    violations.push(...this.detectImportFormViolations(rawDb, domainConventions, projectRoot));
+                    break;
+                case 'error-handling':
+                    violations.push(...this.detectErrorHandlingViolations(rawDb, domainConventions));
+                    break;
+                case 'export-shape':
+                    violations.push(...this.detectExportShapeViolations(rawDb, domainConventions, projectRoot));
+                    break;
+                case 'naming':
+                    violations.push(...this.detectNamingViolations(rawDb, domainConventions));
+                    break;
+            }
+        }
+        return {
+            violations,
+            errors: [],
+            filesProcessed: files.length,
+            executionTime: Date.now() - startTime,
+            metrics: {
+                filesAnalyzed: files.length,
+                totalViolations: violations.length,
+                executionTime: Date.now() - startTime,
+            },
+        };
+    }
+    /** No-op — all detection is DB-based. */
+    async analyzeAST() {
+        return [];
+    }
+    // ── Usage-Pair Detection ──────────────────────────────────────────────
+    /**
+     * For each usage-pair convention (antecedent → consequent), find functions
+     * that call the antecedent but NOT the consequent.
+     */
+    detectUsagePairViolations(rawDb, conventions) {
+        const violations = [];
+        // Query all function calls once
+        const allCalls = rawDb
+            .prepare('SELECT caller_id, callee_name FROM function_calls')
+            .all();
+        // Build callerId → Set<calleeName>
+        const callerCalls = new Map();
+        for (const fc of allCalls) {
+            if (!callerCalls.has(fc.caller_id))
+                callerCalls.set(fc.caller_id, new Set());
+            callerCalls.get(fc.caller_id).add(fc.callee_name);
+        }
+        // antecedentName → Set<callerId>
+        const antecedentCallers = new Map();
+        for (const fc of allCalls) {
+            if (!antecedentCallers.has(fc.callee_name)) {
+                antecedentCallers.set(fc.callee_name, new Set());
+            }
+            antecedentCallers.get(fc.callee_name).add(fc.caller_id);
+        }
+        // Query all functions for file/line info
+        const funcRows = rawDb
+            .prepare('SELECT id, name, file_path, line_number FROM functions')
+            .all();
+        const funcById = new Map();
+        for (const f of funcRows) {
+            funcById.set(f.id, f);
+        }
+        for (const conv of conventions) {
+            if (!conv.antecedent || !conv.consequent)
+                continue;
+            const antecedent = conv.antecedent;
+            const consequent = conv.consequent;
+            const callerIds = antecedentCallers.get(antecedent);
+            if (!callerIds || callerIds.size === 0)
+                continue;
+            for (const cid of callerIds) {
+                const callSet = callerCalls.get(cid);
+                if (!callSet || !callSet.has(consequent)) {
+                    const func = funcById.get(cid);
+                    if (!func)
+                        continue;
+                    const exemplarRef = conv.exemplar_file
+                        ? ` (exemplar: ${conv.exemplar_file}${conv.exemplar_line ? `:${conv.exemplar_line}` : ''})`
+                        : '';
+                    const pct = Math.round(conv.confidence * 100);
+                    violations.push({
+                        file: func.file_path,
+                        line: func.line_number,
+                        column: 1,
+                        severity: 'suggestion',
+                        message: `${pct}% of \`${antecedent}\` callers also call \`${consequent}\` — ` +
+                            `this function calls \`${antecedent}\` without \`${consequent}\`${exemplarRef}`,
+                        rule: 'conventions/usage-pair',
+                        analyzer: this.name,
+                        functionName: func.name,
+                    });
+                }
+            }
+        }
+        return violations;
+    }
+    // ── Import-Form Detection ─────────────────────────────────────────────
+    /**
+     * For each import-form convention (source → dominantForm in directory),
+     * find imports of that source that use a minority form.
+     */
+    detectImportFormViolations(rawDb, conventions, projectRoot) {
+        const violations = [];
+        // Use directory-key → Map<source, ImportConv>
+        const dirImports = new Map();
+        for (const conv of conventions) {
+            const dir = conv.directory ?? '.';
+            const source = conv.antecedent;
+            if (!source)
+                continue;
+            const form = conv.consequent;
+            if (!form)
+                continue;
+            if (!dirImports.has(dir))
+                dirImports.set(dir, new Map());
+            dirImports.get(dir).set(source, {
+                source,
+                form,
+                confidence: conv.confidence,
+                exemplar_file: conv.exemplar_file,
+                exemplar_line: conv.exemplar_line,
+            });
+        }
+        // Get unique file paths
+        const fileRows = rawDb
+            .prepare('SELECT DISTINCT file_path FROM functions WHERE file_path IS NOT NULL')
+            .all();
+        const seenFiles = new Set();
+        for (const { file_path: fp } of fileRows) {
+            if (seenFiles.has(fp))
+                continue;
+            seenFiles.add(fp);
+            const directory = path.dirname(fp) || '.';
+            const importConvs = dirImports.get(directory);
+            if (!importConvs)
+                continue;
+            const fullPath = projectRoot ? path.join(projectRoot, fp) : fp;
+            let content;
+            try {
+                content = fs.readFileSync(fullPath, 'utf-8');
+            }
+            catch {
+                continue;
+            }
+            const imports = parseFileImports(content);
+            for (const imp of imports) {
+                const conv = importConvs.get(imp.source);
+                if (!conv || imp.form === conv.form)
+                    continue;
+                const pct = Math.round(conv.confidence * 100);
+                const exemplarRef = conv.exemplar_file
+                    ? ` (exemplar: ${conv.exemplar_file}${conv.exemplar_line ? `:${conv.exemplar_line}` : ''})`
+                    : '';
+                violations.push({
+                    file: fp,
+                    line: imp.line,
+                    column: 1,
+                    severity: 'suggestion',
+                    message: `${pct}% of imports of \`${imp.source}\` in \`${directory}/\` ` +
+                        `use ${conv.form} import — this file uses ${imp.form}${exemplarRef}`,
+                    rule: 'conventions/import-form',
+                    analyzer: this.name,
+                    details: {
+                        source: imp.source,
+                        directory,
+                        conventionForm: conv.form,
+                        actualForm: imp.form,
+                        localNames: imp.localNames,
+                    },
+                });
+            }
+        }
+        return violations;
+    }
+    // ── Error-Handling Detection ──────────────────────────────────────────
+    /**
+     * For each error-handling convention, find functions in that directory
+     * that have error handling but use a different shape.
+     *
+     * Functions with NO error handling are excluded — never flagged.
+     */
+    detectErrorHandlingViolations(rawDb, conventions) {
+        const violations = [];
+        // directory → dominantShape
+        const dirShapes = new Map();
+        for (const conv of conventions) {
+            const dir = conv.directory ?? '.';
+            const shape = conv.pattern;
+            if (!shape)
+                continue;
+            dirShapes.set(dir, {
+                shape,
+                confidence: conv.confidence,
+                exemplar_file: conv.exemplar_file,
+                exemplar_line: conv.exemplar_line,
+            });
+        }
+        const rows = rawDb
+            .prepare(`SELECT id, name, file_path, line_number, metadata_json
+         FROM functions
+         WHERE metadata_json IS NOT NULL`)
+            .all();
+        for (const row of rows) {
+            const directory = path.dirname(row.file_path) || '.';
+            const conv = dirShapes.get(directory);
+            if (!conv)
+                continue;
+            let metadata;
+            try {
+                metadata = JSON.parse(row.metadata_json);
+            }
+            catch {
+                continue;
+            }
+            const body = metadata.body;
+            const shape = detectErrorHandlingShape(body);
+            if (!shape)
+                continue; // no error handling → skip
+            if (shape === conv.shape)
+                continue; // matches convention
+            const pct = Math.round(conv.confidence * 100);
+            const exemplarRef = conv.exemplar_file
+                ? ` (exemplar: ${conv.exemplar_file}${conv.exemplar_line ? `:${conv.exemplar_line}` : ''})`
+                : '';
+            violations.push({
+                file: row.file_path,
+                line: row.line_number,
+                column: 1,
+                severity: 'suggestion',
+                message: `${pct}% of error-handling functions in \`${directory}/\` use ` +
+                    `\`${conv.shape}\` — this function uses \`${shape}\`${exemplarRef}`,
+                rule: 'conventions/error-handling',
+                analyzer: this.name,
+                functionName: row.name,
+            });
+        }
+        return violations;
+    }
+    // ── Export-Shape Detection ────────────────────────────────────────────
+    /**
+     * For each export-shape convention, find exported functions in that
+     * directory that use a minority export form.
+     */
+    detectExportShapeViolations(rawDb, conventions, projectRoot) {
+        const violations = [];
+        // directory → dominantForm
+        const dirForms = new Map();
+        for (const conv of conventions) {
+            const dir = conv.directory ?? '.';
+            const form = conv.pattern;
+            if (!form)
+                continue;
+            dirForms.set(dir, {
+                form,
+                confidence: conv.confidence,
+                exemplar_file: conv.exemplar_file,
+                exemplar_line: conv.exemplar_line,
+            });
+        }
+        const rows = rawDb
+            .prepare(`SELECT id, name, file_path, line_number, is_exported
+         FROM functions
+         WHERE is_exported = 1`)
+            .all();
+        for (const row of rows) {
+            const directory = path.dirname(row.file_path) || '.';
+            const conv = dirForms.get(directory);
+            if (!conv)
+                continue;
+            const fullPath = projectRoot ? path.join(projectRoot, row.file_path) : row.file_path;
+            const form = detectExportForm(fullPath, row.name);
+            if (!form || form === conv.form)
+                continue;
+            const pct = Math.round(conv.confidence * 100);
+            const exemplarRef = conv.exemplar_file
+                ? ` (exemplar: ${conv.exemplar_file}${conv.exemplar_line ? `:${conv.exemplar_line}` : ''})`
+                : '';
+            violations.push({
+                file: row.file_path,
+                line: row.line_number,
+                column: 1,
+                severity: 'suggestion',
+                message: `${pct}% of exports in \`${directory}/\` use ${conv.form} export — ` +
+                    `\`${row.name}\` uses ${form}${exemplarRef}`,
+                rule: 'conventions/export-shape',
+                analyzer: this.name,
+                functionName: row.name,
+            });
+        }
+        return violations;
+    }
+    // ── Naming Detection ──────────────────────────────────────────────────
+    /**
+     * For each naming convention, find exported functions in that directory
+     * that don't match the dominant casing. Non-Latin names are skipped
+     * (Spec 21 R5.4).
+     */
+    detectNamingViolations(rawDb, conventions) {
+        const violations = [];
+        // directory → dominantCase
+        const dirCases = new Map();
+        for (const conv of conventions) {
+            const dir = conv.directory ?? '.';
+            const casing = conv.pattern;
+            if (!casing)
+                continue;
+            dirCases.set(dir, {
+                casing,
+                confidence: conv.confidence,
+                exemplar_file: conv.exemplar_file,
+                exemplar_line: conv.exemplar_line,
+            });
+        }
+        const rows = rawDb
+            .prepare(`SELECT id, name, file_path, line_number, is_exported
+         FROM functions
+         WHERE is_exported = 1`)
+            .all();
+        for (const row of rows) {
+            const directory = path.dirname(row.file_path) || '.';
+            const conv = dirCases.get(directory);
+            if (!conv)
+                continue;
+            // Non-Latin skip (Spec 21 R5.4)
+            if (hasNonLatinChars(row.name))
+                continue;
+            const casing = detectCase(row.name);
+            if (!casing || casing === conv.casing)
+                continue;
+            const pct = Math.round(conv.confidence * 100);
+            const exemplarRef = conv.exemplar_file
+                ? ` (exemplar: ${conv.exemplar_file}${conv.exemplar_line ? `:${conv.exemplar_line}` : ''})`
+                : '';
+            violations.push({
+                file: row.file_path,
+                line: row.line_number,
+                column: 1,
+                severity: 'suggestion',
+                message: `${pct}% of exports in \`${directory}/\` use ${conv.casing} — ` +
+                    `\`${row.name}\` uses ${casing}${exemplarRef}`,
+                rule: 'conventions/naming',
+                analyzer: this.name,
+                functionName: row.name,
+            });
+        }
+        return violations;
+    }
+}
+//# sourceMappingURL=UniversalConventionsAnalyzer.js.map

package/dist/analyzers/universal/UniversalConventionsAnalyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UniversalConventionsAnalyzer.js","sourceRoot":"","sources":["../../../src/analyzers/universal/UniversalConventionsAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EACL,UAAU,EACV,wBAAwB,EACxB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,sCAAsC,CAAC;AAE9C,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,0BAA0B,GAA8B;IACnE,SAAS,EAAE,EAAE;IACb,cAAc,EAAE,GAAG;IACnB,SAAS,EAAE,GAAG;IACd,uBAAuB,EAAE,GAAG;CAC7B,CAAC;AAqCF,8EAA8E;AAC9E,WAAW;AACX,8EAA8E;AAE9E,MAAM,OAAO,4BAA6B,SAAQ,iBAAiB;IACxD,IAAI,GAAG,aAAa,CAAC;IACrB,WAAW,GAClB,wEAAwE,CAAC;IAClE,QAAQ,GAAG,OAAO,CAAC;IAE5B;;;OAGG;IACH,KAAK,CAAC,OAAO,CACX,KAAe,EACf,MAAM,GAAQ,EAAE,EAChB,OAAO,GAAQ,EAAE;QAEjB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,IAAI,KAAK,GAAQ,IAAI,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,EAAE,CAAC,UAAU,EAAE,CAAC;YACtB,KAAK,GAAI,EAAU,CAAC,KAAK,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;gBACnE,cAAc,EAAE,CAAC;gBACjB,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBACrC,OAAO,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE;aACzF,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,EAAE;gBACV,cAAc,EAAE,CAAC;gBACjB,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBACrC,OAAO,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE;aACzF,CAAC;QACJ,CAAC;QAED,wBAAwB;QACxB,MAAM,WAAW,GAAG,KAAK;aACtB,OAAO,CAAC,sDAAsD,CAAC;aAC/D,GAAG,EAAqB,CAAC;QAE5B,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,EAAE;gBACV,cAAc,EAAE,KAAK,CAAC,MAAM;gBAC5B,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;gBACrC,OAAO,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,EAAE;aACpG,CAAC;QACJ,CAAC;QAED,mCAAmC;QACnC,MAAM,WAAW,GAAuB,MAAM,CAAC,WAAW,CAAC;QAE3D,sDAAsD;QACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QAED,+BAA+B;QAC/B,KAAK,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,QAAQ,EAAE,CAAC;YACnD,QAAQ,MAAM,EAAE,CAAC;gBACf,KAAK,YAAY;oBACf,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,yBAAyB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;oBAC7E,MAAM;gBACR,KAAK,aAAa;oBAChB,UAAU,CAAC,IAAI,CACb,GAAG,IAAI,CAAC,0BAA0B,CAAC,KAAK,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAC1E,CAAC;oBACF,MAAM;gBACR,KAAK,gBAAgB;oBACnB,UAAU,CAAC,IAAI,CACb,GAAG,IAAI,CAAC,6BAA6B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAChE,CAAC;oBACF,MAAM;gBACR,KAAK,cAAc;oBACjB,UAAU,CAAC,IAAI,CACb,GAAG,IAAI,CAAC,2BAA2B,CAAC,KAAK,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAC3E,CAAC;oBACF,MAAM;gBACR,KAAK,QAAQ;oBACX,UAAU,CAAC,IAAI,CACb,GAAG,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CACzD,CAAC;oBACF,MAAM;YACV,CAAC;QACH,CAAC;QAED,OAAO;YACL,UAAU;YACV,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,KAAK,CAAC,MAAM;YAC5B,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YACrC,OAAO,EAAE;gBACP,aAAa,EAAE,KAAK,CAAC,MAAM;gBAC3B,eAAe,EAAE,UAAU,CAAC,MAAM;gBAClC,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACtC;SACF,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,KAAK,CAAC,UAAU;QACd,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,yEAAyE;IAEzE;;;OAGG;IACK,yBAAyB,CAC/B,KAAU,EACV,WAA4B;QAE5B,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,gCAAgC;QAChC,MAAM,QAAQ,GAAG,KAAK;aACnB,OAAO,CAAC,mDAAmD,CAAC;aAC5D,GAAG,EAAuB,CAAC;QAE9B,mCAAmC;QACnC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;QACnD,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC7E,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC;QAED,iCAAiC;QACjC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAuB,CAAC;QACzD,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC3C,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACnD,CAAC;YACD,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC3D,CAAC;QAED,yCAAyC;QACzC,MAAM,QAAQ,GAAG,KAAK;aACnB,OAAO,CAAC,wDAAwD,CAAC;aACjE,GAAG,EAAmB,CAAC;QAE1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAEnD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;YACnC,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACpD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAEjD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,CAAC,IAAI;wBAAE,SAAS;oBAEpB,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa;wBACpC,CAAC,CAAC,eAAe,IAAI,CAAC,aAAa,GAC/B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAClD,GAAG;wBACL,CAAC,CAAC,EAAE,CAAC;oBAEP,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;oBAC9C,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,IAAI,CAAC,SAAS;wBACpB,IAAI,EAAE,IAAI,CAAC,WAAW;wBACtB,MAAM,EAAE,CAAC;wBACT,QAAQ,EAAE,YAAY;wBACtB,OAAO,EACL,GAAG,GAAG,UAAU,UAAU,0BAA0B,UAAU,OAAO;4BACrE,yBAAyB,UAAU,gBAAgB,UAAU,KAAK,WAAW,EAAE;wBACjF,IAAI,EAAE,wBAAwB;wBAC9B,QAAQ,EAAE,IAAI,CAAC,IAAI;wBACnB,YAAY,EAAE,IAAI,CAAC,IAAI;qBACxB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,yEAAyE;IAEzE;;;OAGG;IACK,0BAA0B,CAChC,KAAU,EACV,WAA4B,EAC5B,WAAoB;QAEpB,MAAM,UAAU,GAAgB,EAAE,CAAC;QAYnC,8CAA8C;QAC9C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmC,CAAC;QAC9D,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;YAC/B,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAC7B,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACzD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,MAAM,EAAE;gBAC/B,MAAM;gBACN,IAAI;gBACJ,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,aAAa,EAAE,IAAI,CAAC,aAAa;aAClC,CAAC,CAAC;QACL,CAAC;QAED,wBAAwB;QACxB,MAAM,QAAQ,GAAG,KAAK;aACnB,OAAO,CAAC,sEAAsE,CAAC;aAC/E,GAAG,EAAkC,CAAC;QAEzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QAEpC,KAAK,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,QAAQ,EAAE,CAAC;YACzC,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAChC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAElB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC;YAC1C,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,CAAC,WAAW;gBAAE,SAAS;YAE3B,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,IAAI,OAAe,CAAC;YACpB,IAAI,CAAC;gBACH,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAE1C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBAAE,SAAS;gBAE9C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;gBAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa;oBACpC,CAAC,CAAC,eAAe,IAAI,CAAC,aAAa,GAC/B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAClD,GAAG;oBACL,CAAC,CAAC,EAAE,CAAC;gBAEP,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,CAAC;oBACT,QAAQ,EAAE,YAAY;oBACtB,OAAO,EACL,GAAG,GAAG,qBAAqB,GAAG,CAAC,MAAM,WAAW,SAAS,MAAM;wBAC/D,OAAO,IAAI,CAAC,IAAI,4BAA4B,GAAG,CAAC,IAAI,GAAG,WAAW,EAAE;oBACtE,IAAI,EAAE,yBAAyB;oBAC/B,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,OAAO,EAAE;wBACP,MAAM,EAAE,GAAG,CAAC,MAAM;wBAClB,SAAS;wBACT,cAAc,EAAE,IAAI,CAAC,IAAI;wBACzB,UAAU,EAAE,GAAG,CAAC,IAAI;wBACpB,UAAU,EAAE,GAAG,CAAC,UAAU;qBAC3B;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,yEAAyE;IAEzE;;;;;OAKG;IACK,6BAA6B,CACnC,KAAU,EACV,WAA4B;QAE5B,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,4BAA4B;QAC5B,MAAM,SAAS,GAAG,IAAI,GAAG,EAA6G,CAAC;QACvI,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;YAC3B,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE;gBACjB,KAAK;gBACL,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,aAAa,EAAE,IAAI,CAAC,aAAa;aAClC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GAAG,KAAK;aACf,OAAO,CACN;;yCAEiC,CAClC;aACA,GAAG,EAAmB,CAAC;QAE1B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;YACrD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,QAAa,CAAC;YAClB,IAAI,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAc,CAAC,CAAC;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAuB,QAAQ,CAAC,IAAI,CAAC;YAC/C,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK;gBAAE,SAAS,CAAC,2BAA2B;YACjD,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK;gBAAE,SAAS,CAAC,qBAAqB;YAEzD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa;gBACpC,CAAC,CAAC,eAAe,IAAI,CAAC,aAAa,GAC/B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAClD,GAAG;gBACL,CAAC,CAAC,EAAE,CAAC;YAEP,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,IAAI,EAAE,GAAG,CAAC,WAAW;gBACrB,MAAM,EAAE,CAAC;gBACT,QAAQ,EAAE,YAAY;gBACtB,OAAO,EACL,GAAG,GAAG,sCAAsC,SAAS,UAAU;oBAC/D,KAAK,IAAI,CAAC,KAAK,6BAA6B,KAAK,KAAK,WAAW,EAAE;gBACrE,IAAI,EAAE,4BAA4B;gBAClC,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,YAAY,EAAE,GAAG,CAAC,IAAI;aACvB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,yEAAyE;IAEzE;;;OAGG;IACK,2BAA2B,CACjC,KAAU,EACV,WAA4B,EAC5B,WAAoB;QAEpB,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4G,CAAC;QACrI,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE;gBAChB,IAAI;gBACJ,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,aAAa,EAAE,IAAI,CAAC,aAAa;aAClC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GAAG,KAAK;aACf,OAAO,CACN;;+BAEuB,CACxB;aACA,GAAG,EAAmB,CAAC;QAE1B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;YACrD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;YACrF,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI;gBAAE,SAAS;YAE1C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa;gBACpC,CAAC,CAAC,eAAe,IAAI,CAAC,aAAa,GAC/B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAClD,GAAG;gBACL,CAAC,CAAC,EAAE,CAAC;YAEP,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,IAAI,EAAE,GAAG,CAAC,WAAW;gBACrB,MAAM,EAAE,CAAC;gBACT,QAAQ,EAAE,YAAY;gBACtB,OAAO,EACL,GAAG,GAAG,qBAAqB,SAAS,WAAW,IAAI,CAAC,IAAI,YAAY;oBACpE,KAAK,GAAG,CAAC,IAAI,WAAW,IAAI,GAAG,WAAW,EAAE;gBAC9C,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,YAAY,EAAE,GAAG,CAAC,IAAI;aACvB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,yEAAyE;IAEzE;;;;OAIG;IACK,sBAAsB,CAC5B,KAAU,EACV,WAA4B;QAE5B,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8G,CAAC;QACvI,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;YAC5B,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE;gBAChB,MAAM;gBACN,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,aAAa,EAAE,IAAI,CAAC,aAAa;aAClC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GAAG,KAAK;aACf,OAAO,CACN;;+BAEuB,CACxB;aACA,GAAG,EAAmB,CAAC;QAE1B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;YACrD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,gCAAgC;YAChC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAEzC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEhD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa;gBACpC,CAAC,CAAC,eAAe,IAAI,CAAC,aAAa,GAC/B,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAClD,GAAG;gBACL,CAAC,CAAC,EAAE,CAAC;YAEP,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,IAAI,EAAE,GAAG,CAAC,WAAW;gBACrB,MAAM,EAAE,CAAC;gBACT,QAAQ,EAAE,YAAY;gBACtB,OAAO,EACL,GAAG,GAAG,qBAAqB,SAAS,WAAW,IAAI,CAAC,MAAM,KAAK;oBAC/D,KAAK,GAAG,CAAC,IAAI,WAAW,MAAM,GAAG,WAAW,EAAE;gBAChD,IAAI,EAAE,oBAAoB;gBAC1B,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,YAAY,EAAE,GAAG,CAAC,IAAI;aACvB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF"}

package/dist/analyzers/universal/UniversalDRYAnalyzer.d.ts

@@ -6,10 +6,33 @@
  * R3.3: Rule-id split — dry/duplicate (exact token match) + dry/structural-similarity
  *       (identical token-kind sequence with different identifiers/literals).
  * R7:   dry/duplicate → warning, dry/structural-similarity → suggestion.
+ *
+ * Spec 13 R5 — Diverging Clones: Exports DryPairSeed during analysis for
+ * two-phase tracking (seed + re-measure pass in auditRunner).
  */
 import { UniversalAnalyzer } from '../../languages/UniversalAnalyzer.js';
 import type { Violation, FunctionMetadata } from '../../types.js';
 import type { AST, LanguageAdapter } from '../../languages/types.js';
+/**
+ * Pair seed emitted during DRY analysis for diverging-clone tracking.
+ * The identity is fingerprint-based (file + enclosing symbol), not content-hash-based.
+ */
+export interface DryPairSeed {
+    /** Order-normalized pair identity: SHA256(sorted(fp1, fp2).join('||')) */
+    pairFingerprint: string;
+    file1: string;
+    symbol1: string;
+    line1: number;
+    contentHash1: string;
+    file2: string;
+    symbol2: string;
+    line2: number;
+    contentHash2: string;
+    /** Jaccard similarity [0,1] — 1.0 for exact, ~Jaccard for structural. */
+    similarity: number;
+    /** Rule: 'dry/duplicate' or 'dry/structural-similarity' */
+    rule: string;
+}
 /**
  * Configuration for DRY analyzer
  */
@@ -19,6 +42,8 @@ export interface DRYAnalyzerConfig {
     excludePatterns?: string[];
     checkImports?: boolean;
     checkStrings?: boolean;
+    /** R4.2: Enables dry/structural-similarity analysis. Default false. */
+    checkStructuralSimilarity?: boolean;
     ignoreComments?: boolean;
     ignoreWhitespace?: boolean;
     /** Full function index (all functions in codebase) for cross-file duplicate detection in scoped audits */
@@ -29,6 +54,12 @@ export declare class UniversalDRYAnalyzer extends UniversalAnalyzer {
     readonly name = "dry";
     readonly description = "Detects code duplication across the codebase";
     readonly category = "maintainability";
+    /** Per-file accumulator for pairs seeded during analyzeAST. */
+    private _dryPairsForFile;
+    /** Pairs collected during the current analysis run for diverging-clone seeding. */
+    private _dryPairs;
+    /** Expose collected pairs for the auditRunner to persist. */
+    get dryPairs(): DryPairSeed[];
     protected analyzeAST(ast: AST, adapter: LanguageAdapter, config: DRYAnalyzerConfig, sourceCode: string): Promise<Violation[]>;
     /**
      * Returns true if the two blocks share code spans (same file + overlapping lines).
@@ -107,5 +138,26 @@ export declare class UniversalDRYAnalyzer extends UniversalAnalyzer {
     private walkAST;
     private isSignificantBlock;
     private isStringLiteral;
+    /**
+     * Compute the Jaccard similarity index between two tokenized strings.
+     * Jaccard = |intersection| / |union|. Range [0, 1].
+     */
+    private computeJaccardSimilarity;
+    /**
+     * Compute an order-independent pair fingerprint from file + line + nodeType.
+     * Uses SHA256(sorted(a, b).join('||')) so the same pair has the same
+     * fingerprint regardless of argument order.
+     */
+    private computePairFingerprint;
+    /**
+     * Seed a pair into the per-file accumulator for diverging-clone tracking.
+     * Called during analyzeAST when a duplicate or structural-similarity pair
+     * is detected.
+     */
+    private seedPair;
+    /**
+     * Override analyze() to attach seeded pairs to the AnalyzerResult.
+     */
+    analyze(files: string[], config?: any, options?: any): Promise<import('../../types.js').AnalyzerResult>;
 }
 //# sourceMappingURL=UniversalDRYAnalyzer.d.ts.map

package/dist/analyzers/universal/UniversalDRYAnalyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UniversalDRYAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/analyzers/universal/UniversalDRYAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAW,MAAM,0BAA0B,CAAC;AAG9E;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,0GAA0G;IAC1G,iBAAiB,CAAC,EAAE,gBAAgB,EAAE,CAAC;CACxC;AAED,eAAO,MAAM,kBAAkB,EAAE,iBAShC,CAAC;AAsBF,qBAAa,oBAAqB,SAAQ,iBAAiB;IACzD,QAAQ,CAAC,IAAI,SAAS;IACtB,QAAQ,CAAC,WAAW,kDAAkD;IACtE,QAAQ,CAAC,QAAQ,qBAAqB;IAEtC,UAAgB,UAAU,CACxB,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,iBAAiB,EACzB,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CAwItB;IAID;;OAEG;IACH,OAAO,CAAC,YAAY;IAKpB;;OAEG;IACH,OAAO,CAAC,aAAa;IAKrB;;;;;;;;OAQG;IACH,OAAO,CAAC,iBAAiB;IAyCzB;;OAEG;IACH,OAAO,CAAC,WAAW;IAcnB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAyC1B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAiFzB;;OAEG;IACH,OAAO,CAAC,eAAe;IA8BvB;;;;OAIG;IACH,OAAO,CAAC,yBAAyB;IAKjC;;OAEG;IACH,OAAO,CAAC,aAAa;IAsBrB;;OAEG;IACH,OAAO,CAAC,QAAQ;IAIhB;;OAEG;IACH,OAAO,CAAC,UAAU;IAIlB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAI1B;;OAEG;IACH,OAAO,CAAC,eAAe;IAkBvB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA0C7B;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA+B7B;;OAEG;IACH,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,kBAAkB;IAmB1B,OAAO,CAAC,OAAO;IASf,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,eAAe;CAGxB"}
+{"version":3,"file":"UniversalDRYAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/analyzers/universal/UniversalDRYAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAW,MAAM,0BAA0B,CAAC;AAG9E;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,0EAA0E;IAC1E,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,uEAAuE;IACvE,yBAAyB,CAAC,EAAE,OAAO,CAAC;IACpC,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,0GAA0G;IAC1G,iBAAiB,CAAC,EAAE,gBAAgB,EAAE,CAAC;CACxC;AAED,eAAO,MAAM,kBAAkB,EAAE,iBAYhC,CAAC;AAsBF,qBAAa,oBAAqB,SAAQ,iBAAiB;IACzD,QAAQ,CAAC,IAAI,SAAS;IACtB,QAAQ,CAAC,WAAW,kDAAkD;IACtE,QAAQ,CAAC,QAAQ,qBAAqB;IAEtC,+DAA+D;IAC/D,OAAO,CAAC,gBAAgB,CAAqB;IAE7C,mFAAmF;IACnF,OAAO,CAAC,SAAS,CAAqB;IAEtC,6DAA6D;IAC7D,IAAI,QAAQ,IAAI,WAAW,EAAE,CAE5B;IAED,UAAgB,UAAU,CACxB,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,iBAAiB,EACzB,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CA6JtB;IAID;;OAEG;IACH,OAAO,CAAC,YAAY;IAKpB;;OAEG;IACH,OAAO,CAAC,aAAa;IAKrB;;;;;;;;OAQG;IACH,OAAO,CAAC,iBAAiB;IAyCzB;;OAEG;IACH,OAAO,CAAC,WAAW;IAcnB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAyC1B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAiFzB;;OAEG;IACH,OAAO,CAAC,eAAe;IA8BvB;;;;OAIG;IACH,OAAO,CAAC,yBAAyB;IAKjC;;OAEG;IACH,OAAO,CAAC,aAAa;IAsBrB;;OAEG;IACH,OAAO,CAAC,QAAQ;IAIhB;;OAEG;IACH,OAAO,CAAC,UAAU;IAIlB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAI1B;;OAEG;IACH,OAAO,CAAC,eAAe;IAkBvB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA2C7B;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAiC7B;;OAEG;IACH,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,kBAAkB;IAmB1B,OAAO,CAAC,OAAO;IASf,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,eAAe;IAMvB;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAahC;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IAU9B;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAyBhB;;OAEG;IACG,OAAO,CACX,KAAK,EAAE,MAAM,EAAE,EACf,MAAM,GAAE,GAAQ,EAChB,OAAO,GAAE,GAAQ,GAChB,OAAO,CAAC,OAAO,gBAAgB,EAAE,cAAc,CAAC,CAIlD;CACF"}