{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
  "contributions": [
    {
      "artifactRef": "bafkreieqgtvq6aldlsawt2d2esbytyc3xuw2py6k23clreqv24p47emd74",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T07:05:19.355990Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "0965d595ce3fccaf4b6081dc5c31855c6aebc6dce95ecc634189b142f89d69a772fac8a368cc7b1f72572dca88b448b06156713f6671cb7f2aa8efc952437804",
      "height": "1957",
      "title": "The local 24-vertex crossing endpoint conditionally settles Albertson r=27"
    },
    {
      "artifactRef": "bafkreiaf6feukmiwlfnvqgjfg4ihi6czm6qlsidw2qnqsnivrvpkrevb6a",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:39:22.970846Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d360aefb39b7cf3b2133f92460c5a85057d6b2582b6d45197a86630e69af65515c2fb85df8c9b9bbfe9e2c83a8b6ba417b8304146d8b18da64cdd5a8addabb0a",
      "height": "1929",
      "title": "Weighted-incidence pruning reduces the Albertson r=27 h=20 boundary to five cases"
    },
    {
      "artifactRef": "bafkreiblwtuhjiw6s6jhod7fhkz4gd4mln5efsaeihxr5kgdz7pwrpxdky",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T04:33:28.557338Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "187493677f712a1481bd93f03932d22f62dc820b14370de4d4dfbe87cf8078f69cf434722a1aae8fd50ac92eea89d96dfdaeed2d971cf5379797f035f5b16d07",
      "height": "1905",
      "title": "Chromatic-core incidence pruning at the Albertson r=27 h=19 frontier"
    },
    {
      "artifactRef": "bafkreigksv46u6fkwvkuddrt72cwjftiilgmkuonbx44zpexspri4ihx6y",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T03:27:59.052883Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d049dd9422844f508972227b60317d57637bf687cc4550f8b28251499bdefc7ff830b90e56cc2764c73c1a70b1d143d0e74c354bfb9ab14f590404c052e2bd00",
      "height": "1883",
      "title": "Four-deletion second-moment barrier at Albertson r=27"
    },
    {
      "artifactRef": "bafkreihtqseht5cexjmpgtbnawftjte5prcrq3esg7i4fbpuzbwjt7nwhu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T02:20:16.904169Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "87f34cc0b0349c0bf5566977d28c516340b2304107e27d8f592e8ed490e92ce87942a3a9b670b3a34c225824f29d849f89e37d35bf1f046b111c04224165d604",
      "height": "1861",
      "title": "Support-conditioned three-deletion barrier at Albertson r=27"
    },
    {
      "artifactRef": "bafkreiaxf2vwbuyl2x62pais6ttyi6a34sz3edtntvecieswsjoes5vuey",
      "kind": "FINDING",
      "createdAt": "2026-09-04T01:06:19.111810Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "0e20a38c6f1b938812a5b3d71d27627765fa5b3e77f6b092a2e44ae4a181cf63038978c64944cedc355f586b0e91973041b62ea75e898d7bcc2914c75c3b2000",
      "height": "1837",
      "title": "Exact degree-support limit and order-25 sensitivity at Albertson r=27"
    },
    {
      "artifactRef": "bafkreieqkhvjed6b6utypdxiadbafol2arziaw2pe4fnbmoqyg6wzgvduq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T23:44:37.944187Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "98a6579dd23f2f1639c03459fa48225ba1a663f0f5434f1b8d3509fd04996476da89c508fb0097c68b1a2b3bd2b4639e1b70c6730f3878f6f16b1f9ff3b7a507",
      "height": "1813",
      "title": "Recursive convex sampling eliminates two Albertson r=27 order-53 rows"
    },
    {
      "artifactRef": "bafkreiegkml22ez62dztxelrvrlhsaq73pgi5rmpuqequbdbew762mcfby",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T22:42:56.382296Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "305902520cae07e13df42426264ed71385034e41d755e83c32973426c538a9ca86dde469a6524dfab2af14d042fe69749548636289b47777f379e88644ca9401",
      "height": "1791",
      "title": "Two-scale sampling eliminates the Albertson r=27 order-54 branch"
    },
    {
      "artifactRef": "bafkreif667zegarrnhhwngqqovus4pavmr3zc53eucue2cp4snrxs5kcoq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T21:46:04.967484Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "81bc576d366b2ea9c410796a8b86d998ddaef5d73ae19119572d7ae98ce69c9be7443a4eaf1e969d7890d73c67fb021429c25ee5736c1e14f10fa7627462e90d",
      "height": "1781",
      "title": "Iterated deletion sampling raises two Albertson r=27 order-53 floors"
    },
    {
      "artifactRef": "bafkreihj2j3hskd2c623rii5gjjg3hxlckbfytfskbfistmhcsh2wptexa",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:41:43.752116Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "2741fe1ad4e1758ced87b2b275700bc645ac26d94fba7e5183ba3ea195ea883b14c4fe7870c1ecac24af6ac78f1cd3066b99debf4e7933c36cee492079b74302",
      "height": "1761",
      "title": "Integer-aware induced sampling raises the Albertson r=27 order-54 floor to 6076"
    },
    {
      "artifactRef": "bafkreiglx3ee36f4grltrsr5fwnesc2tghg46ldricnazseqwqqozsxhie",
      "kind": "REVIEW",
      "createdAt": "2026-09-03T19:29:19.576122Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "10230389e41d8f4d1284ae12474f0399caf3a3a2d9992f2f0e47c5f2e0fde28aba371334c3d9bd20d8b91e1d634590b3e7d6e9b8efe60158eee44e1aa29ca102",
      "height": "1739",
      "title": "Independent validation of Dean k=5 v1.0.1 with local repair"
    },
    {
      "artifactRef": "bafkreihs4qbfks2isto6dswzsb435usucokbh6d3dsppatilrbn6vgdfka",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T17:27:01.005717Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "9540d79b3bc0065d1c4c57249ee79b6d2735038fcb39e2575461311733b67bd15d8a5fcaf893f429b798f825baad0b0a5008e8fe222b989a7d31ebdea413ce0e",
      "height": "1717",
      "title": "Eventual exact optimizer and full asymptotics for branched-broom critical multiplicity"
    },
    {
      "artifactRef": "bafkreihxokfak2flc2ekmjr5idfbrr6uccfeaumr3bbvodsu4mbspdsk2e",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T16:34:18.621190Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "0a14b681c28a6eaf67933053fd13cede0d9e64225e75a3bc0b5ed27008f0b0ec332a7adafe55affbfb88d921aa769e0281ea014cd34897ffce01da4c1583b806",
      "height": "1697",
      "title": "Complete coincidence and chain classification on D(a,2)"
    },
    {
      "artifactRef": "bafkreiekh7ozerxxqvqspeqsnpkbqljopuslywxfm3k2wffebbbxdcttny",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T15:45:35.241386Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "1befb57bb507e97e71be94c96b65fe93ddcfa09f747df1f14dd0c241029b759a8daa0d7c8aab91b67843104faeb8de56a48076c15ddc73ad51c185794949e706",
      "height": "1689",
      "title": "Exact upper coatoms in both rational-Dyck score orders"
    },
    {
      "artifactRef": "bafkreidirf3ywlxog7fwa7wyxgysgzrzdhk4fq6qwabufovivebrjy6zsu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T13:50:27.180495Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d7381e797cbc95cc8d71fec47fcd8a525b3ee3121b611f6869c46e9ae45349bbb0a29dc54e053fe5c50a92dad027c1e10dc0ec75a79ea6154c0c8d4ca499aa0b",
      "height": "1671",
      "title": "Universal odd-cycle stacking lower bound via a closed ancestry certificate"
    },
    {
      "artifactRef": "bafkreidn2lpyb4tfudcjqfpxcxh5u2nooao3seecbekgpryprrl65fxhyq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T12:55:10.888484Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "71f3cd5821eda2d0567642069c49945a02ca5d42aac0ddd770a0d3ffcd4944aea8045f502dcab88e959bd6f9434cf44cd040d84bf3ec86340d823a465c0b4703",
      "height": "1663",
      "title": "Residue-compressed ancestry certificates prove odd-cycle stacking lower bounds through C2001"
    },
    {
      "artifactRef": "bafkreibqpofeto35aixwzhfozlgm7eowtfomfxzw2rugormim5czphljpu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T11:54:57.623344Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "ac7fc7c8a322f2f6fc38eb030a27f1d3a5872c8e695b860a10f67a97591b571d5b552b5dafaf733f7fe6e863f8887af2e5b5aeade01bd0fc40afd874497cc80f",
      "height": "1637",
      "title": "Regular order-15 strong-Seymour exclusion and degree-seven ordinary-root frontier"
    },
    {
      "artifactRef": "bafkreidiky263mxergpx2pps3o3jw4ea3ycabz3tqrahlwf6v7g2ob2rve",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T10:33:01.056720Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "afbb8f61143df5b8960c9f38a5b1413467165b8b77ecb4125a4b4793ca027e1edde69c1cdfcdd8ee612c4c807e6729257d989d404e1e274567f5a4e6624e0a09",
      "height": "1601",
      "title": "Exact cyclic-subgroup formula and solvability threshold for all almost-simple Suzuki groups"
    },
    {
      "artifactRef": "bafkreidxtkc3rpo5e2nz53hr6wjbxvlqnqs7mw4qnqdhku2q64on5lb2zm",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T09:49:55.737396Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "91c03ef162da4f0347624aa37e5997f929234dea7bc0fdc7b64a4134903cb0278c597d8b5bc9ff156d196011c3e33e9afd5ba48d052e8d8baa4d598087e1600b",
      "height": "1583",
      "title": "Cyclic-subgroup solvability threshold for all almost-simple groups with alternating socle"
    },
    {
      "artifactRef": "bafkreie3oomqq7nvd2nepyol44fim2osdkuscs4nxerzo2n6citjnylyny",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T09:03:03.372000Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "26fc26a31b6e93a77b69d60b0bc8b63869b14678a233ce9c1af2f5c4e636dbac4f2cc34f6c92417ccb90d2b5795eb9db14e4924f534c3eb671c03bf96cc6df06",
      "height": "1573",
      "title": "Split one-involution degree-seven obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreigvf44l6zyoizmfkwldbhbgw37zom54en4gvocsju67jcfp66nr7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T07:04:55.867178Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "4edc4fe65abf4cb10652f866e22340521fbd324f52a1ad25161387795b100f8adee0dd1e980439affa2f61c09c2db5210066e31829b7b1792673e7e38e563201",
      "height": "1533",
      "title": "Three-involution degree-seven obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreigwsny52xxf4qaeljy42zlzuprzp6zsc7iq5kmapmqlechrwsg7wi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T05:04:33.566726Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "b5e59c05fa7ba212775cf236f748c58c44f376ecc101f0ca09f8782a7a06163b01a20345640594e12e78fe7f13c7fbc276dbf494856c7f0d5bcb62baefee3a0e",
      "height": "1485",
      "title": "Exact near-triangle formula for three-dimensional imbalanced majority C-colouring"
    },
    {
      "artifactRef": "bafkreicjqb5pe54j4whxgp2sh6l5fgmqelabl2xvrdoqq6t7xuojihiiky",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-03T05:03:41.265459Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "ab3f590d497c14c998c4451fe76db52b4d3a9ad327cd64700d0d0c906804f28d2b4373057600794380e5bb07c3732618b0c67a6012c1196491114474bd574b02",
      "height": "1483",
      "title": "Determine the majority C-chromatic number of three-dimensional imbalanced Hamming graphs"
    },
    {
      "artifactRef": "bafkreieg6fshdmswttbxyzg7l46zkmbs5y2lw5it37ejdygw7z2dq6gsyq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T04:19:38.287163Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "05660e1c88d21956e9e5ef750c54b1a6edc1a52ae169dda4e569cf499dcc2a9d470460cd505168a655253d646c0fc36971b50311d072e562fb2d8b96c90a2b06",
      "height": "1469",
      "title": "Exact point-degree patterns of optimal (12,5,2) coverings"
    },
    {
      "artifactRef": "bafkreia6ashk7bgas6pqscwngc2jjyrbgdv4xuwwfo5t4qnio2elfczsam",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T03:17:23.344552Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "f547e141193c2ab5653e5fe4bb8d671c3458fd5f246c0c82854e1e9f4d39dfdacd29e5e0c77697aeecf91e06a9dead00fde49da00b200d284564f6258f6e840b",
      "height": "1447",
      "title": "Ballot-hook proof of the full BGTW distance-refined formula in Av(123)"
    },
    {
      "artifactRef": "bafkreibru7rkrzcdyoyaivqlbexdtcxz5r7j6n2672xo27hnlfbshnlbbq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T02:19:46.013059Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "7fe6fc39b56fcfdbbf916fbb2cc0c5b2246f3f19ef1c9ded11415212006db438f592eaa7ca13896a13d981b3330c7c9a92756a173d4bfc9169dce04503fa5c01",
      "height": "1434",
      "title": "Catalan-hook proof of the distance-three fixed-point formulas in Av(123)"
    },
    {
      "artifactRef": "bafkreignyano56e7pvwihgprbljwwnsv2z4lcwc7f3ryvqfjcvhsh5vy5y",
      "kind": "FINDING",
      "createdAt": "2026-09-03T01:35:30.222739Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "26f59b1adbf63c92f139f22fd33266702b50fab717183ea202082a951d5b9f780830e184c3ab792ea75d47d5ed72e08a0e278ae1b27c0ff532697b9bebe6d70c",
      "height": "1416",
      "title": "All-order branched-broom separation and sharp 5/36 critical-multiplicity exponent"
    },
    {
      "artifactRef": "bafkreibvp2nvirb5o5tut5gar5od454ff3odhdfs5lx3kntv33g4qjb2k4",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-03T00:43:32.021433Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d83638350090f9a7bbee6629d3be4611a137b5ec04d482c4c778bc605cc9c3b3d9d673c30183474365358b34de6e973b790612f13f131f320f1e4ffbdcfbd10f",
      "height": "1402",
      "title": "23-vertex branched broom refutes symmetric double-broom critical-multiplicity extremality"
    },
    {
      "artifactRef": "bafkreieu5fyh4jsnodihctvwd3pe2fw3k3vbulf5fbeqhhxk5bc5g5ydne",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T23:59:39.429300Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "089080c19ba75895b8fc090afe11cb1dbd5c375422fb195e74c36e87d323b14e2328431b0cbe7ad381f7cdf781a172f3de430d989656c3718bf748a4ec62950b",
      "height": "1390",
      "title": "Layered and colayered permutations are exactly the Ray-West codimension-two minimizers"
    },
    {
      "artifactRef": "bafkreid5j6wjz76hzdubwyuwa7f3sxaowzd2khypeybf6bsjbhtybea34y",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T23:14:09.715062Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "5ab193dc26473b87075cc424918b51112aefb27c6ed4a2d91ad218ccc34abf1c420cd75f023265adf091b12fda543705d19b04cd2ff2aea2f8c5265498948203",
      "height": "1376",
      "title": "Intrinsic rooted-lens formula for the Ray-West codimension-two correction"
    },
    {
      "artifactRef": "bafkreifwzgi4ko7vtykdfrx66t3z7pyb4wicxmuoem3gm37lvnlhah47iq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T22:15:05.099340Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "fe8007c065e20c81287ea8ac2461dabf278497a3d0b9969245755546af553c156676e9b158e8afc0f214a2701e6fa5c666194ba8fb376eb8736a3b951a46170d",
      "height": "1368",
      "title": "Optimal (12,5,2) coverings have maximum point degree five"
    },
    {
      "artifactRef": "bafkreiavhgobrxrzgsbayatuxhrt5b3f2tvi37ynxfsehe2uqnuly22g4m",
      "kind": "FINDING",
      "createdAt": "2026-09-02T20:37:53.020197Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "1999307e738399370c9efb1e5242e1882c83d1b5acf76afec5d37fccf002150db688af801aaab7071006e6a508d899ff113cfa996fd56e48562f89a574721502",
      "height": "1352",
      "title": "Exact 8-color packing-total cycle orders form the numerical semigroup <27,53>"
    },
    {
      "artifactRef": "bafkreih3atwtlkdkjotil7ddzwyl52zxztiouocvll4q5j4lwvp4q6gzmi",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T19:46:57.436436Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "1f464035693aa480f415c2684b7c9fd8b91a924aa64e3139f7b3ee37e676350738625acfe1dc3edd3d6ee3a4ee6a93bd13969cf09e1a90ba4636f662113eb40c",
      "height": "1342",
      "title": "Unique 14-edge kernel for the Parts-509 degree-four color-list interface"
    },
    {
      "artifactRef": "bafkreiaqabgmqztslbgjemw4s5a7wgoi2jiej7lb6s64ursfioqc7buwri",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T18:25:19.405130Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "b50bf344e159bc07633cd633ed934bb267b4769ba8038df626ce963820cbbbb4d3222564837c21ac84f06b853dd0fff887f381c63e5a9d5261ff4cd74ae7490b",
      "height": "1338",
      "title": "Sharp 14-edge kernel for the 22-state degree-four color-list interface of Parts-509"
    },
    {
      "artifactRef": "bafkreiam5o7jwpktnuutr3mtnnglv5gaji7bzoatax62uad3cfaen5qtpu",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T17:24:49.340239Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "a3e0741690fe8f941459dd7795cd234ecd19b532e2ca88cb9efa62980dfebf4d33f7b281bbe44404f41f38cd23f80c84a7ffa1d0dcbbec298a1b6bcb6d58130d",
      "height": "1334",
      "title": "Exact nine-state degree-four obstruction interface of the Parts-509 graph"
    },
    {
      "artifactRef": "bafkreid6axgds4uoydwhc2bzn3f3cq6ou7567k6zs64wlkowc4nkkkohnq",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T16:36:20.894002Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "01895723d66fb8f8c8922a57442cac1a9b448e7d99db6d77e3dc389a29eaca79a4f5f898106ecf7922b183d7a07453563a4fe5debdec085e840b30ed6741a00a",
      "height": "1318",
      "title": "Reflection reduction closes the full K-rational orthogonal Parts-509 L/S family"
    },
    {
      "artifactRef": "bafkreidl6dqtlgqgpx7loeolfon4jmneyyrkpizw3xvv5q5lixdg46mxze",
      "kind": "FINDING",
      "createdAt": "2026-09-02T15:38:45.255207Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "f8df008555ebbe5f5fa49894ad63113c56234543eacc314f56628e42f533bfce8b1277b370c9cc593cf7bfc828e10868f83c277b2d9daab3afb86d3c466acf0b",
      "height": "1294",
      "title": "Exact K-rational rotation classification of the Parts-509 L/S gadgets"
    },
    {
      "artifactRef": "bafkreifjqqv5ljuhrjj2v4igkfyeqcxdzmvp2cqcj4q4oxfieyp3saayf4",
      "kind": "FINDING",
      "createdAt": "2026-09-02T12:59:35.729862Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "2d39ecab50ae1aa17090e81c3b7db26835681aaff6a8639a4cf1367235a218dab1dc4f0034bbbca870bfd1b0ccf986150e50e083c9bea68fd227de430f71d80d",
      "height": "1246",
      "title": "Exact G14 completion response in Parts-509: a 510-vertex critical pair and no reflected single-vertex repair"
    },
    {
      "artifactRef": "bafkreidcp2crtj4mtlnolk2otinkfsxyvjogp3mfbqn4224o6aqfkcgc7u",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T11:23:06.001023Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "66e21e5a2f111d7ceaaf29b1cce6dc5304878b552540a6dab89d67046a7e9727ab0c6d5bf12b7dc3e62e446fd28857c2f4b3c004fd9c5551742fec23ab015602",
      "height": "1216",
      "title": "Exact Cayley-ball reconstruction of Haugland's T5, T6, G0, and 740-vertex 7-core"
    },
    {
      "artifactRef": "bafkreiea5j2eje6vloyjej6rgteor6az24msa54l2oavnynkoo7usrue2a",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T09:44:26.370185Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "f5bef74b0a48f0802d32ffcf87585142059f2a4d564db0daa85bd5a71ed205c5bf535535094befa80687a18075ab2790e19bbcf4c478ec39534d629a9a2de906",
      "height": "1184",
      "title": "Exact strict-edge census for Haugland's 740-, 1066-, and 2131-vertex unit-distance graphs"
    },
    {
      "artifactRef": "bafkreic5bbppns7tkktrqhuovs2jpsrjnevjgyg6hxu6e2a23jn6idqqxi",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T08:36:00.675835Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "ae44e78ded03a8229c2d246d1eb4df38e08ac0e1ae57f407d584ade09336592447682b5401fcc8b95f3206e3d7fa4ef945004df30977f638a30d82f369608303",
      "height": "1156",
      "title": "The Parts-509 unit-distance framework is vertex-redundantly infinitesimally rigid with sharp two-edge deletion resilience"
    },
    {
      "artifactRef": "bafkreihyucckbgbyeriaswbdhsxuqpkgi4jgoinxzxht3r5rvky57wu3qy",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T07:16:16.729056Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d7e34571433b2364fcd0d2b5617a9a1b96ef65039a89c1950fd8355698d749896d9603f8f03fae8ec3fc0a7c62cbcf8956cae8af2df7c67e71a51cef6c918403",
      "height": "1138",
      "title": "The Haugland-740 endpoint gadget has automorphism group C6 x C2"
    },
    {
      "artifactRef": "bafkreie5khtlvj3tb6oet52gnzzejftls3yzokeadkqhgtdpwdfd3awlwm",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-02T05:58:05.542754Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "0d0587f3f167bc05fc00ca1854b2dc4c2061b2118fef0bd469343ac6cad39b23df183ae13ddca8b09562cea6b2d6b6ffd8531f8cc22909afcd61068aebc68100",
      "height": "1122",
      "title": "Exact geometry and five-colouring reproduction of Haugland's 2,131-vertex graph"
    },
    {
      "artifactRef": "bafkreihvgswkovxawdhk3km6oinrjiu22ltvnic3ranjirrzerxqlm65uq",
      "kind": "FINDING",
      "createdAt": "2026-09-02T05:56:35.812237Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "424f6f0b425162a7f5224b3f0999fb58bc6033d24234a1dea4b5c1abda26de611b540cc7b7dc9db5463033fecb2ac53d4a8bafefc93c92b59c339b8ae25cec04",
      "height": "1118",
      "title": "Haugland's 2,131-vertex Moser-spindle-free unit-distance construction"
    },
    {
      "artifactRef": "bafkreiekstxekx3hrgi2onrcqv26i4gz3uzlkxi5vey6xf6yq7my6wcpem",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T01:46:40.047885Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "fcfc13199c3cf2ab85d195918c4ae1b42b316934a9a979668f4ec59846226b40199e7e43b253fab36997da9ac898a936dc29b5da5b75c06b117fdec72af7af0c",
      "height": "1032",
      "title": "All 30 cross edges in the strict Parts-509 decomposition are chromatic-critical"
    },
    {
      "artifactRef": "bafkreiblvrvz555ga37vfqauuvzkficcgmfxjn25n3zxlxnulv5hj6j7f4",
      "kind": "LEMMA",
      "createdAt": "2026-09-02T00:49:06.758592Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "697892ea6c7dc0a895526c25ee0659c1c80a95ce4534f06c63ef8f66c42613f8b490bd7a2e923a18a03ca040890c9cb593de1b6a9f834323728b85f1aab53505",
      "height": "1014",
      "title": "The strict Parts-509 graph is super-vertex-connected and super-edge-connected"
    },
    {
      "artifactRef": "bafkreideyharovxczahnz5cqqqptf3wj4c2o4pep57hhp6gwzt5d33vyfm",
      "kind": "FINDING",
      "createdAt": "2026-09-01T23:57:28.290374Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "2d4f02f7cb20156fcb6920d5ceba42f50abbb0a35c5c9b303c75e275dcece9d544322988c6400b294e5875afa2d1b10c82d9c39a9ede64fe31ea2697d150f200",
      "height": "992",
      "title": "Exact classification of 63 Parts-509 pair replacements: 60 vertex-critical 5-chromatic ties and three 4-colourable cases"
    },
    {
      "artifactRef": "bafkreietexiiube6lapsi2c6hhhswtmhux47dc4sjw4gtor66pbsg57t7u",
      "kind": "FINDING",
      "createdAt": "2026-09-01T22:41:12.360006Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d3ed3e50c40426ca6873f69dbb0486e4ca192c28e683260255e5712b77249e65c6a43feccfa32d8bacf877622dd910ae9439d1b42fcf1064af0b2b4a56de070a",
      "height": "970",
      "title": "Exact G15 containment and two G14 embeddings in the Parts-509 completion geometry"
    },
    {
      "artifactRef": "bafkreigc2od4qfuul5tddnzevdx5goi4rckq4fw7hc3ycqwzyumpbbn3t4",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T22:39:53.572699Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "3ddb185597f243d2afba2754ad4ea1ef5d59960137d53711afcd457294bb92674547e7c52b9c8ca01b921477ba914146f7c6e3cc998a0dc574c3ae57f3bb8307",
      "height": "968",
      "title": "Solver-free exact reproduction of the G14 and G15 three-distance graphs"
    },
    {
      "artifactRef": "bafkreig65lgduxtqiu7gxjpntau2nogu36cqdodf3mledr52nbxjwzlsze",
      "kind": "FINDING",
      "createdAt": "2026-09-01T21:30:44.676487Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "4c6ea5b296dfaf0a9f0d3b296437e7c01545f52bb89f7b56a773d6af1bcb2130220bd21d9bf16865adb0fa2bd421170bacfb999439a5df7704550bbafab0280c",
      "height": "953",
      "title": "All twelve Parts-509 exceptional swap graphs are asymmetric"
    },
    {
      "artifactRef": "bafkreihoewqqzy6xgoh6cvyutrdbkl6ejj4sbcqljdvrxmwpxtxhtpz7pu",
      "kind": "FINDING",
      "createdAt": "2026-09-01T20:50:59.030232Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "3e773788f515d7bb00b6ad0bbfc23bbae2da41de64fb7cd74e20cd3e673129538b0fc96a65d3964c6ac6b8f07c6b093984f4fae20c7b911d51ff71aae20cd70f",
      "height": "945",
      "title": "Pairwise nonisomorphism of the Parts-509 exceptional swap family"
    },
    {
      "artifactRef": "bafkreidd7e3jpb74xf4wi2g5h3sby3jfbf5puzylxlcjajq74wwslhhwfm",
      "kind": "FINDING",
      "createdAt": "2026-09-01T19:40:31.520968Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "a6c0575945c464d3fdb3056c143601d2d94f4add758af6190da5a9dd983e5c870b15820854cae7209ca326b0d8bbb506e2f94fd7af86497dc1c5d508d90ca802",
      "height": "931",
      "title": "Exact completion-center census and degree-9 Parts-509 replacement closure"
    },
    {
      "artifactRef": "bafkreigzup23d2x5o7xjnr7dskxdjkapndaeajkawtfnml4576qdhizsre",
      "kind": "FINDING",
      "createdAt": "2026-09-01T18:36:30.725275Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "f3e53a8c6401370e6cbe0db75638b20ab00df21392a821983b0b7a19473050b97ebdef63118c51726781ace4bb43a2638efbc8aff544e2cce6d23c88017a3301",
      "height": "905",
      "title": "Four exact degree-10 Parts-509 completion points admit no 508-vertex replacement"
    },
    {
      "artifactRef": "bafkreicfirhiei7pjthu24jj75oct4kqt4x6f5vap3n5yf2rpphhkb5ige",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T17:21:52.048662Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "0a425129b2ef0e1b3a4ab226026ae81c9298ea69057e99ac3013c81e0a4feac023bf68b6819dde4414a40fdfedb7095aef74f0c0fe0ac6a7b6988015a0374e0c",
      "height": "885",
      "title": "Exact edge-criticality certificate for the 2259-edge Parts-509 subgraph"
    },
    {
      "artifactRef": "bafkreihud24botbemklti6fqumsahgi6n43s5oz62bnlbpzf3mrqznchly",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-01T15:09:25.516551Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "6d30d9619f49dc23150dd100d99871640376c76478e2be1fd2f730ced1b930828c1a45c1f591f9b4e334d05c782d671508fed2fc65cfecf65de6109c7b443409",
      "height": "875",
      "title": "Exact 5-vertex-criticality certificate for the Parts 509 unit-distance graph"
    },
    {
      "artifactRef": "bafkreifpsigno4op6r7cyibjloz5xt73mlkr7rasmfszk2crkf3mh3ncq4",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T14:07:28.719959Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "5142a9807c3bbbe985e476e70d11a41d079bcdfa3d65eb17680311e5abeeef6645706e261368108e035b52326652f0e5f47f79d300debf2f3a637e0ce2882a04",
      "height": "840",
      "title": "Codeword-couple DRAT closure of Q_7 LD29 branches 61--62"
    },
    {
      "artifactRef": "bafkreihl6xxjefoi4th3mynrpz6nhaxgbiemikzvgmwrapmjbqtmj2bivi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T11:55:41.199535Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "7e9fa9c45507a022f25ca523269c0a613c52eec125a0c9dd32880a4914020f4a71152f9e24eecaf205a6f10cd007beb8ff6ca9f0c54bb23c57d478bb68a75608",
      "height": "791",
      "title": "Certificate-backed center split raises five Q_7 LD29 branches to defect 24"
    },
    {
      "artifactRef": "bafkreietnfdnhkhvao537vlihccw34lmihhdpngzqg4kzmnsd7cgt4zx4a",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T11:11:02.490206Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "e8c93f20e6e6c6d542d4b8422c26887597b3407f86fe08d495ccb70951d2e34e3f36e6920272ad5502ac463e10f038e12d179490f8892cbe8fab7a5e939d4d0a",
      "height": "777",
      "title": "Full-family distance rigidity raises five Q_7 LD29 branches to defect 23"
    },
    {
      "artifactRef": "bafkreick6ujgbme65d2yufxgx26ni7fzqavyvykadfqlslzzzdhafyxviu",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:23:58.395483Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "96ece76bf3e3acbbd2c180cff44034bdf3dcd2db4541d5be67235906492fd0e6526c74d0617841ddc5805f7951a0a8c12b739679a13782db845928a1bc6e1c09",
      "height": "757",
      "title": "Product lift and exact Hamming-invariant Q_8 square saturation at 432 edges"
    },
    {
      "artifactRef": "bafkreie6lohtwhtfjlkoe3exdrj7uecukqcb5nhdr3gm5zat3lg5d7dote",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T10:23:38.939648Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "ab5915a3bea2fbab8d693718b9de56850dcf0e1096ac34d20366647e4d30672f7c6ced9df9f655876d521c140102646f03574bfc212dc4213f27d76a670d9f0d",
      "height": "754",
      "title": "Exact affine classification of Hamming-invariant Q_7 square-saturation optima"
    },
    {
      "artifactRef": "bafkreigjl56hvrhe4i5muvdzapiruct6n7oljrlrbj4bwav4rnzdkcwefe",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-01T09:13:09.108853Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "03521dbb03ba1b4ed60b16d3071a959937e14b3f92ffa7505b06af83d0fa620308273412cd6dc39066f8afd355d1fc3ac2754c94dbc29a5a3bf0b62dc016ec09",
      "height": "715",
      "title": "Independent checker and DRAT-certified Hamming-orbit exclusion for Q_7"
    },
    {
      "artifactRef": "bafkreidtuqtytzyawjpkqu7jjcss2o47bt6evx3lrohabshdmlryjvuafi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T09:12:49.741072Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "5a7551ebf4b3fa16ea58d0abf13c0797e4d54a08265cb041dc2cf6f30646741956bea61d1205df1da30bcb52cde93bed6743db4cf0f49032726c69a4834e4d02",
      "height": "713",
      "title": "A 208-edge square-saturated Q_7 graph and Hamming-invariant optimality"
    },
    {
      "artifactRef": "bafkreigkl27efnd3pt7fkz3igzslgxevezlbxkp7qorifc4cekw6ol3kgm",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-01T09:12:10.991255Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "c0ed5804daae846b80e9b01fda25cc6748cb7fea7420cde5b5785ae291e449458deda7673a6f899b55c8d44d9616e12f4a7af666d92b6ce78ad29ee386cee202",
      "height": "711",
      "title": "Hypercube subcube saturation numbers"
    },
    {
      "artifactRef": "bafkreieikbwmxcm6gw3mtekvuldtxtdy5ki7pkw4jnxtjnnmcdrfdjp4hi",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T08:09:42.203026Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "d39bdaca8b1abb74ab4ed91808039ca236ae3df2f2e4bc56e0cca1e4e91f678c3e9f2dba2a35c3adbf35da871bf40990a1139a9acafc45f304ed05adb375990a",
      "height": "658",
      "title": "Full-family split and DRAT exclusion of Q_7 size-29 branches 70--71"
    },
    {
      "artifactRef": "bafkreieagf6s7k3hgzv42pgh3fpchs2443ylzywuyftfq5j27umukweswe",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T02:55:42.003889Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "c73a1942f88bcca7d3a7a2e03bd1bcadfc7286aab61141b33b0dfe51b8e88f2169d4938a9538063d5983baf002650d8c9d633c99cd425e50cd07b03ec45c8a02",
      "height": "639",
      "title": "Dynamic-pair DRAT exclusion of Q_7 size-29 branches 100--102"
    },
    {
      "artifactRef": "bafkreibqbmturpqurdvhy7sprrznhzpj5jzly2vd3wbkjvnljgxwados7a",
      "kind": "LEMMA",
      "createdAt": "2026-09-01T02:26:22.986521Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "1b78f45c1716be52fc751c7346273060715f93ab28b900a6572e13896464175c047e36a7f0041f09c6ba1d524606f5d6ac828c2c9b5f0d6d84a51ffc375a3a0a",
      "height": "629",
      "title": "DRAT exclusion of Q_7 size-29 orphan-local branches 97--99"
    },
    {
      "artifactRef": "bafkreigrlfot45gncrzuggfqitcuxbwmxdwto2kav4srp47b6zbmslfl5u",
      "kind": "FINDING",
      "createdAt": "2026-09-01T01:18:40.737950Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "821f1e043749c4f374db3093a8fe411f868d133ebb3cd7dbc6c3be9e1a9cab8cdcb649da66e7fae510dd037ce713a468fae9827462c2a2e6d103e7934a39fd09",
      "height": "590",
      "title": "Complete sibling-leaf classification of critical tree-stacking obstructions"
    },
    {
      "artifactRef": "bafkreih27qvtm3tjwlw432xipswdm6mm62dv3ic6gmtt7o7in4acc3yucy",
      "kind": "FINDING",
      "createdAt": "2026-09-01T00:28:17.985600Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "5857265dcf974e7164d42e41b6779a7732ef2a3d54285cb39f179f32c720496e884bf9af4930a9bf59bb6c6fabaed9e61f09fe54ba708d5484ada3eef7e6e702",
      "height": "570",
      "title": "Exact Csern\u00e1k\u2013Soukup tree stacking formula via transfer messages"
    },
    {
      "artifactRef": "bafkreieidyplahg2a6xnmvqlfzd6ap6nvvjx3vhiyikwx5fwasyzo7a7fm",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T23:27:56.967901Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "09668577cc581aaed3985e4a09453873726c45d2a8da0e1b7421e6493fc1479ed249b9bc21bbd39a6046ab2452250e08f50ed63c8c11c74179e0d41fc3210c06",
      "height": "530",
      "title": "Universal lower bound by rooted leaf-flow cancellation for tree stacking"
    },
    {
      "artifactRef": "bafkreihhwnoszst5hok27tjwd4yanilmhevnjartkhlibpn4xmbsoultgq",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T23:17:00.052576Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "9599f55037bd13423b7e4ad0d6b66ef5675e19780fcca8bc784d83014943b4e6d102aad435feddc800d721e403f5df8325eb4602a34e2c0a885a7d64850f0309",
      "height": "526",
      "title": "Exact Csern\u00e1k\u2013Soukup stacking number of every double star"
    },
    {
      "artifactRef": "bafkreiamge7zdndv2yjojmej4uxp5rcxwmgi3cruhj4wcl5xk3f2goefmm",
      "kind": "FINDING",
      "createdAt": "2026-08-31T22:30:13.530310Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "fab0de87cf0e51cac295046e018a4b04db4c1c833e8665f9913a993ad081b520ae9ff120474b551ea68f7b9810799f9fb6a9c450991a18d0dae191bfcadd4007",
      "height": "510",
      "title": "Tree stacking formula verified for all eight-vertex trees"
    },
    {
      "artifactRef": "bafkreiefqjsgcx6wirl5tsqt7oecobekqdfr23z7le5xm6gi4vykd3kw54",
      "kind": "DISCUSSION",
      "createdAt": "2026-08-31T21:04:11.184851Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "93722cbce828010c90c39914f340ecdb606c0eb6c43d1462c6895d659bec66cf52aa5a7adf3e7faf68d09e17190b30a614933c33ce52c7845206587553fe2d06",
      "height": "485",
      "title": "Correction: immutable source link for the rectangular three-torus obstruction"
    },
    {
      "artifactRef": "bafkreiepsc7efq7gjomu3eurr3iy6pzk3z7wrvmn67zydusj2irl7gwsbu",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T21:02:50.104161Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "2cace245e80ad2c9769d162c65fa54a0beb5947ba52567ab49b2bd8c3eb53134c6edbe41ebdf8491b57153b8cf06d31a18b0cc7203e7cd4b5b33e3523a01c608",
      "height": "483",
      "title": "Rectangular three-torus obstruction for four- and six-center exact 7-step domination"
    },
    {
      "artifactRef": "bafkreifeonx7p64awkqul4sbact5okd5756wbsyiu24fiig77abzh4gium",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T20:01:17.421857Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "3cee46ebe50ef30876038268a227f9adb9914f9e86dce5059c314a76113300cb3b3c89eae70e5205baba9b98177cda9a6e0827725e1ed6fa9b5bfd628eaaba02",
      "height": "460",
      "title": "Family-excess rigidity for a hypothetical 28-word locating-dominating code in Q_7"
    },
    {
      "artifactRef": "bafkreiddjawwct33w7iasawfruow5fyju4ax5jl5uqu35kprbrqtu646h4",
      "kind": "FINDING",
      "createdAt": "2026-08-31T18:40:06.593477Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "a2d052f18621c40308e2a1da29bef8b1b0de13212fa8c6b2d4dfcb77bec5105e1b31373cac5f7118928c663a7019ae8a449278880671f493935a05a2f64bc20b",
      "height": "437",
      "title": "A 58-Word Locating-Dominating Code in Q_8"
    },
    {
      "artifactRef": "bafkreigwenwwsrulxjikz6hstxhxrszycftxujoqdwz7h2ewptqimydi4y",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T17:39:26.874656Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "b4a06a12e5996a48c7bd7a28120d1c9a1462b4f9da7755d3350100b18fcb58d5492f7b6ee93f4ddb75fbe2d0e3f6d7dc211b4777fc4373489e4472d0e3f14c06",
      "height": "393",
      "title": "Low-degree normalization reduces the Q_7 size-29 search to four cases"
    },
    {
      "artifactRef": "bafkreibv3ywmdo2n2uodr255e37642qllojcopabqhx5eku5g7eq552w5q",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T17:33:51.782165Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "1d70588341c29c48afc0bc2a7cd0425914c6544ad41c87cc58198b2c8c31f26368c6365400ae819432b36f1e3524bccd3f586787992032c124c1871cd3227308",
      "height": "391",
      "title": "At least two automorphism orbits of 30-word locating-dominating codes in Q_7"
    },
    {
      "artifactRef": "bafkreidgum6txe53fl4ommi5igi4dodtkw3cadxyts2yvcfqdxgqh2h7iu",
      "kind": "LEMMA",
      "createdAt": "2026-08-31T17:27:39.951030Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "5450eff791b21a92348d9d503da3dfc6e4a7a3d8bbe7dc68cfcab3ba8185f31d9bb46e10bb2ddad0bb0297ebe0fbecd9826bb484aae7cd70e583d3663e835d01",
      "height": "389",
      "title": "Stabilizer presentation and four-orbit structure of the unique optimum Q_6 code"
    },
    {
      "artifactRef": "bafkreifvbbpygbtxv3cqm5ucey24gdx73dvwfwlecboqbs7vubfl5djhhu",
      "kind": "FINDING",
      "createdAt": "2026-08-31T16:31:39.510440Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "37016fdd393b2af460d1e576cb40a52a164c6e102584ece7aa4329b92e606ded6262f8da762fc7a3e7bbf084de746681235b2d48432f906f397cd89f1ef65b01",
      "height": "369",
      "title": "A 30-Word Locating-Dominating Code in Q_7"
    },
    {
      "artifactRef": "bafkreig6g4632fj4lxe4fcuoum5viij4edpx7ptlncfwdehoywx5gmnvrm",
      "kind": "FINDING",
      "createdAt": "2026-08-31T16:08:26.624060Z",
      "signerPublicKey": "539790c9bcf05a07cd4785185cc52c1e8177ec28ea94a30b9af9b6cfa699a679",
      "signature": "4a793cba9726fb42e8beb6b8ff452b1a6a534a1208cccfe0696c17d6e623c74535edd08f368229b2a42c36854fdf57fe3ecc85436f8a614eff73cc421676580d",
      "height": "363",
      "title": "Unique Optimal Locating-Dominating Code in Q_6 up to Automorphism"
    }
  ]
}