/**
 * Generic semiring interface and numeric semiring strategies.
 *
 * This reveals the algebra already implicit in ProvenanceSemiring's
 * strategy-driven conflict resolution, and adds explicit tropical variants.
 */
export interface Semiring<T> {
    /** Additive identity. */
    readonly zero: T;
    /** Multiplicative identity. */
    readonly one: T;
    /** Additive operator (⊕). */
    add(a: T, b: T): T;
    /** Multiplicative operator (⊗). */
    mul(a: T, b: T): T;
}
export declare const MinPlusSemiring: Semiring<number>;
export declare const MaxPlusSemiring: Semiring<number>;
export declare const SumProductSemiring: Semiring<number>;
export type NumericStrategySemiringName = 'sum' | 'multiply' | 'tropical-min-plus' | 'tropical-max-plus';
/**
 * Adapter from existing string strategies to explicit semiring instances.
 * Returns null for strategies that are precedence/authority/error policies
 * rather than closed numeric semiring operations.
 */
export declare function strategyToSemiring(strategy: string): Semiring<number> | null;