Meta says tests designed to fail helped catch 74 serious privacy bugs
Just-in-Time tests turn a code diff into an executable counterexample, but the production design still needs a separate oracle, review economics, and a policy boundary the generator cannot rewrite.