/**
 * shrinkToCause — keeps cutting the suspect set down until the smallest subset whose
 * removal still fixes the answer. For a single dominant cause it converges in fewer
 * re-runs than leave-one-out (delta-debugging minimization); for co-necessary causes it
 * still returns the minimal recovering set, but may cost more probes than leave-one-out.
 * The returned set is verified to recover by construction.
 *
 * Method: delta-debugging minimization (ddmin) over the removal set that recovers.
 */
import type { Finder } from './types.js';
export declare const shrinkToCause: Finder;