So, here are the first results after letting the 53132A warm up for a few hours.
The measurement setup was relatively primitive, I just put the tinyDMTD on my lab bench, connected it to my laptop via the supplied USB cable and started logging in Timelab.
No special cables were used, I took some PTFE SMA cables, connected the timebase output of the 53132A to one channel and the GPSDO output to the other channel. Temperature was not controlled during the test and I was in the room the whole time.
I've attached a screenshot out of timelab after collecting 1 hour worth of data. I've also attached a screenshot from the GPSDO monitoring program, covering the same time interval.
The blue trace in timelab is the unedited phase data out of the tinyDMTD. The magenta trace is after removing the frequency offset against 10MHz and after correcting also the frequency drift - as mentioned, the 53132A was only recently switched on and it's reasonable to assume that it will drift for a while before settling.
Also, if you look at the first column of graphs from the GPSDO monitoring, the TIC ADEV is the phase error of the GPSDOs LO against the GNSS 1PPS output, after correcting quantization error ("sawtooth correction"). The actual GPSDO output cannot be worse than what is shown in that graph. Therefore it's reasonable to assume that the "uptick" in the blue Timelab curve is due to the 53132A timebase drifting against the GPSDO output. The magenta curve is likely closer to the actual GPSDO performance, as it corrects for said drift.
The timelab traces are all above the noise floor of the tinyDMTD.