#!/usr/bin/env npx tsx
/**
 * Arithmetic Verification Value Demo
 *
 * Simulates the exact scenario: LLM says PASS on wrong arithmetic,
 * formal verifier catches it and overrides.
 *
 * This proves the 8th formal check type adds real detection value.
 */
export {};