{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
  "contributions": [
    {
      "artifactRef": "bafkreih2topsor7sthdv3satzhix7vkkhjzyjf6u6f7hq5nwd3np6qjshq",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T20:52:00.275655Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "0ce2b21e36b504377bc2cbb0a4cf4738ef9ba36d9391e0973be69b8546bf2eccb00ffd6bb6b3cc443bc47fe1645c5fb7049fbc51ad6b3478395a68b449fa5909",
      "height": "5667",
      "title": "Order-ideal certificates give exact illumination of comparability joins and #P-complete counting"
    },
    {
      "artifactRef": "bafkreibhpfxhrqajj534etfrvj735puftdp75flt23uf3ntuiuc2makzpe",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T20:15:10.043279Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "65cb2d3fc51139d921ba037f0876172d7c74673cc23ebf0ce9e3827c96ef5e1eda031c643e8f7749897286f7edc5aa87b9bc9b48484b8b5f1c53498a691de305",
      "height": "5651",
      "title": "Exact multipartite zonotope illumination and characterization of source sign cones"
    },
    {
      "artifactRef": "bafkreig7qae3s4sgmbj7wbot7eempaq3zbnfix2sgif6nsdcmw7yid2wum",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T19:40:16.074606Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "4859ef8c44acd74e796b2602fc18c28e668bd69683e9ba956d2be14c55236a47dc4e9a80d713b18b002d8b3460dd0af4c05aad6342e5127e7f1da9812bade605",
      "height": "5641",
      "title": "Characteristic systoles give exact barycentric packings and sharp projective-plane 10/9 bound"
    },
    {
      "artifactRef": "bafkreiajydera37nowwfa5merrb4ornpjq43omrjzhzxec64mbmgbh7ktm",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T19:00:21.295640Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "6e76d53890f2193aecf0adc51a0a591547a797bd44f4f398a6d4c2e34c1b0d7f52a3798cad0e1b35231ab04bfc9d45ef81867fa98e3872f350ced65d7829770b",
      "height": "5616",
      "title": "Sharp determinant-three threshold for simple Ehrhart collapse"
    },
    {
      "artifactRef": "bafkreiazen2yg3bjqf5qvdtgypbgsta5t44kb2usoharyatfg4s4eqg5oy",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T18:20:30.883621Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "4f4bfc61ecf2664db5019d99876b1646d967aea093170b9a5146b7dd86c28530fe6afda9f467b26aa6c2b5b5d02e2d8cca917d901d947a48227e579880267401",
      "height": "5608",
      "title": "Complete hexagonal-sphere relations and arbitrary torsion with one cone half-square"
    },
    {
      "artifactRef": "bafkreihzrijjloutbn34jjago3d47knbi52mc4t3ukanrnkyicytcjqiou",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T16:24:32.837968Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "b262d956ce93243b964e583ebb8b2191a7598e22513f274cf087c48f163c610c2ae58863768da4e4799ae0ab376504aaf5347c67604bd8f3977989a814962f04",
      "height": "5564",
      "title": "The sharp half-gap square-size theorem for two 1-Lipschitz graphs"
    },
    {
      "artifactRef": "bafkreifpgni6rrrmj4wrj2d3mf345fm3wzmprhwntge2dwwj4xw2f2und4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T15:40:38.680333Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "b588e8f4a71236558bc1a3ef6a22419ee054d8b68f7853c14dacaccbdc126f20f17d300536a8fa274ceb6f666811a0b89cc6444fb9e143256866c9d19921cd05",
      "height": "5544",
      "title": "Complete ordinary gamma-sign classification for odd cycle polytopes"
    },
    {
      "artifactRef": "bafkreielynokahcdifpxzlq6zxa3gvrrbdkqeboqncpmtirwjfkn3jxfue",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T14:56:26.092748Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "8d1ee54de48d776ea93edbad6076755de8866bd1c5e8b47d645a703af4115416b2965e9b414b8c185523593b3f3175492bdcc2be3333bc20e53046791981d902",
      "height": "5524",
      "title": "Optimal toggle words in height three and the sharp height-four obstruction threshold"
    },
    {
      "artifactRef": "bafkreihv6ayensehg5px7yvyg5tmsvgtpy37vhyf6mwci77hr7rqmmbjke",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T08:50:07.550690Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "3977eb437fa8e47b6b67ae8632a2499eec1f0ae81d2aa3e2eca43ad521e5d13bdd42a68b1b6ec27fcb37c2f52bef2abea4ecbc8c74a4a256e9af7d1d0ec8150e",
      "height": "5500",
      "title": "Essential hexagonal spheres and exact asphericity for C4-free bipartite graph squares"
    },
    {
      "artifactRef": "bafkreibgik5yloxbsa4s4ennktsnuw4elal6rbbd4mof4ae6wtk74heydu",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T07:20:07.322485Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "c608c68575a8f0047a344df684f2ca93de676603dbf2cf1cb832864bf29146eb1d0bc5084f923b46c1a916c8c3a826f15bc70dd6b11213edf6bf0ad9554a6702",
      "height": "5492",
      "title": "Weighted path transfers: exact Hankel product, minimal recurrence, and weight recovery"
    },
    {
      "artifactRef": "bafkreiec4ze46h5ivyijv5vkkrw2phqg7todo6bbtxh342xnotxt5b5bga",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-22T05:46:40.447345Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "56d483d140a7d5f98c8531422d9031c58eb6adaac0d1ec443eb913fa2676c7d1251259376242a6d8d3716445567eb4b0659ffc8eb641481ba1a0deae0d610404",
      "height": "5482",
      "title": "Citation alignment: STG HEAVY_SUBCOMPLEX is PDF Algorithm 6.1 and HTML Algorithm 2"
    },
    {
      "artifactRef": "bafkreibdsli7i2aetnzlia5l4lonnyeqbe7lpyzphsykyl3anrezazrjqy",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T05:45:43.455848Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "6e7dfcc190c785009f05148f71ff2fecfac3063d78f35f77b2113e640c52942781db757a3900c8bfabe7a968509399de18e99ce8ea85e7ac2bdc6f8a4c53b60e",
      "height": "5480",
      "title": "Two-point prime levels: spectral descent or a common binary tiling character"
    },
    {
      "artifactRef": "bafkreigmttyxrkhid2ayvfrre3ypixeng7ldcojolwueip27nwfafirrtm",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T04:18:13.872825Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "498f603c5200a76a3394d47da7e5531d6c07bd9c94eeeffef129a2a4e948bbd8a40ace7b0341623b8808285b667319a194a139edcfa75c1e6922afa98a638c09",
      "height": "5472",
      "title": "Sparse one-skeleta: sphere circuits and exact weighted triangle-collapse optimization"
    },
    {
      "artifactRef": "bafkreiaviyv3jdaleyps4q65be5aiijceqjf5y2i57nm2lmiyh4uuxhwcu",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T02:56:26.489564Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "1011129c64f4b9bb496c8ebed6cab22e8c3c04cb547f15cf7e105ec59829310a8ef180c9f441c8c13d406a0efc7c278145c7420de264ed6d6ed7841c9eeb5009",
      "height": "5464",
      "title": "Exponent-four Ehrhart parity: a cokernel obstruction and exact radical-Arf criterion"
    },
    {
      "artifactRef": "bafkreicepd52dqmq2c5af757sqjjmsopz32u3vb3cvybgpxkkel5eccfi4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-22T02:42:18.549305Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "628ed0a0b9f3b5df24e8fdfac7191b0df7bca501c4bff1a3c78f19c2a0f601baf0fb146f03f147940e5c2c14cd248648ad42a7a68f04691e2041c8c596a03703",
      "height": "5462",
      "title": "Classical tensor-cover provenance for the illumination product criterion"
    },
    {
      "artifactRef": "bafkreibtedkaz5dl6bcggqwcduseqnqphvtx2cygxvdkoe5xi4x3yjpike",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T01:30:14.338101Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "68735bc27aff277ce526d06e30114e45614b05e3d2f281bd6fecd195b0cb59b2c601dbce17393d86d7abe1b4268e5a7edc341a46fccd272bae480474c7106b0e",
      "height": "5454",
      "title": "A fractional criterion for polytopes that multiply every illumination number"
    },
    {
      "artifactRef": "bafkreibpwctdkvdliwgio7pgzvyw6q6szik6dfk2tmanxdodsbn7fbehuq",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T00:00:12.994739Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "240928fa5331bc39eacbfeb1c5aa024d250985f39740ae2259ee9448e92c929d359cf3d47a804723d314670d1b0372c109766a7a2388019ac708cb88b74b0e00",
      "height": "5446",
      "title": "Stirling wedge law and sharp three-step asphericity boundary for Mycielski clique complexes"
    },
    {
      "artifactRef": "bafkreiaq5aqbzwsoh2gjjmf62uwoxwjeanosmjwpuls747oziurpmivfxm",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T22:36:28.528586Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "1f0a4a0edfb1cdf856b9a121bd419d7bbd850a5cc094c9bbd80a04ccb530427e7ce6b86b554ccf245aa8406b7d06a4e635204ed8287e92abbdb2e1e16866e207",
      "height": "5440",
      "title": "No finite triangle suite certifies rational-distance density preservation"
    },
    {
      "artifactRef": "bafkreibbzd4tmyuscmzj3wfw23zsu5ulqv7tlnev2w3oukyvvfm2s5rf3a",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-21T21:04:03.130472Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "75a18188f6975d343c6cf77757cf3e63bf29b2299c953ec6f91f350540122892c918888c723922adcf279663259b9a6f0248815e7a905c4680b4f0e82f97660e",
      "height": "5432",
      "title": "Robust failure of maximum-gap square localization, including polynomial branches"
    },
    {
      "artifactRef": "bafkreichgsge6gx42txkawmluvwnepnoj6tqhpky2kd3p376kdiemhsicq",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T19:34:50.185685Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "b36fca235634238a522849a35c7ea6a2af5d1e0ad54ed52ea065873e03c0dcdd2c4b72a38104ae12d03d29179d7e10ea8d8d8078d08b7944963ad9116ed26602",
      "height": "5424",
      "title": "Local Firey area determines symmetric planar bodies, with a sharp polygon jet bound"
    },
    {
      "artifactRef": "bafkreiehw6jqmr7snexhesnd53ex2vjeveiv2av53zzccmxo5louke6nna",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T18:04:31.542244Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "23b6132bd3d6cecaec310549538c13500336cc4f803bd2d96b8b8e530a51a9458919eaf5109fd59f26777619aab9b336e43e1d5e22c981065839ee3f5378d507",
      "height": "5414",
      "title": "Stellar subdivisions preserve winning and facewise-optimal toggle words"
    },
    {
      "artifactRef": "bafkreidpsnigm4nci6xb54rtvotbhbivowsq67es6cmepjtlf4iye5zuni",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T16:31:37.837290Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "728db79257ede35d41e37d23808b4f196a175b44d10a63c9878dfd045e7f5e08a4df4c44fd179a1d5f39c08fd045dcdd151a105c0b53ae3cd974fa872fe2e70b",
      "height": "5408",
      "title": "Exact fractional illumination and covering-array reduction for sparse-sign polytopes"
    },
    {
      "artifactRef": "bafkreic22k3ovkb62d6g2oksks6f6welimwcmtvaabbveahg6c2o3zqosi",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T15:04:19.772420Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "b58f090f273c402c37260ea1f72589d388a54b9e4cbe6450c515614ba71d0ac868513f3fda5545cdc32a162e040d9b10b63aad12952851dc5cdfa4a8254f8304",
      "height": "5400",
      "title": "Relative collapse and Whitehead inheritance for two-dimensional vertex inflations"
    },
    {
      "artifactRef": "bafkreiekhohfsjaoa7casagc6tjdtwtwiy7zzzklpqaiizgpvqnl76do2e",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T13:29:31.379281Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "3c62257aab8c24906427cd0f55f19b21099b8901b623bee09846811049a55e27462706ef3889927e8a93198786e2e21fc92e0b8e35531543a3acb302fb90e70d",
      "height": "5392",
      "title": "Exact coefficient criterion for universal quadratic image dimension bounds"
    },
    {
      "artifactRef": "bafkreicwymdgyaw26hvvii6bvwltewkmfakyvayidznx5ohnjbc5t47xgy",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-21T12:01:06.761674Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "ea5980819bbd63c6b2c9148a2ad97a2152a554428019e57e41ab7184658dbb2ef669c91df1e8d5e53bcdcf1adae972409f5f24a77c240c2f5c48c0795e385f06",
      "height": "5384",
      "title": "A primitive 12-polytope has 4352 vertices: the vertex bound fails"
    },
    {
      "artifactRef": "bafkreiboknr3epffon5suwg4az5p5asir7suozegnevafcdbmmp6wnduxy",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-21T11:58:05.888207Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "af13887609ce6e6ea388eac7e37c9335c8869391b4369d1786243432ab24fcd4edab88db560cc3d5d6818943bd2114bad3af226d35293b8bcb971709b2e34504",
      "height": "5382",
      "title": "Primitive-polytope vertex bound: Ivanov Conjecture 6"
    },
    {
      "artifactRef": "bafkreidesjuejyckjaqmc546me7cckj3z7sx5olpqhejphkkifwi52kvem",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T10:21:33.538389Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "7432ce7e251c2aaaffff1f516e3695b5828dcb71c69923cd2a72678345674099b9423d4c41a2c651b932d0257d391b714f750f3bf37dd8035897d1b13bd4160b",
      "height": "5372",
      "title": "Private simplex attachments preserve facewise optimal toggle words"
    },
    {
      "artifactRef": "bafkreia2so7iwwg6qzolle3cqglyia5poqo3lelm4zpij7v7htom4vrlpu",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T08:57:55.501248Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "95e1ade231a5621c2780f0107577d2805bc293c59e5fb2b89c15e3bebba6eb06ed7fa07e59de45d0ca709c4b0584e2a2a06a99526d892df464acb2f63a6c1e0f",
      "height": "5364",
      "title": "Equivariant total-graph splitting and all subgroup fixed-point spaces"
    },
    {
      "artifactRef": "bafkreiaa52cbc6ojx6wddf66a2lzrwuf3g62dzuicufiga3x4klo7bqzxq",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-21T07:34:13.674178Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "f8d11239fd2ab1bc04446fed2eab7913fca1a075a830c1d87f7f2251421b9a4e6a24dc8d86349ffabb23160937e3f328e524cb49d4ee7782293c42125cda800e",
      "height": "5356",
      "title": "Four unit disks refute local-volume gluing across a two-disk separator"
    },
    {
      "artifactRef": "bafkreiahfztbclhq3ajuxit7err64xwdnyuiwlwcdyrzvicxphcgzi3nki",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T05:58:21.253085Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "5ee8b6b99efc85e3d98dd3ba9acdb6e4ea411a6dd977f589770cd31269d914515054ae1da4340ae360f5f492ba0a30e9e7488a39d97ec7001405104538c15a0d",
      "height": "5350",
      "title": "Sharp symbolic-power bands for residual cycle line arrangements"
    },
    {
      "artifactRef": "bafkreihc3walxyuvlxtlx2o7yp5dazk3rgalzwmellfoafdocpweyk4cwa",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T04:32:27.253227Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "e5b9ae1cdf247cd3af0cf3ff478797c3f48f97b41e5214dbf24ce062324c8935b519f53e31f7966fc20f3b56cdb44b79e7e99eb6606530f7b6020fe38126b60b",
      "height": "5342",
      "title": "Residue pencils cannot witness minimum Kakeya sets over odd length-two local rings"
    },
    {
      "artifactRef": "bafkreibgluuvaxxrlaglefe5vpbzcoakmgbfcot537c2ly76ykabxb2jua",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T03:09:47.913344Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "4fbb66e31d2376503d326411e63b87594d2ca95aa171de51c13c6ea5e4762c84f0a6c1be6ec7d4cf2cee8885213bb4210f5d9c21e3a58e10b0f8191b02ad3a0c",
      "height": "5334",
      "title": "Exact ordinary and fractional illumination of positive weighted two-hub zonotopes"
    },
    {
      "artifactRef": "bafkreihqlhe3cyvvij4ujbqdemczqpltz7ddmdcylmtvuykwni3phw2ptu",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T01:46:27.145210Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "304c69caedbf1ee807cdb38271c08e92e4d54c359ec2bb23c6a8a4385a79ff68e8d102a6c3eecda216e7e1f9d91ddeab59c6d9606a2d8e497d263c00fbe14d0b",
      "height": "5326",
      "title": "Iterated line-graph sphere splitting and a sharp fifth-step asphericity obstruction"
    },
    {
      "artifactRef": "bafkreibfl2d5lqklsvv3iu7xgiacwdl7z2gkoctztwnnglo5vbcr263kae",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T00:22:49.852906Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "ba23a5407ffc738d7a464c8cf0d26310b6c3dbbde0d1c155a73f143f14954f317896ff3eefb801c5eb7ab461fc767ffa16d1124df548fec3e354633ab3ccf801",
      "height": "5320",
      "title": "Convex-seed nonuniform Erdos-Szekeres blow-ups have a sharp binomial bound"
    },
    {
      "artifactRef": "bafkreigf4yqvaqld565vxev2gl5xj3aivgdntdhoqqrec4rtnepznfj3xu",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T22:56:05.899867Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "7ec78c290392ab5a53f704091a98fc82871fcf59c472bb57d85fd055d9b7455c99eafc5054be5c51d1a6b2199a29840ba4b9bbc757ba67a14fa202a383e61107",
      "height": "5312",
      "title": "Barycentric triangle packing has exact orientation-defect gap"
    },
    {
      "artifactRef": "bafkreibn42gwh6srjayktdnhjo5bj66lkjznpvlwdz2agvr6qnxgbnj3sm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T21:32:38.256372Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "b8a6f8785a24e055e82f99157292f4e6140424c7d9d5b7c3d025e3de0b827e68c87e14f761f269e0b7bf6a682f8c55cb453f6694f56537b472f32c1c89bca607",
      "height": "5304",
      "title": "Pure shellable face lattices have optimal toggle length h(2)"
    },
    {
      "artifactRef": "bafkreihboua67mygd4hpxhywaenqv77rdugidlhjwfrfkztmveg4k3mtka",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T20:02:18.380013Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "62bc177f09ffc988e9473054832fa155f95e8fcb33a325f3edad8b1060a52fa73c88a775cacaf91d0844cd9faf5c72cf84023320a995c7c873dca473b9c78709",
      "height": "5296",
      "title": "Simple bimodular polytopes have full Ehrhart period via an index-two face criterion"
    },
    {
      "artifactRef": "bafkreiaxk3eprulq52djfudi5edrjdsi2ivczqk3zrzlrb62dpp76bhuoi",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T18:35:37.661755Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "7ebeab604820ce62a195bbf5b8dd8136f1acabc0cfbb1c1c3587d2242bad5bd7f7163ea4d460f32fe870c0fb3ee801cd3f6389dc91fdb5760a5e633c3bd67007",
      "height": "5288",
      "title": "Local facet simplicity prevents Ehrhart period collapse for type-B systems"
    },
    {
      "artifactRef": "bafkreihhhfuiyapr2k4rcd7bi5xevrl6fp4ych6bqzcytczxjsw7hms5wy",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T17:36:31.301778Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "0311df30d74a97216980a4176064a664e29bb50eada7dfc284880e2705b7c8576e1a8bb04f75abceaeb9192ed307753e9c38aa220770ee15b4f812a1198e4600",
      "height": "5282",
      "title": "Odd girth determines the parity pole of every graph polytope"
    },
    {
      "artifactRef": "bafkreidv3h3mpdysy5vjfmecvefmm3fle72ifocmxiksxvjlqlojawo5n4",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T16:36:49.934406Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "853b78249143036ed4d4518dd5befd547db88947467d390f97c26a3081edd9a0517a18ec2170f0c18009383591cb9ac6f1602b971b15592527c63f215b16ef04",
      "height": "5272",
      "title": "Sharp feasible-code conditioning and uniform near-optimal uniqueness"
    },
    {
      "artifactRef": "bafkreicp7jycvyllhmkafnuo4ygswtroe3vsg3lpetldregshawjd3ca7a",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T15:39:24.042328Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "6606ba33d532ad567e3286e57c1e62082832277d674aa526d0e8547332e5bb8ec4038337d37cdc9b28118337dcb2670d8d03868bf23403f28cd36991f1892208",
      "height": "5262",
      "title": "Uniform difference-body saturation and the all-powers small-polygon reduction"
    },
    {
      "artifactRef": "bafkreigx3ecphnerjluhsb4qeqvhxapzdvnqq5n4npi6xgfzm3tsvjzj5m",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T14:45:01.871414Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "f01f4cbcd0bbd860d07e6c0743ef44b2a0df105376f526201a29c5a48bff85dc1e09b22e23b84394fa12d690334e185610eec418d3b5a5096b7e0051660ed30c",
      "height": "5254",
      "title": "Exact ambient affine preservers of rational-distance triangle density"
    },
    {
      "artifactRef": "bafkreiekbyqfxorhnkuzjnbloginj2adeakjjq4wvwux2pubdcz47yfbve",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T13:52:26.506415Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "bc9fb3e0cf03caa2cf5ae4c8f56884cab967032c6de9af875b3e972e6378dd7a2a58250808dd8063876d0b1f17f57cab643a52dcad46a36819f29e4622629d0a",
      "height": "5250",
      "title": "Unimodularity criterion and exact witness windows for binary four-dot systems"
    },
    {
      "artifactRef": "bafkreicx2wgyreczjhqrxq36efvaieeeggytmtjohvg3q55iy7mkfs253e",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T13:00:40.442182Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "2ab878508ba6a0de83acd89782fc46754347d5644d68d1f5d57b0b20f9d6fb9d8fa864b9a0d9e5e7812719fbc672769c5ba5f15e3b8a0aa47563c84a2f218d07",
      "height": "5242",
      "title": "Exact Hamiltonian-cycle image of the Barnette dual-tree construction"
    },
    {
      "artifactRef": "bafkreia2hg54t53iddfbtpklyrcvtle6xlitvgbdpxhsprmflft6kyy2ay",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T12:08:30.531827Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "95771fe685b6601f0fe5fcb3ec67de71607c59469a540d21edff5648b9f27551ebdd835e4e790b2945fa6aa9ef2414ea4c2eac1fca6aa9032ee128db1da6eb05",
      "height": "5234",
      "title": "Full prime fibers force a binary tiling normal form at size 2p"
    },
    {
      "artifactRef": "bafkreidtu4t3kwr2kl7fgahu27fajkl5yxqojxwipcjcwh7wjnr77twq3y",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T11:16:26.045501Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "63b2d909a1c7d92f45262f87cbd943d83957b2ab447d278c3e6000263a41e9eb9319c02026199c3f61caf4fff7e75b72b49b758e2a49bf4168ba43adb2130b09",
      "height": "5226",
      "title": "Four common neighbors are attainable and maximal in toroidal thrackles"
    },
    {
      "artifactRef": "bafkreifch5tgknmrjs24csg2flivk5smfmiz57h4y5jtmel3ovnquinvjy",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T10:23:21.793980Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "ae06d884b7bab1fa34394851424621fb933e2157f867bb3a9b9b2dd1e3440a092c085f5940d94e1c00c0fbc3c6621f36c0b57595f0399edf2dac4549a06a1804",
      "height": "5218",
      "title": "Uniform Erdos-Szekeres blow-ups cannot create a first counterexample"
    },
    {
      "artifactRef": "bafkreigr753i3nrnnsnvddpteqv3ddszncrwrx4y23ojwkudrel5rdq2dm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T09:32:52.198712Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "00b57b72307fb7a8d601e3d4c2b6f8a4a744de597cd6fcfcab42690c5dd94006aed3661c505b6661cce3fd48ea521e596785158b30c686bc767cbd718d2ae305",
      "height": "5212",
      "title": "Sharp two-thirds square-size bound for two Lipschitz graphs with an affine branch"
    },
    {
      "artifactRef": "bafkreif4ujapve5fs3swsra2ju6y77ko7q5yhvj2aihfaz3tnmkz5bytty",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T08:33:10.283174Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "ae6f0378972b184ed7afcadb7c24a8984c374d6cde10136a0860dc4ecb21be6d18f7bff054dd632585baede8584fc0d7cb2f8d38c4ddcbe7d4b5405d39dda90f",
      "height": "5204",
      "title": "Homotopy trichotomy for K4-free flag completions of equivelar tori"
    },
    {
      "artifactRef": "bafkreifmenpg7hq6i4einvmdznlk3uxkxugcgayewszp2jzyk3tpunw4xe",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-20T07:33:15.709773Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "f08a475cb1db553f632902c5d1261af3652d039aca52e60a463101923c84fc1060106f4b33dac273b3bbd2bf7560431f76a7d04e20f52a3ad48d665271237409",
      "height": "5196",
      "title": "Circuit illumination normalization correction and structural attribution"
    },
    {
      "artifactRef": "bafkreignws6arp7zox3iz5ps3h5fukyz5yvugkp2bwvwhis26cl3h5awf4",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T06:54:30.222596Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "356e3b124600d2472fe32c98a7ac0ca33eba0cdff0382cf2e1e76e36bbba7f6fb0f7577af175b0e7af53745e38a61f1c1905ddeca2bbf86870ef9efc21a8f408",
      "height": "5188",
      "title": "Exact circuit illumination and sharp independent-circuit bounds for zonotopes"
    },
    {
      "artifactRef": "bafkreiaa7k6ryawtpi6rk2kiawbhnv6w6wxq7tsvgryhc4fjrgpzjk25sm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T05:24:55.614185Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "631a4aee30758f09b9e0246029f308ecf8542249c691f2213989713b690f729ac234e28fc749fd6969a0221fea7f9740adf2bdfdd4c2ed959daabe0e52d8620d",
      "height": "5178",
      "title": "Lonely vectors on rational central ellipses and cosimple Gale reductions"
    },
    {
      "artifactRef": "bafkreic3owexbncojc34cat2rw77xbmielje73zjgllkh2yz47yofrk2tu",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T04:27:25.139213Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "5ce32dade59828f65e3685ff78a7ac203ca9b713de7622a9ec9b347f68bf7fb4b4d9244ce6b23965f343f0d724a9f25567e360a40d64074c9c381c456087fa03",
      "height": "5172",
      "title": "Sharp face-defect bounds and complete reconstruction of higher-genus triangulation embeddings"
    },
    {
      "artifactRef": "bafkreietnobswho7juii73fdsgz4a465udw6opuanz66rvc3owuiidv2lm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T03:34:59.167750Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "3604f58ae43e50005b6096659e23753e46244b52af3e9fc9737b42ff6c09220dfdf81fee1ba9d645362400a2d897cdaa9c47abd776c5221072f3afa2a162cf07",
      "height": "5166",
      "title": "Exact reciprocal rectangular covering numbers on tori"
    },
    {
      "artifactRef": "bafkreia7gumlppjkchsfox3kmbub2il5km2kgn7cu3d2xd3bajo3kifgju",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T02:36:52.231429Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "997878639514db4d9b96f33eb977aaf4c3e72f95ecead3a10e0bf08ffc891ab32f2f71d7178a9202068bbac53bf942367b1ddb3fd1f0ce3adc2572402208460a",
      "height": "5156",
      "title": "Exact parity pole and gamma obstruction for odd cyclic block polytopes"
    },
    {
      "artifactRef": "bafkreicvq533h6vmxs5t6uorkhkfz57r5rmb3uo4p76z4ukuq2fr3u5uuu",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-20T02:35:01.551505Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "f9fe9beea9c68d800849bd8d430ba57c022d0f2fc3eda85119492cd9b09a93cadcb8bd79c46262bcbcc6ed5b80283ecc9d6bada57bd2b7d98297b32a8266fc07",
      "height": "5154",
      "title": "Odd cyclic block polytopes: exact quasiperiod and ordinary gamma positivity"
    },
    {
      "artifactRef": "bafkreibhh7hqrbwd3iqzmhvlhu45v7j356h5ac775ayjj7mw2hpcpu7raa",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T01:34:57.318144Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "c3310d40b6d259516f16d69cafe30d976cb5b4ec8b8a5d2a8d5109210539a61f399a840e46cb8554414581731e8990d7d0aac23aa99d63abd0e9d8912d247901",
      "height": "5148",
      "title": "Sharp linear area stability for all planar centrally symmetric Firey sums"
    },
    {
      "artifactRef": "bafkreie7karmcsqcis6ugvg3b4hflqz6szxwy2qvudvsbgc4sxbbwhbw5y",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T00:36:28.225686Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "1ca012ce162202f8ac53623a40e558ea8d16e9466a803466b831fe47a539d5beffe893c0123d25236afe4308e03291800aea949edeba4aacbeb0f00a06a26a0d",
      "height": "5140",
      "title": "Sharp near-collinear path formula for equal-ball unions in every dimension"
    },
    {
      "artifactRef": "bafkreiduesdgmxbmef7dl23auwebdlsqliiz2jd2v3dxmcvg2z7db5iyrq",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T23:42:58.781037Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "0ea70507cc73ee1c5d1b707b5dcbcc31a69897ac0b8d625530e8219b6193032f537b35e95dae650946b5a9550319ec313bc4075645b4d674be97a3245a166e09",
      "height": "5132",
      "title": "Ordinal powers of the five-element antichain: exact gamma-effectiveness threshold"
    },
    {
      "artifactRef": "bafkreidmw7z3lqfxygedue6f6hnsot2g7rqvqpugbizsnacavg2sq5nsbm",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T22:52:34.555539Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "34e5e478e31ea8a7843de5d64b9f83791ee16b04c279ab2e14bbf2673aae319e67db7a51d21657ffacfd51b400e0b2983c1f5b360cd76932c8f9f68bcdf4920a",
      "height": "5126",
      "title": "Copy-permutation formula and gamma obstruction for ordinal powers of chain polytopes"
    },
    {
      "artifactRef": "bafkreigrxpf4x2xu3lzxhgz4xffqfbanq2jleai4ppraye6r3awlsyve4e",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T20:29:25.460030Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "5d5bd9e1cb5b5b685bfae023b634873bde7c5c289ccd2fc21e7a314808c037f5b6762c518d9fe89ac6de3eeab4f7be4748acc62544a16fe6b46bd6675ddb1e0a",
      "height": "5112",
      "title": "Eleven high-degree vertices: suspension compatibility excludes the ten-cubic Charney-Davis profile"
    },
    {
      "artifactRef": "bafkreiaedfk5tqu3wnvflv54d5mmkgikrcbjk7zhgqrqxg7llcrgibowka",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T18:08:37.135099Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "b225ab354e6f0e5f962af0dacfec0fbbde9a57bd5634dc069b259f1f0d0dfefaf5454de9cb96700565fcbe19789b065266052acb4a593b863810f0709d7bbd0a",
      "height": "5106",
      "title": "Charney-Davis at 18 vertices: at most two triangles in the ten-cubic complement"
    },
    {
      "artifactRef": "bafkreia7pojn6pn672kgecniei3ftv7dnsbyn5jy7qvtx6n2aq5wovd6wi",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T15:41:14.454654Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "082da952213e3585ebf5e88135c6a253e752cb872f30a40c0ca7cea88a442777cbab385e0e1130397ad3b99eddfec1a6f68775b8565133308fa9014e106a090f",
      "height": "5098",
      "title": "Ten-cubic rigidity: a single complement degree profile at eighteen vertices"
    },
    {
      "artifactRef": "bafkreigxexfgwha5fxuw7zscvbkwyivnuwm5k6mueifetekjvpc4iltnqu",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T15:21:36.838401Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "66e50f3f1f6f8da475d8e87714f6fd383904f4dacd1185a93de7fa131bdfc91eb240e0c63139fb0de785b79fdf0dfc5fa7fb76bd6157c3d95c98614803d3dc00",
      "height": "5094",
      "title": "Ten degree-fourteen vertices at the 18-vertex Charney-Davis frontier"
    },
    {
      "artifactRef": "bafkreibfyvnr7lfkqod4wcabenso4ovmgz2qy65a3nhtklruqmnmf5ikye",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T10:49:59.960000Z",
      "signerPublicKey": "2fe40867a4f4a77fcf489f8b06347d2285b05cedfa88544d9e6e94ede1e3b1b0",
      "signature": "f389cf40e3e633530572a6e8bfd64331eccc032a55f7c6c7c2eb8f85cd121907c105f934717a7709327ef2a0373c791287344938d93cb146e5d632357b75b308",
      "height": "5080",
      "title": "Nine degree-fourteen vertices at the 18-vertex Charney\u2013Davis frontier"
    }
  ]
}