export type ExecutionVerificationStatus = 'passed' | 'failed' | 'unverified';
export type ExecutionFailurePhase = 'planning' | 'execution' | 'verification' | 'approval' | 'runtime';
export type ExecutionFailureCode = 'cancelled' | 'timeout' | 'tool_failed' | 'verification_failed' | 'approval_required' | 'conflict' | 'model_failed' | 'unknown';
export type ExecutionRecoveryAction = 'replan' | 'retry_with_changed_strategy' | 'request_user_input' | 'none';
export interface ExecutionVerification {
    status: ExecutionVerificationStatus;
    checks: Array<{
        criterion: string;
        status: ExecutionVerificationStatus;
        evidenceTitles: string[];
    }>;
}
export interface ExecutionFailureDiagnosis {
    code: ExecutionFailureCode;
    phase: ExecutionFailurePhase;
    recoveryAction: ExecutionRecoveryAction;
}
export declare function verifyExecutionCompletion(input: {
    status: 'succeeded' | 'failed' | 'cancelled';
    acceptanceCriteria: string[];
    startedAt: number;
    evidence: Array<{
        title: string;
        verifies?: string[];
        strength: 'observed' | 'verified';
        observedAt: number;
    }>;
}): ExecutionVerification;
export declare function diagnoseExecutionFailure(input: {
    status: 'failed' | 'cancelled';
    summary: string;
}): ExecutionFailureDiagnosis;