codehere 0.1.1

package/dist/task-verification 2.js

@@ -0,0 +1,336 @@
+/**
+ * Task Completion Verification System
+ * Verify code compiles, runs, meets requirements, rollback on failure
+ */
+import { readFileSync, writeFileSync, existsSync } from 'fs';
+import { join, dirname } from 'path';
+import { execSync } from 'child_process';
+import { applyUnifiedDiff } from './edit.js';
+/**
+ * Verify task completion
+ */
+export async function verifyTask(context) {
+    const result = {
+        success: false,
+        compiled: false,
+        testsPassed: false,
+        requirementsMet: false,
+        errors: [],
+        warnings: [],
+        rollbackRequired: false,
+    };
+    // Step 1: Check if code compiles
+    const compileResult = await verifyCompilation(context);
+    result.compiled = compileResult.success;
+    result.errors.push(...compileResult.errors);
+    result.warnings.push(...compileResult.warnings);
+    if (!result.compiled) {
+        result.rollbackRequired = true;
+        return result;
+    }
+    // Step 2: Check if tests pass
+    const testResult = await verifyTests(context);
+    result.testsPassed = testResult.success;
+    result.errors.push(...testResult.errors);
+    result.warnings.push(...testResult.warnings);
+    // Step 3: Check if requirements are met
+    if (context.requirements && context.requirements.length > 0) {
+        const reqResult = await verifyRequirements(context);
+        result.requirementsMet = reqResult.success;
+        result.errors.push(...reqResult.errors);
+        result.warnings.push(...reqResult.warnings);
+    }
+    else {
+        result.requirementsMet = true; // No requirements specified
+    }
+    // Overall success
+    result.success = result.compiled &&
+        (result.testsPassed || !testResult.ran) && // Tests optional if not run
+        result.requirementsMet;
+    if (!result.success) {
+        result.rollbackRequired = true;
+    }
+    return result;
+}
+/**
+ * Verify code compiles
+ */
+async function verifyCompilation(context) {
+    const errors = [];
+    const warnings = [];
+    try {
+        const ext = context.filepath.split('.').pop()?.toLowerCase();
+        if (ext === 'ts' || ext === 'tsx') {
+            // TypeScript compilation check
+            const result = checkTypeScript(context.filepath);
+            if (!result.success) {
+                errors.push(...result.errors);
+                warnings.push(...result.warnings);
+                return { success: false, errors, warnings };
+            }
+        }
+        else if (ext === 'js' || ext === 'jsx') {
+            // JavaScript syntax check
+            const result = checkJavaScript(context.filepath);
+            if (!result.success) {
+                errors.push(...result.errors);
+                warnings.push(...result.warnings);
+                return { success: false, errors, warnings };
+            }
+        }
+        return { success: true, errors, warnings };
+    }
+    catch (error) {
+        errors.push(`Compilation check failed: ${error instanceof Error ? error.message : String(error)}`);
+        return { success: false, errors, warnings };
+    }
+}
+/**
+ * Check TypeScript compilation
+ */
+function checkTypeScript(filepath) {
+    const errors = [];
+    const warnings = [];
+    try {
+        // Try to run tsc --noEmit on the file
+        const dir = dirname(filepath);
+        const result = execSync(`npx tsc --noEmit --skipLibCheck "${filepath}" 2>&1`, { cwd: dir, encoding: 'utf-8', stdio: 'pipe' });
+        // If there's output, there are errors
+        if (result.trim().length > 0) {
+            const lines = result.split('\n');
+            for (const line of lines) {
+                if (line.includes('error TS')) {
+                    errors.push(line);
+                }
+                else if (line.includes('warning TS')) {
+                    warnings.push(line);
+                }
+            }
+        }
+        return {
+            success: errors.length === 0,
+            errors,
+            warnings,
+        };
+    }
+    catch (error) {
+        // execSync throws on non-zero exit
+        const output = error.stdout || error.stderr || error.message || '';
+        const lines = output.split('\n');
+        for (const line of lines) {
+            if (line.includes('error TS')) {
+                errors.push(line);
+            }
+            else if (line.includes('warning TS')) {
+                warnings.push(line);
+            }
+        }
+        return {
+            success: false,
+            errors: errors.length > 0 ? errors : [output],
+            warnings,
+        };
+    }
+}
+/**
+ * Check JavaScript syntax
+ */
+function checkJavaScript(filepath) {
+    const errors = [];
+    const warnings = [];
+    try {
+        // Try to parse with node
+        const content = readFileSync(filepath, 'utf-8');
+        // Basic syntax check: try to parse
+        try {
+            // Use eval in a safe way to check syntax (just parsing, not execution)
+            new Function(content);
+        }
+        catch (parseError) {
+            errors.push(`Syntax error: ${parseError instanceof Error ? parseError.message : String(parseError)}`);
+            return { success: false, errors, warnings };
+        }
+        return { success: true, errors, warnings };
+    }
+    catch (error) {
+        errors.push(`JavaScript check failed: ${error instanceof Error ? error.message : String(error)}`);
+        return { success: false, errors, warnings };
+    }
+}
+/**
+ * Verify tests pass
+ */
+async function verifyTests(context) {
+    const errors = [];
+    const warnings = [];
+    try {
+        // Look for test files
+        const testFiles = findTestFiles(context.filepath);
+        if (testFiles.length === 0) {
+            return { success: true, ran: false, errors, warnings }; // No tests to run
+        }
+        // Try to run tests
+        const dir = dirname(context.filepath);
+        let testCommand = '';
+        // Detect test framework
+        if (existsSync(join(dir, 'package.json'))) {
+            const packageJson = JSON.parse(readFileSync(join(dir, 'package.json'), 'utf-8'));
+            const scripts = packageJson.scripts || {};
+            if (scripts.test) {
+                testCommand = scripts.test;
+            }
+            else if (scripts['test:unit']) {
+                testCommand = scripts['test:unit'];
+            }
+        }
+        if (!testCommand) {
+            // Try common test commands
+            if (existsSync(join(dir, 'jest.config.js')) || existsSync(join(dir, 'jest.config.ts'))) {
+                testCommand = 'npx jest';
+            }
+            else if (existsSync(join(dir, 'vitest.config.ts'))) {
+                testCommand = 'npx vitest run';
+            }
+            else {
+                return { success: true, ran: false, errors, warnings }; // Can't determine test framework
+            }
+        }
+        try {
+            const result = execSync(testCommand, {
+                cwd: dir,
+                encoding: 'utf-8',
+                stdio: 'pipe',
+                timeout: 30000, // 30 second timeout
+            });
+            // Check if tests passed (look for "PASS" or "✓" in output)
+            const passed = result.includes('PASS') ||
+                result.includes('✓') ||
+                (result.includes('passed') && !result.includes('failed'));
+            if (!passed) {
+                errors.push('Tests failed');
+                errors.push(result);
+            }
+            return {
+                success: passed,
+                ran: true,
+                errors,
+                warnings,
+            };
+        }
+        catch (error) {
+            const output = error.stdout || error.stderr || error.message || '';
+            errors.push(`Test execution failed: ${output}`);
+            return { success: false, ran: true, errors, warnings };
+        }
+    }
+    catch (error) {
+        warnings.push(`Could not verify tests: ${error instanceof Error ? error.message : String(error)}`);
+        return { success: true, ran: false, errors, warnings }; // Don't fail if we can't run tests
+    }
+}
+/**
+ * Find test files for a given file
+ */
+function findTestFiles(filepath) {
+    const dir = dirname(filepath);
+    const basename = filepath.split('/').pop()?.replace(/\.[^.]+$/, '') || '';
+    const testPatterns = [
+        `${basename}.test.ts`,
+        `${basename}.test.js`,
+        `${basename}.spec.ts`,
+        `${basename}.spec.js`,
+        `__tests__/${basename}.ts`,
+        `__tests__/${basename}.js`,
+    ];
+    const testFiles = [];
+    for (const pattern of testPatterns) {
+        const testPath = join(dir, pattern);
+        if (existsSync(testPath)) {
+            testFiles.push(testPath);
+        }
+    }
+    return testFiles;
+}
+/**
+ * Verify requirements are met
+ */
+async function verifyRequirements(context) {
+    const errors = [];
+    const warnings = [];
+    if (!context.requirements || context.requirements.length === 0) {
+        return { success: true, errors, warnings };
+    }
+    const content = context.modifiedContent.toLowerCase();
+    for (const requirement of context.requirements) {
+        const reqLower = requirement.toLowerCase();
+        // Simple keyword matching (can be enhanced with AI)
+        const keywords = reqLower.split(/\s+/).filter(w => w.length > 3);
+        const matches = keywords.filter(kw => content.includes(kw));
+        if (matches.length < keywords.length * 0.5) {
+            // Less than 50% of keywords found
+            warnings.push(`Requirement may not be met: ${requirement}`);
+        }
+    }
+    return {
+        success: warnings.length === 0,
+        errors,
+        warnings,
+    };
+}
+/**
+ * Rollback changes
+ */
+export function rollbackChanges(context) {
+    try {
+        writeFileSync(context.filepath, context.originalContent, 'utf-8');
+    }
+    catch (error) {
+        throw new Error(`Failed to rollback: ${error instanceof Error ? error.message : String(error)}`);
+    }
+}
+/**
+ * Apply changes with verification and rollback on failure
+ */
+export async function applyWithVerification(filepath, diff, instruction, requirements) {
+    // Read original content
+    const originalContent = readFileSync(filepath, 'utf-8');
+    // Apply diff
+    const modifiedContent = applyUnifiedDiff(originalContent, diff);
+    // Create context
+    const context = {
+        filepath,
+        originalContent,
+        modifiedContent,
+        diff,
+        instruction,
+        requirements,
+    };
+    // Write modified content temporarily
+    writeFileSync(filepath, modifiedContent, 'utf-8');
+    try {
+        // Verify
+        const result = await verifyTask(context);
+        if (!result.success || result.rollbackRequired) {
+            // Rollback
+            rollbackChanges(context);
+            return {
+                success: false,
+                verified: false,
+                result,
+                rolledBack: true,
+            };
+        }
+        return {
+            success: true,
+            verified: true,
+            result,
+            rolledBack: false,
+        };
+    }
+    catch (error) {
+        // Rollback on error
+        rollbackChanges(context);
+        throw error;
+    }
+}
+//# sourceMappingURL=task-verification.js.map

package/dist/task-verification.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Task Completion Verification System
+ * Verify code compiles, runs, meets requirements, rollback on failure
+ */
+export interface VerificationResult {
+    success: boolean;
+    compiled: boolean;
+    testsPassed: boolean;
+    requirementsMet: boolean;
+    errors: string[];
+    warnings: string[];
+    rollbackRequired: boolean;
+}
+export interface TaskContext {
+    filepath: string;
+    originalContent: string;
+    modifiedContent: string;
+    diff: string;
+    instruction: string;
+    requirements?: string[];
+}
+/**
+ * Verify task completion
+ */
+export declare function verifyTask(context: TaskContext): Promise<VerificationResult>;
+/**
+ * Rollback changes
+ */
+export declare function rollbackChanges(context: TaskContext): void;
+/**
+ * Apply changes with verification and rollback on failure
+ */
+export declare function applyWithVerification(filepath: string, diff: string, instruction: string, requirements?: string[]): Promise<{
+    success: boolean;
+    verified: boolean;
+    result: VerificationResult;
+    rolledBack: boolean;
+}>;
+//# sourceMappingURL=task-verification.d.ts.map

package/dist/task-verification.d.ts 2.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-verification.d.ts","sourceRoot":"","sources":["../src/task-verification.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;IACzB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,wBAAsB,UAAU,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAgDlF;AAoRD;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAM1D;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CACzC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,OAAO,CAAC;IACT,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC,CA8CD"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"task-verification.d.ts","sourceRoot":"","sources":["../src/task-verification.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;IACzB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,wBAAsB,UAAU,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAgDlF;AAoRD;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAM1D;AAED;;GAEG;AACH,wBAAsB,qBAAqB,CACzC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,OAAO,CAAC;IACT,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC,CA8CD"}