/**
 * @fileoverview Fix verifier service - verifies fixes using formal methods
 * @module @nahisaho/musubix-security/services/fix-verifier
 * @trace REQ-SEC-FIX-002
 */
import type { Fix, VerificationResult } from '../types/index.js';
/**
 * Verification options
 */
export interface VerificationOptions {
    /** Timeout in milliseconds */
    timeout?: number;
    /** Enable semantic preservation check */
    checkSemantics?: boolean;
    /** Enable regression check */
    checkRegressions?: boolean;
}
/**
 * Fix verifier service
 *
 * Uses formal verification to validate that:
 * 1. The fix eliminates the vulnerability
 * 2. The fix preserves program semantics
 * 3. No new vulnerabilities are introduced
 */
export declare class FixVerifier {
    private options;
    constructor(options?: VerificationOptions);
    /**
     * Verify a single fix
     */
    verify(fix: Fix): Promise<VerificationResult>;
    /**
     * Verify multiple fixes
     */
    verifyBatch(fixes: Fix[]): Promise<VerificationResult[]>;
    /**
     * Check if a fix type can be formally verified
     */
    private isVerifiable;
    /**
     * Check if the fix eliminates the vulnerability
     */
    private checkVulnerabilityElimination;
    /**
     * Check if the fix preserves program semantics
     */
    private checkSemanticPreservation;
    /**
     * Check if the fix introduces any regressions
     */
    private checkNoRegressions;
    /**
     * Create a verification result
     */
    private createResult;
}
/**
 * Create a fix verifier
 */
export declare function createFixVerifier(options?: VerificationOptions): FixVerifier;
//# sourceMappingURL=fix-verifier.d.ts.map