{
  "id": "reverse-card-end",
  "description": "Set a card's end-for-end orientation",
  "labels": {
    "en": "Reverse card end",
    "es": "Invertir extremo de carta",
    "fr": "Inverser l'extrémité d'une carte",
    "de": "Kartenende umkehren"
  },
  "action_contract": {
    "requires": [
      "target"
    ],
    "parameters": {
      "end_orientation": {
        "required": true,
        "description": "Resulting end orientation",
        "domain": [
          "normal",
          "reversed"
        ]
      }
    },
    "post_state_invariant": "The target's end orientation equals end_orientation; this does not change face orientation or packet order."
  }
}