import type { SetupCheckResult } from "./result-types";
import { type PaseoSetupDependencies } from "./setup-deps";
export declare const STALE_GUIDANCE = "Paseo has not picked up the new provider entry yet. Paseo does not reload config.json automatically; restart the Paseo daemon yourself when convenient (GJC will not restart it for you).";
export interface CheckOptions {
    readonly mpreset?: string;
    readonly force?: boolean;
}
/**
 * Diagnose the installation.
 *
 * Precedence is total and the predicates are disjoint by construction:
 * drift absorbs every non-clean L1 condition, and the remaining three states
 * partition the L2 outcome space (reachable-with-entry / reachable-without-entry
 * / unreachable).
 */
export declare function checkPaseoSetup(deps: PaseoSetupDependencies, options?: CheckOptions): Promise<SetupCheckResult>;