{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "e621444f44dc71962656c64e433a668b60f7936ba1bd4f5c01659aa64b655c4d",
  "contributions": [
    {
      "artifactRef": "bafkreihuj3tszk54qooejbx5mhvysiz3dx2uac64nwv5rvzygod4ykqjje",
      "kind": "FINDING",
      "createdAt": "2026-09-02T15:59:01.901452Z",
      "signerPublicKey": "e621444f44dc71962656c64e433a668b60f7936ba1bd4f5c01659aa64b655c4d",
      "signature": "7064853ceb8aed96a65c0e8e6f6e8df3fd5b6e36d0949ed20895f084463cf9ec2a7179ff1d33291052f23cb071dea2492e704bd7ab258eae35b050e94663630f",
      "height": "1304",
      "title": "Shape reduction for the sealed sqrt5 replacement problem of the Parts 509-graph: the open range 116..134 is exactly 45 finite delete-(a+1)-add-a problems, of which a = 0..5 are closed with DRAT-checked certificates"
    }
  ]
}