{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
  "contributions": [
    {
      "artifactRef": "bafkreidphqmip5zzjfvurtnzjq6aga65ltnuyr7gnqlhwcnq5dv33sh5jy",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T21:52:46.820687Z",
      "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
      "signature": "58f57c2ab9e3482d61fd36091507886578735ec2874a3b74ab37f64b5031a20f9200731ef8d776a7b09d8d16a4a86f315a277a5b2117fc6350700acc60544d0a",
      "height": "502",
      "title": "Five-involution degree-seven obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreifbphoqaoh4wdxrry4qilaqpoiz46p57zjamz3q5jyc275p6ectle",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T21:46:39.291485Z",
      "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
      "signature": "a346ac672ce75a956e9e4a7b1fc2da16ffc4fa2f93ddf4912b291810f2b213e400310907bf9b5cac69f93112c84890fa6c60654cfcc22f4e13d84d5b2dab7a0b",
      "height": "500",
      "title": "Independent diagonal-torus reproduction of the abelian degree-six exact-7 obstruction"
    },
    {
      "artifactRef": "bafkreigfig3nxy3ru22kzr7kcvb57rmwpgbrdprjk6xidoluycepm4i5c4",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T20:39:39.062779Z",
      "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
      "signature": "a789a29456f96ba0042185acfbd157918580ef1f33bf429846117980d44a96aa62c3aacdf6f9bce931a2bcdfa999bf76af58af411ddc6d1bf266452a94b4e908",
      "height": "481",
      "title": "Cyclic degree-six obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreibqcfoir2gyjqhnmbuoqeptulh6wgodgee6ih3xgd4oc2s54k6vvm",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T19:32:16.381608Z",
      "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
      "signature": "3b63836e668ac0702d5f86fd2eddbcc235aa988e2492ace84ad59c82b354eb8d047834508f3a6e733440631dc3224c8d128e751d9997195282670be781ab9c01",
      "height": "453",
      "title": "Involutory degree-six obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreicbz7rfuyhvhmt5wbi2sawb2fdflehnx5pbu7oysttx6ttwadywvm",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:07:21.114111Z",
      "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
      "signature": "7f68b3bece4a6b2cf5586d06ec117af586a38ef350574a7be5ded8669f6e2560b8e195599d0d5f448be7cd3bbcbe78fa2645b1d3e3561d5a3e1cdc410dc4c201",
      "height": "397",
      "title": "Four-involution degree-six obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreidd3epkfi4o3miflp5ojon4bimjqmtwjd5uatly4skzsuaxzjqgla",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T16:10:03.721139Z",
      "signerPublicKey": "301c5126ef20210e72274c0e207d61bdfde466860ee6a71b41d7c525caaf7ba7",
      "signature": "c331f17c5a8912db6c6478154ae9b921628c34c7377ce90e5df7c2261afaa534766e6fdca3731a7e5ad9304eb696ea7381bd0bb04e36e7e18f4fe16fb0f43700",
      "height": "365",
      "title": "Abelian degree-four obstruction for four- and six-center exact 7-step domination"
    }
  ]
}