/**
 * OwlCoda Native TaskVerify Tool — Slice 3, Task Execution Mode v1
 *
 * Deterministic verification for task step completion checks.
 * Supports: file_exists, file_contains, artifact_count, command (safe_readonly only), none.
 *
 * By default (writeBack=true), verification results are written back to the step's
 * verificationResults via TaskUpdate semantics. Does NOT auto-transition step status —
 * the model must still call TaskUpdate to set stepStatus='completed' explicitly.
 *
 * Security: `command` checks are gated by classifyBashCommand and refused if
 * not safe_readonly. This mirrors the TaskCreate command gate.
 */
import type { NativeToolDef } from './types.js';
export interface TaskVerifyInput {
    taskId: string;
    stepId: string;
    /** When true (default), write verification results back to step.verificationResults. */
    writeBack?: boolean;
}
export declare function createTaskVerifyTool(): NativeToolDef<TaskVerifyInput>;
