/**
 * Ricky Cloud generate proof surface.
 *
 * Proves the user-visible contract of the Cloud generate endpoint:
 * - Request validation rejects missing auth, workspace, and spec
 * - Successful generate response includes artifacts, warnings, follow-up actions, and request ID
 * - Empty executor output fails closed instead of reporting validated success
 * - Explicit auth/workspace context is passed through to the executor
 * - The default executor is honest about being a stubbed runtime seam
 *
 * Each proof case is deterministic and bounded — no network, no Cloud runtime,
 * no non-determinism. Evidence is user-visible text, not implementation trivia.
 */
export type ProofCaseName = 'missing-auth-rejection' | 'missing-workspace-rejection' | 'missing-spec-rejection' | 'success-response-shape' | 'empty-executor-response' | 'auth-context-passthrough' | 'workspace-context-passthrough' | 'spec-and-options-passthrough' | 'stubbed-executor-honesty' | 'executor-error-path';
export interface CloudProofCase {
    name: ProofCaseName;
    description: string;
    evaluate: () => Promise<CloudProofResult>;
}
export interface CloudProofResult {
    name: string;
    passed: boolean;
    evidence: string[];
    gaps: string[];
    failures: string[];
}
export interface CloudProofSummary {
    passed: boolean;
    failures: string[];
    gaps: string[];
}
export declare function getCloudProofCases(): CloudProofCase[];
export declare function evaluateCloudProof(): Promise<CloudProofResult[]>;
export declare function evaluateCloudProofCase(name: ProofCaseName): Promise<CloudProofResult>;
export declare function summarizeCloudProof(): Promise<CloudProofSummary>;
