codehere 0.1.0 → 0.3.0

package/dist/verification/backup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backup.js","sourceRoot":"","sources":["../../src/verification/backup.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAC3G,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAE/C,OAAO,EAAE,eAAe,EAAE,MAAM,qDAAqD,CAAC;AAEtF,MAAM,UAAU,GAAG,mBAAmB,CAAC;AACvC,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,+BAA+B;AAQtD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,QAAgB;IAC/C,IAAI,CAAC;QACH,qBAAqB;QACrB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,mBAAmB,QAAQ,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,eAAe,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAExD,0BAA0B;QAC1B,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAE/C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QAED,0CAA0C;QAC1C,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,QAAQ,IAAI,SAAS,SAAS,CAAC,CAAC;QAEtE,eAAe;QACf,aAAa,CAAC,UAAU,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QAEpD,8CAA8C;QAC9C,MAAM,KAAK,GAAG,eAAe,CAAC,eAAe,EAAE,CAAC;QAChD,IAAI,KAAK,EAAE,CAAC;YACV,eAAe,CAAC,KAAK,CAAC;gBACpB,aAAa,EAAE,gBAAgB;gBAC/B,aAAa,EAAE,QAAQ;gBACvB,KAAK,EAAE,EAAE,QAAQ,EAAE;gBACnB,MAAM,EAAE,EAAE,UAAU,EAAE;gBACtB,QAAQ,EAAE;oBACR,KAAK;oBACL,QAAQ;oBACR,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACpC;aACF,CAAC,CAAC;QACL,CAAC;QAED,qCAAqC;QACrC,MAAM,iBAAiB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAE7C,OAAO,UAAU,CAAC;IACpB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACxG,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,QAAgB,EAChB,UAAmB;IAEnB,IAAI,CAAC;QACH,sDAAsD;QACtD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,YAAY,GAAG,MAAM,gBAAgB,CAAC,QAAQ,CAAC,CAAC;YACtD,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CAAC,6BAA6B,QAAQ,EAAE,CAAC,CAAC;YAC3D,CAAC;YACD,UAAU,GAAG,YAAY,CAAC;QAC5B,CAAC;QAED,uBAAuB;QACvB,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,0BAA0B,UAAU,EAAE,CAAC,CAAC;QAC1D,CAAC;QAED,sBAAsB;QACtB,MAAM,aAAa,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAExD,wBAAwB;QACxB,aAAa,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;QAEhD,2BAA2B;QAC3B,MAAM,KAAK,GAAG,eAAe,CAAC,eAAe,EAAE,CAAC;QAChD,IAAI,KAAK,EAAE,CAAC;YACV,eAAe,CAAC,KAAK,CAAC;gBACpB,aAAa,EAAE,gBAAgB;gBAC/B,aAAa,EAAE,UAAU;gBACzB,KAAK,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE;gBAC/B,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;gBAC1B,QAAQ,EAAE;oBACR,KAAK;oBACL,QAAQ;oBACR,UAAU;oBACV,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACpC;aACF,CAAC,CAAC;QACL,CAAC;IAEH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACxG,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,QAAgB;IACrD,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAE/C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC;aACjC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;aAC3E,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;aAClC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAEpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,2CAA2C;QAC3C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,OAAO,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;IAC/C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB;IAChD,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAE/C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC;aACjC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;aAC3E,GAAG,CAAC,IAAI,CAAC,EAAE;YACV,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC;YACd,CAAC;YAED,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;YAClC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACxD,IAAI,SAAe,CAAC;YACpB,IAAI,cAAc,EAAE,CAAC;gBACnB,wEAAwE;gBACxE,kDAAkD;gBAClD,MAAM,YAAY,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBACvC,wDAAwD;gBACxD,mCAAmC;gBACnC,oCAAoC;gBACpC,MAAM,MAAM,GAAG,YAAY;qBACxB,OAAO,CAAC,oCAAoC,EAAE,eAAe,CAAC,CAAC;gBAClE,IAAI,CAAC;oBACH,SAAS,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;oBAC7B,gBAAgB;oBAChB,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;wBAC/B,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,yBAAyB;oBACnD,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,yBAAyB;gBACnD,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,CAAC;YAED,OAAO;gBACL,UAAU;gBACV,YAAY,EAAE,QAAQ;gBACtB,SAAS;aACV,CAAC;QACJ,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,IAAI,EAAsB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAEvD,mCAAmC;QACnC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAEpE,OAAO,KAAK,CAAC;IACf,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,iBAAiB,CAAC,SAAiB,EAAE,QAAgB;IAClE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC;aACjC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;aAC3E,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;aAClC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAEpC,IAAI,KAAK,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;YAChC,OAAO,CAAC,oBAAoB;QAC9B,CAAC;QAED,2CAA2C;QAC3C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC1B,OAAO,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,wBAAwB;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC;QAC5D,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACH,UAAU,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;YAAC,MAAM,CAAC;gBACP,yBAAyB;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,sDAAsD;IACxD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,QAAgB;IACrD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,IAAI,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;oBAClC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,yBAAyB;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,wBAAwB;IAC1B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,QAAgB;IACvC,IAAI,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1C,OAAO,UAAU,KAAK,IAAI,EAAE,CAAC;QAC3B,IACE,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EACpC,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM;QACR,CAAC;QACD,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/verification/compiler.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Compilation Verification Module
+ * Verifies TypeScript and JavaScript code compiles/syntax checks correctly
+ */
+export interface CompilationResult {
+    success: boolean;
+    errors: string[];
+    warnings: string[];
+    output?: string;
+}
+export interface CompilationOptions {
+    timeout?: number;
+    skipLibCheck?: boolean;
+    strict?: boolean;
+}
+/**
+ * Verify code compilation based on file type
+ */
+export declare function verifyCompilation(filepath: string, code?: string, options?: CompilationOptions): Promise<CompilationResult>;
+//# sourceMappingURL=compiler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/verification/compiler.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAQH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,MAAM,EACb,OAAO,GAAE,kBAAuB,GAC/B,OAAO,CAAC,iBAAiB,CAAC,CA2B5B"}

package/dist/verification/compiler.js

@@ -0,0 +1,263 @@
+/**
+ * Compilation Verification Module
+ * Verifies TypeScript and JavaScript code compiles/syntax checks correctly
+ */
+import { readFileSync, existsSync } from 'fs';
+import { join, dirname, extname } from 'path';
+import { execSync } from 'child_process';
+import { mkdirSync, writeFileSync, unlinkSync } from 'fs';
+import { tmpdir } from 'os';
+/**
+ * Verify code compilation based on file type
+ */
+export async function verifyCompilation(filepath, code, options = {}) {
+    const ext = extname(filepath).toLowerCase();
+    // Use provided code or read from file
+    const codeToCheck = code || (existsSync(filepath) ? readFileSync(filepath, 'utf-8') : '');
+    if (!codeToCheck) {
+        return {
+            success: false,
+            errors: ['No code provided and file does not exist'],
+            warnings: [],
+        };
+    }
+    // Route to appropriate verifier
+    if (ext === '.ts' || ext === '.tsx') {
+        return await verifyTypeScriptCompilation(filepath, codeToCheck, options);
+    }
+    else if (ext === '.js' || ext === '.jsx') {
+        return await verifyJavaScriptSyntax(filepath, codeToCheck, options);
+    }
+    // Unknown file type - skip verification
+    return {
+        success: true,
+        errors: [],
+        warnings: [`Unknown file type ${ext}, skipping compilation check`],
+    };
+}
+/**
+ * Verify TypeScript compilation
+ */
+async function verifyTypeScriptCompilation(filepath, code, options = {}) {
+    const errors = [];
+    const warnings = [];
+    const timeout = options.timeout || 30000; // 30 seconds default
+    const skipLibCheck = options.skipLibCheck !== false; // Default to true
+    try {
+        // Create temporary file for checking
+        const tmpDir = join(tmpdir(), 'codehere-verification');
+        if (!existsSync(tmpDir)) {
+            mkdirSync(tmpDir, { recursive: true });
+        }
+        const tmpFile = join(tmpDir, `check-${Date.now()}.ts`);
+        writeFileSync(tmpFile, code, 'utf-8');
+        try {
+            // Build tsc command
+            const tscArgs = [
+                '--noEmit',
+                skipLibCheck ? '--skipLibCheck' : '',
+                '--strict',
+                `"${tmpFile}"`,
+            ].filter(Boolean).join(' ');
+            // Try to find tsconfig.json in project root
+            const projectDir = findProjectRoot(filepath);
+            const hasTsConfig = projectDir && (existsSync(join(projectDir, 'tsconfig.json')) ||
+                existsSync(join(projectDir, 'tsconfig.base.json')));
+            let command;
+            if (hasTsConfig && projectDir) {
+                // Use project tsconfig.json
+                command = `cd "${projectDir}" && npx tsc ${tscArgs}`;
+            }
+            else {
+                // Use standalone file check
+                command = `npx tsc ${tscArgs}`;
+            }
+            const result = execSync(command, {
+                encoding: 'utf-8',
+                stdio: 'pipe',
+                timeout,
+                cwd: projectDir || dirname(filepath),
+            });
+            // If execution succeeded with no output, compilation passed
+            if (!result || result.trim().length === 0) {
+                return { success: true, errors: [], warnings: [] };
+            }
+            // Parse output for errors and warnings (enhanced pattern detection)
+            const lines = result.split('\n');
+            for (const line of lines) {
+                const trimmedLine = line.trim();
+                // Enhanced error detection patterns
+                if (trimmedLine.includes('error TS') ||
+                    trimmedLine.match(/error\s+TS\d+/i) ||
+                    trimmedLine.includes('Cannot find') ||
+                    trimmedLine.includes('is not defined') ||
+                    trimmedLine.includes('has no exported member') ||
+                    trimmedLine.includes('Property') && trimmedLine.includes('does not exist') ||
+                    trimmedLine.includes('Type') && trimmedLine.includes('is not assignable')) {
+                    errors.push(trimmedLine);
+                }
+                else if (trimmedLine.includes('warning TS') || trimmedLine.match(/warning\s+TS\d+/i)) {
+                    warnings.push(trimmedLine);
+                }
+            }
+            return {
+                success: errors.length === 0,
+                errors,
+                warnings,
+                output: result,
+            };
+        }
+        finally {
+            // Clean up temp file
+            try {
+                if (existsSync(tmpFile)) {
+                    unlinkSync(tmpFile);
+                }
+            }
+            catch {
+                // Ignore cleanup errors
+            }
+        }
+    }
+    catch (error) {
+        // execSync throws on non-zero exit code
+        const output = error.stdout || error.stderr || error.message || '';
+        const errorOutput = String(output);
+        // Parse error output (enhanced pattern detection)
+        const lines = errorOutput.split('\n');
+        for (const line of lines) {
+            const trimmedLine = line.trim();
+            // Enhanced error detection patterns
+            if (trimmedLine.includes('error TS') ||
+                trimmedLine.match(/error\s+TS\d+/i) ||
+                trimmedLine.includes('Cannot find') ||
+                trimmedLine.includes('is not defined') ||
+                trimmedLine.includes('has no exported member') ||
+                trimmedLine.includes('Property') && trimmedLine.includes('does not exist') ||
+                trimmedLine.includes('Type') && trimmedLine.includes('is not assignable') ||
+                trimmedLine.includes('Module') && trimmedLine.includes('has no exported member')) {
+                errors.push(trimmedLine);
+            }
+            else if (trimmedLine.includes('warning TS') || trimmedLine.match(/warning\s+TS\d+/i)) {
+                warnings.push(trimmedLine);
+            }
+        }
+        // If no structured errors found, try to extract meaningful error patterns
+        if (errors.length === 0) {
+            // Look for common error patterns in output
+            const errorPatterns = [
+                /(?:error|Error)[:\s]+(.+)/i,
+                /(?:failed|Failed)[:\s]+(.+)/i,
+                /(?:cannot|Cannot)[:\s]+(.+)/i,
+                /(?:undefined|Undefined)[:\s]+(.+)/i,
+            ];
+            let foundError = false;
+            for (const pattern of errorPatterns) {
+                const match = errorOutput.match(pattern);
+                if (match && match[1]) {
+                    errors.push(`TypeScript compilation error: ${match[1].trim().substring(0, 200)}`);
+                    foundError = true;
+                    break;
+                }
+            }
+            if (!foundError) {
+                errors.push(`TypeScript compilation failed: ${errorOutput.substring(0, 500)}`);
+            }
+        }
+        // Check for timeout
+        if (error.signal === 'SIGTERM' || errorOutput.includes('timeout')) {
+            errors.push('Compilation check timed out');
+        }
+        // Check if tsc is available
+        if (errorOutput.includes('command not found') || errorOutput.includes('Cannot find module')) {
+            warnings.push('TypeScript compiler (tsc) not found. Install it with: npm install -D typescript');
+            // Don't fail if tsc is not installed - this is a warning, not an error
+            return {
+                success: true, // Allow to proceed if compiler not available
+                errors: [],
+                warnings: ['TypeScript compiler not available, skipping compilation check'],
+            };
+        }
+        return {
+            success: false,
+            errors,
+            warnings,
+            output: errorOutput,
+        };
+    }
+}
+/**
+ * Verify JavaScript syntax
+ */
+async function verifyJavaScriptSyntax(filepath, code, options = {}) {
+    const errors = [];
+    const warnings = [];
+    try {
+        // Basic syntax check using Node.js parser
+        // Use Function constructor for syntax-only check (doesn't execute)
+        try {
+            new Function(code);
+        }
+        catch (parseError) {
+            // Extract meaningful error message
+            const errorMsg = parseError.message || String(parseError);
+            // Try to extract line number if available
+            const lineMatch = errorMsg.match(/line (\d+)/i) || errorMsg.match(/:(\d+):/);
+            const lineNum = lineMatch ? lineMatch[1] : '?';
+            errors.push(`Syntax error at line ${lineNum}: ${errorMsg}`);
+            return {
+                success: false,
+                errors,
+                warnings,
+            };
+        }
+        // Additional check: Try to parse as ES module
+        // This catches import/export syntax errors
+        try {
+            // Create temporary file and try to load it as module
+            // This is a lightweight check
+            if (code.includes('import ') || code.includes('export ')) {
+                // For ES modules, we'd need more sophisticated checking
+                // For now, syntax check is sufficient
+            }
+        }
+        catch (moduleError) {
+            warnings.push(`Module syntax warning: ${moduleError instanceof Error ? moduleError.message : String(moduleError)}`);
+        }
+        return {
+            success: true,
+            errors: [],
+            warnings,
+        };
+    }
+    catch (error) {
+        errors.push(`JavaScript syntax check failed: ${error instanceof Error ? error.message : String(error)}`);
+        return {
+            success: false,
+            errors,
+            warnings,
+        };
+    }
+}
+/**
+ * Find project root (where package.json or tsconfig.json is)
+ */
+function findProjectRoot(filepath) {
+    let currentDir = dirname(filepath);
+    const root = currentDir.split(/[/\\]/)[0]; // Get filesystem root
+    // Walk up directory tree
+    while (currentDir !== root) {
+        if (existsSync(join(currentDir, 'package.json')) ||
+            existsSync(join(currentDir, 'tsconfig.json')) ||
+            existsSync(join(currentDir, 'tsconfig.base.json'))) {
+            return currentDir;
+        }
+        const parentDir = dirname(currentDir);
+        if (parentDir === currentDir) {
+            break; // Reached root
+        }
+        currentDir = parentDir;
+    }
+    return null;
+}
+//# sourceMappingURL=compiler.js.map

package/dist/verification/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../src/verification/compiler.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC;AAe5B;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,QAAgB,EAChB,IAAa,EACb,UAA8B,EAAE;IAEhC,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IAE5C,sCAAsC;IACtC,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE1F,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,CAAC,0CAA0C,CAAC;YACpD,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACpC,OAAO,MAAM,2BAA2B,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC3E,CAAC;SAAM,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC3C,OAAO,MAAM,sBAAsB,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,wCAAwC;IACxC,OAAO;QACL,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,CAAC,qBAAqB,GAAG,8BAA8B,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,2BAA2B,CACxC,QAAgB,EAChB,IAAY,EACZ,UAA8B,EAAE;IAEhC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC,qBAAqB;IAC/D,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,kBAAkB;IAEvE,IAAI,CAAC;QACH,qCAAqC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACvD,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtC,IAAI,CAAC;YACH,oBAAoB;YACpB,MAAM,OAAO,GAAG;gBACd,UAAU;gBACV,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE;gBACpC,UAAU;gBACV,IAAI,OAAO,GAAG;aACf,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE5B,4CAA4C;YAC5C,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,WAAW,GAAG,UAAU,IAAI,CAChC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;gBAC7C,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC,CACnD,CAAC;YAEF,IAAI,OAAe,CAAC;YACpB,IAAI,WAAW,IAAI,UAAU,EAAE,CAAC;gBAC9B,4BAA4B;gBAC5B,OAAO,GAAG,OAAO,UAAU,gBAAgB,OAAO,EAAE,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACN,4BAA4B;gBAC5B,OAAO,GAAG,WAAW,OAAO,EAAE,CAAC;YACjC,CAAC;YAED,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE;gBAC/B,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,MAAM;gBACb,OAAO;gBACP,GAAG,EAAE,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC;aACrC,CAAC,CAAC;YAEH,4DAA4D;YAC5D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACrD,CAAC;YAED,oEAAoE;YACpE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChC,oCAAoC;gBACpC,IAAI,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAChC,WAAW,CAAC,KAAK,CAAC,gBAAgB,CAAC;oBACnC,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC;oBACnC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC;oBACtC,WAAW,CAAC,QAAQ,CAAC,wBAAwB,CAAC;oBAC9C,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC;oBAC1E,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;oBAC9E,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBACvF,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YAED,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC5B,MAAM;gBACN,QAAQ;gBACR,MAAM,EAAE,MAAM;aACf,CAAC;QAEJ,CAAC;gBAAS,CAAC;YACT,qBAAqB;YACrB,IAAI,CAAC;gBACH,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxB,UAAU,CAAC,OAAO,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,wBAAwB;YAC1B,CAAC;QACH,CAAC;IAEH,CAAC;IAAC,OAAO,KAAU,EAAE,CAAC;QACpB,wCAAwC;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;QACnE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAEnC,kDAAkD;QAClD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAChC,oCAAoC;YACpC,IAAI,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAChC,WAAW,CAAC,KAAK,CAAC,gBAAgB,CAAC;gBACnC,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC;gBACnC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBACtC,WAAW,CAAC,QAAQ,CAAC,wBAAwB,CAAC;gBAC9C,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBAC1E,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC;gBACzE,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CAAC;gBACrF,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC3B,CAAC;iBAAM,IAAI,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACvF,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,2CAA2C;YAC3C,MAAM,aAAa,GAAG;gBACpB,4BAA4B;gBAC5B,8BAA8B;gBAC9B,8BAA8B;gBAC9B,oCAAoC;aACrC,CAAC;YAEF,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACzC,IAAI,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtB,MAAM,CAAC,IAAI,CAAC,iCAAiC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;oBAClF,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACR,CAAC;YACH,CAAC;YAED,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,CAAC,IAAI,CAAC,kCAAkC,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC7C,CAAC;QAED,4BAA4B;QAC5B,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC5F,QAAQ,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAC;YACjG,uEAAuE;YACvE,OAAO;gBACL,OAAO,EAAE,IAAI,EAAE,6CAA6C;gBAC5D,MAAM,EAAE,EAAE;gBACV,QAAQ,EAAE,CAAC,+DAA+D,CAAC;aAC5E,CAAC;QACJ,CAAC;QAED,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM;YACN,QAAQ;YACR,MAAM,EAAE,WAAW;SACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,sBAAsB,CACnC,QAAgB,EAChB,IAAY,EACZ,UAA8B,EAAE;IAEhC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,IAAI,CAAC;QACH,0CAA0C;QAC1C,mEAAmE;QACnE,IAAI,CAAC;YACH,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QAAC,OAAO,UAAe,EAAE,CAAC;YACzB,mCAAmC;YACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;YAE1D,0CAA0C;YAC1C,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC7E,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAE/C,MAAM,CAAC,IAAI,CAAC,wBAAwB,OAAO,KAAK,QAAQ,EAAE,CAAC,CAAC;YAC5D,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM;gBACN,QAAQ;aACT,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,2CAA2C;QAC3C,IAAI,CAAC;YACH,qDAAqD;YACrD,8BAA8B;YAC9B,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzD,wDAAwD;gBACxD,sCAAsC;YACxC,CAAC;QACH,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,0BAA0B,WAAW,YAAY,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACtH,CAAC;QAED,OAAO;YACL,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,EAAE;YACV,QAAQ;SACT,CAAC;IAEJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,mCAAmC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzG,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM;YACN,QAAQ;SACT,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,QAAgB;IACvC,IAAI,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;IAEjE,yBAAyB;IACzB,OAAO,UAAU,KAAK,IAAI,EAAE,CAAC;QAC3B,IACE,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC,EAClD,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,CAAC,eAAe;QACxB,CAAC;QACD,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/verification/index.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Unified Verification Interface
+ * Provides a single entry point for all verification operations
+ */
+import { type CompilationResult, type CompilationOptions } from './compiler.js';
+import { type TestResult, type TestRunnerOptions } from './test-runner.js';
+export interface VerificationOptions {
+    verifyCompilation?: boolean;
+    runTests?: boolean;
+    autoRollback?: boolean;
+    compilationOptions?: CompilationOptions;
+    testOptions?: TestRunnerOptions;
+}
+export interface VerificationResult {
+    success: boolean;
+    compiled: boolean;
+    testsPassed: boolean;
+    compilationResult?: CompilationResult;
+    testResult?: TestResult;
+    errors: string[];
+    warnings: string[];
+    rollbackRequired: boolean;
+    backupPath?: string;
+}
+/**
+ * Verify file after edit
+ *
+ * This function:
+ * 1. Creates a backup (if autoRollback is enabled)
+ * 2. Verifies compilation (if verifyCompilation is enabled)
+ * 3. Runs tests (if runTests is enabled)
+ * 4. Returns comprehensive result
+ *
+ * Use with applyEditWithVerification() for automatic rollback on failure
+ */
+export declare function verifyFile(filepath: string, options?: VerificationOptions): Promise<VerificationResult>;
+/**
+ * Apply edit with automatic verification and rollback
+ *
+ * This is the main function to use for safe code edits.
+ * It:
+ * 1. Creates backup
+ * 2. Applies edit (you provide the new content)
+ * 3. Verifies compilation and tests
+ * 4. Rolls back automatically on failure
+ */
+export declare function applyEditWithVerification(filepath: string, newContent: string, options?: VerificationOptions): Promise<{
+    success: boolean;
+    verified: boolean;
+    result: VerificationResult;
+    rolledBack: boolean;
+}>;
+export type { CompilationResult, CompilationOptions } from './compiler.js';
+export type { TestResult, TestRunnerOptions, TestFramework } from './test-runner.js';
+export type { BackupInfo } from './backup.js';
+export { verifyCompilation } from './compiler.js';
+export { runTests, detectTestFramework } from './test-runner.js';
+export { backupFile, rollbackFile, findLatestBackup, listBackups, deleteAllBackups } from './backup.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAqB,KAAK,iBAAiB,EAAE,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnG,OAAO,EAAY,KAAK,UAAU,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrF,MAAM,WAAW,mBAAmB;IAClC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,WAAW,CAAC,EAAE,iBAAiB,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,UAAU,CAC9B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,kBAAkB,CAAC,CA0F7B;AAED;;;;;;;;;GASG;AACH,wBAAsB,yBAAyB,CAC7C,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC;IACT,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC,CAkKD;AAGD,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAC3E,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACrF,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC"}

package/dist/verification/index.js

@@ -0,0 +1,273 @@
+/**
+ * Unified Verification Interface
+ * Provides a single entry point for all verification operations
+ */
+import { existsSync } from 'fs';
+import { verifyCompilation } from './compiler.js';
+import { runTests } from './test-runner.js';
+import { backupFile, rollbackFile } from './backup.js';
+/**
+ * Verify file after edit
+ *
+ * This function:
+ * 1. Creates a backup (if autoRollback is enabled)
+ * 2. Verifies compilation (if verifyCompilation is enabled)
+ * 3. Runs tests (if runTests is enabled)
+ * 4. Returns comprehensive result
+ *
+ * Use with applyEditWithVerification() for automatic rollback on failure
+ */
+export async function verifyFile(filepath, options = {}) {
+    const { verifyCompilation: shouldVerifyCompilation = true, runTests: shouldRunTests = true, autoRollback: shouldAutoRollback = true, compilationOptions = {}, testOptions = {}, } = options;
+    const result = {
+        success: false,
+        compiled: false,
+        testsPassed: false,
+        errors: [],
+        warnings: [],
+        rollbackRequired: false,
+    };
+    // Create backup if auto-rollback is enabled
+    let backupPath;
+    if (shouldAutoRollback) {
+        try {
+            backupPath = await backupFile(filepath);
+            result.backupPath = backupPath;
+        }
+        catch (error) {
+            result.warnings.push(`Failed to create backup: ${error instanceof Error ? error.message : String(error)}`);
+            // Don't fail verification if backup fails - just warn
+        }
+    }
+    // Step 1: Verify compilation
+    if (shouldVerifyCompilation) {
+        try {
+            const compilationResult = await verifyCompilation(filepath, undefined, compilationOptions);
+            result.compilationResult = compilationResult;
+            result.compiled = compilationResult.success;
+            if (!compilationResult.success) {
+                result.errors.push(...compilationResult.errors);
+                result.rollbackRequired = true;
+            }
+            result.warnings.push(...compilationResult.warnings);
+            // If compilation fails, stop here
+            if (!result.compiled) {
+                result.success = false;
+                return result;
+            }
+        }
+        catch (error) {
+            result.errors.push(`Compilation verification failed: ${error instanceof Error ? error.message : String(error)}`);
+            result.rollbackRequired = true;
+            result.success = false;
+            return result;
+        }
+    }
+    else {
+        // Skip compilation check
+        result.compiled = true;
+    }
+    // Step 2: Run tests (only if compilation succeeded or was skipped)
+    if (shouldRunTests && result.compiled) {
+        try {
+            const testResult = await runTests(filepath, testOptions);
+            result.testResult = testResult;
+            result.testsPassed = testResult.success;
+            if (testResult.ran && !testResult.success) {
+                result.errors.push(...testResult.errors);
+                result.rollbackRequired = true;
+            }
+            if (testResult.ran) {
+                result.warnings.push(...testResult.warnings);
+            }
+        }
+        catch (error) {
+            // Test execution failure is a warning, not an error
+            // (tests might not exist or framework might not be available)
+            result.warnings.push(`Test execution failed: ${error instanceof Error ? error.message : String(error)}`);
+            result.testsPassed = true; // Don't fail if tests can't run
+        }
+    }
+    else {
+        // Skip test check
+        result.testsPassed = true;
+    }
+    // Overall success: compilation passed AND (tests passed OR tests weren't run)
+    result.success = result.compiled && (result.testsPassed || !result.testResult?.ran);
+    return result;
+}
+/**
+ * Apply edit with automatic verification and rollback
+ *
+ * This is the main function to use for safe code edits.
+ * It:
+ * 1. Creates backup
+ * 2. Applies edit (you provide the new content)
+ * 3. Verifies compilation and tests
+ * 4. Rolls back automatically on failure
+ */
+export async function applyEditWithVerification(filepath, newContent, options = {}) {
+    const { writeFileSync } = await import('fs');
+    const { readFileSync: readFile } = await import('fs');
+    // Read original content
+    const originalContent = existsSync(filepath)
+        ? readFile(filepath, 'utf-8')
+        : '';
+    // Create backup
+    let backupPath;
+    try {
+        if (options.autoRollback !== false) {
+            backupPath = await backupFile(filepath);
+        }
+    }
+    catch (error) {
+        return {
+            success: false,
+            verified: false,
+            result: {
+                success: false,
+                compiled: false,
+                testsPassed: false,
+                errors: [`Failed to create backup: ${error instanceof Error ? error.message : String(error)}`],
+                warnings: [],
+                rollbackRequired: true,
+            },
+            rolledBack: false,
+        };
+    }
+    // Write new content
+    try {
+        writeFileSync(filepath, newContent, 'utf-8');
+    }
+    catch (error) {
+        return {
+            success: false,
+            verified: false,
+            result: {
+                success: false,
+                compiled: false,
+                testsPassed: false,
+                errors: [`Failed to write file: ${error instanceof Error ? error.message : String(error)}`],
+                warnings: [],
+                rollbackRequired: true,
+            },
+            rolledBack: false,
+        };
+    }
+    // Verify
+    try {
+        const verificationResult = await verifyFile(filepath, {
+            ...options,
+            autoRollback: false, // Don't create another backup
+        });
+        // Rollback if verification failed
+        if (!verificationResult.success && options.autoRollback !== false) {
+            try {
+                await rollbackFile(filepath, backupPath);
+                return {
+                    success: false,
+                    verified: true,
+                    result: verificationResult,
+                    rolledBack: true,
+                };
+            }
+            catch (rollbackError) {
+                // Rollback failed - try to restore from original content
+                try {
+                    writeFileSync(filepath, originalContent, 'utf-8');
+                    return {
+                        success: false,
+                        verified: true,
+                        result: {
+                            ...verificationResult,
+                            errors: [
+                                ...verificationResult.errors,
+                                `Rollback failed: ${rollbackError instanceof Error ? rollbackError.message : String(rollbackError)}`,
+                            ],
+                        },
+                        rolledBack: true,
+                    };
+                }
+                catch (restoreError) {
+                    return {
+                        success: false,
+                        verified: true,
+                        result: {
+                            ...verificationResult,
+                            errors: [
+                                ...verificationResult.errors,
+                                `Rollback and restore both failed. File may be in inconsistent state.`,
+                            ],
+                        },
+                        rolledBack: false, // Rollback failed
+                    };
+                }
+            }
+        }
+        // Verification passed or rollback disabled
+        return {
+            success: verificationResult.success,
+            verified: true,
+            result: verificationResult,
+            rolledBack: false,
+        };
+    }
+    catch (error) {
+        // Verification threw an error - rollback
+        if (options.autoRollback !== false) {
+            try {
+                await rollbackFile(filepath, backupPath);
+                return {
+                    success: false,
+                    verified: false,
+                    result: {
+                        success: false,
+                        compiled: false,
+                        testsPassed: false,
+                        errors: [`Verification failed: ${error instanceof Error ? error.message : String(error)}`],
+                        warnings: [],
+                        rollbackRequired: true,
+                    },
+                    rolledBack: true,
+                };
+            }
+            catch (rollbackError) {
+                // Rollback failed
+                writeFileSync(filepath, originalContent, 'utf-8');
+                return {
+                    success: false,
+                    verified: false,
+                    result: {
+                        success: false,
+                        compiled: false,
+                        testsPassed: false,
+                        errors: [
+                            `Verification failed: ${error instanceof Error ? error.message : String(error)}`,
+                            `Rollback failed: ${rollbackError instanceof Error ? rollbackError.message : String(rollbackError)}`,
+                        ],
+                        warnings: [],
+                        rollbackRequired: true,
+                    },
+                    rolledBack: true, // Tried to rollback
+                };
+            }
+        }
+        return {
+            success: false,
+            verified: false,
+            result: {
+                success: false,
+                compiled: false,
+                testsPassed: false,
+                errors: [`Verification failed: ${error instanceof Error ? error.message : String(error)}`],
+                warnings: [],
+                rollbackRequired: true,
+            },
+            rolledBack: false,
+        };
+    }
+}
+export { verifyCompilation } from './compiler.js';
+export { runTests, detectTestFramework } from './test-runner.js';
+export { backupFile, rollbackFile, findLatestBackup, listBackups, deleteAllBackups } from './backup.js';
+//# sourceMappingURL=index.js.map