#!/usr/bin/env npx tsx
/**
 * Real LLM A/B Test — Arithmetic Formal Verification Value
 *
 * Uses Claude CLI (subscription, not API credits) to:
 * 1. Extract claims from code with arithmetic bugs
 * 2. LLM-verify those claims
 * 3. Apply formal verification
 * 4. Compare: what did the LLM miss that formal caught?
 *
 * Usage: ASSAY_LLM_PROVIDER=cli npx tsx src/lib/__tests__/arithmetic-real-llm-test.ts
 */
export {};