How Hive Witnesses Work (and Why I Finally Stopped Hand-Waving It)