Distinguish between non-mandatory and mandatory constraints
Open, HighPublic

Description

We should add a distinction between non-mandatory and mandatory constraints, and report and display them differently. One possibility would be to add a new status, “mandatory violation” (or “severe violation”?).

For the gadget, Jura suggested displaying non-mandatory constraints under a question mark and only mandatory ones under the current exclamation mark.