export type MinimalContradictoryFact = {
    scenarioId: string;
    fact: string;
    kind?: string;
} | {
    fact: string;
    kind?: string;
};
export type BoundedBlockingEvidence = {
    rule: string;
    positiveWitness: {
        description: string;
        fixtureId: string;
        boundedVersion: string;
        scenarioId?: string;
    };
    negativeWitness: {
        description: string;
        kind: string;
        details?: unknown;
    };
    reproduction: {
        fixtureId: string;
        seed: string;
        surfaceId: string;
        detectorId: string;
    };
    minimalContradictoryFacts: MinimalContradictoryFact[];
};
export declare function buildBlockingEvidence(input: Omit<BoundedBlockingEvidence, "reproduction"> & {
    seed: string;
    surfaceId: string;
    detectorId: string;
}): BoundedBlockingEvidence;
//# sourceMappingURL=evidence.d.ts.map