{
 "schema": "vela.producer-cv.v0.1",
 "what": "Receipt-backed producer record computed from signed append-only logs. Nothing self-reported.",
 "pubkey": "4892f93877e637b5f59af31d9ec6704814842fb278cacb0eb94704baef99455e",
 "fingerprint": "4892…455e",
 "actorIds": [
  "reviewer:will-blair"
 ],
 "isReviewer": true,
 "inFlight": [],
 "recent": [
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_fec6f956d525e753",
   "at": "2026-06-10T23:01:45.244978+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_ec4bb8feca206bf2",
   "at": "2026-06-10T23:01:45.222264+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_dce7a34adf2878f2",
   "at": "2026-06-10T23:01:45.200404+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_cf89ac0f36e62089",
   "at": "2026-06-10T23:01:45.178012+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_cc50639072ba1867",
   "at": "2026-06-10T23:01:45.153703+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_9a454a597ddee070",
   "at": "2026-06-10T23:01:45.130467+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_8212daf3d7034a93",
   "at": "2026-06-10T23:01:45.107670+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_55068262f49df0ab",
   "at": "2026-06-10T23:01:45.084566+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_41030d44f59eae22",
   "at": "2026-06-10T23:01:45.061196+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_368ec6ffb5747092",
   "at": "2026-06-10T23:01:45.038565+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_170c9a0e01a9b1d3",
   "at": "2026-06-10T23:01:45.014955+00:00"
  },
  {
   "slug": "benchmark-state",
   "frontierName": "AI-for-science benchmark state",
   "kind": "finding.noted",
   "targetId": "vf_03776d6cd3e0801b",
   "at": "2026-06-10T23:01:44.988028+00:00"
  }
 ],
 "frontiers": [
  {
   "slug": "erdos-problems",
   "name": "Erdős problems frontier",
   "byKind": {
    "finding.asserted": 24,
    "finding.noted": 6,
    "statement.attested": 7,
    "artifact.asserted": 2
   },
   "findingsAsserted": 24,
   "attestations": [
    {
     "verdict": "faithful",
     "target": "vf_caaa525f7259eff1",
     "at": "2026-06-10T20:52:24.917708+00:00"
    },
    {
     "verdict": "variant",
     "target": "vf_b4ecf5ea9e1f317b",
     "at": "2026-06-10T20:52:26.099051+00:00"
    },
    {
     "verdict": "variant",
     "target": "vf_63cf7f09150f3200",
     "at": "2026-06-10T20:52:27.272527+00:00"
    },
    {
     "verdict": "variant",
     "target": "vf_20dd984366cd93dd",
     "at": "2026-06-10T20:52:28.659834+00:00"
    },
    {
     "verdict": "faithful",
     "target": "vf_16db6f3dba299e5f",
     "at": "2026-06-10T20:52:29.847804+00:00"
    },
    {
     "verdict": "faithful",
     "target": "vf_748cf8097c3816cf",
     "at": "2026-06-10T20:52:31.053681+00:00"
    },
    {
     "verdict": "faithful",
     "target": "vf_9e571c292bedde14",
     "at": "2026-06-10T20:52:32.264943+00:00"
    }
   ],
   "registrations": 0,
   "reproduce": "vela reproduce projects/erdos-problems"
  },
  {
   "slug": "sidon-sets",
   "name": "Additive combinatorics: Sidon sets and N(h,k) bounds",
   "byKind": {
    "finding.reviewed": 1
   },
   "findingsAsserted": 0,
   "attestations": [],
   "registrations": 0,
   "reproduce": "vela reproduce projects/sidon-sets"
  },
  {
   "slug": "benchmark-state",
   "name": "AI-for-science benchmark state",
   "byKind": {
    "finding.asserted": 12,
    "finding.noted": 12
   },
   "findingsAsserted": 12,
   "attestations": [],
   "registrations": 0,
   "reproduce": "vela reproduce projects/benchmark-state"
  },
  {
   "slug": "quantum-codes",
   "name": "Quantum codes: stabilizer [[n,k,d]] certificates",
   "byKind": {
    "finding.asserted": 5,
    "artifact.asserted": 1
   },
   "findingsAsserted": 5,
   "attestations": [],
   "registrations": 0,
   "reproduce": "vela reproduce projects/quantum-codes"
  }
 ]
}