 ::::::OK for now in my opinion. If this were to happen with Arbcom notifications I think that the removal of a name from a notification log could be taken to WP:Arbitration enforcement for further review. Since this is a community sanction the place to review such a dispute would be WP:AN.   