import type { Event, Spec } from "../spec/index.ts";
import { type CheckOptions, type Report, type Seed } from "./explore.ts";
/** Faults on a path: its events from steps tagged `fault`. */
export declare function faultsIn(events: readonly Event[]): number;
/** Whether the spec has a fault at all: a step tagged `fault`. */
export declare function hasFaults(spec: Spec): boolean;
/**
 * The budgets faults spend: the shared numeric variables the steps tagged `fault` use. Checking
 * again with them lowered is checking with fewer faults.
 */
export declare function budgetsOf(spec: Spec): {
    name: string;
    initial: number;
}[];
/**
 * The report, with each broken property's counterexample swapped for one using the fewest
 * faults, found by checking again with the fault budgets lowered, from none up. The property
 * keeps the length of the shortest path in `shorter`, when that one used more faults.
 */
export declare function withFewestFaults(spec: Spec, report: Report, seeds?: Seed[], options?: CheckOptions): Promise<Report>;