/**
 * Reject-and-retry for a pack's `<valid>` guard.
 *
 * Some identifiers have combinations that were never issued — a region code that
 * does not exist, a date inside a national ID that never happened. A pack states
 * the rule as a predicate and the engine redraws the base until it passes.
 *
 * Its own file because it is a self-contained rule with two failure modes worth
 * explaining, and `build.ts` is large enough already.
 */
import type { OpenCloseElementContext } from '../generated/TDCParser.js';
import { type SequenceBuildOptions } from './build.js';
import type { Sequence, SequenceSpec } from './types.js';
/**
 * Reject-and-retry (migration spec §4.2). For each row whose `<valid>` predicate
 * is false, redraw the base sequences (simple `<gen>` producers) from the PRNG
 * and re-evaluate the compute sequences, up to `VALID_FUSE` attempts. Redraws
 * append to the PRNG stream, so the result stays deterministic. Overridden
 * (constant) sequences are never redrawn.
 */
export declare function enforceValid(validEl: OpenCloseElementContext, specs: readonly SequenceSpec[], registry: Record<string, Sequence>, count: number, prng: () => number, locale: string, now: number, options: SequenceBuildOptions): void;
//# sourceMappingURL=pack-valid.d.ts.map