DIFFERENCE_CODEC: NodeSpecCodec<Difference> = ...

A difference (PLAN ยง11.7): its key columns paired by position, as a join's, and its difference columns, all kept exactly as they are, even when they are empty or don't pair up (validation reports that)