import type { ExecutionMode, LoopRecord, ReceiptIntegritySummary, TestIntegrityStatus, TestIntegrityVerdict, VerifiedHandoffOutcome, VerifiedHandoffRecoveryV1, VerifiedHandoffRequirementV1, VerifiedHandoffScopeV1, VerifiedHandoffTestIntegrityV1, VerifiedHandoffV1 } from "../contracts/index.js";
export declare function toTestIntegrityVerdict(status: TestIntegrityStatus): TestIntegrityVerdict;
export interface VerifierExecutionBinding {
    runId: string;
    workspaceId: string;
    cwd: string;
    commands: string[];
}
export interface BoundVerifierEvidence {
    passed: boolean;
    binding?: VerifierExecutionBinding;
    steps?: Array<{
        command: string;
        launched: boolean;
        completed?: boolean;
        crashed?: boolean;
        exitCode?: number;
        timedOut?: boolean;
    }>;
}
export declare function verifierActuallyPassed(evidence: BoundVerifierEvidence | null | undefined, expected: VerifierExecutionBinding): boolean;
export declare function resolveVerifiedHandoffOutcome(input: {
    lifecycleState: LoopRecord["lifecycleState"];
    executionStatus?: "completed" | "write_blocked" | "sandbox_blocked" | "policy_rejected" | "failed";
    verificationStatus: BuildVerifiedHandoffInput["verification"]["status"];
    receiptIntegrity: ReceiptIntegritySummary["state"];
    scopeStatus?: VerifiedHandoffScopeV1["status"];
    testIntegrityStatus?: TestIntegrityStatus;
    mutationRequired?: boolean;
    changedFileCount?: number;
    definitionOfDonePreSatisfied?: boolean;
    evidenceContradicted?: boolean;
    governanceClaimEligible?: boolean;
    unresolvedWorkCount: number;
}): VerifiedHandoffOutcome;
export declare function deriveVerifiedHandoffExecutionBoundary(loop: LoopRecord): {
    executionMode: ExecutionMode;
    governanceClaimEligible: boolean;
};
export interface BuildVerifiedHandoffInput {
    loop: LoopRecord;
    generatedAt?: string;
    receiptIntegrity: ReceiptIntegritySummary;
    verification: {
        status: "passed" | "failed" | "contradicted" | "not_run";
        summary: string;
        steps: Array<{
            command: string;
            launched: boolean;
            completed?: boolean;
            crashed?: boolean;
            exitCode?: number;
            timedOut?: boolean;
            detail?: string;
        }>;
        warnings: string[];
        binding?: VerifierExecutionBinding;
    };
    executionStatus?: "completed" | "write_blocked" | "sandbox_blocked" | "policy_rejected" | "failed";
    mutationRequired?: boolean;
    definitionOfDonePreSatisfied?: boolean;
    evidenceContradicted?: boolean;
    changedFiles?: string[];
    scope?: Partial<VerifiedHandoffScopeV1>;
    testIntegrity?: Partial<VerifiedHandoffTestIntegrityV1>;
    requirements?: VerifiedHandoffRequirementV1[];
    unresolvedWork?: string[];
    stopReason?: string;
    recovery?: Partial<VerifiedHandoffRecoveryV1>;
    nextAction: string;
}
export declare function buildVerifiedHandoff(input: BuildVerifiedHandoffInput): VerifiedHandoffV1;