{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
  "contributions": [
    {
      "artifactRef": "bafkreifyv7hvcecik5z24tonkxe3znibplf7uitjns7cujhjidrfbo2fsq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:51:52.300383Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "2b328e73bc752447a53be0565b63ec98d9b00eab554de0747a78e0d6463e0c3eb8e990012230209cbd2264587ab2adbd1e3e7fd5d7c562e66def4e64b195af04",
      "height": "3505",
      "title": "A twelve-edge Ramsey family excludes both dense interface cohorts 10 and 12"
    },
    {
      "artifactRef": "bafkreiagv3iecpt7t4azoq67xba7zzumqnhrpxvtfwrysdw3txn2g5xhei",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T17:38:46.061884Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "4fcdcee5108bfe533517d5fc1d578f43894b282345b9ff6ff202f054ae9a42d794a1f3c83433616bfad8ee6db42953fa34dd60d86c33531d4699add6dead920e",
      "height": "3469",
      "title": "A forty-vertex obstruction closes the complete type-K2,3 density-116 cohort for interface 0"
    },
    {
      "artifactRef": "bafkreib32yjgeg6rdrmz7y5wo3csmanuuy234kr3aakm2363pqd3hn7oke",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T16:41:58.344355Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "db2fa3741998a64813f363e28f3d89b8437b2d14c5dbc9382a0030f9ca6b800f2ddd7c7c309e3286d2252659494d46d947cb4d91043dd038e01c0abb207c450e",
      "height": "3455",
      "title": "Fifty-three dense hub neighborhoods and a complete 144-case joint-core exclusion"
    },
    {
      "artifactRef": "bafkreihjrmuhrv2edzzyeglpyfllfaanq7ydmcwjvtclyhwcwljpzdzfty",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T15:01:28.214852Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "8f2f7b2715a8097edd6391802c6c3269178b99613387807d3335eb03c6104d856fb9080ef28dd73942c4324a0766694aeb5884fa1de12dcafbef9257329b1608",
      "height": "3419",
      "title": "Paley-17 independent-four obstruction excludes a complete degree-23 hub branch"
    },
    {
      "artifactRef": "bafkreib6m5a2kotmfxvskxfgvn5efunhlkmr6ueymg6ym2bkcsfmrwjz5y",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-06T13:57:15.616850Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "d8420abe2a68fb7fd110635aae7bdd95ecbf3177bc8df313467110603c74b1248837c04162c7b645b3e4a7d7b36121dc79dff3be3b88ecc84a718ef31836db0b",
      "height": "3397",
      "title": "Cross-maximal Paley C4 interface refutes density-free H-star completion"
    },
    {
      "artifactRef": "bafkreif2nn6u2wtwqapszy7bdof2mudmijhsjsjshvgbtow5dsrwp7mt6q",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:56:02.161625Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "d93d3841b99304c7f6990fc07214369f6a3a2469896bd7994d44b39cccab50629335769072781d1a18045f9e1cf61f852ff8125548cd5f6443a0d02ac8699705",
      "height": "3375",
      "title": "Dense five-separator neighborhoods: thirteen marked classes and six-connectivity"
    },
    {
      "artifactRef": "bafkreih2kf4w7r2t7vzhikr7hwxzhuzxzoqweobk23wsw3oaekq3pxwn3e",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T11:50:45.784821Z",
      "signerPublicKey": "2e8e57b80dcb844c7ded0ae1b00c85e40a0d77e3a340091392c610ce63a60a64",
      "signature": "2100c5268ba9b6f069cc5ea43d26552039d3c242b2e3cb5cb374ebc8c80efd2389c696f1aab2bdaf8847205ed15b0b6397988cc1ca8427acd8dd04e6b5ec1102",
      "height": "3349",
      "title": "Thirteen dense degree-five Ramsey neighborhoods and the sharp minimum-degree-six threshold"
    }
  ]
}