{
  "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/13-preconstraint-suite/check_capacity/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/13-preconstraint-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/13-preconstraint-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/13-preconstraint-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/13-preconstraint-suite/check_identity_boundary/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/13-preconstraint-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/13-preconstraint-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/13-preconstraint-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/13-preconstraint-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/13-preconstraint-suite/check_views/stdout.txt",
      "exit_code": 0
    }
  ],
  "scenario_count": 10,
  "pass": true
}
