I don't have to detail a full theology of Gods attributes into order to maintain that God can be the grounder of teleological facts, and if I did want to go into that the place for it certainly wouldn't be on this forum!
Actually, you kinda do. It doesn't have to be in any order, but if one attribute of god can be found to be logically wanting, then it isn't god that is the grounder of morality. Solely on that, that doesn't mean there isn't an entity that grounds morality, only it's not the god you originally thought.
Regardless, I wouldn't want you or expect you to do it on this forum either!
But I'm not sure thats the right interpretation of what Alan is saying, you may be right about his position but he did earlier on this threat explicitly endorse my account of this arguement being one of consistency with our moral intuitions as the basis for believing OM.
Except now you've agreed that there is a problem with this, which you solve with god, but atheist realists still flounder with it. Well, they do if they hold to OM.
I don't think he has ever gone into detail on premise 2.
Alan doesn't formulate the argument how you have above. He pretty much goes with how WLC formulates it:
1. If God does not exist, objective morality does not exist.
2. Objective morality does exist.
3. Therefore, God exists.
So with premise 2 here, invoking god as the grounder of morality to show that OM exists is to have a circular argument. As you probably know, that doesn't make it invalid, it's just that we learn nothing new and the whole argument is a waste of everyone's time.