{
  "pass": true,
  "mode": "complete",
  "hashes_verified": 602,
  "runs": [
    {
      "run": "01-naive-race",
      "exit": 1,
      "elapsed_s": 0.0784499169967603
    },
    {
      "run": "02-fixed-race-and-late",
      "exit": 0,
      "elapsed_s": 0.43127137499686796
    },
    {
      "run": "03-prelock-clock-failure",
      "exit": 1,
      "elapsed_s": 0.4530520830012392
    },
    {
      "run": "04-clock-after-lock",
      "exit": 0,
      "elapsed_s": 0.35135266699944623
    },
    {
      "run": "05-regression-after-clock-fix",
      "exit": 0,
      "elapsed_s": 0.10531804100901354
    },
    {
      "run": "06-position-age-and-order",
      "exit": 0,
      "elapsed_s": 0.08707891700032633
    },
    {
      "run": "07-crash-and-response-recovery",
      "exit": 0,
      "elapsed_s": 0.27709295800013933
    },
    {
      "run": "08-design-style",
      "exit": 0,
      "elapsed_s": 0.07523258299625013
    },
    {
      "run": "09-order-race-and-release",
      "exit": 0,
      "elapsed_s": 0.16223258299578447
    },
    {
      "run": "10-expired-retry-failure",
      "exit": 1,
      "elapsed_s": 0.10913608300324995
    },
    {
      "run": "11-regression-with-expired-retry-fix",
      "exit": 0,
      "elapsed_s": 1.0866507909959182
    },
    {
      "run": "12-position-expires-in-lock-failure",
      "exit": 1,
      "elapsed_s": 0.40107220799836796
    },
    {
      "run": "13-position-reservation-regression",
      "exit": 0,
      "elapsed_s": 1.8611550420027925
    },
    {
      "run": "14-transition-table-failure",
      "exit": 1,
      "elapsed_s": 0.22467358299763873
    },
    {
      "run": "15-completion-transition-regression",
      "exit": 0,
      "elapsed_s": 2.4059447500039823
    },
    {
      "run": "16-partial-artifact-audit",
      "exit": 0,
      "elapsed_s": 0.1220551250007702
    },
    {
      "run": "17-initial-design-style",
      "exit": 2,
      "elapsed_s": 0.11569412499375176
    },
    {
      "run": "18-initial-design-style-corrected",
      "exit": 0,
      "elapsed_s": 0.07473025000945199
    },
    {
      "run": "19-invariant-style",
      "exit": 0,
      "elapsed_s": 0.07344629100407474
    },
    {
      "run": "20-hot-cell-routing-failure",
      "exit": 1,
      "elapsed_s": 0.07401358400238678
    },
    {
      "run": "21-spatial-authority-failure",
      "exit": 1,
      "elapsed_s": 0.09230916600790806
    },
    {
      "run": "22-hotspot-order-routing",
      "exit": 0,
      "elapsed_s": 0.04282716699526645
    },
    {
      "run": "23-migration-and-cancel-fenced",
      "exit": 0,
      "elapsed_s": 0.08772749999479856
    },
    {
      "run": "24-cache-resurrects-cancel-failure",
      "exit": 1,
      "elapsed_s": 0.09311345798778348
    },
    {
      "run": "25-all-new-constraints",
      "exit": 0,
      "elapsed_s": 1.7319263339886675
    },
    {
      "run": "26-revised-prose-style",
      "exit": 0,
      "elapsed_s": 0.0877834170096321
    },
    {
      "run": "27-final-scenario-regression",
      "exit": 0,
      "elapsed_s": 1.7949870000011288
    },
    {
      "run": "28-pre-final-artifact-audit",
      "exit": 0,
      "elapsed_s": 0.18907104199752212
    },
    {
      "run": "29-retrospective-style",
      "exit": 0,
      "elapsed_s": 0.08771754200279247
    },
    {
      "run": "30-readme-style",
      "exit": 0,
      "elapsed_s": 0.14775512501364574
    },
    {
      "run": "31-checkpoint-and-source-audit",
      "exit": 0,
      "elapsed_s": 0.18310887498955708
    }
  ],
  "stages": [
    {
      "stage": "05",
      "elapsed_s": 314.40156574999855
    },
    {
      "stage": "13",
      "elapsed_s": 783.9229369170062
    },
    {
      "stage": "25",
      "elapsed_s": 1528.748051625007
    },
    {
      "stage": "40",
      "elapsed_s": 2389.987304167007
    },
    {
      "stage": "40-rechecked",
      "elapsed_s": 2476.857451292002
    },
    {
      "stage": "45",
      "elapsed_s": 2717.745237541996
    }
  ]
}
