export type ProofCaseName = 'implementation-modules-present' | 'first-run-experience' | 'returning-user-compact-header' | 'local-byoh-path' | 'cloud-path' | 'google-connect-guidance' | 'github-dashboard-nango-guidance' | 'cli-mcp-handoff-language' | 'recovery-paths' | 'banner-suppression' | 'narrow-terminal-fallback' | 'default-journey' | 'local-journey' | 'setup-journey' | 'welcome-journey' | 'status-journey' | 'generate-journey' | 'fixture-inline-spec' | 'fixture-spec-file' | 'fixture-stdin' | 'fixture-missing-spec' | 'fixture-missing-file-recovery';
export interface OnboardingProofCase {
    name: ProofCaseName;
    description: string;
    specSection: string;
    evaluate: () => OnboardingProofResult;
}
export interface OnboardingProofResult {
    name: string;
    passed: boolean;
    evidence: string[];
    gaps: string[];
    failures: string[];
}
export interface OnboardingProofSummary {
    passed: boolean;
    failures: string[];
    gaps: string[];
}
export declare function getOnboardingProofCases(): OnboardingProofCase[];
export declare function evaluateOnboardingProof(): OnboardingProofResult[];
export declare function evaluateOnboardingProofCase(name: ProofCaseName): OnboardingProofResult;
export declare function summarizeOnboardingProof(): OnboardingProofSummary;
