export { type ContractClaim, type ContractVerification, type ContractStats } from './types.js';
import type { ContractStats, ContractVerification } from './types.js';
/**
 * Run all contract verification layers against a codebase.
 * Called from the assess command (which has access to all project files),
 * NOT from forwardVerify (which processes a single file at a time).
 *
 * Returns only FAIL verdicts (contracts that code violates).
 * Zero LLM calls — all verification is deterministic.
 */
export declare function extractAndVerifyContracts(projectRoot: string, files: Map<string, string>): Promise<{
    stats: ContractStats;
    failures: ContractVerification[];
}>;