import type { TrustLevel, BoundaryClaim, AgentIdentity } from './types.js';
export interface VerificationIntensity {
    /** Verify every claim (vs sampling). */
    readonly verifyAll: boolean;
    /** Fraction of claims to verify if not verifyAll (0-1). */
    readonly sampleRate: number;
    /** Require formal verification for critical severity claims. */
    readonly requireFormalForCritical: boolean;
    /** Require formal verification for high severity claims. */
    readonly requireFormalForHigh: boolean;
    /** Maximum claims to verify (0 = no limit). */
    readonly maxClaimsToVerify: number;
    /** Skip verification entirely (only for formal agents). */
    readonly skipVerification: boolean;
}
export declare class VerificationIntensityController {
    /**
     * Get the verification intensity for an agent based on its trust level.
     */
    getIntensity(agent: AgentIdentity): VerificationIntensity;
    /**
     * Filter claims based on verification intensity.
     * Returns the claims that should be verified.
     */
    filterClaims(claims: readonly BoundaryClaim[], intensity: VerificationIntensity): BoundaryClaim[];
    /**
     * Determine which claims need formal verification based on intensity.
     */
    claimsRequiringFormal(claims: readonly BoundaryClaim[], intensity: VerificationIntensity): BoundaryClaim[];
    /**
     * Get a human-readable summary of verification intensity for display.
     */
    describeIntensity(trustLevel: TrustLevel): string;
}