How Antithesis Found and Explained a Bombadil Race Condition

Disclosure: I’m the original author and lead for the Bombadil project at Antithesis.