I too have the expectation a sort with cycle check happens very early, but that would not cover injected targets ... though I think insertion in the graph covers those