{
  "id": "force",
  "description": "The performer fixes which card a spectator's selection act yields",
  "labels": {
    "en": "Force",
    "es": "Forzar",
    "fr": "Forcer",
    "de": "Forcieren"
  },
  "family_ref": "forces",
  "action_contract": {
    "parameters": {
      "technique": {
        "required": false,
        "description": "Named forcing technique",
        "domain": "string"
      }
    },
    "post_state_invariant": "The spectator's later selection act yields the declared target card, regardless of any freedom the selection act appears to offer. TCS's post-condition vocabulary describes prop state, not a relation to a later act, so this stays a register entry (decision 3) rather than structured post_state."
  },
  "presents_as": "take"
}