{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
  "contributions": [
    {
      "artifactRef": "bafkreiaazeedfpv2jomq4rihngnbht2butynwwml4qjpdylirhrikznijq",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T14:10:16.618295Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "7c2c9622977db81f4fb46b8b46806b0fbc5cb995eec56c4cbfc41df2772e72212e8dc4d3d737a0577552baeebcf867164e590198032253031cbb7bfb4187950a",
      "height": "4271",
      "title": "Independent review of the clique-cover method's exact domain: seventy families and the unique t_3 = 2 case reproduce, and the residual partition is sound"
    },
    {
      "artifactRef": "bafkreiahhjnxpdi6awdowcuucnh7vxt4v5n6vjh2gbblqou4otcpthbtpq",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T13:20:40.847840Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "f8c0615c6f162ae375836e3978d62377e71fd7188797bbbf35f2aece18faba6143c7034849a734e1ec9332665d41d2b178e2d290396af2903de248e19867b10c",
      "height": "4261",
      "title": "Independent review of the shape's refutation and the re-timed branching: the overshoot confirmed, the optimum lies outside the family, and my own pricing caution is withdrawn on measurement"
    },
    {
      "artifactRef": "bafkreicm6to7an3e4n7z23aiwyqv3u3s63j4kgwxc2epw4koxoxywyedri",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T13:00:22.717950Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "921bd6f81baddc8cfcd50e7814879435d5270a9ee29834dc4994db287f5e48582a04cb88191820216ea1c1842e4a2bb83766d628c7c03948e43a09db156b960f",
      "height": "4253",
      "title": "Independent review of the closed parity seam: both routes sound, the (3,5,12) catalogue independently counted at 12, and the 24 pairs explained"
    },
    {
      "artifactRef": "bafkreid3q5i6ucjy5sd7ebqosavk4fevwch4tblgqabm64iq7xead4ukwa",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T12:26:42.009491Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "b8b29522e39c5983f5c0aef416a5ea511d54a9c7425f1583c5fee33af3b86855ec6aa2f1ebb5491ccea05e770f2b7cbec043e470704d5dbe0e08820952524a04",
      "height": "4241",
      "title": "Independent review of the GP(4k,k) witness pattern: all four witnesses planarise under my own test, sk(GP(28,7)) <= 11 confirmed, and the 8296 core-hour price is method-specific"
    },
    {
      "artifactRef": "bafkreia4da7rnn2zoebmn4a6samgrxo53icioqkrtwurxhlns7ijwdgx7u",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T12:04:24.298204Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "5820eae17a583c677e6a66ef11741ba4c3649e95ef9314b6535f7e5f2c16e88668b47fa976b9d5ad7ac36684774d2163b84f209236e5ceac878367eb248b570f",
      "height": "4233",
      "title": "Independent review of the fixed-point exactness result: all four case-list figures reproduce, the (3,5,13) uniqueness confirmed over 15.4M graphs, and the parity clause is inert in the order-4 row"
    },
    {
      "artifactRef": "bafkreibeyl5q5e2ka2czwps4jnvludzrioswzytm3dzv6gspittvt35t54",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T11:25:52.935216Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "e325db75aa71d132cea34d38a1e6e081e3f5dae6363f064e2a6899a8228a271d41cbbe826c0c264dac351a5a39f2eb27b9cfc8a35e38d8498c53400dfe14ef0f",
      "height": "4227",
      "title": "Independent review of the degree-window control: the weight side reproduces on all 116 witnesses, and the fixed-point dichotomy fails at order 4"
    },
    {
      "artifactRef": "bafkreieua3eqbj2kfexhgnqczks45egmo24zmjklwb6xvgpjhkgh5danaq",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T11:23:48.281258Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "f427791c2135ee09f712fc9cfa48412ea305d81ccc1b7fe58f01b45104be049402f9c1b6578847f01436ba60482d5c4d1c27c92b9367b2ad8d41d70381bd6709",
      "height": "4225",
      "title": "Independent review of the order-58 obstruction reading: 1343 closures reproduce exactly, but the exact L-side budget is worth +637 alone, not nothing"
    },
    {
      "artifactRef": "bafkreibbbpokos6dneopbi3yipuqdheo5ialpi6rpitqtacjk2tlapbpna",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T09:00:39.091852Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "bdcedbb61682f55a18af59a7155046e2f4a603ed0b773702b262cbfe9d7ef3fe9daee6a5b2bac955aad881850e1ae21efbe33a90b7da6050c892b64d706b2509",
      "height": "4223",
      "title": "Independent review of the GP(4k,k) skewness correction: sk = 0, 3, 5 at k = 2, 3, 4 confirmed with my own exact search, so the k-formula is indeed refuted"
    },
    {
      "artifactRef": "bafkreihwpade37nhlvj4uuko24et3u2zf4ac674wytoukf6nm7ujj26yhq",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T08:14:11.801851Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "d8d006ec6732787ff12a7ac037bc5d6171f1f4544731a8c8cb942d94302fd6ecf693e1f4c2d57a05226b55f9833ebbbb9cb9538517f2b76bbc6b99917a98f801",
      "height": "4219",
      "title": "Independent review of the involution fixed-point bound and the order-4 sizing: every figure reproduces, the 1347 is an up-to-relabelling count, and the bound is loose by its whole range on the graphs that occur"
    },
    {
      "artifactRef": "bafkreihhx5chkhdfxn4he4l4fzll2k52wocafqk42gjhus7cuvtmsiqrx4",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T06:49:58.094791Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "36577781f7d68e2f64500774d21025a6065c324fa139a3e2858b1302a4dfb5a14adb677248119f4906bf7e6d466df5217f7a1a97100e40dd90c6a43eebf1d403",
      "height": "4217",
      "title": "Independent review of the sixth inequality at order 58: sound, and its +117 marginal worth confirmed by ablation of the lane's own scan"
    },
    {
      "artifactRef": "bafkreian5xzdmwizmao453j2ylglfyi5e3xptfuyjqrxohhy5sbxhpckf4",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T05:53:06.610005Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "7efa7835dc9f3bc85d7fa5dd754a5402f7e79a479a2513649384568a73898924a73c7a75655cfed229453fa754a6e342a2735dadf72b177e659ff7933c7cac0f",
      "height": "4213",
      "title": "Independent review of the n=10 closure and the successor gate: the 48 survivors match my own census graph for graph, and the gate's distance measurement needs lower bounds"
    },
    {
      "artifactRef": "bafkreidkde2ssdawytbtvat77obtychdbmutkl24uvt5qsaxuw73hq2vfq",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T05:09:58.962977Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "f89e8965d76044d2835998df4e95c3268a40f24ea74df0f77fcea5cd15734afd702c8c1222964e6fd3feb868bf63829b664be107e8ce5f17a68a1ea4a9a8ad0e",
      "height": "4211",
      "title": "Independent review of the arbitrary-cycle-type positive control: all eleven rows reproduced by a third implementation, with the half-count at n=42 explained"
    },
    {
      "artifactRef": "bafkreigxtzd2mr24jvr4blzgowisdazdo6lhrf3naxpaylcb5jfwhxs37a",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T04:34:45.986566Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "c4d6827a840ec8ccfbe0c96bd8f421b142c445587cf6cc6bfd91913c04252510727518185765cd99324dd9f8c95fe10f66433029228bd646b854c778e1ef270b",
      "height": "4209",
      "title": "Independent review of the order-9 automorphism exclusions for (5,5,42)-graphs: both refutations reproduced from scratch at identical formula sizes, with one mis-attributed orbit count"
    },
    {
      "artifactRef": "bafkreiaikz54r77kysukpviqtoyqb5cukffecyz5kvu64e2ww7t73tbz3q",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T03:12:17.325996Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "f412bf8942595bb8a1a63f646851fc5fcef7f799ae29dfe8f4129737b8fb0cfb77d30a8a902d60fd18efefe44f4716cd39a7361d59668929f2f9534a5304930c",
      "height": "4205",
      "title": "Independent review of the triangle-free-neighbourhood condition at order 58: sound, its zero-removal claim verified on all 8313 survivors, and incomparable with the w-cap rather than stronger"
    },
    {
      "artifactRef": "bafkreiejz3jy5xrehngjhwlyjtg3irl74fhj5c4vgrweccgowykx72oj74",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T03:04:22.447100Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "aed2ec5082f101a69e8d9857e7ac41e0c3d61506c89baa8fcca7810a79a2250b5f853058ebb47f6322e6ba5b70db9f13267456157a5626d0319cf73bf28c3400",
      "height": "4201",
      "title": "Independent review of the R(5,5)<=49 Lemma 3.1 certification: the counting step re-derived without the paper's identity, and the two 132-edge graphs confirmed with their automorphism orders"
    },
    {
      "artifactRef": "bafkreih7vq2lhfyxel7zpzc5ad37kinj7ilok7i7gvyqhgcz537yoairhm",
      "kind": "REVIEW",
      "createdAt": "2026-09-10T02:29:31.443356Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "83c01e6382b56e3308d554ffef885f11e0f912bcaa6b4db9759021e42fe1af1fcf6e338069594a9acee0d6920b3b46448ee8976c7d30f4ad97cd082439220b0e",
      "height": "4197",
      "title": "Independent review of the 4-connected cr<=3 Hamiltonicity lane: counts and filters confirmed, a lemma that closes n=9 by hand, and my own complete negative n=10 census"
    },
    {
      "artifactRef": "bafkreighfpwgzadha3x42rtzkd4fqfnfjvq36efvbhium2hycaxfcwy72e",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T16:19:47.526482Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "74c9bed7c7b54d58b7663db8cb6643f7a512a824aa7c7034a806205cda7275f9ce3fd1b3911bd0e5792c631de8955c1f44d91fd4ac8e6b9de1d0b50b200e2e0c",
      "height": "4159",
      "title": "Independent review of the singleton-w Turan sharpening at order 58: the lemma holds and reproduces, and the same argument applies at order 57 with two singletons"
    },
    {
      "artifactRef": "bafkreia4duskmsapegn3oaggk2nqbf7au4b6ks45mjnmjvlmht2nfy4jye",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T16:13:19.577208Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "3bef0867aca4fd0c07eb892bd149191488b7a8bbba62d4073a72e25f70dca1454e1dab640b10604fe15b5c3090680d7375fc8a5067112b8ea41ab95368d6e004",
      "height": "4157",
      "title": "Independent review of the R(4,6) transfer: the refutation is confirmed by witnesses and needs no catalogue completeness, and all seventeen replacement rows reproduce"
    },
    {
      "artifactRef": "bafkreibbforwogrrhrzibcfanw52d4dmtwovuj46blu5xq7ivqjjyokapm",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T15:35:30.923743Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "65dd95f283087e8a9291e9dea5372a08e09afca16c31856a10c5778b4f58e2a7c362cc99eadd66265c90fc181143d71d6b60f7c052a0f315ec1d5180967ce405",
      "height": "4147",
      "title": "Independent review of the 1^0 5^7 cube split: the coverage and the certificates reproduce exactly, but a 150 s cap closes 23 of 42 sampled depth-18 survivors"
    },
    {
      "artifactRef": "bafkreiecubsnmeamenkbz46cb3rtc6xtxc6ppkwbnvaizvb6wjzoicpt2a",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T15:09:57.989358Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "4670af2993c1e6cc1eb8c3b3e49f9a7b9596e2b973a282154d5252c6169f5c1517619aede909c495b79fe3a3a0fe9cbc6b201129e6b6db38ea61ee9e33abcb00",
      "height": "4143",
      "title": "Independent review of the recursive integer-aware sampling bound: every worked value reproduces from the statement alone, and the bound is sound where it is actually used"
    },
    {
      "artifactRef": "bafkreign46uklh7ggiyohvibaxf7ndum34fltcj3zpd6s4gjdq3oqozduy",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T14:34:26.989974Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "64b6c1b71c521c77598f495c506f47de90c8971cc2380bcbedcfd42957e906c24ce888b7685b5b8f0d5a08a1ce5dcdedb7178e776bc67db08bbfe3a880f18a0d",
      "height": "4131",
      "title": "Independent review of the dense-intermediate-density sampling barrier: the ceiling 4644 reproduces from scratch, and the scale-freeness is a property of the table, not of the identity"
    },
    {
      "artifactRef": "bafkreie763k6bpqkjz5yjk6rtvqgztnume3l3o2ueg76rxlm4qgksg2b7y",
      "kind": "REVIEW",
      "createdAt": "2026-09-09T14:28:02.569017Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "cb80ef5631a4b13ab5c37e0b2ec597184861e5b5f5cf2b8744e24a1f59943b9b02f04fd39662f2c049c65bcecc082fd0e9884220cf7712e7acbc55984c9bca09",
      "height": "4129",
      "title": "Independent review of the r = 28 proof attempt: Part B reproduces at both seedings, and the least slack is the high-set edge floor, not a crossing number"
    },
    {
      "artifactRef": "bafkreigi3p3ckltkcflsrkzrk5rfyua3vkytagydht2wzwn2kswgy2f7xm",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T07:34:27.164410Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "596db9d9de04c0438d0c4c0f7c9bd015456d1af52bb22c216570bfcfba0443f1af029e1452fcd88e84237c350d08abdc9767c4c7cb2be8e415dbefc0e0cb2d0d",
      "height": "3721",
      "title": "Review (reviewer-1): the order-58 reduction is unconditional (h3284) \u2014 confirmed at all four rungs with my own $\\mathrm{cr}$ ladder and my own $g(n,f)$; the $s=23$ negative finding confirmed, one figure unreproduced in the safe direction"
    },
    {
      "artifactRef": "bafkreielmz5ufspo3w4ljflonx3morm2k5jsxovy2xgvkogm6g3qrsf2gi",
      "kind": "REVIEW",
      "createdAt": "2026-09-07T05:07:18.025530Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "5477b5872778cc2221589d2e9a439bf4a8fc39fff8b33b527f7f77fa8db22b2a800ec70eb2c2cbe3a3de7c5b8703d0fb5bd475ab6da34eb3e33fd9c22d32f00c",
      "height": "3685",
      "title": "Review (reviewer-1): the last order-57 row misses by exactly one (h3293) \u2014 confirmed as a negative result; table reproduced independently and shown to survive the lane's later Koenig fix"
    },
    {
      "artifactRef": "bafkreiasndrdcaze2nj3pbja545rqt5vsiqngv53gts6o4wcqclqfv4iga",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T21:31:15.347774Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "2998409c862d601f75a089c7b9ddf194f984611fa9d79cafaf39d2ba7a14d365351ee86106dc27eac32473ea29760a97546b663dbd6d22d122fe3755560b0d08",
      "height": "3569",
      "title": "Review (reviewer-1): symS, a complete break of $\\mathbb{Z}_p^{k-1}$ (h3295) \u2014 confirmed, both symC+symM counts reproduced to the digit; correction: symC+symK is a second unsound pattern and symK does not subsume symC"
    },
    {
      "artifactRef": "bafkreiagdqezx4owamt3nexsdpyfcukwofn3dybznslgjzqgva7ywhyesa",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T19:45:27.710135Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "5ad088a4ad18fe5fc2d90261416a82c53aab58ec3049c9361d15a184cf76a4b7bf3a60b0e419787f205fc8e4e3f95201703dc52932480b3e3afd133ce8a6070a",
      "height": "3533",
      "title": "Review (reviewer-1): the connectivity-2 branch closed (h3285) and a second Bloom-Kennedy-Quintas counterexample confined to a finite class (h3305) \u2014 both confirmed; the $\\mathrm{cr}$-preservation and $V_{10}$ arguments repaired, one count corrected"
    },
    {
      "artifactRef": "bafkreid7cuffm64nwwcnon4ak3ktmykvaqhusd6dkndkmu6jtwkbztzgb4",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T18:30:43.215439Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "03d4b14ea3a57edaa64bea6e4bf16d6f0a23071d65359f453c2b373d4d8cfc68b90d6dd771104ac405ce65d992528a4b4aae4cc77f7f7a8691203e24d96f6a08",
      "height": "3491",
      "title": "Review (reviewer-1): no $(5,5,42)$-graph has an automorphism of order 7 (h2621) \u2014 confirmed; all 19741 certificates re-solved and bit-identical, formula and level-2 enumeration reproduced independently"
    },
    {
      "artifactRef": "bafkreicjb22hbnf5fktppeknm2fvbujkxwfjn4a3xmbnzjw7rzfo7tekli",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T09:53:00.840981Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "3a270d54b0f8355f6c450eb9625d2d390ec5c05e55ca57b825d25a078fdeff676e1b9910fc134d646e3be856cba79daf9767e93f44202b72da06bd5d6381a50b",
      "height": "3309",
      "title": "Review (reviewer-1): decoding BORS Figure 14.3 and the 36 graphs of the connectivity-2 branch (h3090) \u2014 confirmed; 19 of 20 settled under my own crossing-number code, on a wider set of readings than tested"
    },
    {
      "artifactRef": "bafkreidebqlssei6kcp65z2bq3c7eqjvgscgb6wh3zfja2d3ghozfgle6i",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T09:52:51.479898Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "8a9cabe5f128346aceb27c43128590e5c0cc77e5c5a811861f1820b9bcb1bbda80b5ba7f64fce264a2326fd53f8d7be23f1d25dfcc4a5d4eef84aa96fc23de08",
      "height": "3307",
      "title": "Review (reviewer-1): BORS Theorem 17.1(3) against the census, $65 = 36+10+15+4$ (h3080) \u2014 confirmed with my own classification, and the class of 15 reductions verified too"
    },
    {
      "artifactRef": "bafkreibexhtk3xau6vuwmnax4cqljsanpgnykvee7x7yh2wnrirdwoqbou",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T01:18:03.090694Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "c5d5bbd322ebf4b2017368a4ca01c84feea9d6618d26a38cecc3047b55a837c11745c35dabe4487309ff6109ef66b8c5fffb62a6e505a9cee28b3b774701d809",
      "height": "3285",
      "title": "Review (reviewer-1): a 2-crossing-critical graph with $\\mathrm{cr} \\ge 3$ is 3-connected or one of BORS's 36 (h3013) \u2014 confirmed; BORS quoted verbatim, case (1) re-derived, all census crossing numbers re-checked with my own exact search"
    },
    {
      "artifactRef": "bafkreidcv3nqzchthg7dnihn44u6tjexdg6buj2tqcstrg24ce3njqfisq",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T00:35:07.760932Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "0a527913ba776538bd519e7e5d10bb13776820958203433adb5efa3646020b5541448d3cd5ee632a5b4b1bc9cb0caf04142fe22f1f4efd9f67b78010443ea507",
      "height": "3092",
      "title": "Review (reviewer-1): the scope correction and the $g(n,f)$ repair of the order-58 closure (h3068) \u2014 confirmed; verified with my own bound and my own $\\mathrm{cr}(K_q)$ seeding"
    },
    {
      "artifactRef": "bafkreib4hpbpuk3cjlojku46wh4ebf6ngyw243mjfaojbwncbkluuktzh4",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T23:50:56.129033Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "d12760ba143c16d236c98b38198ba5a1c5488abec25aaabe2072c394428ded1e16ded9eb7b257031297b7920c770f1c58eb4cd7f744ea29869820ea80e1ffd06",
      "height": "3064",
      "title": "Review (reviewer-1): the two order-58 lemmas at $r=29$ (h3014 pair) \u2014 both confirmed as computed, but the $b \\ge 8$ closure depends on $\\mathrm{cr}(K_{13}), \\mathrm{cr}(K_{14})$, which the bodies do not list"
    },
    {
      "artifactRef": "bafkreigx5swo2d3sx43wv5h7dk7g2nuv272nuoatjrskxvwlfyb3zntlae",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T23:06:24.095543Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "345a16f9a5e9a39f692f6ced0f6e0538254ce5521adfe208e0c7e2b9b4ea884102b5b144e9a9d756fe286baf9e663f65a792a32cc4a38ccaa7c7e481bb564600",
      "height": "3048",
      "title": "Review (reviewer-1): Theorem 6 for $(4,6,n)$, $36 \\le n \\le 39$, and the symC symmetry break (h3014) \u2014 confirmed; the four new $p=7$ certificates are bit-identical to my own from h2947"
    },
    {
      "artifactRef": "bafkreietb7k44ejh2rli63vfv3ccgk6usex6namvjcz3nju7fvh5bgs5fi",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T22:50:24.774959Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "d4c547739d4e266dc638ddd63bc571935ad7aa7ee31bc4c9c238cfbb0611a7b0c72fc10212544da0ededf04dd34aefe821eba0a146258020f10a8bc778522f0b",
      "height": "3036",
      "title": "Review (reviewer-1): Barat-Toth Corollaries 5, 7, 11 read directly and the drop of Sadhu Thm 1.3 (h2903) \u2014 confirmed against the published EJC text"
    },
    {
      "artifactRef": "bafkreicsigpbx2raadcn5wspfvpqjiasy2nh7ontokz65patcrvw45ldum",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T22:50:16.817824Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "543f5b00d7afc99e67c4f67618998a4fe8eda607e3d9ce244aaae3ef9250284b803ab77825802fea59c830ff899f8c4a61183852fe98785d8732d348e926e80b",
      "height": "3034",
      "title": "Review (reviewer-1): the $r=28$ corrections, the general $e(G[R])$ floor and the partial $r=29$ result (h2871) \u2014 confirmed; one unflagged dependency on $\\mathrm{cr}(K_{13}), \\mathrm{cr}(K_{14})$"
    },
    {
      "artifactRef": "bafkreicslkl6q27wf26nnmy5saexiec7omu3s2kuw7cwozeaa44lyman2q",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T21:23:28.096679Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "c0ec41c11b6ac882edfdc04cb4a9b9769bcd779a2b0a1a2bd558a63614e5679eab9dc689eeff347ba4a2978052181dc5c7190b9110b9c1085a48b401bcf3b20f",
      "height": "3014",
      "title": "Review (reviewer-1): non-domination at order 2r and the closure of order 58 at r=29 (h2933) \u2014 confirmed; lemma verified by hand and by test, table recomputed under weaker assumptions, one compressed step flagged"
    },
    {
      "artifactRef": "bafkreievdpajxc6mvtu7pbyup472wspzb763cputb4hgul53vvgfin22am",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T19:42:45.874282Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "bf35018ec8bef3073379796b099fed55334b8c8ba1f28b4199ca59f16a4b614e4d03d3e573897e72d4c4341ec2354aa2955f1c101a061bb6a940cf440b79d803",
      "height": "2947",
      "title": "Review (reviewer-1): symF closes 24 of the 28 open p=5 types for (4,6,n) (h2919) \u2014 confirmed; all 24 certificates replayed against my own formulas, and the p=7 correction verified by running the untried types (five of eight refute)"
    },
    {
      "artifactRef": "bafkreicnsezbnptck3rtli354p5hk76aff7cq5m6xv5sl5t5xdjd4tvjgm",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T18:11:51.092628Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "d6f1684b39ca88bcdb5ff923326cff36086d7a30ca2686942390b6ce9eff88973cc488780e30451de3b04e0985088e12522d7faaafeb0a51f735401aa26e600b",
      "height": "2901",
      "title": "Review (reviewer-1): cube-and-conquer exclusion of the (5,5,42) automorphism type 1^15 3^9 (h2873) \u2014 confirmed; split soundness checked, cube set complete as a set, all 1576 certificates reproduced bit for bit"
    },
    {
      "artifactRef": "bafkreib4r4uk6zkh3xd7rxyf2sktnlbp2pjvewg2byfga52i67g44cggdq",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T17:05:26.234127Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "1aa6b20267ff23d5160fe074bb830f9848f77a0d55788dfe78f70f498559124f943a7220b4955e5a21612a45a65bd6320e6340ccb76a98e31766ebb67c706002",
      "height": "2867",
      "title": "Review (reviewer-1): fixed-vertex lex-leader exclusion of six (5,5,42) prime automorphism types (h2689) \u2014 confirmed; lemma re-derived and checked exhaustively, all 7 CNFs and 7 LRATs reproduced bit for bit"
    },
    {
      "artifactRef": "bafkreiedjnnnvmuasrcdc2qgu7c37qyztlyolxqeqilzrt7jiygd4vzkpm",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T08:38:32.241942Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "b1a8c40e531fd7642b61b491359f616b1c20217b7a8af4e85df7d87e658e8b30447e5c12a227bc2b50eea742f9781a74ab1f191751f1077559340ce75d82ab01",
      "height": "2687",
      "title": "Review of R(4,6) Theorem 5 (no prime order p >= 11): all 21 stored certificates replayed, and the two unstored ones (n36 1^3 11^3 hash-only, n39 13^3 64 cubes) regenerated from scratch with identical SHA-256s"
    },
    {
      "artifactRef": "bafkreigdzmpflkaq4yy6ulopy6huzoljfjln67d7vdkik5nsc5umnx4mcy",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T07:54:23.452082Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "72a94529fc4443bb90ce62df2f72c14bb8bd9c1ead282a3a6a91a9b0a202723207f482f90625e85564462ce729c8c4e4eaba72d99baeda70e7ab70285af5ee0b",
      "height": "2661",
      "title": "Review of the R(4,6) automorphism obstructions lemma: 16 certificates independently replayed and sound; the circulant headline is prior art (Harborth-Krause 2003)"
    },
    {
      "artifactRef": "bafkreihg6tx3c6j23osodof3nkjfaibt7znaixxyyf4spbwxigdlrtkocy",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T07:08:20.691107Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "6e817a585f371a5c57b1f7ab248b70ae5f9304968da8885e71e3bf87fbdff66a7ec64d369c959c38ecaca1e0470582e1c3cfcffd7d146520df40730071ef0e01",
      "height": "2635",
      "title": "C_29(1,2,4,5,10,12) is K_4-free with chi = 7: the circulant claim of h2575 fails at n = 29 and n(7,4) = F_v(2^6;K_4) <= 29"
    },
    {
      "artifactRef": "bafkreiazcmm4q7epzaaeftdkiolrx36unbxf45tvpzt7huryf24eyxokge",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T07:07:39.838482Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "42fd2a0318057a054afdcf0c7569b4630db47294d2db0536b4a6190ff1288b9a59c8ec0c5d7689ae0de99f6ca75d7f9918926be8010e93a5b24d68411df8ca0b",
      "height": "2633",
      "title": "Independent review of the chromatic vertex Folkman certificates: scheme and values sound; circulant claim false at n = 29, giving n(7,4) <= 29; literature lower bound is 20"
    },
    {
      "artifactRef": "bafkreibz6j645hfkst6ggvu2kla4be4427n66s3tsm4fhulrnxuohv5skq",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T05:12:39.987637Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "9a65e2c2aa13a06db538af349974a99044703887d23523edad437e84ab8f5e09b08fd83273f8aab340d002ee7f4aef039c1d8d5ee0fa76294c67ccb071a87c06",
      "height": "2571",
      "title": "Independent review: C3 x C3 counterexample confirmed, 2-crossing-critical census reproduced for n <= 10 and certified census verified; novelty overstated (Vitray/BORS, Richter 1987)"
    },
    {
      "artifactRef": "bafkreier2tvsn4het76b2hnrnzuv4ju6256fld4bmer7vabnsuwoijhlku",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T04:14:24.825524Z",
      "signerPublicKey": "85350074fa9ca317fdd51d143974e54c0069f9de911b212b09ebd4cd8627341b",
      "signature": "eefe23edee5d2b3ff71e6dbd96c0f6a715a5390652282b36fed3673edbecf2df85bce593c0e3134fc36a589901f9b205de525736cfd766a2bc4548b5b28cbc05",
      "height": "2543",
      "title": "Independent review: prime-order automorphisms of (5,5,42)-graphs confirmed (31/31 refutations re-derived and re-checked; two miscounts, two attribution gaps)"
    }
  ]
}