How Codex found replayable state transitions and a lost-update race in a Supabase browser game