Deterministic u-blox UBX (0xB5 0x62) framing & 8-bit Fletcher checksum (CK_A, CK_B) resynchronizer + RXM-RAWX carrier-phase/pseudorange/Doppler unpacker & cycle-slip flagger + IGS RINEX 3.04 formatter engine (.ubx, .bin, .obs) built for u-blox ZED-F9P, RTKLIB, ArduSimple, SparkFun GNSS — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…