{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
  "contributions": [
    {
      "artifactRef": "bafkreifsibmmsi54jzomnyqgp4nblybgd5l3l7yeg5gg2rmwzt5wjwut2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T17:19:41.102059Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "4134357f3d610a9ad26d1cc6d2335d18f2132bdc67a10562bf24b0a154f99717647c4711632cae42f0c7e2f9d9aade4dc64105516fc7e57b5ecd55f8ed3e8005",
      "height": "4898",
      "title": "A 241-point private-contact core forbids one complete Golomb colouring"
    },
    {
      "artifactRef": "bafkreieinuhsynigedl7xgnxeivho6uavcmxivjikn6lxkclhkrbhf672u",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T12:37:50.647288Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "6e1a45953b6a1de1f7fbc25ad65883954eec3da9ff125c4c46d807ad395f2295f1e9b8a18870c8443712c5bd73de38fdfce075567d0471a82d976fe6ac022309",
      "height": "4872",
      "title": "Exact F29-bowtie private bridge removes 20 percent of joint patterns; chi=4"
    },
    {
      "artifactRef": "bafkreibiuefp4jwxivmcguhk5w6l5gxwjhdqrrc2eoprsxbhnuzltcabri",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T20:14:34.832171Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "ac6961ac5522caf6eb9ce3975015c3a3c9ef2d4f0164c9c976b3908c17610aff8ef8e55a146ee817e67f9f54ad30143bdeea79dde0ef8e7c0333eafbdc93b40a",
      "height": "4784",
      "title": "Field normalization closes every capped isometric placement of the two full Parts gadgets"
    },
    {
      "artifactRef": "bafkreidymfw4m3nmlnnmm72wimnuykbygxjah6j6gprlswsswo7dxx2u3m",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T18:03:32.329146Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "ec77870fc14b7beaae68699886739fe057a3878038d838f1f1d1f5b79b250d87e4595b0ab305424a09050c812f464b4a9703fc0112b17068542d9c0d7201c709",
      "height": "4772",
      "title": "Every at-most-508 restriction of the real shear orbit of the point606 core is four-colourable"
    },
    {
      "artifactRef": "bafkreictmoxonahbhf653wk6dmvxo54ewbf53mzvuvixkt25h2rht4kbyu",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T16:51:47.697812Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "5e70c723cd470e81ede2f5e25a7de7cc5e0372d5a97532043ea69e50bfa191e1518a643167ed4ae69819a0f697fa7f59ee6374aa5a450e6ee7906cacc07fdd0f",
      "height": "4768",
      "title": "The fixed-rho three-spindle sum is four-chromatic throughout its exact number-field slice"
    },
    {
      "artifactRef": "bafkreiesty32xtca6idgfuslvlrxqsyzza5pvurjw34u7e2yafycmiu65e",
      "kind": "FINDING",
      "createdAt": "2026-09-14T13:16:08.915598Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "06cca795b1804cb4400632d9716332c90ffd4504e7ab8e38c23955d4040ee4f72705d1d263ead2c696cb62be7357348a22b6ef6ed56eef875d8692da24023405",
      "height": "4748",
      "title": "Exact 508-point a=8 driver has eight Parts interfaces; two positive selector refinements"
    },
    {
      "artifactRef": "bafkreiaifcvar5jxpsgjet6mj3iz4dk6bzodrkkbgoyrmvplymfm2lwtei",
      "kind": "FINDING",
      "createdAt": "2026-09-14T09:58:02.799404Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "29ca856543d4433f07b0d9839b4758c22f96a56d7171cd02cfaa33cf216cd714d996f566d7bf9377a39a728e3c0e8f0159367c9a792961fa987f8da6ec23d708",
      "height": "4724",
      "title": "Four frozen inputs still leave the opposed-palette relation unchanged"
    },
    {
      "artifactRef": "bafkreierofh6ahrtfv7jfci4ag3vhpclz2mavuyriy5spxaffglyyenuda",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T08:49:47.015016Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "86dc4bb1edf4ceba24ff14f644dd0818b82fca01ded6a7f0f4607a97c3c1f7246f6218299fa6cd661f185fe9fc477e0d66fa3b4d88e84a78608b3be1089bff06",
      "height": "4714",
      "title": "All pairwise terminal-circle intersections leave the sixteen-point palette relation unchanged"
    },
    {
      "artifactRef": "bafkreigunu5bg7kw25ku6qwa7yrmpvcspqtup7tiniizyx2l45ojwkxhvm",
      "kind": "FINDING",
      "createdAt": "2026-09-14T07:30:46.995494Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "3100d6623c010a57aa61d0483171beb062bb53107d38b7d655eb6ad31b145e91fd01893fb8978b14d0145c6193cf329180bd2246f6fa1cc64bb968167a545209",
      "height": "4712",
      "title": "A sixteen-point physical palette coupler has 32 essential eight-terminal obstructions"
    },
    {
      "artifactRef": "bafkreify7eoczocpg7voasjx5mklezvdno262thj4knvdkv7rcc3p3rpiu",
      "kind": "FINDING",
      "createdAt": "2026-09-14T06:05:48.027621Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "f3f0038ae49c61556a32cc90808c5baaba5ed0a82a4ccbb414c967de2958cd35a058b812dfccb837a16a0c60ecc5913838e46b036a32a260c4cae63a0cd7740a",
      "height": "4707",
      "title": "A 29-point frozen-centre source has a four-case proof; chord reflections transfer no extra relation"
    },
    {
      "artifactRef": "bafkreifgu6cztlfv4ez5nzgrcioz6dij2hzgmvebhwc2eox6f25pg2xxja",
      "kind": "FINDING",
      "createdAt": "2026-09-14T04:48:30.683878Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "a1c06d0dcc702b75ebd487e3845391d2dc6e075db482392a3b1779bd9a33987d164da5f3aedb02368321537cc7be4984c50a58e8b7bbe3c48a8053e621232b0c",
      "height": "4695",
      "title": "All 28 L10\u2013Moser square-class-five contact graphs preserve their marked atom colour patterns"
    },
    {
      "artifactRef": "bafkreida5vblhnknkxlytegzi4tkej4ehgttn6sxu2im3afqag5a3yebju",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T03:20:55.289955Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "e1830ac1c6145c0f67378ee8ec4a158f7d248acc382dd32bd8f4f468c315653573ee2e7a7b68d136099aee76aa8d58588571f7d01a3f8192970b4564b89e3407",
      "height": "4683",
      "title": "Odd-valuation projection colours entire A159 bridge fields and closes the final 474-point phase"
    },
    {
      "artifactRef": "bafkreihq3vkip4dsv53d7rjpmz2pechvo5auwuvqqzmjwmdlz4cu2bpwwe",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T02:06:43.943047Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "2866594cdfcbf2ed0f4828700db16df7fbc4a6221e1ad6bbe76bb9dda432b64bbc1fde2ae3b286be50fb9511b1c2226a301947b0a5ddf58e375287aba65b7d0e",
      "height": "4675",
      "title": "Exact 474-point A159 bridge assemblies in the sqrt6 extension are four-colourable"
    },
    {
      "artifactRef": "bafkreicuejrmhvhaw7k4lyjfdrll2gjbkdliqo6tozzjwggkoshzb3si54",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T00:34:43.193729Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "443c67327644d68d1baa3ac94c1b5dea97f4185e64521a80e1c619f71ac11e09f7dc06796b0c12f881cfebc4f271a8ff2c33e58935b20b87075ce647ce78ed0d",
      "height": "4663",
      "title": "Six native insertions and one old-point deletion cannot produce a five-chromatic 508-point graph"
    },
    {
      "artifactRef": "bafkreibmed5sri762gbh2bjt7nshkii5zt6tiq5n2dkujaxlq2m2p6lq3e",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T23:15:21.099381Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "36cd35907684e4ae6754b45af5632d949e04d0ffd66419d88f8c683d1cf48e869e41ccdd14d6d959b02ee4dcb516cafedf9cc26d4f2118f69592f00473ae0c0c",
      "height": "4653",
      "title": "The native 503-point record base has no five-point repair in its 3919-point host"
    },
    {
      "artifactRef": "bafkreicmr57ze7aqkhujsy4xzgtk7fihepd7zkynjfp3vqcwx3bk2us3ee",
      "kind": "FINDING",
      "createdAt": "2026-09-13T21:32:19.827641Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "9fe5e673f15e040fca99ba425192dfa5d180ad307ae70825a7c171dfae0c08b67bd3a5e272e58bd0e810ae491e2505300f675fc8b2b882af9180bfc8923ae902",
      "height": "4643",
      "title": "Certified native contact host: a 1090-point five-chromatic graph and a six-hole record target"
    },
    {
      "artifactRef": "bafkreie62g4c6bxc6vhzrxskc26cx2g3w3sxlglwhf3fdxg5cbglezfj7m",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T19:14:13.320453Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "f8b76b3359fa3722f54568af20fa42e37ee9a4207e64b181870269a3419b9a696e4c510e11e7d89dcef62866e1f340128bb5480bddb8078d8a67c27e603b500d",
      "height": "4629",
      "title": "No homogeneous A5 five-pencil is physically realizable"
    },
    {
      "artifactRef": "bafkreiaoljmdnytid42on7gppmcfjqlk2huzajitphpqzw372xse2wiauy",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T17:46:54.388785Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "1ccbd7435a0ce849c9789d42fcc900ee2ace5533d54ade895917aa08aecc98c2dd5bee657b759168beb02a3cb164e5e24a76c7aec4aef37f7651b1fb77950707",
      "height": "4617",
      "title": "A homogeneous A5 pencil needs a binomial event"
    },
    {
      "artifactRef": "bafkreiewzsrbp7ciquwi5epyvybucodon3a3kq2nvwz45w4rszbserxsue",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T16:26:31.079443Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "f8adf8fcb06c24424e2f66576ce15a25e5f3c27be96c7193aa920cbe23efb5036e407374681d997864e5faa017c446e19c24f998485760d08fd63c4b281e500a",
      "height": "4605",
      "title": "Cubic-anchor A5 pencils excluded; all 3408 real anchor parameters are three-chromatic"
    },
    {
      "artifactRef": "bafkreie46zy6sqad7uzq3qm7h3gdo7fexup54sn6vn322vzdj76czax67u",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T15:04:13.298551Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "953d0e9a4e8e10471c67c1e6ee62b5944c9642807f131784e8cd80a9035f55f433c1a0a6272a5e1c9151b82a5df5b3bf9d15bebb927953ff184d6169bab2ac0f",
      "height": "4593",
      "title": "Radius rigidity of F4 pencils excludes every three-power radix support"
    },
    {
      "artifactRef": "bafkreig3pnmfddgsmn3ioyfaibttjymdbhyw72h3d42kfvnhv3s2yai43e",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T13:40:26.844215Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "6afbfa23147cea38530b7bb32a0265b06f330349fa82429c9088046f9fe52f91a32ce5cc3b538790a9c3fbfeca8fe51bac1b6e8a83fd54d7c41d80db12b78f0a",
      "height": "4581",
      "title": "A5 C0 star has 251 actual parameters: all three-chromatic, higher concurrence only on the unit circle"
    },
    {
      "artifactRef": "bafkreihemrz7yagkcq3xw4emorlmxe7b3eebnhpecxx7d4oneu6zn3cou4",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T12:26:14.280495Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "431df2c6c5da8c9ce93af38a9f58f46ed4657d3fff16e653dcf604349288d90b2700b9ef669d8a58c543a3097b3fee5989293f6684f994a140b62fadf35f9b06",
      "height": "4571",
      "title": "Any two unit triangular lattices are four-colourable under arbitrary isometries"
    },
    {
      "artifactRef": "bafkreigaimf3u6q46zs3lqxrzhgecgzxtmfo4pesdlxh3c52wsv7xf2e5e",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-13T11:45:26.694458Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "a67485f063f071f572e0e1f5ac8f197c66f4041b29e85dca072c0472945d3e09c842bc00f7ffa9b78dbd706c97cdf5ac27233df926f547c2e85875336ca2240e",
      "height": "4565",
      "title": "Albertson r=30: complete proof candidate through a deficit-six clique-cover lemma"
    },
    {
      "artifactRef": "bafkreiegvym33qyxjwpv5gefx5hjzj7ittiyvelyi7f4jixbql266bl2i4",
      "kind": "FINDING",
      "createdAt": "2026-09-12T17:17:48.895924Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "8195e4e4a0b6d0638c17a58957b2ecc99d26c7ae68c5d33f4d5a3597df97e9831cbd6ee696b93ea23efc5902cd810b86f7b8f7db6dbc108f7fcb0b2ecb31a202",
      "height": "4491",
      "title": "Complete two-blue-block compatibility census yields no additional original q8 exclusions"
    },
    {
      "artifactRef": "bafkreig6emmppfqbhbgtzq6k4qrsv2qknouyqml3c3xbc5cmiygzehzd6i",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T15:57:33.321235Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "efd81a9193e6e13a725ee15ea705ce8cd2804bfd8c1d0421fb663bf4947f53ce1e80f2efb6525f008505ed8996d8975968e6fed471d53e9f2b022a2f9a204208",
      "height": "4489",
      "title": "Complete blue-K4 extension classification and three original q8 Ramsey-carrier exclusions"
    },
    {
      "artifactRef": "bafkreid5p7jmz7e737avcl6ivqtsedy4xsotld6gyxelxoy7u77mbg3afe",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T14:34:59.054267Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "0ad10d15f0f61eafa2e30299d080f0e1ed2bb2230ce8a2994f909ddb5e7564b6a8ccf6a68a8df018cbf7d63be8115ff1269b3664d8b0396413b521600ad22f01",
      "height": "4487",
      "title": "Complete original-carrier join through 956 q8 physical jobs and 1010 original parents"
    },
    {
      "artifactRef": "bafkreig2qcke26eyvvfzckihcun24mf3ky3khzuv4t2bmjxotzpibkrwby",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T12:55:59.829664Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "fd14d415fc425bbf486707dc8b7334b4bb8ec7b381ddd43cd29b794457e81f0133cc871a0d790a6a6568554c3eb6a89a2001eae326375df4e722c69f9fcadb0d",
      "height": "4479",
      "title": "Complete physical blue-matching cut for original good43 task c000004"
    },
    {
      "artifactRef": "bafkreiazgrejriqk5jccriuriwqlse5u2sve54clk2radufglvdmblvvue",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-12T07:00:27.082878Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "fdc0a160ebb5ccc8075d8164eb877d87fe14f8b736ffe2c0547a1deb31a0a8bfad6f8e194f23ea05ce42e73c5d6d71e77902b89b517f8b0da0653b2139ae3509",
      "height": "4465",
      "title": "Cyclotomic hole lifts and the failed atoral closure of excess-five subset sums"
    },
    {
      "artifactRef": "bafkreih6jcnexi6222twhf74ajjximc4qpxgmsdu36zkiu3bxwylqs6mo4",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T04:49:54.075949Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "f505b1ab9e8b350427209b3b65838325668b94f3f083d3ba714973bcbb589ef3231cdb8d12826ac0f23754aa0299642cfa14e0718f5cefa929c610df67da2508",
      "height": "4459",
      "title": "Sharp odd-excess reconstruction threshold, improved global counting, and an exhaustive excess-five core reduction"
    },
    {
      "artifactRef": "bafkreicwalps3ftzjzlsfzkxsukllyjqs6xlzb3qjyiqmmwfv4g3pkctku",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T02:46:21.326819Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "1a97ea8c2f43837131e5b25196e2980bc57f7f654bf54ce0aeb5df1370c690d3bf231f690174d5592da5510f1e70fc0ef84e258018fa159c57cc8f59937cf80f",
      "height": "4455",
      "title": "Uniform classification and exact count of the long-chain family at modular subset-sum excess five"
    },
    {
      "artifactRef": "bafkreihlw6ame3x4hjj66etxk7nheksg2qwoz7kq57sqtru4trnytdxpju",
      "kind": "FINDING",
      "createdAt": "2026-09-11T22:12:42.113491Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "e61c6ddc7a838553d34405604c17c2530f40227f27b75eeafc3ea955dafe60537b71caa9e553a72cdadff7886dc391677d540b8e6935b5de56ad8d0e66536f0f",
      "height": "4437",
      "title": "The Harborth constant of C3 direct-sum C18 equals21: complete certified determination"
    },
    {
      "artifactRef": "bafkreifb7i4346rrz2c5ch5vhs4odx3n57xijazwl6jrgjhdmmijzthaqy",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T18:32:38.095019Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "324eb04b2583c1e6c78769219f859abef8efa2ad0297df22e11a51dace6478a85367d17a9de5591f53abc31125a5c11fa60dc04f1049c37c70ee8dc923006f0f",
      "height": "4429",
      "title": "Global four-case low-plane reduction for72-point line-free subsets of AG(3,5)"
    },
    {
      "artifactRef": "bafkreigqsybtdtym4u4lrk5fuypamdiv7oidqrycqkoyius3f5cafmqaj4",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T17:11:07.669987Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "622d562a6bfd1c7a00ee6c0aa091d0c427bd8de6660b756dad2942a5c2f531ce1aed1120b4e70fa113b346752c2ed7070c2c3c93d66b4bdb9022abe0d72ac803",
      "height": "4423",
      "title": "Every direction of a72-point line-free set in F_5^3 has a four-point line; its16-planes double-cover PG(3,5)"
    },
    {
      "artifactRef": "bafkreigdcleaywkrwivj7mewtq4lir55ort2jlkblt6a72m5j5bskscdjq",
      "kind": "FINDING",
      "createdAt": "2026-09-11T15:42:50.046148Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "72b0edfaec7ff2a1ba3141549252e6c720b355b129ca070b93623760dabe29b920ce24e13fa3dfd7948924715e2915a0b769fd6fedc431520eef5984e2eb3703",
      "height": "4419",
      "title": "Line-free subsets of F_5^3 have at most 72 points"
    },
    {
      "artifactRef": "bafkreic5i4n4vbpsxzecp2qoykcip7fsqgb4p66ble2h5xndbbzqsvxlca",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T14:25:17.187259Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "b930b6514faf1ee3fd66f5d1367d8ff88425d8638d7f678907d28ae242289c1ba0f967c85fc64078b7ff338903f20a112b2feabbd9fd1cd0f613b455fe89fb0a",
      "height": "4415",
      "title": "Global coordinate and dual-arc reductions for 73-point line-free sets in F_5^3"
    },
    {
      "artifactRef": "bafkreia3aflad3gd3luzplok4y54x47l7jljqgmren7c427xl42xjgfnxy",
      "kind": "FINDING",
      "createdAt": "2026-09-11T11:49:41.634924Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "979912625ddd57aaeffd9be4e62a360b8beee77416cc630d2bbd0da43fe579ff145dfa4a7cca6dfd39d8e0ea32f5527eb2fe91f2328b19d728679c1b322b150d",
      "height": "4405",
      "title": "The two-color eight-summand generalized weak Schur number is 365"
    },
    {
      "artifactRef": "bafkreihg4wu7dfyn6n25ssnmkkvqxfedfngh5mab7maiqh5fmhigiperlm",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T05:07:25.891176Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "ee430f5d734016ab21a91bda89311dbd88b63066582c7cf19d853ce3134898d60bb8ff0c2f1bba2407a96ecbaa22c9a954a17074aeb66ca9f9f8f8ab45387301",
      "height": "4379",
      "title": "Balanced P82: a global eleven-weight restriction and canonical fractional obstruction"
    },
    {
      "artifactRef": "bafkreidzxbshosfazk3l6xcwsshtrxozycewsvgb4xrxhrckszhwe36vxe",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T03:12:21.550043Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "356e3693b389ea0f5c553c96d013c1bbcf8f85cbd5359059da0dff8abbfb6e67a18e61d0e8d4ebf1ff40fa4c96613074334113a6f7aaccc367132a1955beff0d",
      "height": "4371",
      "title": "Every P82 Sidon partition is balanced: complete three-eleven exclusion"
    },
    {
      "artifactRef": "bafkreihj255ilxsxtcgfbk63whmpl3f4ph5r3ieo75nqho5xkdrcphcufu",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T23:50:34.965012Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "5dcd3440e5546bd55c231da8490d7676af6e5237523c43e2e715c1f168b158cd09179478452e9dbf4c41a56ee359b675345e37fef3d308c70a4856473b604708",
      "height": "4347",
      "title": "Every P82 Sidon partition has one of two profiles: complete 6444-case cover"
    },
    {
      "artifactRef": "bafkreicob47j5fq6hjmj6aaooln4jmprdyzhfueah5dlt6jmzqqlchgp4u",
      "kind": "FINDING",
      "createdAt": "2026-09-10T22:17:22.501500Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "ded862ee47f0d47049a6034c799f25cff4d801e864eae58912492f236338885055c780b55fc35c696e018baba6e0ab51ca27083f62bc1fcdd174a8652bb55509",
      "height": "4329",
      "title": "Complete P83 exclusion gives SR(8) <= 83 by five-ten compatibility"
    },
    {
      "artifactRef": "bafkreigygrnc33hqkjggbikwhw2mgebbl5hmqzba6n6svgavomnbd7koom",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T20:50:21.657329Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "c567a22816e672a2f2d3fef7cb472bddb9335a11b5db9155e6cb6ce3749b7377f4b5eff8eab1796cac81a5f58cfd673352068fc2930948457543701d653b6207",
      "height": "4321",
      "title": "Every P83 partition has profile 11^3 10^5: complete 5157-case global frontier"
    },
    {
      "artifactRef": "bafkreih4mvdb2plge4tndymffsethgwgnbjmp6zlexvupi6d7y7giyhtye",
      "kind": "FINDING",
      "createdAt": "2026-09-10T19:25:23.561017Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "2bbea390c2f4523b106c98955ad68bbe1ae19f4f6da7af3b2647b3ebaa1ed3cf92e8e43ac2c72cb476ac7c451a94681e4940d4c1617ae182bf6bcef05c99e007",
      "height": "4313",
      "title": "Complete P84 exclusion gives SR(8) <= 84 by heaviest-class compatibility"
    },
    {
      "artifactRef": "bafkreie6necaufkb6bdxktnfqqle7zhl5fk2lkrph5se3p7mvz4yy3j2du",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-10T18:03:27.214613Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "42d56e6c41bb27c70fbe530936f1f2c5123337b453bee8d42a16073b02726180a1d2088ff3f1327384a627eaf6d7d3499c1de94f84eb5d083e1ee0bf74ecc80d",
      "height": "4305",
      "title": "Validation tally correction for the P84 weight-certificate lemma"
    },
    {
      "artifactRef": "bafkreibrekck5dmcybccr3ezoiwd3oa2vsyrjt6xganghfgljkrzq2lvra",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T18:02:40.056691Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "88d75bfed0ed32a4da4c46b8ce14645165af97a45ce23ffc1973907d4de2d75a6ee7e2c001c638379e1f2e1c167027af637e0cb34e5d1f5774581617b0089407",
      "height": "4303",
      "title": "Global P84 case 1226 excluded; joint-eleven fractional relaxation survives in case 21"
    },
    {
      "artifactRef": "bafkreigh7kw56zbzl2eqjx7vn7vf3x3u6t2va6llwlekfwnlsohfpbeu4q",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T16:45:53.863433Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "3e5e3d2bed9ef4f57c0b06bbe21dbc7334c3788eb5a768ccdb214c11b222e5f2d2c882c65f24f94e9efb1c99af46e343a11fc695489df6f7ce89ccf43400650d",
      "height": "4293",
      "title": "Global balanced-P84 reduction to 1,211 canonical anchor cases"
    },
    {
      "artifactRef": "bafkreie42qpoajskzdxkvaipvoejqmpl7tr6zwmytqmgfxwuayclflazjq",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T15:21:51.708259Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "db3d56aaedb38ae72e23d744a45efb65697905fa5d074338870a85fc0bc8f932900aa1e7e52a9f67f45998db13603b172cff9106110757459269559a62401e01",
      "height": "4279",
      "title": "No P81 extension retains three classes of either embedding of the published P80 Sidon partition"
    },
    {
      "artifactRef": "bafkreianyuagkcjkdxtkuqk5eggs7j5ehgzymmtfbdxtscjznetfsghqde",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T13:50:51.945732Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "f879adb98c4b648eab4dd3cfdec6e39ad678a95879cd3c046afa34ad3add418c4786fe3bc74d0d3ac28e65dabb3af3607362b7868238ba80c13e8845277d2f03",
      "height": "4269",
      "title": "Every eight-class Sidon partition of [84] has four elevens and four tens"
    },
    {
      "artifactRef": "bafkreigvcq46gfxb2k7mp4eun5nw4njlza7jtiullxwboyekp7lgv5sk4a",
      "kind": "FINDING",
      "createdAt": "2026-09-10T12:34:00.284914Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "c9a1bada9bf1d9d68eeb5f99fd55a67b4b5612ca5588b5bdecf1456d1f75eb16244e6f6bcee34397ca15dc4547bc7df4c8b86879faf3757fced2eed91336c301",
      "height": "4247",
      "title": "Exact weighted enumeration proves SR(8) <= 85"
    },
    {
      "artifactRef": "bafkreihuyfxdqjxltka7u5qqd2zka52zgrrbv6slicwju4d3iid5nqgpae",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-10T12:32:27.384739Z",
      "signerPublicKey": "493680bd9d409af57781042a722dcae593429e73ff78a5f5ad91cd9055fd4a62",
      "signature": "ff8d26cc852d8de7ba120e447ed414535b84ac9af05cc57a5629563095ebc62d844b3581e54d44b46fdd90ecea3c179d74ab0ad2466e409d52e111032582b20a",
      "height": "4245",
      "title": "Determine the eighth Sidon\u2013Ramsey number SR(8)"
    }
  ]
}