/**
 * Ricky local/BYOH entrypoint proof surface.
 *
 * Proves the user-visible contract of the local entrypoint:
 * - Spec handoff from CLI, MCP, Claude-style structured handoff, and workflow artifact path
 * - Artifact, log, warning, and next-action response behavior
 * - Local runtime coordination through injectable command execution
 *
 * Each proof case is deterministic and bounded — no network, no filesystem,
 * no non-determinism. Evidence is user-visible text, not implementation trivia.
 */
export type ProofCaseName = 'cli-spec-loop-proof' | 'cli-spec-handoff' | 'mcp-spec-handoff' | 'claude-structured-handoff' | 'workflow-artifact-handoff' | 'artifact-response-behavior' | 'log-response-behavior' | 'warning-response-behavior' | 'next-action-response-behavior' | 'local-runtime-coordination' | 'stubbed-runtime-seam-honesty' | 'cli-missing-spec-material' | 'error-path-normalization-failure' | 'cloud-mode-rejection';
export interface LocalProofCase {
    name: ProofCaseName;
    description: string;
    evaluate: () => Promise<LocalProofResult>;
}
export interface LocalProofResult {
    name: string;
    passed: boolean;
    evidence: string[];
    gaps: string[];
    failures: string[];
}
export interface LocalProofSummary {
    passed: boolean;
    failures: string[];
    gaps: string[];
}
export declare function getLocalProofCases(): LocalProofCase[];
export declare function evaluateLocalProof(): Promise<LocalProofResult[]>;
export declare function evaluateLocalProofCase(name: ProofCaseName): Promise<LocalProofResult>;
export declare function summarizeLocalProof(): Promise<LocalProofSummary>;
