global contact state
persistent pair state (holds the per-record chain heads)
owning pair record index
first body (must have id <= bodyB.id)
second body (must have id >= bodyA.id)
sub-shape ID for body A
sub-shape ID for body B
The newly created contact
Create a new contact nested under a pair record, linking it at the head of the record's chain.