{
  "id": "turn",
  "description": "Flip card orientation",
  "labels": {
    "en": "Turn",
    "es": "Voltear",
    "fr": "Retourner",
    "de": "Wenden"
  },
  "action_contract": {
    "requires": [
      "target"
    ],
    "parameters": {
      "face": {
        "required": false,
        "description": "Resulting face orientation, when known",
        "domain": [
          "face_up",
          "face_down"
        ]
      }
    },
    "post_state_invariant": "The target's face orientation equals face when supplied; this does not reverse packet order or end orientation."
  }
}