import type { Diagnostic } from "../../../core/domain/facts/diagnostic.js";
import type { DetectionFact } from "../../../core/domain/facts/fact.js";
export type CrossCheckRequest = {
    readonly endpoints: readonly DetectionFact[];
    readonly hasInventory: boolean;
};
/**
 * Reconciles the two halves after the merge, which is the only point both are
 * present: a fact carrying one provenance is a route the other half did not
 * account for. A route whose path the analysis never proved raises neither,
 * because it cannot merge and its own reason already names why.
 */
export declare function crossCheckDiagnostics(request: CrossCheckRequest): readonly Diagnostic[];