Time and Length
A five-meter rest rod measures four meters along the motion. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
The rest length is 5 m and the same gamma is 5/4.
Dividing by gamma gives moving length 4 m.