code-auditor-mcp 4.1.1 → 5.0.1

package/dist/auditRunner.d.ts

@@ -3,14 +3,71 @@
  * Main orchestrator for running code audits
  */
 import { AuditResult, AuditRunnerOptions, AnalyzerResult } from './types.js';
+import { type DryPairSeed } from './phase/rules/dry.js';
+/**
+ * Persist seeded DRY pairs into `dry_pair_history` (Spec 13 R5 Phase 1) so the
+ * migrated `dry/diverging-clone` rule can read them through the index handle.
+ * The pairs come from `seedDryPairs` over the phase `code-block` fact (Spec 70
+ * 2b — the writer moved off the legacy DRY visitor). Runs BEFORE the phase
+ * model's `clone-pair-history` read. Advisory — non-fatal on failure.
+ * @param dryPairs The seeded DRY pairs to persist into `dry_pair_history`.
+ * @param root The project root used to open the code-index database handle.
+ * @returns Resolves when the advisory write completes (never rejects).
+ */
+export declare function persistDryPairs(dryPairs: DryPairSeed[], root: string): Promise<void>;
 /**
  * Create an audit runner with the given options
+ *
+ * @param options - Audit runner options (project root, analyzer config, thresholds).
  */
 export declare function createAuditRunner(options?: AuditRunnerOptions): {
     loadConfiguration: (configPath: string) => Promise<AuditRunnerOptions>;
     run: (runOptions?: AuditRunnerOptions) => Promise<AuditResult>;
     generateReport: (result: AuditResult, format: string) => Promise<string>;
 };
+/**
+ * Resolve files scope: paths can be file paths or globs.
+ * Absolute paths are used directly; relative paths are resolved
+ * against the project root; globs use discoverFiles. A direct path whose
+ * extension no analyzer claims (nor a raw/markup extension the pipeline reads
+ * directly) is dropped — see `getSourceExtensions` — so a prose edit never
+ * reaches the pipeline as a "dark analyzer" and trips the zero-files gate.
+ *
+ * @param options - The merged audit-runner options (`projectRoot`, `excludePaths`,
+ *   `fileExtensions`).
+ * @param scopeFiles - Candidate paths or globs to resolve into an absolute file
+ *   set.
+ * @returns The sorted set of absolute paths that are in audit scope.
+ */
+export declare function resolveFilesScope(options: AuditRunnerOptions, scopeFiles: string[]): Promise<string[]>;
+/**
+ * Generate audit summary.
+ *
+ * Exported for the Spec 69 §10 R4 pin: `summary.byAnalyzer[].unprovenSites`
+ * must carry the site-level cannot-fire count per analyzer.
+ *
+ * @param analyzerResults per-analyzer results, keyed by analyzer name
+ * @param filesAnalyzed total number of files processed this run
+ * @param unprovenSitesByAnalyzer per-analyzer count of unproven (cannot-fire) sites
+ */
+export declare function generateSummary(analyzerResults: Record<string, AnalyzerResult>, filesAnalyzed: number, unprovenSitesByAnalyzer?: ReadonlyMap<string, number>): {
+    totalFiles: number;
+    totalViolations: number;
+    criticalIssues: number;
+    severe: number;
+    high: number;
+    violationsByCategory: Record<string, number>;
+    byAnalyzer: Record<string, {
+        violations: number;
+        filesProcessed: number;
+        fatalErrors: number;
+        unprovenSites: number;
+    }>;
+    topIssues: {
+        type: string;
+        count: number;
+    }[];
+};
 export interface DiagnosticWarning {
     analyzerName: string;
     kind: 'no-result' | 'zero-files';
@@ -24,8 +81,14 @@ export interface DiagnosticWarning {
  *
  * Pass 2: Every analyzer with a result entry but filesProcessed === 0 and no
  * errors fires a warning — the analyzer ran but matched zero source files.
+ *
+ * @param analyzers - Names of the enabled analyzers to check against the results.
+ * @param analyzerResults - Map of analyzer name to its audit result.
+ * @param totalFiles - Total files processed; a zero total suppresses the warning as expected.
+ * @param hasGoFiles - Whether the corpus contained `.go` files (false excuses a skipped `go` analyzer).
+ * @returns Diagnostic warnings for analyzers that produced no result or matched zero files.
  */
-export declare function runZeroFilesDiagnostics(enabledAnalyzers: string[], analyzerResults: Record<string, AnalyzerResult>, totalFiles?: number, hasGoFiles?: boolean): DiagnosticWarning[];
+export declare function runZeroFilesDiagnostics(analyzers: string[], analyzerResults: Record<string, AnalyzerResult>, totalFiles?: number, hasGoFiles?: boolean): DiagnosticWarning[];
 /**
  * Run audit with default runner (convenience function)
  */

package/dist/auditRunner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"auditRunner.d.ts","sourceRoot":"","sources":["../src/auditRunner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAMH,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,cAAc,EAUf,MAAM,YAAY,CAAC;AA0EpB;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,GAAE,kBAAuB;oCAQnB,MAAM,KAAG,OAAO,CAAC,kBAAkB,CAAC;uBAQjD,kBAAkB,KAAG,OAAO,CAAC,WAAW,CAAC;6BAwqC1B,WAAW,UAAU,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;EAS7F;AAmTD,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,WAAW,GAAG,YAAY,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CACrC,gBAAgB,EAAE,MAAM,EAAE,EAC1B,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,OAAO,GACnB,iBAAiB,EAAE,CAgDrB;AAED;;GAEG;AACH,wBAAsB,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC,CAGjF;AAED,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"auditRunner.d.ts","sourceRoot":"","sources":["../src/auditRunner.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,cAAc,EAoBf,MAAM,YAAY,CAAC;AAkDpB,OAAO,EAAoC,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAgjC1F;;;;;;;;;GASG;AACH,wBAAsB,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA4B1F;AAyoBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,GAAE,kBAAuB;oCAInB,MAAM,KAAG,OAAO,CAAC,kBAAkB,CAAC;uBAQjD,kBAAkB,KAAG,OAAO,CAAC,WAAW,CAAC;6BAiK1B,WAAW,UAAU,MAAM,KAAG,OAAO,CAAC,MAAM,CAAC;EAS7F;AAoGD;;;;;;;;;;;;;GAaG;AACH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAAE,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsCnB;AAMD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,aAAa,EAAE,MAAM,EACrB,uBAAuB,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa;;;;;;;;oBAOjB,MAAM;wBAAkB,MAAM;qBAAe,MAAM;uBAAiB,MAAM;;;;;;EAgD1H;AA2FD,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,WAAW,GAAG,YAAY,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,MAAM,EAAE,EACnB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC/C,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,OAAO,GACnB,iBAAiB,EAAE,CAoDrB;AAED;;GAEG;AACH,wBAAsB,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC,CAGjF;AAED,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}