import type { TLinkCheckResult, TLinkViolation, TResponseCoherenceResult } from "../../types/response.js";
import { type TCombinedSetInput } from "./combined-premise-set.js";
/** What a check needs from the response, read once per call. */
export interface TResponseCheckInput extends TCombinedSetInput {
    /** Problems that make every check answer `invalid`, decided by the caller. */
    problems: TLinkViolation[];
    /**
     * Changes whenever the response changes, so that the analysis of one
     * response and target pair is computed once and reused until then.
     */
    responseKey: string;
}
/**
 * Whether one link of a response follows from the response's other premises.
 * See `TLinkCheckResult` for each answer.
 *
 * @throws When `linkPremiseId` is not a link of the response.
 */
export declare function checkLink(input: TResponseCheckInput, linkPremiseId: string): TLinkCheckResult;
/**
 * Whether all of a response's premises can hold at once, searched over the
 * same combined set as `checkLink`, so the two never disagree.
 */
export declare function checkResponseCoherent(input: TResponseCheckInput): TResponseCoherenceResult;
//# sourceMappingURL=check.d.ts.map