{
  "schema": 1,
  "generated_at": "2026-10-23T19:44:16.794458+00:00",
  "summary": {
    "attempted_prs": 95,
    "published_reports": 79,
    "workflow_attempts": 145,
    "without_report": 16,
    "refuted_prs": 20,
    "properties": 441,
    "outcomes": {
      "refuted": 22,
      "verified": 244,
      "resources exhausted": 50,
      "type-check/audit failure": 125
    }
  },
  "repositories": [
    {
      "name": "z3",
      "label": "Z3",
      "repository": "shuvendu-lahiri/z3",
      "generated_at": "2026-10-23T19:44:16.794458+00:00",
      "summary": {
        "selected_prs": 31,
        "attempted_prs": 31,
        "published_reports": 25,
        "workflow_attempts": 72,
        "without_report": 6,
        "refuted_prs": 4,
        "properties": 92,
        "outcomes": {
          "refuted": 4,
          "verified": 30,
          "resources exhausted": 20,
          "type-check/audit failure": 38
        }
      }
    },
    {
      "name": "litebox",
      "label": "LiteBox",
      "repository": "shuvendu-lahiri/litebox",
      "generated_at": "2026-10-23T19:44:16.794458+00:00",
      "summary": {
        "selected_prs": 44,
        "attempted_prs": 44,
        "published_reports": 34,
        "workflow_attempts": 50,
        "without_report": 10,
        "refuted_prs": 10,
        "properties": 251,
        "outcomes": {
          "refuted": 11,
          "verified": 153,
          "resources exhausted": 28,
          "type-check/audit failure": 59
        }
      }
    },
    {
      "name": "nvx",
      "label": "NVX",
      "repository": "shuvendu-lahiri/nvx",
      "generated_at": "2026-10-23T19:44:16.794458+00:00",
      "summary": {
        "selected_prs": 20,
        "attempted_prs": 20,
        "published_reports": 20,
        "workflow_attempts": 23,
        "without_report": 0,
        "refuted_prs": 6,
        "properties": 98,
        "outcomes": {
          "refuted": 7,
          "verified": 61,
          "resources exhausted": 2,
          "type-check/audit failure": 28
        }
      }
    }
  ]
}