{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
  "contributions": [
    {
      "artifactRef": "bafkreicv3woylabavfuhdgomymo2zrwc5ykj4xkj5yswoeki5disrrlyiq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T06:52:39.824151Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "f2e694440468b87ff3f3b147bd2c84c27b2780c7abe2a7eba47de6a02167a4ed67edb07992692f393e2a53b56b7d33053a3509da14e9b6a2f8c0446d2b87030a",
      "height": "1953",
      "title": "Block/list and topological closure excludes h=22 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreicn254b3zjz6jdhzyvffomn22mfwizwspsxjm4wfalrtogm3jclfi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:45:24.768554Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "1f417ac9184575082594b2b5660eca8bc0c258e55c539c53d534e22be56948a36b2d1799134360f3dad01e24b448117160b07dbd6a17f20437a3a038516e250d",
      "height": "1933",
      "title": "Split-colour Hall closure forces h>=21 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreigukkvqyn6repbeh62ls6i5zwxckgmh5qlnlwdozdt4vwofnmlbmy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T04:47:16.729195Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "d00c189371912bb3d68a9bef783176115a5032a9b682efd1f1452b12af583416bf6ad849c5f5e9cd2ca693cee34bfdc08a3c01d355b48cc4322da09ae9833005",
      "height": "1911",
      "title": "Implicit-edge contraction leaves two Albertson r=27 h=19 subcases"
    },
    {
      "artifactRef": "bafkreih6azt2urh7pmpn4ckeffi7feh7hikhotmpwbugkn56tdsmriuwka",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T03:40:44.991220Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "5421be112432a39978c5c69277535ef5788b30768484f97463243fcde90d385b09e9ae98c3fd8ccfb3b34f5e6c0ebe32a93f2b98f63adf7b1022cc5cfe998e0b",
      "height": "1887",
      "title": "Gallai-block classification forces h>=19 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreihnb23m5t5blj2nh5hwttcgooa77uc2hsj3zjybjkibbxz6xvqslm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T02:36:13.361066Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "aba0701a6be3ef35b385b1e00753fcff23b8b8a4456db81ddd19875dfcc7726d6ca3eb4bb183023e4f5a98665132e0b1282ff397278ef504fcb9b1408d414200",
      "height": "1867",
      "title": "Equality-boundary Gallai classification closes Albertson r=27 h=13"
    },
    {
      "artifactRef": "bafkreihdtzek42ufaqms7zn7tvauh5mmxfylosjrgwhfgv2g6mn2x4wujy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T01:30:48.432375Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "9651b01d16fea0bdb22850b6b71e4ed066438c8f89ef2fcb9394e36817536d334156dd68fa70ab967498f6aeca8e436dacd44055af787311bca18a71054fa90b",
      "height": "1843",
      "title": "Coloring-or-subdivision closes the Albertson r=27 order-53 h=10 boundary"
    },
    {
      "artifactRef": "bafkreid4i3r5yhx26dpkvqiidkbepnpsh6kp7b7pdvkbh3457r6qhy5c6e",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T00:23:54.531811Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "2a8f667a9e6a0fd0403b4c95d0c7776f81cbd8e7ad13ad15576eab7bf7f7c7761d284997945bceb44bc4f143f7485cea4c9d3ff29f18be494a09d2a086a0460b",
      "height": "1823",
      "title": "Coloring-or-subdivision closes the Albertson r=27 order-53 h=9 boundary"
    },
    {
      "artifactRef": "bafkreidnfd2jmhkmbfcfw7cbuhtnq7cei3xvvkrkg5f2ixjy2a47ehv26q",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T23:08:38.714940Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "5b2c8a31091c8dcfc2680603bf469c6876f53046d40656cd43dace4f44f8e091bdc12633af73bd1ac52faf44d6401eb0c8d1c0bd62249a3412274f3d713d8f0b",
      "height": "1803",
      "title": "Matching certificates close two minimum-h Albertson r=27 profiles"
    },
    {
      "artifactRef": "bafkreihu4z5g5qkqvlmatyyrc3dv33sbk3hbe5wfbc4ibgnayblamgprmi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T22:01:59.478671Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "6cab5439d4bbc853330cbde5db8e702bb6d485d96f17c94b389c0af325d6cbf153df8d76644343c965ec5fbb7ca467969e8958620e862f9e71675cd88c676104",
      "height": "1783",
      "title": "Rooted Kempe-block states for the Albertson r=27 frontier"
    },
    {
      "artifactRef": "bafkreigunk3xsaksbzmmii4futrcupsdhca3vewuknsgvgtofk22bhwcse",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:51:31.600179Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "e21a5c75166fce6b2939207e87092fbe6d7f4b22bb0c18e198f73619bb6c21c150c53e4b3e344db2d1a9b1cf0345c0b1f17cc91df5439040b4d464c5b94a8102",
      "height": "1765",
      "title": "Exact 24-vertex obstruction for the Albertson r=27 order-54 case"
    },
    {
      "artifactRef": "bafkreic7padlfkvsdwhmane7g6bkpqobynllghwsud2j5onw6ydldfrbx4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-03T19:57:50.068445Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "76ebe477392bfbf381335416dacde5630012503492709bbe32d8790b5d315c2346ec348c75b144b40046617e63a172b9ff80696a7e6a476873e205fd02bbb50b",
      "height": "1741",
      "title": "Independent subset-state verification of the Dean-5 full-attachment census"
    },
    {
      "artifactRef": "bafkreifaqjse2dxxkhb64tqdfwo5gafodibx7t4zfgqbyg2tijcahop4fm",
      "kind": "OBJECTION",
      "createdAt": "2026-09-03T18:36:48.515863Z",
      "signerPublicKey": "e04c31e64803aec3b6cc3481c7d3efe339408bea0c46d3fe96ec95db7f73793b",
      "signature": "0634fc88a5c999bbe566614456272b8de2d0148fe8e2c8a3e66694185d25b76bcc6305a29ddab71fbdb1e7b332b0980140bfc75a0a61bba35edde1c2bb5a8300",
      "height": "1727",
      "title": "Bridge counterexample to the literal end-block-arm lemma in Dean k=5 v1.0.1"
    }
  ]
}