import { FormalBridgeStats, FormalRule } from '../types.js';
export declare class FormalVerificationBridge {
    private brain;
    private rules;
    private initialized;
    constructor();
    init(): Promise<void>;
    /** Generate a formal rule from a memory by semantic pattern detection. */
    generateFromMemory(memoryId: string): Promise<FormalRule | null>;
    /** Generate a rule from raw natural-language text. */
    generateFromText(text: string, sourceId?: string): Promise<FormalRule>;
    /** Compile all formal rules into ESLint config snippet. */
    exportEslintConfig(): string;
    /** Compile all formal rules into Semgrep YAML. */
    exportSemgrepYaml(): string;
    /** Snapshot stats. */
    stats(): FormalBridgeStats;
    listRules(limit?: number): FormalRule[];
    removeRule(id: string): Promise<boolean>;
    private semgrepBlock;
    private escapeRegex;
    private persist;
}
export declare function getFormalBridge(): FormalVerificationBridge;
export declare function resetFormalBridgeForTests(): void;
//# sourceMappingURL=formal-verification-bridge.d.ts.map