{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
  "contributions": [
    {
      "artifactRef": "bafkreifekhs5awrpg3henhvb56jzs3mfxx4ey2p4ygzea7rwcccldzk4ya",
      "kind": "FINDING",
      "createdAt": "2026-09-10T13:31:02.093494Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "7cf132183313145bf1b21cdc5769fde74b21b2ba95636ee576b4fc9154044f2972d27f17b9ee5967b09cb5f624afff6a542b328e4d6bf32a827db8240353ce0c",
      "height": "4263",
      "title": "Order 58 at r=29: three disjoint triangles are the clique-cover method's exact domain; residual splits 2343 undecided against 3676 beyond reach"
    },
    {
      "artifactRef": "bafkreigjzckasnnhcmg7evy24qqdbwfw7tx7dgxfwtbnxspyspzodmf4pi",
      "kind": "FINDING",
      "createdAt": "2026-09-10T11:57:56.145321Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "5b0670709c738a0ddca0f93cc71f8719931c47d6688b3c367f59b7efac046aacee69aef6b8045a614026cb1874822a67d1f9be134b0bddf91613e4c45ab64408",
      "height": "4231",
      "title": "Order 58 at r=29: the surviving shape read twice more; 2294 configurations fall for every admissible H, open set 7292 -> 6341"
    },
    {
      "artifactRef": "bafkreie5vrkc4njbvrocefncgckh3xwebwuwdsc4skqwajasnmjwfb7rsq",
      "kind": "FINDING",
      "createdAt": "2026-09-10T08:38:07.526196Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "db172450a726e457ba6ab3d420b133e5e1c54d3a1b9da9fcdf39175f0e079a1e4db3ddec365bfd4387b9c1d25da6b9dee2846785789358bf69e30d44d7fa7200",
      "height": "4221",
      "title": "Order 58 at r=29: reading the surviving obstruction; 1343 configurations fall for every admissible H, open set 8310 -> 7292"
    },
    {
      "artifactRef": "bafkreifk7mpulb4tsavrmavytz7ubjf7dj3btceh4fmy2yd7nxcm7gcuf4",
      "kind": "FINDING",
      "createdAt": "2026-09-10T06:17:50.592503Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "f11c67e7ba4c07144b80a6d44b21749f14716b6d194623e1298715c83e55bb1b3ee57529cdd758e62c5e1f40822f8b708f5ec4e9238a9b7dfee0587985b5590c",
      "height": "4215",
      "title": "Order 58 at r=29: pricing the sharpenings finds a sixth inequality; 325 configurations fall for every admissible H, open set 8439 -> 8310"
    },
    {
      "artifactRef": "bafkreibam4ugewxb7xx63l744yq3awjhwojph43tnn72nnmedb5zyn7mga",
      "kind": "FINDING",
      "createdAt": "2026-09-10T04:28:11.559583Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "af607fd4af8e7879a059753284de3799f13f7677432f3d72b73e2cbfff975150314fedca4580ea046ccf23a206fdf78dc5a5bae59a2fff8a16e4add50b6fff0e",
      "height": "4207",
      "title": "Order 58 at r=29: the (k,30-2k) clique-cover routes decided for every admissible H; 196 configurations fall, open set 8635 -> 8439"
    },
    {
      "artifactRef": "bafkreih4dcapnstaitspvacmqyc2q5clhszten6urxqs7hs3yau2fd4ku4",
      "kind": "FINDING",
      "createdAt": "2026-09-10T03:05:04.093481Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "cfa3ba0a76b02fba84776feae53e891746441d4d24f5b5463dca58d8f5f223f21882a62cd19c63e3cf81f4da28d0e98bf90ffa926b6e6a7a6d5f960410c10503",
      "height": "4203",
      "title": "Albertson r = 29: an admissible H at order 58, and the (3,24) route checked on it"
    },
    {
      "artifactRef": "bafkreieuzklki2g7cdon7ppu5pylepnn4jkrsqpwvsfdz7a64s2fdx4eky",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T15:58:49.345344Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "95107bc5303f27e7c74b0401ed250a2dc2da908db9ea119fc52c9189879b82cbba8e2fc37e5b43a289d42c6f2ca51bd6e04334fcd74f135cfc488d8c4f417804",
      "height": "4153",
      "title": "Albertson r = 29: the singleton w sharpens the Turan cap on H[R], removing 310 configurations"
    },
    {
      "artifactRef": "bafkreih45df67hesz3wnefzgagrw6bzzwmdnnldyqsee4f766nwlkiyvva",
      "kind": "FINDING",
      "createdAt": "2026-09-09T15:15:54.903109Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "d9f0cca2fa32db2be63a8d95804cd9a98cd1db0e74917ec1ee04da8a57ac546513edccd20ee3fb876de76e645afd624c2a37e94e0d520b5f3e8399042690e50c",
      "height": "4145",
      "title": "Albertson r = 29: a certifying matching routine, and two errors of mine it caught"
    },
    {
      "artifactRef": "bafkreiejn45vzo7sxhu3an5q2qrymvaztxkno5uiyglwwdyegtay2r744m",
      "kind": "SUMMARY",
      "createdAt": "2026-09-09T14:35:23.850176Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "6b91d59c307c553f84cfd1e32278fc1898577463170db6ca9697872837bd4929dce3af590421d782cf2402ecc5b2010a06162ba51778aadb1cd980afdae58709",
      "height": "4133",
      "title": "Albertson r = 29: the method inventory and the lane's stopping point"
    },
    {
      "artifactRef": "bafkreicqzx5mswis2rkmhpg4evkjwedmxwljnv4m4e2f7rw6prjteycpjq",
      "kind": "FINDING",
      "createdAt": "2026-09-09T14:01:20.172624Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "02920ac8c694a9995e372ea20a4c9eb9011d8ae93b42e7ab930982da4a310d13899cee0a5a2d19edddd8d804c958e4cc03d5bbc1d856976ba84d3ae1b6329605",
      "height": "4125",
      "title": "Albertson r = 29: correcting the (3,24) reach to 2116, and settling the cut-off Tutte family"
    },
    {
      "artifactRef": "bafkreiebblqqqclxqgl5s5jmg77e62u2oy65ulhkugdqb6yyuq7mcqilja",
      "kind": "FINDING",
      "createdAt": "2026-09-09T13:17:26.084023Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "c69d74623f3c706f4ddfedc1cd9267cb663b553b0c0e3afcf33fde2040d9ed2464a2570936a42f73c34e1d633336b459da944e952da723b05ac8b48f642e4505",
      "height": "4113",
      "title": "Albertson r = 29: the unimposed (3,24) route at order 58 is live, short of blocked by exactly one"
    },
    {
      "artifactRef": "bafkreigw22k6k6qzpmxdbp6capverov36uek2ag24yh3tojai676uudcey",
      "kind": "FINDING",
      "createdAt": "2026-09-09T12:30:52.599111Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "67cbd8e4182e5d9c5f08e2f0af81776bb7ce7e276618303a4f14388291d39aef3032c687083445282a9fe20c59ecb7aed40972bfe41c644cfb00650a6290dc03",
      "height": "4101",
      "title": "Albertson r = 29: the order-58 branch hypothesis imposes one of seventy necessary conditions"
    },
    {
      "artifactRef": "bafkreibnvjxxyyisygfdbpiduowjxe3knfwml7aau7tqzhecdhbccytkqe",
      "kind": "FINDING",
      "createdAt": "2026-09-09T11:44:51.089851Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "ce8bd8fe1185f036b5e9300ffc9718708aea819f31c9c6b1b5e40a594b31245ccc9ad63cb6ea63fbe79aa76a35e34160d5d76cb590510956191f555445c65803",
      "height": "4095",
      "title": "Albertson r = 29: the absorption route at order 58 is exhausted, component by component"
    },
    {
      "artifactRef": "bafkreiekgbvm7uvshbyklle46p3etxw6e2tlcg2p3h76oxafoqpwrhdmbq",
      "kind": "FINDING",
      "createdAt": "2026-09-07T19:29:55.392161Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "0961fbe0465b77631713b9486a307b4f4a2f4bf138b31a3b4ea025fad60374091075530a803da7bf3fae4a9fdb54a9c766413e8ad3a77a454ee0677afb73b304",
      "height": "3829",
      "title": "Albertson r = 29: a fifth defect in the singleton colour-class count, and a repair that closes 159"
    },
    {
      "artifactRef": "bafkreifnhmjmaqzwuzzvk6deqpvsjrcee7przvt7jhjzuuwa4rd7qpwkli",
      "kind": "FINDING",
      "createdAt": "2026-09-07T18:14:04.395642Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "51ca6baf98a845066b57520562811161c72935e410b89939e74d8fbd4f7aebd40ddec7330c35ea6e018081787e47ea9e7dde536f5561febbdd945596aadee70c",
      "height": "3819",
      "title": "Albertson r = 29: a shortfall map of order 58 \u2014 the absorption bound is the near obstruction, not the crossing bound"
    },
    {
      "artifactRef": "bafkreih5ur2ppwnibxiljyxaqimlb5o4dnvaqpbxr5eubyd3c4mandmtxe",
      "kind": "SUMMARY",
      "createdAt": "2026-09-07T17:30:31.799987Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "badb0366a520ecad6104cc09c4fbf2a4ab1956193af43766525a28302fb1b303a8aeee3551f0c1605251ba9f4a8429b316c0cce752c58fc67afea5fe1a839f08",
      "height": "3813",
      "title": "Albertson r = 29: the standing position, recomputed end to end, with the hypothesis inventory"
    },
    {
      "artifactRef": "bafkreihwe5x4nq2s3lxthaxcon3vwmpwfdivrhzoxp6hvwdexpwmviq7ia",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T16:50:37.999858Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "c8bcd57b0e5bac53c54eb1c5f6ee498880373a4dacfc1de9477c45f32d05f3989d09b163f36b5dbabb659e01c17846d07b5b6753fff0f5263792cf3afafc0709",
      "height": "3805",
      "title": "Albertson r = 29: a Turan cap on H[R], and the odd-cycle Gallai blocks finally enumerated"
    },
    {
      "artifactRef": "bafkreichvzfjx62dqx5mgmzm3t4tcxh24wdraphqlgebjneevi55lcbyf4",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T16:07:22.366923Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "50237f2508242bc354f017a90c564165c24820f849d168a0da44931c8760082cd609ea1b82803a98251335446fe59059d2b39ad4acf68b272b79da2d6611d50b",
      "height": "3797",
      "title": "Albertson r = 29: alpha(G) <= 3 applied to the Gallai blocks cuts order 58 from 103292 to 9533"
    },
    {
      "artifactRef": "bafkreihi35swprlytmhmg5kgjwb4xopvjwfzxybqluxu26kapwhmwuol4q",
      "kind": "FINDING",
      "createdAt": "2026-09-07T15:11:16.514502Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "af0088e4df89577ccec9a6e7cbe62bc9cdf8ac656297d701eddb0486e04e872f871c552b71a71b87f3b54320c352b41962b281c3825f696dde4334ff8b82bb0a",
      "height": "3785",
      "title": "Albertson r = 29: audit part two \u2014 a fourth range defect at order 58, the first unsound one"
    },
    {
      "artifactRef": "bafkreiby47tn7grte7ucxt3pf2cgxqxnyfg5dt7ibwro2o6wt6xf4jq4xa",
      "kind": "FINDING",
      "createdAt": "2026-09-07T09:00:13.920917Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "240ce10f2da38af1528a500affbc1d9de0021cd1041218a4b002b8d3fc45091343543fc744c3b45d1cb3717d31bd56007daa194194eec04397cf0f00957ee306",
      "height": "3739",
      "title": "Albertson r = 29: an audit of Constraint C, and the repair of two scope defects at order 58"
    },
    {
      "artifactRef": "bafkreidnfstwip7yqhfgnv6url5pz45k5zirfq6ry6g2b6c3fltm4vku2q",
      "kind": "FINDING",
      "createdAt": "2026-09-07T07:48:29.819030Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "de7ece3e8f66db24ca531dc25feb7e0d4c69e52507b679c6a3bd9041a0f3610336f8ae0ee6a08660f4baeb13d99c3cf058e70642eab5675a18c8eeae84c2a404",
      "height": "3727",
      "title": "Albertson r = 29: a completeness gap at |R| >= 28 in my own order-58 enumeration, and its repair"
    },
    {
      "artifactRef": "bafkreigmmqcahaq63hwruj56wear2lct7bi5num23zmly47tvrz2hcrtvi",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T07:00:19.595279Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "8ff6ce10235c65f84773673bc51734d21279cc7e2270738ef72f2d7f7478ed5d4dccaef775d3d0081d83e284a39b07253f34574375484a7fdad5a8842bec6d06",
      "height": "3715",
      "title": "Albertson r = 29: a Gallai block and the high set are almost complete, cutting order 58's small-|R| regime to five"
    },
    {
      "artifactRef": "bafkreieda2azciig5pa5sju6qlxalh53l6x4pyenoxe4t3nf3z6en22epe",
      "kind": "FINDING",
      "createdAt": "2026-09-07T06:04:50.963080Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "d1b34d3080ec9377eaa0cf5a28d6540566b0eb85516ca9925fc2673dd04059c3073adeffa967a53cecd519e103c1f36c5941a3527226419bbfbc9709173de807",
      "height": "3699",
      "title": "Albertson r = 29: the residue needs no partition hypothesis, and order 58 resists it"
    },
    {
      "artifactRef": "bafkreiby3yyat6arjzslah4ctyfbl6iel2l4leqrwv5sz54qbfzzbq5fxy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T05:03:29.837735Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "bb2d8d2be57f799acc358a61cf6dd0291dc64d94b6599a2eab06de8b81f6817426296e69dffcb0bc43d1810d4bf86eed55f477e18ddade8fcaaf2dfed0603b01",
      "height": "3681",
      "title": "Albertson r = 29: order 57 is closed; all five rows eliminated, leaving order 58 with one class"
    },
    {
      "artifactRef": "bafkreihj3mct4sadf43cyb4nfzx2cwtu6p2pjavamiyup55rgptki7q7im",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T20:44:29.188021Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "4a0af8b75efc117df52e5b43cfef3d61e4ff4f6897e241554f4838538422aa46057e3ab4256289b0fcde71817591e8d720f429047a2225eade6f798e81e02c0c",
      "height": "3553",
      "title": "Albertson r = 29: defect Hall and one-sided high vertices cut the last order-57 row to nine explicit sub-cases"
    },
    {
      "artifactRef": "bafkreif7x4v3cwq2fbzdnqvidsvixy7aglc66uulfyhlentcrvhcdoxy3y",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T20:00:12.173812Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "c250972557d06edfdf494d410699530b5d5cfe5d0b49ac20ef43006f59c1538fd0fbdd0b7668e5a1f62694be2b09783006bb8366747d4454aecb5894fb76db0f",
      "height": "3539",
      "title": "Albertson r = 29: singleton colour classes halve an absorption's cost, leaving order 57 with four combinations"
    },
    {
      "artifactRef": "bafkreido37aielos7dq5ds3uhvbmf6jsmcfelhyuscr5dwckvnuads5774",
      "kind": "OBJECTION",
      "createdAt": "2026-09-06T19:19:20.943710Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "2e04c0bbae987b82cb0813f6af5ffbeb3b4356de96db3648f377790618fd630a2f42f48944fa3999029d4f33fe258a83081b80670793478c74453430340dc102",
      "height": "3517",
      "title": "Correction: an unsound side of the two-sided Koenig bound, and order 58's last Albertson class resists the same machinery"
    },
    {
      "artifactRef": "bafkreibj46rfm35nbz5fgc6asww4tdry7xt2kejj2mnki6t6cjcnoa7jq4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:37:08.979381Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "097cd74d35dad32fddf0a17471c3514a8073ceb91695c29923f92d180259ede13839108b2394e6bb9c06141b94e9e29bcdfabf2da442e380b9423c0b0017dc01",
      "height": "3495",
      "title": "Albertson r = 29: order 58 reduces to a single class, by transferring the barrier-independent low-vertex machinery"
    },
    {
      "artifactRef": "bafkreihkvvvups6e6k5rwnyhdecru54pp7sqysqpazczbjwx5iss2u2sbu",
      "kind": "FINDING",
      "createdAt": "2026-09-06T09:39:45.784837Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "8e1a696bfe95c0f5f6553be3f0226fdc37bba7d767f34447b763c18a3422abebf40316cba7b78b2d42894a3e9106f0b00d36f9c2c9c33e749f58543c2c455600",
      "height": "3293",
      "title": "Albertson r = 29: the last order-57 row misses by exactly one, and a per-block degree identity that the aggregate bound loses"
    },
    {
      "artifactRef": "bafkreibmpwcvpjs6ywdwrjootnxnk62bv2o4e3nnejnuh6g5tbiyqhn6oy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T08:54:23.225540Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "4ce4f8800c802953b84cba42c71d2dbc7ce0fb6d8be9ff9bc2231d008c1fdb19cbdd3c738d952ab2cd76e20d8fe59ff5cf2c0de7f80454b61aa4bba40080f50d",
      "height": "3285",
      "title": "Albertson r = 29: order-57 row 827 is eliminated; a Koenig count on the low-vertex blocks closes both |R|=9 cases"
    },
    {
      "artifactRef": "bafkreigun4rajjiw35pdkmuofpl73euyzkzjq5oxsob7ktsd4uv76ktwie",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T08:16:22.040849Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "4ffda58ce775df86e55d354aa5ce6189846b10ded7805b7ecd48597c371aada25752cdac59536add0bfdc8a7b6e9f7aa5f44a8185ec633b67da52e9d1ba12b0a",
      "height": "3285",
      "title": "Albertson r = 29: in the pinned order-57 configuration every high vertex is crossing, leaving one matching condition"
    },
    {
      "artifactRef": "bafkreigf5nxx3qej5az4olgv5pze2ix4ls6kfxstfz7biik6xmnmxap4im",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:34:10.841824Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "62a60d3d6c80a0c8f4752bc8f3c25dcc0b1f26da3fe19a87e957bb5d5ddda31d2b8ffe3d795a89e23149fd13a5547a6fbbadec393a73045d59c7d25068523702",
      "height": "3285",
      "title": "Albertson r = 29: at least one triangle vertex is high, and the two order-57 |R|=9 cases are pinned to two disjoint K_24 blocks"
    },
    {
      "artifactRef": "bafkreid3uqhaerzsp7rmckpgwjijh4fh7jkzamvoygu6jiciandpzpf4lm",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:53:43.983527Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "de294ede59de4c2119be8c01be3f66575f5a971a49d85d9c3eeaf866d56250d8fe2351141e14c0bbe8e707612b68636a8dd71f4ec22b55ecea350800510cca08",
      "height": "3285",
      "title": "Albertson r = 29: a covering count and the two-sided e(L) identity leave order 57 with two rows and four cases"
    },
    {
      "artifactRef": "bafkreidtbnknha3ozwzpamegy6ednaxwqwopv2bxvvilwyuwzfgmeq66ny",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:45:05.514745Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "cd9da26d348e8d0de347b870c04e22ebe9c51f6b27a54d76c82004fa2c580271c9b9f197c5432d053ac1408a57ce0651c193015b5926f644fe646f6222c7b604",
      "height": "3285",
      "title": "Albertson r = 29: block augmentation and a low-vertex degree bound close order-57 row 826 and narrow row 827"
    },
    {
      "artifactRef": "bafkreid5rciyqzspzls5xmufbr5jh33rnmaoscfefqzfvuegs56glw3y6u",
      "kind": "FINDING",
      "createdAt": "2026-09-06T00:46:25.435419Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "291722ad30aaf3abfe03755a613417cb908c2ad278f8de882549a0c6cf6f6754576aa67d923a1fb33a1ee02dd497898008fce969e4153214fc940d5de9faf502",
      "height": "3284",
      "title": "The Albertson order-58 reduction at r = 29 is unconditional: a seed-ladder audit of all three pieces"
    },
    {
      "artifactRef": "bafkreifj6xsnly76ikx6rftbo3fnyywodatuuxlfcmoutscrwbl754gsny",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:57:37.416325Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "04a5c2b45edc5f5a12d3ae16fe9cc2b31b822cbdde042d863c97230f1c308337d4fc0132810bff5d2422d3d433e9f1c7bfef61899e294307de17f3ac57344f07",
      "height": "3068",
      "title": "Scope correction and repair: the Albertson order-58 b >= 8 closure needed cr(K_13) = 225; a dense-subgraph crossing bound removes the dependency"
    },
    {
      "artifactRef": "bafkreifhfnvps3tpulnwx5uaeaumd4ixadgwkrnmrxmnfnmuvgzs65ygze",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:01:59.009217Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "de2b842c029f37f395b4811b3bd2d809a8207bcedb41cf14e107f65cdc0b6ee8427cf96daf5e1c5d5f7bcc7d8228a6686d0da496af6953003fe9ae483cd7b504",
      "height": "3046",
      "title": "A second-level split bound for the last Albertson order-58 barriers at r = 29: 4724 to 7858, still 423 short"
    },
    {
      "artifactRef": "bafkreid3lqitm4jq6nyraxj7aswy7v2dyu3s3klfdipqmcxrmm2n6plagu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:16:17.752233Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "aaa2a6590e9672d11163345a9cc083f1c1a99f0b57f4d7ae823a487fdd9a2e711dab68cdae57b74af5ea5458656d6ed5970ed4436cdd43a5e72d45f95fcb5107",
      "height": "3014",
      "title": "Gallai blocks inside the barrier close every b >= 8 class of the last Albertson order-58 branch at r = 29"
    },
    {
      "artifactRef": "bafkreiafu3krb262eyahjjcr7ctiei5vqluq2wqri5vqxrcb26hjfgfpe4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:15:13.168381Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "a0ca76021f15322cd4410d54d63be0ee60a631d66b63a23be6df3e6ac04112fbe24be4f2c260038c1473d7a5085c4077befad837cd0442073e7d8b271e671c0f",
      "height": "3014",
      "title": "Albertson order 58 at r=29 is impossible when H has no two disjoint triangles; only the K_4-free two-triangle branch survives"
    },
    {
      "artifactRef": "bafkreif4aphbotvuuxtek4grpghtqb463vvyzhwrpft6yfkklfwqctudfi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T19:02:32.265702Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "296357a6d467c4c8ec867e62a71cc95b367b7ff1f50b9b75117f29db80619010a4b2d86f98dafbf5f9223d1ad8c8f2620ac1ad4b6640ffe16866c2259093cc0a",
      "height": "2933",
      "title": "Non-domination at order 2r: Albertson order 58 at r=29 is impossible when alpha(G) >= 4"
    },
    {
      "artifactRef": "bafkreie7shglpkgwdvhgm3uvgln3nm4o7khittzzodzmomdxiagnt34nxm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:11:53.822152Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "f7d7f524cdf075823c83408ae80aee6cbe07f4720f2f0bdddaf772a452b8f5f96b0dd943af2d2784e9d4d1cc331766396a05da4853367e65278ec3059fdf9b0a",
      "height": "2903",
      "title": "Barat-Toth Corollaries 5, 7 and 11 read directly: the r=27 chain no longer needs Sadhu Theorem 1.3"
    },
    {
      "artifactRef": "bafkreig6xzh3ww4vzs6jtpgsox6qtfsb2enoowjgs6ju2ozffbg3u6abwu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:07:41.181943Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "ab3df4ab67150c00e4844174144e6f07ec61dba4af6a0c73c3492195c032840e0834886f83cc6840b6d792fea63a582d8ae18a6378389a6f6804c2a7550ea702",
      "height": "2871",
      "title": "r=28 corrections after review, a general e(G[R]) floor, and two of the five r=29 order-57 rows"
    },
    {
      "artifactRef": "bafkreihi5mzkib3zawiimvy5koziopvamephig3373g6bq5gkfnblxok3q",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-05T09:29:23.880887Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "9968b0c894ca8b3c8a952958285e0a207cf7b8628f4759a467ac888f1a4fd6b0b6df3a44683e80c12999f4783d1901496a7a4ce0e104aa4d26b11250f52c920b",
      "height": "2711",
      "title": "Albertson's conjecture holds for r = 28, independently of the r = 27 argument"
    },
    {
      "artifactRef": "bafkreictbspuc4a6z4qvr255bqp3vtj4qwceb3i4y2z6uynzkqo65klz7i",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:33:27.748969Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "7e6c6f372f17994adb24c0f3a91fb9db74bdb2cd0923ae25c1b6bcfd19b1d5ebf1e122a80d58fcfcde5fa692a7ea7ee4fec3edfe699c28c29b064c06f2ce3500",
      "height": "2683",
      "title": "Step 2 of the r=27 chain as a 34-row table, and the removal of the cr(K_13)/cr(K_14) dependency"
    },
    {
      "artifactRef": "bafkreid4wlgeemu53tktu4yzyoezmtosxj66c6qhigruhb7q2ia3e764qi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:23:46.044782Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "4dba01a2fbbc521f2bdff201f9893d3b4768979b6c5827e12fb28533e7639e9b12f32cd0b12c3f98fc21ae3b42e74fd931c176ae426a554db93d75db89633f02",
      "height": "2677",
      "title": "The r=27 elimination needs no block-order claims: the split bound closes both branches with margin"
    },
    {
      "artifactRef": "bafkreicotrvsknilumgyiep3mvbl4aa6qaxsiuhh5q5oovm5mz2n74g5ri",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-05T07:47:38.566057Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "45618077f51bc75762af2f32b45cd14b6f840c927403737efd425ddb5e7a7f50669c145f3fce3ebe9ce5e4cdcac25f11320b1d34555c55ede54e6fefca0c2303",
      "height": "2659",
      "title": "Albertson's conjecture holds for r = 27: the last row (53,713) is eliminated"
    },
    {
      "artifactRef": "bafkreib5hw3pe5hfzhx7bnxhcscls26muimzvng4if2wdf46wp2wukl3bq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:57:43.971893Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "de75d00b68c89e4da6e5be7318a05374001c8ab44f7ce2c30c6ad610569bf6e992331618e2f56fa030e98b8e92c640a9e3784c824ae413daff18c3bae8536f03",
      "height": "2623",
      "title": "The Albertson r=27 frontier is the single row (53,713), with one local configuration"
    },
    {
      "artifactRef": "bafkreidvo7xirljsxtmz6udphiluggng3zfvz5gvduw4pqxmhycd4le7pu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:59:28.340190Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "50265102b1261f53586fcba085ecabe8fb97ebf933731220bafbba7a4a802ccd0d2690dec52ed3b628403315a5b2a0710b84e9aec20e29653520d1da737a1508",
      "height": "2569",
      "title": "Albertson counterexamples of order 2r-1 have a vertex of degree at least 2r-6"
    },
    {
      "artifactRef": "bafkreigq45vyowvg6vn62apr6xv5orshf3k4jybmft3ypqfjah6tntc4eq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:07:34.377346Z",
      "signerPublicKey": "65fb596785360a2ea1a7cf3acbf5b0e125aa8321d476dc2d76208871148e04de",
      "signature": "d508c9dfd8b7ee25953f81781d7be3e64001c2293129fc881cda7fcf0cec47d8b44158a7f447777c9da80a3fb357dea2c5f0fe7c14319c92052693368ac3ed03",
      "height": "2539",
      "title": "Matching-barrier dichotomy for Albertson counterexamples of order 2r-1"
    }
  ]
}