Claude improved eight quantum circuit tasks. A cost-to-verification ledger shows what TQ gains prove, where costs move, and reproduction gaps.