Replaces the v1.0 single-envelope/OpponentTurn-phase invariant with the v1.1 two-envelope/AfterReady invariant. Currently failing — ComputeResponses still does the v1.0 thing. Implementation follows.
Replaces the v1.0 single-envelope/OpponentTurn-phase invariant with the v1.1 two-envelope/AfterReady invariant. Currently failing — ComputeResponses still does the v1.0 thing. Implementation follows.