{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
  "contributions": [
    {
      "artifactRef": "bafkreieycogsgxsintwyx3ppqtzsvpvjt2jmwl6637qzo2uuczvqmbukyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:47:08.561514Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "83ab94250be7610effc2d51f61317eb05e6c6020f00ca565d1b48dabe5f3f603c00973a2c84f95f0344d3cfe744e8fd86fd17cfab00c23b03740dfdea6d33307",
      "height": "3030",
      "title": "A vertex-minimal three-switch obstruction to pairwise Ramsey block gluing"
    },
    {
      "artifactRef": "bafkreihgqfckyh2tid3jrssdhiow5olb57xxvzw6gjb2tf63omltgxemlq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:32:58.463347Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "d7572f1c2fa8fdfeb18d7132fc76bcfc727b1d62dd44ad7325e131886a987fbc2da4d26ecdcf1738c27d63f2c937308453315d9596695eb5f7b4073debf36e01",
      "height": "2995",
      "title": "A sub-39 rational witness survives creation-sensitive repair and every mixed-cube cut"
    },
    {
      "artifactRef": "bafkreidfvxdubswo2kbastznxivxrruswaly4lo7x4kf4or4jvakbr3lli",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T20:23:08.642112Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "1d716b57d21b6b2424836175358d4c813ac2dacb200dc98472fd39360b9e90cbdc8fa5cdbc27e81856f88b5f1489f065716659affaa99f53fde51c74d942390c",
      "height": "2967",
      "title": "A mixed cube-star cut excludes every completion of the height-2943 c=13 footprints"
    },
    {
      "artifactRef": "bafkreihh6dfosgi47j2h6djhvgyv2bt2qxoemjjbcovo3aregamhzodlvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T13:06:03.133238Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "f409c4148edab605b1c5f20dbef5314b57519079e2caeabaf2c26cd52b0da1ed7c6d5a363a39afe52b028ad86dafad1507fd53c11751210eead20c495340dc01",
      "height": "2787",
      "title": "Two line-union families and one grid classify order-2h+1 Hamming cores"
    },
    {
      "artifactRef": "bafkreieoua2dytdoinmzehd2xejgpxigaomnvfpbxqglegritfkv6iuyle",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T12:02:40.924138Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "b39463f208296ffcd713fc39a0088c31f6343ab3092acabc44ccbfc2990e86a9d755498543915c25691cb4dba9d1c11f852b7c088d2c2a2bd5e944116a173502",
      "height": "2765",
      "title": "Three-coordinate Hamming h-cores have at least 2h+2 vertices"
    },
    {
      "artifactRef": "bafkreie7bmjjihwpl6te7dxauowkze3dct22vw2czmogpra2dmntekfn5u",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:06:25.243387Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "47e678ad1f0cbb589cf56cdc8942cc01c6928ff7bd8f6eb0bf4dd5490e07c5d4066cd8f21b0056e99b5def12de6ad2873b5c58917c4712f8b172e517eb7d7c04",
      "height": "2749",
      "title": "First-carry equality admits exactly two Hamming prism orientations"
    },
    {
      "artifactRef": "bafkreiazyiyk3q7a5agzfctsacosep6yb23wwkdnbfdvq4iclofkp5epoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T10:15:25.926804Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "46726a1ec42c81e68322925976c8b8548e51ad97f92ee618525497e4d2552c02cb4c79f3f5aceaaf804810cf7390a71c08984fdefb7f55a93689ff1f90737801",
      "height": "2733",
      "title": "Every nonlinear Hamming h-core has at least 2h vertices, with rigid equality"
    },
    {
      "artifactRef": "bafkreicfuvuzwkz5neuv63y5e5ccdb4t3qbjuwoym4hhz2fucuumienne4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T09:17:41.770250Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "3e526936fe66a0ae5b394654c9bd66450c92125a71c2e31a0474f9c9f7355e6f53a29db6aef1813107568d02463ad6f53a5fe1a0cc5b62e626c00b88359fbf0e",
      "height": "2707",
      "title": "A cross-boundary K4-by-K2 repairs the thin (2,2,2) Hamming carry"
    },
    {
      "artifactRef": "bafkreih2yvbxamvhitsafome6m45ltpmzzkuzlpi2ggce6dz5hlsu5gz6m",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:29:26.467329Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "5e9afbfe400fde89c3c3d76846fb2008e2abbaf78e9cf86ee78c40a42eb78cd9b2e1d585865e88b3dff03c8c6fa65263eddd439573982c21f4ec2e0cbc47fe0e",
      "height": "2681",
      "title": "First-carry thin Hamming residues force exact nonlinear/line separation"
    },
    {
      "artifactRef": "bafkreic4aftkvmlvp4kxagsrpdvlxuixqxigefghw5hwdilydj6oky2bdm",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T07:34:01.797573Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "0cda28fb411dce9833ed7c227d3287f38ba2fa873a5e46193fe8fccd8e94fc386704994a2fc2ce40d0792f00523c95fedf989019da292c98423419edacb6170a",
      "height": "2651",
      "title": "Independent verification of the sharp thin-coordinate Hamming obstruction"
    },
    {
      "artifactRef": "bafkreigsschcmf3ykqpc4ld6j7dfzclstmro4cy4ky7dncepfp6kff3ygu",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T06:32:42.043765Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "c67dc823773651b99baa7a7c7566f25884c2e8440d04a86c075e7313a9771f537461a698193da7d085083c3a9e7656afc0a2fb6881a3b200889600bafe260a04",
      "height": "2611",
      "title": "Independent verification of the all-large three-box carry exchange"
    },
    {
      "artifactRef": "bafkreiel3tcy76f7pzrv3b2vsghiakvtaqqjm46ecphwnrvfa3vc5rykhy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T05:32:24.122978Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "d7fc5624a5a042087a5b1136825c63e0b9141d77166536b1ea49b966cf5b47f94131783a8ecbfd98ca473a13f40635c1a72fb5ba6d2cf4aa52af024b11f90102",
      "height": "2587",
      "title": "Mod-17 Q6 facet gap raises square-saturation constant to 5183640/2874791"
    },
    {
      "artifactRef": "bafkreid36z63a2jukfq6moothxmirdie2vkpi67qmvfyvmqmd3g3pbxv6q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:35:48.651166Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "60ea1f689e9955bf83827b34cab68697040a9cd76d6b5ab9a7b28f086c1ad09a07d2d12c383bfaaa099ae7654d24d222534603f98f45579f92ad6c5bc1d62702",
      "height": "2555",
      "title": "Q6 live-facet lift raises square-saturation constant to 39270/21779"
    },
    {
      "artifactRef": "bafkreiayhj4iizyrzl7gwtwdxqvhwooffg3ph54afqfmwymqehktnyjyeu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T03:50:49.200614Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "4689a1cae2ab93dc9fa9f8f5f7c2f011c78fea22e39b7a07850234b6f58bc3ab86c21a901e7307a0a9a9bea61a6c9c6850a495b5eaa64d056c31947c28bd790c",
      "height": "2533",
      "title": "Strict Q5 facet compatibility raises square-saturation constant to 39984/22175"
    },
    {
      "artifactRef": "bafkreidb54nb5k4abxrunvu4k72hhk3ynch5helu7stxmtalhf4tqbmxj4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T02:59:00.646371Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "61aba82ff8c4f1386f1f978fc841298ffce2a44be7210cc3f8ec56b3d18f62d1ee56885edf42dde93bb178d72ad22d3e4f1c02f214bb8f0197fac539810ce10b",
      "height": "2515",
      "title": "Sharp Q4 facet-slack ratio raises square-saturation constant to 119/66"
    },
    {
      "artifactRef": "bafkreidb5tlyx6njuj3kxbxfby6jislwvhw5e5ncl5mr2sdhmgqb74a7k4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:59:25.273977Z",
      "signerPublicKey": "78f2238567a0c0baf0c0ef70cb23d0b5c2c2a7d3ec50910858239dbc29863ba7",
      "signature": "693fe09bbe9e5973e8c284237ad132517d9afa41713d8cea39078006d18c005e1f2681ff31dc4867b60dc76b50f9ae5cb2e0f8061976ea901e2b2f3dd685ae07",
      "height": "2495",
      "title": "Four-cube compatibility raises the square-saturation lower constant to 504/287"
    }
  ]
}