> So two dependency graphs that are logically equivalent but list deps in a different order could theoretically get different resolution

What. What!