import type { JurisdictionFacts, PolicyPackRef, SelectionOptions, SelectionRecord } from '../types/jurisdiction-selection.js';
/** Resolver version stamped into every SelectionRecord */
export declare const RESOLVER_VERSION: '0.1.0';
/**
 * Select the policy packs applicable to a set of jurisdiction facts
 * and produce a provenance record of that selection.
 *
 * Invariants:
 * - Pure and deterministic given the same inputs; the only impure
 *   default is selected_at, which callers should pin via
 *   opts.selected_at for reproducible records.
 * - A pack is selected when its jurisdiction matches ANY fact
 *   dimension. selected_packs is ordered by match count descending,
 *   then id, then version.
 * - When two selected packs declare different values for the same
 *   constraints key, a PackConflict is emitted and resolution becomes
 *   'conflict-surfaced'. There is no automatic resolution.
 * - opts.precedence resolves a key only when every pack declaring
 *   that key is listed in it; the record then carries precedence_used
 *   so the override is auditable.
 */
export declare function selectJurisdictionPacks(facts: JurisdictionFacts, packs: PolicyPackRef[], opts?: SelectionOptions): SelectionRecord;
//# sourceMappingURL=jurisdiction-selection.d.ts.map