{
  "schema_version": 1,
  "branch": "develop",
  "verifier_sha": "3f71ed96af5c40662bb2e96f17bf931b781753e0",
  "generated_at": "2026-09-19T11:29:10.238051+00:00",
  "candidates": [
    {
      "id": "dgg-cost-jyh",
      "title": "DGG / Goemans cost conjecture: rational counterexample",
      "source": {
        "repository": "https://github.com/jyh/dinitz-verify",
        "commit": "ffba3523f0edd14be3460d039f22a6b98c02fd9e"
      },
      "status": "verified",
      "formal_status": "accepted_historical",
      "verifier_sha": "3f71ed96af5c40662bb2e96f17bf931b781753e0",
      "evidence_url": "https://github.com/Federico2014/math-lean-verification/actions/runs/34604545300/attempts/1",
      "acceptance_history": {
        "candidate_id": "dgg-cost-jyh",
        "problem_id": "dgg-cost",
        "statement_version": "v1",
        "accepted_on": "2026-09-11",
        "administrator": "Federico2014",
        "source_commit": "ffba3523f0edd14be3460d039f22a6b98c02fd9e",
        "verifier_sha": "8c6a0b0e21fdc63536351fb934e1f66e9fc3b877",
        "release_id": 386761682,
        "release_tag": "acceptance-dgg-cost-v1-20260911",
        "archive_commit": "793d2592abdafc7c8491f2ea1fa54706d3691a17",
        "record_sha256": "85bc1f15c8a3ff10dcc445d5a8e03051c6c84ec1ec8725711bace7c1be4f3e3a",
        "url": "https://github.com/Federico2014/math-lean-verification/releases/tag/acceptance-dgg-cost-v1-20260911"
      },
      "history_url": "https://github.com/Federico2014/math-lean-verification/actions/workflows/revalidate.yml?query=branch%3Adevelop",
      "workflow": {
        "schema_version": 1,
        "current_step": 4,
        "steps": [
          {
            "step": 1,
            "name": "Submit candidate",
            "status": "complete"
          },
          {
            "step": 2,
            "name": "Clear prerequisites",
            "status": "complete"
          },
          {
            "step": 3,
            "name": "Verify proof",
            "status": "complete"
          },
          {
            "step": 4,
            "name": "Merge, publish and accept",
            "status": "registered"
          }
        ],
        "registered": true,
        "formal_status": "accepted_historical",
        "next_action": "Registration published; acceptance remains bound to its recorded revisions."
      }
    }
  ]
}