import type { CloudFormationResource, FindingValidation, IssueGroup, VerifiableClaim } from '../../types/analysis.types';
/**
 * Run a single claim against a resource and return the verdict. Exported for
 * unit testing.
 */
export declare const verifyClaim: (resource: CloudFormationResource | undefined, claim: VerifiableClaim) => FindingValidation;
export type ValidateFindingsResult = {
    refuted: number;
    stageGated: number;
    confirmed: number;
    /** Claims synthesised by {@link deriveVerifiableClaim} for claimless findings. */
    derived: number;
};
/**
 * Validate every claim-bearing finding in `recommendationMap` against the
 * synthesized `resources`, mutating the map in place: refuted findings are
 * removed, stage-gated findings are downgraded and annotated. Findings
 * without a {@link VerifiableClaim} are left untouched.
 */
export declare const validateFindings: (params: {
    recommendationMap: Record<string, IssueGroup>;
    resources: Record<string, CloudFormationResource>;
}) => ValidateFindingsResult;