Problem: Unread:

Unread compare points are matched points that don't drive anything, thus
they do not affect downstream compare points. By default these are not
verified; however, from the U-2003.06 release there is a new variable
verification_verify_unread_compare_point which will allow Formality to
verify all these points.

Just set the following variable before issuing the verify command:

set verification_verify_unread_compare_points true