import type { VerificationHotspot, RuleCandidate } from './types.js';
export declare class GapDetector {
    analyze(hotspots: VerificationHotspot[]): Promise<RuleCandidate[]>;
    private proposeRule;
    private validateTestCases;
}