import type { VerificationRule, RuleMetaVerification } from './types.js';
export declare class RuleMetaVerifier {
    private consistencyRuns;
    constructor(opts?: {
        consistencyRuns?: number;
    });
    /**
     * Meta-verify a proposed rule:
     * 1. Run all test cases through the rule's check logic
     * 2. Check consistency (run multiple times for LLM-based rules)
     * 3. Check for conflicts with existing rules
     * Returns a RuleMetaVerification report.
     */
    verify(proposedRule: VerificationRule, existingRules: readonly VerificationRule[]): Promise<RuleMetaVerification>;
    private runTestCases;
    private checkConsistency;
    private checkConflicts;
}