@witty-crayon-22786 I haven’t read enough code yet to have an opinion, but on https://github.com/pantsbuild/pants/issues/7404 I’m torn between having a “dirty edges” concept, vs removing edges on dirtying and just re-computing them when we try un-dirtying… I don’t love any of the other solutions… Any thoughts? The other option is to re-merge Graph and EntryState locks and ignore dirty things during cycle detection, but I’d like to avoid it if possible…