{
  "scenario": "real_process_kill_and_sqlite_recovery",
  "observations": [
    {
      "checkpoint": "after_seat_update",
      "argv": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "crash_worker.py",
        "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/13-preconstraint-suite/check_crashes/after_seat_update.sqlite",
        "366cb978420b4a21ae6a4914463003b5",
        "after_seat_update"
      ],
      "worker_exit": -9,
      "before_retry": {
        "seats": [
          {
            "id": 1,
            "state": "HELD",
            "hold_id": "5af3e9a92ccc44ad9b8f08cbf6da156d",
            "expires_at": 1300
          }
        ],
        "orders": [
          {
            "id": "366cb978420b4a21ae6a4914463003b5",
            "buyer": "alice",
            "request_key": "one",
            "seat_id": 1,
            "hold_id": "5af3e9a92ccc44ad9b8f08cbf6da156d",
            "expires_at": 1300,
            "state": "HELD",
            "amount_cents": 10000,
            "currency": "CNY"
          }
        ],
        "payments": [],
        "ledger": []
      },
      "retry": "BOOKED",
      "ledger_after_retry": 1,
      "integrity": "ok",
      "journal_mode": "delete"
    },
    {
      "checkpoint": "before_commit",
      "argv": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "crash_worker.py",
        "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/13-preconstraint-suite/check_crashes/before_commit.sqlite",
        "007439d7b9d34643ae0f0985c287b7fb",
        "before_commit"
      ],
      "worker_exit": -9,
      "before_retry": {
        "seats": [
          {
            "id": 1,
            "state": "HELD",
            "hold_id": "53722861edd449199818e6b3804bb4da",
            "expires_at": 1300
          }
        ],
        "orders": [
          {
            "id": "007439d7b9d34643ae0f0985c287b7fb",
            "buyer": "alice",
            "request_key": "one",
            "seat_id": 1,
            "hold_id": "53722861edd449199818e6b3804bb4da",
            "expires_at": 1300,
            "state": "HELD",
            "amount_cents": 10000,
            "currency": "CNY"
          }
        ],
        "payments": [],
        "ledger": []
      },
      "retry": "BOOKED",
      "ledger_after_retry": 1,
      "integrity": "ok",
      "journal_mode": "delete"
    },
    {
      "checkpoint": "after_commit_before_response",
      "argv": [
        "/opt/homebrew/opt/python@3.14/bin/python3.14",
        "crash_worker.py",
        "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/13-preconstraint-suite/check_crashes/after_commit_before_response.sqlite",
        "d89ef5d118774efa85900a5d47356262",
        "after_commit_before_response"
      ],
      "worker_exit": -9,
      "before_retry": {
        "seats": [
          {
            "id": 1,
            "state": "SOLD",
            "hold_id": "99405ea271304b7886d13ea789b92916",
            "expires_at": 1300
          }
        ],
        "orders": [
          {
            "id": "d89ef5d118774efa85900a5d47356262",
            "buyer": "alice",
            "request_key": "one",
            "seat_id": 1,
            "hold_id": "99405ea271304b7886d13ea789b92916",
            "expires_at": 1300,
            "state": "PAID",
            "amount_cents": 10000,
            "currency": "CNY"
          }
        ],
        "payments": [
          {
            "id": "crash-payment",
            "order_id": "d89ef5d118774efa85900a5d47356262",
            "amount_cents": 10000,
            "currency": "CNY",
            "result": "BOOKED"
          }
        ],
        "ledger": [
          {
            "payment_id": "crash-payment",
            "order_id": "d89ef5d118774efa85900a5d47356262",
            "amount_cents": 10000
          }
        ]
      },
      "retry": "BOOKED",
      "ledger_after_retry": 1,
      "integrity": "ok",
      "journal_mode": "delete"
    }
  ],
  "scope": "process SIGKILL on local SQLite, not machine power loss or replicated DB recovery",
  "pass": true
}
