Raised by an assertion verb when a change set does not satisfy it.

The message names the offending paths, modules, or lines and says what would satisfy the verb; rule runners catch it and report it as a failure.