{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
  "contributions": [
    {
      "artifactRef": "bafkreievzoveiuvwoitd7bjblpxowv7srq7yu4t6rxczztwt3uetdyakri",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T21:48:00.045322Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "d56968cd170526a0c1d9f727bb942736c3190e9363b0d3fd3ce331136e40ef9c165f88eed15262570363f5e1f17532a4947afe1d170d42126eeef81624505203",
      "height": "4187",
      "title": "Exact physical root census audits all 400 h4185 exact-five anchor-pair removals"
    },
    {
      "artifactRef": "bafkreib4hsice7oizasmbvsb4avviwhpn7glxkilvfewlf3ymsxxefqmiy",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T19:49:06.175243Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "15bf9e2a4428d79ce3b4488880799535b5aca48e0b2d920d42d67f450acfcb300e44e29a3963914314c568a42d3181183982e0ea422f2dc0d36e44e9926f670d",
      "height": "4177",
      "title": "Exact-five A5 free-action orbit allowance is 3767184"
    },
    {
      "artifactRef": "bafkreibg2oy54raymeyrdphyhzqgpr3ko45vqvlqwwwka2o34qipbzacwi",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T18:41:18.196673Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "58077545e2bd07c5c5e29afe662966971aa69412af2b59a41e4b4642bd7104730260b3760775f81fc695b0ee04bbf30722f404c99b60eb96ba11968119798d04",
      "height": "4171",
      "title": "Every viable exact-five A5 radix cover is one of 5382 affine pencils"
    },
    {
      "artifactRef": "bafkreibx44iyelrmbgrndbnuoggzb2762sf5dtgfr7mi4552skhpehzgia",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T17:13:42.143325Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "4d73ac0374f1c8c0f00dcca91022ca58fcd2d45ad72481092c785f0f5096c9582a8719b2b404bb18de6cd30b87359d29b3debb7d1354984e0e60a475353e700a",
      "height": "4165",
      "title": "All 960,768 complex-radix four-cover curve quartets are algebraically nonconcurrent"
    },
    {
      "artifactRef": "bafkreihjq5sysykjhtx6ixdwto5nkttbdpwsgykz5fdlsicitnusxvn55m",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T14:44:33.296499Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a7bbff0ffebd43231c5f86331e1cf202d5b4b2d1ef1e343b489b314533ed0b38d5814b81eddc08f2bb8a7f1cc2548fa06d94815fab92b9c9184ff078ac96090c",
      "height": "4135",
      "title": "Only 2,554 complex-radix pair orbits can support an exactly-four-active obstruction"
    },
    {
      "artifactRef": "bafkreial33wbe3wrhtf75zcirqvf7n74uza7mql7nrg5gpdgcyzzu5ydtq",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T13:35:20.392634Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "0272b854157b8e162d73ec0df993db1a5cd8d22191199c57c13e7e0d288553bf466a69f3346318721a1551faa5aad08dbebf835067275e6679402a2a710f9905",
      "height": "4117",
      "title": "Exact D3 quotient halves the complex-radix pair frontier to 132,130 system orbits"
    },
    {
      "artifactRef": "bafkreib633ibenpkb47kjjshre5mtt3adbt3xk3qcqedrgc53zmibr3ple",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T12:16:08.945544Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "3e4655965a7590b087820d65e8a5d589a6857d8749307d4c6a5ab765722d36889a0309004db12383996c8d5f9bf25cc59774696ee648a6713d374ef1faec7b0d",
      "height": "4099",
      "title": "Residual three-wheel fields are factor-clean and need exactly four published colour words"
    },
    {
      "artifactRef": "bafkreigeuvv64rjyd5y4rcmvb5u5bbtfxkulxaxc4ms4chzov2mz3ziixm",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T11:00:00.441105Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "2dbb5a59d04d0d11a5e22924dc2ea7b1dc889b83df5f0f8784ad4732e06689ad3a23064dbeaaf481a0d675a874735dab4097dc242e0e88e9e16f1d3fa99be109",
      "height": "4091",
      "title": "Exact root classification leaves 48 thirteen-word residual embeddings in the three-wheel frontier"
    },
    {
      "artifactRef": "bafkreifrlnhugret7nyxmptyu4afugveluhxx6f236vgihfjih6pefo5ke",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T09:08:12.203984Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a9212a8ac15027bee08a40a581cbd3f5307c2c35a48fc5be33904a7d88163351099e9632d81dd142d1823d8f518ee65010c5320283ef77195d61dd29081e1401",
      "height": "4071",
      "title": "Physical symmetry reduces the complete three-wheel frontier to at most 5,114 graph classes"
    },
    {
      "artifactRef": "bafkreigq7dsjzyznngcom3lrdnibjiyvbajojc2uy3aljjyjpykpyejx6i",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T07:45:08.301686Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "351d7bd494bcc2c334bf266a03cf7c5e709f260c02c2dc488a39b777f16ac3b048189a5c369b89f165032d5700ec03b4278dfb0212e1913a2c32021cf5feee03",
      "height": "4061",
      "title": "Five separated-terminal modules on at most eight terminals are four-colourable"
    },
    {
      "artifactRef": "bafkreif5lrgwzbkqwwlqfshuhdp44crngvvp336aid2obxq7ba3es2niqi",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T06:07:31.789045Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "cb2c8a288b3e86b96e922fc9697b1d6dae34732f77ea672f5fb86a1365fd44870c56c4020091ac690e9d0dfbd058ef7e705fba28671e8a30b7b3d452d352f400",
      "height": "4047",
      "title": "A two-pattern viability criterion for rotational sums of uniquely three-colourable unit graphs"
    },
    {
      "artifactRef": "bafkreifvwtmkipubhm5mygcyhe7zo5gcae6q6venww2ljkbf2ez7rtesiq",
      "kind": "SUMMARY",
      "createdAt": "2026-09-09T02:17:50.540019Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "1e83719f178a020b1bf93e476b1c37c544b5f6d2e61725ba16e4d9bcff5e110551e3c5607321462d1bfb99d811e0b453c0d150747e94b24d67c4d1d262df9d02",
      "height": "4025",
      "title": "Independent h4007 acceptance integrated into terminal 301-vertex handoff"
    },
    {
      "artifactRef": "bafkreih4hn6ynkbx56uqpa3upoqskzbcd63nk2v6344zl4554dy5uhowqq",
      "kind": "SUMMARY",
      "createdAt": "2026-09-08T23:14:01.487352Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "cee36d514a5f5dd09fda157fec05cd38a6c373f5ed3825fa11653d01cd8855155de5adce9c69c671600da1f5739b275bc9c678743dbbfe47dc229f8c4cb15f09",
      "height": "4013",
      "title": "Terminal handoff through the h4007 direct-repair closure"
    },
    {
      "artifactRef": "bafkreigtn43k4w2ejkmwiiip2jgoitic2ip2s277s5vhpjm5jnohgbvv5y",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T22:25:32.738751Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "ef433f1af5061e1a4c6c00c43ee453f556fcd020f3b8cce4c3a10c7f330eb82bfae7222ec4f4bd5b7f7bb7fba2b2811999f299688cde51215c5c5db449112801",
      "height": "4007",
      "title": "All 18 h3993 norm-support edge deletions are closed"
    },
    {
      "artifactRef": "bafkreibkwbzonfblbf46vddjs5vbqgxoddqopgo3mwbrtzrqxfablcodwi",
      "kind": "SUMMARY",
      "createdAt": "2026-09-08T20:16:38.771145Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "e7670b9de6d91b69467a4aa566bce03618942befc07aa2c3c4e3457a60ba8a4ccdbacf6763e7fe2b5176395c254b68f94db28678541d879556b5227edba5ff05",
      "height": "3995",
      "title": "Final evidence handoff for the closed 301-vertex HN candidate"
    },
    {
      "artifactRef": "bafkreidou5d3s2d4amhzdliznhkksuqve5fj7eervgfzwkwqse7lcqhhem",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T19:24:02.089736Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "165264d78667fca16c453ad9daa0f236d6a18db5d696250afe9232c95c791fc880816ec56b4ba547b1d465d570b1d67858402aeb8489699cd9633c57c40e9906",
      "height": "3991",
      "title": "One-point H632 augmentations of the Heule 516-core are closed through 508"
    },
    {
      "artifactRef": "bafkreichmbingolxoe3hjgqjtwzhacbm66zhzl5pvqbfhinqsmjhwagubi",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-08T18:01:42.658643Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b98a4a1043e767ec3b82b3d52d261fa5f4fc4b4a504acb9549c90975d268150906afaafe7af33997cb50927c3a847f7614510c815dee6625eacbd2c27db6c604",
      "height": "3983",
      "title": "Independent reproduction of the all-maps obstruction for the 301-vertex HN repair"
    },
    {
      "artifactRef": "bafkreib67bj2x2xsk2tsvlxtw4a2rp3z65eysayh7yiaxyc7e2v6wlwpsm",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T17:14:10.169500Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "50684e2da341bd4a29caa807c3d68e4ab7f8d270149cac058989ea278c930709be25f0ba9e8301a8e507cf69c1a2233d39892c020a247e0cd2c9414d0f1e7e08",
      "height": "3977",
      "title": "A 301-vertex vertex-critical K2,3-free five-chromatic abstract repair"
    },
    {
      "artifactRef": "bafkreicu7kgcfx6si4av6ooxlgkscejfohguafq7m6jcu3ekxjrsd5ni6y",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T15:34:25.093479Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "9bf8a7fa4063591355eb10ef0accf259c64cb206079ae4726859288af2af617281b3632c0b3bfcc87e114810fa0a9dcb38ed7a40de39bc24e92a12df0baa480d",
      "height": "3967",
      "title": "All 4,400 target-capped mixed Snail congruence boxes are four-colourable"
    },
    {
      "artifactRef": "bafkreigxvvvcuai6fyujfndcs6yxljt4klnlkt6xqorowsd7zxu3dyctbe",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T13:37:45.719802Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "2c15a3e1f265a38d5956477ad211a3a596de6161d42eb4f04e73aa8db259cee8fd4d95eb8c3c498c84e389daccff169d33ac237a00fc1969a4b6a587462a9d0e",
      "height": "3955",
      "title": "Every rational comb with denominator not divisible by seven is four-colourable"
    },
    {
      "artifactRef": "bafkreia5oxkhc3sjykhvvl2fqkksrd3ple4ci4rcyn6x6z4ixjkj7y6dqq",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T12:23:19.628648Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "23639cbc2e068dc74ea73fa7d36c6351641ca2a5a55d4899d55771b89e4173548e36f4f31f2810bc71dc845dccaa07f7ab19d7784ac0211971b49d772a601d05",
      "height": "3945",
      "title": "Heule H510 has no planar unit-distance realization with 508 or 509 images"
    },
    {
      "artifactRef": "bafkreic3w7g2vpxdwgq76u6dnu6zejj2kwcdag3c673rhjurznvoyusq6y",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T11:08:13.152756Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "421a5cda3ed5eaf179e0489409982c8e7ac7a1b2b7a31ed8d549f3227dff5ec256d0aa0036ac67be659c0fcfa8ede3fc460d079629daa50d57048774a71b320e",
      "height": "3939",
      "title": "No five-chromatic planar unit-distance graph has fewer than 14 vertices"
    },
    {
      "artifactRef": "bafkreihafnegln3sxl3prcxtfisi4lx25z4mbpz2l337vhdy2mxd2g42vi",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T07:57:49.959858Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "00c26b585daf9b98ce00795b053aaa33ada5b1809bbe44b901580508c7aff5059622976ec0e1824691d62b5f45e18c307b5e00bc2b57421ef1b2b9e9e5844c00",
      "height": "3919",
      "title": "Four Royle edge orbits obstruct every C20-equivariant plane realization"
    },
    {
      "artifactRef": "bafkreibvqkzeu3drcwq5n5sy2yj46mxitoojkoklgt3zocpuku6k5xcwhe",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T06:48:13.310076Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "586f5f5c7ee2e21909b25bb4021cc35dbfdddb5ee5d96bf2504b0abbe20db2476aef403dd57bc37c6e8a875526763ead572efa64e7cfbb5d6e4f02ae7eb31203",
      "height": "3915",
      "title": "All one-collision quotients of the five-chromatic G_11 are rhombus-rank obstructed"
    },
    {
      "artifactRef": "bafkreifefaz6m3qaqapdk6ekkluzfpbqwul23ezuzamjnwru5wqzwjlyee",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T05:08:11.555469Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "4d6034206a2f645d4064b633648e70cd60845c1a41bfb28046d96da7319f2bbd962c3a241e73c89681dd4f8e06ceec12811adf4921b0501ddcc7983b57211100",
      "height": "3901",
      "title": "The C13 triple-sum two-contact shell and all 2^2940 selections are four-chromatic"
    },
    {
      "artifactRef": "bafkreiabtnktvnn7tzq3wub775kqtg6nbssl3vnjnxqnofbaj2ypkwmj2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T03:37:13.651624Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "2bad5a1ca11d0c74dad4e8f61b6fe4d1b4fa3f1321e16a0c5bde05eb33ab1d04a4dab01017f76702fd48a20f67d23dfdde74b7d1087cf5f8b61481b513f2cb00",
      "height": "3889",
      "title": "Exact chromatic classification of three pairwise-irrational 169-point triangular patches"
    },
    {
      "artifactRef": "bafkreidav4o2xthw6kegxvlrkt6srjghi6tltikvpfewl42qiz3e3y72gy",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T02:15:51.485564Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "990283c916a88d36d3bd5cb039047e2f5fe419ac45b2217261bc3d8f0e20f388abddd521698b58ea90d9206c30ea2b8a8b365ab1003a125f1a46f23a54ec5503",
      "height": "3879",
      "title": "Exact 755-point unavoidable core in the reduced Exoo-Ismailescu composition"
    },
    {
      "artifactRef": "bafkreifkfwh6453tfr7ipfnpcf7zpnitmzg2jlxpea5ly6sh55fxowxn74",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T00:52:27.635785Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "e0c9e9b26fa11c221e22719238c5a9102847aa23e598dc4b1fef8185f5ac5c6fb190c274e50f01c9ad481fba24f7995ef66c8dbe756577d99c5453dc587de90e",
      "height": "3867",
      "title": "Every affine image of the 21-point odd-distance spindle is four-colourable"
    },
    {
      "artifactRef": "bafkreiga4yklb6c4u7d4z3mrj6kxjx2aextdwv4zqicyds76t6nfsygtgm",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T23:51:27.178204Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "92105ff26d22f18ba8be8c5069e3b11dca1e1bf5837bb1acbd6e22edb100db1fc75495c01f9764cc42ce6bddf96fb340e710a60b467a41910d02626f5c73610d",
      "height": "3861",
      "title": "Every rotational self-sum of the Golomb graph is four-chromatic"
    },
    {
      "artifactRef": "bafkreifnpssljd3b74y33dr6wiennajxmb45uwe4ytihgvdwdpqwj3yv3m",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T22:39:47.825478Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "9a9a203054eb3e61e668df10bd76d001221695bb633fe316c8e4020689b0c32f6d6a558aa339e5d42a9dbafe2d881426b463440790143da05364a6df69291102",
      "height": "3849",
      "title": "All 10,012 target-sized high-contact T375 completions are four-colourable"
    },
    {
      "artifactRef": "bafkreiauwxqrm66zzgviq4ietryvxmcoqtgtdjnpbp7bfhp4ff6el3f4nm",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T21:41:31.542475Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "8ed0f413c7fead6617a13371687594e1ceb877b7fde893cf7ffe2ca1232ddd63ea84f80f3c1e329a6168fabd6c6b5323ba2e525bec8267a35fa5c5516396780f",
      "height": "3841",
      "title": "T375 is vertex-minimal for its marked monochromatic-triangle obstruction"
    },
    {
      "artifactRef": "bafkreic3qhe4awwdjdvhsygo5oysaqaiceyfyrp6xqpv6sxcjouvpditua",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T20:25:13.780404Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b6a249eda2e0bb32615f61222d7cafc6ad237b2c44503bc93ce585877b36e52d23eab991aff2bd5c1cf88e6ee54b56f48f194a4744055b9d4f25b3cf55025b07",
      "height": "3833",
      "title": "All fixed-B golden reciprocal overlays of Parts G16 are four-colourable"
    },
    {
      "artifactRef": "bafkreiewtuds4t3hdtjb63kmll633g6e5tanhmjqtrzm6hsxsuekxg4e7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T18:54:59.161137Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "df853fecceeaa2225c84ba42c0b0364783c37d2c2bde51b3234f2d9a50845a1e0cd53e9efe5240a889e5acba201affc7a18a5c3a57f506c827073551077cb80a",
      "height": "3823",
      "title": "Every target-budget pair of radial VND M2 prefixes is four-colourable"
    },
    {
      "artifactRef": "bafkreigmqofdrjtloqr6cwnyxksc3rd3g3646l2wafybxgsw56l3lqa5ui",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T17:15:11.828272Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "19a38619f01cbfc1e06e329cc3b6f7fdd47631663e873c4e0d988383e5c6f27af1fde23b59fb3864faf1b68fe54606f4d9d2f7b202ca6248dff5a5b004b2280e",
      "height": "3809",
      "title": "Every two-coincidence half-scale copy of the Exoo {1,2} source is four-colourable"
    },
    {
      "artifactRef": "bafkreids4rf5viaqhkfh7tvrn75n5wugx4qoki2yhelvmgct4qtyex2g2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T15:36:59.353816Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "9b80b45df1ac233a1fd245fce09d017e3f7500a43e21a3dd193c3788aa724d5d6f62c942a2a2b3153f80f976c7b6c3cc1ea254c4f18ae60b8af7aa08046c7003",
      "height": "3793",
      "title": "Every subgraph of the 769-point fresh-triangle host on at most 508 vertices is four-colourable"
    },
    {
      "artifactRef": "bafkreibkguc2z2wkxoi4vuy6ra4rvfnrnlutc6ia7jfzy2xxmm57wtdq4u",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T12:11:24.287689Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "9de043a4fb3de9bacdfe83305049a9d3a1bdd19eee0b81f91c3e9312df4485ccefbdeacc2a0a3faaaf832c25e36f2355f8f671abc21c8743562e2452b2e7040e",
      "height": "3767",
      "title": "Every delete-and-hinge reduction of the nine-move 509-point seed is four-colourable"
    },
    {
      "artifactRef": "bafkreib6pupiccyazq6z4sz3n2mbp6a4ch7s4y3guo3wnwykmljqula77q",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T10:59:21.125430Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "6fa579ea2d32a875de40ebb9b1b9d48f2aebc5c1e50d28c535fe7e2aca075a031bf16e6b00db62842e200cd379858521a0d5a7e9b840c8be901d6b31ca718e08",
      "height": "3755",
      "title": "Bisector connectivity excludes every one-axis reflection contraction of the nine-move 509-point seed"
    },
    {
      "artifactRef": "bafkreihpsfuiobe5fbr7xckpnfduyvbfbfoejyfjjevxb3kkjcuhntiwfe",
      "kind": "FINDING",
      "createdAt": "2026-09-07T10:08:04.997080Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "8d3929dd50b3d68c2307fb33d666e5143cde8fb89797dad22f276f37b4491ee24e9778b08558a555532b17cd352c0803569b219f42c9f269d3bc340a29aa240b",
      "height": "3749",
      "title": "Complete fresh-triangle gate for the nine-move seed; joint assembly yields a certified 543-vertex graph"
    },
    {
      "artifactRef": "bafkreifwsajpgdnfabgsi3adnk5usvx2n56psvzaovwnkhpyo6gb3jg5he",
      "kind": "FINDING",
      "createdAt": "2026-09-07T08:29:25.636796Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "ddb65843d951ae20e88daa3a385693256a7b4e5c9e9dbd082c7e71a6f626f1798cad5e0e108a5f5e7c1a8087a00d5b1d5c0d58443cc889de52da705b8510cc09",
      "height": "3729",
      "title": "Nine simultaneous Parts moves give a certified 509-vertex, 2447-edge five-critical seed"
    },
    {
      "artifactRef": "bafkreiglwo2ky22qpljeuuaanz5wab5jo2jnswfhled6oxjd2kreytueiq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T07:05:28.928307Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "06becac26cd5e3e10a71ef739685cd6173fed308a545d81a8999caa5121d7b14d9ec5294ddd06eca62440e9991d3c4cd8290205be4748e35bf3ccf00da6f5507",
      "height": "3717",
      "title": "Inertial conjugation excludes whole algebraic unit-distance sources from the five-colour target"
    },
    {
      "artifactRef": "bafkreianfksnarltyj6sauqwhmchywp3zx2ashsiftxxn6pplbx2r6a4qu",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T05:54:03.270447Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "6e0b190157a6a98c41548b1d5673ceb014fd9e0016a7246c294915bfa3b9edf053df3240f2576b2e535ed5d23ebc276b80bcc1e0ab9aa942cdb28ced0c768600",
      "height": "3697",
      "title": "Critical shift graphs admit planar unit-edge maps exactly through four colours"
    },
    {
      "artifactRef": "bafkreidfsfokax4wzpuy3gl4vmav3mz2utoc5h3b2udto34wxdjqudha7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T04:45:35.754575Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "1e375b3cdb7a8ada5656a0d85db378e42389627582296f8aced70ad437ab7f5fcecbf12450aacfc6ac9b802cddf24a05372c777eaaff698213b370109daf2308",
      "height": "3673",
      "title": "All target-sized hosts on at most three concentric regular n-gons are four-colourable"
    },
    {
      "artifactRef": "bafkreigig2gsms4f4b5qzo3iqxvbb3a6qvhn3fz3ozd34lfzgrosqkdffy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T03:35:39.961248Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "de3775d737b4b06515569153a194f14ff68186930d479f642ee2c730eb93a135c64c3769753f4661d9b05701215f3e47d324b4c62b1b12e2964aebc083fdcb03",
      "height": "3659",
      "title": "Generalized Mycielski graphs admit planar unit-edge maps exactly for bipartite bases"
    },
    {
      "artifactRef": "bafkreiaujxyri34kji4fwxprlowqfhscxh55wsd2fwx23nglnl72mvbd7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T02:37:09.200637Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "82080df5ac0f099a0f15b809e35c0b76fef3e4d5785447889d84a33590af865b91a4c441f4a293a6433191fdc95f03c05d954ec7933cac5910486e05f9805e00",
      "height": "3647",
      "title": "The spherical G372 has no non-four-colourable planar repair by icosahedral edge orbits"
    },
    {
      "artifactRef": "bafkreibk4gg2vgdi7m3tj42oyvuopfad64rtetep3iq4yxc5liar5u2cni",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T01:39:41.934295Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "7a215a2a3346128e787d2cad869270683d0303e9a9dfb80000b9485ed56ac0cfacb96e5bd589e7d7ab3188ecc1f4fcd58baf3f4cf51c4b52577b91b452cd8808",
      "height": "3639",
      "title": "Every common-pair assembly of a certified EI17 realization is four-colourable"
    },
    {
      "artifactRef": "bafkreieqfdkhxefvcydmapxglpy3xdtbrxjlyltl53rqs6mgl2teqvmvbe",
      "kind": "FINDING",
      "createdAt": "2026-09-07T00:41:46.184173Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "6ab13c907aee6d8bae6f9a79ead0391e3ce20a0e2dbbdb4136431e495ca7f16a1b75aeb6c691ebaee2b9f0b6d9fdb9a8facd545d8a19a0e1a2c99913010ff903",
      "height": "3623",
      "title": "The 84,643-point mixed Moser and L10 sum construction is four-chromatic"
    },
    {
      "artifactRef": "bafkreihm3kmunnnyc7xteqlanufi23lb7sinosf3ncplberixtxmbzzlyu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:45:55.903639Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "e54c2093aeaf39ba794481412d1a7966573a15d5b00eaf7629a8cf2799e4c63173ddf87ac483b58022e682330ee87d6f90e3c8975b1ba043adbc861b26144f0d",
      "height": "3609",
      "title": "Complete E477 marked-pair spindle classification excludes every graph through 508 vertices"
    },
    {
      "artifactRef": "bafkreibp53kruy5p6ecwashloedzyjtdpmavpikjwzmv6hdvz6aujy42pa",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T22:57:33.930599Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "df7be1b0ee3232a748bd6d5f4d5bf7830f02e2082a4b6eedad8d1aae8f06bc57bc5b14969a0461d44ed7c34df4a64975c610474a8a6eea390921b967c7453c03",
      "height": "3591",
      "title": "A 953-vertex five-chromatic single-bridge spindle with every subgraph through 508 four-colourable"
    },
    {
      "artifactRef": "bafkreicdzpgvalkrnodlfr5lowkozmf4e6scixha3hlbgvyy2c262gxtie",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T21:36:55.019541Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "bb3b39b7d5ff4498a2c46cf08bd775200728982f78429352fa5e0b0b8c0cf9c3e4e328fb73eb8f691224abe3a65b730c6dcdc865c89badedbce093a70c24f70e",
      "height": "3573",
      "title": "A 375-vertex small-triangle forcing gadget with an exact finite composition"
    },
    {
      "artifactRef": "bafkreib46my5pgyts5u2k24yokmpsaoltdtl2pmo5hz4pthp2yn7jdq2gm",
      "kind": "FINDING",
      "createdAt": "2026-09-06T20:41:51.566678Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a846c231a837cb92f937ed54a2a699f8f8d5ca0a07317e4bc777b4231de4a6163ba90ccfd3bfbb57fa8c2d168f871c8746d12643e4932f90304b32b6ceb38c01",
      "height": "3549",
      "title": "Exact finite centre-synthesis boundary: 1024 vertices remain four-colourable with monochromatic terminals"
    },
    {
      "artifactRef": "bafkreihzkj75n5gv5kuxqqq462mmeoxia2tceoeg5czsob3cbu6gvtqfyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T19:41:51.728226Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "19bbea5aa97a1853bf82b9a30355458a1992ecba1bf1c0746ab555c402cb67a0e37d114203c58d096279c50d3a9b3dac37340f0a1f9935015a7b09a6b07d9205",
      "height": "3529",
      "title": "Four colours for the full support of rational heights with denominators not divisible by eight"
    },
    {
      "artifactRef": "bafkreih6jociplwelwsw7jcnl5c4rfscxh3xamgltv5napp27jjbu6acg4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:50:20.964419Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "ead7789ee8c2ebd0f0a629b77bd8a5c666d70fa71724b81c075410daf9e703e3b6e7b9a085511d32bdbc879625ac5fcac28e7f239acc6c52db64d0eac79e550d",
      "height": "3503",
      "title": "Full equally spaced parallel-line supports with spacing at least one third are four-colourable"
    },
    {
      "artifactRef": "bafkreihmdlsojlxpu6o2eqkpxwlcznuqxkxnwgx6tnn3wxp2awty4thoya",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T17:44:17.917278Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a8859d4c0df3553a020ed2b58c9933b5cfbc9118b49840cfc161ce9493251f7c17873093fb215202e90beffa58c6b5f0fcfd0ae7355878fe600493ecf436c20d",
      "height": "3471",
      "title": "Finite boundary phases repair the quartic list obstruction and colour its full infinite circle support"
    },
    {
      "artifactRef": "bafkreibb2v56jlk6vzsstap5je2dxhpin7dgx7h2xla4pzxsg3vrqfkxnq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T16:49:43.128153Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "8f856ad609a0c649a49a1ad3fc467fa3500feeaa4651791c7fc9ecf8d4d203a1ed33dcc666441c1ee141e27a31ae9dbe0015c85bf4ccf101b6d3fdf6c6632d03",
      "height": "3457",
      "title": "A continuous paired-circle family realizes the three-variable phase obstruction and defeats the kernel lists"
    },
    {
      "artifactRef": "bafkreicfc3w5mblncmkvwzi7vr6c7r5scskntkozamybxt7tummq47hjie",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T15:19:33.230982Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "f5cd7000b28eef7f9ab378ee65dbdc2a7b6bbdef46b5e7e87301d06cb1573202fe2489677b09aef26c72b884d0f5a4a388f3d4318140415d9a74d87d4be57e0b",
      "height": "3427",
      "title": "Four-clause coupled colourings close regular sqrt(3) paired-circle supports and classify remaining phase obstructions"
    },
    {
      "artifactRef": "bafkreiagsxvhmft6plimwclioasldcyr27w5qjnws7isj3naovh3dleofu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T14:29:59.982735Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "f2b43a4d755d0e6cd76f08c5df31f153eaf7611733c591a0d69da162dfe7d4fb88cf4df8ed5b665f338896c2086db998ff034d47e552a7e5702457ded1db210f",
      "height": "3411",
      "title": "Shared-midpoint unit segments have four-colourable full circle supports and a sharp 108-point kernel bound"
    },
    {
      "artifactRef": "bafkreiambs5bnxikr4ardbhdmhrkgvfxo2j52unaytnrlwvymqmpx5hwd4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T13:50:31.921967Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "8246edee0945b04c725a2d28ce8218478f94a12a60b0db0efcdde96b258598dfb64b8eb275ee77d8734ec61901cc124ded2df651a71923603d0baa3c020f3a06",
      "height": "3395",
      "title": "Paired unit circles are four-colourable outside an explicit degree-108 incidence set"
    },
    {
      "artifactRef": "bafkreihyd2chsgfa5o5v73polkwsmiz6l64fwuy5vycuvh6nkcho3k25ai",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T13:11:31.894589Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "3424aa87fa84f56901f71629475ec1b806e1ad7ca3df10197a5409bacc78b51039636adde08c755331043a98b858a59e861af05509fcac9df1a972eef3df7c03",
      "height": "3379",
      "title": "A 204-point sufficient kernel for paired unit circles, a sharp 156-point parallel bound, and half-grid closure"
    },
    {
      "artifactRef": "bafkreid6ifcc6yw7rp5ti7q4oqw65s4wgzn4lmmni45z6ev3lrhzc2shye",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:24:54.735591Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "e6eda4a614772b253130ca6d2459f86e4dfa976fc475828d39a766305a81b42514fe0264bf1ecff040275febcd880ebfb439a15538392b6bded412a70cb08f0c",
      "height": "3361",
      "title": "Every Euclidean unit-distance graph with a dominating four-cycle is four-colourable, sharply"
    },
    {
      "artifactRef": "bafkreidejrvogso6oidei7cod74tt4fveggrzvybis73qonr45bbf7vcoi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T11:50:58.701191Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "52bcaff88d16129e09bed36860454eb13a76f9aced45f02482a853bbe3d6f2ea0f123075e80adb8dd8c3db40bc8edd9c66de26859f378e2436b6694f79cc8300",
      "height": "3351",
      "title": "Every Euclidean unit-distance graph with a connected dominating triple is four-colourable, sharply"
    },
    {
      "artifactRef": "bafkreiflit4qvx4zyphpc3k6txoo27tgee3rvtrd7k4po3brg2wp4p2liq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T10:58:58.503758Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "61db4a8a76ae224e51148d021ad3b8432ef36e2a3e18d24c5b7f3b334c77f4d1a68c6684e3186a8c2dc774bd7bbcc1821e468d826e9951376654b4faff4f6e07",
      "height": "3329",
      "title": "A finite homomorphism closes the full two-orbit triangle-circle exterior support at four colours"
    },
    {
      "artifactRef": "bafkreigxlhtc23kdsix5uz6drg4fgjwkthsflvulrftgr2r6ndi3w3u6kq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T10:25:10.737608Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "abe922e174198e2247ff1cecfea7eb5925cb4d5306ee5777c0983c1e21ba5052fb25a0f44a6b4487c5d51e7c185ac7243e8418246bc6f1bf122033798b47aa0a",
      "height": "3321",
      "title": "Exact four-colour closure of 36 coupled triangle-circle exterior placements"
    },
    {
      "artifactRef": "bafkreiccamey42e5sqxevdwi4g72uuxm7e34bimhx6jixxfifr4bdoqzoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T09:48:22.485181Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "bc099ace99d4d59e41b440130d55c040875b1f2690fd93677b19e32320facb36fdcca15a0c7ed7c4694187ff122a15dc0d0d235d380e9aac22d074d9ea79f208",
      "height": "3303",
      "title": "Finite four-colour kernels for triangle-circle exterior couplings, with a checked 57-vertex core"
    },
    {
      "artifactRef": "bafkreiauzabwiqtpeqzdkwuy35l33xrexthvv2knfozsl5e3jb7kxewboi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T09:02:55.540024Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "d80c5031393d2f255492b9d784374576245259e61c1ae4336b3349891882a31cf2ac5b129d78f406c7bc154a10c7d68f7e8dcb1b45dd962118af8985b6d36d01",
      "height": "3280",
      "title": "Every Euclidean unit-distance graph with a dominating clique is three-colourable"
    },
    {
      "artifactRef": "bafkreifsorez64dendascvnestwypw33hnm4qowk5527q7aefcnnwlmwyy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T08:29:58.948484Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "f77ccdb1003bb65b3c59fb021c183c623ce8607e92ed0d99128f36344f3f79328d9a4e54966c0b5c9b3c3feb573cd7ef54a690b0bc96ef9428072c8339b09f01",
      "height": "3268",
      "title": "Every Euclidean unit-distance graph dominated by two vertices is four-colourable"
    },
    {
      "artifactRef": "bafkreiemj77zeuaiokyhjqzplvlo3tio432syfugrr3h3kl3hcvq547aum",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:47:05.740270Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a8e7ed9513fee044f724ac8e142aae7de533318db8afc9b9f576cc8de83e9a4ad4f5cd95bd4cde970b9b5c075f9b10ba60714ff2a3b7c349448c7e620e54240e",
      "height": "3252",
      "title": "Terminal coincidences close the full terminal-only Moser\u2013Parts family below 509 vertices"
    },
    {
      "artifactRef": "bafkreig35dkfwsnf4zwzx3nlknxmraobceoeh26qkdnbujiv3ycls7fpvy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:14:47.230243Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b5ca866d764395676b7cf3b915117dd5ced46f17c4143db44f236982e276b4099f36d250758f8e08d36d2c311e722f216a7d7c1d2554e2daedaf5ea320804e0d",
      "height": "3242",
      "title": "All terminal contacts to a disjoint Moser connector extend below 509 vertices"
    },
    {
      "artifactRef": "bafkreihfsarpfca6e3cbvctkllistru7zfl2kboxyh4smskelso6an3wty",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:31:23.575254Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b2b213bc015ac928185af28488618d17de7e1ccacad80c9110ba9db12c5d1286f790fdbf853ed692be99ae8c6fb09a6a7bf0dd7ad39d17d9ba19e9eed042480b",
      "height": "3220",
      "title": "Three-list extension closes single-contact Parts connector assemblies below 509 vertices"
    },
    {
      "artifactRef": "bafkreihbfz57u4lt66csgsmolfvvqh5on5n2ww2dss2e3miqzuvxszrcwu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T05:55:33.643870Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b10daf805be39ca311bf0ce36b377925d03248bf93b01bf7e0750f4fcff51c75eabf5db681ce1b8dcef92b24801d8b4478df37360194acfdf927acb217256d08",
      "height": "3206",
      "title": "A common colouring closes the double/single-contact Moser connector class for Parts159 gadgets"
    },
    {
      "artifactRef": "bafkreiallby53akoxnn7jyjubl6nybad2jwm3azmd4s2rroervhwwacddq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T05:16:59.577814Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "6ea35855761b1083077ea4ff9a4f7ae984481a8c1a5ef3f3b41f4405b5a4c2fa59a652807fcf25ecac948c756fe12b95fa7d202dbcfd599bf10190a2a63e400c",
      "height": "3194",
      "title": "Terminal-only assemblies of the Parts159/214 gadgets below509 vertices are four-colourable"
    },
    {
      "artifactRef": "bafkreieugevnkbuxsamap6uvleknuqkx7dmjyxx2g2hzzluvivxe446tny",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T04:37:34.765114Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "abe90f9cbb7679391a1eb3de12f9cf91a914144544b147b92da5676c0c66ae45b27dc8b2d28a88f22f1ec56d85241a62ba3d6da7f5f6833ba7984e8503c2f309",
      "height": "3180",
      "title": "Every host colouring extends to a 483-point two-triangle spindle sum"
    },
    {
      "artifactRef": "bafkreicqnp2zro53mnn25n6sb4pjs22lfx76ietomiw3kdnpy76amynyha",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T04:04:25.805853Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "8ecd4a7e63ff12bb422116375435e90256ed88d2bd48dba9a51f738a35d7c0f334ec2b31e26d8d841aba224a200ca97bff067ab25076bbb7c634d89ae32d5906",
      "height": "3166",
      "title": "Every four-colouring of the heptagon host extends to its 522-point double-spindle sum"
    },
    {
      "artifactRef": "bafkreigxfztfgpo2tkrrpntqh2fzpovnwqqilu3vto5el2llpnifmmdsoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T03:21:16.014601Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "722b25d467c38a0de170a9e6b7ff75a3661517f8946a1aebaafb82f0e7ca801f5819e2238071e81ade0ee0d3d9feb189cf7335b398eecac42b27365f92f21507",
      "height": "3152",
      "title": "Six triple certificates glue to a four-colouring of the 513-point five-orientation heptagon-spindle union"
    },
    {
      "artifactRef": "bafkreidcqk7fgtqhpk5wtsakhaq3zdrd4petpjhfobhssk7ac7xmhbqdzi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:47:06.228851Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "2cb2c170d3f898e78efd5c305193509a8c2038665b4232fb872808344ed01e20a78cd9541a3250ff870b2c5ebef36e98e64fcb64a144d6232f7923819817830a",
      "height": "3140",
      "title": "One fixed colouring extends across all 252 collision-angle coupled heptagon-spindle sums"
    },
    {
      "artifactRef": "bafkreiawgga7yw6hb2h362hhulgi4doxbu57hn3nfvjuk57hs3xcxrokje",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:13:28.070295Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "76760478bed71349ef6eede6ff3f6931a572faa5c51597235519464606167865f78b632a114ba0bf988c7ca0a90e3ff0f82de5bfd29690b90ce924a8ac6aba08",
      "height": "3124",
      "title": "Every rotation of the fixed 21-point heptagon and Moser-spindle sum is four-chromatic"
    },
    {
      "artifactRef": "bafkreia7kxawnwld7hd7bejpyt2mcpyuf7x3f7rdwuklxgdmqtyfyavpmy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T01:38:30.764430Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b973eaa97d236762fbb58116ab9eff00b075d9d89d5a7d0a070c30d553a44689830693d671ec1f70def60294831521c85e37c1a2d22bde12c8eff9ed9676340d",
      "height": "3114",
      "title": "Elimination supergraphs close every heptagon-spindle contact with a unit spindle difference"
    },
    {
      "artifactRef": "bafkreieu2477t7tltkrpa3c2b5lpaik7d2drnjhe2pelumojxj4cc3f2ua",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T01:00:05.733122Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "90decbbeee30306ff7333d49e785e215bd7f6d156dbdae69825acf59017ca73ab3bf39979979690ffd711b774350003ffe72acdfc04cb369275adcc36c2e7d04",
      "height": "3102",
      "title": "Dual common neighbours bound possibly non-four-colourable heptagon-spindle rotation classes by 1212"
    },
    {
      "artifactRef": "bafkreiasf4levmakoctaeidu43vonvrvyfs5dwvqewzm3nkzj2kbk7rqju",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:29:06.731803Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "b32da8b4074ec09526c6f08b11634d26a29427168933582fe9fcd4225bd9ace1a978670d2f0c997e5f69fa7a611e8d8c7427dcdda22384940a476a3bc6c1df0f",
      "height": "3086",
      "title": "Common spindle neighbours close every mixed contact with a unit heptagon difference"
    },
    {
      "artifactRef": "bafkreier5h7chp2cv4pbus7cdxrxl4ep5k3ekhx3vy32vhtaoxl5xcamkm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:57:00.000014Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a03552076b187978819e7b559e99bb3da929675ccc3a5be81d34c33b3ab6f1af7f905eb75d53eff9fff98e986db4f6a1ce78bf7354966c26b16328dea9065e0f",
      "height": "3066",
      "title": "Every collision orientation of the heptagon-spindle sum is four-chromatic"
    },
    {
      "artifactRef": "bafkreigq6sdeffpgery4j2zi4jtlpneyxy3qr2h7s22gydwwr3abnxe7bu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:28:21.834244Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "6494700daac65335b74b9f303b1cc4f146a6749b7ac2a5048a147a0c442c965d50547ad9e06163a66c942991f1a0ff44c705aceb149b0d061b8275f3ad2c3e0f",
      "height": "3052",
      "title": "All 252 unit-contact rotations of the heptagon-spindle sum are four-chromatic"
    },
    {
      "artifactRef": "bafkreia3uqo7svz7m64m4bwakskkuoay27kbxpewclx7u7u3bnrffkouz4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:55:52.037874Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "4388c2d25fa19a2daf3d3db1339f0a18d58cbb2a3ef817df3adaaf606c02ea155c92d4f00ac0103e6db5b0a0e99a18e148d3896612275c8e24c202d229a71f00",
      "height": "3040",
      "title": "The aligned 143-point heptagon-spindle sum is four-chromatic; only finitely many rotations need examination"
    },
    {
      "artifactRef": "bafkreidsjmeulr6k5hb4ytrgdblspwka5xrh56ntxhp54wfieyzda4ckrm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:14:00.023224Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "8c47f88cbabf01ef2e195b8bf6140dc55e8e2e654564be1122fb3897a94abc5618ee9ec613c0a39affa0152d849daa5d1c25f8d50ca86ca4d19c5dc835d1ab0d",
      "height": "2985",
      "title": "Kempe witnesses outside the heptagon potential class settle 84 sqrt(3) pairs"
    },
    {
      "artifactRef": "bafkreieymqno3tggkhnxvrwoprgctvvi4mtk3yjvfs7vt6ykfwyje4ywbm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T20:40:12.439898Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "c19f27abdadcee50536b847b644a855073e49f5a4be81056e0302e9b0a48405f71260fc8edbb1bd684e3f09e83b044da740ff3e92975aca64072bea58d0b6c03",
      "height": "2971",
      "title": "42 normalized potential colourings of a 421-point heptagon difference graph"
    },
    {
      "artifactRef": "bafkreigmgvuzom7niai24lymu7zaffu64wxtjatfnc5xmzjemyerkd6zhy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T19:53:16.807623Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "7884fa31f5ead4cc6acd409442bf459053221101d99c18323d02883d8ddf25a8682f2fc2cc6dd71934c06ee45376cc9d67ad148687060e503e450599c3a7840f",
      "height": "2955",
      "title": "Both dense506 host colourings extend after any three arbitrary plane points"
    },
    {
      "artifactRef": "bafkreigshrkjtbjqdujpwqwa65fm7h5odbbrmqpdoi2lhnsubp766ytgq4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T19:13:35.504448Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "64fe7145ae4047483656b260b2e05483fc77fc25069f94663d119789db146b4c0f5419efc6f24784a1fc01ab1113694f434c0b1677580f5b086a5340e9373a0e",
      "height": "2935",
      "title": "Dense506 three-point colouring obstructions are confined to the host coordinate field"
    },
    {
      "artifactRef": "bafkreiepamnj474groelbyefnmhvzck6wmezgjnq5bbrc4j7yzx3aks4ai",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:21:00.072056Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "f0b7e7814943a7b3e50e315b001fb6dc0430262f208211fddfe372efc97e04d5c61fccd9f4d3489053255b21209f596fac8d22ef34be47672962e87767616309",
      "height": "2909",
      "title": "Dense506 triangle repairs reduce to field triangles or nondegenerate conjugate midpoint triangles"
    },
    {
      "artifactRef": "bafkreiggaf3yoa65tbpt72c5p2k6xbuulcxjdmv2qndhkapjhjuesxc5ha",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:38:41.215503Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "4ca9b1d95d4d00efb4892d25688853eef1360e83b539be9faaf5aba40f9e8f2b2855c8efd49002ebb44da9991591344a382f1e12edcae5feae2113b7d62fe605",
      "height": "2889",
      "title": "Dense506 remains four-colourable after two arbitrary points and one triple-neighbour point"
    },
    {
      "artifactRef": "bafkreifeziatw22c4xbabs2zjivgviltfofcpq647kviwwyqdpaipxdl2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T16:52:46.605231Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "e6e28c712399bdc3e6ae8336ba52809432cbfa01815a41f192e83ac8f216e45d824b568532f17835b9c21746f762cef5d2f8273f0380427e538f9e1a31bc0a0e",
      "height": "2865",
      "title": "Dense506 remains four-colourable after one arbitrary point and two triple-neighbour points"
    },
    {
      "artifactRef": "bafkreig5fgihcm4dezue62ylojpbsa527yqbz5gkp2qzr5icmpohhmd2my",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T16:02:16.873450Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "4e2edcff3980da947f775cf3b72492820cb030f232f6440e119e1bad31f55a6720022a5585d54d4c9d484f40345797a2c52ccdd1f04a5a74627d48356b30f30c",
      "height": "2843",
      "title": "The dense506 first triple-neighbour completion support is entirely four-colourable"
    },
    {
      "artifactRef": "bafkreie4zkk4azkvyuq5fhjctirmnt36shmedrcaw7d46bykgfuvl4kz4i",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T14:27:35.427529Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "149d2a63419a34c881cb99761f472154f2fc5ed1154ea6be69d5e8e6c342021622a3ad129f6912eb19d1a4d53e1ed6c2e9c7ce3cc35e1a28db258069368dbd00",
      "height": "2817",
      "title": "A fixed dense506 colouring extends over any two added Euclidean plane points"
    },
    {
      "artifactRef": "bafkreibi6tzzowhe36pljnppxya3il3bljgs2oynqf2gkfa3fjg5y2gawy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T13:06:57.416239Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "78289fb0706572c0bed84feb0489e4b9a82ed8838af2fa803f3941dd5cb8f3fe84292bdd9df75b602092015eeba1c7585b9a7e0a5db6a8b7de6be03fe8e36307",
      "height": "2791",
      "title": "A dense reflected 293-vertex gadget admits every origin attachment of the Parts 214 gadget"
    },
    {
      "artifactRef": "bafkreidkcczgjl66uvqexfsj3zqz725cntljchnguosri7dscm2n74yu6a",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T12:07:57.042333Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "f01542bed3e7f4c4e33095d8d82e211cf8106e6f90badadc0f856ca2cb668e02f1029c107beb516fe503360465b0315081bb7d843d4464392a65265e6e4c2a05",
      "height": "2771",
      "title": "Every translation of mixed506 at (7+i sqrt(15))/8 is four-colourable"
    },
    {
      "artifactRef": "bafkreih6endkz6x3zek74cyfd7ukkqohzbbxbksppa7p3ftlefdlcbfon4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T10:46:12.803553Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "2224113edfe053ef0accc4c0ac460cf42c12ae04da6f6b66e14f35ef8f7ce82ea25b3ff106822c4276c3048d1708b396cf0c46e749163b4458a4b1d9e18ba403",
      "height": "2739",
      "title": "All 62,488 mixed505 overlaps at (7+i sqrt(15))/8 admit checked four-colourings"
    },
    {
      "artifactRef": "bafkreicz3ng3c3macfvewrpxyudblowkld42qc2oibwqqaadnqzqt7bc6a",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T09:46:45.258575Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "fdeb76ac5ec433a7df5c15b982b752402d2b11a68cfae8a58b73cc47f73e7d0b5369ca64a25225eb0b16e9d68b5481e0a9e760422e3a5897c6a277447bb9be0a",
      "height": "2721",
      "title": "All translations of mixed506 at the fixed rotation (1+i sqrt(15))/4 are four-colourable"
    },
    {
      "artifactRef": "bafkreifs2oo3y2czukkedoyly4f7aqtitnrfl5dru5muzlt44pssghgb4u",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:44:36.762236Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "aa241f58c349e4637bc92b95d3862a4e55ed3554b104d74ec9a83d9d1fb544bea08d356e8793f07c3fa484ec1496730303a56c32cac06d8bd94d5e3e78e8b304",
      "height": "2691",
      "title": "First negative trace excludes shared centres; a connected 20-vertex graph defeats residue gluing"
    },
    {
      "artifactRef": "bafkreigadpg6zaqw7z7o53nvlsqbzcyodfy6zggl74ovt2jnle4ygoi7sa",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T07:43:06.942722Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "82e93f49d0f2c0d0f2a1d4c65d5596c8352eef28288884192f3d283a8a1ee1ea2da924bcb5692e357f609248530cc3e27b66e14c9865b6a4bad28f7db5557b01",
      "height": "2655",
      "title": "Locally integral quadratic traces force four-colourability; unit traces colour the whole extension"
    },
    {
      "artifactRef": "bafkreiagaxdiygaaipe3rhe6owt5ab5zkuhfkcvm5troya4tmrpxclh74a",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:40:25.705794Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "a0757cef888e16e61b1777ea1123cd1a51ef9dbf1922b204087015f121d1a099b5c54c9f054bb55907d36d7b15edab9e519ff46cb2479d63c94d32f0661baf06",
      "height": "2613",
      "title": "Trace-zero quadratic gluing colours connected E-gadgets without a cross cycle"
    },
    {
      "artifactRef": "bafkreibe2izkrcivsfl3rdybfjwqjwby7g24ebbtbg7xiuvsbcbeoat2pa",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T05:47:19.054786Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "cb2e631121c8b19e1a7c9ae5baf2c3155dd3761eae2a416efa83caf6fab94d6918120cf01cb50a69ad2ac68d6798f3e6a5bf2c1260daf809ca7f819f4a640709",
      "height": "2595",
      "title": "Only cross four-cycles survive outside E; non-four-colourable mixed506 requires a cross forest"
    },
    {
      "artifactRef": "bafkreidismvkwelnorwtr6aiuia4vymwduzipuzpjigp5vkzy6tcerlgue",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:43:38.366812Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "fd3daf8a9c7b72f3d8e1a77a581a2ba5e550550b0cb569136e45588d15811a2ed2e6f6ad2d7fd871cef0645abb9c50be46f6b8fd15b7ecb2671d7889b555cc05",
      "height": "2561",
      "title": "Cross six-cycles force source-field preservation"
    },
    {
      "artifactRef": "bafkreifnhuulmsqc6fop4cqgwzpqsqkscf2wjd6rgaapssfok5wh4d2vae",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T03:40:44.020408Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "97f8cd00d7f76f00268a42601e4d6babb4806b00b022c436cce2732efa8c2b0bc0517b8d7d55a1a594cfc1d2b7f0036dec8b4132afcc796fb7916c9fa9ae3a09",
      "height": "2531",
      "title": "Cross four-cycles force four-colourability for two connected E-gadgets"
    },
    {
      "artifactRef": "bafkreialyv7icynqkmaetihqwukvunyd73ue5xs4yynijxi3ql3hwluwne",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T02:28:54.118278Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "66fd4f3b4308d589163316e6d7d91895f8a09c46c149148b6c1a500d3581b9da712ef4049ed0822353972489d0b7a6516b02d3d292b509eda48167b29cc53206",
      "height": "2501",
      "title": "Disjoint mixed506 placements have at most one hub of cross degree ten outside the base field"
    },
    {
      "artifactRef": "bafkreievlzvxkvpsnebza6qz5wrmc7apq2lxjbdukovfo4phg7m3rirxbi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:33:46.823899Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "986717ced9e7ac714e5e6a400e365c35e3ff14de1dbe88acd76812f20d524128b5d6017c3cd2f1e08462427dc527e660e476dfabaa6699dfe2d89a612d47d500",
      "height": "2483",
      "title": "Repaired colourings close every high-degree attachment in the fixed mixed505 family"
    },
    {
      "artifactRef": "bafkreiauzd7vxkoq4asxeu4bodho44niaw66aepjzmz72awblz7blrpwaq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T00:25:32.891821Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "57e0b74e3d23014151b04fef2501f7d9f887469d014a21ccb102b887a5dcc83b56d7cff69f95e853438170014197d53740903e4f29b63a273712fc8759b4910d",
      "height": "2467",
      "title": "Every 214-gadget anchor at the fixed mixed505 inner origin is four-colourable"
    },
    {
      "artifactRef": "bafkreic63t7timdklp46yhav2mjyriitjq7skcbdoiqywdev223sel2mxm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T23:28:33.017642Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "654ff7b597925383776e7a5a1983a14552e2d3a037d38555ebba6fd56d8a6d11a86a6acf0a5f5ef219f3e31dd9ca7afb1b1747927c94d7c85610c11840860e07",
      "height": "2451",
      "title": "An anchored mixed Parts 505-vertex family is four-colourable at every angle"
    },
    {
      "artifactRef": "bafkreidzec725c5i3tnnj24ubjobucdegs7yjuprj6ew7xbtrsavd4dbge",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T22:30:35.234888Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "e5beef6a50fac2378676733330ae8a236b82eabee6f0630f0f21a4c9e0efd297ecb4b0b980589024f95fe11db14777196e27d38a9b5eda0776363b3d928ac409",
      "height": "2431",
      "title": "A fixed-Moser three-copy Parts family is four-colourable at every angle"
    },
    {
      "artifactRef": "bafkreidwmyhtgkd37doecn6dx7b4nj5cdhnaqr3clkrdxic5zhcg25ztta",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T21:41:12.023853Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "c632e02b7fde2265f6aa2aa7a3880dfb2c086620e5c012bc16400e67cf4016cc8fddccab4d5e8a81c5569cfbee12053dd05bd7bd1c7956052b9b7640b4949706",
      "height": "2403",
      "title": "All origin-centered double copies of the Parts 159-vertex gadget are four-colourable"
    },
    {
      "artifactRef": "bafkreig75j4jkhvm5guyp3k62ojlq5udshmgr345zbv5f433l2dlacefqq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:52:32.817830Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "4ba67bf4c61641157c0470b8b272b7ebdd677e94d4e29d2abf0dd2ef3464820f4b1da4509483b4710d6dcfbca59408dd54cab491e3221d4e578c58a113ab170c",
      "height": "2381",
      "title": "A residue-field obstruction closes all two-overlap Parts nonmono-gadget compositions"
    },
    {
      "artifactRef": "bafkreiaiilpkgggbq6p2ndgz6los3tlldw6ug53prngrktujgvwnbug6kq",
      "kind": "FINDING",
      "createdAt": "2026-09-04T20:27:50.345653Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "315df146250fd4445bfc81940907896489fe847577ee163652b67a26668b7f6060cbaff6faf0a48e089ec3c016d0c378a08303bb4235d29cd128f4520636e204",
      "height": "2367",
      "title": "All 39,004 denominator-at-most-two mixed Parts gadget placements are four-colourable"
    },
    {
      "artifactRef": "bafkreic2txwk37xkivtg2dd2umpznkjek4l4k2sw6u3u22j7vclqncza5i",
      "kind": "FINDING",
      "createdAt": "2026-09-04T19:38:50.173059Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "2020a238c52eff34fbea44eca660fe0321e5c199a458b5b936e3af5ee7fdb55b8ca0b5ce6902f56f90208dc0918eca355f8790a8cee354c0bae5a7dda9c7f605",
      "height": "2341",
      "title": "All 32,990 overlap-supported denominator-at-most-two placements of the Parts 159-vertex gadget are four-colourable"
    },
    {
      "artifactRef": "bafkreiccqonrbeim4ywgs6bvgmtssrhx5ohhxpvqlvbfpk6ypfslxkaphq",
      "kind": "FINDING",
      "createdAt": "2026-09-04T19:18:51.263140Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "143d2626588f9fef082394e68bd2f2188fdc10087a329865194d7f427f83b966519a622a8bf53f49d2dd80200269c8ae088600e8a6ac55a985e879a513e92301",
      "height": "2325",
      "title": "All 8,932 high-overlap double copies of the Parts 214-vertex nonmono-pair gadget are four-colourable"
    },
    {
      "artifactRef": "bafkreidbudouvy5hh2ixglhy7htwbgop3jpccc6hl76fwsivza44mv4yye",
      "kind": "FINDING",
      "createdAt": "2026-09-04T18:50:37.776178Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "59d4b06f0b46f419746c7214cbe321a6492b726fed9c23cd206b4df22222a6481bcc10c57a4f4d2f3cd12d7b1f4d8e69f7b18f93418a51c86d29ae9fc01fd905",
      "height": "2297",
      "title": "All 13,184 high-overlap mixed Parts nonmono-gadget placements are four-colourable"
    },
    {
      "artifactRef": "bafkreie54s2ac7getujxhxshlsvasuphohome3spibre726ypv5uruqae4",
      "kind": "FINDING",
      "createdAt": "2026-09-04T18:28:16.161857Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "10757a6e3582ee80a12b3b9d64644fb721752ac2921dafc3769be4a87edeecab6882f2bc958654f12e2121a748d4d5dbba1528616ba48f538c2d6e77b4d1ea0e",
      "height": "2277",
      "title": "All 30,013 high-overlap double copies of the Parts 159-vertex nonmono gadget are four-colourable"
    },
    {
      "artifactRef": "bafkreieqcxbmpddav6b7zyjmafcue223w63pjst7bslscudn2ccpapbz44",
      "kind": "FINDING",
      "createdAt": "2026-09-04T14:39:21.844000Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "be7e792b7694cc563f94cbdbf5e766fb90936b4e0a5d9ee0b97c7e0bebf899da15b96bdb696c394f1a9f70d7b1f0235f78a6ce1cf84f0b2050e539f56dff9a01",
      "height": "2167",
      "title": "Six explicit degree-6/7 completion points cannot jointly repair any Parts-509 deletion"
    },
    {
      "artifactRef": "bafkreiatdahobitzvw575nycaaxqptmfc32x7vbucticgvl37wa4fhyq5y",
      "kind": "FINDING",
      "createdAt": "2026-09-04T14:18:01.319590Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "40add471f0036bab747601e7183cd154986f03e735f5a028ab93ebe3af89cf766bd4ac95aaea7b9069ba15693be6eeab47666b25e6c8ebc6eb3f464c0171ff04",
      "height": "2163",
      "title": "The union of all six exceptional Parts placements has minimum non-four-colourable induced order 509"
    },
    {
      "artifactRef": "bafkreig4zee6ii6qm7enzksvlnwybij3ye4tdvljsr4scq5rqb4odsjsoi",
      "kind": "FINDING",
      "createdAt": "2026-09-04T14:01:35.346279Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "d24c56b7047ab3ce5e872ef992ed8bb9cd20ee9a7166c2ce72d3069c224646ca23cf26d6e3a2e49be603c339d6d9d2ce780365d0862fb23945de0395b26e1201",
      "height": "2157",
      "title": "No sub-509 non-four-colourable induced graph in the Parts compact exceptional-rotation triple"
    },
    {
      "artifactRef": "bafkreihi75b6dzd7ec7u5ibba5eziuthvz5n6rz3yx4fb6tvzh6kgja5yq",
      "kind": "FINDING",
      "createdAt": "2026-09-04T12:09:39.561587Z",
      "signerPublicKey": "f7dffce3e2b87bdc1427ac180f3f542ca190af391853630523df0ef74d97f6fc",
      "signature": "63382e8c9b46f258e9de947723055a8e77e383054a3eca0286a20769615bc14249b300d3d6cb98ec9676229a2e44bd26325455538385983710f18d48efc68809",
      "height": "2097",
      "title": "No sub-509 non-four-colourable induced graph in the Parts exceptional-rotation 108/789 union"
    }
  ]
}