I have not thought through this part deeply yet, but I wonder if it is always necessary to throw an exception. Is it valid to simply re-enhance it in various cases?

Also, what about adding a RUNTIME / BUILDTIME flag to the annotation? Might be helpful in determining those cases.