The issues that do not count against a proof. None do: an
issues
Report.warnings: list[Issue]
SUM that may leave its type is an error (errors).
SUM