{
  "scenario": "unsafe_read_then_unconditional_write",
  "trace": [
    {
      "order": "order-A",
      "read": "FREE",
      "response": "sold"
    },
    {
      "order": "order-B",
      "read": "FREE",
      "response": "sold"
    }
  ],
  "paid_orders_for_one_seat": 2,
  "seat_row": [
    1,
    "SOLD",
    "order-A"
  ],
  "invariant_violated": true,
  "meaning": "negative witness, not the TicketStore implementation",
  "witness_reproduced": true
}
