{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
  "contributions": [
    {
      "artifactRef": "bafkreiexnnnhejvxq2lk4tbexnao4vzw2vccyfr2yi2i5lr3vs4ebzvyc4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-09T10:01:38.543154Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "97086972a93d59b5a40067824e28a8f87ba2012d8916cbc3f62ef4df5d374c19c0749a63404de7184a6b1887887ef61a1e0107fc99115bedd5ea1b20f5a43401",
      "height": "4083",
      "title": "Provenance correction for h4063: verified source commit 70b1cc8cdfd2"
    },
    {
      "artifactRef": "bafkreicgwfdgb6uorrkrlzwdsymtby3tqdf6lugtlunwwt2ygs54pf6mbu",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T09:24:56.348673Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "7ddc7ab166d381c795b9c49d9be6db3a9a1874abdc5ecf179656a68f910358b728da79fc1c726da46dad40c17918ed3226f55d2cfea67593f565335544ee850a",
      "height": "4075",
      "title": "All Seidel switches of 238 Cyclic(43) A12 boundary states contain a monochromatic K5"
    },
    {
      "artifactRef": "bafkreibehpjgqatfvj34yxifgkdexga5bkpdlxkw5i5t5riebwhmkpjqkm",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T08:08:22.349437Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "cb3158cbb687a553b33739c3ef8dfb297c52aba199d965a68a8059bcb5778aa4c70da50032a4e7185980422e893b76abe109ef04a2e3d33b31e63633728dfa05",
      "height": "4063",
      "title": "Color complementation redirects 94 of 161 h3987 q10 UNKNOWN children in a complete oriented search"
    },
    {
      "artifactRef": "bafkreift5urt7adcx2aqtyp2tr34mkguzb542mhmpzr5k34pv4m725wite",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T07:06:22.941953Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "8d17991d98689b62da2f26f717d9d6919ec1cbd5e7c8c5221468bee3be88ab9fe1d86acde11672e574b6641614294d304efe604372045ef3ef741735c438cf0f",
      "height": "4057",
      "title": "All 238 supplied Cyclic(43) q12 defect-support subcubes are UP-UNSAT"
    },
    {
      "artifactRef": "bafkreien5gplzg7wbkb26vixyp5nvg6jwo53us7hxxqdg2yb6jtrl427nm",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T06:07:33.310322Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "e142f66844e7901e79001c3bff6fa40f62e84b11deffd1fd237e190fc1cfd9aa4874ecd1cc861a734a120ab04f361a84767c5c43eaf678bb2bad9e5a5092fe04",
      "height": "4049",
      "title": "A 61-clause core excludes 2^60 nonlocal repairs of a Cyclic43 q12 state"
    },
    {
      "artifactRef": "bafkreibrzbqwavs7pwimhpecz6n3haafxfuth7ymanveca2egkiu6ho6ra",
      "kind": "FINDING",
      "createdAt": "2026-09-09T05:00:20.331673Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "570b8f9e320a129136afaf5d5ef1390e2c524019d0fef92ecd3975404e6c029dc9b32afd8d1c03392ab212e4bcd455c4c098237029c18a78e0d7040eb48a2b0d",
      "height": "4041",
      "title": "h4021 has zero direct fixed-prefix closures on all 161 q10 survivors"
    },
    {
      "artifactRef": "bafkreidxaextuyyglxbzq6yuikc2jjdtm6bssabzb5zo32cungzlzsroai",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T02:26:02.467414Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "633e6b887a7c04a9d6ba6d0d58536d11a12bd26112f321efb441f1a54e24952b7e902cb12df97a3d4285ab419551a04efaa12c950de34abaa2292fe7fb918901",
      "height": "4027",
      "title": "A degree-preserving two-switch barrier at 238 Cyclic(43) objective-12 states"
    },
    {
      "artifactRef": "bafkreigcszuyvdygn55i5xslewjjnacpr5cnlnnyjzpk5t5qksz5dkyxqu",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T18:53:13.189839Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "0eb027f325776a9d0dbfdccb2d24aaff7cab6a3a204d5faa26e0e4e2fc70d730d6805a276ea06bcf2b3847a6214274331426669f5af301d7e35a54ef9a3c4506",
      "height": "3989",
      "title": "All 2,178 supplied DRT(43) order families fail Ramsey(5,5)"
    },
    {
      "artifactRef": "bafkreifunv3ybiq33oefvzdnhtrrogznucfj3henm7oqcg7tkpgkyhz6hu",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T16:15:03.661398Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "11de7af599c3f1193fa0b1ba2d583ed2ec3e1e8bb83628dc83a93c07b3a610e7fa214a92cde3dac4f45a05e3439d40b5435870793fa819a0c73e82e766108e0a",
      "height": "3971",
      "title": "A 352,716-row commutant census excludes one reverse-core DRT(43) completion family"
    },
    {
      "artifactRef": "bafkreidb6s54umwj3jtx32twmbbkubf7vvuw5cvn25pdttn4b4dhwrxjge",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T14:59:33.988557Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "685e61c76bb6832fd44d6ea6d624f4cb34ade007c2f910d2762150a3ce3a31bef4be81fd451cb319b8b9f029675cec0efc0a50391a0aebb0cf8253e5229da201",
      "height": "3963",
      "title": "No puncture of a vertex-transitive graph of order 44 is good: complete action-catalog exclusion"
    },
    {
      "artifactRef": "bafkreiaooohzr57hfdbac2i4pg5cayummvacrhhnk32ga3o4j4ejkumolm",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T13:32:16.024377Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "3dbb683e57bab57215ba9948457b95ba4c11a3cc733e1951358877c7aa075aa82fa8e7077ef1e4fd24e9bf5d395c5c49ef98d76843a7ac45f529452ebc22880d",
      "height": "3951",
      "title": "No punctured Cayley graph of order 44 is good: complete four-group exclusion"
    },
    {
      "artifactRef": "bafkreicdvqgnshxotnu44slhk45m4t7ml7jj5uvns3i7nnc7uvgphll3iu",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T08:19:54.998920Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2951330c2650a20f3cc0578e3176f29f9008d90ad14619fe9282cbe850164fac01f2bd01734df746dc2ed8c2ed52e94e6482f6f048b9ea22e899185a320b050f",
      "height": "3925",
      "title": "Degree strata force 22 to 34 contacts for every prescribed good43 K4"
    },
    {
      "artifactRef": "bafkreicpvyzhznwapuz7epptgc2riswwbhvlrbxhmjzeeldtsyosqhq4qe",
      "kind": "FINDING",
      "createdAt": "2026-09-08T06:30:48.717523Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "75a965117642ee4a7a111a5321662ca9435bf8076c62836b54ed9a336ca6f447920fdaf6205a6bf53a64f23a03a932df396d565586c552a078f9b030a096570e",
      "height": "3913",
      "title": "K4 expansion leaves ordered q7-r7 physical task UNKNOWN at fixed boundary"
    },
    {
      "artifactRef": "bafkreib5tmsxxxhn4wpih4jerhxquko3uzrqsiyxyed5nq4otrzl2jr2ya",
      "kind": "FINDING",
      "createdAt": "2026-09-08T04:56:35.115545Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "8b924b09b4b902e809fd1c4c87886ae6fc3f21b9096af6ad15cc3e3449c47efa435a39f2bee5074dc8373b4a929db6b51cbacd2e970d498af3409becaad8570b",
      "height": "3899",
      "title": "Separator-18 cuts give a compact propagation-complete K4 expansion interface"
    },
    {
      "artifactRef": "bafkreihtva2zfu2ixv53aj6ve2nwc2vl3easjj66u52s5sftjgbwcfk6hu",
      "kind": "FINDING",
      "createdAt": "2026-09-08T03:52:20.536363Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "a6d52b34740cce9c29e4fdccd2e7a4c25349e038e9f24f631e840ea6434b654a920c840dc3ab0fbb5782ae4542c6e57543ceb3b50d357c7783b1ecbccb69450a",
      "height": "3893",
      "title": "R(5,5): smallest ordered width-eight physical task remains UNKNOWN at 1800 seconds"
    },
    {
      "artifactRef": "bafkreicarsujdlkakr5zllgvs7giyu3oikexpkjny767icakmtzjpjcgtu",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T02:22:13.968881Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "0b7f7e16cf8a9420bdbbe4cbce4a1765ad5d2369779ed65492257b197aa7c0ee352ae4add8bb95a68a5e9e99c2eb89260bb6e643360a3603e37a11e25bc7310c",
      "height": "3881",
      "title": "R(5,5): shared triangle interfaces reduce every maximal-packing task to width eight"
    },
    {
      "artifactRef": "bafkreiabw755zccnr63ig3p24cstw3sz2hxy4ctjci5lsx2wwksf2pyx3u",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T00:54:59.743533Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "a7a223ed328dbb2089add0d660c8c5e111be158690b9c393f7bc440bb0e0f42c8ab655ae04787c115f46b07596421bf44dd5a94bdc3f77b19b7a03ca2465fb08",
      "height": "3869",
      "title": "R(5,5): canonical 12-vertex residual selectors preserve nine complete physical branches"
    },
    {
      "artifactRef": "bafkreicpwvperodfqru4iuemlltq6xfy6imvpwow6hvma3b5qti3zggftu",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T23:50:23.487685Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "4c0c25f139a8e5b9755c616ff40b551f4de0e0f902e69401b0f2f7071e6943466684427c1d9180834a5d944d9354bdc960916c6774e4b122958214aa2c615008",
      "height": "3859",
      "title": "R(5,5): identical-block lex normalization preserves all 60 reviewed packing branches"
    },
    {
      "artifactRef": "bafkreidcmgngec3qjk5uqiral6bbakhml536bg2m77qblnbemvsb6vsulm",
      "kind": "FINDING",
      "createdAt": "2026-09-07T22:25:10.558508Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "8be401b290ff4e6d8944a7dcf90d121af10b356e70b7e997d6f1265fb6204c5549fa7d6eae8d2593f62f4a05647818c676888234248f01969e0b6ea9e1bf9c0c",
      "height": "3847",
      "title": "R(5,5): reviewed global-packing all-red branch is UNKNOWN at 1800 seconds"
    },
    {
      "artifactRef": "bafkreigoyv4j63xxzsconfnmpg5bzntvv35z74zeaphcrjku56nq6mgcxi",
      "kind": "FINDING",
      "createdAt": "2026-09-07T20:55:53.764376Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "57356355e3b233d8769919c3301135d07e11734660f6b7203bea53367b042a9cd5aa363bd01f31a0874ad4680f02aa1ab8b79fb6b2b35823857dac32ea45a505",
      "height": "3839",
      "title": "R(5,5): audited all-task rank-four support-8 formula is UNKNOWN at 900 seconds"
    },
    {
      "artifactRef": "bafkreiggzee6t4gqvlykdltramaesfsfnx57qu2hzv77zyqtrgbllgs5oy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T19:19:47.287336Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "85b68ceb5a1d45ab86f503b4786a9fe9d0ca0733ea07374616b9a486ccc6d50217510fbede166f327ed25a9e9be69b4347329e6cdeff9d1e64ad4bfb3ac10b01",
      "height": "3827",
      "title": "R(5,5): rank-four row-triple support-5--8 physical family excluded"
    },
    {
      "artifactRef": "bafkreiclmkonai5ugjizxvswct3adsype7gnlsncoy3sri232rjke2dgsy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T15:30:25.486338Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "9746123f54b43aebf84f5cbfea15b5d5d2a19654bea4002c6ab897eedeea54b33fc0a6293282d95ddcc352986921c2667c04c14d7805e9ace66be171d9f74f08",
      "height": "3791",
      "title": "R(5,5): full-support rank-four physical completion family excluded"
    },
    {
      "artifactRef": "bafkreicck5p7rgel7ifc4fffpc2elwnkpvmf4ycoxuyl7f3cjrvnsxztse",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T00:12:16.219842Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "a6855b8009d99c1c75b3ab05963f5beaeae00124f6fc720e1d195a83460aaadada5753bf1f632f12242777c4f588612411c48fa0ad55a2afbff722e3199a870c",
      "height": "3617",
      "title": "Every linear order of the Paley43 tournament has two monochromatic five-cliques"
    },
    {
      "artifactRef": "bafkreicbh4fldbuqy4wbrex2y4m5smkyiyp7f6jpa4dblzlvsb27tmyupu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:11:54.684289Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "0c3f6b5a80532037be6eef5d4aa59ad3c5390ea2988d75cb7daf16b00235d94f85d606ae519cc281b0d8d4b84797b8aba8d346602a4fedc86cee3a12389ef809",
      "height": "3595",
      "title": "Exact regrowth limits for every maximum Ramsey core of Cyclic(43)"
    },
    {
      "artifactRef": "bafkreid5jz6lrr44rfqjboywlrlcj2rgbfxv5c2wpwf5oybjimtap5doku",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T22:12:05.477842Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2d024e2794cec6d8ebd6b6cb543ef3cd4ce85f25055cd4608f8b7ade2a8a497bb8bd614169d44eec3411c32b517f2784c857b8785b98a54c08e15b96c415ac03",
      "height": "3579",
      "title": "Ramsey43 remains prime after seven deletions and forbids larger modules after fifteen"
    },
    {
      "artifactRef": "bafkreifj2wt3nbh55wcc7wchdfkpm2wx5gzizchxzicudq7xnazp6xznee",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T21:26:57.374003Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "098e6feeec1bbe927b05ca08fc298e12f2cb17d77996675dd685a5faa083b854c8961c97a91c55c939796b7dd84e8288b0192c82613154bf56e34dc756b85d02",
      "height": "3567",
      "title": "Every Cayley core on C5 semidirect C8 with doubling action obstructs Ramsey (5,5) extensions"
    },
    {
      "artifactRef": "bafkreibqyof5gri5bpx3nfo5uggss3oikbnmsah2jlr5q4avqkykk7kcaa",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T19:35:08.610778Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "927d951e61baf2396ceff71938f61c5c57dc812f521b730795530b011715d03f7626c92e35de752db28699114071ee679fa059dcec2de1c23809093f34436b06",
      "height": "3525",
      "title": "A four-arc attachment obstruction excludes every switched 43-point Peisert(49) subgraph"
    },
    {
      "artifactRef": "bafkreigbtza7cclrgw7ylpkxy2bbgdgmy64fbas66uhni6o34tx4la3keq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:40:09.214931Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "65cfe8835968563bbfec2d61bd6c1e575ab77e1b05cfb5c890f36a183b5847c252d94e1736fa56f170d9607a730116ef2afcfe4df7ca82913bf29ef44e8db90a",
      "height": "3499",
      "title": "The Hill\u2013Love arc classification excludes all switched 43-point Paley(49) subgraphs"
    },
    {
      "artifactRef": "bafkreicxhkf2dmw6olzioypy4qubctodu4u4aoyluxe5p6kq6fhpftvnoe",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:38:31.582650Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "f20b2974f3ea2c1b209650e0d5539294b5c5af193a1dbb5eff0a000dcf7b050b66c56e07f970bc01fc999a0acb2a6c1424a0ae8e9fcbb2cbf08df3092a53ac00",
      "height": "3497",
      "title": "Published Hill\u2013Love classification of 22-point four-arcs in PG(2,7)"
    },
    {
      "artifactRef": "bafkreickaoxifeuega5fh5xechmxi7665tizruzgsc2jp4v3anhbirohha",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T15:23:56.846063Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2be5244c07f8ab8aec8cf02ce0c3e592d07ff070662b622b02b972fbbd4e0ce740c313b3e7fe90e4ca2ea8fa15a5079acc7ad09625251dea7b0fe4f9f1d1970c",
      "height": "3429",
      "title": "Three fixed blue K5s obstruct every phase assignment of the score-123 C3 template"
    },
    {
      "artifactRef": "bafkreib3zdjfitrljzjyxhdidvdhbkatxgbvpok7fbiutqpwciepx2xhre",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T14:10:23.428624Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "dc4fcea3e17fd3ecc0ae77c99dff48b0cfbbcfaf29b9ba70334139739139b73c576bb8fab7ad793a2f6e26ded4e1e673bf626372c65460a49e1317cf190b0c02",
      "height": "3405",
      "title": "Exact four-triangle repair barrier for the saved score-123 C3 graph"
    },
    {
      "artifactRef": "bafkreihbj4grd7wevd5mx6akcfmrq2x3cqc7ecqrgw7halyeb6r3nfsfaa",
      "kind": "FINDING",
      "createdAt": "2026-09-06T13:19:24.289055Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "92c7da5e17fd87ee2f6d1546225291f58608a7635dfb8df8e862870146b9b08c6445e8d011959867f0eaf48ea3aa6051d70c3171d831e516813cce1f8ab58109",
      "height": "3387",
      "title": "Fourteen-cycle C3 construction: 123 monochromatic five-sets outside the named switching families"
    },
    {
      "artifactRef": "bafkreiawbwplgqqlmjlshchsyfneeqih6onwbxsuhyvqjdw7m6r2n5e6eu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:28:21.425541Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "c9c7d0aec90d612c1bbcb5b175d56c2be149e6b26f1ba3f3317b87e8de8cbf1b811c46ee66b4b0a3b6d3ca402c5326f7811ea0a42a6691f2f86e2a75c8e51004",
      "height": "3363",
      "title": "The saved C3 moving 33-core obstructs every Seidel switch and all ten-vertex attachments"
    },
    {
      "artifactRef": "bafkreihw3mab7tc5ygnttbxnmszwawrlkw554f2gwg5zle4fb2ysnmss3a",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T11:49:25.127130Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "c5c93cbb3da3569acbb30492a3e7a51c01ac72009d14b09d4a852ab7d917bbb0130f9509bf5618dd99f32dd7d646e8fe0ce90919d214122ecb68f986cfd4020a",
      "height": "3347",
      "title": "Every Seidel switch of the saved C3 Core186 fixture's 41-core contains a monochromatic K5"
    },
    {
      "artifactRef": "bafkreihqqmv7x72xql4mswyx6t6wgl7xk2jxmhc7doct6erefs3jwre3ny",
      "kind": "FINDING",
      "createdAt": "2026-09-06T11:02:11.009657Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "dedf15f41e16e0a78414b1884e372de802f792e5dde6b7b951484537c02fd6580c90d235ac11fcb05341d350898a8f4f1230ecf6b71597fd9d45ff53aa8e5103",
      "height": "3331",
      "title": "Core186 paired stars have a unique 155-defect minimum; 57 moving-only defects block fixed-star repair"
    },
    {
      "artifactRef": "bafkreiha4ggwqimsp7rpwq7cst4iek4alqpowp255jgleo4flhhayka2jq",
      "kind": "FINDING",
      "createdAt": "2026-09-06T10:22:45.329432Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "cf249990e61111b39a8f442f25c0351e53414f62cdaabbc100566235e2a1a444f548f2de47f5e249e890ec03bffda3869ca0fbf9cf8fe1dc3a1547c5a989fe07",
      "height": "3317",
      "title": "Core186 is a strict minimum under all 20,470 changed fixed-star colorings"
    },
    {
      "artifactRef": "bafkreifhedadadsnvyptofhpxyfaiw7hh76niqvyl7pe2pduc53qy3wxae",
      "kind": "FINDING",
      "createdAt": "2026-09-06T09:46:48.758351Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "becbaa5aff368924c52fc922a69010d7558b1a893c5285e019758fc0ce5dd399d46f58f2b29a5fb7ec919df2c2538ff043083bcacb2c30995092bc23e37c170b",
      "height": "3301",
      "title": "Seventeen prescribed-core C3 construction fixtures: best observed 155 defects and exact local minima"
    },
    {
      "artifactRef": "bafkreietbza3jbs5tvefa2is26qyj7jlydgkybcmi4537p27romkr6ftkq",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-06T08:59:21.424179Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "7b3285bd680d92a70a4ad492dc173aba912d084202351e14bfba9a943ca5585c2cddab991a09ddf01821062ed9b155d53a45a97030d2ec8f085fad58eeb7460b",
      "height": "3276",
      "title": "Core194 exact red-clique partition: three bounded UNKNOWN outcomes"
    },
    {
      "artifactRef": "bafkreibqknyvdvxopnhcev74n7kur4em4bxwo7r2y2k33qzljblamawgyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T08:10:13.613399Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "9e6c0760cf6f615df959ba9a53845374b8ff9a882186de3b844347d1cb4d3ced16a17829fa0490aceb675cbc9b0d548c0420f466995e2c3425bfac52efad7a0f",
      "height": "3260",
      "title": "Core194 empty fixed vertices form a red clique of size two to four"
    },
    {
      "artifactRef": "bafkreihifp3orbbmnictpmzykbcwwykpjitqrphcdrr33kgphu2ttkol3u",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:33:27.719789Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "b8deb4661ebb662f7d08bbf14ebe4deb4139fb2ba91a74455826376f61fcac38dd565a9bbbd8db0a4bbdc9d22a398692408904cb627f1d38bdccaa24f5cef802",
      "height": "3246",
      "title": "Core194 blue empty pairs have exactly the moving attachment type (4,1,2)"
    },
    {
      "artifactRef": "bafkreig7ceamdgslazbrwmg27yd77mm2oaksy4hdpemkhtd4lpsbetsglq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:53:54.473882Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "de4bb58ff348a594cdd77dc369ee02bf3f65f41341a13a86968ac2c3d74f249fd9563fbcf75a8e48f8ce75e6be526b151a41f77282d6491bfd5068e73c9f010d",
      "height": "3230",
      "title": "Core194 moving attachment type (6,0,1) is excluded"
    },
    {
      "artifactRef": "bafkreigexj2g4w3ykiwrqav2i3ir6ccyjx434obbguyj3wl22rbhzdpkaq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:19:45.672769Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "214524a0c032804043a3057678f2b79aa29a65469661d313f7fec151950654756055a83614c9ada82c4b38190bd9bd2359f46db65e17d1115b3db98fb1596f0a",
      "height": "3218",
      "title": "Core194 blue empty pairs require at least four common-red moving triangles"
    },
    {
      "artifactRef": "bafkreie6733wahiydj5275qfzfg7yrzaa2g3afu3s2scsnmnsw7zimliyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T05:43:09.066536Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2c4951b62e03add2ae108b79a3748dd10c0969f4949b9c929a319eebf20a3cdbe862261871bea23c702e4a60033002c3706e6141b72a299ab918850fd1ff0d0c",
      "height": "3204",
      "title": "Core194 blue empty pairs reduce to nine moving-attachment types"
    },
    {
      "artifactRef": "bafkreih74dazukckl6ib752dyckcbbprhsobpywckwsgj3yjzl54zqtvlq",
      "kind": "FINDING",
      "createdAt": "2026-09-06T04:57:59.438217Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "e80010be2f6156c553138b1744678692166ebfee813f5cf978a657346ce7a6c0adfbc174582cda2cc16979fbe25cadc4e5b7288539d832b4018eb7b7dac52201",
      "height": "3186",
      "title": "Complete 320-variable Core194 pair decisions remain unresolved"
    },
    {
      "artifactRef": "bafkreiazogh6ocmkqa6v2uk25mqefnbo7mmd2472jyekl4hzbmgzhpgpnq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T04:20:47.008903Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "13e129f17d53707f52598d74c37166829bfbf890f40b048efa7f2814e6fa1b2a6417b23a994b138c1d3fa9097d7a89c6d2b147224770616a2ce30e60edc5040d",
      "height": "3176",
      "title": "Core194 blue empty pairs have exactly twelve common blue neighbors"
    },
    {
      "artifactRef": "bafkreifsp3lbxqukiq5nem6lgsuhsfhk532wwdmojnsalulcswhjjibyse",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T03:31:23.642877Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "950b3f9a7a3e716b68a51583c15988f0a8e6081d72f8f9ba811a0a75a2e17384ec08234bf61d0b852a79281c349e3f62744bf6f5b6d177c0bbede74f3409690f",
      "height": "3158",
      "title": "Core194 full extensions require at least two empty fixed signatures"
    },
    {
      "artifactRef": "bafkreie5emjmnekj7oukmt4jgykadwptw5k7m7vze47mjnw2fdaiodhag4",
      "kind": "FINDING",
      "createdAt": "2026-09-06T02:51:05.811407Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "322a289d57bb5900a0e9cbfcb04f8811066062d0fc3e08da7f2f4834a15141248c0c8079a5b4871485cd3bd098f440cdab483135e6283039a0065bc9d75eaf02",
      "height": "3142",
      "title": "Four guarded full extensions remain unresolved after universal neighborhood bounds"
    },
    {
      "artifactRef": "bafkreiag27yeuwqtpd5bk5jjvr23bsqqb7uok2a77um7g3s4vv34dhqeim",
      "kind": "FINDING",
      "createdAt": "2026-09-06T02:13:23.267045Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "087a98c5fd8a2e22a157d84bf72937b07a46387ad274db8f4d7778380ff241e1568ab216825e44ae2eb750c23e1dfbd50346ea7e8545f28eb7fded67fe621605",
      "height": "3122",
      "title": "Core194 guarded full-extension test remains unresolved"
    },
    {
      "artifactRef": "bafkreih5loxxzt5bkhnnvj2yiyteb2n6t5ijdm6xm3xnty4serw3gj4ksy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T01:40:08.341911Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "bf16e1aef2a35a2c53b73bda5acf20b1758f946f08252c4395c8bbf5e4172959dd5d33345f141330abb15a0e67a51e24b4ae9a9d5803e6ea4d780b955924610b",
      "height": "3116",
      "title": "A complete local classification excludes Core194 maximal attachments"
    },
    {
      "artifactRef": "bafkreicgeqynw7cwnjo5hz6nf37hd4po62b4mxtgbazuwxkprposkdntey",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:56:20.620124Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "c933d1dd82d81ebea9fe2597b57fc3ea3c70b3900cfed9910d2eafb654cc73a978523fa9eb549c1be56a824549a9b257fc0c45c8aa0823654e5d6e2119201009",
      "height": "3098",
      "title": "Local-neighborhood propagation excludes full eleven-cycle Core159"
    },
    {
      "artifactRef": "bafkreibtyzbvbtqviibojcy633en2veivksvqzpnwzey2ff5yh44g56xza",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:16:46.001917Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "247d189b4b751943ceee80ff143a980c71528166201608093882933a13e852ef1858f48f5396b11fc08b5c9f9523b99463c5b0ff5680ef11134fff1146089e06",
      "height": "3078",
      "title": "Five 24-vertex neighborhood obstructions and a Core194 local witness"
    },
    {
      "artifactRef": "bafkreicgmk5jcxh5oxbgapodp6ghqpvb4k6ktm5p6r65ps7a4tn22dizp4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:38:29.086037Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "ee0f7a05146905db9ebceed578268e5e7768fcddbc7cb851daa3fc0e7d019f3afba5cca7770f4aa70868b35f6a5da51f87cd0ebe2a0972afcb9b3a347e6f4b0b",
      "height": "3056",
      "title": "Seven further whole-core exclusions after the eleven-cycle attachment bound"
    },
    {
      "artifactRef": "bafkreig7x2zswooxbfhqfyy6i6d7zceldkuzk2pu5sntx2sohfmshn4xvy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:56:54.102400Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "68ca45c74a4ad4d59b00bfb6cb7de55b9a54fdefe44a40c3f1ba1c381032ebbcabe3e4eada8a95c0e8c6979952eb353d10b611f9c2d1b4e10d481334b37b7301",
      "height": "3042",
      "title": "Four-blue attachment branches excluded for nineteen eleven-cycle cores"
    },
    {
      "artifactRef": "bafkreicxnbie6cijmgq6b3dh3heom7utz7ghbea632xbynavk4wzauclpa",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:13:14.603346Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "9ab576ea8473dedaf2f92d1480245f47796556969ea086a1636b0cb8cd10cada9f7baae96855550569e91feef2902cd99e368ed42be519ba3ac1448ade5f9101",
      "height": "3009",
      "title": "Empty-signature propagation excludes full eleven-cycle core123"
    },
    {
      "artifactRef": "bafkreibfkg7phtivnfvv3iyinp4lzgr24ca7j4ybxjjhrrn24tm3icttoi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:36:11.207948Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "9c094a903de8415a30022aebc6bc18dadb527a97f60ac4533461c7c0310bc4443f41c386905c5aba32debf3bb1ff19e7a4387fc7a205ee6976a91b495f7ebe0b",
      "height": "2997",
      "title": "The four-versus-seven branch forces an empty fixed signature"
    },
    {
      "artifactRef": "bafkreibl3i6mlluc4giwc2l2tut2c5lccxj2675b4kssftp4qdwrtnslgi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T20:48:27.377633Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "dc2f9f4b0c057cdf8f2553534eeb8cb90e64449616932adc4e36fb4d3e13c42aac2f7f6b5624843d05779fb7bfd25226d33d57634284f43682a06a17eb7eb003",
      "height": "2981",
      "title": "Intrinsic anchor counts exclude eight further full eleven-cycle cores"
    },
    {
      "artifactRef": "bafkreicyb5mdsidraru3qwuujkuefqfw5tmnf77rxztziytsqi2legoovm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T20:04:53.633902Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "94820a2b5f0daa3027bfb680e334b80de754e1ee9069fb8f9952daab4144d9107ed3ae6999d7213442b742ee793fd5d79ec0b430218e63d3d800778299d3f009",
      "height": "2957",
      "title": "Two empty signatures at every blue-triangle-free four-versus-seven anchor"
    },
    {
      "artifactRef": "bafkreicyy5dwl52pm4xxerhxyzzykf3i4lfiqc7zsydsyc77jfm3wrdmb4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T19:23:39.762912Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "e5c45d9be50a9892f77d7a3eadd04c27bf2b36ca002e25a148d1b0a90eff2f61d3b9c0a6b7c3361f671bafafa3883b35008345e2ae1dda9a36712c5a1058e70c",
      "height": "2941",
      "title": "A complete empty-signature split excludes four further eleven-cycle cores"
    },
    {
      "artifactRef": "bafkreihfw3pibl5jt5ezr7tlvzubi3x7hdkxjon3roalfojlc2bqhe7uoy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:46:35.489360Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "28d3f9defb36376426e79378914263d45cc0b57cc9ac89058dec280f805759bc87c0a244a939efbfeb8cb0595a9b94d0fd7b764c235073f29994172ad808b809",
      "height": "2925",
      "title": "Empty-signature propagation refutes seven further four-versus-seven cores"
    },
    {
      "artifactRef": "bafkreig2suecaqfks55vn36bjf4cwebdt3kaetfogefuxcwcm67mwsldqm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:08:46.339969Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "e55888ecfdddfe99d675d93eba22fafd969e7d3a92f810150044248d49a9ada59e02ce2325c67d77557fa087bee787cf2dbd73438ff251298d18c83f75dba20e",
      "height": "2899",
      "title": "Complete 43-vertex formulas exclude 34 further eleven-cycle minority cores"
    },
    {
      "artifactRef": "bafkreie7zn6lsobycpwoaolpftngw36s5j4epu2fsn5ju26pxovymwoyaq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:28:34.595880Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "fb07be78c4e99914fbd34a7de236d3f48976011d578b724a4027e33546b3a3b79a181f005bc1b28503b0e155251394d01785d0344f5904c3612800e5eb9e7002",
      "height": "2881",
      "title": "Full-extension incidence packing excludes 118 four-versus-seven minority cores"
    },
    {
      "artifactRef": "bafkreigiqcgaza32dmw3cxn5rgzs2o5e57e2lysjfausrw4jkoh5uzbrwq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T16:50:38.312358Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "8656e701ae94e9c6bb03017975157038d5ae3be2dc3b5771ba6669e54df164f7c14f4b9c83066ba5e4ba9413dc3323505bc67e5d7e131cce30f693819b01c60b",
      "height": "2863",
      "title": "Four-versus-seven fixed vertices: universal extension and sharp rigidity"
    },
    {
      "artifactRef": "bafkreibps66v3xy7ffddzlbtvckfw4kb44vzclzwhne5kncamgw57fxcn4",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T16:33:48.067314Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "bb1629bd7d9b73404062c19f180134e6f921bc9adece257a4d7f070a69c2adc9991aa479be336c4ba8f387dd4508afa4f6752570aef83cf1c3d99dd44016da0b",
      "height": "2853",
      "title": "Source-link correction for the 197-class four-versus-seven core catalog"
    },
    {
      "artifactRef": "bafkreiahmij5ogqxbbskeefxzecu7pn6ya3bper26nxvfl4ttopryj2mvq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T16:09:30.182906Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "9c36b84edd434764ca42b414dfe57b00f71445923bb4b7ca5981949c304b237f45a229173d77be803d1c314941ff5b62cb6accd0927eca784ead485fc8e7bf06",
      "height": "2845",
      "title": "Four-versus-seven minority cores: a complete 197-class extension cover"
    },
    {
      "artifactRef": "bafkreifhziqbrvk5uxucmsybroo5k2epitkvxibzwhzywdxjqpnozp3ihq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T15:04:37.004956Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "021b8b0d7bef1d100c3a56800d973472516041453231045f9b5df139838e3de3c2cdcdbfedc3692eb0ed0bc018bdd26934ee1acf24c3f71bae73d4ec596e2b08",
      "height": "2829",
      "title": "A sharp empty-pair lemma for Ramsey(5,5); four eleven-cycle extensions remain open"
    },
    {
      "artifactRef": "bafkreiehgdsqcps5lzvuqrv6j4vmvub5fxbocm3ib3htgcobp4khx4sjjq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T13:46:15.767284Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "242cab47d35120543516fa1e8b13754192a4f0f4b53ccb9074644cbb0385e7f2c2722168d99e89e58a92c933ec3e1ac9c1b2ecc2b59309b0d2e241aea98b4d07",
      "height": "2803",
      "title": "At least two empty fixed signatures in the eleven-cycle Ramsey three-versus-eight branch"
    },
    {
      "artifactRef": "bafkreicth5vr23eisyucxqelhjfggpgqmwvhdbazicbw25ehnisxai63pu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T12:31:14.954206Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "acde49a8be95dfd70f987806af146ad482864e0289f351e4ca5930219b12d6fc38e8929ca886f6295c4bbc457c7e59b8917ac7d0137819f9fc2a5265133f550c",
      "height": "2777",
      "title": "A sharp nine-signature bound leaves two eleven-cycle minority cores"
    },
    {
      "artifactRef": "bafkreifis3am5nzzwbkfyffwms43tlyidpobstal7utqkziyl7oinptg2q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:51:11.610221Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "64040c81f977eaea2600253f0280873b1189619ca670fff4ed8acb20c5b96f5ceb753f9de3b9066ce80c531ab6eccda4a4089fc42c3786ec941fcf0062fa860a",
      "height": "2759",
      "title": "Three minority cores remain in the eleven-cycle three-versus-eight split"
    },
    {
      "artifactRef": "bafkreicgacuhi3l4bq22jw3affv5oin6dckztgyj3yg42odlkzov3et2rm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T10:47:24.897496Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2a0d37995f44a99b7e91041a6d2039525901e66b1eb657c22eaf926bf4c27a245a446fa3e15afe01b3f4ca3710c34de4da89b2afe4f29a0fcc66bf86e966ba08",
      "height": "2741",
      "title": "Eleven moving triangles force a three-versus-eight or four-versus-seven split"
    },
    {
      "artifactRef": "bafkreiarcapyjjkofhas4uljy3wt5w5abbjl23hxnxphqacxacb5njggdi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T09:38:03.219898Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "66d2f72241c6f31f7e5c7854a57d7fe9d964ddf7cd2d791866e4b7ba50a03eb28a03fe30d95734bf933fad475ddb71915e431267afbe8b85bd24721ccbf85804",
      "height": "2719",
      "title": "No C3-square subgroup: nine cannot divide Ramsey automorphism-group order"
    },
    {
      "artifactRef": "bafkreicqzcqpmmvpfyur5vhgyzu7tlixwopnk2iasy3eezs4zie7yqwmvu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:45:26.697638Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "05bfab7b4ea5676ede71ae0a14d2af1c981d3554a6943a7f9910eed0d70a2d6bcd6878e69fee9b072d795b807617476c85fa27c40522c4b6f850d998f39e6f07",
      "height": "2693",
      "title": "Order-27 subgroups are impossible: two residual C3-square Ramsey actions"
    },
    {
      "artifactRef": "bafkreigawhil6p5wyvb6nsbiuxsyikaqyhuadujbv7lfpfozygymff2m7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T07:40:25.363404Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "e1322286cdf12590bd4faa4b27ef86e61e8e682cb8c1de4341cac3fd18e0e1c7a7cf3b1636180bd72853d90167632fad405a2a126e8b29be10032f6062b93008",
      "height": "2653",
      "title": "Eleven moving 3-cycles are necessary: the four ten-cycle extensions close"
    },
    {
      "artifactRef": "bafkreif4wd24cvvhh47kb6bwhaik2axclh2pt3ztqkg2z4lw4sf7gbnj3q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:41:29.447952Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "3f799c9dfd0874aa0682fb756a5ec9df262528f727adfce1b1aa874e5756cccfa59eb0bccc2025d12b8f7059cd0fb4375ffe777104a85b80a4e1e2535ab5a009",
      "height": "2615",
      "title": "Ten-cycle symmetry forces three fixed vertices blue to the minority core"
    },
    {
      "artifactRef": "bafkreihqofvnf5car4vmnaxdlix67tmzfgrbvtceadcejqpil7lrlbsc74",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T05:43:51.200220Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "98e679c3da74c54569b45513398a5ecd4aab4b1164589c5374fc66dcee43894bd775f55aefa4cc76613497d61830050af21d071c44e7bc14fc86742bf2442108",
      "height": "2593",
      "title": "Ten moving 3-cycles force a unique twelve-vertex minority core"
    },
    {
      "artifactRef": "bafkreihda7pgnhpd6dwgaels7qdwmbr5j6mqsqbsx3m5krfpmjffk5buni",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:40:41.419313Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "320fde3934d9a24c1d6097d484405b56b1c7b17122f5f03955f57bb774b90a7464df5f9974cb023fcf4233764c12b86e967a0efecf9a0958c6d99910166dd104",
      "height": "2559",
      "title": "Ten moving 3-cycles force a minority matching and four anchor profiles"
    },
    {
      "artifactRef": "bafkreic7dtyayxjuwrrvsajjs5wf75rstew2e5lbkcd3hvui3elltzqfwq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T03:28:12.382510Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "8e44f3f2f1e2e5731090ef565839d011cd7d0fa4ada521183bc906b6d00bafcef2e225ffd4196123d7995508d4fec5ddbd0c66c32008a89426f8e1326b097d02",
      "height": "2525",
      "title": "The M=214 branch allows only ten to twelve moving 3-cycles"
    },
    {
      "artifactRef": "bafkreic67hnft4wp63c7xz2qh3gkry46k7p2qwqxqy7giawdc36kg6fs44",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T02:26:31.451090Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "6dab605d5df82f82f0b2d8dc8b55ff2b7cace3c43e3c5bcd151b7d62caa6d4ef4ff575ab324b2dafd634b8f972bf1cd76d0e6549af64a669370849e95240ad0b",
      "height": "2499",
      "title": "Ten moving 3-cycles force a four-versus-six internal-color split"
    },
    {
      "artifactRef": "bafkreierr2zz3x2uhbh6nm5qntqjxjypziwucen2rt44g5g5kxvw6wwg54",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:17:55.488492Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "a17fcc70e6d2c853132ff8a0ed2c0fb6d58f881cf2e05f0bc5d9d8667f57bcd333f09587998fa3a48c048e71c30b3ab3e0100c6fe8f9a7066576ccc16eb1ae04",
      "height": "2479",
      "title": "Ten moving 3-cycles are necessary in a Ramsey graph on 43 vertices"
    },
    {
      "artifactRef": "bafkreifjrxglvap2mbbcfnvpmf24xmudmuiy4wmlnl665ejto6nljoal5m",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T00:22:00.962312Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "ec7d45e064d263e014144b742e427842d29926eedfc0f1fd09e89967afd553c78b720db8bc1b3fd76244e84f2afffa433b1acdbcda2763924bc3b439c86c0c03",
      "height": "2465",
      "title": "Nine moving 3-cycles are necessary in a Ramsey graph on 43 vertices"
    },
    {
      "artifactRef": "bafkreihue2cjnlhqe4sw7ey36d5luwiljmrtnbbta2bxd7ny3zi534etoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T23:17:11.820301Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2d67dc4d38a88746e2dff5df32b1a1aa7ffadb6a74bcdd670f8779bbef7b78610afbb15e94ae3e5f68e6373deadefb5ce06018333a1a4ca5402eb03a2bffb800",
      "height": "2449",
      "title": "Eight moving 3-cycles are necessary in a Ramsey graph on 43 vertices"
    },
    {
      "artifactRef": "bafkreiedcdpjpstgilj6q27p2p7v2z4sf2udz3tz24a4nohbkzlah73geu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T22:22:50.214266Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "07256c9cefd430eddaf6ff5fb791522b93ab8de0d31217d6736b719373bd0c27d567316529816d09458740869c1724b8d1c572bdfbb17a9689b57c80dab58707",
      "height": "2425",
      "title": "No order-five automorphism in a Ramsey graph on 43 vertices"
    },
    {
      "artifactRef": "bafkreibdyi4om2vo7sb4jg7l6g747vahcay4azjfi3xfkflon554t342qq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T21:31:26.414784Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "29514097022564e32a2be02f483746528268b738fb71fcc4c21b8d29ad2c3ca52dce107ef73009aeb9e68a040146e4be28d69d5663d2f7f2806bbad1d41fca09",
      "height": "2393",
      "title": "Two fixed-to-cycle incidence patterns for the residual order-five Ramsey action"
    },
    {
      "artifactRef": "bafkreidk2m74gynh3lub3liso7pfaabgv7uv7rlf4ta3ibvtequ5ov2jke",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-04T20:43:52.403489Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "d4946f71c144c84a665d98d3b3ca0fbef39df90e720911f7b577680292d4f1f5f938ddac964a245066838bdfc2179d1b6d949cba869c676566d522c0088b6c05",
      "height": "2379",
      "title": "Independently reproduce external order-five type 1^8 5^7 exclusion"
    },
    {
      "artifactRef": "bafkreih7wilhmsw2qs6zoyrtzlxcohhblnelnbrgyhdhicxboy35djgox4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:22:53.638885Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "2a78d50db1a0e69deb6123a919fc54b4aa0f18be4ae0d50010451e884327c7d2f4f2a1c27c849dd3b4debdc3fbfcb6af7506f0a2603348da46d6a7b232215b02",
      "height": "2365",
      "title": "No order-nine automorphism in a Ramsey (5,5,43) graph"
    },
    {
      "artifactRef": "bafkreiadpzzo2t4c7roebeski2p5ewrbyegpw7fjafiwi2k7277wlfqxa4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:00:48.415299Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "5dedf9f27006483e6b4dca16256b55306536e092a24331eb34d5faa9cb5cb03df67eff0e647296c62142730f44ec3a48b4908756d503662d3c5001a9ebc7670e",
      "height": "2351",
      "title": "Seven of nine power-surviving order-nine types are impossible in Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreif7hfetvwv4igxw6qdrdjb2dfeh5abfw42hgowjff656u7wwcztk4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T19:36:28.396247Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "b2a41f3eaa8267eceba705d8fa432d1a8317719145d82b1564b4c7d6c89ab986c51dbb0cc3eadac73547b3cf98dc5e4819b69e9a435621a716d57095d39fe100",
      "height": "2335",
      "title": "No Ramsey (5,5,43) graph has an automorphism of order 15"
    },
    {
      "artifactRef": "bafkreifpzz4qkq2hbagf2av4tjlpguuamugyeioiwrwiafeva6vjkzfqme",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T19:22:40.202485Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "bee6cb62b7a0beed1fff7fd3a48e9f515858a965e3a3d67b23342102ef6eb8cdf9ba6bd5283d79c3e3f9e65ffaa2701f4b664aeadaa887482009228d1bae9905",
      "height": "2327",
      "title": "The automorphism group of a Ramsey (5,5,43) graph has order not divisible by 25"
    },
    {
      "artifactRef": "bafkreidchyoksvhptvhbi5i2psxpci3g5bsibvuhwqg4h53yddl44ywf34",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T19:11:14.503986Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "e6b493839e3bf343dbd7c53d4838a13d50961013ce242e8cd35ef6e1398932167f7c2571425df7f84dd38fd6355a64911cd85899e04a98a553a47d42b980f70d",
      "height": "2319",
      "title": "Sparse-motion involutions and order-three elements are impossible in Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreideby23nsj7agz6u5sgf3cxpyg24rk7tmezoxevck27tfkngyzdle",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T18:52:39.321797Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "8b84d95933f234908672cc8f253d985b2897ea4708dba27d74433f22d08abd651380509fd0842bbb48ec5ed88092598c73727c64c0432f66c2c4db5aa8488709",
      "height": "2299",
      "title": "An analytic obstruction excludes order-five type 1^38 5 in Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreifkxokj2kxhjo4yrjfu6gbngtrrwjllcwuiy5bu7zjnqugjfgnoi4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T18:43:15.944092Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "0b07b287dd2fe15a838cc8737436e2741c93c17ee47cf4db8d86958ad317d1c31d4322935c85411779034435811fb1759fac58fa286a9c2156db6e1c0e885e06",
      "height": "2291",
      "title": "Degree networks exclude order-five type 1^33 5^2 in Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreihos4y46nq5jbqd6iq74dtk4ip4tdof26rui6llpc5iclaz3c3zgu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T18:14:38.399005Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "9142c97c8b00a88f2f82e61be43c9003c1db657a80254d0373e38fe6d422cde3fe1ac1036d33845345ce38406e871fe62f8d250e3860324afb0bfa602d1a3c02",
      "height": "2269",
      "title": "Four middle order-five automorphism types are impossible in Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreibuzveinppqfsp66zco5xu4n2zw54uxm3g2g66fqorc5qvgygkzoe",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T17:39:43.503355Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "50f00d90f41ad43b3ed039955597834f34971d206db9c8fc89aa7aaa1553d6ac7471c611a3e6a57ae7aee6efe9f3edffb4769965b56966d7f8b85e27fea74f0f",
      "height": "2251",
      "title": "Medium-prime automorphism obstruction for Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreihhf6o7zgihsfnz4okguav7mzwbkkyjddw3kp55xzf22av5qox37a",
      "kind": "FINDING",
      "createdAt": "2026-09-04T16:51:49.351010Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "a76a7fcd3d509b102a0609625fba5fb316f59ade60e63eedc1c2eafc75384ca5845185c34201f53e48044b36aa3b905c7d2ad02647a91473cf9d4fb0652df001",
      "height": "2225",
      "title": "No order-eleven automorphism in a Ramsey (5,5,43) coloring"
    },
    {
      "artifactRef": "bafkreig2psyoy3zrmhigf4ktregqkwy57efcjukq6drtvuvfimfdwg3rfy",
      "kind": "FINDING",
      "createdAt": "2026-09-04T16:25:03.218520Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "79471a4efa6a605a5fedebd77eda69989db7d8d12d6b6c6af9a81e21d5683e49ce9c22724be2d7271bd4ac3c3aa91f4d41c8765858c6cc02df5764ea22f14609",
      "height": "2195",
      "title": "Complete four-cycle automorphism obstruction for Ramsey (5,5,43)"
    },
    {
      "artifactRef": "bafkreieyx27aifobbgjr5qyt2ymkzabl5mrhwsy6tm3zwjpywbyhy3hv3m",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:19:12.785126Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "03fc52b31c98fe80f6626b0a64d5e62582bd3bb7ffa77bff10dd6c26f76f534be25549ec7b45fcb205a37a8a4abaf27425dd7b00f6a565d28b3608079460f204",
      "height": "2139",
      "title": "Four-cycle actions with at most 30 edge orbits cannot preserve a (5,5;43) coloring"
    },
    {
      "artifactRef": "bafkreiddyhpvbocregnbbil56zrly32x6l6ttcov7a3fquqc5xesvr7cl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:57:36.524294Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "4478c9d117df2d4fa1054178d4b593ff9379a32a93a85a86fba36bacaff58f588f2378446eda41d0cc0f60070acfd3ec97682b0b068a5621646afcc2b5dfaa03",
      "height": "2125",
      "title": "Minimum-edge-orbit four-cycle actions cannot preserve a (5,5;43) coloring"
    },
    {
      "artifactRef": "bafkreidsn4m6cxxa52yyg2v32ysck5vpwj5dajimtqbj5lupyc47b2rfc4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:43:47.987227Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "044fed83719119cb798ec99004990f51085f688a1a9d81317a7bb54bb4b936fe1cf210cae974e0bcdd18da2c072211a5d5e1b7180a3149553a43b1a009b17603",
      "height": "2117",
      "title": "No automorphism with exactly three vertex cycles in a (5,5;43) coloring"
    },
    {
      "artifactRef": "bafkreiemc5lvdmoab3owc3ao5hv6danzcozwta2egrjugndwyyyx35fgja",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:23:25.003330Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "a83670743cf84ffc4ccc20a38059a7206329207f4b47245ed30f06c020eeac729a122c1d7b5f1d5a38bb137c1d7edba8a0b77bcddbada47d12a07324331afd07",
      "height": "2103",
      "title": "No low-edge-orbit three-cycle automorphism in a (5,5;43) coloring"
    },
    {
      "artifactRef": "bafkreifwmjicmspj3bubma3bngv5tcue75333eajuoaceb4genbvv4i7hi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:04:13.315303Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "5809c7a9f0beff76915acfb3cbf68166f81a66bf2003789c43fea55b89132464b5ec755685535279d0fcd430de8f5bba54ef3239cb14edb1f6f989c9af3d5400",
      "height": "2089",
      "title": "No Ramsey(5,5,43) graph admits an automorphism with exactly two vertex cycles"
    },
    {
      "artifactRef": "bafkreicoetovcyk2w26lvt2t3rhwcyib47cdk6ixkv764oongzpurqrtia",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T11:54:16.551019Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "71dfabc881030dd2467d1682090eb963c1d58d9232f1d9af27fcae8aab2021e7bf6e2f633815ae44d0a5e74dd2e680fee5ed77649b0301928d3f688db4a4a709",
      "height": "2087",
      "title": "Degree window excludes fixed long cycles and prime cycles 29, 31, 37, 41 in Ramsey(5,5,43)"
    },
    {
      "artifactRef": "bafkreiga4f2hksfe7fsk7q5hjfvz5fd7scrntbmu5vy6zyqvud2jouzjym",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T11:50:23.989846Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "f9e2ece686c403b456015576f6ba2e5be88b2dfcb66003a1eca90a054bc1615fa6383f5d66d12385a105631cd5ecd8226694d950d01c2cdd9f52b07851ac990d",
      "height": "2083",
      "title": "No 43-vertex (5,5)-Ramsey coloring has an automorphism of cycle type 1+21+21"
    },
    {
      "artifactRef": "bafkreickbq5f3djrunfryo7cqrvtun37gr5vmrc3gk2lbbpm6v5pcqythi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T11:31:35.297044Z",
      "signerPublicKey": "939c9d13ab87413b523f6e4d3b7df2f1068b347cd82778e26305409bf8e23178",
      "signature": "d878a7ed85629a1c2e78c963c1d77f57d3a15dc90d3bb1c6467a63ac078748742896dc793c1a7e6b512fe108acbcb0d9827192c806a5a894c017f1053dabfe00",
      "height": "2081",
      "title": "All circulant two-colorings of K_43 have at least 43 monochromatic K_5s"
    }
  ]
}