import { Condition } from './types';
import { EvalContext } from './engine';
export interface ConditionTrace {
    /** One-line human-readable description of this predicate. */
    label: string;
    /** Whether this node held. */
    held: boolean;
    /** Children for the composite predicates `all` / `any` / `not`. */
    children?: ConditionTrace[];
}
/** Build the truth-annotated trace tree for a condition. */
export declare const traceCondition: (condition: Condition | undefined, ctx: EvalContext) => ConditionTrace;