/**
 * contradict — report evidence that disputes a belief or memory, and have the
 * claim adjudicated before it becomes a signal.
 *
 * Previously this recorded a CONTRADICTION signal on the caller's say-so.
 * Now the (evidence, belief) pair is adjudicated first (NLI cross-encoder if
 * configured, LLM fallback otherwise — see engines/adjudicate.ts):
 *
 * - genuine       → CONTRADICTION signal (priority 0.8) + confidence penalty
 *                   on the disputed memory, scaled by adjudicator confidence
 * - supersedes    → TENSION signal (priority 0.4), no penalty — the world
 *                   changed; revise via believe() with valid_from instead of
 *                   distrusting the belief (bitemporal succession)
 * - tension       → TENSION signal (priority 0.5), no penalty
 * - complementary → no signal; the evidence supports the belief (use believe/link)
 * - unrelated     → no signal
 *
 * Pass force=true to skip adjudication and record the contradiction on the
 * caller's authority (the old behavior).
 */
import type { ToolDefinition } from '../mcp/tools.js';
export declare const contradictTool: ToolDefinition;
//# sourceMappingURL=contradict.d.ts.map