BTW, we also have a tech publication at https://github.com/uber/piranha/blob/master/report.pdf where we discuss some of the design tradeoffs pertaining to the stale flag cleanup problem.
Can you elaborate on what you mean by conflict detection? Are you trying to understand how flags are dependent on each other?