import type { DomainModel, StateContract } from '../types/index.js';
export interface ProofCheck {
    name: string;
    status: 'pass' | 'fail';
    measured: number;
    details?: string;
}
export declare function proveStatic(model: DomainModel, repositories: Record<string, string>, contract: StateContract, strict?: boolean): ProofCheck[];
export declare function requireProof(checks: ProofCheck[]): void;