{
  "scenario": "full_relevant_suite",
  "cases": [
    {
      "script": "check_capacity.py",
      "scenario": "given_capacity_arithmetic",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_capacity/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_capture_crashes.py",
      "scenario": "authorization_capture_process_crash_recovery",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_capture_crashes/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_capture_protocol.py",
      "scenario": "authorization_pin_capture_unknown_and_strong_promise_refusal",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_capture_protocol/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_counterexample.py",
      "scenario": "unsafe_read_then_unconditional_write",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_counterexample/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_crashes.py",
      "scenario": "real_process_kill_and_sqlite_recovery",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_crashes/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_holds.py",
      "scenario": "atomic_holds_retry_reclaim",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_holds/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_identity_boundary.py",
      "scenario": "required_payment_identity_and_amount",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_identity_boundary/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_injected_capacity.py",
      "scenario": "injected_hotspot_admission_budget_and_observed_commit_weight",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_injected_capacity/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_inventory_size.py",
      "scenario": "fifty_thousand_inventory_rows",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_inventory_size/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_lock_time.py",
      "scenario": "transaction_time_after_lock_and_paid_seat_constraint",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_lock_time/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_payments.py",
      "scenario": "payment_identity_expiry_and_rollback",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_payments/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_schedules.py",
      "scenario": "bounded_real_sqlite_boundary_schedules",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_schedules/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_timeouts.py",
      "scenario": "busy_timeout_no_false_success_and_retry",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_timeouts/stdout.txt",
      "exit_code": 0
    },
    {
      "script": "check_views.py",
      "scenario": "read_views_and_expired_idempotent_retry",
      "binary_observable": true,
      "stdout": "/Users/magicliang/Desktop/Programming/git/hexo-blog/examples/system-design/evidence/35/session-ticket/runs/22-full-protocol-suite/check_views/stdout.txt",
      "exit_code": 0
    }
  ],
  "scenario_count": 14,
  "pass": true
}
