import type { TypedScope } from 'footprintjs';
import type { AgentState } from '../types.js';
import type { TurnRecord } from '../../../integrity/negative-claim/types.js';
/** Spend the same one-extra-call budget as evidence repair, before looping.
 * The rejected draft is never a conversation turn. Tools stay disabled. */
export declare function prepareNegativeCorrection(scope: TypedScope<AgentState>, record: TurnRecord, field: string): boolean;
export declare function negativeRecheckStage(scope: TypedScope<AgentState>): void;