Thanks for catching that! The invisible error should have specified that the proof already existed (so, the answer to your first question is “no”). I’ve fixed the error message, and the next round of proofs updates will include the ability to refresh a proof (vs. having to delete and re-add).