@behavioral-contracts/verify-cli 1.0.0 → 1.2.0

package/dist/suppressions/matcher.js

@@ -0,0 +1,163 @@
+/**
+ * Suppression Matcher
+ *
+ * Combines inline comments and config rules to check if violations are suppressed
+ */
+import * as path from 'path';
+import { getSuppressionForLine, suppressionMatches } from './parser.js';
+import { loadConfigSync, findMatchingRules } from './config-loader.js';
+import { loadManifestSync, saveManifestSync, createSuppression, upsertSuppression } from './manifest.js';
+/**
+ * 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 function checkSuppression(options) {
+    const { projectRoot, sourceFile, line, column, packageName, postconditionId, analyzerVersion, updateManifest = true } = options;
+    // Get relative file path from project root
+    const absoluteFilePath = sourceFile.fileName;
+    const relativeFilePath = path.relative(projectRoot, absoluteFilePath);
+    // Check inline comment suppression
+    const inlineSuppress = getSuppressionForLine(sourceFile, line);
+    if (inlineSuppress && suppressionMatches(inlineSuppress, packageName, postconditionId)) {
+        // Suppressed by inline comment
+        if (updateManifest) {
+            updateManifestWithSuppression({
+                projectRoot,
+                file: relativeFilePath,
+                line,
+                column,
+                packageName,
+                postconditionId,
+                reason: inlineSuppress.reason,
+                suppressedBy: 'inline-comment',
+                analyzerVersion
+            });
+        }
+        return {
+            suppressed: true,
+            source: 'inline-comment',
+            originalSource: inlineSuppress
+        };
+    }
+    // Check config file suppression
+    const config = loadConfigSync(projectRoot);
+    const matchingRules = findMatchingRules(config, relativeFilePath, packageName, postconditionId);
+    if (matchingRules.length > 0) {
+        // Suppressed by config file
+        const rule = matchingRules[0]; // Use first matching rule
+        if (updateManifest) {
+            updateManifestWithSuppression({
+                projectRoot,
+                file: relativeFilePath,
+                line,
+                column,
+                packageName,
+                postconditionId,
+                reason: rule.reason,
+                suppressedBy: 'config-file',
+                analyzerVersion
+            });
+        }
+        return {
+            suppressed: true,
+            matchedSuppression: rule,
+            source: 'config-file',
+            originalSource: rule
+        };
+    }
+    // Not suppressed
+    return {
+        suppressed: false
+    };
+}
+/**
+ * Update manifest with suppression metadata
+ *
+ * Creates or updates a suppression entry in the manifest.
+ *
+ * @param options - Suppression options
+ */
+function updateManifestWithSuppression(options) {
+    try {
+        const manifest = loadManifestSync(options.projectRoot);
+        const suppression = createSuppression({
+            file: options.file,
+            line: options.line,
+            column: options.column,
+            packageName: options.packageName,
+            postconditionId: options.postconditionId,
+            reason: options.reason,
+            suppressedBy: options.suppressedBy,
+            analyzerVersion: options.analyzerVersion
+        });
+        // Update last checked time
+        suppression.lastChecked = new Date().toISOString();
+        suppression.stillViolates = true; // Confirmed to still violate
+        upsertSuppression(manifest, suppression);
+        saveManifestSync(manifest);
+    }
+    catch (error) {
+        // Don't fail the analysis if manifest update fails
+        console.warn(`Warning: Failed to update suppression manifest: ${error instanceof Error ? error.message : String(error)}`);
+    }
+}
+/**
+ * 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 function batchCheckSuppressions(violations, projectRoot, analyzerVersion) {
+    const results = new Map();
+    for (const violation of violations) {
+        const result = checkSuppression({
+            projectRoot,
+            sourceFile: violation.sourceFile,
+            line: violation.line,
+            column: violation.column,
+            packageName: violation.packageName,
+            postconditionId: violation.postconditionId,
+            analyzerVersion,
+            updateManifest: true
+        });
+        results.set(violation.id, result);
+    }
+    return results;
+}
+/**
+ * Get suppression statistics
+ *
+ * @param projectRoot - Project root directory
+ * @returns Statistics object
+ */
+export function getSuppressionStats(projectRoot) {
+    const manifest = loadManifestSync(projectRoot);
+    const active = manifest.suppressions.filter(s => s.stillViolates);
+    const dead = manifest.suppressions.filter(s => !s.stillViolates);
+    const bySource = {
+        inlineComment: manifest.suppressions.filter(s => s.suppressedBy === 'inline-comment').length,
+        configFile: manifest.suppressions.filter(s => s.suppressedBy === 'config-file').length,
+        aiAgent: manifest.suppressions.filter(s => s.suppressedBy === 'ai-agent').length,
+        cli: manifest.suppressions.filter(s => s.suppressedBy === 'cli').length
+    };
+    const byPackage = new Map();
+    manifest.suppressions.forEach(s => {
+        const count = byPackage.get(s.package) || 0;
+        byPackage.set(s.package, count + 1);
+    });
+    return {
+        totalSuppressions: manifest.suppressions.length,
+        activeSuppressions: active.length,
+        deadSuppressions: dead.length,
+        bySource,
+        byPackage
+    };
+}
+//# sourceMappingURL=matcher.js.map

package/dist/suppressions/matcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matcher.js","sourceRoot":"","sources":["../../src/suppressions/matcher.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAgCzG;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgC;IAC/D,MAAM,EACJ,WAAW,EACX,UAAU,EACV,IAAI,EACJ,MAAM,EACN,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,GAAG,IAAI,EACtB,GAAG,OAAO,CAAC;IAEZ,2CAA2C;IAC3C,MAAM,gBAAgB,GAAG,UAAU,CAAC,QAAQ,CAAC;IAC7C,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;IAEtE,mCAAmC;IACnC,MAAM,cAAc,GAAG,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAE/D,IAAI,cAAc,IAAI,kBAAkB,CAAC,cAAc,EAAE,WAAW,EAAE,eAAe,CAAC,EAAE,CAAC;QACvF,+BAA+B;QAC/B,IAAI,cAAc,EAAE,CAAC;YACnB,6BAA6B,CAAC;gBAC5B,WAAW;gBACX,IAAI,EAAE,gBAAgB;gBACtB,IAAI;gBACJ,MAAM;gBACN,WAAW;gBACX,eAAe;gBACf,MAAM,EAAE,cAAc,CAAC,MAAM;gBAC7B,YAAY,EAAE,gBAAgB;gBAC9B,eAAe;aAChB,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,gBAAgB;YACxB,cAAc,EAAE,cAAc;SAC/B,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,iBAAiB,CACrC,MAAM,EACN,gBAAgB,EAChB,WAAW,EACX,eAAe,CAChB,CAAC;IAEF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,4BAA4B;QAC5B,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B;QAEzD,IAAI,cAAc,EAAE,CAAC;YACnB,6BAA6B,CAAC;gBAC5B,WAAW;gBACX,IAAI,EAAE,gBAAgB;gBACtB,IAAI;gBACJ,MAAM;gBACN,WAAW;gBACX,eAAe;gBACf,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,YAAY,EAAE,aAAa;gBAC3B,eAAe;aAChB,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,kBAAkB,EAAE,IAAI;YACxB,MAAM,EAAE,aAAa;YACrB,cAAc,EAAE,IAAI;SACrB,CAAC;IACJ,CAAC;IAED,iBAAiB;IACjB,OAAO;QACL,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,6BAA6B,CAAC,OAUtC;IACC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAEvD,MAAM,WAAW,GAAG,iBAAiB,CAAC;YACpC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC,CAAC,CAAC;QAEH,2BAA2B;QAC3B,WAAW,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACnD,WAAW,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC,6BAA6B;QAE/D,iBAAiB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACzC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,mDAAmD;QACnD,OAAO,CAAC,IAAI,CACV,mDAAmD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC5G,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAOE,EACF,WAAmB,EACnB,eAAuB;IAEvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE1D,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC;YAC9B,WAAW;YACX,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,eAAe,EAAE,SAAS,CAAC,eAAe;YAC1C,eAAe;YACf,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IAYrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IAEjE,MAAM,QAAQ,GAAG;QACf,aAAa,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,gBAAgB,CAAC,CAAC,MAAM;QAC5F,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,aAAa,CAAC,CAAC,MAAM;QACtF,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC,MAAM;QAChF,GAAG,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,MAAM;KACxE,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAChC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,iBAAiB,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM;QAC/C,kBAAkB,EAAE,MAAM,CAAC,MAAM;QACjC,gBAAgB,EAAE,IAAI,CAAC,MAAM;QAC7B,QAAQ;QACR,SAAS;KACV,CAAC;AACJ,CAAC"}

package/dist/suppressions/parser.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Inline Comment Parser
+ *
+ * Parses @behavioral-contract-ignore comments from TypeScript source files.
+ */
+import * as ts from 'typescript';
+import { InlineSuppressionComment } from './types.js';
+/**
+ * Parse all inline suppression comments from a TypeScript source file
+ *
+ * @param sourceFile - TypeScript source file
+ * @returns Array of parsed suppression comments
+ */
+export declare function parseInlineSuppressions(sourceFile: ts.SourceFile): InlineSuppressionComment[];
+/**
+ * Check if a specific line has a suppression comment
+ *
+ * @param sourceFile - TypeScript source file
+ * @param targetLine - Line number to check (1-indexed)
+ * @returns Suppression comment if found, undefined otherwise
+ */
+export declare function getSuppressionForLine(sourceFile: ts.SourceFile, targetLine: number): InlineSuppressionComment | undefined;
+/**
+ * Check if a suppression comment applies to a specific violation
+ *
+ * @param suppression - Parsed suppression comment
+ * @param packageName - Package name from violation
+ * @param postconditionId - Postcondition ID from violation
+ * @returns True if suppression applies
+ */
+export declare function suppressionMatches(suppression: InlineSuppressionComment, packageName: string, postconditionId: string): boolean;
+/**
+ * Validate suppression comment format
+ *
+ * @param comment - Comment text to validate
+ * @returns Validation result
+ */
+export declare function validateSuppressionComment(comment: string): {
+    valid: boolean;
+    error?: string;
+};
+/**
+ * Generate a suppression comment string
+ *
+ * @param packageName - Package name
+ * @param postconditionId - Postcondition ID
+ * @param reason - Human-readable reason
+ * @returns Formatted comment string
+ */
+export declare function generateSuppressionComment(packageName: string, postconditionId: string, reason: string): string;
+/**
+ * Extract all comments from a TypeScript node
+ *
+ * @param node - TypeScript AST node
+ * @param sourceFile - Source file containing the node
+ * @returns Array of comment texts
+ */
+export declare function getNodeComments(node: ts.Node, sourceFile: ts.SourceFile): string[];
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/suppressions/parser.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AActD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,wBAAwB,EAAE,CA+B5B;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,UAAU,EAAE,MAAM,GACjB,wBAAwB,GAAG,SAAS,CAKtC;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,wBAAwB,EACrC,WAAW,EAAE,MAAM,EACnB,eAAe,EAAE,MAAM,GACtB,OAAO,CAYT;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG;IAC3D,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAqCA;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,MAAM,EACnB,eAAe,EAAE,MAAM,EACvB,MAAM,EAAE,MAAM,GACb,MAAM,CAER;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,MAAM,EAAE,CA+BV"}

package/dist/suppressions/parser.js

@@ -0,0 +1,156 @@
+/**
+ * Inline Comment Parser
+ *
+ * Parses @behavioral-contract-ignore comments from TypeScript source files.
+ */
+import * as ts from 'typescript';
+/**
+ * Regular expression for matching suppression comments
+ *
+ * Format: @behavioral-contract-ignore <package>/<postcondition-id>: <reason>
+ *
+ * Examples:
+ *   @behavioral-contract-ignore axios/network-failure: Global error handler
+ *   @behavioral-contract-ignore STAR/timeout-not-set: Timeout set globally (use * for STAR)
+ *   @behavioral-contract-ignore prisma/STAR: Framework handles all errors (use * for STAR)
+ */
+const SUPPRESSION_COMMENT_REGEX = /@behavioral-contract-ignore\s+([\w@/-]+|\*)\/([\w-]+|\*):\s*(.+)/i;
+/**
+ * Parse all inline suppression comments from a TypeScript source file
+ *
+ * @param sourceFile - TypeScript source file
+ * @returns Array of parsed suppression comments
+ */
+export function parseInlineSuppressions(sourceFile) {
+    const suppressions = [];
+    const sourceText = sourceFile.getFullText();
+    const lines = sourceText.split('\n');
+    lines.forEach((line, index) => {
+        const trimmed = line.trim();
+        // Check if line is a comment
+        if (!trimmed.startsWith('//')) {
+            return;
+        }
+        // Try to match suppression format
+        const match = trimmed.match(SUPPRESSION_COMMENT_REGEX);
+        if (!match) {
+            return;
+        }
+        const [, packagePattern, postconditionPattern, reason] = match;
+        suppressions.push({
+            line: index + 1, // Convert to 1-indexed
+            package: packagePattern.trim(),
+            postconditionId: postconditionPattern.trim(),
+            reason: reason.trim(),
+            originalComment: trimmed
+        });
+    });
+    return suppressions;
+}
+/**
+ * Check if a specific line has a suppression comment
+ *
+ * @param sourceFile - TypeScript source file
+ * @param targetLine - Line number to check (1-indexed)
+ * @returns Suppression comment if found, undefined otherwise
+ */
+export function getSuppressionForLine(sourceFile, targetLine) {
+    const suppressions = parseInlineSuppressions(sourceFile);
+    // Check the line before target (comment usually precedes code)
+    return suppressions.find(s => s.line === targetLine - 1 || s.line === targetLine);
+}
+/**
+ * Check if a suppression comment applies to a specific violation
+ *
+ * @param suppression - Parsed suppression comment
+ * @param packageName - Package name from violation
+ * @param postconditionId - Postcondition ID from violation
+ * @returns True if suppression applies
+ */
+export function suppressionMatches(suppression, packageName, postconditionId) {
+    // Check package match (supports wildcards)
+    const packageMatches = suppression.package === '*' ||
+        suppression.package === packageName;
+    // Check postcondition match (supports wildcards)
+    const postconditionMatches = suppression.postconditionId === '*' ||
+        suppression.postconditionId === postconditionId;
+    return packageMatches && postconditionMatches;
+}
+/**
+ * Validate suppression comment format
+ *
+ * @param comment - Comment text to validate
+ * @returns Validation result
+ */
+export function validateSuppressionComment(comment) {
+    const match = comment.match(SUPPRESSION_COMMENT_REGEX);
+    if (!match) {
+        return {
+            valid: false,
+            error: 'Invalid format. Expected: @behavioral-contract-ignore <package>/<postcondition-id>: <reason>'
+        };
+    }
+    const [, packagePattern, postconditionPattern, reason] = match;
+    // Validate reason is not empty
+    if (!reason || reason.trim().length === 0) {
+        return {
+            valid: false,
+            error: 'Reason is required. Provide explanation after colon (:)'
+        };
+    }
+    // Validate reason is meaningful (at least 10 characters)
+    if (reason.trim().length < 10) {
+        return {
+            valid: false,
+            error: 'Reason must be at least 10 characters. Provide meaningful explanation.'
+        };
+    }
+    // Warn about overly broad wildcards
+    if (packagePattern === '*' && postconditionPattern === '*') {
+        return {
+            valid: true, // Still valid, but warn
+            error: 'Warning: */* suppresses ALL violations. Use specific patterns when possible.'
+        };
+    }
+    return { valid: true };
+}
+/**
+ * Generate a suppression comment string
+ *
+ * @param packageName - Package name
+ * @param postconditionId - Postcondition ID
+ * @param reason - Human-readable reason
+ * @returns Formatted comment string
+ */
+export function generateSuppressionComment(packageName, postconditionId, reason) {
+    return `// @behavioral-contract-ignore ${packageName}/${postconditionId}: ${reason}`;
+}
+/**
+ * Extract all comments from a TypeScript node
+ *
+ * @param node - TypeScript AST node
+ * @param sourceFile - Source file containing the node
+ * @returns Array of comment texts
+ */
+export function getNodeComments(node, sourceFile) {
+    const comments = [];
+    const sourceText = sourceFile.getFullText();
+    // Get leading comments
+    const leadingComments = ts.getLeadingCommentRanges(sourceText, node.getFullStart());
+    if (leadingComments) {
+        leadingComments.forEach(comment => {
+            const text = sourceText.substring(comment.pos, comment.end);
+            comments.push(text);
+        });
+    }
+    // Get trailing comments
+    const trailingComments = ts.getTrailingCommentRanges(sourceText, node.getEnd());
+    if (trailingComments) {
+        trailingComments.forEach(comment => {
+            const text = sourceText.substring(comment.pos, comment.end);
+            comments.push(text);
+        });
+    }
+    return comments;
+}
+//# sourceMappingURL=parser.js.map

package/dist/suppressions/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/suppressions/parser.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;;;;;;;;GASG;AACH,MAAM,yBAAyB,GAAG,mEAAmE,CAAC;AAEtG;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,UAAyB;IAEzB,MAAM,YAAY,GAA+B,EAAE,CAAC;IACpD,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAErC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAE5B,6BAA6B;QAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO;QACT,CAAC;QAED,kCAAkC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QAED,MAAM,CAAC,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC;QAE/D,YAAY,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,uBAAuB;YACxC,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE;YAC9B,eAAe,EAAE,oBAAoB,CAAC,IAAI,EAAE;YAC5C,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;YACrB,eAAe,EAAE,OAAO;SACzB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAyB,EACzB,UAAkB;IAElB,MAAM,YAAY,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IAEzD,+DAA+D;IAC/D,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,WAAqC,EACrC,WAAmB,EACnB,eAAuB;IAEvB,2CAA2C;IAC3C,MAAM,cAAc,GAClB,WAAW,CAAC,OAAO,KAAK,GAAG;QAC3B,WAAW,CAAC,OAAO,KAAK,WAAW,CAAC;IAEtC,iDAAiD;IACjD,MAAM,oBAAoB,GACxB,WAAW,CAAC,eAAe,KAAK,GAAG;QACnC,WAAW,CAAC,eAAe,KAAK,eAAe,CAAC;IAElD,OAAO,cAAc,IAAI,oBAAoB,CAAC;AAChD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,OAAe;IAIxD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAEvD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,8FAA8F;SACtG,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC;IAE/D,+BAA+B;IAC/B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,yDAAyD;SACjE,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC9B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,wEAAwE;SAChF,CAAC;IACJ,CAAC;IAED,oCAAoC;IACpC,IAAI,cAAc,KAAK,GAAG,IAAI,oBAAoB,KAAK,GAAG,EAAE,CAAC;QAC3D,OAAO;YACL,KAAK,EAAE,IAAI,EAAE,wBAAwB;YACrC,KAAK,EAAE,8EAA8E;SACtF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,WAAmB,EACnB,eAAuB,EACvB,MAAc;IAEd,OAAO,kCAAkC,WAAW,IAAI,eAAe,KAAK,MAAM,EAAE,CAAC;AACvF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAa,EACb,UAAyB;IAEzB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAE5C,uBAAuB;IACvB,MAAM,eAAe,GAAG,EAAE,CAAC,uBAAuB,CAChD,UAAU,EACV,IAAI,CAAC,YAAY,EAAE,CACpB,CAAC;IAEF,IAAI,eAAe,EAAE,CAAC;QACpB,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAChC,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,wBAAwB;IACxB,MAAM,gBAAgB,GAAG,EAAE,CAAC,wBAAwB,CAClD,UAAU,EACV,IAAI,CAAC,MAAM,EAAE,CACd,CAAC;IAEF,IAAI,gBAAgB,EAAE,CAAC;QACrB,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YACjC,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/suppressions/types.d.ts

@@ -0,0 +1,121 @@
+/**
+ * Suppression System Types
+ *
+ * Defines data structures for suppressing false positive violations
+ * and tracking dead suppressions when the analyzer improves.
+ */
+/**
+ * A single suppression entry
+ */
+export interface Suppression {
+    /** Unique identifier: "suppress-{file}-{line}-{hash}" */
+    id: string;
+    /** Relative path from project root */
+    file: string;
+    /** Line number (1-indexed) */
+    line: number;
+    /** Optional column number (1-indexed) */
+    column?: number;
+    /** Package name (e.g., "axios") */
+    package: string;
+    /** Postcondition ID (e.g., "network-failure") */
+    postconditionId: string;
+    /** Human-readable reason for suppression */
+    reason: string;
+    /** ISO 8601 timestamp when suppression was created */
+    suppressedAt: string;
+    /** How the suppression was created */
+    suppressedBy: 'inline-comment' | 'config-file' | 'ai-agent' | 'cli';
+    /** ISO 8601 timestamp when last checked */
+    lastChecked: string;
+    /** Does this location still violate the contract? */
+    stillViolates: boolean;
+    /** Analyzer version that created this suppression */
+    analyzerVersion: string;
+}
+/**
+ * Manifest file tracking all suppressions
+ */
+export interface SuppressionManifest {
+    /** Schema version */
+    version: string;
+    /** Absolute path to project root */
+    projectRoot: string;
+    /** ISO 8601 timestamp of last update */
+    lastUpdated: string;
+    /** All suppressions */
+    suppressions: Suppression[];
+}
+/**
+ * Configuration file structure (.behavioralcontractsrc.json)
+ */
+export interface BehavioralContractsConfig {
+    /** Suppression rules */
+    ignore?: IgnoreRule[];
+    /** Other config options */
+    [key: string]: any;
+}
+/**
+ * A single ignore rule from config file
+ */
+export interface IgnoreRule {
+    /** Glob pattern for files (e.g., "src/test/**") */
+    file?: string;
+    /** Package name to ignore */
+    package?: string;
+    /** Specific postcondition ID */
+    postconditionId?: string;
+    /** Required reason for suppression */
+    reason: string;
+}
+/**
+ * Result of parsing an inline suppression comment
+ */
+export interface InlineSuppressionComment {
+    /** Line number where comment appears */
+    line: number;
+    /** Package name (or "*" for wildcard) */
+    package: string;
+    /** Postcondition ID (or "*" for wildcard) */
+    postconditionId: string;
+    /** Human-readable reason */
+    reason: string;
+    /** Full comment text */
+    originalComment: string;
+}
+/**
+ * A dead suppression that can be removed
+ */
+export interface DeadSuppression {
+    /** The suppression that is no longer needed */
+    suppression: Suppression;
+    /** Analyzer version where it was fixed */
+    improvedInVersion: string;
+    /** Original analyzer version that needed suppression */
+    originalVersion: string;
+    /** Why the suppression is no longer needed */
+    improvementReason?: string;
+}
+/**
+ * Options for suppression matching
+ */
+export interface SuppressionMatchOptions {
+    /** Enable wildcard matching */
+    allowWildcards?: boolean;
+    /** Case-insensitive matching */
+    caseInsensitive?: boolean;
+}
+/**
+ * Result of checking if a violation is suppressed
+ */
+export interface SuppressionCheckResult {
+    /** Is this violation suppressed? */
+    suppressed: boolean;
+    /** The suppression that matched (if any) */
+    matchedSuppression?: Suppression | IgnoreRule;
+    /** How it was suppressed */
+    source?: 'inline-comment' | 'config-file';
+    /** Original comment or rule */
+    originalSource?: any;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/suppressions/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,yDAAyD;IACzD,EAAE,EAAE,MAAM,CAAC;IAEX,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IAEb,8BAA8B;IAC9B,IAAI,EAAE,MAAM,CAAC;IAEb,yCAAyC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,mCAAmC;IACnC,OAAO,EAAE,MAAM,CAAC;IAEhB,iDAAiD;IACjD,eAAe,EAAE,MAAM,CAAC;IAExB,4CAA4C;IAC5C,MAAM,EAAE,MAAM,CAAC;IAEf,sDAAsD;IACtD,YAAY,EAAE,MAAM,CAAC;IAErB,sCAAsC;IACtC,YAAY,EAAE,gBAAgB,GAAG,aAAa,GAAG,UAAU,GAAG,KAAK,CAAC;IAEpE,2CAA2C;IAC3C,WAAW,EAAE,MAAM,CAAC;IAEpB,qDAAqD;IACrD,aAAa,EAAE,OAAO,CAAC;IAEvB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,qBAAqB;IACrB,OAAO,EAAE,MAAM,CAAC;IAEhB,oCAAoC;IACpC,WAAW,EAAE,MAAM,CAAC;IAEpB,wCAAwC;IACxC,WAAW,EAAE,MAAM,CAAC;IAEpB,uBAAuB;IACvB,YAAY,EAAE,WAAW,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,wBAAwB;IACxB,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC;IAEtB,2BAA2B;IAC3B,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,mDAAmD;IACnD,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,6BAA6B;IAC7B,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,gCAAgC;IAChC,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IAEb,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAEhB,6CAA6C;IAC7C,eAAe,EAAE,MAAM,CAAC;IAExB,4BAA4B;IAC5B,MAAM,EAAE,MAAM,CAAC;IAEf,wBAAwB;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,+CAA+C;IAC/C,WAAW,EAAE,WAAW,CAAC;IAEzB,0CAA0C;IAC1C,iBAAiB,EAAE,MAAM,CAAC;IAE1B,wDAAwD;IACxD,eAAe,EAAE,MAAM,CAAC;IAExB,8CAA8C;IAC9C,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,+BAA+B;IAC/B,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB,gCAAgC;IAChC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,oCAAoC;IACpC,UAAU,EAAE,OAAO,CAAC;IAEpB,4CAA4C;IAC5C,kBAAkB,CAAC,EAAE,WAAW,GAAG,UAAU,CAAC;IAE9C,4BAA4B;IAC5B,MAAM,CAAC,EAAE,gBAAgB,GAAG,aAAa,CAAC;IAE1C,+BAA+B;IAC/B,cAAc,CAAC,EAAE,GAAG,CAAC;CACtB"}

package/dist/suppressions/types.js

@@ -0,0 +1,8 @@
+/**
+ * Suppression System Types
+ *
+ * Defines data structures for suppressing false positive violations
+ * and tracking dead suppressions when the analyzer improves.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/suppressions/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/suppressions/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@behavioral-contracts/verify-cli",
-  "version": "1.0.0",
+  "version": "1.2.0",
   "description": "CLI tool for verifying TypeScript code against behavioral contracts",
   "type": "module",
   "main": "dist/index.js",
@@ -22,7 +22,9 @@
     "test:fixtures:watch": "vitest fixture-regression",
     "test:fixtures:generate": "node scripts/generate-expected-outputs.js",
     "lint": "eslint src --ext .ts",
-    "clean": "rm -rf dist"
+    "clean": "rm -rf dist",
+    "verify": "node dist/index.js --tsconfig ./tsconfig.json --corpus ../corpus",
+    "verify:self": "npm run build && npm run verify"
   },
   "keywords": [
     "typescript",