The architecture avoids inconsistent graphs by inferring all transitive relations from each sieve's output before the graph is passed on to the next one.
the n th sieve cannot add an inconsistent edge that is inferrable from the previous n − 1 sieves.