OH this makes so much sense! I've been thinking for a while relays need to do more to stay in sync for some applications of the protocol. Negentropy sounds like exactly that.