Further, MIchael, please note that you cannot appeal to hard determinism to justify the claim that it is situationally impossible for me to choose Pepsi over Coke because that would be to beg the question.
The first thing I want to note is that I am going to speak in terms of
situationally not-possible instead of
situationally impossible so that
impossibility can be reserved as a modal necessity.
With that out of the way, it is also to be noted that I am not "appeal[ing] to hard determinism to justify the claim that it is situationally [not-]possible for [you] to choose Pepsi over Coke". As discussed previously, determinism (
simpliciter shall we say?) refers in its assertions to a context which is utterly determinate, devoid of any indeterminateness that is ever relevant. Block spacetime is not a necessary aspect for or consequence of this determinism, but block spacetime is compatible with that determinism.
If there is any distinction between that described determinism and hard determinism, I guess that occurs when the question of free will, freedom, and such matters is raised. That would be to say that
freedom is not necessary for the description/definition of determinism. But, when the freedom issue is raised, the hard determinist claim is that freedom is precluded under determinism whereas the soft determinist claim is that freedom is compatible with determinism of the
simpliciter variety.
The truth of both hard and soft determinism, i.e., the truth of hard determinism and compatibilism, depends on the truth of determinism
simpliciter. If determinism
simpliciter is not possibly true, then hard determinism is not possibly true, and compatibilism is not possibly true. Contextually, under determinism
simpliciter, all situations are everywhere and everywhen fully determinate, devoid of any relevant indeterminateness, regardless of whether block spacetime is actually true.
To say that in a given situation it is an always determinate matter that you drink the Pepsi even though the Coke (or the Thumbs Up, or the Sprite, or the Mountain Dew, or the Barq's, or whatever) is present, is to say that it is situationally not-possible for you to drink the otherwise than Pepsi.
So, you see, there is no MUST; there is no appeal to or dependence upon the truth of hard determinism. Furthermore, given that the truth of compatibilism depends on the truth of determinism
simpliciter, if it is situationally not-possible for you to drink the otherwise than Pepsi under determinism
simpliciter, then it is situationally not-possible for you to drink the otherwise than Pepsi under compatibilism.
I do not see anything in the above which a compatibilist would (should?) find objectionable. It still gives room for the compatibilist to say, "Ah, but I am free because - or insofar as - I am not coerced, and an utter determinateness devoid of relevant indeterminateness is not sufficient for establishing that I am coerced." Of course, it is not modally necessary to regard freedom/being free in that way. But that is a separate issue.