Huzzah! A new GTSAM blog post by Kosuke Inoue: RTK GNSS double-difference factors for pseudorange + carrier phase, with lever-arm variants for GNSS-IMU fusion and example results on a Tokyo urban driving dataset.
A great community contribution to GTSAM’s navigation module. Link in replies.