YEP you can use two of the encoders to do a compare function and it does not matter which 2 (;-)
IF encoder(1) = Encoder(2) (+/-) then ok
If encoder(1) <> Encoder(2) (+/-) then STOP and (most important)
write MESSAGE to screen ( WHOA BOY, ENCODERS ARE OUT OF SYNC) (;-)
ON ESTOP and rehome axis then Function 133 & 134 ( reset encoder dro to zero to resync test function)
AND double check your Encoder(0) YES ART normally started his naming sequence with (0) being the X axis x=0 y=1 z=2 ,etc
YEP that should about do it(;-), TP