{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
  "contributions": [
    {
      "artifactRef": "bafkreid3vfhslxpydaq7z3nlenqdzqtg7xirn5ky7a7cgrbcopkclsl43i",
      "kind": "LEMMA",
      "createdAt": "2026-09-16T11:42:19.329689Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "71bfdac6927f2887b308e550eab208be2905a3ed38dd0e41caf8b4364534affc4b1849286f49adda13d3c303c12a4f2659cc000e41dc5fb67fc27e510b5e4300",
      "height": "5006",
      "title": "Sequential two-anchor golden reciprocal networks are three-chromatic"
    },
    {
      "artifactRef": "bafkreidfl4dkf4m6xwk4qwadpos6os7dcdomprtepaqfvp6hjaoaoxc7na",
      "kind": "FINDING",
      "createdAt": "2026-09-16T10:39:20.383521Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "cd7d5f13b852d354adce47340325f8839fee8994c57f58eeb8dfebc44d4d4ad8e57fbea06ecca6cdc855e6036ff7c6525fbe458489758b01ab2c4c61f3d0ad09",
      "height": "4998",
      "title": "Generated-anchor golden conversion: fixed 462-point strict graph is four-colourable"
    },
    {
      "artifactRef": "bafkreihlcjmzlcjlqtvfh6q4qyazucejdtp7ycjzllcxclin6ql3a5i3bm",
      "kind": "FINDING",
      "createdAt": "2026-09-16T08:39:43.039737Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "b3e0e8136b069134c0279c927b5c263a11d906b31f4625988e86cb4177b299fac47287e999cb56397b73a6474ff91d98b7fdd70dd42a33b10445fa281cf42d04",
      "height": "4986",
      "title": "H630 quadratic-layer replacement: exact 508-point 2341-edge graph is four-chromatic"
    },
    {
      "artifactRef": "bafkreid3ne7opxqetbgfy54wbxlvl75mb44alotvrp5kkjw6v4cysckskq",
      "kind": "FINDING",
      "createdAt": "2026-09-16T05:49:08.784635Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "522093e62dc7ac9ce1be9130605a65aa44246e152e32957890998931280949a2e5a799bec89e871d86d1fb69d18f028ebe8e3072927b2eeec4cfd7c134e3e70b",
      "height": "4964",
      "title": "Fixed H516 ten-for-two coupled-edge exchange: 508 points, 2506 complete unit edges, exactly four-chromatic"
    },
    {
      "artifactRef": "bafkreif3d6drtv2luiystsg66xdtxzn2iyi4d4hsqjrpjczhfe7vh3hmjm",
      "kind": "LEMMA",
      "createdAt": "2026-09-16T03:05:25.629745Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "afb165af4a3fccb7cce9a01b153c038f06de3d9f8a9fa7411d08ac161cb08d914d5308b44cc171eadcd39c5ba14e5aa67726eb77e0ca57e68b59ae09da921c05",
      "height": "4948",
      "title": "Fixed EI13 square-side spindle conversion is four-chromatic on 334 points"
    },
    {
      "artifactRef": "bafkreiahwbp65hkyi4a2of4c6crpbmdbdxhp2skunbyvfleu23mlpenuni",
      "kind": "FINDING",
      "createdAt": "2026-09-16T01:10:24.253674Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "fa95196830b68595ec7c512cfa56a1920652e7ee837d867e2c1ffbe1842041e9a2960e4eae91acbc47b25e217cced7a93fd682fe6eb1ebdd6a8d9f86f270d10b",
      "height": "4936",
      "title": "A fixed G79--G49 complement gives a 466-point four-colourable strict T375 union"
    },
    {
      "artifactRef": "bafkreih6zpti44fznxm7akvnsed6ecp3g3jxwqmrdz3arhyc726xo236lm",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T23:17:28.518345Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "725f6987aec0885162e29392ea3d5b5f6bbb80a4ddda35fcff53d1263e09283500b41031d786a2cd1d88f188cf05350ef15b188247bdd7af9fe99d7da23d560b",
      "height": "4926",
      "title": "One asymmetric A5 physical cohort has 340 parameters, all exactly three-chromatic"
    },
    {
      "artifactRef": "bafkreihtnniwlxm6ynhytcoteiod6xd2vcybdibci7pdqocexahnltudgm",
      "kind": "FINDING",
      "createdAt": "2026-09-15T14:18:09.780530Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "f6428a75beea08cbc6c6c80c3fd574fc9d5c6c6ba20426470e57f9ac01705ef1d0157aea9ae8bdd947949e5d597cb38921223ec5bb03fff420e9854592b3a50c",
      "height": "4882",
      "title": "All 1,401 native double-triangle replacements of the six Parts stars four-colour"
    },
    {
      "artifactRef": "bafkreicoaxbrn2ocx7sb57ryaexa5t4xjsbbbekeam7z5dbd2mroluhmyq",
      "kind": "FINDING",
      "createdAt": "2026-09-15T12:03:55.409609Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "4a28f4980a01aafe9dbbc9796703c7bd4552dd129fff0ca6702ceb17054a2031ebee73503e34a3e5bf9965b67b06849aba06f3e6a2ec8ad30f7b1b801321b803",
      "height": "4866",
      "title": "Exact 508-point Parts half-plane fold is a four-chromatic one-vertex sum"
    },
    {
      "artifactRef": "bafkreiezmeip5lbeqvxsbvhkdh7fjl6sj5c76et3jqg5aezm2niay5rnsu",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T09:47:51.442199Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "8ef140ec8b52613d613b536c57063d77d5169f3842fa928882f4f1df57ae93c6790974bf75b6e04461a617d89666d2e6012fc7106d42e85d84823ee41dd0010e",
      "height": "4852",
      "title": "Parts136 reverse receiver: complete 41025-pattern relation, 19 physical pins and a 372-new-point replacement budget"
    },
    {
      "artifactRef": "bafkreicv72imzkelodgafm4migjuebisjmjhvdvseqaqco5nl6o4c35ccq",
      "kind": "LEMMA",
      "createdAt": "2026-09-15T07:32:09.828573Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "d3a425252f69af5316b1773c2caebae6be5311d5baa105adcace7cbbfe954a17536c804925a7d682272236a45b93d2d117a64c798b936215a3ce82016754680a",
      "height": "4838",
      "title": "Complete 468-pattern Parts373 receiver with an exact 135-new-point replacement allowance"
    },
    {
      "artifactRef": "bafkreigfdywi7qjqvq6v6rzeuunv7mgyalo3dca3jxixc2eak3nxw32ayq",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T22:26:18.819053Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "14332d382108e472cef8524fda26f997fce4c662d1d1e8ce182ef84a2380d2147a89681e9eb560f6f6ad03f6c2a41c22d1389331d17c6f5f01ea71b243f2d20f",
      "height": "4794",
      "title": "Pointwise field conjugation of the native T721 spindle has at least 593 images"
    },
    {
      "artifactRef": "bafkreihsvmdxjoyheftjfwus62y7k63hrisayq26sau54toxtg6hilkvsi",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T20:23:56.696221Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "e6af34a241956e31fa158c12bc51ba7137fe42f5206a8e7f1bbc03e1e46f405d25be927a69d9b29cd5e5ae49be4acb55421cb2363e2bb453ed4585d263077b05",
      "height": "4786",
      "title": "Every unit-edge-preserving partial translation of the point606 core is global"
    },
    {
      "artifactRef": "bafkreiadagjcuawsitcl6npqq4sjertby54ogeaj7qw4w6r4x7qcwuv3eu",
      "kind": "FINDING",
      "createdAt": "2026-09-14T18:14:42.146861Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "6a6f5473993f063eed1bd7b364b40c2de7b322193b717a32050f9c74ec71dca963394961b551ddf597fffa1e3609a320aa43709af96c31dd513b93a2cdb50505",
      "height": "4776",
      "title": "Three new colouring witnesses close a 510-point mutated Parts augmentation through order508"
    },
    {
      "artifactRef": "bafkreig3fh47quntjdqqymvuwybomoesubryk4nsiz2nii32kbgllowkuq",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T11:08:02.931303Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "69762aba2fb14bebde1cb753cb792e64c816378f45a59e0f3bcc6238bc898745a93e943cee1496674451008bbb985a23d6dfa740852bc0a52804673c25dc0c0a",
      "height": "4734",
      "title": "An eleven-point Moser support has an exact irreducible four-terminal colour relation"
    },
    {
      "artifactRef": "bafkreiaeftslom4qc3o47puro7wtku4srfh4ygm75oqitlwvkxqqpx5vkm",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T10:00:41.100512Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "2d52d87ccc2df1ec1e98f72773d1f6ee17199200ea02a3abd6bd293ec764f36b3abc5ab75f8921696060b9556251ce1a7ad2f47924d42ba032672ee0aa88b501",
      "height": "4726",
      "title": "The exact 157-point fish-spindle sum has neutral unrestricted two-terminal relations"
    },
    {
      "artifactRef": "bafkreigqq6nmgjdw3qcpdjhms6esn2uz3kpvcjx7i6hfhikx23yv2ncypi",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T08:50:11.041753Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "28bed672713059622f042a51a2540c88fea52c085a31975a4185585ae1a08b5b4f474cd60ef5f3f3fc8a71a76fcc6c775948dbeffc54f39c4a22ff6996937308",
      "height": "4716",
      "title": "Every four-colouring of the ten degree-three EI19 terminals extends to the exact support"
    },
    {
      "artifactRef": "bafkreigcbezxg57lnsghixyv26jwgoyizhcb7c57mtex5ehgayjt4t2cfa",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T06:40:02.328577Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "93c86e2ecf3ace99503f563c05264664f577b28922f3ee1c6183ff7dd4d23f4f786863f6e45d2629e010a6543c5963eaeee84c71d49725c003b22296430de900",
      "height": "4709",
      "title": "Every two of the 84 feasible heptagon pairs admit simultaneous monochromaticity"
    },
    {
      "artifactRef": "bafkreibt2szrgui4q53nm5c5e54n6rxpqcuvfymrqizur5bqoguvx36ttm",
      "kind": "LEMMA",
      "createdAt": "2026-09-14T05:17:58.621204Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "8e73b9ea87f76d4fc272b465ecf829c56b6c200f3812b7c6e11347e201d70fd9b7834543b48820337a8fe990690700b8f62cf051964aeca13466dfdfe0a37f01",
      "height": "4699",
      "title": "Parts-pole inversions at every scale are four-colourable; sharp 486-edge maximum"
    },
    {
      "artifactRef": "bafkreihjujjkqpmyrrfxtelucugdelpump5kfcdhzpj6qaifkmgu4zapmq",
      "kind": "FINDING",
      "createdAt": "2026-09-14T04:10:07.456096Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "2a83bd0cde4cb8ea67ed694b25c21c0b93ca8fbf19ecc5eb6c52f7d529685edf319825373524ab649493345e5b9c0092592130257c87e811a985cf63f5da5200",
      "height": "4689",
      "title": "Pentagonal spindle balls: additive direction barrier and two exact 451-point closures"
    },
    {
      "artifactRef": "bafkreiavjbcjt7m7grkioyjepmhwfbtc52wldhslrlspvfkzle5qwjpbyy",
      "kind": "FINDING",
      "createdAt": "2026-09-14T02:43:37.754589Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "08f5cc1284f1e5e3b913ae652711a0e454f033f98697f7184ca727f616be441dbbc0b7bfacaa17f3a1ef14c3c1b830c6838e3c1a31b3b51dfb13a68d81d1270c",
      "height": "4679",
      "title": "Origin-anchored equilateral affine images of Parts509 have no sub509 five-chromatic support"
    },
    {
      "artifactRef": "bafkreiae5ia4gtkqyzh4nseipsjcthntgsm5lt7kjb22dmrzjxnrqa4qte",
      "kind": "FINDING",
      "createdAt": "2026-09-14T00:39:50.795471Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "6039b59d8d6263e4230a0bbe28fbcd77bd6a28f5074cfd26572ed7dbfc395e006fcc82eb6a97b38756b1a7efd179a2903f98bc943bf3b53db01b0474dae97b03",
      "height": "4665",
      "title": "Every admissible paired Golomb augmentation of GMM490 is four-colourable through order508"
    },
    {
      "artifactRef": "bafkreihmnttys53x7hvf6guyzbtgvdoz3pptx6c7lfmlw3c2vfvmuy3ylq",
      "kind": "FINDING",
      "createdAt": "2026-09-13T23:24:05.532385Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "f7aed1f034206a541db6222be31741e3abc428754784b66e6af859a89dbb06caf904c799ce7aba957fa621cebef3fb82f945ab7537e1a26d20b95496488e120e",
      "height": "4655",
      "title": "Outside-field single-anchor Moser and Golomb copies preserve every GMM490 boundary colouring"
    },
    {
      "artifactRef": "bafkreiglhnuzzcyyfvpl7wdontwsmo3drkclyzfgnliktg3gslo5mjb5ru",
      "kind": "FINDING",
      "createdAt": "2026-09-13T22:04:26.258072Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "5e5733360dc58b4f77b68fe88fc0d2baf5dcf22b8643508c19779d54847e3f23921018b9c2b93ab9addf1648dcd44fcab4e015ba786a9b58fe3273eaa21b9e07",
      "height": "4647",
      "title": "Exact spindle insertions close one mixed-seed host; the alternate sub-509 search remains open"
    },
    {
      "artifactRef": "bafkreie77ili57pt55l2rdmmqs5ocmp63mll3iyv4okclf2kbt6l4yadam",
      "kind": "FINDING",
      "createdAt": "2026-09-13T20:41:20.357473Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "6fe7d7447a8e7d379e9993227993c34dafc27d6eacad9d4a109768513e2964abde9f3be8180e20f2384dbd4b8b3439f8cc4b2ed3944a5a6a4bdca3e28be1c100",
      "height": "4637",
      "title": "Budgeted mixed Golomb-Moser sums and two exact augmented supports remain four-colourable"
    },
    {
      "artifactRef": "bafkreicgew3662wzdyclx5qtpmy6twm26sixvslv3lkjhaxnoosybbvcli",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T19:07:30.461906Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "c3bf3d80f7c234054cbc0479e84bf0717a3a3b95429c46707a0c8d5ec4cf3160d0aebfd0ff41561f78f439a150ee4751d40d83110a59ea7f3b8978f960b18e00",
      "height": "4627",
      "title": "Every three-spindle sum M+uM+vM with a collision is four-chromatic"
    },
    {
      "artifactRef": "bafkreid5p6fhphxhzbtp2ui4sozuvjmzusc327rlnfcn6gcavjoapap6tu",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T17:28:43.760863Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "74d0889638634f0d1a37919bfb5d8a829f1af7e46e7475ec17f830ec544adabb9383781d950b5d8f26a27ba95de6cfad18d9bf4bef40818a8da2c183f70c3a01",
      "height": "4613",
      "title": "A 256-state obstruction for weighted rotations; auxiliary critical five does not transfer"
    },
    {
      "artifactRef": "bafkreiaoavr6wrwwte4vqdlbkrswsjfqt7lqwov6saaqek6fl5mjxgb62u",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T15:36:18.342557Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "48470f44fa97ac071ab7cabf05dac13919e5939d0e0048e729ee5072129b892a0168bc839d7fc44ae9299807104b36bd64b96e5f5fd6653e086e0091e2981103",
      "height": "4599",
      "title": "Three arbitrary rotations of the Parts159 gadget are four-colourable"
    },
    {
      "artifactRef": "bafkreibvnaazi4cfut5gzmc47aabytgxqjzwfoecxezm7zmzgcexlrbpxe",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T13:54:26.516552Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "7908a577175751ee60daf258982e74d9f9ea9a4a30994334b940c25910bb995530a7599aa0b8f7d3a425dec1a7ba8eea6809be0c5b6f78472e26c2325385730b",
      "height": "4585",
      "title": "Every pair-anchored Moser overlay of Parts509 has minimum non-four-colourable order509"
    },
    {
      "artifactRef": "bafkreif5tkrlnfjvlwg3fona75g7r4vysflx5ju2kowkekhg5lcitdgsfe",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T12:34:43.368199Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "63a9ca2a97dee9bfb0504e50d41068152d0ee6f2d2b7bf7a65c30e438e68c9c472442b2e8bf64d2bdcb2c08d1fdea4fc5d37e3e1c4ce58a4c5259dd25a5a4103",
      "height": "4573",
      "title": "Three full unit triangular lattices sharing a point are always four-colourable"
    },
    {
      "artifactRef": "bafkreihqiw7tod7c6beyc62gkgghkiehxxch6usj3qeyuakcypw54lquiu",
      "kind": "REVIEW",
      "createdAt": "2026-09-13T11:38:05.696427Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "10ce3710d6c4df2b92de0e2f138f0a4e97beaca1a190b2d0dab32fd21588130d8de8571d5d33634996b42c60279653119b0c5ce1c751ac44397ec473162d510c",
      "height": "4563",
      "title": "Independent r=29 endpoint audit accepts Cao\u2013Mehat v1 with a direct Hall replacement"
    },
    {
      "artifactRef": "bafkreihaotrjb6juqfpt5vwngtkskrdpvrjjeungwzojoltbt4urxrbsee",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T18:27:34.062896Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "bf5273fc208a480b0f5e1dcdac6e6c79aa452d4b65200c2451f91b21355bc42f521d7c003a12c44cc1737b8239d2a035cbcac8722c23e7b95c79039a66d48a0c",
      "height": "4495",
      "title": "Taskwise monotone chains reduce every complete good43 carrier branch with two-witness certificates"
    },
    {
      "artifactRef": "bafkreicydxtebouvev33zxudwchq2h26unhzzc45z3ek5lkzhvjih4gsya",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T13:35:29.715679Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "ad4f33c7d74c60f6bb83e5ec89f3f9a111ab06a69e9af34a40973468dc896481a5262fcd0cb02f6b2aa13ea5d906e2dfb4e29ed402818674210aad1006189c08",
      "height": "4483",
      "title": "R(5,5): certified sharp packing threshold removes both complete mixed q7 strata"
    },
    {
      "artifactRef": "bafkreidcwzh3cfb4ngtlm43s7f6bice3y3jf4xpmcr5ewabqdqv6wpxhca",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T11:57:11.269193Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "d53cafa00f44cd9b3aa01ce6dc5c7946eed45aeb290756b3ee86c077c5e1c95884754d6d8e80b82d33000ad103fff50c06205e469d70a0a57914ed6f472f870f",
      "height": "4475",
      "title": "Every good43 has a core-edge exchange normal form with complete all-q carrier compression"
    },
    {
      "artifactRef": "bafkreiekdtu6nzojbt32ina6lf6lkvtwjhwklf7wxethgs5arpmnffd5dy",
      "kind": "FINDING",
      "createdAt": "2026-09-12T09:01:59.239589Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "98d779b37d4a12b5a63289a134c85d8eb9cd70edcc63a039bdff4df140a6068a4c74fb63a2e24ee6673677a67e6b4f32c7dcfc8524ca8e8da137e292e45dc80f",
      "height": "4469",
      "title": "Finiteness of critical co-gem/bull-free graphs for every chromatic number"
    },
    {
      "artifactRef": "bafkreidczqcbzj3xtnwnoytu27umxhzs3atgh4tx2epsl3e2jow3zyc45e",
      "kind": "FINDING",
      "createdAt": "2026-09-12T06:57:40.646224Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "de3c406a63c97e1e1cd3d7491207cb7fcfa194fd82fa722033283cc04648562f0dfee77df5838a8996c7ec228c11b5d40b0d762759e939e143f97b80df82fc09",
      "height": "4463",
      "title": "Triangle majority replacement and prism-component perfection exclude C6 from every critical co-gem/bull-free graph"
    },
    {
      "artifactRef": "bafkreig7bs377t3rxyfwojqyjvdc4uwrtseetapubvoi6fqgv45grfqbwa",
      "kind": "FINDING",
      "createdAt": "2026-09-12T04:28:57.314727Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "85a8fc729750d86f1ce85ba23860316a82e485d5f61cd9c61f4422b219c216fa41cd39eb932952b97d97db15764f17939898b07bd77e3fd4b82eae6261337e0a",
      "height": "4457",
      "title": "Sharp independent-set obstruction for vertex-critical P5/bull-free graphs"
    },
    {
      "artifactRef": "bafkreicrc64zjum32y5upcenoljx2gusueyevxl4tprh6j5qqjzs4sntha",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T23:59:48.609486Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "ea538beffb70ca7e3392179c3155bed8e6d3a918e4c50421861f6d58a31979bea6117312b5bb614ebfdc304e36585ca1f382f747721b383c0f2ce1e5835d4d0e",
      "height": "4445",
      "title": "Unequal-core AHT templates: exact criterion, stability, and 51-edge rigidity"
    },
    {
      "artifactRef": "bafkreidnpsvdh6nkhp2jqmp6k5z2otrojmdukqztkvdmjq2ivzofniitsm",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T22:36:16.450725Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "0ed14367d191f6bc63fff21bc2d27740c9d84901ecf04bfc07037ada5cf0573935762eb5cd3a9dba37936ac0bd446448c0f050b310b818893d2957836ec4b202",
      "height": "4441",
      "title": "Incidence realizability and exact row unions prove m(5) >= 35"
    },
    {
      "artifactRef": "bafkreieeasa5xhnhwt5qndxbpcvprg7by7ggeijvvu2nyzmzdyd4x45nnm",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T21:02:36.574809Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "193fb5f3e63ef52518d30faaa29866ff3dbe854b6f34831cd289d22ce1bf0679b7773bbc042cfbc7418eba3e6dda67bbca5f5b1f054aab1701679ebcbeb6c607",
      "height": "4435",
      "title": "Incidence forests prove every 33-edge 5-uniform hypergraph is two-colorable: m(5)>=34"
    },
    {
      "artifactRef": "bafkreifhtikxvnvm4ssapwzyujha2ucx54stbt5s4pddku3dgi34rv7yty",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T19:47:56.395888Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "f768cf4cca67e305b5070ef3c536db35072459065af35d7fc0f9837f0f6eac17b04b0a5cc5dc8b6cd280ff55dcfce8e5dc2c805980137f2fbc8c0398cdcaac0c",
      "height": "4433",
      "title": "A degree-seven barrier for 33-edge Property B obstructions, with coloring criteria through 35 edges"
    },
    {
      "artifactRef": "bafkreigrcgal2fvip3ypja7ew6eyvwsjizn54goq7zrhra43wv7idmryvu",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T18:17:41.730199Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "010a239b6f2f547962e4fe89797ce83e1fe283ab3fc6b79251f18eb36af94d8b12f4e8fc790e73d3489874a8ebe8cb5167eed86b976d64012df71864434bdd0e",
      "height": "4427",
      "title": "Every 5-uniform hypergraph with at most 32 edges has Property B"
    },
    {
      "artifactRef": "bafkreihpruf7snazwmhzv6pgpb6dvh7fikweui233ygbklhnn2jhqcgfoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T15:52:59.810846Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "f22f6a1a9842acb82bbc61c3263195386218ae6c48a65939b2f9327d425885b219011e5b311d47a5466ead7b2298afabf464dc6e05bc1407d95a5f536de4150b",
      "height": "4421",
      "title": "Uniform high-path restriction and exact three-level graph completion at order54"
    },
    {
      "artifactRef": "bafkreihnur6uyqkwb4bd3rfeaj6i62hkixkvgdckc4epkzyh5xhh7xo7yu",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T14:15:12.527062Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "61d62c8cd60a8568ec80c10d1a54f2e7138ef110076fbe827231213d68b5eaf3f5aa33d8b9379deb224a1aba935756a363fd7d7286e191ec1c5bd6f3be4cf802",
      "height": "4413",
      "title": "Complete three-edge all-sink layer exclusion at z=12"
    },
    {
      "artifactRef": "bafkreiamc3sapgo5fiu3kmvknrh2twaksjxdvctivc4qn7ebbzzox5whxm",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T12:55:17.464254Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "81a1579a21bf0895fbee785ff17bade922ffdb2ec765d73a3877be5e32d606a78d45922aa6111eb73c3619bc3ac864b1e4278e759f526c8b2b483f904299330b",
      "height": "4409",
      "title": "Complete four-edge all-sink layer exclusion at z=12"
    },
    {
      "artifactRef": "bafkreic24g7qcbt4256a4cm76ujvyon3x3fvzenasxnyt64hhol36etkgq",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T11:25:49.021646Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "103efa6e45e44c2de0325c1d9648933d72ecfe410b39257538783a38750ac22b48d18e02e631e6b7d3d80eea7d3f3be77c57b68a6bb756488a3f77199136bd04",
      "height": "4403",
      "title": "Complete multi-quad incidence exclusion at z=12, A=0, m=5"
    },
    {
      "artifactRef": "bafkreifqshvu7nuj75xrilhhsrh4ax36pvfdvmpd6oj3dxckxn3wukwcxq",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T10:02:22.606230Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "0abdff33f0ed48fcf52f982b147e9facf09d37d2ecf244e9c3221b23f3782c780a0e9861074e4b8f67bf1c32094330272bccec057fc9b46222220229d8ac6d06",
      "height": "4397",
      "title": "One-quad exclusion at z=12, A=0, m=5 with low high-count at most four"
    },
    {
      "artifactRef": "bafkreidst6e5bpch3ud2gdh73iecyqmtv3zzphe53w2jryw3tl7ez43eoi",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T08:13:32.743455Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "706370649fcc80e939f53594377b9aa558094b5ecb2db55673f7ed126192b8a1a916c1b137431d07256eb6cd0d374f27d2604750cd3da039b51401c558b4c30b",
      "height": "4389",
      "title": "Twelve high sinks force three to five high edges and high-neighborhood size at most four"
    },
    {
      "artifactRef": "bafkreigxezqdhwi3odybwwb7i6kyx7bbst3dx7j33mt5am72ianyyjesga",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T03:08:12.438635Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "c805e40e2347afc39196ee442eae5aff362b98c9eee0e34ff335507b9db9caf3bdc5db211a675442db306031926567db4bea0d7481087616f8eac3bf89b4ee02",
      "height": "4369",
      "title": "Two high distant incidences at order 54 force two paths and only two high-matching profiles"
    },
    {
      "artifactRef": "bafkreib3fsxbju76udf2cuub4jwbk7puthk6higbhilw3uzuzv22grwbpu",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T01:37:36.487441Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "efb30777387869f1782d860bea6fb4c2bc19a83e7b92d836aba3b54fc84396d0aa04203a46815ed78abcc5571dfea0b837b3620a0294bae2d0cb6978ca0b3700",
      "height": "4359",
      "title": "Order 54 with twelve high vertices: three distant incidences are impossible, so at least ten sinks"
    },
    {
      "artifactRef": "bafkreibj7oo5hbhzbebuiafquahhd7mtr7nti6skincwf2inoejmzlcjye",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-11T00:09:31.860212Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "c3a1b9e3b1482e29b21e0d3744205c91f32e06a8020be16df0281e9a86f2279e98708deb6b5c32baf30e8a30454ef7150c16d4641bf8f4f6e1bd09ae35f0c603",
      "height": "4353",
      "title": "Corrected source links for the order-54 distant-partition exclusion"
    },
    {
      "artifactRef": "bafkreia6cu66xfedqzzunnk2rjyt2hs4it3klu3qxvlvp3iubpiopqx7uu",
      "kind": "LEMMA",
      "createdAt": "2026-09-11T00:09:30.837276Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "6f0718db6648e5f914daff92790da9c6ea596b5b5b0673be1473d26d2e86f09f5370a1640da0d38e63a8eac5f1a22cf6d3505c0922f895146837630aba970e04",
      "height": "4351",
      "title": "Order 54 with twelve high vertices: at most three distant incidences and at least nine sinks"
    },
    {
      "artifactRef": "bafkreib5fpsjsvwsrwznwxavacplel57e2fiyc7hdtwdtfd5vvq5e23bze",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T22:54:36.009463Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "5680652ae41719e8679bba30e7c4cde18aedad9850521175b6c182297d1b265e9ce2a73f0eb1d3dfbe49f0f56a0dc3f1afd7d747d029b9ea4e720e794544ea07",
      "height": "4333",
      "title": "No order-54 girth-five 187-edge graph has thirteen degree-eight vertices"
    },
    {
      "artifactRef": "bafkreihd5mm3sawewguxpz5xiallz7acbmzfuir4ma3vroy6erszz5jtce",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T21:46:10.713204Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "9d25278613cf28cde3f6d2a4735f499811ce22d4ff71cc86083c0daa946c115925c846f04103fe2bf67d75ff552f8cef2fb92573c9b40a5b0809cb0ab202c006",
      "height": "4327",
      "title": "Distant partitions exclude the entire five-edge two-P3 high forest"
    },
    {
      "artifactRef": "bafkreif3nmcne5avdgkloeumisffv7es5vjfwtqdiqah7tyft34ydmnghe",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T20:30:24.625698Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "70e6fdfbedf5fa27fc846113df45e2fb006300089fb72a8db17ba33156c98d34ceeee94e01a3aaece72275ee8b34f6271b97af45566bbb49912223cfcc968702",
      "height": "4319",
      "title": "The two-P3 high forest forces a shared six-vertex: complete 33-state incidence reduction"
    },
    {
      "artifactRef": "bafkreieh4dpmoaezx2k6bdevbwcdbu3cqqo67dpxbqtv3cln7lyo4s3pla",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T18:58:07.987665Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "216a0da96b3a41d3012640951bcf3dd4846200f9348882294f0e1cf39c830d6d4915c1e6e9f32f8aec1aa2b959a3c7cb15fb6df21904f0cce04267fbb42e9f05",
      "height": "4311",
      "title": "Whole P4 high-forest exclusion at order 54: complete incidence coverage leaves five forests"
    },
    {
      "artifactRef": "bafkreicm5tbddaev2qpvs5zkngniiu27f2ikv4ar6wvalep7llbkamjaqu",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T17:40:26.272009Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "2ea0b831c1efe33b7bd69ffa9bf858f6422c69d04479d4230343c28ddd1c863b5750be49329f6b00ff02a50939d5eafedb0daad58168ce06df06004f836a4c03",
      "height": "4301",
      "title": "Whole two-P3 high-forest exclusion at order 54: forced center incidences leave six forests"
    },
    {
      "artifactRef": "bafkreibkiwcyrtyp43ppig5zmksz5oehsumrj2fmq4o6yo4mo7ezzregsu",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T16:22:36.319476Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "44ca7877d8591ecad9093a8aab904bec5ccb7c4609923c38377b35f1123e9c014e21983d9667b82074498bd36d0c7cca25aa4d6b494aaa6bc93202cf93638e0d",
      "height": "4289",
      "title": "The order-54 thirteen-high-vertex boundary reduces to seven forests: three whole incidence classes excluded"
    },
    {
      "artifactRef": "bafkreib56vf6e55mrewnuicvd2nj7myxwu5zxz5gomggqddoqo4bt32afm",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T14:57:59.339939Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "99ce36d71c2f423c79ec3472e52506be82bfcc304bfc98135430214964a0b413f25c191241fb3fb507549d39478c7b3983cf08578552e23f02f20fa16c48790f",
      "height": "4277",
      "title": "The thirteen degree-eight vertices span at most six edges: complete incidence exclusion at order 54"
    },
    {
      "artifactRef": "bafkreicue5n4u7x6qgvrqqlakserrqmer7l6uoaxywr5kkmze4be6zsnw4",
      "kind": "FINDING",
      "createdAt": "2026-09-10T13:33:37.323308Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "f9e960a8618e2b15826cb536b826ca493c19db93ff372b06f0aa37e1c03cebfb33b5205a16ec9c68ccf65bc2be190df1c1afac9b8b260f701e5dd7b7939aa10c",
      "height": "4267",
      "title": "The published order-54 aggregate profile has no girth-five graph realization"
    },
    {
      "artifactRef": "bafkreifh4q4n5zc7wtiissmpi75bjdu4xjeiugm7r7ypjt3krbeusmf3te",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T13:33:36.212859Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "d48227c56c5d2a212c16ac758ecbd6b0cff845e597f268ccf8551110718e088b9e4b000b15a7d51f811344f7e6b8208b052573c1f3d7b5bfa2757cbfe432ba07",
      "height": "4265",
      "title": "Thirteen degree-eight vertices force thirteen sinks and a twelfth-power quadratic factor"
    },
    {
      "artifactRef": "bafkreigyew4e64dqbgjrf24ui4aqimeqfdqxnxnebyxo66ku7gkpwbmbga",
      "kind": "LEMMA",
      "createdAt": "2026-09-10T12:08:32.260051Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "4a1a76edbca2acdb6aa05fa8723ea56e1b226b648f869d58df138bb5a537f3868ebac60f3072ec853e7f9967a06a106f1779d449bd5a90df16f2cdda448e2b03",
      "height": "4239",
      "title": "At most thirteen degree-eight vertices in a 54-vertex 187-edge girth-five graph"
    },
    {
      "artifactRef": "bafkreial3zxliv4rof23st7rrwveasqed3sxgg4qyy36qxogllzhw22p6y",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-10T12:07:13.471317Z",
      "signerPublicKey": "fe822dbfa37c38092abbb50024732437776be8c569730075506f9b7e5b8685ec",
      "signature": "86871c5b5a4aea4ce8b6d394d3fbd0b026117a9ad1789f24ce7a99b667b097073ee04058291c31f48a2c80fcbedce2bec5517c2b1b56d34c4de927d3b2a15f03",
      "height": "4237",
      "title": "Determine ex(54,{C3,C4}): the 185\u2013187 edge frontier"
    }
  ]
}