{
  "verdict": "PASS",
  "artifact_id": "924bcddb97a58f886a7e4bdd8b3165aae6e05a4ca3b8f91184ce559ab4e9a07b",
  "handler_requests": 347,
  "checks": 1773,
  "groups": [
    {
      "id": "visible_trace",
      "cases": 5,
      "status": "PASS"
    },
    {
      "id": "bounded_sequences",
      "sequences": 81,
      "alphabet": [
        "A",
        "B",
        "C"
      ],
      "length": 4,
      "requests": 324,
      "status": "PASS"
    },
    {
      "id": "concurrent_promises",
      "requests": 16,
      "processes": 1,
      "connections": 1,
      "status": "PASS"
    },
    {
      "id": "clean_database_reopen",
      "requests": 2,
      "status": "PASS"
    }
  ],
  "report": "/workspace/scratch/e06e5ccadbb6/da-ex-001-repeat-20261012/run-reviewed/verification.local.json",
  "failure": null
}