Pretty much always A. In systems like this, it's better to deny transactions than allow inconsistencies.