import type { ContractClaim, ContractVerification } from './types.js';
/**
 * Verifies that usage code only accesses fields declared in schema contracts.
 *
 * Strategy:
 * 1. Build a map of schema name → declared fields from the contracts.
 * 2. Find `const varName = SchemaName.parse(...)` patterns in usage code.
 * 3. Find all `varName.fieldName` accesses in usage code.
 * 4. FAIL if any accessed field is not declared in the schema.
 *
 * All regexes with /g flag are declared inside the function to prevent
 * lastIndex state persistence across calls (JS regex gotcha).
 */
export declare function verifySchemaContracts(contracts: ContractClaim[], usageCode: string, _usageFile: string): ContractVerification[];