The API would provide pseudoranges and also the carrier phase on some phones, so it should be possible to calculate a solution with corrections.