Well, the answer key is wrong, in fact horribly wrong. But your thinking process is also wrong; not as wrong as the answer key, but not correct nevertheless.
- Why is the answer key wrong? In this case, to prove the machine is doing its job properly, we would need to accept the null proposed by the answer key (over the alternative). But one can never accept the null, just fail to reject it, just like one can never reject the alternative, just fail to accept it. Think of it this way; I will just take 3 samples, the sample size will be so small that the confidence interval of the mean will be quite large, so large that it will include 64.05oz, therefore I will fail to reject the null and declare my machine to be working fine. This is absurd, and very concerning if it really happens to be in a textbook, or even in the handout from your professor. All you can do is disprove the null, never prove it. So the answer key is horribly wrong (because it implies that you will try to "prove" the null).
- But your thinking is also incorrect (it is logical, but not practical). If the machine was filling exactly 64oz, on average, that would mean that half the customers would get less than the label says... Not a good situation commercially. In practice, any filling machine always overfills a bit (be it juice, drugs, shampoo, chips, m&m's, etc.), so that a proportion > 50% of containers ends up with no less than the advertised quantity. So we need to show that the mean is >= 64.05oz. Therefore our null must be $H_0: \mu<64.05$ and the alternative $H_a: \mu>=64.05$.
But, and this is where the problem gets actually interesting, one can not do what I just wrote (even though that is what we really want to do!). I do not know of a single test where the alternative is of the form $>=$, or $<=$. So instead you can pick e.g. $H_0: \mu=64.049$ and the alternative $H_a: \mu>64.049$. Now a simple t-test will give you the answer. But 64.049 may allow the mean to be 64.0495, which is below 64.05?! So we could use 64.0499, or 64.04999, or ... Probably, for all practical purposes, 64.04999 is just as good as 64.05? (our measuring instrument probably does not allow us that much resolution anyway). One could always use 64.05, but our alternative now becomes that the mean is strictly greater than 64.05, and thus the machine is overfilling more than is necessary (even if it is by just a little bit)...
So the question is doubly wrong; it gives the wrong answer, and I know of no test which can prove that a mean is $>=$ than any given value; only $>$...
Another issue is that the real specification for the mean can not practically be $\mu=64.05$; that is not achievable (except in -not very good- homework assignments), because in the real world, the average fill will vary, day to day, shift to shift, week to week, machine to machine, etc. A more appropriate specification could have been, e.g. $64.05<\mu<64.1$. In that case, the null is $H_0: {\mu<=64.05}$ $or$ ${\mu>=64.1}$ and the alternative $H_a: 64.05<\mu<64.1$. And the solution is to run 2 single sided t-tests (one for each "side" of the null), and sum the p-values.