Both these statements are true, so I'd say they are consistent :-)
In particular, the first one is true because "The player would pay if asked" is true.
"The player would pay if asked" is true because "The player will be asked" is false and implies anything.
"The player will be asked" is false by the extra axiom.
Note I'm using ordinary propositional logic here, not some sort of weird "counterfactual logic" that people have in mind and which isn't formalizable anyway. Hence the lack of distinction between "will" and "would".
Are you sure you're not confusing the propositions
o=ASK => a=PAY
and
a=PAY
?
If not, could you present your argument formally?
This problem is roughly isomorphic to the branch of Transparent Newcomb (version 1, version 2) where box B is empty, but it's simpler.
Here's a diagram: