import type { Operation, Resolution } from "../../../core/domain/facts/fact.js";
export type ResolutionRequest = {
    readonly operation: Operation;
    readonly requiresDestination: boolean;
};
/**
 * The ladder of project-map:CTR-006, evaluated in order. `conflicting` is a
 * property of a merge and is therefore set by the merger, never derived from
 * one value's IR kind.
 */
export declare function deriveResolution(request: ResolutionRequest): Resolution;