#!/usr/bin/env npx tsx
/**
 * Quick A/B test — single case, real LLM via Claude CLI.
 * Tests: does the LLM miss arithmetic bugs in comments that the formal verifier catches?
 */
export {};