I'm kind of torn. The reasoning makes sense, and in general I think would be good to differentiate errors that actually identify runtime errors vs. other logical errors.

But on the other hand, I really do prefer only two options that mean "errors that break the build" vs "errors that do not";.