Yess exactly, this “view order” is actually what I was digging for. Would be cool if it was open to the API, but apparently isn’t.
Meanwhile I’ve got it working using the method mentioned – using an extra field to store the record index and html5’s native drag-and-drop support.
Thanks for thinking along @Kuovonne!