tryassay 0.15.1 → 0.17.0

package/dist/runtime/integration-verifier.js

@@ -0,0 +1,307 @@
+/**
+ * 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 { readFile } from 'node:fs/promises';
+import { relative, basename, extname } from 'node:path';
+import { findFiles, traceImports, findMatchingBrace } from './fs-helpers.js';
+import { CheckExecutor } from './check-definitions.js';
+import { CheckStore } from './check-store.js';
+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());
+        // Dynamic checks from CheckStore
+        try {
+            const store = new CheckStore();
+            const activeChecks = await store.getActive(this.framework);
+            if (activeChecks.length > 0) {
+                const executor = new CheckExecutor();
+                for (const def of activeChecks) {
+                    checks.push(...await executor.execute(def, this.projectPath));
+                }
+            }
+        }
+        catch {
+            // CheckStore unavailable — continue with hardcoded checks only
+        }
+        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 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 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 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 = 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 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 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 ────────────────────────────────────────────────
+    /** Check if the project has preload files (indicating Electron). */
+    async hasPreloadFiles() {
+        const files = await findFiles(this.projectPath, /\.(ts|tsx|js|jsx)$/);
+        return files.some(f => relative(this.projectPath, f).includes('preload'));
+    }
+}
+//# 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,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAQ,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,YAAY,EAAiB,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,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,iCAAiC;QACjC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,YAAY,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3D,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,aAAa,EAAE,CAAC;gBACrC,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;oBAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,+DAA+D;QACjE,CAAC;QAED,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,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;QACnE,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,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QAEzE,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,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QACzE,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,iBAAiB,CAAC,OAAO,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;gBACzD,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,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QACzE,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,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAEnD,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,oEAAoE;IAC5D,KAAK,CAAC,eAAe;QAC3B,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,oBAAoB,CAAC,CAAC;QACtE,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;CACF"}

package/dist/runtime/types.d.ts

@@ -1378,6 +1378,8 @@ export type AppCreatePhase = {
     readonly attempt: number;
     readonly maxAttempts: number;
     readonly errorCount: number;
+} | {
+    readonly phase: 'integration_verifying';
 } | {
     readonly phase: 'cross_verifying';
 } | {
@@ -1402,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[];
@@ -1431,6 +1434,22 @@ export interface CrossFeatureCheck {
     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';
@@ -1477,3 +1496,47 @@ export interface AppCreateOptions {
     readonly maxBuildRepairAttempts?: number;
     readonly skipBuildVerification?: boolean;
 }
+export type CheckStrategyType = 'pattern_presence' | 'pattern_absence' | 'cross_reference' | 'import_reachability';
+export interface PatternPresenceStrategy {
+    readonly type: 'pattern_presence';
+    readonly fileGlob: string;
+    readonly pattern: string;
+    readonly requireIn: 'any' | 'all';
+    readonly contextGlob?: string;
+    readonly contextPattern?: string;
+}
+export interface PatternAbsenceStrategy {
+    readonly type: 'pattern_absence';
+    readonly fileGlob: string;
+    readonly pattern: string;
+    readonly allowIn?: readonly string[];
+}
+export interface CrossReferenceStrategy {
+    readonly type: 'cross_reference';
+    readonly sourceGlob: string;
+    readonly sourcePattern: string;
+    readonly targetGlob: string;
+    readonly targetPattern: string;
+}
+export interface ImportReachabilityStrategy {
+    readonly type: 'import_reachability';
+    readonly pageGlob: string;
+    readonly entryPattern: string;
+}
+export type CheckStrategy = PatternPresenceStrategy | PatternAbsenceStrategy | CrossReferenceStrategy | ImportReachabilityStrategy;
+export interface IntegrationCheckDefinition {
+    readonly id: string;
+    readonly name: string;
+    readonly type: string;
+    readonly strategy: CheckStrategy;
+    readonly severity: 'critical' | 'high' | 'medium';
+    readonly frameworks: readonly string[];
+    readonly status: 'proposed' | 'shadow' | 'active' | 'deprecated';
+    readonly createdAt: string;
+    readonly evidenceTemplate: string;
+}
+export interface CheckLoopResult {
+    readonly proposedChecks: readonly IntegrationCheckDefinition[];
+    readonly duplicatesSkipped: number;
+    readonly classificationErrors: number;
+}

package/package.json

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