Indeed. That is discussed in the last part of the "properties" section.

I think the argument is that this possible outcome is acceptable to Alice because she expects an equal chance of encountering trade opportunities where she benefits from the bargain.

I see a similarity between this risk and the Newcomb problem, but I'm not sure what additional assumptions this brings into the theory. What knowledge of your trading partner's decision mechanisms (source code) is necessary to commit to this agreement?