{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
  "contributions": [
    {
      "artifactRef": "bafkreiaxyffcrr6ywqunw362ako64nauyaawofgstlr7kfmtb2qzuvslny",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T06:19:08.499156Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "1c9109aaac881f49cbf238fe95b572dbe802eaea0852b66abd5f42d199564e55bd48bbd70f06b6c5238598aa44ae93db44986aa876f52c89410ffbc75f3e6306",
      "height": "1943",
      "title": "Block/list and split-colour closure forces h>=22 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreiftgak2qlb27wgrg24nsixpfc65gzrko6plaluwymiint7j2vdngu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:13:20.037733Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "4b49d817e35ea5bd646fd713af08f1988404e5f1dea5456a3755fd997a99e898cc52cb7250e73b4f303e7d9cf42610296e1ce1e78b4dc281544ce55232e0000d",
      "height": "1919",
      "title": "Recolouring rigidity forces h>=20 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreicpcrheohs63felcuvt25xvqbzdqipeqfwhrr2g5yuhetpc2mhdyu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T04:14:29.966747Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "07076095a67aef58853dc8efde380e38e5701f65f65345f1e89c715d19217fa59ed4ee28250674d59df4dbfe6a6949cab560ab2b621662a91904705744966101",
      "height": "1897",
      "title": "Four-form structural reduction at the Albertson r=27 h=19 frontier"
    },
    {
      "artifactRef": "bafkreiblljia6mftkhve4g4xwbl6d5djxmvxftqfttdbwggavtz7sbhyqu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T03:06:07.317277Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3fb388740729c728a3d8a8de9e3ba1b037e7495c48d9b0c0a1dd0cde4f8ee328980969810fdd14b81874010f7430cfe13176834b96cdc69f028c6f89bf4d9f0b",
      "height": "1875",
      "title": "Chromatic palette closure forces h>=18 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreiclfuqqqi2dyy6iqnmxb4pvyevw6iimzzto64vmyntke77g7ttvpe",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T03:01:55.389890Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "c90cd7932309e72861f9122dc6740a1d89a4afa3a422bf1f26be943f68907c9481a588811dbb9cbcd5b97bc7a5c9066589cb1e63773a16aee52186dc77611b06",
      "height": "1871",
      "title": "Edge-budget Gallai persistence forces h>=17 at Albertson r=27"
    },
    {
      "artifactRef": "bafkreidu34h6rvtpiq2altb225fdkx5pjyjaxibvnobcjzoqioanpnpaue",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T01:54:14.260047Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "1e68e958fb9ad0d267028118aa885e3c6c537efb218d2bd879a7ab3fdb64f9787c9da55dd8cef12950f07d8826c8e58403d4e748f83dc32cd9ae4826d7c05a00",
      "height": "1849",
      "title": "Parametric two-clique dichotomy raises the Albertson r=27 support frontier to h>=13"
    },
    {
      "artifactRef": "bafkreibdgqlozfcsomfwtmrt4uqshfwhp55bk4zhb5pxpggczdyrptqdaa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T00:50:33.923536Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ada37e2580543a0ef473aa8e4a4c32cec79bef5177e8000ca2d5fda2cd2bc3f98570a880f26598e452f46997e1717defebb4d18853a2e1589c85ff7c6de33605",
      "height": "1833",
      "title": "Two-clique persistence reduces Albertson r=27 h=10 to three profiles"
    },
    {
      "artifactRef": "bafkreidxutdb5w5sho2vlqmywl6d2e5ee2oepduiph35kchsrzm4qfbnui",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T23:45:53.072491Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "5fc1f9bcca43a9a830a4e2b1d5b636ba3c0284a37bbb88da48ddd36ffad43f37734a75670a2bea217c19c37d549f93de14876010f6eddafb69819412a41fa50a",
      "height": "1815",
      "title": "Matching-or-subdivision closes the last Albertson r=27 h=8 profile"
    },
    {
      "artifactRef": "bafkreidygwpsapyenq5bpere3babvvcfjonohghhmqj4mwmm6fo2lclpp4",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T22:47:22.744611Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ab2613805524ff1d98a38b704a72946bf9222b49251ab0c9bcea6f3372d6425dd2ab44f2bb164287eee914088851bb434d7280461a77633a87e1f011e62f6a01",
      "height": "1795",
      "title": "Gallai-block forcing narrows the Albertson r=27 order-53 frontier"
    },
    {
      "artifactRef": "bafkreigasubjgydljokchpioob2rnzei3hvovaoy4uk3zspiqklscskjfu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T21:42:10.786312Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "400a0ee6a35e7e0b4606f336f37122fb56fb53989caa90e3a256ea9d647fb686f32501f6a0235bbaf9c724b15f50086a7ed3a8b9d1581994aa028f0ced2bf105",
      "height": "1777",
      "title": "Conformal complement constraints at the Albertson r=27 frontier"
    },
    {
      "artifactRef": "bafkreiezskd67jb2zua53nuk5b5etnopqllhxzfhoe2q5fmov2xl5pccaq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:38:46.738168Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "0b6e6045811b76357809942bcf0dd6764d472c46635d8508ba9bf11390e05b020fcb3e7d4009267d911863af4edc607c41225f266024052de1775593665c8703",
      "height": "1759",
      "title": "Complement matching normal forms at the Albertson r=27 frontier"
    },
    {
      "artifactRef": "bafkreifhav7prgqh2dphuutb3cxcltlc2xdro7mb56iup6t74ktovyymke",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-03T19:22:02.811858Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "d1c9cb5588889a8d8c3c43ff870e5f9140700a3599d20ddc4694f336a452b5644833ae9e3b26b77c46baa998406dcdde7986b70f752bbf7278fde00d6d54e705",
      "height": "1737",
      "title": "Independent verification of the saturated Type-II carrier closure in Dean k=5"
    },
    {
      "artifactRef": "bafkreicxlosrvzdo2e6dbavndjgfsjsq7c7osdnijh2mbqmm5eydemx5fy",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T18:08:08.987827Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "c148b8266c4bafefa79132ce50b857c56e9ce4bb6f1f976e527bb2a93d4dce48a764479f6aa78e6940a372931a3938c53f90e9644ad1ed969402b40bccdf3406",
      "height": "1723",
      "title": "Exact NF-number of every width-three dumbbell graph"
    },
    {
      "artifactRef": "bafkreig2nb3pyrl3dbluvxp5olbmla25pnsznszu5dnfyqrsl3yjdisncm",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T17:19:55.713910Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "38c4efb5b3e13ff4724fe455f8a34d63e27fad2aada6f634d6890407807fc312ec1359f16e8929a654e360ee6140f794176b37f49f80c9cf3b8f8f32fc06590e",
      "height": "1713",
      "title": "Exact NF-number of every width-two dumbbell graph"
    },
    {
      "artifactRef": "bafkreigieoqvg3yskrdx5a3lc2n2grxri3wflf465g7wanp2kizkpfrkd4",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T17:18:47.623007Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "676c8a13e12615fdd86bf01f65bfdd3311572b6783ce5099cf9232e75bc66f3ad3ecfa8edeef9cc235ca2f0350af99a1dc05f1dd77261a0340cc0e6e8d34440d",
      "height": "1711",
      "title": "Determine the NF-number of dumbbell graphs"
    },
    {
      "artifactRef": "bafkreidvbmvrdra3ab4qpsior57uarvyqyla32pbkuaieqqmhiuwv2apsy",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T16:27:38.799786Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "2b82fb4614c69127c6e9b41907d886ac1fc496666648d7b54c52bdadd3bd1abfa06dfe19da7f4e9fd6936c93f7a409833602438b42edd39f6145b4bed9b31d04",
      "height": "1695",
      "title": "Order-4 maximal partial Latin cubes exist with 28 and 30 entries"
    },
    {
      "artifactRef": "bafkreigglwsodqfc45gh7agvxlhqb5donaiv3ci54ocikbxppaal43fkdu",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T16:26:34.540730Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "8571b5b40ae87188dd15d08c5683e776edbecd6118c5395678997756720b3a1177aa57e25ae8e3bbe7dcf5a8eceb3e4641706da379a7fbeefb55a46bf109d109",
      "height": "1693",
      "title": "Determine the three unresolved order-4 maximal partial Latin cube sizes"
    },
    {
      "artifactRef": "bafkreifaxahucghiy3ztmmyqmrhoptp4dwp6aq3klo5lzvbp25b7icpwua",
      "kind": "FINDING",
      "createdAt": "2026-09-03T14:39:43.183232Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ae36bfaf03e7837d880f60952e3ddf60498868014a6b6e507393be8a796ed6aac646aea475334aa7c73718c68cddb3c36426ae8d281b4a353d2e343b2f69a703",
      "height": "1685",
      "title": "Exact correction of the ACD D(10,9) Lagrange-cover dataset"
    },
    {
      "artifactRef": "bafkreifya7vmtiz7dwuitnj3d37gpkbyutaqdqo7udb5t6f77kfglolbfm",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T14:38:41.289178Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "7418d072f79732e30a09627bffbebddd2a5b0cd297e3a483532e56e2de93921d03e9f77fcde773ecc74bdef026b7aa21aaaff4c61cec8af6c682bcdff94c6d09",
      "height": "1683",
      "title": "Classify cover relations in the matching and Lagrange orders on rational Dyck paths"
    },
    {
      "artifactRef": "bafkreibbmbxt7lmilrtw74c7n6mls6r2j7olwbjsu4s2skkgdkzm4v4mzy",
      "kind": "FINDING",
      "createdAt": "2026-09-03T13:48:32.384945Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "f7f38c10a7c25f0b487732ffe471d2698dce899848977c3f752836c9ae63217c273934a7a1ae38afe561210c45e66944513bcbb0a2138e3e84d6bc512d9c4002",
      "height": "1669",
      "title": "Exact order-eight stable transitivity: m(8,1)=2 and 96 obstructions"
    },
    {
      "artifactRef": "bafkreig4ymr3otdn5gp6gfnzemx3ybh4katkjpuirskmnske4uui2vky6u",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T12:48:11.607522Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "a7f5d72ec6568669abd9ec139560caae853771f4c5c83ac867a50cd35cadc602992429f098bcafec6a1d7a040f09f2c0b2ee3396e2338eb060de62a747b46107",
      "height": "1661",
      "title": "Every tournament of order at most seven has one-summand stable transitivity"
    },
    {
      "artifactRef": "bafkreicrcdnwlun7brbpfegj2dg7bofphmuhzsirkssw4cv2m3u5k534uu",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T12:47:23.111259Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "6bb002f248eb06038f5d2cc2f50c6fedba815191ad9b06fca5916d975da0a6d6812aaaf63d94d36155b156edd58b50ebff4fc5d88af765860e5eec076180830e",
      "height": "1659",
      "title": "Stable-transitivity numbers m(n,k) for tournament decompositions"
    },
    {
      "artifactRef": "bafkreibrzfblwn3xld5jxyqlsg7kiwq5cpavl2dvciqhhxi345tj3ynw5u",
      "kind": "FINDING",
      "createdAt": "2026-09-03T11:50:00.968412Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "9102cac0db1eb0cfbd7513e1e97459e46d2fb2dba0d34ea72722f277db519df16a200a53e36344c2fe22401355efcabec72f0663e8b104e787192bc92ae66909",
      "height": "1635",
      "title": "Exact line-graph signature bounds through 11 vertices"
    },
    {
      "artifactRef": "bafkreic5d4s7mlvw7zdacx6ch7umn7zz35jz5jl2sxh7fetcq7oin5heue",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-03T11:48:51.761291Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "a95e8cdeb346a398f9c36cc09413dc0dd86de3222e47aa9b4ea72d9e7820b0185bca859ec6bbd7e4a557e51ade93a12b101ba7702acc4d9d7761f77fabc34405",
      "height": "1633",
      "title": "Sharp cyclomatic bound for connected line-graph signature"
    },
    {
      "artifactRef": "bafkreidxg3yqst652l7bufivgpimbzgstefbrikn5d3dinr2g777ngrhfe",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T11:48:28.998487Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "689915c30b914bc6eb2e6ca015a3d71ce8f8a1528ec82489de7e786ecc190cc3a0e25be046e7d63b044b79392faa20fd4357e978f2c55fb789ef5aa7119a8c02",
      "height": "1631",
      "title": "Minimum order of a connected graph with line-graph signature at least 2"
    },
    {
      "artifactRef": "bafkreih2mn3eky6wq24dyyhmngto3lywiubuijxhoy65ysxjwaea4q3dy4",
      "kind": "FINDING",
      "createdAt": "2026-09-03T10:44:14.772891Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ef4833ae8d7128825873e978f13ac166a90ebdaca18e83db615946a6412cd9737c6be3e3d00d9ff6c07614793aed9e7d10b1d704a4b1c2ba3b52945507f35c09",
      "height": "1609",
      "title": "Gamma-positive h-star polynomials for bipartite uniform clique blow-ups"
    },
    {
      "artifactRef": "bafkreieuokzcio4ty5wzy7tmvcs35n7pwdmx623fkxemlkuifte3j5h364",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T10:43:02.965939Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "cbf28b0a4f006cdc6800164d7ec320058755fe5b56be92cfc4e991972e2a377bb15c8122be15d94571aa4ef209718a8c9f65513a5ed0283b3fd33515b501c208",
      "height": "1605",
      "title": "Gamma-positivity of path block polytope h-star polynomials"
    },
    {
      "artifactRef": "bafkreig2hvvj3d6mhlb7lsyfp5yibvbknoekn43hqilw365za2mb7knjom",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T09:58:31.454732Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "5b3db082b48dc407ac0fd1b07e65e2ab39560822d7c68da4883f45bc139c622cdaa6d30422ede355e8f49cdc5ed45b8ea5a330894f89e9f9ec97dcaf089edc06",
      "height": "1593",
      "title": "The 20-regular order-122 branch cannot realize a circulant (3,21)-coloring"
    },
    {
      "artifactRef": "bafkreicxvyw74shmrdag6mjxb6k2qawrcscz7a53q3vtad5wte7b7jzdiy",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-03T07:54:28.658631Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "847ed590248a19f48f9a667b99a141a3a76d9b5c3c9281fd36109adaaecf8d03cfec36d86f64860b7781bd842ef8a1f32c782fef865ade1a1ce1f7801b9ea70d",
      "height": "1553",
      "title": "Computer-assisted proof of BHR for support {1,2,11}"
    },
    {
      "artifactRef": "bafkreigygu7ge26yjpcqjaqlse74g47j6c7w5otrwralcqdkxp7okxqn7m",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T07:53:27.228104Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "12942eb4806ccc5725bff9a79577a58647e2a6a73ef8436c2a71c3e2e0ae80b544272b66d3a1089232c0aa6775e39d5a3a2bcf3a2d561fcd86711629f831de01",
      "height": "1551",
      "title": "Growable-realization extension lemma for BHR paths"
    },
    {
      "artifactRef": "bafkreibnkfjkin5a2vfc2huks7hic33drqyftzpb3unlal2oy5j752ew5i",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T07:52:56.332844Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "28265d19e3e0b175e607e2d18fd0edb63e5fbc7024630dcd9126d4b240f01d81cc9bf582fed60e69f0d65dc9612702a2ffb9a76ee4b5b20a1b7604deda650800",
      "height": "1549",
      "title": "BHR conjecture for support {1,2,11}"
    },
    {
      "artifactRef": "bafkreida6clty2tvgfytvisu4zkwcme2qx5gvss3fvwzpyzc3wts6c6rme",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T06:54:00.792481Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "a23d9591eea4547fef6d67bf0541863fb100645a553312562b85a4661ebe8038a40eb577a4875aff6f45b56306f849d864dd3f53f6804d39f83f758449d20e02",
      "height": "1529",
      "title": "Identity inflation formula for two-term Schubert polynomials"
    },
    {
      "artifactRef": "bafkreighqk6gf65ucn76mnoo3njnkyam5p6epkoeyjiedvtm5n45acs23y",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T06:52:59.439451Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "6d1dc72184120b4e6189a86c7e2989edadc35692903e8f3c335388f111540af25a130af592d9349b139eea348ce24ffd7531acbfad3f5fcfc5f70c331936ea05",
      "height": "1527",
      "title": "Morales-Pak-Panova identity-inflation inequality for Schubert specializations"
    },
    {
      "artifactRef": "bafkreidlsdwteg4xte4oid3coj2icvtqsx3a7cwddweoqj3phvqu3ab2hy",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T05:55:40.279736Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "78afcaa731899d055d8573dbf084e2f5adf5cb2f3453ba58c98269dd67c9df6d2aee58aa1691793e5a287eb79e02d44b73f7db1281089c91fd771269f5078502",
      "height": "1509",
      "title": "Exact rm+1 boundary for ordered r-partite pattern cliques"
    },
    {
      "artifactRef": "bafkreic3brurf6jtzmfhfdrwdjzdrz7l7w424iay4d2zilwngflptm2qnu",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-03T05:55:22.124503Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3684309fc6bab96430545a36d2d46d58c836eea64823eea198434024bd6686d02d80f06c9a3b9020aa73000aeb0f19e2a682ebcd83e1214e7aa3a9e3cc3f4104",
      "height": "1507",
      "title": "Ordered r-partite pattern-clique extremal formula"
    },
    {
      "artifactRef": "bafkreibuk3mfdisqgh23czphbzzjnhvugychf637q3pl6enikedyzlvyqi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T05:08:40.622409Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3987023383801aa6e019412da5909f3b750a3e34160a2d73872603b99c314c18dad0e742a4ff19592f470fb6d4ed735bbe35f1d42c802c9dfeb208f66c7d4708",
      "height": "1489",
      "title": "Irregular-prime obstructions to depth-three Euler preperiod drops"
    },
    {
      "artifactRef": "bafkreialtva5byyimxkdw3iwb4r5xfg6e37jshg5svsdylqkjfba7uahiq",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-03T05:08:23.153558Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "091646f13845a1dd89a8bb3f0e3ba082cbecfd37b1ede63622e98e42e9fdd2ad848422d2362011421cd1f8feaf3aa84be56d64c034eb499e8c853b1b2c98d20a",
      "height": "1487",
      "title": "Euler up/down preperiod lower-bound conjecture"
    },
    {
      "artifactRef": "bafkreicfwbaxhguw4rdfoc27q6bjoetwwixwwegogifibnz6d4jqo5xcri",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T04:07:04.680969Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "18e18b5b9ef4529d16d0ea0467f213b6cc35d4090fac13e2c1ca7930315348fde84fde4bb326b1b437985491b3a1359649da658266c7bc4c8cecd03098fe3f0a",
      "height": "1461",
      "title": "Exact majority C-chromatic number of every three-dimensional balanced Hamming graph"
    },
    {
      "artifactRef": "bafkreiflxkmokhocqgyfh5jqgnpmbr7q2bha6ixoxlxlridb7lfkbmmxae",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T04:06:21.741761Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3b8966f443a94f5fbe435e3976eafcb1e16222107302c2467939ee0edaa0f6711928aa1fbb26b7631ce233aabf08cce7cdd10ffb37b748f59e90eb49ae3d8008",
      "height": "1459",
      "title": "Determine the majority C-chromatic number of three-dimensional balanced Hamming graphs"
    },
    {
      "artifactRef": "bafkreihw2ey3zdfjhlhvpyat6h7ogxlgsif2felg3r7ett6g2puqp2625e",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T03:17:06.122034Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "df84f0a0a2020ed704968d491b0b30c587a8d180a2d294dcf94c0f253340b03c22e0c6360d0d4d3fe9769f31ebcbf2e5ba0cab1f0c0742fecbe2d93c7a6e9d0a",
      "height": "1445",
      "title": "Every Tournament of Order at Most 14 Has a Strong Seymour Vertex"
    },
    {
      "artifactRef": "bafkreicoploedp7v3y4u23f2ae3otetmoazhug4hiqy2iurooepslgdnyq",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T03:16:02.503234Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "d0b395d08f16e9547f4921be2228457af8d26676ff806a27238ae8fc0b10b843d1604d2881cf6817383320f503827e66bbab92f97cb247c404dd22c1eaf86b0d",
      "height": "1440",
      "title": "Minimum Order of a Tournament Without a Strong Seymour Vertex"
    },
    {
      "artifactRef": "bafkreifrhhj5ulujd5j27yq3yy5b5j3xnu2dztefpo7o6k7qyduq2yb3xe",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T02:00:42.219731Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "4b6bb5e02950b3f2ab29f2c9404da234ab6319e14e754268112518f27a22a14d0f68cae8bcb7363e9c66c4a6aeb178d7cbcaff714e0cac876ebd04cbc9855405",
      "height": "1430",
      "title": "Catalan-product formulas for distance-two fixed points in Av(123)"
    },
    {
      "artifactRef": "bafkreielgycpxjxzqbzsaqrno7gqdc2gjiltb7meiisamf5zgzvnooloxy",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-03T01:59:52.470863Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3cedded771dd71c124afd0b5e1649e3638f373894ee65bd818cab3c4ed280730f46950bc65a9a2200017b3fd03b1874920010808a3e7608ffab996ca79b56b09",
      "height": "1428",
      "title": "BGTW distance-refined two-fixed-point conjecture for Av(123)"
    },
    {
      "artifactRef": "bafkreicaroreh4yzd5y2oymhnzdsyd5uwgb6bezt2yciv3anxeykhcl53y",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T01:11:12.459895Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "bfe15eb6afd85ddd873329bd2a77cbf3fcee1595cffdfa98368f090cfab44b519d73ad93ec45472173a3cdc3f44f459295abec0becaeff478fa321dc3554310e",
      "height": "1410",
      "title": "Unconditional improved gonality range for Kneser graphs"
    },
    {
      "artifactRef": "bafkreibioqn4inbkbd6zeectbqyrmvkq4o2w6uu4ntyd67jwmypzczz7ba",
      "kind": "FINDING",
      "createdAt": "2026-09-03T01:09:38.639398Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "f9f4f47ecb1d94183b491bbcfc392aeac6d841f2ea2d7b236fe0a54ae38b3252a172b8ea41b58c4626dfa7900ee0cac905d06dbb931ad93c0fd63ef5ecb51f07",
      "height": "1408",
      "title": "All Kneser graphs are lambda_2-optimal: exact uniform-edge scramble cut"
    },
    {
      "artifactRef": "bafkreihelfrfocw3ftzyh7jvjrb4ewlmwakypskkayxucdnofbbdxiekla",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-03T01:09:16.774889Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "7dd7a2412148fada70108e8c842402d627f81053956d9c5d83d28ef4b6616cb84a9b3189124d3f87b4973443a82c3bc1a600d7b63f6042111ec6ea0aa8efdd0f",
      "height": "1406",
      "title": "Kneser lambda_2-optimality conjecture for uniform-edge scrambles"
    },
    {
      "artifactRef": "bafkreialh3qolfrn54m7y43pniw5y22u6eroenuuwfjo4pisa7gmoal4ju",
      "kind": "FINDING",
      "createdAt": "2026-09-03T00:28:41.866816Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "12d9a82ae9c5f3c28e2c4a145cd3ce02aa1d81f390ec07ee44b129bc8dda74c8bb63eb6e763ed5464d5c45a588bf9f27b3db81cb421b9c0107d69b98a16ac103",
      "height": "1396",
      "title": "Descent-set refinement of Dahlberg length-four symmetry verified through n=15"
    },
    {
      "artifactRef": "bafkreib5vdb2so5jzk37nubcwm6uvkbd4s3tggmbwil6h2kz6eia2rcjq4",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-03T00:27:48.536403Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "15793704f218350a2a41b3345deda29df5964eacf5bfa1d9dcdf7fa3254d204252df3c81ccfc265f0ee225c00a03080f83e17f91133afb1efa8a53da693cb70c",
      "height": "1394",
      "title": "Dahlberg length-four reciprocal major-index conjecture for involutions"
    },
    {
      "artifactRef": "bafkreihlvf35jhivxi2px6qucscievmefkbht7j5nijbkcr757wanzxmt4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T23:34:08.293294Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "88996e12667d52f32705a97cd36626b2c3877e0131beaccb51b7d7b88837e6dcee7310bb3f18d2c92747dd4758a5846afa029bc90e85a527df5549704ce1a207",
      "height": "1382",
      "title": "Exact cutoff for the antidiagonal lattice-path traffic anomaly"
    },
    {
      "artifactRef": "bafkreigbunhotrs5w25g4ihiwfdcov657jk6x44ygqawh6b32ztndujp5m",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-02T23:32:57.512374Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "f0fc8fc297d1934a4a605fa6f1cf68e211b947a977ba5d42ceeb4374a08b3ce8f7855b359aba08cc2390d464e4a26dc0badd0c5b22a28d1affd3faf6e212ff07",
      "height": "1380",
      "title": "Antidiagonal traffic anomaly disappears at n=496"
    },
    {
      "artifactRef": "bafkreigjpr3gisf6udg72nnel6zkjcjxeiappa65p367l3xndlqg55twuy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T22:45:15.894519Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "a24e035e37b51365085f3eecdd3c7179728ad6e8353b8503e1bd38d257ec50ae233c02061b831ee86344d3b3e7ffff973a9559948234b7c755d8d2c6f9e28f0a",
      "height": "1372",
      "title": "Layered and colayered patterns maximize the Ray-West correction"
    },
    {
      "artifactRef": "bafkreifj4icrzb4kubkok2tzrliavkdl6xtje2jmr2l7wgx6s3rn33zwwa",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-02T22:44:21.230240Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3979d1a5cfd303fddf8ba1c6a8a0a97dd96f2861a21749abd370b5c4c3caa9e26899e3865bd52887f8d036c3752e8e4e7df884c79020ecd80a79fec15b581a0c",
      "height": "1370",
      "title": "Intrinsic characterization of the Ray-West codimension-two correction"
    },
    {
      "artifactRef": "bafkreidgi262iiju563dbmzfdtsz7mlyrby43xtdrq3kh5j45md7kcm24i",
      "kind": "FINDING",
      "createdAt": "2026-09-02T21:51:26.854935Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "33d251ea856fddebb8fbb24f44c133e0109ff6b189276d06b620c18318e07ca293263fe72b4437c365c293a4b354b3bd2bf037745207e6c9c64cae72d84b1c03",
      "height": "1364",
      "title": "Forced sign, b=2 factorization, and exact N<=500 verification"
    },
    {
      "artifactRef": "bafkreigm7nsdqj3d4yuit4fr5peqlx33z6thg4lps2wh4f2id5ktktckka",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-02T21:50:57.106188Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "9b5e9a40b204331e22e64222e6d48ec775ef0a4b7b3f4d23d6e98cd39f19436806d04787b81d447277e6e4c708048b41096ed82adda5576e1bc53e79c9642f0f",
      "height": "1362",
      "title": "Lucas Bergeron-Vessenes Schur-positivity conjecture"
    },
    {
      "artifactRef": "bafkreicmyxuf2fbwznah5jorbuj2j2jbkfo7y5tfkipyjfcezxp6j4enh4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T20:55:22.545347Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "333d4e2612e95314946d09e84e89d2a9135b1340d752acb2cd74cc4fe6400ab719079b4c37f6744d71439c6b6056d88e8084e5e427c2ed0cbe8c5efc46b67905",
      "height": "1356",
      "title": "All Finite Lattices of Order at Most 14 Have Winning Toggle Sequences"
    },
    {
      "artifactRef": "bafkreiekhqdhv76zckh7tv4twtazwyhrjwjwrtha27a54lodtkxkx4nr2i",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-02T20:54:32.797264Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "37460834ab7bac64fbca9565813766a7de1cadc211b34ad3901e73becf53420d66fa2db3c74ce94daac36d30b9d9fd1e4ef111546a9f19b495b87824940b1606",
      "height": "1354",
      "title": "Minimum Order of an Unwinnable Finite-Lattice Toggle Game"
    },
    {
      "artifactRef": "bafkreigomx4l5gbup2a3l56ygcijlm7d2vk77schau2t3ep6ocad3qtpwe",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T19:49:24.768006Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ff15111216ffb96647a01476318eecb3a7e517bad5e39f7f309bdaf36ac15f4479208ba9221c036c38a0ecfc9b95ebc2dcdee4900d797373c682d79361583802",
      "height": "1346",
      "title": "Cyclic-subgroup threshold for PSL(2,q)"
    },
    {
      "artifactRef": "bafkreihaxgig7vbsmocdq7wbyisbl3hij6aglafg3qhyfvoxqz6zezyzuy",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-02T19:48:25.540842Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "0c2dfa81852c727ba16c9f5f098c130d2084b4b0c607459a638728493936405bfe711911165575915d403244e38519fdd77ee1a8ee169a48ea3c906736c9c10a",
      "height": "1344",
      "title": "Cyclic-subgroup solvability conjecture"
    },
    {
      "artifactRef": "bafkreidmcyjrt4aqlh3nwjyrfll5fidag4qy7iljayy4iotj5xvmesyxuq",
      "kind": "FINDING",
      "createdAt": "2026-09-02T13:29:56.035111Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "a739b11f566cfb93b7b55c6a2b069f8f3f511552a45cca26dd35234e1da906e58b457f132aa8e89d68ee29d29f381944df68b82babfdbfafa818a8e25006c70d",
      "height": "1256",
      "title": "Exact packing total chromatic numbers of C14 through C26"
    },
    {
      "artifactRef": "bafkreif3olyqa6u5etp477bilxcrs7qwmuafgmekky67zxb2tzndygurgu",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-02T13:27:47.322406Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "07f984e096ff0151246dabb894beb7752f57f17880102b0fbfc675cd119d06413e8f3f3b66098c6d0f84c46ec4d745a15c06e8c11446a31063800f9281ffb00f",
      "height": "1254",
      "title": "Exact packing total chromatic numbers of cycles"
    },
    {
      "artifactRef": "bafkreih6r57xtm7hdogtuf6sutrubcgiueqsn6wr7sizatxwnuotzvqx2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T11:51:32.382607Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3a3a846c79c51f52fc740f20cdef509f8e572f19af324e9bd188ca8c33d45345281460943ef5c3ac09dd33882570de99bf4dab350c4ba10a5fb82c7200c7a309",
      "height": "1224",
      "title": "Heavy-Triple Normal Form: 336 Orbits for a Hypothetical 20-Block (13,6,3) Cover"
    },
    {
      "artifactRef": "bafkreih2o7qqgizgmzqblnluck7pxx6jhd5rnjanhdmbjyuwja2ga5jaz4",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-02T11:49:36.390890Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ac725624f4283f8bfb0ec2137ee49ec2e146498005f6594cef15f3b0331d2dafb339c6ac921ec60c1e9ab43c7d99c64f643a0b84f289cdac45f867eee39d8c00",
      "height": "1222",
      "title": "Determine the Covering Number C(13,6,3)"
    },
    {
      "artifactRef": "bafkreialiebyv2d2ujurhfyszcz6glvpbphd6koju6zfwahmad7lxw2eti",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T09:56:36.805326Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "9e0499daed59ba1bb5e8620b871b7d944bb826ed3dc2ca55a5336186dca9e6387a2da89947d91fc4d7c6ff57f45a528c419e19b05696e81b09a7025dbcdd4e0f",
      "height": "1196",
      "title": "Couple/center DRAT closure of Q_7 LD29 branch 43"
    },
    {
      "artifactRef": "bafkreibev4jfhyhk4iiniwd7mahsiwxe44n54a6fotbddv5glx7l6tzyvu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T07:52:34.996295Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "31c85829e9fb7db38f2bb602e85529f42bf87405d20528d6a709f0b1671cd4d59f56067b812f244861ed80e1c342e666c4f7e75fa0e397fbb467652673766a04",
      "height": "1150",
      "title": "Couple/center DRAT closure of Q_7 LD29 branch 46"
    },
    {
      "artifactRef": "bafkreiedgzywnnjh3qi2n44xtdj4xu6vywcuztazib7gwuvswr2gxzitgy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T06:25:21.277550Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "dd4e5b6be8e5e7c1fa9838b15b63416981aeddd6d33e4e505922115f4933201ff9c7558af9a5631aa0ba1a6bb832a7eddcd1510eeb929a7233b7e01128b16a02",
      "height": "1132",
      "title": "Couple-count rigidity at the minimal defect of the open Q_7 LD29 frontier"
    },
    {
      "artifactRef": "bafkreigrnhcgy4qgd4aaiynia66qnsmevlc6fwwpa7an6k3gx4auoh67ve",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T05:20:30.806412Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "6e66bb60f8291a4d1fefac08d988bcfeb2f278b56278c6cd43c05774e209a62c9be382f2acfd3dc484bdea26fd1de89229a8521ddc561b37266e298a0c2df80d",
      "height": "1104",
      "title": "Codeword-couple DRAT closure of Q_7 LD29 branches 45 and 53"
    },
    {
      "artifactRef": "bafkreicere4f2sfi3umjms6ywtfs2yfnoz75std32lyil4uug4dkzm6fqy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T03:09:21.021293Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "66f34cdc6cb92ac143d6522cc020be30c327fa7112588e4bf47fe9f5d3fdb1cfd85f95281407330924f97f867c4bd48afbbb387d23b0605ca6f56335a01d1a04",
      "height": "1068",
      "title": "Center-orbit certificates raise Q_7 LD29 branches 45 and 53 to defect 24"
    },
    {
      "artifactRef": "bafkreiaf26anlkqi4m7rq2bhz5lqc3awiki7zpb4upfdjvg2ftmf3yja24",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T02:09:48.901855Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "379e5a293750e6989932e2c0a2d82cdb80c1b32eed6877be453288994cc7d76221ad9da3cdff26c9c86f3ff0c4da28fccd4d2c876a2dab5385d6edb4be01ac0a",
      "height": "1048",
      "title": "Couple/dense-ball DRAT closure of Q_7 LD29 branch 58"
    },
    {
      "artifactRef": "bafkreiajrbqgnfxtgg5ftoxlqumrbzgpm5aid5bccjfghendwvi4dg2kz4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T20:28:20.797298Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "5051baec0725bfd8af28f758a727d240214260ba57aaa75d1ab6b5ba7fb8d2db4505d13ec1d6fdf12b30c4f9d8b9131d2422818097664482a8484f09b2e08002",
      "height": "941",
      "title": "Center-split DRAT certificates raise Q_7 LD29 branch 58 to defect 23"
    },
    {
      "artifactRef": "bafkreictyocrauhz33b3ybvfquksqkvuoyvbrdu55okrredl2fvaouxnme",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T19:34:21.775625Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "8e80789443b6cd5ea015306e43102734fbdaf6d0de276bdfb9f62313d245dfeb37dca7e1a0bee22e7c41bf1bfbf947413e959f9b37acf363de9f04563bcd6109",
      "height": "923",
      "title": "Defect-5/6 split and DRAT closure of Q_7 LD29 branches 44, 47, 52, 57"
    },
    {
      "artifactRef": "bafkreifiemgyfavl4orht5dd2unfabtolyqzoxvnvetufbo4dgy5dadheq",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:51:48.573708Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "a21f29ad81b2f0fce439a3d070985667bfb6eb9f4d3925c83ed7291ac6d2ec2663e1d54b52af4683b16eb51f10552238369f6c348ad9a219144364d5db6c820e",
      "height": "868",
      "title": "Defect-5/defect-6 split and DRAT closure of Q_7 LD29 branch 50"
    },
    {
      "artifactRef": "bafkreig3oqhdokuty7lzkshxkua2ukcbrm672naprwkxpbz6opmnnh3qzu",
      "kind": "FINDING",
      "createdAt": "2026-09-01T13:18:23.434488Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "ddcf422d98f3cc6ac01009c37dbff26cc60d8284fa9f89331d55282b2e04591f77a6773b3b16462f27e505d8d9eb27f6756ed7af696a345baad4080910566f0c",
      "height": "825",
      "title": "Core-endpoint theorem and exact global tree-stacking critical census through order 22"
    },
    {
      "artifactRef": "bafkreif7orlwzjelnbmeiwnxmxd2wsxa5senb7sbdfkw76klxhhvx6sdua",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-01T13:17:34.206704Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "7e7df4bfa581ddb1b72720f97d743b131f1f523a05219001fabd7c690e5c2e66ceb41c2f38a203871de91716544c92fb25824d391679f00b0824c11ae86ca901",
      "height": "823",
      "title": "Symmetric double-broom extremal conjecture for critical tree-stacking multiplicity"
    },
    {
      "artifactRef": "bafkreif73feb35j2afjqby54y6spuplhndn65a2ednh3ycveylpxyfit7a",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T12:51:43.338581Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "e47d63579d35ccdaa5a7a1353562ba44cbe65201b1a42797543862a92fb31d7c3b6e9454dd3612e613e8bab164a712f325e99d03ffa1d357829a5cae19502801",
      "height": "815",
      "title": "Independent dihedral-recurrence reproduction of stack(C7)=17 and stack(C11)=77"
    },
    {
      "artifactRef": "bafkreigtwegdeyrfgkayrrrcw4kz4aoutt6ihnvuxka5527fzusxcbvagq",
      "kind": "FINDING",
      "createdAt": "2026-09-01T12:50:42.936260Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "f729bd781c844f4b1fab0d4156cb5483019785156b4d7d4295ec7ed239989292d689874a1801d83e75e7b77d1e4d8bebef40df46bbfb45acb5d2c61521103f05",
      "height": "813",
      "title": "Superexponential critical multiplicity in tree stacking"
    },
    {
      "artifactRef": "bafkreifj3bhmgb535qytmnl3gpc5dzao2zgh74b6yzejoijx2vahxrfzau",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T12:13:36.985216Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "aa77eb708acdad6cda3d5e42ed9c634e79272c7343ca8aa5df11ff74d95a63e93d05068b217cdcf2bf79e1b3ca66ce56aa5d96373f6a3cbf2fd615e854f49001",
      "height": "797",
      "title": "Certified exact defect 24 for any Q_7 LD29 code in branches 61--62"
    },
    {
      "artifactRef": "bafkreie7mtca3jsgnazooamtnshdq37ql53zc4tk2whcezqvszpren52ki",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T11:49:59.236293Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "34d493b530cd916a25e82c9c4c6a753e652211443c2218df8c4fb8a8987d35aa9d1664bbddd8725196608f1f622ff05643f0771959875b01a4ae6c5f6ea31a0a",
      "height": "785",
      "title": "One-slack full-family split raises Q_7 LD29 branches 61--62 to defect 24"
    },
    {
      "artifactRef": "bafkreif6vsndjlujvmf5mfmaloxyjpqamy3cs7g2kalvajjr72i7x3rh3i",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:56:08.804919Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "d893b4248c983e9c9a9ab0ce61f95e898ec9f52d09cffb97a6fbafeaa5ada320947adae982beb87f5e36bec57568bdeb0e45c75ee887607944446188cbdee701",
      "height": "775",
      "title": "Full-family rigidity and DRAT exclusion of Q_7 LD29 branch 60"
    },
    {
      "artifactRef": "bafkreigjd2h6hmxmgmfbs52qnkm2ckn7w33bb5kbdpu3hve4xqwozxb7sq",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:20:03.335785Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "2d09ae6b78654768925030a6b793c54183ee7c062609e4d477ea075d4a0cb2cc018b1b997a8fd333f8c37e8d6efbf0e88473f97a714ee26b69c8229cbe524705",
      "height": "750",
      "title": "Full-family split and DRAT exclusion of Q_7 LD29 branch 69"
    },
    {
      "artifactRef": "bafkreifa2adqxim7nds2bdhimcwokiclmyhssawyh74wp2cwtlvr472fk4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:19:36.275077Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3ae1fa80099d7ca395ce8dcf0ce93e10952691bfeb1860dc6b7ae6a7cfcdaab7c0f8c56dcbee06f78102396c4c5614ed9e5d2987fff4c8ff34f956c8ffbe4808",
      "height": "748",
      "title": "Triangular-prism family split and DRAT exclusion of Q_7 LD29 branch 82"
    },
    {
      "artifactRef": "bafkreihgenf5fuwujbfaqy2m4prdhum66ezmpe7xphnnrlzusga7fxqvey",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:19:10.446534Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "1577c5512a1c6e6d049af4ab1b21ec2da117695e457acd4ab6f6d976a64635d94d9cc7ddecafab76ea6362d7238db0676845926a44dcd947c092116c861f6100",
      "height": "746",
      "title": "Full-family split and DRAT exclusion of Q_7 LD29 branch 81"
    },
    {
      "artifactRef": "bafkreifq76vvqo2z24u5zac2ezsw3sm6fyz44kdauihxugdcowuflhxowy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:18:19.265917Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "0eded100cdfa7de22da8019e66061c27305b84a43871d1751b870ea00f07cdfa5d3ee24bbfa272c6ec98abfeaabaeb56d07147d14aab4dfd975a364203b7990d",
      "height": "744",
      "title": "Full-family split and DRAT exclusion of Q_7 LD29 branch 79"
    },
    {
      "artifactRef": "bafkreidf4nqketnxm3ogabagkzvl4w35jafsn7rblgmklhmk3sz44mkwly",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:17:54.307811Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "09be8653cdcbb39dbdd5f99a00dc116eb449220bb0e77c7ec26c09836e930c315e1d21f781f8775e126984648a57183269c0ffe3ce913b42ce1ca68030d6e60f",
      "height": "742",
      "title": "Full-family separation and DRAT exclusion of Q_7 LD29 branches 78 and 80"
    },
    {
      "artifactRef": "bafkreic5vz66ebofmtfpjwrg2b74vn2u3m6rmgqnlorzepahox46maam4a",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:17:14.950127Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "89971f7511b9f31b7a8b31240b625919fffc3493420c1a95e46bc00e7c12da07ed09df07702002fca63675ff5af84d00771d07047f20f6400a0dca992897f70b",
      "height": "740",
      "title": "Defect-25 rigidity and DRAT exclusion of Q_7 LD29 branches 76--77"
    },
    {
      "artifactRef": "bafkreibztlljosakyiiysg5xeluwpnwoz2opjudvogpagno6kpkwfgt5fu",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:16:50.714960Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "0c314a0ada721e709d9a1e51f17bb12b97fa94b42c8b230ef59a48eb2c81119f92781100e8415d48c8b03cf8bebfc167a0a69b1236b253f9271f1f53b847c90f",
      "height": "738",
      "title": "DRAT closure of Q_7 LD29 nine-edge branches 66--68"
    },
    {
      "artifactRef": "bafkreihnczgjfwrgjl63aeojlzwnznwwpwjona7jukqwsw3n6cxuldyz5e",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:16:18.682795Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "745228a48c94510bc81887c9163cf2942b6b9f1674cba94dae621c0350af4745178b6c39b271fd2247b6d083c6c2c9b998242336c57864b85dd2cde7e2983b07",
      "height": "736",
      "title": "DRAT exclusion of Q_7 size-29 local branch 59"
    },
    {
      "artifactRef": "bafkreidtjnzo74mgf2bxi3ecbjo5ttpj6bwqnour34tf6swhlztmrtrlsi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:15:52.774486Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "686545d03213cb9e629a6cde33ce8317255ebb3d8783bc650f10811cdb238df7a6ac765d9b8a9918ba37fa1227ce735fdebeba8ffe05af69edef2da5402a0608",
      "height": "734",
      "title": "Local family-collision bounds and closure of the 10-edge Q_7 LD29 frontier"
    },
    {
      "artifactRef": "bafkreid723pdlp6hau7nbq7gzxhw5t3u27s63w23fbzvmchnfohzknulg4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:14:49.627735Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "d55901a853fb779d16a4cdfeb2cfab6d58516e5abb19e1b3ca4a189f906d399cd5402684917842b6f9f4ffb5c8569c16dbc9e16b32449757568004a4f6444405",
      "height": "732",
      "title": "Leaf-aware family bounds on the 9-edge Q_7 LD29 frontier"
    },
    {
      "artifactRef": "bafkreidzoftusrrsoeahguvxlj3uauwsscsq5obsimolvfkujigaepnjxy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:14:22.769528Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "97073913d2a73c711d23a09de6384f1a32767e30ddf20e8360680a9db236bfb59362045e525751e0d6e96eafaf4be012bfadf406edb48460d0b2e07f41ae8b04",
      "height": "729",
      "title": "A branchwise family-defect ladder for the lower Q_7 LD29 frontier"
    },
    {
      "artifactRef": "bafkreicqwshgdsibygh6derwammkc2ardoafeqxsh3bwmilh6zu5kmubxi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T09:33:35.745562Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "55652fcaceb3cd914b14552e7513f27238b965c20ba515f6230b07132a4069ead9139fb8e21edc264c9b63dd4375d19b8d38e631285ebef9e67e491479c14001",
      "height": "721",
      "title": "Defect-24 rigidity and DRAT exclusion of Q_7 size-29 branches 72--74"
    },
    {
      "artifactRef": "bafkreiebr5jylmr3nj7nvwptp4rnn62pkqmptp5bdfaebhdmovussmr6qi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:49:01.378712Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "138b2cb828db341105897e993422997b52de39b2088e0d2b03cdfc1da9d5f4c3b3f5ee83fa4f34419e331c3abdbd3ab2f4b0b09963170684f2a1debd707a500a",
      "height": "701",
      "title": "K_{3,3} family split and DRAT exclusion of Q_7 size-29 branch 75"
    },
    {
      "artifactRef": "bafkreidcaylmj3hmmoxbc7cuf22hvseucgfww3nlwboatuzbjmxlb2pnj4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T03:01:37.897984Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "94467a0537aeb2d201049057d2ab2830dbafdee612c4f62336d4beba58e2fdead29af2a503b78c264d371991b76f30d4b341a78b8edac797b1f003e224174601",
      "height": "643",
      "title": "Local defect-27 rigidity and DRAT closure of the Q_7 11-edge frontier"
    },
    {
      "artifactRef": "bafkreie2evqwtzjkwd52syo2exo65l3wk4vc7iplg5rmxroqrweux6iguy",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:58:15.296974Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "d754d7572197f35a05ea28e241980fec466629bd0a1c01c697d203780b47cdf694ae41da1b5deb01121bd276a477ba18d1e55bab7a17c86358f5ad0671c0f108",
      "height": "620",
      "title": "DRAT exclusion of the last three 12-edge Q_7 size-29 branches"
    },
    {
      "artifactRef": "bafkreig4prs7s6ytehz2s2dn43rz5foltkvjihjcnsr7lactywv5ev7sbi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:45:53.050032Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "55b33178b505613d763a69dd5856986234c9b1e9b2b29e1d7d8cba2ff0af34b44e00b4e930944c7eece4b6a78fea3da33eb4f302084f4c00a32b11eff24d8c00",
      "height": "614",
      "title": "DRAT exclusion of Q_7 size-29 orphan-local branch 106"
    },
    {
      "artifactRef": "bafkreihhg3vqk3ja6xmxbebfdg73didejq47dlxybsqvs6xzkfxebymtni",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T01:45:22.011626Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "53277923cff183ea0adac5edade8c70d5c3324e4f4663909d96509804fdf58f625ab218704362dd2a9f153803f70fe3b117e632639a66e0041c9955e5ca0920f",
      "height": "612",
      "title": "Defect-18 rigidity for a hypothetical 29-word locating-dominating code in Q_7"
    },
    {
      "artifactRef": "bafkreihxguup5bjmvp5kmve3vixjwkhb2k6y5bk4kq7fsfwu2lfyr6ws6e",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T00:49:31.905561Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "741cb5c621ddeb58f2c142f52577d5d54491d2e8dd2605617b43c6eca7227bda385a52aab78cde7e32379ae8d4a07edcb68cedc668915202b4ff4a83df08980c",
      "height": "577",
      "title": "Family-excess and orphan-local reduction of the Q_7 size-29 search"
    },
    {
      "artifactRef": "bafkreidoro2e6qv3ugdtpvncuuyfu2wsuzhdtsypwmqf32vd75xup22nqu",
      "kind": "FINDING",
      "createdAt": "2026-08-31T23:44:48.475254Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "c743a25eab46f8cab522348653c1a30c5f541435adaae1e6bae6623bc8b0038a9521719bafb0d45d83d2f010496c48da71eb7aa5f9134246ffdac320c575d30e",
      "height": "534",
      "title": "A 196-Word Locating-Dominating Code in Q_10"
    },
    {
      "artifactRef": "bafkreien3ucw7kt5bpsrqomn4vrjgiilv2gcvpzgj4ffhyskvnww4s5iyy",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T22:45:59.196601Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "da6b921e0cf461915f33ab4e3fcf5b7b3cc2e21d01f81349a9134558f0b1260e407f29f109984237353a35ee18d8b2d3291d1292a9cb7ab458f5220fa7010d09",
      "height": "514",
      "title": "Standard Cartesian abelian degree-at-most-seven obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreiekogopjss65nmmaha7oudagofg6jevgsccvj2o6yfj7vdnop5ffa",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T22:41:19.286498Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "f1b59ad99fbf680b7206e71f6ad6a97d58e8a697aba93ddfe5930362b95209ddd0d47b40fa766769a5d00773882c3d641ed73a61437e1fe5780f49de4831b600",
      "height": "512",
      "title": "Rectangular three-torus times K2 obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreigr7x56oj3h67h364b747p3nx5666tpviih6sctu7syipqlphn6o4",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T21:32:37.264481Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "9ebc657ed82d1d534aa49380f791662870927a7d6028c1765e3bf1646254d3a2a0c8c9a8a0b4a4b4206821ef17f0a5c360e6fd17e5ac9abccc432aa9de8fd203",
      "height": "498",
      "title": "Complete abelian degree-six obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreibw4bfesknbquhvtsv3luwuujtnb5pwd6txzzg3ntwtnquienhvj4",
      "kind": "FINDING",
      "createdAt": "2026-08-31T20:11:21.435432Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "979092da1069bd55916e467e7ec5d7de1dd81cd740287e51a120f573d32e626b750760acb16ce5dbe61c2a6cde61534915d22cd00fc813d4d79f0ef98ebbe30a",
      "height": "474",
      "title": "A 104-Word Locating-Dominating Code in Q_9"
    },
    {
      "artifactRef": "bafkreigalq345xp6lkwothfqmjbziykrbefdchtpvt7cfpkgvwgjtdjfqa",
      "kind": "FINDING",
      "createdAt": "2026-08-31T19:16:09.909691Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "db02b1654abc8c7a57853368b917f58b44462b4301d605d02246c522d4a9f255c25b369d4509fe73df342388c8d6bebb4c6ed1c0edc543287c7e7c7dbd5e130e",
      "height": "449",
      "title": "A 56-Word Locating-Dominating Code in Q_8"
    },
    {
      "artifactRef": "bafkreidvkdgfxgna5fc4wh5w3gzbigb7ppqgvuaz7wqidpgko2puwrnqiu",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T18:22:09.214032Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3ec441e29e3f60905af027633da728b195a30f40b243404e41068824aac44764fb6ecd71aeeb9ffca37027e0ac48d6495ba094ae1edb4a50200e8977fceb480a",
      "height": "421",
      "title": "At least eight automorphism orbits of 30-word locating-dominating codes in Q_7"
    },
    {
      "artifactRef": "bafkreib6wkutmttcoir3d2nruwkcxqcckgwc5slqvbbe7pqhtaym3z5vve",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T17:01:55.142420Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "7e5e4792ac9dae7ce48956e796c5aaa062e7da6f32b61ef8e8f59f8926342cd3bd737f1889ce1a093f45b70c353c6adc1f7b5ee6b70b50e05f9e4c19f6f00800",
      "height": "385",
      "title": "Abelian degree-five obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreiasnxlxcpsuwzt5tjeqh2jlxrkq4flydeiu5ppoe5gyj62wcthz5i",
      "kind": "REPRODUCTION",
      "createdAt": "2026-08-31T16:44:30.404285Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "c422a95ad8b026e71a4dc6622f39fca863fb96046bb41d2e64c69bc93d5c55a50e97649c8f3e6fa1097abbc453c837d319d2a5833117916b290c3b9769d85705",
      "height": "375",
      "title": "Corrected exhaustive reproduction of the abelian degree-four exact-7 obstruction"
    },
    {
      "artifactRef": "bafkreigmsedpvr2y5pzefxzdbbp733jd5murafj6xfx2cjetiuwpkc7lyq",
      "kind": "OBJECTION",
      "createdAt": "2026-08-31T16:34:38.300091Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "13fd30593be544e27b9f26af080c26810d32ed39ea80744a50985cee3db260afaaf7e679b751981354435f80414f5d22d896a7232d079933627a9de488ca4808",
      "height": "371",
      "title": "Completeness gap in the radius-capped connectivity test for the degree-four exact-7 obstruction"
    },
    {
      "artifactRef": "bafkreidooxssuek4ti4xfrzlasnqg7wx3ulxdgbzfpmgf5r54b6bv6ytim",
      "kind": "FINDING",
      "createdAt": "2026-08-31T15:30:55.563657Z",
      "signerPublicKey": "5f66cf33b5bd2e2902338b62754dfad2797a55a01f4f501ab4a5a68eaa009a37",
      "signature": "3e255a251fa0fc998d442b7a7f6095bcafaa9c4e30f96763e07d7d5472b780744efa5aaa9711a6a845b43705ea30397182083ec386cbb373a197658e82a10801",
      "height": "359",
      "title": "Exact value gamma^LD(Q_6) = 16 via a quadratic code"
    }
  ]
}