import type { McpClientLike } from "../storage/backends/fortemi.js";
export declare const FORTEMI_DATASET_LIVE_CONTRACT: "aiwg.fortemi-dataset-live-qualification/v2";
declare const LEGACY_LIVE_CONTRACT: "aiwg.fortemi-dataset-live-qualification/v1";
export declare const FORTEMI_DATASET_CAPABILITIES_TOOL = "dataset_capabilities";
export declare const FORTEMI_DATASET_EXECUTE_TOOL = "dataset_execute";
export interface FortemiDatasetLiveReceipt {
    contract: typeof FORTEMI_DATASET_LIVE_CONTRACT | typeof LEGACY_LIVE_CONTRACT;
    outcome: "pending" | "supported";
    diagnostic: "CONFORMANCE_FORTEMI_DATASET_CONTRACT_UNAVAILABLE" | "CONFORMANCE_FORTEMI_DATASET_PREFLIGHT_SUPPORTED";
    receiptDigest: string;
    bindings: {
        aiwgCommit: string;
        endpointFingerprint: string;
        toolSchemaDigest: string;
    };
    observed: {
        serverName: string;
        serverVersion: string;
    };
    namespace: string;
    operations: Array<{
        tool: string;
        compatible: boolean;
        code: string;
    }>;
    mutation: {
        authorized: false;
        attempted: false;
    };
    resources: {
        maxDurationMs: number;
        durationMs: number;
        maxToolCount: number;
        observedToolCount: number;
        maxSchemaBytes: number;
        observedSchemaBytes: number;
        networkAttempts: number;
        toolCalls: number;
    };
    startedAt: string;
    endedAt: string;
}
/**
 * Verify the independently captured, mutating Fortemi dataset qualification.
 * The caller supplies the separately persisted run receipt so a wrapper cannot
 * claim a successful execution without the receipt's canonical digest checks.
 */
export declare function verifyFortemiDatasetExecutionQualification(input: {
    qualification: unknown;
    runReceipt: unknown;
    expectedFortemiCommit: string;
}): string[];
/** Read-only discovery. It never invokes a Fortemi tool, even when the proposed contract is present. */
export declare function qualifyFortemiDatasetLivePreflight(input: {
    client: McpClientLike;
    endpointUrl: string;
    aiwgCommit: string;
    maxDurationMs?: number;
    now?: () => Date;
}): Promise<FortemiDatasetLiveReceipt>;
export declare function verifyFortemiDatasetLiveReceipt(value: unknown): string[];
/** Atomically creates private evidence without replacing an existing receipt. */
export declare function writeFortemiDatasetLiveReceipt(path: string, receipt: FortemiDatasetLiveReceipt): Promise<void>;
export {};
//# sourceMappingURL=fortemi-live-qualification.d.ts.map