import type { IVerdictCoverage } from '../verdict/verdict-coverage.js';
/**
 * THE records one rule contributes to `settleVerdict`: its primary `coverage`,
 * then its `unitAcceptance` (settle record B) — folded ONCE. When the two are
 * the same record (a rule that settled `IntendedEmpty` carries its acceptance
 * as its coverage too), only one is returned, so the acceptance is printed
 * once. The gate envelope (`buildGateEnvelope`) and the boundary orchestrator
 * (`boundaryCheckCoverage`) both call this — one fold, never two.
 *
 * Only the records change; `settleVerdict`, `coverageShortfall` and
 * `settleRuleStatus` (which reads the primary record alone) do not. An
 * acceptance therefore reaches `accepted` only at exit 0, and never changes a
 * rule's status. A `unitAcceptance` that is not actually an acceptance (no
 * `acceptedBy`) vetoes like any record — it is never dropped.
 */
export declare function ruleVerdictRecords(coverage: IVerdictCoverage, unitAcceptance?: IVerdictCoverage): readonly IVerdictCoverage[];
//# sourceMappingURL=rule-verdict-records.d.ts.map