import type { EventEntry, Task, VerifierContractEntry, VerifierContractSet } from "./types.js";
export interface VerifierContractInput {
    id: string;
    surface: string;
    setup: string;
    action: string;
    expectedObservable: string;
    assertionType?: string;
    evidenceArtifact: string;
    ownerRole: string;
    required?: boolean;
    acceptanceCriteria?: string[];
}
export interface VerifierContractResult {
    entry: VerifierContractEntry;
    status: "passed" | "missing" | "failed" | "unobservable";
    evidence?: EventEntry;
    missing: string[];
}
export interface VerifierContractEvaluation {
    required: VerifierContractResult[];
    optional: VerifierContractResult[];
    missing: string[];
}
export declare function normalizeVerifierContract(input: VerifierContractSet | undefined, roleIds: Set<string>): VerifierContractSet | undefined;
export declare function mergeVerifierContractEntry(current: VerifierContractSet | undefined, input: VerifierContractInput, roleIds: Set<string>): VerifierContractSet;
export declare function mergeVerifierContractSet(current: VerifierContractSet | undefined, input: VerifierContractSet | undefined, roleIds: Set<string>): VerifierContractSet | undefined;
export declare function evaluateVerifierContracts(task: Task, events: EventEntry[]): VerifierContractEvaluation;
export declare function verifierContractMissingKeys(task: Task, events: EventEntry[]): string[];