import { type Manager } from './manager.js';
import type { CommandResult } from './types.js';
export type Proof = {
    detail: string;
    manager: Manager;
    name: string;
    ok: boolean;
    version: string;
};
export type ProveOutcome = {
    ok: boolean;
    proofs: Proof[];
    skipped: Manager[];
    unproven: string[];
};
export declare const MANAGERS: Manager[];
export declare const proveUpdate: (skip?: readonly Manager[]) => Promise<ProveOutcome>;
export declare const outcomeOf: ({ proofs, skipped, unproven }: {
    proofs: Proof[];
    skipped: Manager[];
    unproven: string[];
}) => ProveOutcome;
export declare const formatProveUpdate: (outcome: ProveOutcome) => string;
export declare const proveStrays: (input: Record<string, unknown>) => string[];
export declare const runProve: (skipNamed?: readonly string[]) => Promise<CommandResult>;