Take a look at the source code that the Google GNSS measurement tool uses to process ADR:
https://github.com/google/gps-measurement-tools/blob/063e2275e29de1f5476f2a9a9e0cb900a37d0b68/opensource/ProcessAdr.m
Here's the Android ADR API definition:
https://developer.android.com/reference/android/location/GnssMeasurement#getAccumulatedDeltaRangeMeters()
The EU GSA raw measurements document really doesn't go into ADR in detail:
https://www.euspa.europa.eu/system/files/reports/gnss_raw_measurement_web_0.pdf
I'd certainly welcome input from anyone who has computed carrier phase measurements from ADR themselves.
Sean