@behavioral-contracts/verify-cli 1.0.0 → 1.2.0

package/dist/suppressions/dead-suppression-detector.js

@@ -0,0 +1,101 @@
+/**
+ * Dead Suppression Detector
+ *
+ * Detects suppressions that are no longer needed because the analyzer has improved.
+ */
+import { loadManifestSync, saveManifestSync } from './manifest.js';
+/**
+ * Detect dead suppressions in the manifest
+ *
+ * A dead suppression is one where stillViolates is false,
+ * meaning the analyzer no longer flags this location.
+ *
+ * @param projectRoot - Project root directory
+ * @param currentVersion - Current analyzer version
+ * @returns Array of dead suppressions
+ */
+export function detectDeadSuppressions(projectRoot, currentVersion) {
+    const manifest = loadManifestSync(projectRoot);
+    const deadSuppressions = [];
+    for (const suppression of manifest.suppressions) {
+        if (!suppression.stillViolates) {
+            deadSuppressions.push({
+                suppression,
+                improvedInVersion: currentVersion,
+                originalVersion: suppression.analyzerVersion,
+                improvementReason: `Analyzer ${currentVersion} no longer flags this pattern`
+            });
+        }
+    }
+    return deadSuppressions;
+}
+/**
+ * Remove dead suppressions from manifest
+ *
+ * @param projectRoot - Project root directory
+ * @returns Number of dead suppressions removed
+ */
+export function removeDeadSuppressionsFromManifest(projectRoot) {
+    const manifest = loadManifestSync(projectRoot);
+    const beforeCount = manifest.suppressions.length;
+    manifest.suppressions = manifest.suppressions.filter(s => s.stillViolates);
+    saveManifestSync(manifest);
+    return beforeCount - manifest.suppressions.length;
+}
+/**
+ * Get dead suppression summary
+ *
+ * @param deadSuppressions - Array of dead suppressions
+ * @returns Summary object
+ */
+export function getDeadSuppressionSummary(deadSuppressions) {
+    const byPackage = new Map();
+    const byFile = new Map();
+    let oldestDate = null;
+    let newestDate = null;
+    for (const dead of deadSuppressions) {
+        // Count by package
+        const packageCount = byPackage.get(dead.suppression.package) || 0;
+        byPackage.set(dead.suppression.package, packageCount + 1);
+        // Count by file
+        const fileCount = byFile.get(dead.suppression.file) || 0;
+        byFile.set(dead.suppression.file, fileCount + 1);
+        // Track dates
+        const suppressedAt = new Date(dead.suppression.suppressedAt);
+        if (!oldestDate || suppressedAt < oldestDate) {
+            oldestDate = suppressedAt;
+        }
+        if (!newestDate || suppressedAt > newestDate) {
+            newestDate = suppressedAt;
+        }
+    }
+    return {
+        totalDead: deadSuppressions.length,
+        byPackage,
+        byFile,
+        oldestSuppression: oldestDate,
+        newestSuppression: newestDate
+    };
+}
+/**
+ * Format dead suppression for display
+ *
+ * @param dead - Dead suppression
+ * @returns Formatted string
+ */
+export function formatDeadSuppression(dead) {
+    const s = dead.suppression;
+    const daysAgo = Math.floor((Date.now() - new Date(s.suppressedAt).getTime()) / (1000 * 60 * 60 * 24));
+    return [
+        `├─ ${s.file}:${s.line}`,
+        `│  Package: ${s.package}`,
+        `│  Postcondition: ${s.postconditionId}`,
+        `│  Suppressed: ${new Date(s.suppressedAt).toISOString().split('T')[0]} (${daysAgo} days ago)`,
+        `│  Analyzer: ${dead.originalVersion} → ${dead.improvedInVersion}`,
+        `│`,
+        `│  Why improved: ${dead.improvementReason || 'Analyzer no longer flags this pattern'}`,
+        `│  Action: Remove @behavioral-contract-ignore comment at line ${s.line}`,
+        `│`
+    ].join('\n');
+}
+//# sourceMappingURL=dead-suppression-detector.js.map

package/dist/suppressions/dead-suppression-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dead-suppression-detector.js","sourceRoot":"","sources":["../../src/suppressions/dead-suppression-detector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAGnE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,WAAmB,EACnB,cAAsB;IAEtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,gBAAgB,GAAsB,EAAE,CAAC;IAE/C,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;YAC/B,gBAAgB,CAAC,IAAI,CAAC;gBACpB,WAAW;gBACX,iBAAiB,EAAE,cAAc;gBACjC,eAAe,EAAE,WAAW,CAAC,eAAe;gBAC5C,iBAAiB,EAAE,YAAY,cAAc,+BAA+B;aAC7E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAChD,WAAmB;IAEnB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC;IAEjD,QAAQ,CAAC,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IAE3E,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAE3B,OAAO,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,gBAAmC;IAO3E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,IAAI,UAAU,GAAgB,IAAI,CAAC;IACnC,IAAI,UAAU,GAAgB,IAAI,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,mBAAmB;QACnB,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;QAE1D,gBAAgB;QAChB,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;QAEjD,cAAc;QACd,MAAM,YAAY,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QAC7D,IAAI,CAAC,UAAU,IAAI,YAAY,GAAG,UAAU,EAAE,CAAC;YAC7C,UAAU,GAAG,YAAY,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,UAAU,IAAI,YAAY,GAAG,UAAU,EAAE,CAAC;YAC7C,UAAU,GAAG,YAAY,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,MAAM;QAClC,SAAS;QACT,MAAM;QACN,iBAAiB,EAAE,UAAU;QAC7B,iBAAiB,EAAE,UAAU;KAC9B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAqB;IACzD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CACxB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAC1E,CAAC;IAEF,OAAO;QACL,MAAM,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;QACxB,eAAe,CAAC,CAAC,OAAO,EAAE;QAC1B,qBAAqB,CAAC,CAAC,eAAe,EAAE;QACxC,kBAAkB,IAAI,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,YAAY;QAC9F,gBAAgB,IAAI,CAAC,eAAe,MAAM,IAAI,CAAC,iBAAiB,EAAE;QAClE,GAAG;QACH,oBAAoB,IAAI,CAAC,iBAAiB,IAAI,uCAAuC,EAAE;QACvF,iEAAiE,CAAC,CAAC,IAAI,EAAE;QACzE,GAAG;KACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/suppressions/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Suppression System
+ *
+ * Public API for suppressing false positive violations and detecting dead suppressions.
+ */
+export * from './types.js';
+export { parseInlineSuppressions, getSuppressionForLine, suppressionMatches, validateSuppressionComment, generateSuppressionComment, getNodeComments } from './parser.js';
+export { loadConfig, loadConfigSync, ruleMatches, findMatchingRules, createDefaultConfig } from './config-loader.js';
+export { loadManifest, loadManifestSync, saveManifest, saveManifestSync, createManifest, upsertSuppression, removeSuppression, findSuppression, generateSuppressionId, createSuppression, getDeadSuppressions, getActiveSuppressions, removeDeadSuppressions } from './manifest.js';
+export { checkSuppression, batchCheckSuppressions, getSuppressionStats } from './matcher.js';
+export { detectDeadSuppressions, removeDeadSuppressionsFromManifest, getDeadSuppressionSummary, formatDeadSuppression } from './dead-suppression-detector.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/suppressions/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,cAAc,YAAY,CAAC;AAG3B,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,EAC1B,0BAA0B,EAC1B,eAAe,EAChB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,UAAU,EACV,cAAc,EACd,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,sBAAsB,EACvB,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,EACpB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,sBAAsB,EACtB,kCAAkC,EAClC,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,gCAAgC,CAAC"}

package/dist/suppressions/index.js

@@ -0,0 +1,18 @@
+/**
+ * Suppression System
+ *
+ * Public API for suppressing false positive violations and detecting dead suppressions.
+ */
+// Types
+export * from './types.js';
+// Inline comment parsing
+export { parseInlineSuppressions, getSuppressionForLine, suppressionMatches, validateSuppressionComment, generateSuppressionComment, getNodeComments } from './parser.js';
+// Config file loading
+export { loadConfig, loadConfigSync, ruleMatches, findMatchingRules, createDefaultConfig } from './config-loader.js';
+// Manifest management
+export { loadManifest, loadManifestSync, saveManifest, saveManifestSync, createManifest, upsertSuppression, removeSuppression, findSuppression, generateSuppressionId, createSuppression, getDeadSuppressions, getActiveSuppressions, removeDeadSuppressions } from './manifest.js';
+// Suppression checking
+export { checkSuppression, batchCheckSuppressions, getSuppressionStats } from './matcher.js';
+// Dead suppression detection
+export { detectDeadSuppressions, removeDeadSuppressionsFromManifest, getDeadSuppressionSummary, formatDeadSuppression } from './dead-suppression-detector.js';
+//# sourceMappingURL=index.js.map

package/dist/suppressions/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/suppressions/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,QAAQ;AACR,cAAc,YAAY,CAAC;AAE3B,yBAAyB;AACzB,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,EAC1B,0BAA0B,EAC1B,eAAe,EAChB,MAAM,aAAa,CAAC;AAErB,sBAAsB;AACtB,OAAO,EACL,UAAU,EACV,cAAc,EACd,WAAW,EACX,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,oBAAoB,CAAC;AAE5B,sBAAsB;AACtB,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACrB,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,sBAAsB,EACvB,MAAM,eAAe,CAAC;AAEvB,uBAAuB;AACvB,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,EACpB,MAAM,cAAc,CAAC;AAEtB,6BAA6B;AAC7B,OAAO,EACL,sBAAsB,EACtB,kCAAkC,EAClC,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,gCAAgC,CAAC"}

package/dist/suppressions/manifest.d.ts

@@ -0,0 +1,114 @@
+/**
+ * Suppression Manifest Management
+ *
+ * Handles loading, saving, and updating .verify-cli/suppressions.json
+ */
+import { Suppression, SuppressionManifest } from './types.js';
+/**
+ * Load suppression manifest from project root
+ *
+ * @param projectRoot - Absolute path to project root
+ * @returns Manifest object (creates new if doesn't exist)
+ */
+export declare function loadManifest(projectRoot: string): Promise<SuppressionManifest>;
+/**
+ * Load manifest synchronously
+ *
+ * @param projectRoot - Absolute path to project root
+ * @returns Manifest object
+ */
+export declare function loadManifestSync(projectRoot: string): SuppressionManifest;
+/**
+ * Save suppression manifest to disk
+ *
+ * @param manifest - Manifest to save
+ */
+export declare function saveManifest(manifest: SuppressionManifest): Promise<void>;
+/**
+ * Save manifest synchronously
+ *
+ * @param manifest - Manifest to save
+ */
+export declare function saveManifestSync(manifest: SuppressionManifest): void;
+/**
+ * Create a new empty manifest
+ *
+ * @param projectRoot - Absolute path to project root
+ * @returns New manifest
+ */
+export declare function createManifest(projectRoot: string): SuppressionManifest;
+/**
+ * Add or update a suppression in the manifest
+ *
+ * @param manifest - Manifest to update
+ * @param suppression - Suppression to add or update
+ * @returns Updated manifest
+ */
+export declare function upsertSuppression(manifest: SuppressionManifest, suppression: Suppression): SuppressionManifest;
+/**
+ * Remove a suppression from the manifest
+ *
+ * @param manifest - Manifest to update
+ * @param suppressionId - ID of suppression to remove
+ * @returns Updated manifest
+ */
+export declare function removeSuppression(manifest: SuppressionManifest, suppressionId: string): SuppressionManifest;
+/**
+ * Find a suppression by location
+ *
+ * @param manifest - Manifest to search
+ * @param file - File path (relative to project root)
+ * @param line - Line number
+ * @param packageName - Package name
+ * @param postconditionId - Postcondition ID
+ * @returns Suppression if found, undefined otherwise
+ */
+export declare function findSuppression(manifest: SuppressionManifest, file: string, line: number, packageName: string, postconditionId: string): Suppression | undefined;
+/**
+ * Generate a unique suppression ID
+ *
+ * @param file - File path
+ * @param line - Line number
+ * @param packageName - Package name
+ * @param postconditionId - Postcondition ID
+ * @returns Unique ID string
+ */
+export declare function generateSuppressionId(file: string, line: number, packageName: string, postconditionId: string): string;
+/**
+ * Create a suppression object
+ *
+ * @param options - Suppression options
+ * @returns Suppression object
+ */
+export declare function createSuppression(options: {
+    file: string;
+    line: number;
+    column?: number;
+    packageName: string;
+    postconditionId: string;
+    reason: string;
+    suppressedBy: Suppression['suppressedBy'];
+    analyzerVersion: string;
+}): Suppression;
+/**
+ * Get all dead suppressions (stillViolates: false)
+ *
+ * @param manifest - Manifest to search
+ * @returns Array of dead suppressions
+ */
+export declare function getDeadSuppressions(manifest: SuppressionManifest): Suppression[];
+/**
+ * Get all active suppressions (stillViolates: true)
+ *
+ * @param manifest - Manifest to search
+ * @returns Array of active suppressions
+ */
+export declare function getActiveSuppressions(manifest: SuppressionManifest): Suppression[];
+/**
+ * Remove all dead suppressions from manifest
+ *
+ * @param manifest - Manifest to clean
+ * @returns Updated manifest
+ */
+export declare function removeDeadSuppressions(manifest: SuppressionManifest): SuppressionManifest;
+//# sourceMappingURL=manifest.d.ts.map

package/dist/suppressions/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/suppressions/manifest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAM9D;;;;;GAKG;AACH,wBAAsB,YAAY,CAChC,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,mBAAmB,CAAC,CAyB9B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,mBAAmB,CAyBzE;AAED;;;;GAIG;AACH,wBAAsB,YAAY,CAAC,QAAQ,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAa/E;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,mBAAmB,GAAG,IAAI,CAapE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,mBAAmB,CAOvE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,mBAAmB,EAC7B,WAAW,EAAE,WAAW,GACvB,mBAAmB,CAYrB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,mBAAmB,EAC7B,aAAa,EAAE,MAAM,GACpB,mBAAmB,CAGrB;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,mBAAmB,EAC7B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,eAAe,EAAE,MAAM,GACtB,WAAW,GAAG,SAAS,CAQzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,eAAe,EAAE,MAAM,GACtB,MAAM,CASR;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;CACzB,GAAG,WAAW,CAwBd;AAwED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,mBAAmB,GAAG,WAAW,EAAE,CAEhF;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,mBAAmB,GAAG,WAAW,EAAE,CAElF;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,mBAAmB,GAAG,mBAAmB,CAGzF"}

package/dist/suppressions/manifest.js

@@ -0,0 +1,281 @@
+/**
+ * Suppression Manifest Management
+ *
+ * Handles loading, saving, and updating .verify-cli/suppressions.json
+ */
+import * as fs from 'fs';
+import * as path from 'path';
+import * as crypto from 'crypto';
+const MANIFEST_DIR = '.verify-cli';
+const MANIFEST_FILENAME = 'suppressions.json';
+const MANIFEST_VERSION = '1.0.0';
+/**
+ * Load suppression manifest from project root
+ *
+ * @param projectRoot - Absolute path to project root
+ * @returns Manifest object (creates new if doesn't exist)
+ */
+export async function loadManifest(projectRoot) {
+    const manifestPath = getManifestPath(projectRoot);
+    if (!fs.existsSync(manifestPath)) {
+        return createManifest(projectRoot);
+    }
+    try {
+        const content = await fs.promises.readFile(manifestPath, 'utf-8');
+        const manifest = JSON.parse(content);
+        // Validate manifest structure
+        validateManifest(manifest);
+        // Migrate if needed
+        if (manifest.version !== MANIFEST_VERSION) {
+            return migrateManifest(manifest, projectRoot);
+        }
+        return manifest;
+    }
+    catch (error) {
+        throw new Error(`Failed to load suppression manifest: ${error instanceof Error ? error.message : String(error)}`);
+    }
+}
+/**
+ * Load manifest synchronously
+ *
+ * @param projectRoot - Absolute path to project root
+ * @returns Manifest object
+ */
+export function loadManifestSync(projectRoot) {
+    const manifestPath = getManifestPath(projectRoot);
+    if (!fs.existsSync(manifestPath)) {
+        return createManifest(projectRoot);
+    }
+    try {
+        const content = fs.readFileSync(manifestPath, 'utf-8');
+        const manifest = JSON.parse(content);
+        // Validate manifest structure
+        validateManifest(manifest);
+        // Migrate if needed
+        if (manifest.version !== MANIFEST_VERSION) {
+            return migrateManifest(manifest, projectRoot);
+        }
+        return manifest;
+    }
+    catch (error) {
+        throw new Error(`Failed to load suppression manifest: ${error instanceof Error ? error.message : String(error)}`);
+    }
+}
+/**
+ * Save suppression manifest to disk
+ *
+ * @param manifest - Manifest to save
+ */
+export async function saveManifest(manifest) {
+    const manifestPath = getManifestPath(manifest.projectRoot);
+    // Ensure directory exists
+    await fs.promises.mkdir(path.dirname(manifestPath), { recursive: true });
+    // Update timestamp
+    manifest.lastUpdated = new Date().toISOString();
+    // Pretty print JSON
+    const content = JSON.stringify(manifest, null, 2);
+    await fs.promises.writeFile(manifestPath, content, 'utf-8');
+}
+/**
+ * Save manifest synchronously
+ *
+ * @param manifest - Manifest to save
+ */
+export function saveManifestSync(manifest) {
+    const manifestPath = getManifestPath(manifest.projectRoot);
+    // Ensure directory exists
+    fs.mkdirSync(path.dirname(manifestPath), { recursive: true });
+    // Update timestamp
+    manifest.lastUpdated = new Date().toISOString();
+    // Pretty print JSON
+    const content = JSON.stringify(manifest, null, 2);
+    fs.writeFileSync(manifestPath, content, 'utf-8');
+}
+/**
+ * Create a new empty manifest
+ *
+ * @param projectRoot - Absolute path to project root
+ * @returns New manifest
+ */
+export function createManifest(projectRoot) {
+    return {
+        version: MANIFEST_VERSION,
+        projectRoot: path.resolve(projectRoot),
+        lastUpdated: new Date().toISOString(),
+        suppressions: []
+    };
+}
+/**
+ * Add or update a suppression in the manifest
+ *
+ * @param manifest - Manifest to update
+ * @param suppression - Suppression to add or update
+ * @returns Updated manifest
+ */
+export function upsertSuppression(manifest, suppression) {
+    const existingIndex = manifest.suppressions.findIndex(s => s.id === suppression.id);
+    if (existingIndex >= 0) {
+        // Update existing suppression
+        manifest.suppressions[existingIndex] = suppression;
+    }
+    else {
+        // Add new suppression
+        manifest.suppressions.push(suppression);
+    }
+    return manifest;
+}
+/**
+ * Remove a suppression from the manifest
+ *
+ * @param manifest - Manifest to update
+ * @param suppressionId - ID of suppression to remove
+ * @returns Updated manifest
+ */
+export function removeSuppression(manifest, suppressionId) {
+    manifest.suppressions = manifest.suppressions.filter(s => s.id !== suppressionId);
+    return manifest;
+}
+/**
+ * Find a suppression by location
+ *
+ * @param manifest - Manifest to search
+ * @param file - File path (relative to project root)
+ * @param line - Line number
+ * @param packageName - Package name
+ * @param postconditionId - Postcondition ID
+ * @returns Suppression if found, undefined otherwise
+ */
+export function findSuppression(manifest, file, line, packageName, postconditionId) {
+    return manifest.suppressions.find(s => s.file === file &&
+        s.line === line &&
+        s.package === packageName &&
+        s.postconditionId === postconditionId);
+}
+/**
+ * Generate a unique suppression ID
+ *
+ * @param file - File path
+ * @param line - Line number
+ * @param packageName - Package name
+ * @param postconditionId - Postcondition ID
+ * @returns Unique ID string
+ */
+export function generateSuppressionId(file, line, packageName, postconditionId) {
+    const data = `${file}:${line}:${packageName}:${postconditionId}`;
+    const hash = crypto
+        .createHash('sha256')
+        .update(data)
+        .digest('hex')
+        .substring(0, 8);
+    return `suppress-${file.replace(/[^a-z0-9]/gi, '-')}-${line}-${hash}`;
+}
+/**
+ * Create a suppression object
+ *
+ * @param options - Suppression options
+ * @returns Suppression object
+ */
+export function createSuppression(options) {
+    const id = generateSuppressionId(options.file, options.line, options.packageName, options.postconditionId);
+    const now = new Date().toISOString();
+    return {
+        id,
+        file: options.file,
+        line: options.line,
+        column: options.column,
+        package: options.packageName,
+        postconditionId: options.postconditionId,
+        reason: options.reason,
+        suppressedAt: now,
+        suppressedBy: options.suppressedBy,
+        lastChecked: now,
+        stillViolates: true,
+        analyzerVersion: options.analyzerVersion
+    };
+}
+/**
+ * Get path to manifest file
+ *
+ * @param projectRoot - Project root directory
+ * @returns Absolute path to manifest file
+ */
+function getManifestPath(projectRoot) {
+    return path.join(projectRoot, MANIFEST_DIR, MANIFEST_FILENAME);
+}
+/**
+ * Validate manifest structure
+ *
+ * @param manifest - Manifest to validate
+ * @throws Error if manifest is invalid
+ */
+function validateManifest(manifest) {
+    if (typeof manifest !== 'object' || manifest === null) {
+        throw new Error('Manifest must be an object');
+    }
+    if (!manifest.version || typeof manifest.version !== 'string') {
+        throw new Error('Manifest must have a version');
+    }
+    if (!manifest.projectRoot || typeof manifest.projectRoot !== 'string') {
+        throw new Error('Manifest must have a projectRoot');
+    }
+    if (!manifest.lastUpdated || typeof manifest.lastUpdated !== 'string') {
+        throw new Error('Manifest must have a lastUpdated timestamp');
+    }
+    if (!Array.isArray(manifest.suppressions)) {
+        throw new Error('Manifest suppressions must be an array');
+    }
+    manifest.suppressions.forEach((s, index) => {
+        if (!s.id || typeof s.id !== 'string') {
+            throw new Error(`Suppression ${index}: Missing or invalid id`);
+        }
+        if (!s.file || typeof s.file !== 'string') {
+            throw new Error(`Suppression ${index}: Missing or invalid file`);
+        }
+        if (typeof s.line !== 'number') {
+            throw new Error(`Suppression ${index}: Missing or invalid line`);
+        }
+    });
+}
+/**
+ * Migrate manifest to current version
+ *
+ * @param oldManifest - Old manifest
+ * @param projectRoot - Project root
+ * @returns Migrated manifest
+ */
+function migrateManifest(oldManifest, projectRoot) {
+    // Currently only one version, but prepare for future migrations
+    const newManifest = createManifest(projectRoot);
+    // Copy suppressions
+    newManifest.suppressions = oldManifest.suppressions || [];
+    return newManifest;
+}
+/**
+ * Get all dead suppressions (stillViolates: false)
+ *
+ * @param manifest - Manifest to search
+ * @returns Array of dead suppressions
+ */
+export function getDeadSuppressions(manifest) {
+    return manifest.suppressions.filter(s => !s.stillViolates);
+}
+/**
+ * Get all active suppressions (stillViolates: true)
+ *
+ * @param manifest - Manifest to search
+ * @returns Array of active suppressions
+ */
+export function getActiveSuppressions(manifest) {
+    return manifest.suppressions.filter(s => s.stillViolates);
+}
+/**
+ * Remove all dead suppressions from manifest
+ *
+ * @param manifest - Manifest to clean
+ * @returns Updated manifest
+ */
+export function removeDeadSuppressions(manifest) {
+    manifest.suppressions = manifest.suppressions.filter(s => s.stillViolates);
+    return manifest;
+}
+//# sourceMappingURL=manifest.js.map

package/dist/suppressions/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/suppressions/manifest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AAGjC,MAAM,YAAY,GAAG,aAAa,CAAC;AACnC,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;AAC9C,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,WAAmB;IAEnB,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAElD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAwB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE1D,8BAA8B;QAC9B,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAE3B,oBAAoB;QACpB,IAAI,QAAQ,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;YAC1C,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,wCAAwC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACjG,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,WAAmB;IAClD,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAElD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,OAAO,cAAc,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAwB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE1D,8BAA8B;QAC9B,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAE3B,oBAAoB;QACpB,IAAI,QAAQ,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;YAC1C,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,wCAAwC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACjG,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,QAA6B;IAC9D,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAE3D,0BAA0B;IAC1B,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzE,mBAAmB;IACnB,QAAQ,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAEhD,oBAAoB;IACpB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAElD,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAA6B;IAC5D,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAE3D,0BAA0B;IAC1B,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE9D,mBAAmB;IACnB,QAAQ,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAEhD,oBAAoB;IACpB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAElD,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACnD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,WAAmB;IAChD,OAAO;QACL,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACtC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAA6B,EAC7B,WAAwB;IAExB,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,CAAC,CAAC;IAEpF,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QACvB,8BAA8B;QAC9B,QAAQ,CAAC,YAAY,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,sBAAsB;QACtB,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAA6B,EAC7B,aAAqB;IAErB,QAAQ,CAAC,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC;IAClF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA6B,EAC7B,IAAY,EACZ,IAAY,EACZ,WAAmB,EACnB,eAAuB;IAEvB,OAAO,QAAQ,CAAC,YAAY,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,CACF,CAAC,CAAC,IAAI,KAAK,IAAI;QACf,CAAC,CAAC,IAAI,KAAK,IAAI;QACf,CAAC,CAAC,OAAO,KAAK,WAAW;QACzB,CAAC,CAAC,eAAe,KAAK,eAAe,CACxC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,IAAY,EACZ,WAAmB,EACnB,eAAuB;IAEvB,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,IAAI,IAAI,WAAW,IAAI,eAAe,EAAE,CAAC;IACjE,MAAM,IAAI,GAAG,MAAM;SAChB,UAAU,CAAC,QAAQ,CAAC;SACpB,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,KAAK,CAAC;SACb,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnB,OAAO,YAAY,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,OASjC;IACC,MAAM,EAAE,GAAG,qBAAqB,CAC9B,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,eAAe,CACxB,CAAC;IAEF,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAErC,OAAO;QACL,EAAE;QACF,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,WAAW;QAC5B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,WAAW,EAAE,GAAG;QAChB,aAAa,EAAE,IAAI;QACnB,eAAe,EAAE,OAAO,CAAC,eAAe;KACzC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,WAAmB;IAC1C,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;AACjE,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,QAA6B;IACrD,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,CAAC;IAED,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACzC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,eAAe,KAAK,yBAAyB,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,eAAe,KAAK,2BAA2B,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,eAAe,KAAK,2BAA2B,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,WAAgC,EAChC,WAAmB;IAEnB,gEAAgE;IAChE,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAEhD,oBAAoB;IACpB,WAAW,CAAC,YAAY,GAAG,WAAW,CAAC,YAAY,IAAI,EAAE,CAAC;IAE1D,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA6B;IAC/D,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAA6B;IACjE,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAA6B;IAClE,QAAQ,CAAC,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IAC3E,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/suppressions/matcher.d.ts

@@ -0,0 +1,73 @@
+/**
+ * Suppression Matcher
+ *
+ * Combines inline comments and config rules to check if violations are suppressed
+ */
+import * as ts from 'typescript';
+import { SuppressionCheckResult } from './types.js';
+/**
+ * Options for checking suppressions
+ */
+export interface CheckSuppressionOptions {
+    /** Project root directory */
+    projectRoot: string;
+    /** TypeScript source file */
+    sourceFile: ts.SourceFile;
+    /** Line number of violation (1-indexed) */
+    line: number;
+    /** Column number of violation (1-indexed) */
+    column?: number;
+    /** Package name */
+    packageName: string;
+    /** Postcondition ID */
+    postconditionId: string;
+    /** Current analyzer version */
+    analyzerVersion: string;
+    /** Update manifest with suppression metadata */
+    updateManifest?: boolean;
+}
+/**
+ * Check if a violation is suppressed
+ *
+ * Checks both inline comments and config file rules.
+ * Optionally updates manifest with metadata.
+ *
+ * @param options - Check options
+ * @returns Suppression check result
+ */
+export declare function checkSuppression(options: CheckSuppressionOptions): SuppressionCheckResult;
+/**
+ * Batch check suppressions for multiple violations
+ *
+ * @param violations - Array of violations to check
+ * @param projectRoot - Project root directory
+ * @param analyzerVersion - Current analyzer version
+ * @returns Map of violation ID to suppression result
+ */
+export declare function batchCheckSuppressions(violations: Array<{
+    id: string;
+    sourceFile: ts.SourceFile;
+    line: number;
+    column?: number;
+    packageName: string;
+    postconditionId: string;
+}>, projectRoot: string, analyzerVersion: string): Map<string, SuppressionCheckResult>;
+/**
+ * Get suppression statistics
+ *
+ * @param projectRoot - Project root directory
+ * @returns Statistics object
+ */
+export declare function getSuppressionStats(projectRoot: string): {
+    totalSuppressions: number;
+    activeSuppressions: number;
+    deadSuppressions: number;
+    bySource: {
+        inlineComment: number;
+        configFile: number;
+        aiAgent: number;
+        cli: number;
+    };
+    byPackage: Map<string, number>;
+};
+//# sourceMappingURL=matcher.d.ts.map

package/dist/suppressions/matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matcher.d.ts","sourceRoot":"","sources":["../../src/suppressions/matcher.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEpD;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IAEpB,6BAA6B;IAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAE1B,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IAEb,6CAA6C;IAC7C,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IAEpB,uBAAuB;IACvB,eAAe,EAAE,MAAM,CAAC;IAExB,+BAA+B;IAC/B,eAAe,EAAE,MAAM,CAAC;IAExB,gDAAgD;IAChD,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,uBAAuB,GAAG,sBAAsB,CAiFzF;AAgDD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,KAAK,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC,EACF,WAAW,EAAE,MAAM,EACnB,eAAe,EAAE,MAAM,GACtB,GAAG,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAmBrC;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG;IACxD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE;QACR,aAAa,EAAE,MAAM,CAAC;QACtB,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;QAChB,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IACF,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChC,CA0BA"}