Yes, the spindle is a splined, two part thing and the hollow top of
the spindle stays in place, regardless of the Z axis position (bottom
part).

This means that mounting an encoder on the top is very easy, just a
little machining exercise to make something that I can stick inside
and make it stay connected to the spindle, with some little top piece
to mount encoder wheel.