import type { RelationVerdict } from "../../graph.js";
export type MinimalContradictoryFact = {
    nodeId: string;
    normalizedValue: unknown;
} | {
    fact: string;
    kind?: string;
};
export type ConsistencyBlockingEvidence = {
    rule: string;
    positiveWitness: {
        description: string;
        fixtureId: string;
        relationId?: string;
    };
    negativeWitness: {
        description: string;
        kind: string;
        verdict?: RelationVerdict;
        details?: unknown;
    };
    reproduction: {
        fixtureId: string;
        seed: string;
        surfaceId: string;
        detectorId: string;
    };
    minimalContradictoryFacts: MinimalContradictoryFact[];
    noWinner?: boolean;
    fixPacket?: {
        statesContradiction: boolean;
        guessesWinner: boolean;
    };
};
export declare function buildBlockingEvidence(input: Omit<ConsistencyBlockingEvidence, "reproduction"> & {
    seed: string;
    surfaceId: string;
    detectorId: string;
}): ConsistencyBlockingEvidence;
export declare function factsFromVerdict(verdict: RelationVerdict): MinimalContradictoryFact[];
//# sourceMappingURL=evidence.d.ts.map