Correct proof building for records at a zone root