import type { ContractClaim, ContractVerification } from './types.js';
/**
 * Verifies that usage code only accesses columns declared in database migration contracts.
 *
 * Strategy:
 * 1. Build a map of tableName → Set<columnName> from the contracts.
 * 2. Auto-discover ORM query patterns in code (prisma.model.*, db.model.*).
 * 3. Find the variable names assigned from those queries.
 * 4. Find all varName.fieldName accesses in code.
 * 5. FAIL if any accessed field is not declared in the schema for that table.
 *
 * All regexes with /g flag are declared inside functions to prevent
 * lastIndex state persistence across calls (JS regex gotcha).
 */
export declare function verifyMigrationContracts(contracts: ContractClaim[], code: string): ContractVerification[];