import { type RepairSignalRef, type RepairVerificationCommand, type RepairVerificationFailure, type RepairVerificationResult, type SignalEnvelope } from '@opensip-cli/contracts';
interface VerificationScopeInput {
    readonly tool: string;
    readonly ruleId: string;
    readonly files: readonly string[];
    readonly checkRan?: boolean;
    readonly fallback?: RepairVerificationResult['scope']['fallback'];
}
export interface BuildSkippedVerificationInput extends VerificationScopeInput {
    readonly status: 'skipped' | 'unverified';
    readonly command?: RepairVerificationCommand;
    readonly failure?: RepairVerificationFailure;
    readonly notes?: readonly string[];
}
export interface ClassifyVerificationInput extends VerificationScopeInput {
    readonly envelope: SignalEnvelope;
    readonly signal: RepairSignalRef;
    readonly command: RepairVerificationCommand;
    readonly exitCode: number | null;
    readonly durationMs: number;
}
export declare function skippedVerification(input: Omit<BuildSkippedVerificationInput, 'status'>): RepairVerificationResult;
export declare function unverifiedWithoutRun(input: Omit<BuildSkippedVerificationInput, 'status'>): RepairVerificationResult;
export declare function parseVerificationEnvelope(stdout: string): {
    readonly ok: true;
    readonly envelope: SignalEnvelope;
} | {
    readonly ok: false;
    readonly failure: RepairVerificationFailure;
};
export declare function classifyVerification(input: ClassifyVerificationInput): RepairVerificationResult;
export declare function verificationFailure(code: string, message: string): RepairVerificationFailure;
export {};
//# sourceMappingURL=verify.d.ts.map