import type { AfterToolCallContext, AgentToolResult } from '@earendil-works/pi-agent-core';
export interface CodingVerificationEvidence {
    command: string;
    kind: 'check' | 'diff-review';
    status: 'passed' | 'failed' | 'unverified';
    revision?: string;
    toolCallId: string;
    durationMs?: number;
    logPath?: string;
}
export declare function toolResultFailed(result: AgentToolResult<unknown>, isError?: boolean): boolean;
/** One run owns its evidence; transcript tool results are the durable record. */
export declare class RunVerification {
    private readonly snapshot;
    private revision?;
    private changed;
    private readonly before;
    private readonly evidence;
    constructor(snapshot: () => Promise<string | undefined>);
    static open(workspace: string): Promise<RunVerification>;
    restore(value: unknown, includeEvidence: boolean): void;
    beforeTool(toolCallId: string, toolName?: string): Promise<void>;
    afterTool(context: AfterToolCallContext): Promise<{
        result: AgentToolResult<unknown>;
        isError: boolean;
    }>;
    private observeRevision;
    pendingContext(): Promise<string>;
    summary(): Promise<{
        changed: boolean;
        revision?: string;
        evidence: CodingVerificationEvidence[];
    }>;
}