They may both be correct.
GPS has two mechanisms for calculating the positions of a satellite, the ephemeris and the almanac.
The ephemeris is the most accurate of these and is used within position calculations. It is updated typically every two hours (on the even hour GPS time). As well as the orbital parameters it also has a health flag which allows the user to determine if the satellite can be used. The health flag in the ephemeris is the only health flag that really counts and is the only one that should be used within position calculations.
The secondary positioning and satellite status mechanism is the almanac. It is a course representation of all the satellites orbits and is updated typically once a day. It also includes a health flag for each satellite, this health flag as we shall see can be out of date. The almanac is used for predictive DOP calculations and to allow GPS receivers to work out what satellites they should be listening for.
Each satellite knows its own ephemeris (and no others) as well as the whole almanac (i.e. for the whole constellation). This information (ephemeris and almanac) is updated periodically as the satellite passes over the ground stations. From this it follows that the onboard almanac of one satellite might not agree with one from another satellite (as they received their uploads at different times). This disagreement could clearly extend to the almanac health status of a particular satellite. So we can see that when it comes to reporting almanac health information GPS itself is inconsistent.
GPS Receivers output a single almanac to users. There are many different algorithms it can use to form this single almanac. One of the most common techniques is to pick a satellite and just update the almanac from that one. So we can see that it is possible for two of the same make of receiver in a common location to report different almanac health status information.
Within Verify QC, position calculations are always performed using the ephemeris and the health for the ephemeris is always correct so there will never be an instance of Verify QC using an unhealthy satellite within a position calculation.
If there is no recent ephemeris information for a satellite within Verify QC, then it will fall back to using the almanac, which after all is the next best source of health information. This is how Verify QC can sometimes show discrepancies in the health status of different satellites. However, this information is only used for the predictive DOP calculations and so should not be regarded as critical.
The above equally applies to other constellations. The critical health information is contained in the ephemeris and this information is used by the position calculation to establish where the satellite is and what its operational status is. Information from the almanac, for satellites that are not currently in view, is then used to give an indication of the expected satellite availability and predicted DOP.