{
  "id": "shuffle",
  "description": "Shuffle by an unstated technique; order unconstrained",
  "labels": {
    "en": "Shuffle",
    "es": "Barajar",
    "fr": "Battre",
    "de": "Mischen"
  },
  "family_ref": "true-shuffles",
  "action_contract": {
    "post_state_invariant": "target's resulting card order is unconstrained; no other state (card identity, marks, crimp, jog) changes.",
    "post_state": {
      "state_schema_ref": "https://tamaraspec.org/schema/tcs-playing-cards-state-0.1.json",
      "effects": [
        {
          "op": "permute",
          "subject": "target",
          "permutation": "unconstrained"
        }
      ]
    }
  }
}