tryassay 0.15.0 → 0.16.0

package/dist/runtime/integration-verifier.js

@@ -0,0 +1,373 @@
+/**
+ * IntegrationVerifier — deterministic wiring checks for generated applications.
+ *
+ * Catches four classes of integration failure that compile clean but don't work:
+ *   1. Missing Router provider (pages use react-router hooks but no Router wraps them)
+ *   2. Missing IPC handlers (preload invokes channels with no main-process handler)
+ *   3. Stub functions (async functions that return literal objects without doing real work)
+ *   4. Unreachable pages (page files exist but are never imported from the entry point)
+ *
+ * Zero LLM calls. Deterministic. Uses only node:fs/promises, node:path, and regex.
+ */
+import { readdir, readFile } from 'node:fs/promises';
+import { join, relative, basename, extname } from 'node:path';
+export class IntegrationVerifier {
+    projectPath;
+    framework;
+    constructor(projectPath, framework) {
+        this.projectPath = projectPath;
+        this.framework = framework;
+    }
+    async verify() {
+        const start = Date.now();
+        const checks = [];
+        // Run all checks
+        checks.push(...await this.checkRoutingProvider());
+        if (this.framework === 'electron' || await this.hasPreloadFiles()) {
+            checks.push(...await this.checkIpcHandlerCoverage());
+            checks.push(...await this.checkStubFunctions());
+        }
+        checks.push(...await this.checkUnreachablePages());
+        const passedCount = checks.filter(c => c.verdict === 'PASS').length;
+        const failedCount = checks.filter(c => c.verdict === 'FAIL').length;
+        return {
+            checks,
+            passedCount,
+            failedCount,
+            verdict: failedCount > 0 ? 'FAIL' : 'PASS',
+            framework: this.framework,
+            totalDurationMs: Date.now() - start,
+        };
+    }
+    // ── Check 1: Routing Provider ──────────────────────────────
+    /**
+     * Scan all .tsx files for react-router hook usage.
+     * If found, verify a Router provider exists in the entry point chain.
+     */
+    async checkRoutingProvider() {
+        const tsxFiles = await this.findFiles(this.projectPath, /\.(tsx|jsx)$/);
+        const routerHookPattern = /\b(useNavigate|useParams|useLocation|useSearchParams|useMatch|useRoutes)\b/;
+        const routerProviderPattern = /\b(BrowserRouter|HashRouter|MemoryRouter|RouterProvider|createBrowserRouter|createHashRouter|createMemoryRouter)\b/;
+        // Find files that use router hooks
+        const filesUsingHooks = [];
+        for (const file of tsxFiles) {
+            const content = await readFile(file, 'utf-8');
+            if (routerHookPattern.test(content)) {
+                filesUsingHooks.push(file);
+            }
+        }
+        if (filesUsingHooks.length === 0) {
+            return []; // No router hooks used — nothing to check
+        }
+        // Check if ANY file in the project contains a Router provider
+        let providerFound = false;
+        let providerFile = '';
+        for (const file of tsxFiles) {
+            const content = await readFile(file, 'utf-8');
+            if (routerProviderPattern.test(content)) {
+                providerFound = true;
+                providerFile = relative(this.projectPath, file);
+                break;
+            }
+        }
+        if (providerFound) {
+            return [{
+                    type: 'routing_provider',
+                    verdict: 'PASS',
+                    evidence: `Router provider found in ${providerFile}. ${filesUsingHooks.length} file(s) use router hooks.`,
+                    file: providerFile,
+                    severity: 'critical',
+                }];
+        }
+        const hookFiles = filesUsingHooks.map(f => relative(this.projectPath, f)).join(', ');
+        return [{
+                type: 'routing_provider',
+                verdict: 'FAIL',
+                evidence: `${filesUsingHooks.length} file(s) use react-router hooks (${hookFiles}) but no Router provider (BrowserRouter, HashRouter, etc.) found in any .tsx file.`,
+                file: hookFiles,
+                severity: 'critical',
+            }];
+    }
+    // ── Check 2: IPC Handler Coverage ──────────────────────────
+    /**
+     * Electron only. Scan preload files for ipcRenderer.invoke calls.
+     * Scan main/ipc files for ipcMain.handle calls.
+     * Report any channel invoked but not handled.
+     */
+    async checkIpcHandlerCoverage() {
+        const allFiles = await this.findFiles(this.projectPath, /\.(ts|tsx|js|jsx)$/);
+        // Find channels invoked in preload (renderer-side)
+        const invokedChannels = new Map(); // channel -> file
+        const invokePattern = /ipcRenderer\.invoke\(\s*['"`]([^'"`]+)['"`]/g;
+        for (const file of allFiles) {
+            const relPath = relative(this.projectPath, file);
+            if (!relPath.includes('preload'))
+                continue;
+            const content = await readFile(file, 'utf-8');
+            let match;
+            while ((match = invokePattern.exec(content)) !== null) {
+                invokedChannels.set(match[1], relPath);
+            }
+        }
+        if (invokedChannels.size === 0) {
+            return []; // No IPC invoke calls found
+        }
+        // Find channels handled in main process
+        const handledChannels = new Set();
+        const handlePattern = /ipcMain\.handle\(\s*['"`]([^'"`]+)['"`]/g;
+        // Also check for IPC_CHANNELS.CONSTANT patterns that resolve to string literals
+        const channelConstPattern = /ipcMain\.handle\(\s*(?:IPC_CHANNELS\.\w+|[\w.]+)\s*,/g;
+        for (const file of allFiles) {
+            const relPath = relative(this.projectPath, file);
+            // Check main process files (main/, ipc/, handlers/)
+            if (!relPath.includes('main') && !relPath.includes('ipc') && !relPath.includes('handler'))
+                continue;
+            const content = await readFile(file, 'utf-8');
+            // Direct string channel handles
+            let match;
+            while ((match = handlePattern.exec(content)) !== null) {
+                handledChannels.add(match[1]);
+            }
+            // Also resolve IPC_CHANNELS constants by scanning for their definitions
+            const constDefPattern = /['"`]([^'"`]+)['"`]\s*(?:,|as\s+const)/g;
+            if (relPath.includes('handler') || relPath.includes('ipc')) {
+                while ((match = constDefPattern.exec(content)) !== null) {
+                    // Only add if it looks like a channel name (contains colon)
+                    if (match[1].includes(':')) {
+                        handledChannels.add(match[1]);
+                    }
+                }
+            }
+        }
+        // Also scan shared types for IPC_CHANNELS constant definitions
+        for (const file of allFiles) {
+            const relPath = relative(this.projectPath, file);
+            if (!relPath.includes('shared') && !relPath.includes('types'))
+                continue;
+            const content = await readFile(file, 'utf-8');
+            const channelValuePattern = /:\s*['"`]([^'"`]+)['"`]/g;
+            if (content.includes('IPC_CHANNELS')) {
+                let match;
+                while ((match = channelValuePattern.exec(content)) !== null) {
+                    if (match[1].includes(':')) {
+                        handledChannels.add(match[1]);
+                    }
+                }
+            }
+        }
+        const checks = [];
+        for (const [channel, invokeFile] of invokedChannels) {
+            if (handledChannels.has(channel)) {
+                checks.push({
+                    type: 'ipc_handler_coverage',
+                    verdict: 'PASS',
+                    evidence: `Channel '${channel}' invoked in ${invokeFile} has a matching handler.`,
+                    file: invokeFile,
+                    severity: 'critical',
+                });
+            }
+            else {
+                checks.push({
+                    type: 'ipc_handler_coverage',
+                    verdict: 'FAIL',
+                    evidence: `Channel '${channel}' invoked in ${invokeFile} has NO handler in any main-process file.`,
+                    file: invokeFile,
+                    severity: 'critical',
+                });
+            }
+        }
+        return checks;
+    }
+    // ── Check 3: Stub Functions ────────────────────────────────
+    /**
+     * Find async functions in preload whose body is ONLY a return of a literal object
+     * without ipcRenderer.invoke, await, .query(), or fetch().
+     */
+    async checkStubFunctions() {
+        const allFiles = await this.findFiles(this.projectPath, /\.(ts|tsx|js|jsx)$/);
+        const checks = [];
+        for (const file of allFiles) {
+            const relPath = relative(this.projectPath, file);
+            if (!relPath.includes('preload'))
+                continue;
+            const content = await readFile(file, 'utf-8');
+            const lines = content.split('\n');
+            // Find async arrow functions that return a literal object without real work
+            // Pattern: async (params) => { return { ... }; } or async (params): Promise<...> => { return { ... }; }
+            // But NOT functions that contain ipcRenderer.invoke, await (something), fetch, .query()
+            const stubPattern = /async\s+\(([^)]*)\)\s*(?::\s*Promise<[^>]+>)?\s*=>\s*\{/g;
+            let match;
+            while ((match = stubPattern.exec(content)) !== null) {
+                const startIdx = match.index + match[0].length;
+                const bodyEnd = this.findMatchingBrace(content, startIdx - 1);
+                if (bodyEnd === -1)
+                    continue;
+                const body = content.slice(startIdx, bodyEnd).trim();
+                const hasRealWork = /ipcRenderer\.invoke|await\s+[^{]|\.query\(|fetch\(|\.send\(|\.emit\(/.test(body);
+                const isLiteralReturn = /^\s*return\s+\{[^}]*\}\s*;?\s*$/.test(body);
+                if (isLiteralReturn && !hasRealWork) {
+                    // Find the function name by looking at what precedes the async keyword
+                    const preceding = content.slice(Math.max(0, match.index - 80), match.index);
+                    const nameMatch = preceding.match(/(\w+)\s*:\s*$/);
+                    const funcName = nameMatch ? nameMatch[1] : 'anonymous';
+                    // Find line number
+                    const lineNum = content.slice(0, match.index).split('\n').length;
+                    checks.push({
+                        type: 'stub_function',
+                        verdict: 'FAIL',
+                        evidence: `Function '${funcName}' at line ${lineNum} is a stub: returns a literal object without ipcRenderer.invoke or any real operation. Body: ${body.trim()}`,
+                        file: relPath,
+                        severity: 'high',
+                    });
+                }
+            }
+        }
+        return checks;
+    }
+    // ── Check 4: Unreachable Pages ─────────────────────────────
+    /**
+     * Collect page files from pages/ directories.
+     * Build import graph from entry point.
+     * Report any page file not transitively imported.
+     */
+    async checkUnreachablePages() {
+        // Find page files
+        const allFiles = await this.findFiles(this.projectPath, /\.(tsx|jsx|ts|js)$/);
+        const pageFiles = allFiles.filter(f => {
+            const rel = relative(this.projectPath, f);
+            return rel.includes('pages/') || rel.includes('pages\\');
+        });
+        if (pageFiles.length === 0) {
+            return []; // No pages directory
+        }
+        // Find entry point (file with createRoot or ReactDOM.render)
+        let entryFile = null;
+        for (const file of allFiles) {
+            const content = await readFile(file, 'utf-8');
+            if (/createRoot|ReactDOM\.render/.test(content)) {
+                entryFile = file;
+                break;
+            }
+        }
+        if (!entryFile) {
+            return []; // No entry point found — can't trace imports
+        }
+        // Build transitive import graph from entry point
+        const reachable = new Set();
+        await this.traceImports(entryFile, reachable, allFiles);
+        const checks = [];
+        for (const pageFile of pageFiles) {
+            const relPath = relative(this.projectPath, pageFile);
+            const pageName = basename(pageFile, extname(pageFile));
+            if (reachable.has(pageFile)) {
+                checks.push({
+                    type: 'unreachable_page',
+                    verdict: 'PASS',
+                    evidence: `Page '${pageName}' (${relPath}) is reachable from entry point.`,
+                    file: relPath,
+                    severity: 'high',
+                });
+            }
+            else {
+                checks.push({
+                    type: 'unreachable_page',
+                    verdict: 'FAIL',
+                    evidence: `Page '${pageName}' (${relPath}) is NOT imported from the entry point chain. It exists as a file but is unreachable at runtime.`,
+                    file: relPath,
+                    severity: 'high',
+                });
+            }
+        }
+        return checks;
+    }
+    // ── Helpers ────────────────────────────────────────────────
+    /** Recursively find files matching a pattern. */
+    async findFiles(dir, pattern) {
+        const results = [];
+        try {
+            const entries = await readdir(dir, { withFileTypes: true });
+            for (const entry of entries) {
+                const fullPath = join(dir, entry.name);
+                if (entry.isDirectory()) {
+                    if (entry.name === 'node_modules' || entry.name === 'dist' || entry.name === '.git' || entry.name === 'out' || entry.name === 'build' || entry.name === '.next')
+                        continue;
+                    results.push(...await this.findFiles(fullPath, pattern));
+                }
+                else if (pattern.test(entry.name)) {
+                    results.push(fullPath);
+                }
+            }
+        }
+        catch {
+            // Directory doesn't exist or can't be read
+        }
+        return results;
+    }
+    /** Check if the project has preload files (indicating Electron). */
+    async hasPreloadFiles() {
+        const files = await this.findFiles(this.projectPath, /\.(ts|tsx|js|jsx)$/);
+        return files.some(f => relative(this.projectPath, f).includes('preload'));
+    }
+    /** Find the matching closing brace for an opening brace at the given index. */
+    findMatchingBrace(content, openIdx) {
+        let depth = 0;
+        for (let i = openIdx; i < content.length; i++) {
+            if (content[i] === '{')
+                depth++;
+            else if (content[i] === '}') {
+                depth--;
+                if (depth === 0)
+                    return i;
+            }
+        }
+        return -1;
+    }
+    /** Trace imports transitively from a file. */
+    async traceImports(file, visited, allFiles) {
+        if (visited.has(file))
+            return;
+        visited.add(file);
+        let content;
+        try {
+            content = await readFile(file, 'utf-8');
+        }
+        catch {
+            return;
+        }
+        // Match import statements: import ... from './path' or import './path'
+        const importPattern = /(?:import\s+(?:[\s\S]*?)\s+from\s+|import\s+)['"]([^'"]+)['"]/g;
+        // Also match dynamic imports: import('./path')
+        const dynamicImportPattern = /import\(\s*['"]([^'"]+)['"]\s*\)/g;
+        const importPaths = [];
+        let match;
+        while ((match = importPattern.exec(content)) !== null) {
+            importPaths.push(match[1]);
+        }
+        while ((match = dynamicImportPattern.exec(content)) !== null) {
+            importPaths.push(match[1]);
+        }
+        for (const importPath of importPaths) {
+            if (!importPath.startsWith('.'))
+                continue; // Skip node_modules imports
+            const resolved = this.resolveImport(file, importPath, allFiles);
+            if (resolved) {
+                await this.traceImports(resolved, visited, allFiles);
+            }
+        }
+    }
+    /** Resolve a relative import path to an actual file. */
+    resolveImport(fromFile, importPath, allFiles) {
+        const dir = join(fromFile, '..');
+        const base = join(dir, importPath);
+        // Try exact match, then with extensions
+        const extensions = ['.ts', '.tsx', '.js', '.jsx', '/index.ts', '/index.tsx', '/index.js', '/index.jsx'];
+        const candidates = [base, ...extensions.map(ext => base + ext)];
+        for (const candidate of candidates) {
+            if (allFiles.includes(candidate)) {
+                return candidate;
+            }
+        }
+        return null;
+    }
+}
+//# sourceMappingURL=integration-verifier.js.map

package/dist/runtime/integration-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integration-verifier.js","sourceRoot":"","sources":["../../src/runtime/integration-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAQ,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAG9D,MAAM,OAAO,mBAAmB;IACb,WAAW,CAAS;IACpB,SAAS,CAAS;IAEnC,YAAY,WAAmB,EAAE,SAAiB;QAChD,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,MAAM;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,MAAM,GAAuB,EAAE,CAAC;QAEtC,iBAAiB;QACjB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAElD,IAAI,IAAI,CAAC,SAAS,KAAK,UAAU,IAAI,MAAM,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,uBAAuB,EAAE,CAAC,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAClD,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC;QAEnD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QAEpE,OAAO;YACL,MAAM;YACN,WAAW;YACX,WAAW;YACX,OAAO,EAAE,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YAC1C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SACpC,CAAC;IACJ,CAAC;IAED,8DAA8D;IAE9D;;;OAGG;IACH,KAAK,CAAC,oBAAoB;QACxB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;QACxE,MAAM,iBAAiB,GAAG,4EAA4E,CAAC;QACvG,MAAM,qBAAqB,GAAG,oHAAoH,CAAC;QAEnJ,mCAAmC;QACnC,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,EAAE,CAAC,CAAC,0CAA0C;QACvD,CAAC;QAED,8DAA8D;QAC9D,IAAI,aAAa,GAAG,KAAK,CAAC;QAC1B,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,aAAa,GAAG,IAAI,CAAC;gBACrB,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAChD,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC;oBACN,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,MAAM;oBACf,QAAQ,EAAE,4BAA4B,YAAY,KAAK,eAAe,CAAC,MAAM,4BAA4B;oBACzG,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,UAAU;iBACrB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,CAAC;gBACN,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,MAAM;gBACf,QAAQ,EAAE,GAAG,eAAe,CAAC,MAAM,oCAAoC,SAAS,oFAAoF;gBACpK,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,UAAU;aACrB,CAAC,CAAC;IACL,CAAC;IAED,8DAA8D;IAE9D;;;;OAIG;IACH,KAAK,CAAC,uBAAuB;QAC3B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAE9E,mDAAmD;QACnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,kBAAkB;QACrE,MAAM,aAAa,GAAG,8CAA8C,CAAC;QAErE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAAE,SAAS;YAC3C,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,KAA6B,CAAC;YAClC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACtD,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,CAAC,CAAC,4BAA4B;QACzC,CAAC;QAED,wCAAwC;QACxC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1C,MAAM,aAAa,GAAG,0CAA0C,CAAC;QACjE,gFAAgF;QAChF,MAAM,mBAAmB,GAAG,uDAAuD,CAAC;QAEpF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,oDAAoD;YACpD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAAE,SAAS;YACpG,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,gCAAgC;YAChC,IAAI,KAA6B,CAAC;YAClC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACtD,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;YAED,wEAAwE;YACxE,MAAM,eAAe,GAAG,yCAAyC,CAAC;YAClE,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,CAAC,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBACxD,4DAA4D;oBAC5D,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC3B,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YACxE,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,mBAAmB,GAAG,0BAA0B,CAAC;YACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBACrC,IAAI,KAA6B,CAAC;gBAClC,OAAO,CAAC,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC5D,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC3B,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAChC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAuB,EAAE,CAAC;QAEtC,KAAK,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,eAAe,EAAE,CAAC;YACpD,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,MAAM;oBACf,QAAQ,EAAE,YAAY,OAAO,gBAAgB,UAAU,0BAA0B;oBACjF,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,UAAU;iBACrB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,MAAM;oBACf,QAAQ,EAAE,YAAY,OAAO,gBAAgB,UAAU,2CAA2C;oBAClG,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,UAAU;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,8DAA8D;IAE9D;;;OAGG;IACH,KAAK,CAAC,kBAAkB;QACtB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAuB,EAAE,CAAC;QAEtC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAAE,SAAS;YAE3C,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAElC,4EAA4E;YAC5E,wGAAwG;YACxG,wFAAwF;YACxF,MAAM,WAAW,GAAG,0DAA0D,CAAC;YAE/E,IAAI,KAA6B,CAAC;YAClC,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACpD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;gBAC9D,IAAI,OAAO,KAAK,CAAC,CAAC;oBAAE,SAAS;gBAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;gBACrD,MAAM,WAAW,GAAG,sEAAsE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtG,MAAM,eAAe,GAAG,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAErE,IAAI,eAAe,IAAI,CAAC,WAAW,EAAE,CAAC;oBACpC,uEAAuE;oBACvE,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC5E,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;oBAExD,mBAAmB;oBACnB,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;oBAEjE,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,MAAM;wBACf,QAAQ,EAAE,aAAa,QAAQ,aAAa,OAAO,gGAAgG,IAAI,CAAC,IAAI,EAAE,EAAE;wBAChK,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,MAAM;qBACjB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,8DAA8D;IAE9D;;;;OAIG;IACH,KAAK,CAAC,qBAAqB;QACzB,kBAAkB;QAClB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAC9E,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAC1C,OAAO,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC,CAAC,qBAAqB;QAClC,CAAC;QAED,6DAA6D;QAC7D,IAAI,SAAS,GAAkB,IAAI,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,6BAA6B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChD,SAAS,GAAG,IAAI,CAAC;gBACjB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,EAAE,CAAC,CAAC,6CAA6C;QAC1D,CAAC;QAED,iDAAiD;QACjD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAExD,MAAM,MAAM,GAAuB,EAAE,CAAC;QACtC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YAEvD,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,MAAM;oBACf,QAAQ,EAAE,SAAS,QAAQ,MAAM,OAAO,kCAAkC;oBAC1E,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,MAAM;oBACf,QAAQ,EAAE,SAAS,QAAQ,MAAM,OAAO,kGAAkG;oBAC1I,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,8DAA8D;IAE9D,iDAAiD;IACzC,KAAK,CAAC,SAAS,CAAC,GAAW,EAAE,OAAe;QAClD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;oBACxB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;wBAAE,SAAS;oBAC1K,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC3D,CAAC;qBAAM,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,2CAA2C;QAC7C,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,oEAAoE;IAC5D,KAAK,CAAC,eAAe;QAC3B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAC3E,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5E,CAAC;IAED,+EAA+E;IACvE,iBAAiB,CAAC,OAAe,EAAE,OAAe;QACxD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBAC3B,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5B,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC;oBAAE,OAAO,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IAED,8CAA8C;IACtC,KAAK,CAAC,YAAY,CACxB,IAAY,EACZ,OAAoB,EACpB,QAAkB;QAElB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QAED,uEAAuE;QACvE,MAAM,aAAa,GAAG,gEAAgE,CAAC;QACvF,+CAA+C;QAC/C,MAAM,oBAAoB,GAAG,mCAAmC,CAAC;QAEjE,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,KAA6B,CAAC;QAElC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,CAAC,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7D,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,4BAA4B;YAEvE,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAChE,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IAED,wDAAwD;IAChD,aAAa,CAAC,QAAgB,EAAE,UAAkB,EAAE,QAAkB;QAC5E,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAEnC,wCAAwC;QACxC,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;QACxG,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;QAEhE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjC,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

package/dist/runtime/types.d.ts

@@ -1270,7 +1270,7 @@ export interface AppDescription {
 }
 export interface TechStackConfig {
     readonly language: 'typescript' | 'python';
-    readonly framework: 'next.js' | 'express' | 'sveltekit';
+    readonly framework: 'next.js' | 'express' | 'sveltekit' | 'electron';
     readonly database: 'supabase' | 'postgresql' | 'sqlite';
     readonly styling?: string;
     readonly deployment?: string;
@@ -1285,6 +1285,7 @@ export interface ArchitecturePlan {
     readonly apiRoutes: readonly ApiRouteSpec[];
     readonly pages: readonly PageSpec[];
     readonly features: readonly FeaturePlan[];
+    readonly ipcChannels?: readonly IpcChannel[];
     readonly dependencyOrder: readonly string[];
     readonly authPlan?: {
         readonly provider: string;
@@ -1325,6 +1326,14 @@ export interface ApiRouteSpec {
     readonly responseType?: string;
     readonly featureId?: string;
 }
+export interface IpcChannel {
+    readonly channel: string;
+    readonly direction: 'renderer-to-main' | 'main-to-renderer' | 'bidirectional';
+    readonly description: string;
+    readonly requestType?: string;
+    readonly responseType?: string;
+    readonly featureId?: string;
+}
 export interface PageSpec {
     readonly path: string;
     readonly component: string;
@@ -1339,6 +1348,7 @@ export interface FeaturePlan {
     readonly schemaEntities: readonly string[];
     readonly apiRoutes: readonly string[];
     readonly pages: readonly string[];
+    readonly ipcChannels?: readonly string[];
     readonly complexityEstimate: 'trivial' | 'small' | 'medium' | 'large';
 }
 export type AppCreatePhase = {
@@ -1368,6 +1378,8 @@ export type AppCreatePhase = {
     readonly attempt: number;
     readonly maxAttempts: number;
     readonly errorCount: number;
+} | {
+    readonly phase: 'integration_verifying';
 } | {
     readonly phase: 'cross_verifying';
 } | {
@@ -1392,6 +1404,7 @@ export interface AppCreateResult {
     readonly plan: ArchitecturePlan | null;
     readonly featureResults: readonly FeatureBuildResult[];
     readonly buildVerification: BuildVerificationResult | null;
+    readonly integrationVerification: IntegrationVerificationResult | null;
     readonly crossVerification: CrossFeatureVerification | null;
     readonly totalDurationMs: number;
     readonly auditTrail: readonly AuditEntry[];
@@ -1416,11 +1429,27 @@ export interface CrossFeatureVerification {
     readonly verdict: 'PASS' | 'FAIL' | 'PARTIAL';
 }
 export interface CrossFeatureCheck {
-    readonly type: 'api_route_exists' | 'page_references_valid' | 'schema_entity_exists' | 'dependency_consistency';
+    readonly type: 'api_route_exists' | 'page_references_valid' | 'schema_entity_exists' | 'dependency_consistency' | 'ipc_channel_exists';
     readonly description: string;
     readonly verdict: 'PASS' | 'FAIL';
     readonly evidence: string;
 }
+export type IntegrationCheckType = 'routing_provider' | 'ipc_handler_coverage' | 'stub_function' | 'unreachable_page';
+export interface IntegrationCheck {
+    readonly type: IntegrationCheckType;
+    readonly verdict: 'PASS' | 'FAIL';
+    readonly evidence: string;
+    readonly file: string;
+    readonly severity: 'critical' | 'high' | 'medium';
+}
+export interface IntegrationVerificationResult {
+    readonly checks: readonly IntegrationCheck[];
+    readonly passedCount: number;
+    readonly failedCount: number;
+    readonly verdict: 'PASS' | 'FAIL';
+    readonly framework: string;
+    readonly totalDurationMs: number;
+}
 export type BuildStepStatus = 'pass' | 'fail' | 'skip' | 'timeout';
 export interface BuildStepResult {
     readonly step: 'install' | 'build' | 'start' | 'health_check';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tryassay",
-  "version": "0.15.0",
+  "version": "0.16.0",
   "description": "AI code verification CLI — find bugs that tests miss, linters ignore, and code review overlooks",
   "type": "module",
   "main": "./dist/index.js",