I'm not sure which FAR covers DP's, but there was one that covered the retirement age.....one that everyone who moved up the ladder prior to 13 DEC benefitted from.

I anxiously await your post referring to the exact FAR that covers DP's....