@behavioral-contracts/verify-cli 1.0.0

package/dist/package-discovery.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Package Discovery Module
+ *
+ * Scans a project to discover all packages used, check which have contracts,
+ * and provide coverage statistics.
+ */
+import { PackageDiscoveryResult, PackageContract } from './types.js';
+export declare class PackageDiscovery {
+    private corpusContracts;
+    private pathAliases;
+    constructor(corpusContracts: Map<string, PackageContract>);
+    /**
+     * Discover all packages used in a project
+     */
+    discoverPackages(projectRoot: string, tsconfigPath: string): Promise<PackageDiscoveryResult>;
+    /**
+     * Read dependencies from package.json
+     */
+    private readPackageJson;
+    /**
+     * Scan TypeScript source files for import statements
+     */
+    private scanImports;
+    /**
+     * Extract path aliases from tsconfig to filter them out
+     *
+     * Examples:
+     * - "@/*" -> "@"
+     * - "@/components/*" -> "@/components"
+     * - "~/*" -> "~"
+     */
+    private extractPathAliases;
+    /**
+     * Extract import statements from a TypeScript source file
+     */
+    private extractImportsFromFile;
+    /**
+     * Extract the package name from an import path
+     *
+     * Examples:
+     * - 'axios' -> 'axios'
+     * - '@prisma/client' -> '@prisma/client'
+     * - 'axios/lib/core' -> 'axios'
+     * - './local' -> null
+     * - '../relative' -> null
+     * - '@/components' -> null (path alias)
+     */
+    private extractPackageName;
+    /**
+     * Merge packages from package.json and actual imports
+     */
+    private mergePackages;
+    /**
+     * Check which packages have contracts in the corpus
+     */
+    private checkContracts;
+    /**
+     * Generate a coverage report
+     */
+    generateCoverageReport(discovery: PackageDiscoveryResult): string;
+}
+//# sourceMappingURL=package-discovery.d.ts.map

package/dist/package-discovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-discovery.d.ts","sourceRoot":"","sources":["../src/package-discovery.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,EAAqB,sBAAsB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAExF,qBAAa,gBAAgB;IAIzB,OAAO,CAAC,eAAe;IAHzB,OAAO,CAAC,WAAW,CAA0B;gBAGnC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC;IAGvD;;OAEG;IACG,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAyBlG;;OAEG;YACW,eAAe;IAqB7B;;OAEG;YACW,WAAW;IAgCzB;;;;;;;OAOG;IACH,OAAO,CAAC,kBAAkB;IA2B1B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA4C9B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,kBAAkB;IAqC1B;;OAEG;IACH,OAAO,CAAC,aAAa;IAkCrB;;OAEG;IACH,OAAO,CAAC,cAAc;IA6BtB;;OAEG;IACH,sBAAsB,CAAC,SAAS,EAAE,sBAAsB,GAAG,MAAM;CAyClE"}

package/dist/package-discovery.js

@@ -0,0 +1,299 @@
+/**
+ * Package Discovery Module
+ *
+ * Scans a project to discover all packages used, check which have contracts,
+ * and provide coverage statistics.
+ */
+import * as fs from 'fs/promises';
+import * as path from 'path';
+import * as ts from 'typescript';
+export class PackageDiscovery {
+    corpusContracts;
+    pathAliases = new Set();
+    constructor(corpusContracts) {
+        this.corpusContracts = corpusContracts;
+    }
+    /**
+     * Discover all packages used in a project
+     */
+    async discoverPackages(projectRoot, tsconfigPath) {
+        // Step 1: Read package.json dependencies
+        const packageJsonDeps = await this.readPackageJson(projectRoot);
+        // Step 2: Scan source files for actual imports
+        const importedPackages = await this.scanImports(tsconfigPath);
+        // Step 3: Merge and dedupe
+        const allPackages = this.mergePackages(packageJsonDeps, importedPackages);
+        // Step 4: Check which have contracts
+        const packagesWithContracts = this.checkContracts(allPackages);
+        // Step 5: Calculate statistics
+        const withContracts = packagesWithContracts.filter(p => p.hasContract).length;
+        const withoutContracts = packagesWithContracts.length - withContracts;
+        return {
+            total: packagesWithContracts.length,
+            withContracts,
+            withoutContracts,
+            packages: packagesWithContracts,
+        };
+    }
+    /**
+     * Read dependencies from package.json
+     */
+    async readPackageJson(projectRoot) {
+        const packages = new Map();
+        try {
+            const packageJsonPath = path.join(projectRoot, 'package.json');
+            const content = await fs.readFile(packageJsonPath, 'utf-8');
+            const packageJson = JSON.parse(content);
+            // Collect dependencies and devDependencies
+            const deps = { ...packageJson.dependencies, ...packageJson.devDependencies };
+            for (const [name, version] of Object.entries(deps)) {
+                packages.set(name, { version: version });
+            }
+        }
+        catch (error) {
+            console.warn('Could not read package.json:', error);
+        }
+        return packages;
+    }
+    /**
+     * Scan TypeScript source files for import statements
+     */
+    async scanImports(tsconfigPath) {
+        const imports = new Map(); // packageName -> Set<fileName>
+        try {
+            // Load tsconfig
+            const configFile = ts.readConfigFile(tsconfigPath, ts.sys.readFile);
+            const parsedConfig = ts.parseJsonConfigFileContent(configFile.config, ts.sys, path.dirname(tsconfigPath));
+            // Extract path aliases to filter them out
+            this.extractPathAliases(configFile.config, tsconfigPath);
+            // Create program
+            const program = ts.createProgram(parsedConfig.fileNames, parsedConfig.options);
+            // Scan each source file
+            for (const sourceFile of program.getSourceFiles()) {
+                if (sourceFile.isDeclarationFile)
+                    continue;
+                if (sourceFile.fileName.includes('node_modules'))
+                    continue;
+                this.extractImportsFromFile(sourceFile, imports);
+            }
+        }
+        catch (error) {
+            console.warn('Could not scan imports:', error);
+        }
+        return imports;
+    }
+    /**
+     * Extract path aliases from tsconfig to filter them out
+     *
+     * Examples:
+     * - "@/*" -> "@"
+     * - "@/components/*" -> "@/components"
+     * - "~/*" -> "~"
+     */
+    extractPathAliases(config, tsconfigPath) {
+        this.pathAliases.clear();
+        // Check current config
+        const paths = config.compilerOptions?.paths;
+        if (paths) {
+            for (const alias of Object.keys(paths)) {
+                // Extract the base alias (remove /* suffix)
+                const baseAlias = alias.replace(/\/\*$/, '');
+                this.pathAliases.add(baseAlias);
+            }
+        }
+        // Check extends (recursively load parent tsconfig)
+        if (config.extends) {
+            try {
+                const extendsPath = path.resolve(path.dirname(tsconfigPath), config.extends);
+                const parentConfig = ts.readConfigFile(extendsPath, ts.sys.readFile);
+                if (parentConfig.config) {
+                    this.extractPathAliases(parentConfig.config, extendsPath);
+                }
+            }
+            catch {
+                // Ignore errors loading parent config
+            }
+        }
+    }
+    /**
+     * Extract import statements from a TypeScript source file
+     */
+    extractImportsFromFile(sourceFile, imports) {
+        const visit = (node) => {
+            // Handle: import { x } from 'package'
+            if (ts.isImportDeclaration(node)) {
+                const moduleSpecifier = node.moduleSpecifier;
+                if (ts.isStringLiteral(moduleSpecifier)) {
+                    const packageName = this.extractPackageName(moduleSpecifier.text);
+                    if (packageName) {
+                        if (!imports.has(packageName)) {
+                            imports.set(packageName, new Set());
+                        }
+                        imports.get(packageName).add(sourceFile.fileName);
+                    }
+                }
+            }
+            // Handle: require('package')
+            if (ts.isCallExpression(node)) {
+                if (node.expression.kind === ts.SyntaxKind.Identifier) {
+                    const identifier = node.expression;
+                    if (identifier.text === 'require' && node.arguments.length > 0) {
+                        const arg = node.arguments[0];
+                        if (ts.isStringLiteral(arg)) {
+                            const packageName = this.extractPackageName(arg.text);
+                            if (packageName) {
+                                if (!imports.has(packageName)) {
+                                    imports.set(packageName, new Set());
+                                }
+                                imports.get(packageName).add(sourceFile.fileName);
+                            }
+                        }
+                    }
+                }
+            }
+            ts.forEachChild(node, visit);
+        };
+        visit(sourceFile);
+    }
+    /**
+     * Extract the package name from an import path
+     *
+     * Examples:
+     * - 'axios' -> 'axios'
+     * - '@prisma/client' -> '@prisma/client'
+     * - 'axios/lib/core' -> 'axios'
+     * - './local' -> null
+     * - '../relative' -> null
+     * - '@/components' -> null (path alias)
+     */
+    extractPackageName(importPath) {
+        // Ignore relative imports
+        if (importPath.startsWith('.')) {
+            return null;
+        }
+        // Ignore path aliases (e.g., @/*, ~/* from tsconfig.json)
+        for (const alias of this.pathAliases) {
+            if (importPath === alias || importPath.startsWith(alias + '/')) {
+                return null;
+            }
+        }
+        // Ignore Node.js built-ins
+        const builtins = [
+            'fs', 'path', 'crypto', 'http', 'https', 'os', 'util', 'events',
+            'stream', 'buffer', 'child_process', 'url', 'querystring', 'net',
+            'zlib', 'assert', 'readline', 'process', 'fs/promises'
+        ];
+        if (builtins.includes(importPath)) {
+            return null;
+        }
+        // Handle scoped packages: @scope/package or @scope/package/subpath
+        if (importPath.startsWith('@')) {
+            const parts = importPath.split('/');
+            if (parts.length >= 2) {
+                return `${parts[0]}/${parts[1]}`;
+            }
+            return null;
+        }
+        // Handle regular packages: package or package/subpath
+        const parts = importPath.split('/');
+        return parts[0];
+    }
+    /**
+     * Merge packages from package.json and actual imports
+     */
+    mergePackages(packageJsonDeps, importedPackages) {
+        const merged = new Map();
+        // Add all package.json dependencies
+        for (const [name, { version }] of packageJsonDeps) {
+            merged.set(name, {
+                version,
+                source: 'package.json',
+                usedIn: [],
+            });
+        }
+        // Add/update with actual imports
+        for (const [name, files] of importedPackages) {
+            if (merged.has(name)) {
+                const existing = merged.get(name);
+                existing.source = 'both';
+                existing.usedIn = Array.from(files);
+            }
+            else {
+                // Package is imported but not in package.json (might be transitive)
+                merged.set(name, {
+                    version: 'unknown',
+                    source: 'import',
+                    usedIn: Array.from(files),
+                });
+            }
+        }
+        return merged;
+    }
+    /**
+     * Check which packages have contracts in the corpus
+     */
+    checkContracts(packages) {
+        const result = [];
+        for (const [name, { version, source, usedIn }] of packages) {
+            const contract = this.corpusContracts.get(name);
+            result.push({
+                name,
+                version,
+                source,
+                hasContract: contract !== undefined,
+                contractVersion: contract?.contract_version,
+                usedIn,
+            });
+        }
+        // Sort by: contracts first, then alphabetically
+        result.sort((a, b) => {
+            if (a.hasContract !== b.hasContract) {
+                return a.hasContract ? -1 : 1;
+            }
+            return a.name.localeCompare(b.name);
+        });
+        return result;
+    }
+    /**
+     * Generate a coverage report
+     */
+    generateCoverageReport(discovery) {
+        const lines = [];
+        const coveragePercent = discovery.total > 0
+            ? ((discovery.withContracts / discovery.total) * 100).toFixed(1)
+            : '0.0';
+        lines.push('');
+        lines.push('════════════════════════════════════════════════════════════════');
+        lines.push('Package Discovery & Coverage');
+        lines.push('════════════════════════════════════════════════════════════════');
+        lines.push('');
+        lines.push(`Total packages: ${discovery.total}`);
+        lines.push(`Packages with contracts: ${discovery.withContracts} (${coveragePercent}%)`);
+        lines.push(`Packages without contracts: ${discovery.withoutContracts}`);
+        lines.push('');
+        if (discovery.withContracts > 0) {
+            lines.push('✓ Packages with contracts:');
+            for (const pkg of discovery.packages.filter(p => p.hasContract)) {
+                lines.push(`  ${pkg.name}@${pkg.version} (contract v${pkg.contractVersion})`);
+            }
+            lines.push('');
+        }
+        if (discovery.withoutContracts > 0 && discovery.withoutContracts <= 20) {
+            lines.push('⚠ Packages without contracts:');
+            for (const pkg of discovery.packages.filter(p => !p.hasContract)) {
+                lines.push(`  ${pkg.name}@${pkg.version}`);
+            }
+            lines.push('');
+        }
+        else if (discovery.withoutContracts > 20) {
+            lines.push(`⚠ ${discovery.withoutContracts} packages without contracts (showing top 20):`);
+            for (const pkg of discovery.packages.filter(p => !p.hasContract).slice(0, 20)) {
+                lines.push(`  ${pkg.name}@${pkg.version}`);
+            }
+            lines.push(`  ... and ${discovery.withoutContracts - 20} more`);
+            lines.push('');
+        }
+        return lines.join('\n');
+    }
+}
+//# sourceMappingURL=package-discovery.js.map

package/dist/package-discovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-discovery.js","sourceRoot":"","sources":["../src/package-discovery.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,aAAa,CAAC;AAClC,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,MAAM,OAAO,gBAAgB;IAIjB;IAHF,WAAW,GAAgB,IAAI,GAAG,EAAE,CAAC;IAE7C,YACU,eAA6C;QAA7C,oBAAe,GAAf,eAAe,CAA8B;IACpD,CAAC;IAEJ;;OAEG;IACH,KAAK,CAAC,gBAAgB,CAAC,WAAmB,EAAE,YAAoB;QAC9D,yCAAyC;QACzC,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAEhE,+CAA+C;QAC/C,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QAE9D,2BAA2B;QAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC;QAE1E,qCAAqC;QACrC,MAAM,qBAAqB,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;QAE/D,+BAA+B;QAC/B,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;QAC9E,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,GAAG,aAAa,CAAC;QAEtE,OAAO;YACL,KAAK,EAAE,qBAAqB,CAAC,MAAM;YACnC,aAAa;YACb,gBAAgB;YAChB,QAAQ,EAAE,qBAAqB;SAChC,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CAAC,WAAmB;QAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAC;QAExD,IAAI,CAAC;YACH,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;YAC5D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAExC,2CAA2C;YAC3C,MAAM,IAAI,GAAG,EAAE,GAAG,WAAW,CAAC,YAAY,EAAE,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC;YAE7E,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAiB,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,WAAW,CAAC,YAAoB;QAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC,CAAC,+BAA+B;QAE/E,IAAI,CAAC;YACH,gBAAgB;YAChB,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpE,MAAM,YAAY,GAAG,EAAE,CAAC,0BAA0B,CAChD,UAAU,CAAC,MAAM,EACjB,EAAE,CAAC,GAAG,EACN,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAC3B,CAAC;YAEF,0CAA0C;YAC1C,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAEzD,iBAAiB;YACjB,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;YAE/E,wBAAwB;YACxB,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;gBAClD,IAAI,UAAU,CAAC,iBAAiB;oBAAE,SAAS;gBAC3C,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;oBAAE,SAAS;gBAE3D,IAAI,CAAC,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;OAOG;IACK,kBAAkB,CAAC,MAAW,EAAE,YAAoB;QAC1D,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QAEzB,uBAAuB;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC;QAC5C,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvC,4CAA4C;gBAC5C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7E,MAAM,YAAY,GAAG,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrE,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;oBACxB,IAAI,CAAC,kBAAkB,CAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,sCAAsC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,sBAAsB,CAC5B,UAAyB,EACzB,OAAiC;QAEjC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,sCAAsC;YACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC;gBAC7C,IAAI,EAAE,CAAC,eAAe,CAAC,eAAe,CAAC,EAAE,CAAC;oBACxC,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;oBAClE,IAAI,WAAW,EAAE,CAAC;wBAChB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;4BAC9B,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;wBACtC,CAAC;wBACD,OAAO,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;oBACrD,CAAC;gBACH,CAAC;YACH,CAAC;YAED,6BAA6B;YAC7B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;oBACtD,MAAM,UAAU,GAAG,IAAI,CAAC,UAA2B,CAAC;oBACpD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;wBAC9B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC5B,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;4BACtD,IAAI,WAAW,EAAE,CAAC;gCAChB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;oCAC9B,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gCACtC,CAAC;gCACD,OAAO,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;4BACrD,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IACpB,CAAC;IAED;;;;;;;;;;OAUG;IACK,kBAAkB,CAAC,UAAkB;QAC3C,0BAA0B;QAC1B,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0DAA0D;QAC1D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,UAAU,KAAK,KAAK,IAAI,UAAU,CAAC,UAAU,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC;gBAC/D,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,MAAM,QAAQ,GAAG;YACf,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ;YAC/D,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK;YAChE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa;SACvD,CAAC;QACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,mEAAmE;QACnE,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,sDAAsD;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,aAAa,CACnB,eAAiD,EACjD,gBAA0C;QAE1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QAEzB,oCAAoC;QACpC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,eAAe,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;gBACf,OAAO;gBACP,MAAM,EAAE,cAAuB;gBAC/B,MAAM,EAAE,EAAE;aACX,CAAC,CAAC;QACL,CAAC;QAED,iCAAiC;QACjC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,gBAAgB,EAAE,CAAC;YAC7C,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClC,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;gBACzB,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,oEAAoE;gBACpE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;oBACf,OAAO,EAAE,SAAS;oBAClB,MAAM,EAAE,QAAiB;oBACzB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,cAAc,CACpB,QAAwG;QAExG,MAAM,MAAM,GAAwB,EAAE,CAAC;QAEvC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEhD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,OAAO;gBACP,MAAM;gBACN,WAAW,EAAE,QAAQ,KAAK,SAAS;gBACnC,eAAe,EAAE,QAAQ,EAAE,gBAAgB;gBAC3C,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QAED,gDAAgD;QAChD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnB,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBACpC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,sBAAsB,CAAC,SAAiC;QACtD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,eAAe,GAAG,SAAS,CAAC,KAAK,GAAG,CAAC;YACzC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YAChE,CAAC,CAAC,KAAK,CAAC;QAEV,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,CAAC,aAAa,KAAK,eAAe,IAAI,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,+BAA+B,SAAS,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,IAAI,SAAS,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBAChE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,eAAe,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC;YAChF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,SAAS,CAAC,gBAAgB,GAAG,CAAC,IAAI,SAAS,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBACjE,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YAC7C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;aAAM,IAAI,SAAS,CAAC,gBAAgB,GAAG,EAAE,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,gBAAgB,+CAA+C,CAAC,CAAC;YAC3F,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBAC9E,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YAC7C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,gBAAgB,GAAG,EAAE,OAAO,CAAC,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF"}

package/dist/reporter.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Reporter - generates audit records and terminal output
+ */
+import type { AuditRecord, Violation, EnhancedAuditRecord, PackageDiscoveryResult } from './types.js';
+/**
+ * Enriches violations with code snippets
+ */
+export declare function enrichViolationsWithSnippets(violations: Violation[]): Promise<Violation[]>;
+/**
+ * Generates an audit record from violations
+ */
+export declare function generateAuditRecord(violations: Violation[], config: {
+    tsconfigPath: string;
+    packagesAnalyzed: string[];
+    contractsApplied: number;
+    filesAnalyzed: number;
+    corpusVersion: string;
+}): Promise<AuditRecord>;
+/**
+ * Writes audit record to JSON file
+ */
+export declare function writeAuditRecord(record: AuditRecord, outputPath: string): void;
+/**
+ * Prints violations to terminal in human-readable format
+ */
+export declare function printTerminalReport(record: AuditRecord): void;
+/**
+ * Prints corpus loading errors
+ */
+export declare function printCorpusErrors(errors: string[]): void;
+/**
+ * Generates an enhanced audit record with package discovery
+ */
+export declare function generateEnhancedAuditRecord(baseRecord: AuditRecord, packageDiscovery: PackageDiscoveryResult): EnhancedAuditRecord;
+/**
+ * Prints package discovery report
+ */
+export declare function printPackageDiscoveryReport(discovery: PackageDiscoveryResult): void;
+/**
+ * Prints enhanced terminal report with violations grouped by package
+ */
+export declare function printEnhancedTerminalReport(record: EnhancedAuditRecord): void;
+//# sourceMappingURL=reporter.d.ts.map

package/dist/reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporter.d.ts","sourceRoot":"","sources":["../src/reporter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAuB,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAM3H;;GAEG;AACH,wBAAsB,4BAA4B,CAChD,UAAU,EAAE,SAAS,EAAE,GACtB,OAAO,CAAC,SAAS,EAAE,CAAC,CAiBtB;AAED;;GAEG;AACH,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,SAAS,EAAE,EACvB,MAAM,EAAE;IACN,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;CACvB,GACA,OAAO,CAAC,WAAW,CAAC,CAsBtB;AAyCD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAG9E;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CA0D7D;AA8ED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAMxD;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,WAAW,EACvB,gBAAgB,EAAE,sBAAsB,GACvC,mBAAmB,CAmCrB;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,sBAAsB,GAAG,IAAI,CAkCnF;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CA2D7E"}