synapsexcoder 6.0.0

package/dist/verification/runtime-verifier.js

@@ -0,0 +1,221 @@
+/**
+ * Runtime Verifier — Verify runtime execution paths
+ *
+ * Verifies:
+ * - runtime entrypoints
+ * - actual execution paths
+ * - imports/exports
+ * - dependency injection
+ * - async flows
+ * - API chains
+ * - state propagation
+ * - event wiring
+ * - database interaction
+ * - frontend/backend integration
+ * - config activation
+ * - feature flag state
+ * - deployment usage
+ */
+import { readFile, searchFiles } from "../synapsexcoder/tool-bridge.js";
+export class RuntimeVerifier {
+    /**
+     * Trace implementation for a claim
+     */
+    async traceImplementation(claim) {
+        const result = {
+            exists: false,
+            isActive: false,
+            isReferenced: false,
+            executes: false,
+            completeness: 0,
+            discrepancies: [],
+        };
+        // Find implementation files
+        for (const file of claim.implementationFiles) {
+            const trace = await this.traceFile(file, claim);
+            if (trace.found) {
+                result.exists = true;
+                result.isActive = trace.isActive;
+                result.isReferenced = trace.isReferenced;
+                result.executes = trace.executes;
+                result.completeness = trace.completeness;
+                result.discrepancies.push(...trace.discrepancies);
+            }
+        }
+        // If no implementation files specified, search for them
+        if (!result.exists && claim.content) {
+            const searchResult = await this.searchImplementation(claim);
+            result.exists = searchResult.found;
+            result.isActive = searchResult.isActive;
+            result.isReferenced = searchResult.isReferenced;
+            result.executes = searchResult.executes;
+            result.completeness = searchResult.completeness;
+            result.discrepancies.push(...searchResult.discrepancies);
+        }
+        return result;
+    }
+    /**
+     * Verify runtime wiring
+     */
+    async verifyRuntimeWiring(claim) {
+        const discrepancies = [];
+        // Check imports/exports
+        const importCheck = await this.checkImportsExports(claim);
+        if (!importCheck.valid) {
+            discrepancies.push(...importCheck.discrepancies);
+        }
+        return {
+            wired: discrepancies.length === 0,
+            discrepancies,
+        };
+    }
+    async traceFile(filePath, claim) {
+        const discrepancies = [];
+        let found = false;
+        let isActive = false;
+        let isReferenced = false;
+        let executes = false;
+        let completeness = 0;
+        try {
+            const readResult = await readFile(filePath);
+            const content = readResult.success ? String(readResult.output) : null;
+            if (!content) {
+                discrepancies.push({
+                    id: `missing-file-${filePath}`,
+                    severity: "critical",
+                    category: "implementation",
+                    description: `Implementation file not found: ${filePath}`,
+                    source: claim.id,
+                    detectedAt: new Date().toISOString(),
+                });
+                return { found, isActive, isReferenced, executes, completeness, discrepancies };
+            }
+            found = true;
+            // Check for stubs/placeholders
+            const stubPatterns = [
+                /TODO/i,
+                /FIXME/i,
+                /throw new Error\(['"]Not implemented/i,
+                /return undefined/i,
+                /return null/i,
+                /\.\.\./i,
+            ];
+            let stubScore = 0;
+            for (const pattern of stubPatterns) {
+                if (pattern.test(content)) {
+                    stubScore++;
+                    discrepancies.push({
+                        id: `stub-detected-${filePath}`,
+                        severity: "high",
+                        category: "implementation",
+                        description: `Potential stub/placeholder detected in ${filePath}`,
+                        source: claim.id,
+                        detectedAt: new Date().toISOString(),
+                    });
+                }
+            }
+            // Check if code is referenced
+            isReferenced = await this.checkReferences(filePath, content);
+            // Check if code executes (has entry points)
+            executes = this.checkExecutionPaths(content);
+            // Determine if active (not disabled/commented out)
+            isActive = !this.checkDisabled(content);
+            // Calculate completeness
+            completeness = Math.max(0, 100 - stubScore * 20);
+        }
+        catch (error) {
+            discrepancies.push({
+                id: `trace-error-${filePath}`,
+                severity: "medium",
+                category: "implementation",
+                description: `Error tracing file ${filePath}: ${error instanceof Error ? error.message : String(error)}`,
+                source: claim.id,
+                detectedAt: new Date().toISOString(),
+            });
+        }
+        return { found, isActive, isReferenced, executes, completeness, discrepancies };
+    }
+    async searchImplementation(claim) {
+        const discrepancies = [];
+        let found = false;
+        let isActive = false;
+        let isReferenced = false;
+        let executes = false;
+        let completeness = 0;
+        // Extract keywords from claim
+        const keywords = this.extractKeywords(claim.content);
+        // Search in src directory
+        for (const keyword of keywords) {
+            const results = await searchFiles(keyword, { path: "src", include: "*.ts" });
+            if (results.success && results.output) {
+                found = true;
+                isActive = true;
+                isReferenced = true;
+                executes = true;
+                completeness = 80;
+                break;
+            }
+        }
+        if (!found) {
+            discrepancies.push({
+                id: `implementation-not-found-${claim.id}`,
+                severity: "high",
+                category: "implementation",
+                description: `No implementation found for claim: ${claim.content}`,
+                source: claim.id,
+                detectedAt: new Date().toISOString(),
+            });
+        }
+        return { found, isActive, isReferenced, executes, completeness, discrepancies };
+    }
+    async checkImportsExports(claim) {
+        const discrepancies = [];
+        for (const file of claim.implementationFiles) {
+            const readResult = await readFile(file);
+            const content = readResult.success ? String(readResult.output) : null;
+            if (!content)
+                continue;
+            // Check for exports
+            if (!/export/.test(content)) {
+                discrepancies.push({
+                    id: `no-exports-${file}`,
+                    severity: "medium",
+                    category: "integration",
+                    description: `No exports found in ${file}`,
+                    source: claim.id,
+                    detectedAt: new Date().toISOString(),
+                });
+            }
+        }
+        return { valid: discrepancies.length === 0, discrepancies };
+    }
+    async checkReferences(_filePath, // @ts-ignore
+    _content) {
+        // Simplified: check if file is imported elsewhere
+        const fileName = _filePath.split("/").pop()?.replace(".ts", "");
+        if (!fileName)
+            return false;
+        const results = await searchFiles(fileName, { path: "src", include: "*.ts" });
+        return results.success && results.output ? results.output.split("\n").length > 1 : false;
+    }
+    checkExecutionPaths(content) {
+        // Check for function declarations, exports, etc.
+        return /export\s+(function|class|const|let|var)/.test(content) || /function\s+\w+/.test(content);
+    }
+    checkDisabled(content) {
+        // Check if code is commented out or disabled
+        const lines = content.split("\n");
+        let commentLines = 0;
+        for (const line of lines) {
+            if (line.trim().startsWith("//") || line.trim().startsWith("/*")) {
+                commentLines++;
+            }
+        }
+        return commentLines > lines.length * 0.5; // More than 50% commented
+    }
+    extractKeywords(text) {
+        const words = text.match(/\b\w{3,}\b/g) || [];
+        return [...new Set(words)].slice(0, 5); // Return unique words, max 5
+    }
+}
+//# sourceMappingURL=runtime-verifier.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-verifier.js","sourceRoot":"","sources":["../../src/verification/runtime-verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAExE,MAAM,OAAO,eAAe;IAC1B;;OAEG;IACH,KAAK,CAAC,mBAAmB,CAAC,KAAwB;QAChD,MAAM,MAAM,GAAyB;YACnC,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,KAAK;YACnB,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,CAAC;YACf,aAAa,EAAE,EAAE;SAClB,CAAC;QAEF,4BAA4B;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAChD,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC;gBACrB,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;gBACjC,MAAM,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;gBACzC,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;gBACjC,MAAM,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;gBACzC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QAED,wDAAwD;QACxD,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;YAC5D,MAAM,CAAC,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC;YACnC,MAAM,CAAC,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;YACxC,MAAM,CAAC,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC;YAChD,MAAM,CAAC,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;YACxC,MAAM,CAAC,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC;YAChD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,mBAAmB,CAAC,KAAwB;QAChD,MAAM,aAAa,GAAkB,EAAE,CAAC;QAExC,wBAAwB;QACxB,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACvB,aAAa,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;QACnD,CAAC;QAED,OAAO;YACL,KAAK,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC;YACjC,aAAa;SACd,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,SAAS,CACrB,QAAgB,EAChB,KAAwB;QASxB,MAAM,aAAa,GAAkB,EAAE,CAAC;QACxC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAEtE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,aAAa,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,gBAAgB,QAAQ,EAAE;oBAC9B,QAAQ,EAAE,UAAU;oBACpB,QAAQ,EAAE,gBAAgB;oBAC1B,WAAW,EAAE,kCAAkC,QAAQ,EAAE;oBACzD,MAAM,EAAE,KAAK,CAAC,EAAE;oBAChB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACrC,CAAC,CAAC;gBACH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC;YAClF,CAAC;YAED,KAAK,GAAG,IAAI,CAAC;YAEb,+BAA+B;YAC/B,MAAM,YAAY,GAAG;gBACnB,OAAO;gBACP,QAAQ;gBACR,uCAAuC;gBACvC,mBAAmB;gBACnB,cAAc;gBACd,SAAS;aACV,CAAC;YAEF,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;gBACnC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1B,SAAS,EAAE,CAAC;oBACZ,aAAa,CAAC,IAAI,CAAC;wBACjB,EAAE,EAAE,iBAAiB,QAAQ,EAAE;wBAC/B,QAAQ,EAAE,MAAM;wBAChB,QAAQ,EAAE,gBAAgB;wBAC1B,WAAW,EAAE,0CAA0C,QAAQ,EAAE;wBACjE,MAAM,EAAE,KAAK,CAAC,EAAE;wBAChB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACrC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,YAAY,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAE7D,4CAA4C;YAC5C,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAE7C,mDAAmD;YACnD,QAAQ,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAExC,yBAAyB;YACzB,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,SAAS,GAAG,EAAE,CAAC,CAAC;QACnD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,aAAa,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,eAAe,QAAQ,EAAE;gBAC7B,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,gBAAgB;gBAC1B,WAAW,EAAE,sBAAsB,QAAQ,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACxG,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACrC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC;IAClF,CAAC;IAEO,KAAK,CAAC,oBAAoB,CAAC,KAAwB;QAQzD,MAAM,aAAa,GAAkB,EAAE,CAAC;QACxC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,8BAA8B;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAErD,0BAA0B;QAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAE7E,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACtC,KAAK,GAAG,IAAI,CAAC;gBACb,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,GAAG,IAAI,CAAC;gBACpB,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,GAAG,EAAE,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,aAAa,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,4BAA4B,KAAK,CAAC,EAAE,EAAE;gBAC1C,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,gBAAgB;gBAC1B,WAAW,EAAE,sCAAsC,KAAK,CAAC,OAAO,EAAE;gBAClE,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACrC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC;IAClF,CAAC;IAEO,KAAK,CAAC,mBAAmB,CAAC,KAAwB;QAIxD,MAAM,aAAa,GAAkB,EAAE,CAAC;QAExC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACtE,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,oBAAoB;YACpB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,aAAa,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,cAAc,IAAI,EAAE;oBACxB,QAAQ,EAAE,QAAQ;oBAClB,QAAQ,EAAE,aAAa;oBACvB,WAAW,EAAE,uBAAuB,IAAI,EAAE;oBAC1C,MAAM,EAAE,KAAK,CAAC,EAAE;oBAChB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACrC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;IAC9D,CAAC;IAEO,KAAK,CAAC,eAAe,CAAC,SAAiB,EAAE,aAAa;IAC5D,QAAgB;QAChB,kDAAkD;QAClD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAE5B,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9E,OAAO,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,OAAO,CAAC,MAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACvG,CAAC;IAEO,mBAAmB,CAAC,OAAe;QACzC,iDAAiD;QACjD,OAAO,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnG,CAAC;IAEO,aAAa,CAAC,OAAe;QACnC,6CAA6C;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjE,YAAY,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QACD,OAAO,YAAY,GAAG,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,0BAA0B;IACtE,CAAC;IAEO,eAAe,CAAC,IAAY;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,6BAA6B;IACvE,CAAC;CACF"}

package/dist/verification/types.d.ts

@@ -0,0 +1,88 @@
+/**
+ * Types for the Verification System
+ */
+export interface VerificationClaim {
+    id: string;
+    source: string;
+    content: string;
+    expectedBehavior: string;
+    affectedSystems: string[];
+    implementationFiles: string[];
+    verificationStatus: "pending" | "claimed-complete" | "claimed-incomplete" | "error" | "verified" | "failed";
+    metadata?: Record<string, unknown>;
+}
+export interface VerificationResult {
+    claimId: string;
+    verified: boolean;
+    details: string;
+    implementation: ImplementationStatus;
+    runtimeCheck: RuntimeCheck;
+    crossReference: CrossReferenceResult;
+    discrepancies: Discrepancy[];
+}
+export interface ImplementationStatus {
+    exists: boolean;
+    isActive: boolean;
+    isReferenced: boolean;
+    executes: boolean;
+    completeness: number;
+    discrepancies: Discrepancy[];
+}
+export interface RuntimeCheck {
+    wired: boolean;
+    discrepancies: Discrepancy[];
+}
+export interface CrossReferenceResult {
+    consistent: boolean;
+    discrepancies: Discrepancy[];
+}
+export interface Discrepancy {
+    id: string;
+    severity: "critical" | "high" | "medium" | "low";
+    category: "implementation" | "integration" | "security" | "performance" | "documentation";
+    description: string;
+    source: string;
+    detectedAt: string;
+    resolution?: string;
+    resolvedAt?: string;
+}
+export interface AuditResult {
+    claimsVerified: number;
+    discrepanciesFound: number;
+    discrepanciesResolved: number;
+    passes: number;
+    allClear: boolean;
+}
+export interface VerificationConfig {
+    repositoryRoot?: string;
+    recursiveDepth?: number;
+    autoFix?: boolean;
+    claimParser: {
+        enabled: boolean;
+        sources: string[];
+    };
+    runtimeVerifier: {
+        enabled: boolean;
+        checkImports: boolean;
+        checkExports: boolean;
+        checkAsyncFlows: boolean;
+    };
+    integrationVerifier: {
+        enabled: boolean;
+        checkApiChains: boolean;
+        checkStatePropagation: boolean;
+        checkEventWiring: boolean;
+    };
+    crossReference: {
+        enabled: boolean;
+        checkDocsVsCode: boolean;
+        checkTestsVsBehavior: boolean;
+        checkConfigsVsDeploy: boolean;
+    };
+    recursiveAudit: {
+        enabled: boolean;
+        maxDepth: number;
+        failFast: boolean;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,kBAAkB,EAAE,SAAS,GAAG,kBAAkB,GAAG,oBAAoB,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;IAC5G,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,oBAAoB,CAAC;IACrC,YAAY,EAAE,YAAY,CAAC;IAC3B,cAAc,EAAE,oBAAoB,CAAC;IACrC,aAAa,EAAE,WAAW,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,EAAE,OAAO,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,WAAW,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,OAAO,CAAC;IACf,aAAa,EAAE,WAAW,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,WAAW,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IACjD,QAAQ,EAAE,gBAAgB,GAAG,aAAa,GAAG,UAAU,GAAG,aAAa,GAAG,eAAe,CAAC;IAC1F,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IAEjC,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,WAAW,EAAE;QACX,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,MAAM,EAAE,CAAC;KACnB,CAAC;IACF,eAAe,EAAE;QACf,OAAO,EAAE,OAAO,CAAC;QACjB,YAAY,EAAE,OAAO,CAAC;QACtB,YAAY,EAAE,OAAO,CAAC;QACtB,eAAe,EAAE,OAAO,CAAC;KAC1B,CAAC;IACF,mBAAmB,EAAE;QACnB,OAAO,EAAE,OAAO,CAAC;QACjB,cAAc,EAAE,OAAO,CAAC;QACxB,qBAAqB,EAAE,OAAO,CAAC;QAC/B,gBAAgB,EAAE,OAAO,CAAC;KAC3B,CAAC;IACF,cAAc,EAAE;QACd,OAAO,EAAE,OAAO,CAAC;QACjB,eAAe,EAAE,OAAO,CAAC;QACzB,oBAAoB,EAAE,OAAO,CAAC;QAC9B,oBAAoB,EAAE,OAAO,CAAC;KAC/B,CAAC;IACF,cAAc,EAAE;QACd,OAAO,EAAE,OAAO,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,OAAO,CAAC;KACnB,CAAC;CACH"}

package/dist/verification/types.js

@@ -0,0 +1,5 @@
+/**
+ * Types for the Verification System
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/verification/types.js.map

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

package/dist/verification/verification-engine.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Verification Engine — SynapseXcoder V6 Autonomous Verification
+ *
+ * Mandatory verification-first execution model.
+ * Nothing is assumed complete without runtime validation.
+ */
+import { VerificationClaim, VerificationResult, Discrepancy } from "./types.js";
+import { DiscrepancyTracker } from "./discrepancy-tracker.js";
+export interface VerificationEngineConfig {
+    repositoryRoot: string;
+    maxAuditDepth: number;
+    failFast: boolean;
+    severityThreshold: "critical" | "high" | "medium" | "low";
+    selfVerification: boolean;
+}
+export interface VerificationReport {
+    timestamp: string;
+    repositoryRoot: string;
+    claimsParsed: number;
+    claimsVerified: number;
+    discrepanciesFound: number;
+    discrepanciesResolved: number;
+    recursivePasses: number;
+    status: "pass" | "fail" | "incomplete";
+    criticalIssues: Discrepancy[];
+    reportPath?: string;
+}
+export declare class VerificationEngine {
+    private readonly config;
+    private readonly claimParser;
+    private readonly runtimeVerifier;
+    private readonly integrationVerifier;
+    private readonly crossReferenceEngine;
+    private readonly discrepancyTracker;
+    private readonly recursiveAuditLoop;
+    private isInitialized;
+    constructor(config?: Partial<VerificationEngineConfig>);
+    initialize(): Promise<void>;
+    private selfVerify;
+    verifyRepository(repositoryRoot: string): Promise<VerificationReport>;
+    verifyClaim(claim: VerificationClaim): Promise<VerificationResult>;
+    private phase1_ScanAndParse;
+    private phase3_FinalPasses;
+    private generateReport;
+    getDiscrepancyTracker(): DiscrepancyTracker;
+    private glob;
+}
+//# sourceMappingURL=verification-engine.d.ts.map

package/dist/verification/verification-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-engine.d.ts","sourceRoot":"","sources":["../../src/verification/verification-engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAKhF,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAI9D,MAAM,WAAW,wBAAwB;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,iBAAiB,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC1D,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;IACvC,cAAc,EAAE,WAAW,EAAE,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA2B;IAClD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAC1C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAkB;IAClD,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAsB;IAC1D,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAuB;IAC5D,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IACxD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IACxD,OAAO,CAAC,aAAa,CAAS;gBAElB,MAAM,CAAC,EAAE,OAAO,CAAC,wBAAwB,CAAC;IAuBhD,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;YAQnB,UAAU;IAuBlB,gBAAgB,CAAC,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAoDrE,WAAW,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,CAAC;YAiC1D,mBAAmB;YAkCnB,kBAAkB;YAiBlB,cAAc;IAM5B,qBAAqB,IAAI,kBAAkB;YAI7B,IAAI;CAYnB"}

package/dist/verification/verification-engine.js

@@ -0,0 +1,203 @@
+/**
+ * Verification Engine — SynapseXcoder V6 Autonomous Verification
+ *
+ * Mandatory verification-first execution model.
+ * Nothing is assumed complete without runtime validation.
+ */
+import { ClaimParser } from "./claim-parser.js";
+import { RuntimeVerifier } from "./runtime-verifier.js";
+import { IntegrationVerifier } from "./integration-verifier.js";
+import { CrossReferenceEngine } from "./cross-reference-engine.js";
+import { DiscrepancyTracker } from "./discrepancy-tracker.js";
+import { RecursiveAuditLoop } from "./recursive-audit-loop.js";
+import { searchFiles } from "../synapsexcoder/tool-bridge.js";
+export class VerificationEngine {
+    config;
+    claimParser;
+    runtimeVerifier;
+    integrationVerifier;
+    crossReferenceEngine;
+    discrepancyTracker;
+    recursiveAuditLoop;
+    isInitialized = false;
+    constructor(config) {
+        this.config = {
+            repositoryRoot: config?.repositoryRoot || process.cwd(),
+            maxAuditDepth: config?.maxAuditDepth ?? 10,
+            failFast: config?.failFast ?? false,
+            severityThreshold: config?.severityThreshold || "critical",
+            selfVerification: config?.selfVerification ?? true,
+        };
+        this.claimParser = new ClaimParser();
+        this.runtimeVerifier = new RuntimeVerifier();
+        this.integrationVerifier = new IntegrationVerifier();
+        this.crossReferenceEngine = new CrossReferenceEngine();
+        this.discrepancyTracker = new DiscrepancyTracker();
+        this.recursiveAuditLoop = new RecursiveAuditLoop(this.claimParser, this.runtimeVerifier, this.integrationVerifier, this.crossReferenceEngine, this.discrepancyTracker);
+    }
+    async initialize() {
+        if (this.isInitialized)
+            return;
+        // Verify all components are properly wired
+        await this.selfVerify();
+        this.isInitialized = true;
+    }
+    async selfVerify() {
+        if (!this.config.selfVerification)
+            return;
+        const selfClaims = [
+            {
+                id: "verification-engine-exists",
+                source: "self",
+                content: "VerificationEngine class exists and is instantiable",
+                expectedBehavior: "Engine initializes without errors",
+                affectedSystems: ["verification"],
+                implementationFiles: ["src/verification/verification-engine.ts"],
+                verificationStatus: "pending",
+            },
+        ];
+        for (const claim of selfClaims) {
+            const result = await this.verifyClaim(claim);
+            if (!result.verified) {
+                throw new Error(`Self-verification failed: ${claim.id} - ${result.details}`);
+            }
+        }
+    }
+    async verifyRepository(repositoryRoot) {
+        if (!this.isInitialized)
+            await this.initialize();
+        const report = {
+            timestamp: new Date().toISOString(),
+            repositoryRoot,
+            claimsParsed: 0,
+            claimsVerified: 0,
+            discrepanciesFound: 0,
+            discrepanciesResolved: 0,
+            recursivePasses: 0,
+            status: "incomplete",
+            criticalIssues: [],
+        };
+        try {
+            // Phase 1: Scan repository and parse all claims
+            const claims = await this.phase1_ScanAndParse(repositoryRoot);
+            report.claimsParsed = claims.length;
+            // Phase 2: Recursive audit loop
+            const auditResult = await this.recursiveAuditLoop.execute(claims, this.config.maxAuditDepth);
+            report.claimsVerified = auditResult.claimsVerified;
+            report.discrepanciesFound = auditResult.discrepanciesFound;
+            report.discrepanciesResolved = auditResult.discrepanciesResolved;
+            report.recursivePasses = auditResult.passes;
+            // Phase 3: Final verification passes
+            await this.phase3_FinalPasses(repositoryRoot);
+            // Determine final status
+            const criticalUnresolved = this.discrepancyTracker.getUnresolvedBySeverity("critical");
+            report.criticalIssues = criticalUnresolved;
+            if (criticalUnresolved.length > 0) {
+                report.status = "fail";
+            }
+            else if (report.discrepanciesFound > report.discrepanciesResolved) {
+                report.status = "incomplete";
+            }
+            else {
+                report.status = "pass";
+            }
+            // Generate report file
+            report.reportPath = await this.generateReport(report);
+        }
+        catch (error) {
+            report.status = "fail";
+            throw error;
+        }
+        return report;
+    }
+    async verifyClaim(claim) {
+        // Trace implementation
+        const implementation = await this.runtimeVerifier.traceImplementation(claim);
+        // Verify runtime wiring
+        const runtimeCheck = await this.runtimeVerifier.verifyRuntimeWiring(claim);
+        // Cross-reference with docs, tests, configs
+        const crossRef = await this.crossReferenceEngine.crossReference(claim);
+        const verified = implementation.exists && runtimeCheck.wired && crossRef.consistent;
+        const discrepancies = [
+            ...(implementation.discrepancies || []),
+            ...(runtimeCheck.discrepancies || []),
+            ...(crossRef.discrepancies || []),
+        ];
+        // Track discrepancies
+        for (const disc of discrepancies) {
+            this.discrepancyTracker.track(disc);
+        }
+        return {
+            claimId: claim.id,
+            verified,
+            details: verified ? "All checks passed" : `Failed: ${discrepancies.map(d => d.description).join("; ")}`,
+            implementation,
+            runtimeCheck,
+            crossReference: crossRef,
+            discrepancies,
+        };
+    }
+    async phase1_ScanAndParse(repositoryRoot) {
+        const scanDirectories = [
+            "src",
+            "app",
+            "server",
+            "client",
+            "packages",
+            "modules",
+            "services",
+            "scripts",
+            "tests",
+            "docs",
+            "config",
+            ".github",
+        ];
+        const allClaims = [];
+        for (const dir of scanDirectories) {
+            const fullPath = `${repositoryRoot}/${dir}`;
+            const claims = await this.claimParser.parseFromDirectory(fullPath);
+            allClaims.push(...claims);
+        }
+        // Also parse from root-level markdown files
+        const rootFiles = await this.glob({ pattern: "*.md", path: repositoryRoot });
+        for (const file of rootFiles) {
+            const claims = await this.claimParser.parseFromFile(file);
+            allClaims.push(...claims);
+        }
+        return allClaims;
+    }
+    async phase3_FinalPasses(_repositoryRoot) {
+        // Pass 1: Claim reconciliation
+        await this.crossReferenceEngine.reconcileClaims(this.config.repositoryRoot);
+        // Pass 2: Implementation reconciliation
+        // Would verify all implementations remain active and complete
+        // Pass 3: Runtime validation
+        // Would validate builds, startup, runtime execution, APIs, etc.
+        // Pass 4: Regression audit
+        await this.recursiveAuditLoop.regressionAudit(this.config.repositoryRoot);
+        // Pass 5: Final cross-reference audit
+        // Would perform final reconciliation
+    }
+    async generateReport(_report) {
+        const reportPath = "/tmp/verification-report.json";
+        // In real implementation, would use writeFile
+        return reportPath;
+    }
+    getDiscrepancyTracker() {
+        return this.discrepancyTracker;
+    }
+    async glob(options) {
+        // Use tool-bridge searchFiles for glob functionality
+        try {
+            const result = await searchFiles(options.pattern, { path: options.path });
+            if (result.success && result.output) {
+                return result.output.split("\n").filter(f => f.trim());
+            }
+        }
+        catch (error) {
+            // Return empty on error
+        }
+        return [];
+    }
+}
+//# sourceMappingURL=verification-engine.js.map

package/dist/verification/verification-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-engine.js","sourceRoot":"","sources":["../../src/verification/verification-engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAuB9D,MAAM,OAAO,kBAAkB;IACZ,MAAM,CAA2B;IACjC,WAAW,CAAc;IACzB,eAAe,CAAkB;IACjC,mBAAmB,CAAsB;IACzC,oBAAoB,CAAuB;IAC3C,kBAAkB,CAAqB;IACvC,kBAAkB,CAAqB;IAChD,aAAa,GAAG,KAAK,CAAC;IAE9B,YAAY,MAA0C;QACpD,IAAI,CAAC,MAAM,GAAG;YACZ,cAAc,EAAE,MAAM,EAAE,cAAc,IAAI,OAAO,CAAC,GAAG,EAAE;YACvD,aAAa,EAAE,MAAM,EAAE,aAAa,IAAI,EAAE;YAC1C,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,KAAK;YACnC,iBAAiB,EAAE,MAAM,EAAE,iBAAiB,IAAI,UAAU;YAC1D,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,IAAI,IAAI;SACnD,CAAC;QAEF,IAAI,CAAC,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,eAAe,GAAG,IAAI,eAAe,EAAE,CAAC;QAC7C,IAAI,CAAC,mBAAmB,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACrD,IAAI,CAAC,oBAAoB,GAAG,IAAI,oBAAoB,EAAE,CAAC;QACvD,IAAI,CAAC,kBAAkB,GAAG,IAAI,kBAAkB,EAAE,CAAC;QACnD,IAAI,CAAC,kBAAkB,GAAG,IAAI,kBAAkB,CAC9C,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,mBAAmB,EACxB,IAAI,CAAC,oBAAoB,EACzB,IAAI,CAAC,kBAAkB,CACxB,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,UAAU;QACd,IAAI,IAAI,CAAC,aAAa;YAAE,OAAO;QAE/B,2CAA2C;QAC3C,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;IAC5B,CAAC;IAEO,KAAK,CAAC,UAAU;QACtB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB;YAAE,OAAO;QAE1C,MAAM,UAAU,GAAwB;YACtC;gBACE,EAAE,EAAE,4BAA4B;gBAChC,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,qDAAqD;gBAC9D,gBAAgB,EAAE,mCAAmC;gBACrD,eAAe,EAAE,CAAC,cAAc,CAAC;gBACjC,mBAAmB,EAAE,CAAC,yCAAyC,CAAC;gBAChE,kBAAkB,EAAE,SAAS;aAC9B;SACF,CAAC;QAEF,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,6BAA6B,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,cAAsB;QAC3C,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;QAEjD,MAAM,MAAM,GAAuB;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,cAAc;YACd,YAAY,EAAE,CAAC;YACf,cAAc,EAAE,CAAC;YACjB,kBAAkB,EAAE,CAAC;YACrB,qBAAqB,EAAE,CAAC;YACxB,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,YAAY;YACpB,cAAc,EAAE,EAAE;SACnB,CAAC;QAEF,IAAI,CAAC;YACH,gDAAgD;YAChD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;YAC9D,MAAM,CAAC,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;YAEpC,gCAAgC;YAChC,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YAC7F,MAAM,CAAC,cAAc,GAAG,WAAW,CAAC,cAAc,CAAC;YACnD,MAAM,CAAC,kBAAkB,GAAG,WAAW,CAAC,kBAAkB,CAAC;YAC3D,MAAM,CAAC,qBAAqB,GAAG,WAAW,CAAC,qBAAqB,CAAC;YACjE,MAAM,CAAC,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC;YAE5C,qCAAqC;YACrC,MAAM,IAAI,CAAC,kBAAkB,CAAC,cAAc,CAAC,CAAC;YAE9C,yBAAyB;YACzB,MAAM,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;YACvF,MAAM,CAAC,cAAc,GAAG,kBAAkB,CAAC;YAE3C,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,CAAC;iBAAM,IAAI,MAAM,CAAC,kBAAkB,GAAG,MAAM,CAAC,qBAAqB,EAAE,CAAC;gBACpE,MAAM,CAAC,MAAM,GAAG,YAAY,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,CAAC;YAED,uBAAuB;YACvB,MAAM,CAAC,UAAU,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACvB,MAAM,KAAK,CAAC;QACd,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,KAAwB;QACxC,uBAAuB;QACvB,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAE7E,wBAAwB;QACxB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAE3E,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAEvE,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,IAAI,YAAY,CAAC,KAAK,IAAI,QAAQ,CAAC,UAAU,CAAC;QACpF,MAAM,aAAa,GAAG;YACpB,GAAG,CAAC,cAAc,CAAC,aAAa,IAAI,EAAE,CAAC;YACvC,GAAG,CAAC,YAAY,CAAC,aAAa,IAAI,EAAE,CAAC;YACrC,GAAG,CAAC,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;SAClC,CAAC;QAEF,sBAAsB;QACtB,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QAED,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,QAAQ;YACR,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,WAAW,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACvG,cAAc;YACd,YAAY;YACZ,cAAc,EAAE,QAAQ;YACxB,aAAa;SACd,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,mBAAmB,CAAC,cAAsB;QACtD,MAAM,eAAe,GAAG;YACtB,KAAK;YACL,KAAK;YACL,QAAQ;YACR,QAAQ;YACR,UAAU;YACV,SAAS;YACT,UAAU;YACV,SAAS;YACT,OAAO;YACP,MAAM;YACN,QAAQ;YACR,SAAS;SACV,CAAC;QAEF,MAAM,SAAS,GAAwB,EAAE,CAAC;QAE1C,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,GAAG,cAAc,IAAI,GAAG,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YACnE,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QAC5B,CAAC;QAED,4CAA4C;QAC5C,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAC1D,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QAC5B,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAEO,KAAK,CAAC,kBAAkB,CAAC,eAAuB;QACtD,+BAA+B;QAC/B,MAAM,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAE5E,wCAAwC;QACxC,8DAA8D;QAE9D,6BAA6B;QAC7B,gEAAgE;QAEhE,2BAA2B;QAC3B,MAAM,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAE1E,sCAAsC;QACtC,qCAAqC;IACvC,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,OAA2B;QACtD,MAAM,UAAU,GAAG,+BAA+B,CAAC;QACnD,8CAA8C;QAC9C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,qBAAqB;QACnB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,IAAI,CAAC,OAA0C;QAC3D,qDAAqD;QACrD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1E,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBACpC,OAAQ,MAAM,CAAC,MAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,wBAAwB;QAC1B,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF"}

package/opencode-agents/synapse-analyzer.md

@@ -0,0 +1,64 @@
+---
+description: SynapseXcoder V6 Analyzer Agent - inspects code for issues and patterns
+mode: subagent
+model: opencode/claude-sonnet-4
+temperature: 0.1
+hidden: false
+permission:
+  task: allow
+  read: allow
+  list: allow
+  glob: allow
+  grep: allow
+  ripgrep: allow
+  question: allow
+  todoread: allow
+  todowrite: deny
+  write: deny
+  edit: deny
+  patch: deny
+  lsp: allow
+  bash: allow
+  skill: allow
+  webfetch: allow
+  websearch: allow
+color: "#FFA500"
+---
+
+You are the SynapseXcoder V6 Analyzer Agent. Your responsibility:
+
+1. Perform multi-phase code analysis
+2. Detect syntax and structural issues
+3. Identify logical flaws and inefficiencies
+4. Scan for security vulnerabilities
+5. Assess code quality and best practices
+
+Analysis Phases:
+a) Syntax & Structure - Parse errors, malformed blocks
+b) Logical Inference - Unreachable code, circular deps
+c) Contextual Analysis - Purpose, intent, domain fit
+d) Bug & Vulnerability - Security, memory, API misuse
+
+Output Format:
+
+```json
+{
+  "file": "path/to/file",
+  "issues": [
+    {
+      "type": "syntax|logic|security|quality",
+      "severity": "critical|high|medium|low",
+      "line": 42,
+      "description": "What the issue is",
+      "recommendation": "How to fix it"
+    }
+  ],
+  "metrics": {
+    "complexity": 15,
+    "maintainability": "B",
+    "technical_debt": "2 hours"
+  }
+}
+```
+
+Be thorough but precise. False positives erode trust.