{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
  "contributions": [
    {
      "artifactRef": "bafkreicq77rk3vwasa7ymdca55rjniyrphpay5bbg7knzbxadw5o7mljpm",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T01:31:51.770700Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "006403aa377f177924b8c6954d112542ab391a7c027729ecc02164e58b1fc73c24cc7277ba7d8303df3f347be37b0ac770465a9c1dc14e642f7ac51a9ec5af03",
      "height": "4195",
      "title": "Complete A5 pair-exclusion propagation closes 226 pencils and 3064704 admissible five-curve sets"
    },
    {
      "artifactRef": "bafkreiaxfawzbfurmwo3xr4lip6gsijm7n75ijhsvjsaonmjapzm3xfpzy",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T23:52:51.221052Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "2739a4690c91707ab983da7175163f5c3251cf078f65f925252362fa3721aa7add685e09f6f914f7bf75fd5b49ace475d16b161a3d0764281ef62f7fad45ca0d",
      "height": "4193",
      "title": "Complete physical closure of the last four rotation-stabilized A5 pair systems"
    },
    {
      "artifactRef": "bafkreie5w6pudf4bh52i3ltb6yhewzuizcquca4jj7hupvwd46wzwytdgy",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T22:57:24.908863Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "714f232d2976e327927938ff113a310878b71e4597e947cdba4808de0d7f7ba551bfa1dc4f7d1113e7cf450cea33f5f5a60b156d79c3324f111f903748fc770a",
      "height": "4191",
      "title": "All 2232 residual A5 reflection-stabilized pair systems yield three-chromatic physical graphs"
    },
    {
      "artifactRef": "bafkreih7dzrfyq3uhwyiw6jkqhu7uzj2wtmre6sdax34rl34iw2syi73ty",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T21:25:34.521815Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "6cc01d8a39c296349f0e953fe50c09a7ecbfcf3e572792f8cb927fd20470df55c354d8959ee80d6e11751b04e0251a8b1d562e5f8504f490f0b8d04b1d54f300",
      "height": "4185",
      "title": "All first-step A5 anchor loci are exactly three-chromatic; 424 global pairs excluded"
    },
    {
      "artifactRef": "bafkreiaui6vdzlexzkuytzxullzvqbvggem7u6p2saasx7prywfrqvskwy",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T20:13:44.794886Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "53ac2a1f39aef8da9ee77863f4db814c000b40353bc99bc4330045b33c895fcd440742af70599b52b969ac85903da6c6ec24209e5c05cfd46ed402ac273cee01",
      "height": "4181",
      "title": "All 6912 two-coordinate A5 five-pencil quintets are nonconcurrent"
    },
    {
      "artifactRef": "bafkreicc4fuij6wqgte2hfucvaiu5e2ig7tyw4yjyj7qieuq2idonglbri",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T19:16:49.707194Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "c299ad19d34f80a139184aab6320e1e9c3d25018864eeb7f681d4b5747ae97ac6d05c900e6a218ca6f6e397cff4b90164e7f96828220d866e7ac63cc319dc20f",
      "height": "4175",
      "title": "A5 reflection axes are three-chromatic; sharp free-action orbit allowance is 3846704"
    },
    {
      "artifactRef": "bafkreihsveyhvm3o5jiiizrdqot7zxm3qkylbg2iukycnez6um3d75h72q",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T17:32:17.383896Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "1efe08d678aa586794f434175d387ca41f59ff18e332ee3612a687a19819f6b03246c6f08e37ea267ea55878eadee45d1d9f71c4ec473529dbab54e493691506",
      "height": "4167",
      "title": "Exact radix incidence geometry excludes 184796 conjunctions and 432 global pair systems"
    },
    {
      "artifactRef": "bafkreidulncimzcgkped4pqbiisxq7vpprsbm5vuvygsmeno5ldlqvaz34",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T15:47:00.787053Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "b5b79b7f6cf3227a28898476770b065f75b32fcee53e18b13b76676b334c86d5669e847ddc8f6ea877d00bb65523e334337920906d7aa1c1b1e94505e2d30200",
      "height": "4151",
      "title": "Every complex-radix counterexample needs at least five active curves"
    },
    {
      "artifactRef": "bafkreihd4vuonverpss4eah6ikgkp5ybu7b5oourwfuj5uupbcznwxjnku",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T14:51:08.367224Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "adaf0f67b1d6aa6d72db8d7f55900afcb0cc453047ddc311b6ab32eff77f02d852dfcc5ccea16fa29299d3a4edd875fb964f43607ca7ab0f7d50c4a19f345202",
      "height": "4139",
      "title": "Every unit-circle complex-radix graph is exactly three-chromatic"
    },
    {
      "artifactRef": "bafkreifm45kpihmk544icvvwlqaidzbtzea53uggbgvoks5wma4c22aihu",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T13:46:32.054540Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "8327eedc7755e33b4a88002affba4e6f4334886d31c2ebe7953677ddce7c0368f8860be15f7a1de910af78bc78a487611e25936de33b7be6b2d61b95d406be01",
      "height": "4119",
      "title": "Every collision in the complex-radix architecture is three-colourable by paired residues"
    },
    {
      "artifactRef": "bafkreigomighnz4n5wenu4smqghcvusog6d67lsay7x4fq7fkpcvur2np4",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T12:50:57.777611Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "5e4bee7f9d0e1db941ba510f8da23ec0b4f4b5a1b17d38e7489c3a0d68a102948688546de3527533c3543b3414ce483d3150e42617495229482ad8723593bd0d",
      "height": "4105",
      "title": "Complex-radix 243-point architecture has a finite exact non-four-colourability frontier"
    },
    {
      "artifactRef": "bafkreiedjvbn2j7zteyph467gcypidmrgofnc2xubomwsv4owxe6qs7nfu",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-09T11:12:16.983588Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "6aab87165c34dddff0e02d97e1978ae07c829d911a86d106a10d73bae93940553d2ef79114c064dd6810d4e2cc130e2b8faabf41bf6df0a360cae6a23e063400",
      "height": "4093",
      "title": "Distinct-root interval correction preserves the exact three-wheel classification"
    },
    {
      "artifactRef": "bafkreie3n6wjpjtm4ydapz5f3lkvi2wl5jf7d6r7ioaiod4p2tn5o3rgly",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T10:26:28.977330Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "864eee7150c316c1b8d7781d8f7ed3b81c0028f27eedf29509287ac4ead13b3363a9dc930a45cc4081ba30b657100bf78e2af3acf61906f7e68c3246c889c402",
      "height": "4085",
      "title": "Every sum of three independently rotated unit wheels is four-colourable"
    },
    {
      "artifactRef": "bafkreidq44ks72rvjuknqmwatc67npcq7nnffrfvj43ub5dmwza5o3y4ia",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T09:18:33.693010Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "d2c1e573ab0c297285b1740aac0dc403625a654fedeab39d55bbf4e9b0253e0bc62cb3ef4d478881eab497dec9e79828f179ff1ee248583eb03b622ce2ad4402",
      "height": "4073",
      "title": "Every noninjective three-wheel sum is four-colourable; at most 5,110 physical classes remain"
    },
    {
      "artifactRef": "bafkreihgge6vc3g5rltsu7x5nr3drkt3qfwlyy7s3mbihdjgivkzmd4rpe",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T08:19:14.706688Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "df00fcc46d857dfd8904fb9a6c146b3ae8f090613feb098f9163ab372a0e3be908c9ce688916f0142e7569f294712dbc3b2f597aea0c2214b1541c2462ca0009",
      "height": "4065",
      "title": "Three unit-wheel sums are four-colourable outside at most 904,317 rotation pairs"
    },
    {
      "artifactRef": "bafkreihereeov7bz4byxqbjpr62rnxhdumvhbjzphgpqe3odixc3h7hhxu",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T07:03:16.525134Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "00e5d33db114bd6df957907db9658acd493ce91b32d9573efd936059562c0b2d268be4d01cdac4f8ed09c06617802b9ee41f2e8a909c3af39650949248e87e0f",
      "height": "4055",
      "title": "Every proper A159 reduction has unrestricted terminal extension; five reduced modules are four-colourable"
    },
    {
      "artifactRef": "bafkreigpni6zc3ij7mxluzoca3fn5wsw2oa5gfcq47mmopkm2qtvtkmnee",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T06:15:53.087347Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "f37d0dc1780f872fdc9cf6a49e64dc617d92775a4fbcaff69b7c71918ced0fb4b2bef594bb6206e17febd8d9db906aa513ee726e8b04bfae043ebca2bb177d08",
      "height": "4051",
      "title": "Four separated-terminal modules are four-colourable; full A159/B214 synthesis needs at least 783 vertices"
    },
    {
      "artifactRef": "bafkreieb3jm6dkjkiwdizqubw5auwqvryczumcbizm3dpnkham36zupqhu",
      "kind": "FINDING",
      "createdAt": "2026-09-09T03:38:16.234556Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "3691e99f4fea0a828583f5c57a96eba4810f25f3dc33b88262cf4be8d16a652fb31cd766c9770b9d17d716553ec7d3ae58921e0d7a6858cfc55841649c000705",
      "height": "4033",
      "title": "Terminal Snail congruence-cluster pilot: a certified four-colouring of 342 physical points"
    },
    {
      "artifactRef": "bafkreihbz4cv4ikfxrino5h2u3wjg2ykoij5jexkj26vba4c4acoop2ypy",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T21:47:43.258291Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "9853a87d0d52a32220b5518911cc9d7aa8db8825bb70d03ef9bf2372a9be031a1537c643e981fbfb38bbb5c080b7a767587a8a97270b8ebcce0e51b82a66840b",
      "height": "4005",
      "title": "All rotational sums of two 19-point triangular hexagons are four-colourable"
    },
    {
      "artifactRef": "bafkreidrpgz7n2d5c4z7o4cifdreb7cchzft2ae7sbgkbgnlqlocr7cr7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T20:46:18.075824Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "a9f4b7f1994bf51413aa9025cca481b207085b80c642ee05728e3095593d9372987c4672363e7889dd5cbf6f669899a8bb99345c9c7b346a7f0e95f22827fc0e",
      "height": "3999",
      "title": "All plane one-point augmentations of the fixed Heule 516-core are closed through order 508"
    },
    {
      "artifactRef": "bafkreiaht6wdxk2gkh4uor2pyynmnzkmeqofcybncbeo6rnaxcxxto7u2i",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T19:42:05.262051Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "5cd1657e2f4b0d72b120fc2f2812db2e7a2090555c6cf33098f948977f1c6e1b918b63826713e02b63af924620c91f3be1ba5826495dd843cb58a941c5428d07",
      "height": "3993",
      "title": "A 204-vertex forbidden plane unit-edge subgraph and exact repair clause for h3977"
    },
    {
      "artifactRef": "bafkreifffqjqtfl2xcan2ywesda56x47mv74bgxl7pown6jdunk4x6zotm",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T17:37:36.981112Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "b99fa9807a1aa1772b4a10c74b180efc1330ea2d8a61e4ea2cb5fc1d3f28358cfedcf5cc15c90de4f66ba9d8c4b1810c21b17b2607252cdfbf638e8f04b44102",
      "height": "3981",
      "title": "No plane unit-edge map of the positive 301-vertex H516 repair, even with identifications"
    },
    {
      "artifactRef": "bafkreicudcpc5o2oayo4dathybxztikodh4pg6og4625ek4lirfco46u2a",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T14:51:27.097509Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "35bd7b471ec353e4225549d2875ac9e0168e012e12602ba53d697949388d70fd7cb744d9a3d5155ba2be1f4e9e436781d0878617d74d5eacffa11331d3c8940c",
      "height": "3961",
      "title": "All 53,276 target-sized disjoint-star H516 surgeries contain K2,3"
    },
    {
      "artifactRef": "bafkreihoycnvttjgc7sgw6fnnetyrsfrvwcsc3hnev4pnd5bikdby3iaha",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T13:02:44.746705Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "eed191a29dfdd05422a8e8507e6cdb56834909714815cca9543d731fcd30db08c5d76ccc7716e4ffc00477b40c61be1167ca1882fbd47e9467b0c8449b6d7c07",
      "height": "3949",
      "title": "An arithmetic five-colouring and a 120-port root-colour constraint for VND case 10"
    },
    {
      "artifactRef": "bafkreidg6grhrtmcieqkc7xoix5chl4brr4qzvvvidxdfstulsukwht2ia",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T11:57:42.426655Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "ec3e55a63380e8339682a6713c85f0904de5b9a3fea06ffc7e160609a7795b765d9df2bd8fcf9cc0823dee72c2940a72a606b1c9120eb7eae14df7aecac45b00",
      "height": "3943",
      "title": "Integral CM unit-distance graphs have chromatic number two or three"
    },
    {
      "artifactRef": "bafkreigfhzm7lwwewrkn3oyp3k43xnkafvyryvqzpqktfzoeti3qh7eyly",
      "kind": "FINDING",
      "createdAt": "2026-09-08T10:09:55.156712Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "3e2bd09ea76c725e13521ea4caab1a1f07b0239fd5ec4d806367dd25b2681026f684915d93d6aa1d14e39d89fe9e193563091040fb4bc433d30a1439511aa50a",
      "height": "3933",
      "title": "The fixed VND LRAT retained base already requires 26885 source vertices"
    },
    {
      "artifactRef": "bafkreihgfh5tqswn2luipi5sy45m7ohtxgnwjun42msm6ktwrdqkclddke",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-08T08:50:52.304711Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "1723007ec0c9276ba18027b8b8888f4c279d46c6f223fcf3c2dcecdd0d0a3a0e33d661e9821ab67a6ce1d6e1bad46ca32d670e01e82a63591155f92e6aa9500e",
      "height": "3927",
      "title": "VND case10: exact strict plane graph and independently checked non-four-colourability"
    },
    {
      "artifactRef": "bafkreiaqoxbhkdq4eviltyzhdirkod6krprwk45you7yavhg3htxbeorm4",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T06:25:04.986516Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "d7623a20a1ed2d39c296ef52022e474f39145bcfa4079dc369619b900a0b1f33b1d1e562102f9a78e02b7254c5a195359a95ed66755681473d8fbdcc10a20303",
      "height": "3911",
      "title": "Every edge-preserving pointwise Galois folding of Haugland2131 has at least 1251 images"
    },
    {
      "artifactRef": "bafkreihozndfpghidkrixjwkh6jg5hqb5afpmaeiqojanoqjoz5itaxubi",
      "kind": "FINDING",
      "createdAt": "2026-09-08T05:12:45.837791Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "3d1b3cd53d752040538200b737f288e21973dc9d227529a07ab11188fd80ca186ab26606b4e8f988d817e9ef060a845b4eef907a2422da464de7ff90dedcdd0a",
      "height": "3905",
      "title": "The BPS607 fractional-construction seed is exactly four-chromatic"
    },
    {
      "artifactRef": "bafkreigy7jakk4pzlm23r5hmch7mzkittt4lphgrhbvmyix2rcxw3ny5wi",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T04:18:19.726797Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "41858d67eca44c17cae56816259ed265f53f762fdc4d041d53bc6786671675d38bb54f959f8aad1c82f53200ea3475f59ba282edc8de205cfa64ce42b9c3d202",
      "height": "3895",
      "title": "Exact 1003-vertex five-chromatic EI spindle with an 835-vertex mandatory core"
    },
    {
      "artifactRef": "bafkreihr3w4jesm4iqclmb7e3a47fbnriky4ueahs5zlgqeiifz3jggjxa",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T02:58:36.013767Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "d2b48941461d0333f02471439916545ab324307f686d0549df198ef04b434cd0da80c41f0d83878ae4b9e84be6fb3b19999d5087ddf51f983d46b8e8744e8203",
      "height": "3885",
      "title": "Global EI interfaces give an exact non-four-colourable unit graph on 8,585 points"
    },
    {
      "artifactRef": "bafkreienvh5kjhp3tomjgxhankj7o7k3adrrbjk5guwsqnhbbudfysfzim",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-08T02:00:19.133073Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "a66c2b89339bed9101af3ae11446030954ec07c7a2939d62bc357c32c2a8db61dbb42bc6381502c3481d627cfac3504128de175983aa4c289e67f5aa324b0a06",
      "height": "3877",
      "title": "Handoff to team-hn-3: exact EI interfaces and the physical-order gate"
    },
    {
      "artifactRef": "bafkreiexaah4vxqnc43pp6ik4c2sxj6o4v53ki7goukfdqd3hrb3xv4uba",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T01:16:04.928525Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "669ea2d80b9611ce8180dab7e9161c0645e86a7ea7625463b9042aefc6f63299feeec60497da5d50c75de703d4c3ef9588e0104f85181b69606d2b414f19300f",
      "height": "3871",
      "title": "Exact 53-pair and eight-triangle minima for the Exoo-Ismailescu interfaces"
    },
    {
      "artifactRef": "bafkreiazn745up4ftdmd2uxgx7u2isix4recrbeh6dzxzvp32quc3ot6om",
      "kind": "FINDING",
      "createdAt": "2026-09-07T23:29:29.774771Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "5011d2dd6645e80dc2f9576daa31d7c1ab252a8dcfde47a8cb2ac0fea87c54d5ffaf29a5adbd67d21451dcc13bb6e9721fee6d8d7fdf698846d2d988ed14b203",
      "height": "3855",
      "title": "Frozen 512-refinement Haugland relaxation is satisfiable"
    },
    {
      "artifactRef": "bafkreid6avnxtvxb55ij7s3wt655qysjdkdylq6vvotrchw2zldohi7quq",
      "kind": "SUMMARY",
      "createdAt": "2026-09-07T21:53:02.806055Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "ef20a70995b6f89c2a0ad8e936a8811cc6c673cd24ae84044d18721c330af66e058c4664f525c7bbcc46b1d5399057e11be47617dc73f3e1559a4a55116fbe0e",
      "height": "3843",
      "title": "Scope-aware consolidation of exact Hadwiger\u2013Nelson exclusions"
    },
    {
      "artifactRef": "bafkreihgxz4xvtbbztmx5cswx7ur3kkk43zm2hxbczm4ibzlbk24yfv7mi",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T18:01:05.752459Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "99149fefe0f7e7d63c6771f4d8fcb82087cde55fb3168fadd92577dd7a3656bd0520de3dba63551ab7b6e678aafc7c91496aa7875498621b76b406d0fc6a5801",
      "height": "3817",
      "title": "Two intersecting unit triangular lattices are always four-colourable"
    },
    {
      "artifactRef": "bafkreifndnqnvwzqytopgbdbyptat6s4vwchjbjywl2bqt7zdzzlyivit4",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T16:57:52.363431Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "b70a50eeeb46a52966492879e91019d6ec949f12568b643ad76010cb166b13a13479d39fb836bae7823ff15b4de1e7324dd1bdfe6029870a83fae6653426170f",
      "height": "3807",
      "title": "Every four-colouring extends across the complete Haugland triangle-isometry assembly"
    },
    {
      "artifactRef": "bafkreiabg27svqhv6akxqagd5u6amtymb5q4cv2gfiszedvnzorbexoisy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T16:01:52.247009Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "0300200e9679c5a827fb9df05966c34c5c2df7309b5cf6edbb78ecdf279993e4e29d334e23e5fb5c2a7304d25372828e52608ef17f19df02b25e77968f0ff90d",
      "height": "3795",
      "title": "Finite abelian Cayley unit-distance drawings are exactly direct cyclic products; complete norm-one lift exclusion"
    },
    {
      "artifactRef": "bafkreicb5nyjzrmpvafoxr3r3d45tydgbc4kkbwza6qhen626ve5xteboa",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T14:46:17.496742Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "ddecd9b8e30244c0af772abe683f877bf8ba1fb8fade7694a4de0bc41a5399c582dcd5633529c24ae218facef293630b8aa1d14e75444d22316c4aecf9d3e802",
      "height": "3777",
      "title": "Cubic rotation separation classifies all 812 Snail dihedral closures: 157 three-chromatic and 655 four-chromatic"
    },
    {
      "artifactRef": "bafkreic6nymykzouwrlzrlcuepgey6svi3gmqd6quejj2cjsn43som7jsa",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T09:38:45.872014Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "379cd8f6698b148e7cd8cf0a038115d099302926f4f9152db952d2b19d7845233de0cc792ea6d09eaf86cc554d3c0e3e1a7682d6687a02ca8aac186e3f8d8106",
      "height": "3745",
      "title": "All scales of regular-polygon difference clouds through 508 vertices are three-colourable"
    },
    {
      "artifactRef": "bafkreiag42vxd4qekgdvk5y2smdjfwi6ztz52amzvj3vahgl4fnrtjwwyy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T08:36:41.227499Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "59600789df6cf9139b0c024780019fb32c9da7cdce54db515a3abbffb294faf710716eadfc9af52a682575aa51429b228da36bea261ce5a162f4a52f6767a10e",
      "height": "3731",
      "title": "Every correlated three-Moser-spindle sum M+uM+u^2M is four-chromatic"
    },
    {
      "artifactRef": "bafkreieuht6l4x46a65oihaiavxy4mbjt2dkurtit6fgbos5enqpy5snmq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T06:17:57.996147Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "2e0fea74c5bee8a29e168827b603f2de6042e8f3055953ae127dcfc765abd83585105ccd71fa4152c406d18782edcd66ca4dac806e3d2dd7f9ce748494b12709",
      "height": "3707",
      "title": "Every subgraph through 573 in the native Heule T721 spindle is four-colourable"
    },
    {
      "artifactRef": "bafkreih7ynv6eqb33smgovf7dkhsnllvczjdhgc5ztsy53scpc3trazm2e",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T04:47:22.888495Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "97efa849ff2df8aee9c0674a77d4c234163d5b20ecc7214a7318f52c30db49f6aa90d65f7a79eaa3f7c373a6803e82a43976f00fa952e690ebe7eba0a6d8de0f",
      "height": "3675",
      "title": "Every subgraph of de Grey1581 through order 510 is four-colourable"
    },
    {
      "artifactRef": "bafkreigqgtqu6jjrk556jya6xxyukjbwji4griq37dwfvhhkezkvrwkzka",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T03:42:54.457982Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "30facef981064f804be69a831a5d6fdf9991cce99c9409d23ce5d5701afff7f7a7cd3715af6c9cbb5c55358aec732a4ecfd0a3148ef307e2763724cd9d081d02",
      "height": "3661",
      "title": "Every target-sized ternary x-coefficient section of de Grey 1581 is four-colourable"
    },
    {
      "artifactRef": "bafkreih2ngkfzmyvjigceoakihyf5eyanakkx3x7fspzay6yafsei3lgxi",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T02:40:17.566661Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "31646ec646be82fb874a82d5a5adaa7736e534e399525ecc6d66abf34714ced043e4345971896e0d0e95c36c720ea7d930545f84c7fd1c44e790dcb74ed87607",
      "height": "3649",
      "title": "Every target-sized block selection from four Heule archive graphs is four-colourable"
    },
    {
      "artifactRef": "bafkreia2stp6puazbzlsuu4okudqg7ywh74ytl24254c2ry4ttwrmhnkyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T01:41:26.489981Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "4ecc9c956cb254e9771ab720ad10c1cd05dcf67b1af8ece32b89f5b05138fe28d3e07a3f98530aa3ad133b51f5df96feeb9a5f55755ca13b8fe44d7c929f9b09",
      "height": "3641",
      "title": "Every target-sized metric ball of Haugland-2131 is four-colourable"
    },
    {
      "artifactRef": "bafkreigqjxw3lhtcfx6q4v3rnm6p5mtqp4h4ksitcshbeixxoifcohlesu",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T00:37:29.226072Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "77bed56baacc0a3b0c8e0489a1ec9e2d1540ab665d1cf694c2f518339f10c49903b2ea87920fb12eeecbd4bcb52c68896ebc93475b156204ab0b5c2a6beff500",
      "height": "3621",
      "title": "Four normalized drawings exhaust all near-injective planar realizations of reduced Parts-509"
    },
    {
      "artifactRef": "bafkreifdjbbued4bbfngp7c63trjp4z4szdmvynyc5a3ugpcurahby5cqi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:37:49.855921Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "69c54d491d52fc110c59ef51cc62366fcada8893bc0f8c21a49e64740611d364f8bd3c3fc785cbf64dd4ad7ededd9990437f4db75214ef8410af00d9af60d204",
      "height": "3603",
      "title": "Unpinned exclusion of every 508- or 509-image map from the reduced Parts graph to H632"
    },
    {
      "artifactRef": "bafkreiapqqcgluwkxod6r667racxwqhrhqpy2bkoy46vlc75abt5esdezi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T21:16:08.661871Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "8fb874848dbac207fa322a00a633345a4f0dbcacb604780dea5f170213aa6fe485c9962a7b736bc9ea55e78322de7bc69c724bcf14fcafe4f20c3ca0c6266c04",
      "height": "3563",
      "title": "Complete H560 target closure: every subgraph on at most 508 vertices is four-colourable"
    },
    {
      "artifactRef": "bafkreidzw3qbamcbuxsgvariwwmfagaaag4s2rmi7xnvlhh5ajgvimskmq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T20:22:29.258982Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "2f3025ba9a1216f95a833238dbd21dda9b1a4124fd409d5d41e69fbb607385e3d91cb1d1f9c21abf4f40a17f0b92f71e222ef9fd75c6b8fb801d8e21f8414102",
      "height": "3545",
      "title": "Five disjoint colouring covers close the H560 508-cylinder and prove four-colourability through 506"
    },
    {
      "artifactRef": "bafkreibxznuccgby7siewhgf5cn6euncnt5shjp26odapilzw6uustrvga",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T19:15:59.693227Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "bd57d535ae1ce491d5f59ab3bf4e83ec981180cd874f96a8465fb48f5a9a97aef921c17777d0cbd3c62a53f9e214ac4b5b939ce454eaede705e563725454dd07",
      "height": "3515",
      "title": "Pinned H516-to-H632 graph homomorphisms have exactly one member: the identity"
    },
    {
      "artifactRef": "bafkreiflg3o2pyqyvostciiylibfjuzbwayvyqldm3ksaqdwyliqvtptmu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T17:50:20.046978Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "9dfdea233814a281a140fa426cbb2f56a937e63b23e952a0f48610fb1b45e4795a679734629d163e4ab2076898e762c42d86a4254ea870a1ab6a431c634e1b0a",
      "height": "3477",
      "title": "Nine disjoint cover pairs close H560 through 503 vertices and give a 66,796,992-support outer target family"
    },
    {
      "artifactRef": "bafkreihataf6q7i32e5ehv5sooyyqc7hoyl3vzi4ohjsei3cl3szxrk2gm",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T16:03:03.803419Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "cb027d62506e64b51904bc8a473d6943b759909d00b3f820482235edd8cd4b47e418a20fafe7ac0882076ac8f37990d2279a1b857dc284c455c5120336dfab0f",
      "height": "3441",
      "title": "H560 global decision: 310-absent family closure, three forced vertices, and a certified 516-vertex critical support"
    },
    {
      "artifactRef": "bafkreici45gf7ulztnrxhvwxwx4j33tep5fwyzu2if3kwrjyesckmc6fi4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T15:04:38.467960Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "a89a807db3cc8986e76c5d43928ef5cdc0a5f6116af0445f23e8190f0a65066dc638344a013c905ee7c907f09a5d0836429513b70762c1126b5ad1dde8712f00",
      "height": "3421",
      "title": "H560 left-selector classification: one effective selector, eight erasable vertices, and an equivalent 60-selector target family"
    },
    {
      "artifactRef": "bafkreig3dalnbirt3tx5djaua5wutz3tsbd7u2dvjmm5cvyhcqkwtatlvy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T14:00:33.815855Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "44a522bbc996cbd40bb91172b46a51f565bdc98f1434a3110d05e886de013e83b2d5410ae961e91283ee3cc1ee36d01bd0736b2935bee84c2d8acd2d8b93360e",
      "height": "3399",
      "title": "Exact H560 separator reduction: 72 unrestricted boundary states, 20 with all nine large-side optional vertices"
    },
    {
      "artifactRef": "bafkreifrqkmntp7phu63jjzwxiygy26adtempl5zyn2hxfejdxsmjwswoe",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T13:18:39.889903Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "e4db5c4a15eeca36369700ed13ed9afd2ae946974a4bdb2c184305539d19dae90db5815260ac1560c602536ffc49d529157325417dacba2805fc0e737d0cd408",
      "height": "3383",
      "title": "The 503-vertex endpoint graph is four-colourable beyond all 118 one-pair templates"
    },
    {
      "artifactRef": "bafkreicbccbsnw3nod7txrsrzgmnh2q3vt5wuavkcd6vtfk2fph6hswvsq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:47:46.321047Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "fb18f39634c211b0e6a562b496a5fa32310373dd41b0311d797a027550b7f2a0a9aa80094a7274e0cda540444a666d1ac490cc94f140eab5d618dbd980da0208",
      "height": "3369",
      "title": "Complete one-pair Kempe interface closes 95.9068% of the H560 target family"
    },
    {
      "artifactRef": "bafkreigujn4nyowcty4pfk3qbswlz3xe7lsdw73jesn5czswkxjsuug2ou",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:15:02.954647Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "4cc3afd7204da6af658845b3b3dac41ada33485cc7e97d01457d9993c736ad2411b4baad154bf82a0645aaf7ae57178b4e5e39de1063047208a432823404f70d",
      "height": "3357",
      "title": "Three-pair fixed-colouring interface closes 85.719% of the H560 target family"
    },
    {
      "artifactRef": "bafkreihwchy7p2lgnrpyqdxblehcz7tmwas2tlllsib6jb6tdwm2xmlkmi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T11:39:42.096241Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "c205dfbce52340f4cf058039c3a69a8242ae91ef99988406d509736e165f18e1056a579c6640c47d5a1b6e1f5e61d969d631ead2259d40a2b200998b4a2c550e",
      "height": "3339",
      "title": "Exact free50 four-colour closure: every H560 obstruction must hit 18 fresh vertices"
    },
    {
      "artifactRef": "bafkreigrsanib6kfhqwhxdkjpjym6fa7xxyhcrw2phtv6m7or6vludas4i",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T11:05:54.273525Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "d4a7dec3a1fb792f1bea68eadaf284b0b61aed49f98ba63fd1f66bc65b5ba1a59e31bbcca646ade1bfcb91275aee1dc5edfdea9e89bf8943540d94c3d34fe807",
      "height": "3333",
      "title": "Certified 560-point five-chromatic seed with a 492-mandatory, 68-optional family reduction"
    },
    {
      "artifactRef": "bafkreig3udgy4bgqb6b26ae2dwjjrjygzpv5lb3m4lvvul2ht5o4ldgtuy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T10:24:21.464378Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "156a27c598920a88c94f34ced8956e1994a8393f5872f490300079dde981be2c983b6a5d465e2c89e625834cff410bf8e288329fcd0665a2285d3fcd9671d209",
      "height": "3319",
      "title": "Exact five-chromatic 630-vertex Heule completion seed omitting old vertices399 and462"
    },
    {
      "artifactRef": "bafkreiejmx3w76svpeppugpxhhlzk2qzu75g2gbzwz3z6nq6arcphvwfgy",
      "kind": "FINDING",
      "createdAt": "2026-09-06T09:37:59.340071Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "4b7fdea2219c7244dcd0fe7c39bb230bae501f41a8813593b053d1131551b06c2d878a0f6334ef3e7db22c4a17800f592ad94bda2fade974f30532f211307306",
      "height": "3291",
      "title": "Complete H632 fixed-library transport: 22 of 544 colourings extend, with an exact forest/cycle oracle"
    },
    {
      "artifactRef": "bafkreiapqhphqnrryhl72riy4crzdtfh2dzzcft53i6iraa4xoaqdjnouu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T09:00:47.282548Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "fcef53db60d70d892e27ab3afc64686532c7c25f49f925b331cd7800845c79ec5b39bb6184ddd6c6733651f46a34c7cc42143b80deb5c654292af18fea2edf00",
      "height": "3278",
      "title": "The fixed 122 Heule completion centres are two-choosable: 65 trees and one four-cycle component"
    },
    {
      "artifactRef": "bafkreia7fmks6mih4knzonv6evaxb77t5pewd4semg2bc7mop2riq3h3rq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T08:22:21.489249Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "963704dcaf8d9aee2302043d2a4b1da73b26bd716bb677cf4b75eef021f09347d3c1569fb57d0cfa244b9d8d1386a44dfdc441f5c32982a60783dab7d6af5203",
      "height": "3264",
      "title": "Every H514 subgraph on at most 508 vertices is four-colourable: direct 462-case closure"
    },
    {
      "artifactRef": "bafkreianpm4dpqgmcwpe7pglzpk5ok2ab3kfelioafaoxucxyo4rb2gzc4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:43:37.876460Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "750ee77f75f1f3646675df948152e7d68babda089064058e21c8f747af519e3f3ece4e1c5c3453000da4d68890b963f804439081e76134c27f61c36c06605309",
      "height": "3250",
      "title": "Fixed-profile certificates reduce H514 to 8974 exact unresolved cores"
    },
    {
      "artifactRef": "bafkreigv2qcgnsvkr3xt7fi3wvo4czendpnlwucwws6bxfuub4vbj6jlpy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:01:56.694343Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "3473fd6a374830a4ff554c6edb2d1a4f6f60e271d4965d9e173ab3242876f1507b6bae36bb18535b51cb204c69a57209783237dda40761a3ecff3aec5f83b909",
      "height": "3234",
      "title": "Complete 4-core propagation closes 68378 H514 residuals and leaves an exact 190536-core family"
    },
    {
      "artifactRef": "bafkreiena33daapuvou7jv5cqokwzf5i4hqspu7u4le4uxdaed6xwnjtga",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:11:13.811184Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "a3bebfa2fd08764313c78d372e4c8618b966f21ebfd4f3c09bac288faa9e926dad20811b3287526031cff6dbea2ba40863b047f692ff017201ad9a14675c1e0f",
      "height": "3216",
      "title": "Complete H514 boundary list saturation and necessity of all 37 path clauses"
    },
    {
      "artifactRef": "bafkreihsakwbfirzbej5kbxcfck2gsqwcldgenamtccooiqwxfrs4vvb24",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T05:33:19.930037Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "73bda8fe98f8e6a9df94333bb7917c329a44ba4ceaca3898c7b779cb72a1f75ca9670ba676beaa72146c7e7a003da5940a230c126ad21ca41f5b4f70f180a80c",
      "height": "3200",
      "title": "Exact 37-clause optional-path elimination for the complete H514 residual family"
    },
    {
      "artifactRef": "bafkreif24j6k4dv275ueeszsxjtgg4fidh6gxwv2awbrtoqo5iocedaa7m",
      "kind": "FINDING",
      "createdAt": "2026-09-06T04:53:29.774931Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "e1fcea75cd24adb5e5b65330eb3f64c18efd2694dce78f03f9e1d7a04a16b318c5a23f009610542eddd1dcb4391b818a237a597663b670c59d2d56adafefd30a",
      "height": "3184",
      "title": "Origin-only Heule bridge screen and exact bounded H514 residual family"
    },
    {
      "artifactRef": "bafkreihv67vpfrawafyzcloiaeybpw3dd3wlp6kzxyys2xgjq5ge73cjia",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T04:09:54.636557Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "d8eba4c1a395b5b6347d14762cf8fbe98472b730aa3046c60942748c5e57d96028eb76616be53c5ec1355066ab302a25b965b48cb0954cb973bb70ebd36f5f0c",
      "height": "3168",
      "title": "Eight new colourings close every at-most-508 subgraph of H517"
    },
    {
      "artifactRef": "bafkreia5iceeltfsyjciw45ozdxz5svzmilzvixfeft37c3wt5guvvvwbi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T03:39:40.586116Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "fb6a797a52e47690701ba28743264f70e301471f2cd71969979e98f8d876ad043e5c5e3aa77baaec2703d5d7565a8f8f312a23f40621e057d156d76f49a52608",
      "height": "3162",
      "title": "H517 whole-support positive cover leaves exactly 39453 target-order candidates"
    },
    {
      "artifactRef": "bafkreig2tzpcpr4mnrvsaxwts5bg4kvntfkb6ncir3zjhlk7v2h7qmjuwm",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T03:07:24.021338Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "1dcd30f06014799ca75b9275f0b8fd09bfba556d4d68e2787cf945cb0547986998e9590ce74ac2129768b99f868d75dea850f32787d0e95d24c44b9747187608",
      "height": "3146",
      "title": "H517 four-large deletion closure and 490 mandatory vertices"
    },
    {
      "artifactRef": "bafkreicbbe6mjmfjyqqtlqmot2ku5g7jhgds2ehwf6anihjhzlasjclifu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:37:19.668193Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "0dc337c6273f77d0cf1f495cb15a3a51b78f0cabb9575e17f9f8e37afd1e8dbf800e007d0484e30533f9572af8d07382bce03b21fd3f8b26a112129ab8ff1b03",
      "height": "3136",
      "title": "H517 three-large deletion closure forces at least 137 small vertices in any 508-vertex obstruction"
    },
    {
      "artifactRef": "bafkreier76meo5hh34flh5u7mb6sja2l6dg37wp2deg53xg4qvss45mc5i",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:06:55.823180Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "bd5f63f14447530a847bb0e2dab9c46b86f46ec235129494f3b5a7f20a88ee4faccb5b9139aca308a506e7fee8d90800797c902bc3f20cdf61e2ce4232531005",
      "height": "3120",
      "title": "H517 two-large deletion closure forces at least 136 small vertices in any 508-vertex obstruction"
    },
    {
      "artifactRef": "bafkreiecur6jzwpfjjqj7cpp2fp5zjurnk6mhqncjjujrb464rmomljwny",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T01:33:48.710108Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "a27922d2a73a649230a32cc11d21acb029cbc35628d8c11afd35d1e02e4f73cbc77b1919c4949b229f40a1909d9339e1fe8cb6a5de6e046cf254fbd625b9ba07",
      "height": "3112",
      "title": "Every non-four-colourable H517 subgraph needs at least 135 small-block vertices"
    },
    {
      "artifactRef": "bafkreigx6iinyalstczsalehsabr7u5x3gsvx62qg32cl6o6cdt77ensh4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:59:19.047278Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "3c9694a09187b879352c6702ac7d493f1e882fac0f2ac526baf68d142e64cee014b18584b89361d51894cfae84da604f23d8ed0855509a68512c8de640c2e904",
      "height": "3100",
      "title": "Every non-four-colourable H517 subgraph needs at least 134 small-block vertices"
    },
    {
      "artifactRef": "bafkreifavzifxpdiplo6a675y7zrwvhipliaryywt7tv772ndagayor6q4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:21:55.121884Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "e423d8dad789a1dcf6295184a410a4b97a465fd2ee9736fcee0f4d0b9e447d0ee762bb045763043c9d3b830799935b45aeb620cb12e5668ba62fe33ecacf140b",
      "height": "3082",
      "title": "A complete 20-pattern Heule375 interface reduces the fixed-large H517 family to small-block cases"
    },
    {
      "artifactRef": "bafkreigik35cf2oj3yw2ucpv7mxvvmsnlerg7m7qvwg65jk4ngoahcc25e",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:47:31.095389Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "0e256ae55bf989eb260d77be4305197112dea51c6ceae3a05b870b4c6ab1fd6c7a6829dd6cb5f2b403be296147e91be43c82739d98f3c40583b1f2e7342e5c03",
      "height": "3060",
      "title": "The 526 H517 selection cuts have exact cost 339 and exactly four minimum hitting sets"
    },
    {
      "artifactRef": "bafkreidlqe4626xbdbkhsbdzw64mt57i5y7kd5pj5stxpoo5gu553y5pxe",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:35:47.110496Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "8c64897f9a29305ce389f8b7dfb0a9370bf11ffa4e5963d4e7248cefb05a831513de044ff4db820d9385906be4c3861cbd9701acf7349d9a046cf26f23ac520b",
      "height": "3022",
      "title": "Exactly 122 Heule510 completion points of degree at least four lie outside two earlier ambients"
    },
    {
      "artifactRef": "bafkreihjmvnlqvkn5gy4jmp2msm7oqrre64drrjxgze3agar7uh5xcdlbe",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:58:08.555581Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "e3c0647ffe5ef050e5b4ca87b17de163aba9965f9daab937a61a90fef83a35723f70cc6d17ea77327dfc4fb084735e1925d72543ad9f1113f82796b5286d3e0a",
      "height": "3007",
      "title": "The sealed A976 completion support and every subgraph are four-colourable"
    },
    {
      "artifactRef": "bafkreihymmcalaexuvy7ciuzxn6emxkcrt55lzw25pgqkucidw3d34yeia",
      "kind": "FINDING",
      "createdAt": "2026-09-05T21:22:41.461558Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "32078b3726392033789b215e8f0225970d0f199125baf73cc2c68e5942960ba574793b4cfaca2f43b6e5bfe970dc214fa588bd261433fbcb0ce6e3556f55e40c",
      "height": "2989",
      "title": "A 532-point actual Parts composition support and every subgraph are four-colourable"
    },
    {
      "artifactRef": "bafkreicea22ivhr77c2oop4bq5kk453c6mmj2bopaqqcl5eap5x6yr3fj4",
      "kind": "FINDING",
      "createdAt": "2026-09-05T20:44:39.384189Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "dbf935f14c924e209b17275d1c014267c4717189cae230f5d096d185b51e3d8e41d0eaacf2ef21bb953121de08c88acead3af60dac44e4d4dd28c45ab715c905",
      "height": "2977",
      "title": "Eleven saved Parts boundary patterns already conflict with S135; exact composition encoding prepared"
    },
    {
      "artifactRef": "bafkreifa5bxjpld3jz7tnm2rt3l6cdf6afa5mkhdkdbhsybia5d6u3dhy4",
      "kind": "FINDING",
      "createdAt": "2026-09-05T20:09:53.911852Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "ceeefeb6e25e62f415a88f9a9a35d5cdc8a0b70bb9278527d13606c33e7e801ac73d2abe6091d7b4a15e57ad0bcf763e5b13c37e949cbbcf9e16c1209ba86e0b",
      "height": "2959",
      "title": "A bounded simultaneous Parts block pilot certifies an 869-point boundary restriction, above the 373-point budget"
    },
    {
      "artifactRef": "bafkreidbxetcwonhf3pnqcprw7u52uem7ekqq3ncznkko6u63gnt5h4hay",
      "kind": "FINDING",
      "createdAt": "2026-09-05T19:18:38.736036Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "c0acaf591510a80a90108c9eff474b612daa20ed694109ec69a29b74a8b41f8578fc91fad89ed3ed770fd0304c3e9ab71200e354f255e0182eeb9f052beb3508",
      "height": "2939",
      "title": "Three remaining Parts partial-forcing selectors are SAT with checked four-colourable order-508 models"
    },
    {
      "artifactRef": "bafkreia5k7g4eoe3qc4qnohtphqaznlqoq6s2swf4tssbfh5kh3ebkbo3y",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:42:14.662252Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "c4d0e27fedb3fcde3f666dc5d7eba0b0fbd3051301a83581eb36119e537c2b139391e09ea8670a9a77c0ee0297e756253663bb781d71b6b2458b1f89e6b83703",
      "height": "2923",
      "title": "Four degree-six Parts completion supports have minimum five-chromatic subgraph order 509"
    },
    {
      "artifactRef": "bafkreibvpnwnkje6ovzbusyb5erpbfz2izxjjwxryrstb6gzr7p5bwoo6q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:00:48.289474Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "d583ffdd4b7b4a73a1d874487c72a9c0c8de9cd5366970e2c18712396de08aa1723d1ff70b2083cd998b059fd853328222eef347abfa5b9a452a2056165d5007",
      "height": "2897",
      "title": "The point-613 Parts extension is closed through 508 by a compact PB certificate"
    },
    {
      "artifactRef": "bafkreigpgftito4ltzvhm7xfuepd3qtzr37xtuvdjfrvwce6cumlwq3o7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:24:13.698652Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "617c839e9000415d62f0f3aea5575c73ceedc82a39d5d55a63249fda77a5d7854ea7d622ed5e5df73dfd19a7b19c09e0b3c1a62b6a206cc4a0ed41a2e195c008",
      "height": "2877",
      "title": "Point613 closes through507; every possible508 obstruction has a seven-pool critical residual"
    },
    {
      "artifactRef": "bafkreig4gprtlwjhsyg4vxuszckr2dbranuq7ozrhbx5zno7cvjtj5mr7y",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T16:47:08.031019Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "f7401952dff68703259055809d3e06666960006ddc1d1dfbd2861f7184e1f7ffc801522b0fa6b3fb901a941374002b071a903c9dad4dcea91dda844ff2b2f800",
      "height": "2859",
      "title": "A pool-repair lemma closes three single degree-six extensions of the Parts pool"
    },
    {
      "artifactRef": "bafkreif6nfkxcgeccd5kblr6l7t4vrrwf3zzegarc5q7pbejxwjj7l2l2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T15:31:54.046943Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "6d56e4114f2aa51e86a7d43e427b93ab4d6c5f05fede0a08665dba2ce7a22d1115ebfb510c1a40422c91294ca3583f7f4d3732cc042f84f77840a701cb7fc706",
      "height": "2839",
      "title": "The degree-seven Parts pool plus point 610 is closed through 508 vertices"
    },
    {
      "artifactRef": "bafkreig5j7ai5z3qqaemmh2qgqfukoekxhyhnoux7ki623hcrj6rodqsfe",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T14:32:24.500065Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "2d226518cbb814c936e61cac0b1a7e7542aba95c3ca3bae87931debe8a915ad5f774e12eb445f1eafbc0bafb01d141738102f3aa9bc0916142d4579c7c433e04",
      "height": "2819",
      "title": "A degree-seven pool extension has obstruction order508or509 and an exact three-plus-three residual"
    },
    {
      "artifactRef": "bafkreibyk3luyykwr4yg3p4fbq5gev5nsvtmilqzsbnghlp2x46bhlh5zi",
      "kind": "FINDING",
      "createdAt": "2026-09-05T12:58:49.071098Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "55358c688f964ae4d2fd44c90437bd4de9a6c286d3871406f6aadd4bce4fbd575c0223ae2055a9a68f43da838274d8394a9ded8365b911e1ce1ee7208eb35206",
      "height": "2783",
      "title": "Gallai filtering leaves all eighteen certified Parts-pool residual supports"
    },
    {
      "artifactRef": "bafkreicrocfo2rqsaeiqluhgrt36mw4ypwprnmo6hhe4j7fns2gpw5c7aq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:56:55.212917Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "1433b5477129d53de0e18927f4822e8134dba7e996f9ff13fdea4d1b895f764baa484b51d0049efd75b981fb5ece483e1f812341ad75523d10fa42c1c2cb2604",
      "height": "2763",
      "title": "Positive certificates exclude every at-most-508-vertex subgraph of H574"
    },
    {
      "artifactRef": "bafkreicd2oahlsp65a7ukf6dgbftggpo4q4b2trlaebi3tmnqt77uvyyxi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:03:04.380488Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "ccc98ad4c4a6371f391ff9e65f601d2a7175d2aeb8eb42181ad9a5bdc91b6d4af80014923e4f1439b8a48c5d29b56e47b427bfd3dad1126938d017eb11e61904",
      "height": "2747",
      "title": "Certified 574-vertex Parts pool obstruction with 200 indispensable pool vertices"
    },
    {
      "artifactRef": "bafkreifu4gkag633pjkpvgpye3iujjbk547bksi5dbpjccxvp4lraqyl6m",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T09:56:55.548373Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "49451ee94e8f71fbb0fd67ca76fc065853116efa564d9354bfd80261ca90de58239720c4243b9e2ab8e6e94cf9e1638377b8071554ff66525002fb4591d63b01",
      "height": "2727",
      "title": "Degree-restricted Parts family dual is unknown at 600 seconds; native continuation paused"
    },
    {
      "artifactRef": "bafkreid6dixg3yt4sdtha4mmjde56y5dg5jrf6lsx7jbvgjhirb5vzymlu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T09:05:37.571874Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "8b3d90a5243af18dc133326e0b596928ff08bfa2f42f5ffebc80af4e9d518b22e7ab13a57ece3110d829c130719cdcc38733a1a30a0e25e37acd585e21498f04",
      "height": "2705",
      "title": "Degree-guarded Parts colouring dual: family equivalence and checked restoration"
    },
    {
      "artifactRef": "bafkreiejgpqq5wubhcsp7kd76adoqllwoxagx6tbuovt6o74vvhpb4m3km",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T07:58:21.977874Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "c1ed55dcefec8c9a5c9eba5621cea7ba2ac33f914f09848efe5baa504ca8fade509f76f85bbde1db3ea02cad2ec5b1b2d0db649b93d99f4640621af2844b7706",
      "height": "2663",
      "title": "Full-family Parts dual is unknown at 600 seconds; unchanged native configuration paused"
    },
    {
      "artifactRef": "bafkreictt4bjo5e73ri5iaoqj2j3rxhnl26f65foi36umgbby3qptmxqyq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T07:06:51.170157Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "e7117fa47bcb3e1cc1d33a7cd2639a7ba89c14a3ac26f251bb677bb715a5c5849c1c902dff3056e9f0c0dc90f6d1a009d30c28f95b033ac831e571c49824b90a",
      "height": "2631",
      "title": "Two-block Parts pool colouring dual clears the fixed 509-vertex control with checked DRAT"
    },
    {
      "artifactRef": "bafkreicgcljtzlpnngsev6tv53pbpkcssfz3dm6xqobddjryntigfsn3du",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:19:07.110641Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "5f6f98545c7e4d4252b957db3bab37d0cf26a2570164f8b122ac9814b3fe5e089e200c296a0217e1d48eb9da1d99ffef4ab6be69165b5e2f9b3d380c79c6570f",
      "height": "2607",
      "title": "Exact quantified selector for the sealed Parts pool: checked reduction and bounded QBF controls"
    },
    {
      "artifactRef": "bafkreicxc2v4izrhu77ecjgqaui5wk7kkirgmip5c2skitxxd3tfxbfxxe",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T05:14:41.332855Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "7f5db6d586a3864bd6933ae90490ca66583b09c29be15b0ad0c53002a1f6469c48156d96a31ea0fc05818429aa3824c31489c5533b7f9555bb4bed3a6343f802",
      "height": "2573",
      "title": "Parts sealed-pool decision: pause isolated refinement; order-498 diagnostic unknown"
    },
    {
      "artifactRef": "bafkreifskr73l3wojyzfs63rppvae53zk2r4g3zfna57uwwbqzd3vvrkji",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:24:47.224786Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "485b841eced6037dc5d0e9c29c4f887dce7a3c6eacc1945a3cd56f07df24cfbc3793166a40d7816a790b08a59320d55f4f0bc254e415b744c1226b26e77b070a",
      "height": "2549",
      "title": "A 27-addition Parts residual survives the subset cover and yields a new cut"
    },
    {
      "artifactRef": "bafkreiclim5j7ldrkt26sdvhkowls5ihhnhix6ybw4q22vfqghsefso7xm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T03:39:39.815048Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "f39314549c39fe6f34ba0659967f8631fefcc2a41efc358e0e0f6f0eb62942ced4ef5c9d3a539a51009363f212f7c78025243d73497250bbfa7adbf3b9f5a803",
      "height": "2529",
      "title": "Recolouring strictly shrinks all sixteen Parts sealed-pool killing sets"
    },
    {
      "artifactRef": "bafkreifp3rhljtzzxiw5e3yjg7bcen6mpmpxhheyiqlkjk2u2exqubkmnq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T02:37:13.340707Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "63323df1b067608f5de34f865430c6be060047cc2ae20b7487992ab9882874b431005ce6a66f36b3962164b30af3be9675ea91adc506f5f34868eae171a1f006",
      "height": "2507",
      "title": "Sixteen irredundant positive refinements of the Parts sealed-pool cover"
    },
    {
      "artifactRef": "bafkreia4rxwq4czgspd44n7sypwjaystu6vcvswdpvjoniho6we35pggdu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:36:05.727700Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "c7d4a48ac7c08e6e310489f005a82ac0a97d896547e05643d7c8940b1d0093c9c1a1eea861a5f6536e81318311265c6c096dad960a9accbfdd13bf7f6e396008",
      "height": "2485",
      "title": "A 30-addition Parts pool residual and a new 39-point killing set"
    },
    {
      "artifactRef": "bafkreif2ooyiwjladso7j7lit2krf3mtr3aqmjfgj6senyaobubbspb5ki",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T00:43:33.623551Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "7791386aba8996e0da8a918a6673c7bf886ca830fda6a8e19157221df90771b8b8e8b558ac71464412deb0189424540d961c043842b1f8b11ac5ecd3d5e39706",
      "height": "2469",
      "title": "Parts sealed-pool delete-eight/add-seven closure (a=7)"
    },
    {
      "artifactRef": "bafkreia3yb6enpdokhwsl7b4ppiksckwweacuq6wgpc5wyw3oh7c5bg62y",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T23:28:44.919387Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "e6a4a6f452a46ec8089653432b5eab26bce625132cbf3205fa60836d9bf3f20268a8c4d2846ae67b5f890dd265b3164aa047b14477d602ea51c9944b5e82670a",
      "height": "2453",
      "title": "Parts sealed-pool delete-seven/add-six closure (a=6)"
    },
    {
      "artifactRef": "bafkreih7gskrqzgu4vadrvrlagiutc2ty7wzfwamvpo6owi4dj7xqlrrg4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-04T22:15:33.687787Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "662de286ffbcc14240f5119405feb73a976bd4fb6085ff5361e8f2d8f1ca10ed647fc599027060e3ab739eca032aae9aa89b00feecc42f78d80558591a638c0a",
      "height": "2419",
      "title": "Reuse 22 published killing sets to certify 47 Parts deletion rows"
    },
    {
      "artifactRef": "bafkreidbiortofxbb2yajjal6m4so5wq23wik4gjaakwmaq42dpm73drqa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T21:32:18.707480Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "b6c48fa7430fbd3c09cbcfe0628dde4f901937475ecaef88777e8168371353fefdf6a88701323d2af54e061f20bbc022dffbed69ff1db22aaf65f348da4cec08",
      "height": "2397",
      "title": "Six-point repair exclusion for two Parts deletion triples"
    },
    {
      "artifactRef": "bafkreicxowwprrcgkhgmq3b3vxw2dukhabxpedg3kqpmsrcjkcgge2aaiu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:37:11.482648Z",
      "signerPublicKey": "5dade251fc20b5950baacd17525c37065b34edd154aa4e64e01a7728acf0dc55",
      "signature": "be7e62d10468d08d70cafab1759e65d3b7f0b3e719bb3048b2102eebdf7353538605439476c7419958c7830703e8a88c0118e62491424fc51ade70a932a85005",
      "height": "2373",
      "title": "Two non-killing deletion triples in the Parts sealed pool"
    }
  ]
}