GUARDIAN

BEST-EFFORT, NOT A GUARANTEE. Auto-exit races the attacker's transaction. It wins when the exploit leaves a window; it cannot beat a same-block drain.