import type { Combinator } from '../types.ts';
export type GrammarCoverageDefinition = {
    id: string;
    kind: 'rule' | 'choice-arm' | 'dispatch-arm' | 'label';
};
export type GrammarCoveragePlan = {
    definitions: readonly GrammarCoverageDefinition[];
    choices: Map<Combinator<unknown>, readonly string[]>;
    dispatches: Map<Combinator<unknown>, readonly string[]>;
    /** Trace-only transaction identity. Attempts are not coverage definitions: a
     * rejected transaction must not create a semantic winner or denominator. */
    attempts: Map<Combinator<unknown>, string>;
    labels: Map<Combinator<unknown>, readonly string[]>;
    rules: Map<Combinator<unknown>, string>;
};
/** Canonical deterministic IDs for one explicit entry closure, or every public
 * entry in a `rules()` map. Multiple roots share identity maps so a shared
 * subtree still has one stable owner. */
export declare function buildGrammarPlan(entry: Combinator<unknown> | readonly Combinator<unknown>[], winners?: Record<string, Combinator<unknown>>): GrammarCoveragePlan;
//# sourceMappingURL=grammar-coverage-ids.d.ts.map