export type VerificationDomain = 'code' | 'service' | 'task' | 'promise';
export type VerificationStatus = 'pass' | 'fail' | 'warn' | 'skip';
export interface VerificationCheck {
    name: string;
    domain: VerificationDomain;
    status: VerificationStatus;
    detail?: string;
    duration_ms?: number;
}
export interface VerificationResult {
    domain: VerificationDomain;
    overall: VerificationStatus;
    checks: VerificationCheck[];
    timestamp: string;
}
interface CodeVerifyOptions {
    projectDir: string;
    /** Specific files that were changed (for targeted test runs). */
    changedFiles?: string[];
    /** Skip slow checks. */
    quick?: boolean;
    /** Timeout per check in ms. */
    timeout?: number;
}
export declare function verifyCode(options: CodeVerifyOptions): Promise<VerificationResult>;
export declare function verifyService(projectDir: string, serviceId: string): Promise<VerificationResult>;
export interface PromiseVerifyInput {
    commitment: string;
    capability_required?: string;
    schedule_exists: boolean;
    notification_path_available: boolean;
}
export declare function verifyPromiseFulfillability(input: PromiseVerifyInput): VerificationResult;
export {};
//# sourceMappingURL=doneStateVerifier.d.ts.map