The database maker's docs have said that their database provides Snapshot Isolation though, which suggests the user should be able to do what Aphyr did without

The database maker's docs have said that their database provides Snapshot Isolation though, which suggests the user should be able to do what Aphyr did without a problem. That's pretty clearly not true, which means it isn't faulty application code. It is the database maker misleading the user.