Errors and warnings kept apart

An error is a rule broken, and it is fixed. A warning is something a person has to weigh up, and it stays a decision instead of turning into a rewrite nobody asked for.