A field guide to the most common reasons a correct-looking circuit fails verification, from witness mismatches to constraint typos. Full article coming soon.