import type { ISettledUnitLiveness } from './i-settled-unit-liveness.js';
import type { IUnitLivenessInput } from './i-unit-liveness-input.js';
/**
 * THE settle for selector units (round 13): the one place any reporter turns
 * "this unit matched nothing / matched something" plus "is it marked
 * `expectEmpty`" into a state, the printed sentence, the dead list and the
 * coverage records. A reporter observes; it never decides.
 *
 *   marked? | observation            | state
 *   --------+------------------------+---------------
 *   no      | live === undefined     | Unproven
 *   no      | live                   | Live
 *   no      | !live                  | Dead
 *   yes     | exists === undefined   | Unproven
 *   yes     | !exists                | IntendedEmpty
 *   yes     | exists                 | WentLive
 *
 * A unit dead by SHAPE (`cause`) is Dead whatever the ledger says: it can
 * never go live, so a marker on it is ignored (the loaders refuse it).
 *
 * Records (two, so one record's acceptance can never cover another's dead unit):
 *   - A, the dead shortfall — ONLY over Coverage-weight units, ONLY when at
 *     least one is judged (not intended-empty) or the scan was capped.
 *     `examined` counts effective units; Dead, Unproven and a not-effective
 *     WentLive are its gap, so a went-live marker over an exempt-only target is
 *     never 2 → 0.
 *   - B, the acceptance — when any unit is intended-empty, whatever its
 *     weight, labelled with the OBSERVED reason and `acceptedBy: 'expectEmpty'`.
 * Both go through the unchanged core `settleVerdict` (B shows in `accepted`
 * only at exit 0).
 */
export declare function settleUnitLiveness(input: IUnitLivenessInput): ISettledUnitLiveness;
//# sourceMappingURL=settle-unit-liveness.d.ts.map