import type { ClaimBindingRule, EvidenceSnapshot, ResultIdentity } from '../../../integrity/claim-binding/types.js';
import type { DeclaredOn, Standing } from './types.js';
import type { ClaimVerificationRow } from './verificationTypes.js';
export interface FindingClaimCheckInput {
    readonly identity: ResultIdentity;
    readonly declaredOn: DeclaredOn;
    readonly standing: Standing;
    readonly iteration: number;
    readonly turn?: number;
    readonly request: unknown;
    /** Exact parent result reference, never selected by searching answer text. */
    readonly parentResult?: string;
    readonly snapshot: EvidenceSnapshot;
    readonly rules: readonly ClaimBindingRule[];
    readonly intendedScope?: unknown;
    readonly retentionLimited?: boolean;
}
/**
 * Invalid/missing JSON value throws explicitly: replacing it with null would
 * misrecord the declaration. A malformed optional check is a recorded refusal.
 * `supported` is possible only after bindClaim establishes an eligible pair;
 * the standalone evaluator's no-conflict result is never sufficient.
 */
export declare function checkFindingClaim(input: FindingClaimCheckInput): ClaimVerificationRow;