[ignoramous]

> but it's hardly axiomatic.

Agree, but Time-of-Check to Time-of-Use is a pretty well established failure mode.