import type { Finding } from "../../../schema/src/records/finding.js";
import { type AdapterSurface } from "../../../universal/src/runner.js";
import { type ExitStatus } from "../exit-status.js";
import type { VerifyOptions } from "../parse-args.js";
import { type IoContext } from "./verify.js";
export declare const BROADER_VERIFY_COMMAND = "invariantum verify --scope=universal";
export declare const DEFAULT_HOOK_BUDGET_MS = 250;
type ImpactUnknownReason = "missing-inputs" | "unmatched-path" | "empty-surfaces";
type ImpactAnalysis = {
    known: true;
    surfaces: AdapterSurface[];
} | {
    known: false;
    reason: ImpactUnknownReason;
};
export declare function analyzeImpact(surfaces: AdapterSurface[], changedPaths: string[], dependencyMap: Record<string, string[]> | undefined): ImpactAnalysis;
export declare function formatCompactFindingLine(finding: Finding): string;
export declare function runHook(options: VerifyOptions, io: IoContext): Promise<ExitStatus>;
export {};
//# sourceMappingURL=hook.d.ts.map