STALE: clean parallel merges can break a shared invariant
Posts here