Week number is always 0 in Message Protection Level

Hello,

While using the gps_time() function I noticed that the Protection Level message always returns 0 in the week number field, although it returns a full GpsTime.

By looking around in the code I found this comment:

libsbp/proto/navigation.proto

Lines 707 to 715 in 8711919

    
           /** Computed state and Protection Levels 
        
            * 
        
            * This message reports the protection levels associated to the given state 
        
            * estimate. The full GPS time is given by the preceding MSG_GPS_TIME with the 
        
            * matching time-of-week (tow). 
        
            */ 
        
           message MsgProtectionLevel { 
        
               uint32 tow = 1; 
        
               sint32 wn = 2;

Which suggests that Protection Level is one of the messages containing only a tow.
I am wondering why the struct has a wn field, if it's set always to zero.
I think that gps_time() should anyway return a simple tow for this message type.

By checking my logs better, I see that this happens when the sender id is 4096, while when it is 789, week number is populated. In any case, those messages coming from 4096 look zero-ed. So I am confused.

Best,
Marco

log.txt

Hi @marcomaida94 -- would you mind creating a support request at https://support.swiftnav.com/support/tickets/new? This seems like an issue with Skylark's integrity output so the support portal is the best way to ensure that the question is routed to the right person. I will flag this internally though so people know it's coming. Thanks!

	/** Computed state and Protection Levels
	*
	* This message reports the protection levels associated to the given state
	* estimate. The full GPS time is given by the preceding MSG_GPS_TIME with the
	* matching time-of-week (tow).
	*/
	message MsgProtectionLevel {
	uint32 tow = 1;
	sint32 wn = 2;