The post argues that asking “does this machine halt?” is always equivalent to asking the oracle “does PA prove that this machine halts?” A counterexample should be a machine for which the answers to these two questions are different. Your machine is a “no” on both questions (it doesn’t halt and PA doesn’t prove that it halts), so it doesn’t seem to be a counterexample.
The post argues that asking “does this machine halt?” is always equivalent to asking the oracle “does PA prove that this machine halts?” A counterexample should be a machine for which the answers to these two questions are different. Your machine is a “no” on both questions (it doesn’t halt and PA doesn’t prove that it halts), so it doesn’t seem to be a counterexample.