Document final "state" of redef'ed records