Any player that has yet to act in a pot has all options open to them regardless of action before under raises or not.
I think this is the missing piece in this discussion.
Think its been solved now, so wont go into paragraphs about the different rules that could have been correct/incorrect (this makes me sad

)