import type { CorrectionPayload, EvidenceIdentity, WorkflowAcceptanceEvidence, WorkflowFinalReport, WorkflowLaneDisposition, WorkflowRunRecord, WorkflowVerificationResult, WorkflowVerifierContract, WorkflowRunBaseline } from '../types/index.js';
export declare const AUTONOMOUS_POLICY_VERSION = "autonomous-lanes-v1";
export type AcceptanceCriterion = {
    id: string;
    text: string;
    substantive: boolean;
};
export type VerificationInput = {
    acceptanceCriteria: Array<string | AcceptanceCriterion>;
    changedFiles: string[];
};
export declare function planAutonomousVerification(input: VerificationInput): WorkflowLaneDisposition[];
export declare function qualifyVerificationPlan(cwd: string, plan: WorkflowLaneDisposition[], env?: NodeJS.ProcessEnv): WorkflowLaneDisposition[];
export declare function loadOrchestraAcceptanceCriteria(cwd: string, taskId: string): AcceptanceCriterion[];
export declare function loadVerifierContracts(cwd: string, taskId: string): WorkflowVerifierContract[];
export declare function captureWorkflowBaseline(cwd: string): Promise<WorkflowRunBaseline>;
export declare function changedWorkflowFiles(cwd: string, baseline: WorkflowRunBaseline): string[];
export declare function computeSourceDigest(cwd: string): Promise<string>;
export declare function executeVerificationPlan(cwd: string, taskId: string, identity: EvidenceIdentity, plan: WorkflowLaneDisposition[], signal?: AbortSignal): Promise<WorkflowVerificationResult[]>;
export declare function mapAcceptanceEvidence(identity: EvidenceIdentity, criteria: AcceptanceCriterion[], results: WorkflowVerificationResult[], contracts: WorkflowVerifierContract[]): WorkflowAcceptanceEvidence[];
export declare function buildAutonomousReport(run: WorkflowRunRecord, identity: EvidenceIdentity, criteria: AcceptanceCriterion[], plan: WorkflowLaneDisposition[], results: WorkflowVerificationResult[], contracts?: WorkflowVerifierContract[]): WorkflowFinalReport;
export declare function correctionFromVerification(identity: EvidenceIdentity, results: WorkflowVerificationResult[]): CorrectionPayload | null;
export declare function applyAutonomousIteration(run: WorkflowRunRecord, report: WorkflowFinalReport, correction: CorrectionPayload | null): WorkflowRunRecord;