/**
 * Pattern Extractor — extracts generalizable detection patterns from confirmed LLM findings.
 *
 * This is the core of Phase 1: Self-Expanding Formal Verification.
 * When the LLM finds a real bug and it's confirmed, this module
 * analyzes the code and finding to extract a regex pattern that
 * would catch the same class of bug deterministically.
 *
 * The extracted pattern becomes a formal rule — no LLM needed for
 * future instances of the same bug class.
 */
import type { PatternExtractionInput, PatternExtractionResult } from './types.js';
/** Reset counter (for testing). */
export declare function resetPatternCounter(start?: number): void;
/**
 * Extract a generalizable detection pattern from a confirmed LLM finding.
 *
 * @param input - The confirmed finding with code context.
 * @returns The extraction result with pattern or failure reason.
 */
export declare function extractPattern(input: PatternExtractionInput): PatternExtractionResult;
/**
 * Get the list of claim categories that have extraction strategies.
 */
export declare function getSupportedCategories(): string[];