import { Type } from "typebox";
import { type Finding } from "../schema/index.js";
import type { StatusCacheVerificationWriteResult } from "../status/types.js";
import type { VerificationCacheUpdate, VerificationFailure, VerificationResult } from "../verify/results.js";
declare const MAX_RENDERED_TEXT = 4000;
declare const WorkVerifyParameters: Type.TObject<{
    path: Type.TString;
    nodeId: Type.TString;
    worktreePath: Type.TString;
    expectedCommit: Type.TString;
    checklistReports: Type.TOptional<Type.TArray<Type.TObject<{
        index: Type.TInteger;
        done: Type.TBoolean;
    }>>>;
}>;
export interface WorkVerifyDetails {
    path: string;
    nodeId: string;
    worktreePath: string;
    expectedCommit: string;
    outcome: "passed" | "failed";
    findings: Finding[];
    failures: VerificationFailure[];
    result?: VerificationResult;
    cacheUpdate?: VerificationCacheUpdate;
    cacheWrite?: StatusCacheVerificationWriteResult;
    truncated: boolean;
}
export declare function createWorkVerifyTool(): import("@earendil-works/pi-coding-agent").ToolDefinition<Type.TObject<{
    path: Type.TString;
    nodeId: Type.TString;
    worktreePath: Type.TString;
    expectedCommit: Type.TString;
    checklistReports: Type.TOptional<Type.TArray<Type.TObject<{
        index: Type.TInteger;
        done: Type.TBoolean;
    }>>>;
}>, unknown, any> & import("@earendil-works/pi-coding-agent").ToolDefinition<any, any, any>;
/** Exported for direct use; src/index.ts deliberately owns registration. */
export declare const workVerifyTool: import("@earendil-works/pi-coding-agent").ToolDefinition<Type.TObject<{
    path: Type.TString;
    nodeId: Type.TString;
    worktreePath: Type.TString;
    expectedCommit: Type.TString;
    checklistReports: Type.TOptional<Type.TArray<Type.TObject<{
        index: Type.TInteger;
        done: Type.TBoolean;
    }>>>;
}>, unknown, any> & import("@earendil-works/pi-coding-agent").ToolDefinition<any, any, any>;
export { MAX_RENDERED_TEXT, WorkVerifyParameters };