export declare const LOGICPROBE_COMPOSE_TOOL_NAME = "logicprobe_compose_verify";
/**
 * DSH tool wrapping multi-machine composition verification:
 * product-space reachability with rendezvous handshakes (C1 deadlock, C2 sync).
 */
export declare const logicProbeComposeTool: import("@deepseek-ai/dsh-tools").ToolDefinition;