Monitoring and correction of errors in state space representation products using PPP float ambiguity deviations and phase residuals in a wide-area network | Synapse