@vibecheckai/cli 2.5.1

package/dist/reality/no-dead-buttons/static-scanner.js

@@ -0,0 +1,230 @@
+"use strict";
+/**
+ * Static "No Dead UI" Scanner
+ *
+ * Fast static scan (<1s) that blocks obvious deadness before running e2e tests:
+ * - TODO, stub, placeholder, "coming soon" text
+ * - <button disabled> without a real reason
+ * - href="#", onClick={() => {}}, return true handlers
+ * - UI gating without server-side gating
+ * - Empty catch blocks, fake success toasts
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runStaticScan = runStaticScan;
+exports.formatStaticScanResults = formatStaticScanResults;
+const fs_1 = require("fs");
+const path_1 = require("path");
+// Patterns that indicate dead/non-functional UI
+const DEAD_PATTERNS = [
+    // TODO/Stub/Placeholder patterns
+    {
+        regex: /TODO.*button|stub.*button|placeholder.*button|coming.*soon.*button/i,
+        severity: 'error',
+        message: 'TODO/stub/placeholder in button context',
+        suggestion: 'Remove placeholder or implement the functionality',
+    },
+    {
+        regex: /onClick\s*=\s*\{?\s*\(\)\s*=>\s*\{\s*\}\s*\}?/,
+        severity: 'error',
+        message: 'Empty onClick handler',
+        suggestion: 'Add handler implementation or remove the button',
+    },
+    {
+        regex: /onClick\s*=\s*\{?\s*\(\)\s*=>\s*true\s*\}?/,
+        severity: 'error',
+        message: 'onClick handler only returns true (no-op)',
+        suggestion: 'Implement actual handler logic',
+    },
+    // Dead href patterns
+    {
+        regex: /href\s*=\s*["']#["']/,
+        severity: 'error',
+        message: 'href="#" (dead link)',
+        suggestion: 'Use proper route or onClick handler',
+    },
+    {
+        regex: /href\s*=\s*["']javascript:\s*void\(0\)["']/,
+        severity: 'error',
+        message: 'href="javascript:void(0)" (anti-pattern)',
+        suggestion: 'Use onClick handler instead',
+    },
+    // Disabled buttons without reason
+    {
+        regex: /disabled\s*=\s*\{?true\}?\s*\/?>.*(?:TODO|stub|placeholder|coming soon)/i,
+        severity: 'warning',
+        message: 'Disabled button with TODO/placeholder text',
+        suggestion: 'Remove button or implement functionality',
+    },
+    // Empty catch blocks
+    {
+        regex: /catch\s*\([^)]*\)\s*\{\s*\}/,
+        severity: 'error',
+        message: 'Empty catch block (silent failure)',
+        suggestion: 'Add error handling, logging, or user feedback',
+    },
+    {
+        regex: /catch\s*\([^)]*\)\s*\{\s*\/\/.*\s*\}/,
+        severity: 'warning',
+        message: 'Catch block with only comment (effectively empty)',
+        suggestion: 'Add actual error handling',
+    },
+    // Fake success patterns
+    {
+        regex: /toast.*success.*catch|catch.*toast.*success/i,
+        severity: 'error',
+        message: 'Success toast in catch block (fake success)',
+        suggestion: 'Only show success on actual success, show error in catch',
+    },
+    // Conditional handler that becomes undefined
+    {
+        regex: /onClick\s*=\s*\{?\s*(\w+)\s*\??\s*\.\s*(\w+)\s*\}?/,
+        severity: 'warning',
+        message: 'Conditional handler access (may be undefined)',
+        suggestion: 'Ensure handler is always defined or add null check',
+    },
+];
+// File extensions to scan
+const SCANNABLE_EXTENSIONS = ['.tsx', '.ts', '.jsx', '.js'];
+/**
+ * Scan a single file for dead UI patterns
+ */
+function scanFile(filePath) {
+    const patterns = [];
+    if (!(0, fs_1.existsSync)(filePath)) {
+        return patterns;
+    }
+    try {
+        const content = (0, fs_1.readFileSync)(filePath, 'utf-8');
+        const lines = content.split('\n');
+        lines.forEach((line, index) => {
+            DEAD_PATTERNS.forEach(({ regex, severity, message, suggestion }) => {
+                if (regex.test(line)) {
+                    patterns.push({
+                        file: filePath,
+                        line: index + 1,
+                        pattern: line.trim(),
+                        severity,
+                        message,
+                        suggestion,
+                    });
+                }
+            });
+        });
+    }
+    catch (error) {
+        // Skip files that can't be read (binary, permissions, etc.)
+    }
+    return patterns;
+}
+/**
+ * Recursively scan directory for files
+ */
+function scanDirectory(dirPath, excludeDirs = []) {
+    const files = [];
+    const excludeSet = new Set(['node_modules', '.git', 'dist', 'build', '.next', ...excludeDirs]);
+    try {
+        const entries = (0, fs_1.readdirSync)(dirPath);
+        for (const entry of entries) {
+            if (excludeSet.has(entry)) {
+                continue;
+            }
+            const fullPath = (0, path_1.join)(dirPath, entry);
+            const stat = (0, fs_1.statSync)(fullPath);
+            if (stat.isDirectory()) {
+                files.push(...scanDirectory(fullPath, excludeDirs));
+            }
+            else if (stat.isFile()) {
+                const ext = (0, path_1.extname)(entry);
+                if (SCANNABLE_EXTENSIONS.includes(ext)) {
+                    files.push(fullPath);
+                }
+            }
+        }
+    }
+    catch (error) {
+        // Skip directories that can't be read
+    }
+    return files;
+}
+/**
+ * Run static scan on codebase
+ */
+function runStaticScan(projectPath, scanPaths = ['src', 'app', 'components'], excludeDirs = []) {
+    const startTime = Date.now();
+    const allPatterns = [];
+    let scannedFiles = 0;
+    // Default to scanning common UI directories if projectPath is provided
+    const pathsToScan = scanPaths.length > 0
+        ? scanPaths.map(p => (0, path_1.join)(projectPath, p))
+        : [projectPath];
+    pathsToScan.forEach(scanPath => {
+        if ((0, fs_1.existsSync)(scanPath)) {
+            const stat = (0, fs_1.statSync)(scanPath);
+            if (stat.isFile()) {
+                const patterns = scanFile(scanPath);
+                allPatterns.push(...patterns);
+                scannedFiles++;
+            }
+            else if (stat.isDirectory()) {
+                const files = scanDirectory(scanPath, excludeDirs);
+                files.forEach(file => {
+                    const patterns = scanFile(file);
+                    allPatterns.push(...patterns);
+                    scannedFiles++;
+                });
+            }
+        }
+    });
+    const errors = allPatterns.filter(p => p.severity === 'error');
+    const warnings = allPatterns.filter(p => p.severity === 'warning');
+    const passed = errors.length === 0;
+    return {
+        passed,
+        errors,
+        warnings,
+        scannedFiles,
+        duration: Date.now() - startTime,
+    };
+}
+/**
+ * Format scan results for console output
+ */
+function formatStaticScanResults(result) {
+    const lines = [];
+    lines.push(`Scanned ${result.scannedFiles} files in ${result.duration}ms`);
+    lines.push('');
+    if (result.errors.length === 0 && result.warnings.length === 0) {
+        lines.push('✓ No dead UI patterns found');
+        return lines.join('\n');
+    }
+    if (result.errors.length > 0) {
+        lines.push(`✗ ${result.errors.length} error(s):`);
+        lines.push('');
+        result.errors.forEach((error, index) => {
+            lines.push(`  ${index + 1}. ${error.file}:${error.line}`);
+            lines.push(`     ${error.message}`);
+            lines.push(`     Pattern: ${error.pattern.substring(0, 80)}...`);
+            if (error.suggestion) {
+                lines.push(`     → ${error.suggestion}`);
+            }
+            lines.push('');
+        });
+    }
+    if (result.warnings.length > 0) {
+        lines.push(`⚠ ${result.warnings.length} warning(s):`);
+        lines.push('');
+        result.warnings.slice(0, 10).forEach((warning, index) => {
+            lines.push(`  ${index + 1}. ${warning.file}:${warning.line}`);
+            lines.push(`     ${warning.message}`);
+            if (warning.suggestion) {
+                lines.push(`     → ${warning.suggestion}`);
+            }
+            lines.push('');
+        });
+        if (result.warnings.length > 10) {
+            lines.push(`  ... and ${result.warnings.length - 10} more warnings`);
+        }
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=static-scanner.js.map

package/dist/reality/no-dead-buttons/static-scanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"static-scanner.js","sourceRoot":"","sources":["../../../src/reality/no-dead-buttons/static-scanner.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AA4KH,sCA4CC;AAKD,0DA0CC;AArQD,2BAAqE;AACrE,+BAAqC;AAmBrC,gDAAgD;AAChD,MAAM,aAAa,GAKd;IACH,iCAAiC;IACjC;QACE,KAAK,EAAE,qEAAqE;QAC5E,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yCAAyC;QAClD,UAAU,EAAE,mDAAmD;KAChE;IACD;QACE,KAAK,EAAE,+CAA+C;QACtD,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uBAAuB;QAChC,UAAU,EAAE,iDAAiD;KAC9D;IACD;QACE,KAAK,EAAE,4CAA4C;QACnD,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2CAA2C;QACpD,UAAU,EAAE,gCAAgC;KAC7C;IACD,qBAAqB;IACrB;QACE,KAAK,EAAE,sBAAsB;QAC7B,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sBAAsB;QAC/B,UAAU,EAAE,qCAAqC;KAClD;IACD;QACE,KAAK,EAAE,4CAA4C;QACnD,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0CAA0C;QACnD,UAAU,EAAE,6BAA6B;KAC1C;IACD,kCAAkC;IAClC;QACE,KAAK,EAAE,0EAA0E;QACjF,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,4CAA4C;QACrD,UAAU,EAAE,0CAA0C;KACvD;IACD,qBAAqB;IACrB;QACE,KAAK,EAAE,6BAA6B;QACpC,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,UAAU,EAAE,+CAA+C;KAC5D;IACD;QACE,KAAK,EAAE,sCAAsC;QAC7C,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,mDAAmD;QAC5D,UAAU,EAAE,2BAA2B;KACxC;IACD,wBAAwB;IACxB;QACE,KAAK,EAAE,8CAA8C;QACrD,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,0DAA0D;KACvE;IACD,6CAA6C;IAC7C;QACE,KAAK,EAAE,oDAAoD;QAC3D,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,+CAA+C;QACxD,UAAU,EAAE,oDAAoD;KACjE;CACF,CAAC;AAEF,0BAA0B;AAC1B,MAAM,oBAAoB,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAE5D;;GAEG;AACH,SAAS,QAAQ,CAAC,QAAgB;IAChC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,CAAC,IAAA,eAAU,EAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAElC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC5B,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE;gBACjE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,KAAK,GAAG,CAAC;wBACf,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE;wBACpB,QAAQ;wBACR,OAAO;wBACP,UAAU;qBACX,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,4DAA4D;IAC9D,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,OAAe,EAAE,cAAwB,EAAE;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC;IAE/F,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAA,gBAAW,EAAC,OAAO,CAAC,CAAC;QAErC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,SAAS;YACX,CAAC;YAED,MAAM,QAAQ,GAAG,IAAA,WAAI,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAA,aAAQ,EAAC,QAAQ,CAAC,CAAC;YAEhC,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;YACtD,CAAC;iBAAM,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,IAAA,cAAO,EAAC,KAAK,CAAC,CAAC;gBAC3B,IAAI,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,sCAAsC;IACxC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAC3B,WAAmB,EACnB,YAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,EAClD,cAAwB,EAAE;IAE1B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,uEAAuE;IACvE,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC;QACtC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,WAAI,EAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAElB,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QAC7B,IAAI,IAAA,eAAU,EAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAA,aAAQ,EAAC,QAAQ,CAAC,CAAC;YAEhC,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;gBAClB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBACpC,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;gBAC9B,YAAY,EAAE,CAAC;YACjB,CAAC;iBAAM,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;gBACnD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;oBACnB,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAChC,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;oBAC9B,YAAY,EAAE,CAAC;gBACjB,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAEnC,OAAO;QACL,MAAM;QACN,MAAM;QACN,QAAQ;QACR,YAAY;QACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;KACjC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,MAAwB;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,YAAY,aAAa,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,YAAY,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACrC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACjE,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,cAAc,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YACtD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,QAAQ,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YACtC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,UAAU,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;YAC7C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,gBAAgB,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/reality/reality-graph.d.ts

@@ -0,0 +1,192 @@
+/**
+ * Reality Graph - Evidence-Based Dependency + Behavior Graph
+ *
+ * Nodes: files, routes, handlers, DB tables, external APIs, permissions, secrets, feature flags
+ * Edges: "this route calls this handler", "this handler writes this table", "this flow hits this external API"
+ *
+ * Each edge gets a "proof score" based on observed execution + static certainty.
+ *
+ * Enables queries like:
+ * - "These 3 endpoints exist but were never executed in any proof run."
+ * - "This permission check is declared but not enforced on write paths."
+ * - "This feature flag guards UI but not API."
+ */
+export type NodeType = 'file' | 'route' | 'handler' | 'db_table' | 'external_api' | 'permission' | 'secret' | 'feature_flag' | 'middleware' | 'service';
+export type EdgeType = 'calls' | 'writes' | 'reads' | 'requires' | 'guards' | 'uses' | 'imports' | 'depends_on';
+export type ProofScore = {
+    static: number;
+    observed: number;
+    combined: number;
+    evidence: string[];
+};
+export interface RealityNode {
+    id: string;
+    type: NodeType;
+    label: string;
+    metadata: {
+        file?: string;
+        line?: number;
+        route?: string;
+        method?: string;
+        table?: string;
+        api?: string;
+        permission?: string;
+        secret?: string;
+        flag?: string;
+        [key: string]: any;
+    };
+    proofScore: ProofScore;
+    discoveredAt: string;
+    lastSeenAt?: string;
+}
+export interface RealityEdge {
+    id: string;
+    source: string;
+    target: string;
+    type: EdgeType;
+    label: string;
+    proofScore: ProofScore;
+    metadata: {
+        file?: string;
+        line?: number;
+        static?: boolean;
+        observed?: boolean;
+        [key: string]: any;
+    };
+    discoveredAt: string;
+    lastSeenAt?: string;
+}
+export interface RealityGraph {
+    nodes: Map<string, RealityNode>;
+    edges: Map<string, RealityEdge>;
+    snapshots: Array<{
+        timestamp: string;
+        nodeCount: number;
+        edgeCount: number;
+    }>;
+}
+export declare class RealityGraphBuilder {
+    private graph;
+    private projectPath;
+    constructor(projectPath: string);
+    /**
+     * Add a node to the graph
+     */
+    addNode(node: Omit<RealityNode, 'discoveredAt'>): void;
+    /**
+     * Add an edge to the graph
+     */
+    addEdge(sourceId: string, targetId: string, type: EdgeType, label: string, proofScore?: Partial<ProofScore>, metadata?: Record<string, any>): void;
+    /**
+     * Discover nodes from static analysis
+     */
+    discoverStaticNodes(): void;
+    /**
+     * Update graph from runtime traces
+     */
+    updateFromRuntimeTraces(traces: {
+        requests?: Array<{
+            method: string;
+            url: string;
+            statusCode: number;
+            timestamp: string;
+            duration: number;
+        }>;
+        routes?: Array<{
+            path: string;
+            method: string;
+            hit: boolean;
+            timestamp: string;
+        }>;
+        dbQueries?: Array<{
+            query: string;
+            duration: number;
+            timestamp: string;
+            table?: string;
+        }>;
+    }): void;
+    /**
+     * Discover routes from framework files
+     */
+    private discoverRoutes;
+    /**
+     * Discover Next.js routes
+     */
+    private discoverNextRoutes;
+    /**
+     * Discover Express/Fastify routes
+     */
+    private discoverExpressRoutes;
+    /**
+     * Discover handlers from route files
+     */
+    private discoverHandlers;
+    /**
+     * Discover database tables from Prisma schema
+     */
+    private discoverDatabaseTables;
+    /**
+     * Discover external APIs from code
+     */
+    private discoverExternalAPIs;
+    /**
+     * Discover permissions from code
+     */
+    private discoverPermissions;
+    /**
+     * Discover secrets from code
+     */
+    private discoverSecrets;
+    /**
+     * Discover feature flags from code
+     */
+    private discoverFeatureFlags;
+    /**
+     * Query: Find nodes that exist but were never executed
+     */
+    findUnexecutedNodes(): RealityNode[];
+    /**
+     * Query: Find routes that exist but were never hit
+     */
+    findUnhitRoutes(): RealityNode[];
+    /**
+     * Query: Find permission checks that are declared but not enforced
+     */
+    findUnguardedWritePaths(): Array<{
+        route: RealityNode;
+        permission: RealityNode;
+    }>;
+    /**
+     * Query: Find feature flags that guard UI but not API
+     */
+    findIncompleteFeatureFlags(): Array<{
+        flag: RealityNode;
+        uiGuarded: boolean;
+        apiGuarded: boolean;
+    }>;
+    /**
+     * Get the graph
+     */
+    getGraph(): RealityGraph;
+    /**
+     * Export graph to JSON
+     */
+    export(): string;
+    /**
+     * Save graph snapshot
+     */
+    saveSnapshot(): void;
+    /**
+     * Helper: Get all files recursively
+     */
+    private getAllFiles;
+    /**
+     * Calculate combined proof score
+     */
+    private calculateCombinedScore;
+    /**
+     * Combine two proof scores (take maximum observed, average static)
+     */
+    private combineProofScores;
+}
+//# sourceMappingURL=reality-graph.d.ts.map

package/dist/reality/reality-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reality-graph.d.ts","sourceRoot":"","sources":["../../src/reality/reality-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH,MAAM,MAAM,QAAQ,GAChB,MAAM,GACN,OAAO,GACP,SAAS,GACT,UAAU,GACV,cAAc,GACd,YAAY,GACZ,QAAQ,GACR,cAAc,GACd,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,MAAM,QAAQ,GAChB,OAAO,GACP,QAAQ,GACR,OAAO,GACP,UAAU,GACV,QAAQ,GACR,MAAM,GACN,SAAS,GACT,YAAY,CAAC;AAEjB,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAAC;AAEF,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE;QACR,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,GAAG,CAAC,EAAE,MAAM,CAAC;QACb,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;KACpB,CAAC;IACF,UAAU,EAAE,UAAU,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,UAAU,CAAC;IACvB,QAAQ,EAAE;QACR,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;KACpB,CAAC;IACF,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChC,SAAS,EAAE,KAAK,CAAC;QACf,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC,CAAC;CACJ;AAED,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,WAAW,CAAS;gBAEhB,WAAW,EAAE,MAAM;IAS/B;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,IAAI;IAiBtD;;OAEG;IACH,OAAO,CACL,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,MAAM,EACb,UAAU,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,EAChC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC7B,IAAI;IAyCP;;OAEG;IACH,mBAAmB,IAAI,IAAI;IAuB3B;;OAEG;IACH,uBAAuB,CAAC,MAAM,EAAE;QAC9B,QAAQ,CAAC,EAAE,KAAK,CAAC;YACf,MAAM,EAAE,MAAM,CAAC;YACf,GAAG,EAAE,MAAM,CAAC;YACZ,UAAU,EAAE,MAAM,CAAC;YACnB,SAAS,EAAE,MAAM,CAAC;YAClB,QAAQ,EAAE,MAAM,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,KAAK,CAAC;YACb,IAAI,EAAE,MAAM,CAAC;YACb,MAAM,EAAE,MAAM,CAAC;YACf,GAAG,EAAE,OAAO,CAAC;YACb,SAAS,EAAE,MAAM,CAAC;SACnB,CAAC,CAAC;QACH,SAAS,CAAC,EAAE,KAAK,CAAC;YAChB,KAAK,EAAE,MAAM,CAAC;YACd,QAAQ,EAAE,MAAM,CAAC;YACjB,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,CAAC,EAAE,MAAM,CAAC;SAChB,CAAC,CAAC;KACJ,GAAG,IAAI;IAoDR;;OAEG;IACH,OAAO,CAAC,cAAc;IActB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAiC1B;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAmC7B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiCxB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAgC9B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAmC5B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAiC3B;;OAEG;IACH,OAAO,CAAC,eAAe;IAiCvB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAiC5B;;OAEG;IACH,mBAAmB,IAAI,WAAW,EAAE;IAYpC;;OAEG;IACH,eAAe,IAAI,WAAW,EAAE;IAYhC;;OAEG;IACH,uBAAuB,IAAI,KAAK,CAAC;QAAE,KAAK,EAAE,WAAW,CAAC;QAAC,UAAU,EAAE,WAAW,CAAA;KAAE,CAAC;IAmCjF;;OAEG;IACH,0BAA0B,IAAI,KAAK,CAAC;QAAE,IAAI,EAAE,WAAW,CAAC;QAAC,SAAS,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,CAAC;IA8BnG;;OAEG;IACH,QAAQ,IAAI,YAAY;IAIxB;;OAEG;IACH,MAAM,IAAI,MAAM;IAQhB;;OAEG;IACH,YAAY,IAAI,IAAI;IAQpB;;OAEG;IACH,OAAO,CAAC,WAAW;IAyBnB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAK9B;;OAEG;IACH,OAAO,CAAC,kBAAkB;CAQ3B"}