[
  {
    "id": "c-01",
    "origin": "world/seat-policy.md#basic-economy",
    "forall": "reservation r",
    "when": "r.cabin == basic",
    "holds": "seat_change(r, _) == refused",
    "when_jq": ".world.reservation.cabin==\"basic\"",
    "holds_jq": ".trace.outcome==\"refused\""
  },
  {
    "id": "c-02",
    "origin": "scenarios/s-002",
    "forall": "reservation r, passenger p holds r, seat s",
    "when": "r.cabin != basic and p.tier == gold and s.kind == exit",
    "holds": "seat_change(r, s) == granted and fee == 0",
    "when_jq": ".world.reservation.cabin!=\"basic\" and .world.passenger.tier==\"gold\" and ((.world.seat.kind//\"\")==\"exit\")",
    "holds_jq": ".trace.outcome==\"granted\" and ((.trace.fee//0)==0)"
  },
  {
    "id": "c-03",
    "origin": "scenarios/s-003",
    "forall": "reservation r, passenger p holds r, seat s",
    "when": "r.cabin != basic and p.tier != gold and s.kind == exit",
    "holds": "seat_change(r, s) != granted or fee > 0",
    "when_jq": ".world.reservation.cabin!=\"basic\" and .world.passenger.tier!=\"gold\" and ((.world.seat.kind//\"\")==\"exit\")",
    "holds_jq": ".trace.outcome!=\"granted\" or ((.trace.fee//0) > 0)"
  }
]