I think it would be a better idea to use linear encoders if you were going to add encoders to the shaft, as that way you could directly readout the position of the tool along an axis without issues like backlash that would mess up your calculated position. This is what I’ve seen on (both manual and CNC) mills and lathes.