so if the resolver isn't giving them to you in a stable order, that's a bug in the resolver