{
  "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"
  },
  "family_ref": "preparation",
  "action_contract": {
    "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.",
    "post_state": {
      "state_schema_ref": "https://tamaraspec.org/schema/tcs-playing-cards-state-0.1.json",
      "effects": [
        {
          "op": "set_card_state",
          "subject": "target",
          "field": "end_orientation",
          "value": {
            "param": "end_orientation"
          }
        }
      ]
    }
  }
}