export type Shape = Record<string, unknown>;
export declare function object(value: unknown, label: string, required: string[], optional?: string[]): Shape;
export declare function array(value: unknown, label: string): unknown[];
export declare function string(value: unknown, label: string): string;
export declare function text(value: unknown, label: string): string;
export declare function boolean(value: unknown, label: string): boolean;
export declare function strings(value: unknown, label: string): string[];
export declare function repositoryFile(value: unknown, label: string): string;
export declare function repositoryFiles(value: unknown, label: string): string[];
export declare function repositoryPattern(value: unknown, label: string): string;
export declare function repositoryPatterns(value: unknown, label: string): string[];
export declare function repositoryCwd(value: unknown, label: string): string;
export declare function repositorySourceRef(value: unknown, label: string): string;
export declare function literal<T extends string>(value: unknown, allowed: readonly T[], label: string): T;
export declare function key(value: unknown, label: string): string;
export declare function semanticRef(value: unknown, label: string): string;
export declare function nullable<T>(value: unknown, parser: (value: unknown) => T): T | null;
export declare const PROOF_SURFACES: readonly ["ui_browser", "runtime_behavior", "api_contract", "data_state", "security_boundary", "population_coverage", "implementation_structure"];
export declare const JOURNEY_ROLES: readonly ["success", "degradation", "recovery", "stage_gate", "conformance"];
export declare const EVIDENCE_CAPABILITIES: readonly ["presence", "interaction_trace", "state_delta", "cross_surface_consistency", "durable_readback", "boundary_invocation", "external_side_effect", "failure_injection", "visual_render", "design_conformance", "design_method", "design_symbolic_certificate", "semantic_fact", "target_runtime", "input_variation"];
export declare function fail(label: string, message: string): never;