Recorded diff shapes become self-checking, and a false cost claim comes out

Recorded diff shapes become self-checking, and a false cost claim comes out #559