import type { ISettledVerdict } from './settled-verdict.js';
import type { IVerdictCoverage } from './verdict-coverage.js';
/**
 * THE exit guard: a verb PROPOSES an exit from what it found, and the coverage
 * of what it examined may veto a clean one.
 *
 *   - proposed `0` with any shortfall → `2` (ran, but proved nothing about the
 *     part it never examined — never a pass);
 *   - `1` is never changed: a violation found in a partial scope is still real;
 *   - `2` and `3` are never changed.
 *
 * Every CLI verdict verb reaches this through `buildGateEnvelope` (or
 * directly, for a verb with no envelope), and engines below the CLI (the
 * boundary orchestrator) call it too — ONE settle derivation, so no surface
 * can print a clean verdict over an unexamined scope by forgetting a check, and
 * no two surfaces can settle the same coverage differently. The shortfall rule
 * itself is {@link coverageShortfall}.
 */
export declare function settleVerdict(proposed: number, coverage: readonly IVerdictCoverage[]): ISettledVerdict;
//# sourceMappingURL=settle-verdict.d.ts.map