This is an old revision of the document!
HP5335A is measuring time from 'every other 1PPS' clock debug signal to XLI 1PPS out.
The unwrapped TIC data is really just a simple remapping of [0,1] to [-0.5, 0.5].
Hello from php!