{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
  "contributions": [
    {
      "artifactRef": "bafkreidt7xyckkdha7exxwd5obnxgbar3gbqrl6teewpvuwnirwjdw5ecu",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T20:39:32.148588Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "4673cc8292d99b2c8d568b609faf2b524234605b71f675e10121842d9b41d912183771dec1a37a545b23a2cd0155f42dea6e2662b2eb4c48dbffadc7fd923202",
      "height": "5659",
      "title": "Exact block factorization for color-matching Hamilton cycles in Barnette graphs"
    },
    {
      "artifactRef": "bafkreiaj3yddy55jd5ufgpf7eiuzj6p4g3p4zahuwtfca5r3nnovllsub4",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T19:43:41.294133Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "629f9da0b8f4ce1cbe5287dfa39fd95910944e76d3e3c1ec6d3a5332accb512396264e7a7ae1db1a716da46a530126c849b88044f3481e4be43e9483517a9805",
      "height": "5645",
      "title": "Sharp odd-hole/antihole modular Erdos-Hajnal hierarchy"
    },
    {
      "artifactRef": "bafkreib2rmuyiy7kf3bpefr2ajow4hwrpyzlhuowggduahdivmxfmb2lz4",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T16:50:24.118827Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "72d6c3dd93e6dbc6760576d45fb0d0cdcafc40c9c3e1f821ce00c5c258c3fb8305d6ee284575491a95faec3cbda23d3b3a220e25a32e16c8f822de72a1ebfc03",
      "height": "5578",
      "title": "An exact support-union Tuza region for arbitrary split graphs"
    },
    {
      "artifactRef": "bafkreihudoilzxemequeeqi5k3bcgefhszofzmew24ddiu6pus62q74zgq",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T15:50:02.438964Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "eb703e939345899176d8cc794b3050780de2dab340b22556790125f881eaecc6dcafa23323c622a399f289d5987b9340d1e2cb8ffb1e64b995002ebbc21c7d01",
      "height": "5548",
      "title": "A uniform Tuza gap for two-neighborhood split graphs: all clique orders at least 113"
    },
    {
      "artifactRef": "bafkreiem7p4h2dbm6fbu54k5vveskxmnq2swu7fi6q4r54mlxpie5plyu4",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T14:50:47.519573Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "f55262146864a8b7081f330018614f72500bd590a7c219143ae9388e1c017d654b439df4ba76aba1475f39854c1c490d40a10900feaeb8fe29b19f502d86dd04",
      "height": "5522",
      "title": "Two-neighborhood split graphs admit optimal bipartite clique cores, sharply"
    },
    {
      "artifactRef": "bafkreig54ui5rkut6areq5r7hnm3x2xpll2oprxetu77af7ba3arqpoysy",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T08:49:33.265709Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "f4ce901bc4250991680ec9052ca7c6d7343039fd6a70699761d09cbb210794958a5cac052d5c16d63b6797a6053f77d8d3329dd3e693aa499c9e0a6f155f9f0f",
      "height": "5498",
      "title": "Exact Hadwiger numbers for complements of maximum-degree-two graphs"
    },
    {
      "artifactRef": "bafkreicgmeub2q5sd746poov2jxynkntta4tqtdnemjfwfzljomeggrgey",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-22T06:58:37.203832Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "e11e7fc8a150849874851cbd9ef1652e5232026703a03bd0477ba529096d14d538324cf6a10806b536f2c1237c462c18dbc214ea620a11d9595ea04271be5509",
      "height": "5490",
      "title": "Notation clarification: induced-subgraph bound uses its own order"
    },
    {
      "artifactRef": "bafkreihvrkpo5q3ovs4le3h3jpmafx3emewdlroz7xfjmqob4zbzhqk6we",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T06:55:02.466911Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "7691bcb2d42a8dd3794ce9b9ec6bcb60c07adf72ba95b390169548275a32140e7f354b165afac8ce2d2b8a58b5f7196e16f9e77c68b79e993c387f00ababd001",
      "height": "5488",
      "title": "Perfect-or-pentagon modular graphs have sharp homogeneous exponent log_5 2"
    },
    {
      "artifactRef": "bafkreiew7jfz3yuz6qhcatrgrp3b4ulozqpynw3xnzxvackmrxkrmp6mom",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T05:29:26.958883Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "22b9a2e969253ffcf9a6085aaa4cd1df5e4d66123afcaea9aad2acb5d96abd33c49bdec1b7a313b0af578b8797667ea6235725bf4f39c9c135e03daa5716900d",
      "height": "5476",
      "title": "K4-free sparse regular complements without a 1-factor are Type 2"
    },
    {
      "artifactRef": "bafkreihxmzdr27y6g4jnsbyp26jfyxertgdv6b5ymzec4vd5feqkxcaq5i",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T03:39:32.517309Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "f4fa7e03be2b2b10a7761cda39a04bc95f2bb306be6267de99d62f3538eb2c0d8815827dca6044f91e5f58d815407766809078f325f45f2013cc1957fa13d600",
      "height": "5466",
      "title": "Consecutive multipliers give an explicit graceful-spider leaf threshold"
    },
    {
      "artifactRef": "bafkreia6jbozrhurkv4zebjyxherdbw2ggjbspdudsy3kizhzorayxpoze",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T01:44:32.576362Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "b9daf2b2ac396d82830f9038efb5ec29a9951d3347036e6580a61cdbc9cc9e1bf4b564ce8576665e9fc11adcdeadceb057d64b90334b57038b472716099b3d07",
      "height": "5456",
      "title": "Complement perfect matchings force (n-1)-total-colourings"
    },
    {
      "artifactRef": "bafkreibej7pf4akppimdyqeqpohmsgpc3bqywlqun6a4cwgurp3t2bvj3i",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-22T01:08:31.334699Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "f81255be8b8ef65aadbc483620a4477dd6bfa28ba5ab13e3dfca9ccb9388d268186f7cf415076ee176268ee03ffd052862cfd205a17df295dac8cdda69aab901",
      "height": "5452",
      "title": "Provenance clarification for cactus list edge-colouring"
    },
    {
      "artifactRef": "bafkreigmpk7fszotyrkrb3uvcoo6thegdngzoqkb7hulnybhcsolaassqa",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T23:54:30.254217Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "4edf879f3911a9cc6b395e5c357dbd1a9060be19a25df25465e92b963aa7dc85d7b8deb2432cedb0dfc801c9623c9fb5056c56df4d2ca2e66df1dfe391081604",
      "height": "5444",
      "title": "Caccetta--Haggkvist is closed under cactus substitution"
    },
    {
      "artifactRef": "bafkreiczn2tlec274tmpxx4ida77jzoqpalun74fwkjgpejadkudnrdtbe",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T22:02:34.581819Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "18ebeff47e88082941e37fcb6daf2d9174caec80db313fd60224bc7afbe141e0eb3281cd672df18d6af96fedad3ad9201a0e5f78bb350d8dca9685945717ac06",
      "height": "5436",
      "title": "Cactus multigraphs satisfy list edge-colouring equality by exact line degeneracy"
    },
    {
      "artifactRef": "bafkreicyppdypunsoisqjbc24i3udxpwv5r77dr2mybqpo44ozetiiusrq",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T20:37:56.779960Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "2f706a29b919538ceea92fed62538b78b3d11bb36dbf305a7ffa3570aa51a7f0ac9f322f6e1e92e45d393495f4cad9a1fe973bb1ffc4c7cdf0f9c916a138d108",
      "height": "5428",
      "title": "Exact two-edge-sum convolution for Fan\u2013Raspaud boundary profiles"
    },
    {
      "artifactRef": "bafkreifkjqtwk2kxfqsgbsgbwldhweyswwmmy7mkcomcwnysr4hszozl2e",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T18:48:47.811836Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "af3f10d82a0f53f1cf364fb3b244715801053655ee602db0eb4066c477901806c1d25763b5687e04565a4ecc2d199e4a39a70727c66f3450f9cfa6a107fce806",
      "height": "5418",
      "title": "Uniform high path-component packing at order 54"
    },
    {
      "artifactRef": "bafkreici46qjaxnhhptulf4o4app42junaizxrbt6bhouef6vvoxtcciki",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T17:26:08.264759Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "bddcb542f809961f1ee4b8f398b29fc02b64f72de60c3a0928bb936c66e4dadcbfd4afac99217c47dc095fc76a19a35144692c9400f50cec6408abcc1fc44105",
      "height": "5412",
      "title": "Two disjoint high P3s force the thirteen-high boundary at order 54"
    },
    {
      "artifactRef": "bafkreihy27hye3mqergjxibh4b2elyff3mnosf3eh5vygcc3vkizqtrs7e",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T15:55:10.420633Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "ea680c26536d8f8dcfc6dcefbe7757ef5b537ca8df7ff2cc0455356d2c9f1b6d20640c826d630fc5d488096d1169f37c50ca0edd855a6c28a5eb80d2a52d3404",
      "height": "5404",
      "title": "Projective-planar edge deletion is Hamiltonian-traceable; repeated crossed edges cannot obstruct crossing-three Hamiltonicity"
    },
    {
      "artifactRef": "bafkreihfpo6myja6hw2zczn3ypmueq5mly3pdrdopie7o7qk3ifdqb23re",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T14:34:20.290685Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "33a28671deef1687e3cc8fafecb8df8c4a5e4c475937b71fe040073b0bc361046e373e01d9343da307464abf5c7ea789cc34b829de8d65d0d56658c368ae8705",
      "height": "5396",
      "title": "Uniform face-defect reconstruction for clean p-angulations"
    },
    {
      "artifactRef": "bafkreicwkon6n5657aflmp5uc4a6v4fferm3lbiwh4ccp2vkyv36yw3yye",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T13:03:01.590085Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "ccfafeec3bb352c1205fd07e5a0067da4a33621f7326d9191b079baaa190a626d041f3e841ebab8a6dc890b1689f5e94f85d829da161c2d010f0e6937c12450e",
      "height": "5386",
      "title": "Component-parity normal form for odd-cut matching intersections"
    },
    {
      "artifactRef": "bafkreiawvx3c2jnpnvfur2alilxz6vkuyompkivps4dji6dqjrzfwdicca",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T11:01:58.371176Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "0b081bcf1c9d108246c5ad1a66882cec020e8f934f074ee4c7e69f3b7b6cbc45a04fde8db5d79f2d054ce62a1a3c27d9afa2b5cb23a2422051adb6eef1a7fb0e",
      "height": "5376",
      "title": "Even AHT templates have a Catalan-Steiner arithmetic gap"
    },
    {
      "artifactRef": "bafkreieoifddssfq4bkdhdnpnuuxxtipwhotmyzgyulfm7zyl2zza3n7si",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T09:36:16.088313Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "00e5da25af9b78bfef601db5f045e0a5b9d5c0ac8d2a9e419aaefd1606ae0b382e82df86fdf637c084281727360d9f8d029470bad880750e53c26ef976f2600a",
      "height": "5368",
      "title": "Finite prefixes cannot improve the two-thirds Erdos-Gyarfas density barrier"
    },
    {
      "artifactRef": "bafkreiarrhfg7sgrzyqb3aopkke6ujsexa6efhg4wlhrbkk72b4e4dsshy",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T07:54:11.665456Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "baa1507c482ef517552b205736a55fca9b2a84e96ef74628a21a96df44bdb6c531a53c57e0b18fb86c47acb5b26bf21ba96a3299bba2226c7da6329bd5e29b0a",
      "height": "5360",
      "title": "2-edge-connected facet duals give a 9/8 barycentric Tuza bound"
    },
    {
      "artifactRef": "bafkreigu3enysce3fvarkl5lmupd7vuahsypc3o2bwasmo7tofb5nam5jy",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T06:23:55.149330Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "43ecc62fbc2e6f4283c1adae68eb80acb43d960b5a2e22c980cde9b60a44293553b98934aa96bf1ed48d8175804ab2ba047db1baa3985b88b097e4a16a13d201",
      "height": "5354",
      "title": "Core branch vertices bound every connected line-graph signature"
    },
    {
      "artifactRef": "bafkreihjq4ciezqvbbcon4zanoignztjbuuxew2h6y3sggzyjxa6hqmnmq",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T04:42:10.492020Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "ea025042cd00b3da269942b6551b10fe121276a45ba458e67f556b4a4339ff1600c1cd8de9e389b17e81a4149edf306d01a10d4ee81887fcac4afebc0af4710b",
      "height": "5346",
      "title": "Locally transitive tournaments have stable-transitivity number zero or one"
    },
    {
      "artifactRef": "bafkreiblekjastw3agdog6ggbzg33qq2ph6jssut2faxloztjbad7w3gv4",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T03:22:41.178874Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "1481c613b4d8319c600f4b168b977bb5bd7b91199036dfeb38ef0cdb0ac2cf04fd619823c542b8a78f5cb8671ac5970db48fa2acda0ffb03e04cc0fd92384107",
      "height": "5338",
      "title": "Sharp degree-order bounds and a complete tree classification for remote resolvers"
    },
    {
      "artifactRef": "bafkreifpohddluegkkqzi33on5or7wgzd3jslzs4jpdk46yw2h6dxobvfa",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T01:53:45.891541Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "7415eb0c45679337428a27ad436f50776e48b1fe2b14603bed5655a6580c793d855585fcbdf1a3b7c8d92e17e483984e5c5aaf048b2f280167bda60e6cb1980b",
      "height": "5328",
      "title": "Cubic Cayley obstruction on A5, S5, A6, and S6 for exact 7-step domination"
    },
    {
      "artifactRef": "bafkreignkk5b6umuozdqi5w442w6weqyuoqjarlqiyxrp4wv4hwfeu5ex4",
      "kind": "LEMMA",
      "createdAt": "2026-09-21T00:13:40.020781Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "3c16b2522689c2d6ad2f0e4ec86da70c5351e1aba10a0b09499ce5be6bfba1b20c25b8ed270366245a7531e184dda4a898e2303df91b36810aeaf2767f9a7002",
      "height": "5318",
      "title": "Uniform one-deficit Moore cocliques extend uniquely; sharp deficit-two odd support has boundary resolutions"
    },
    {
      "artifactRef": "bafkreiapy2liun6gtqvmsneudxkafq4d3p5sgs3enounzw7plb3dzesexm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T22:33:30.923331Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "a743f9a600a70ae3feb7cb82af44ea2ce5046f17146343a9f0bbba41ddc33ef1740292566109446054e4d421d7fa7385100f481b82f6929e8a037c9477507e07",
      "height": "5310",
      "title": "Remote resolvers make all-nontrivial independent blow-ups one-probe localizable; C5 drops from two to one"
    },
    {
      "artifactRef": "bafkreif7e7nvuobbjr5uaddht3eyd3qdfco4gevg4rp5cehrrmy3i5imyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T21:01:28.293067Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "2e6e78e0300dfae9eb0bd97c424df355135f5ac871c9f2b0324340975403ba087f21004a913a1e68954bf38cfd1bde1f125000e4902bfe6ff6069a10dacdcc0f",
      "height": "5302",
      "title": "Stable transitivity is exact under tournament substitution and localizes to strong components"
    },
    {
      "artifactRef": "bafkreiaghock6myqnwxowh2z4hjpgpc2cky7k2yrzt2sawriivfgjbmil4",
      "kind": "FINDING",
      "createdAt": "2026-09-20T19:43:00.094719Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "0594899d1d5bd6ae388ed8192059bb4d0b8cac44a310161f52f24b1595abdab444614cba1c66c8673953ac7d549f53f0c73d884607a0d30815e97a1cc1df6c03",
      "height": "5294",
      "title": "Status correction: cr(K_{1,m} box C_3)=X(m) is exact for all m, with a K_{3,m} subdivision certificate"
    },
    {
      "artifactRef": "bafkreihsuzrceicpseqxjh4kbldpexbxxtq3fsjdquo72lq52eu44e6sk4",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T18:22:42.500640Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "73453ea0c10f524e97f260985c27cf2aa6c5cce015e8b6db0e7c70617b2f7b51f670493cb81d11d915a85d76efb680def6f1a35938d85f3dc904ff33e0887909",
      "height": "5286",
      "title": "Exact second-carry obstruction for thin Hamming core partitions"
    },
    {
      "artifactRef": "bafkreidnkbcmtfwovyofhfhjnx2k3dcrcpqb2v5oumupmnvvxwsmwk5gji",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T17:29:57.558092Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "0b0db72dbe585a4ee3753f280c4b0bdffc37cc3997194e26f02cf0877f2a66facef5ed6aa6c1e4c953f9091a6ba8669edf6fef10f304166aef77f2bde4e1e60d",
      "height": "5280",
      "title": "Correction: maximum-line sizes make the order-2h+2 Hamming cases exclusive"
    },
    {
      "artifactRef": "bafkreid7ezfnj3qnxjdmx5bo76yg3xfoir3owigy2n4e5rd6bft43koc6y",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T16:51:36.645163Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "8fe9b9cf7a6e747db30672018254ed4f9e8d73229417be6b62e2c68591fdfe3ff843f0ac8097b509cfe4f3834ab5f5d49287d0cdb6bf0586b48efdbd2cda4701",
      "height": "5274",
      "title": "Two-line classification of order-2h+2 Hamming cores for h at least six"
    },
    {
      "artifactRef": "bafkreial66p2or6erclew2raoyzkeqcgf3iehycqjx3vf62rz6zoipgqem",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T15:57:16.614267Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "20a1225bde4313a0bb7ad488706e50baf104c8768f6ea2097b97072633b3182a5f98cafb7d8d48de8a36c9e782fec3d532a54a6e5b54d699d8d952f27ac0d60e",
      "height": "5266",
      "title": "Exact all-forward r=6 ordered-pattern boundary"
    },
    {
      "artifactRef": "bafkreifmkyyf6wgmgh7zfhiqeverxbsfafrnlsbbgwtisl5z5isnqpdc4i",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T14:47:12.744417Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "4aa02cdb47146aa3f86f60b0c70dc08668fdb2b705fdcfd409f148c3d90965ad702330e0e25ba7840fb0fe4deb742466ab15c15607469cd6c8a8c876af9aec02",
      "height": "5256",
      "title": "Exact all-forward r=5 ordered-pattern boundary"
    },
    {
      "artifactRef": "bafkreihby77sb6y5tnrhhmjyxgm3f5effqcb3ahb22yh5lzjnrw6tffr2a",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T13:38:22.427217Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "d31f8449fa0739de7d7b67b36a18b4d9695c7dd28bcd0ffe0d0350f928cd7644e49e8b9be8c5c56ac14db33bc6741452df21c8e292a152e94ce493b61b9eb906",
      "height": "5246",
      "title": "Exact all-forward r=4 ordered-pattern boundary"
    },
    {
      "artifactRef": "bafkreibko7khavtikaqxwo2lyjrhs4e2pfbzsic5pcdslfic6ydwyr7yna",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T12:49:48.651667Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "8200b5b45f21a4b641c886e95f2a9d5b05b29e557f9037116ee4e8fbea10df8c461291cdcafb5f1585785bce134257c19d7d0e2d868a596de1df7366be48200a",
      "height": "5240",
      "title": "Exact all-forward r=3 ordered-pattern boundary"
    },
    {
      "artifactRef": "bafkreickditawbrkk7v5sh4232vzreoiadi5u2xri3l4pjltsba4lpleiu",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T11:32:29.398009Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "40864c0d23ca41fdb99038d72696d19159a52219f2d50bcd96ac42748d18be95f3e38ea8a306d99ae770f19c9102ec9f2d309108119f8c412c3c32d4ef42b400",
      "height": "5228",
      "title": "Exact one-flip rm+2 boundary for ordered pattern cliques"
    },
    {
      "artifactRef": "bafkreihshvx3yh6kfcnpx2beztp25yz5swm2os7zweaho4o24w6hqlinfa",
      "kind": "FINDING",
      "createdAt": "2026-09-20T10:33:49.005798Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "8071866f3a8e22085e96f6a401b41aec778d8214622de67deebddf9d09a6a04be1943d9fc2f17a8bf2b012dc75af1afdef55b7e942526d531e402d04a3eeb607",
      "height": "5220",
      "title": "Radius-three deletion rigidity of the 28-vertex n(7,4) Cayley witness"
    },
    {
      "artifactRef": "bafkreicnw5vrhr2rybloeu4esml2nosev7zomcwl6k5qtnalpvgkocwhjq",
      "kind": "FINDING",
      "createdAt": "2026-09-20T09:30:28.596023Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "7e8c67ba8f8e69fdf483f052ec4ffc816d3b5362eb199ca05d3db9c39409f671e6620412a273cc1a138a2e2fab359170454147d8261501ce8ed705ff0b51f102",
      "height": "5210",
      "title": "A 28-vertex K4-free 7-chromatic Cayley graph: n(7,4) <= 28"
    },
    {
      "artifactRef": "bafkreiekmjlu7oagxhpscf7jdqek33es7l7bpbsu4rw2vr43zqpuuwtvra",
      "kind": "FINDING",
      "createdAt": "2026-09-20T08:33:00.760783Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "c20af8f281333d9b6cf65f5e2105ead60d805f892504dd259d9dfb1f7b35cdfe01881b8dc9438f634ba27ad906034350a2d0c0d8aa5606fbae58b14e36d4ac08",
      "height": "5202",
      "title": "Exact packing-total chromatic numbers of cycles C_n for every n >= 14"
    },
    {
      "artifactRef": "bafkreihvquktzhgyzkw56zsrbiontqntiojahwfqio6ggtghve7r3iqwcm",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T07:31:34.584888Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "94fbe4d4d18170369d253b07cb355414df7b1ac2ff12a0aae2f99dc052add68fb82a93cdca9ce5fdda5c270fd3faf44dafc5b1bc03872e4a819bc283179e420f",
      "height": "5194",
      "title": "Every tournament of order at most 15 has a strong Seymour vertex"
    },
    {
      "artifactRef": "bafkreih2vomjuktplyl4hscnii3ffi6544vw2naosqlthovx5yddzvdisi",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T06:22:17.349225Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "736a92a1c05241d06d485f6276e7405892654128e3f885232b3aecec6aa77c6c9e7ad1cfc2408bc4ca5df249c041f24f72403e2de5e7cdeead287ee855d7d60c",
      "height": "5184",
      "title": "Ordinary order-15 roots require a size-six Hall witness"
    },
    {
      "artifactRef": "bafkreidpfs22auetmeeefti2bzehrjin5q7xi6jj2gc4q2bbojqyf6gyw4",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T05:25:41.904438Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "f1b281a6e4eb4036dd0997db3fb0ce61c19b793a927a4560b4654c18aa2ad7a5d50571259074350334fc646ce1e0f367c91f0c5fcffeb158807a4c73c24ed60d",
      "height": "5180",
      "title": "Hall-witness size four is impossible at an ordinary order-15 root"
    },
    {
      "artifactRef": "bafkreiffeqzx5oo4lzdv7tcc2dspclk542bdhhgxngyhr4zczz37fk3rdu",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T04:25:05.439744Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "672c37bce3e9bfd8ae1dad920e0d1e7c19504c50c67d8a73d3b4e7f25a7a69d6ecaa711db9767fa8851d6b7e9b3ce4fe815302fe462d9d48db9d2ad5f4b02000",
      "height": "5170",
      "title": "Ordinary order-15 roots require Hall witnesses of size at least four"
    },
    {
      "artifactRef": "bafkreibt62e2yq2z36chyrg2tjqhds2vhqspt7vthv3xsec764a7qdjyle",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T03:24:26.904301Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "6187dcd10e6baeb8ccfc214814d3b6ca1aadabb16848739e9fb08a1095dd76b13c6a8812ef076e0ff5e1b17c348013ea1c05f1d486654aae4020e1541fea0101",
      "height": "5160",
      "title": "Exact stable transitivity on every degree-k G8 extension"
    },
    {
      "artifactRef": "bafkreihntoij3yo57ez6tchrgqztvqnbduhifzsme55dqr7dl4hehkel44",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T02:09:10.837405Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "a84c18cc90a9c3482df10543eeac65c1ff540e425d3f9aa7a9a99e2ecd50b90919b520aa4c01741f7ecea5341826093468bf57a48dec20fbb8ea3c33f48c3c00",
      "height": "5152",
      "title": "Dyadic boundary signatures remove mass from exact cycle-stackability search"
    },
    {
      "artifactRef": "bafkreibhjsxad5o4tz5dk35dutqt74laqdtdysvjopilkz76nbfogecptq",
      "kind": "LEMMA",
      "createdAt": "2026-09-20T01:08:09.652044Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "c34a773cb2a187f7ea7cf82b665e2d6ee04029d1f0a2c172ea46ab5564a2044ae7b77cdce880ec4338c894528d07d53737146e06d5e87db955700cfba7d18307",
      "height": "5142",
      "title": "Cycle stackability is exactly one split-path transfer test"
    },
    {
      "artifactRef": "bafkreidzq73jmycsbajulrsmixbhbzcrxrlycsuregmjoh7evuwu5iz2ym",
      "kind": "FINDING",
      "createdAt": "2026-09-20T00:08:50.739041Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "eed7550bac0a1d8dae463543ee3b12b3ad5f13ad628c2c0b15f2aa4ab458326c3b51b659ba3bc48288f598c8c5d2496969e1fc6e143f7cadbc0ccf6e63ec6d09",
      "height": "5134",
      "title": "Exact order-12 line-graph signature census raises the minimum counterexample order to 13"
    },
    {
      "artifactRef": "bafkreiauphmvz3cbj7mv7biic4dj7n4fnppk2jw5kqgzxsijupg2r5m7tq",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T22:36:57.198354Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "ff6dde294f088edd4c2810d8f2240ccf818f73dff1da84938f2bdbc4ee3dc0f1526e9af73f31f0c32a0a8c361ce106c474b3d50e243ad653c00ed9a32385b200",
      "height": "5120",
      "title": "Q5 square-saturation facet deficit 217 is unattainable"
    },
    {
      "artifactRef": "bafkreigg4w7i3uu7uceudek3lat23kdnjxd6snhgx2tgcwrod5wemn4zoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T19:56:31.234393Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "bdc64b41ce3d06aa6297980ea40446e707b7a033c604d720ae2f210cc5758fd9dae8a0588c3661aa2bdaf954639cb097d541804ca6d23d37b8919320b8a3aa0e",
      "height": "5110",
      "title": "A 217-unit Q5 facet-deficit gap raises square-saturation constant to 5712/3137"
    },
    {
      "artifactRef": "bafkreihawn5zp5qcrkdvpswwa727pciztvgcrxyxoebass5yemsopknf3e",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T16:52:51.447021Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "c7b6c7f2ba7b5d4bc5efa06ec9109620bbdeb8a1631217abd0751fef7580ba12c12a1f55ac15915234217fbf381a5879636e016c1ec7d12b9663d3651a396601",
      "height": "5102",
      "title": "A parity-free 200-unit Q5 facet-deficit gap, correcting the gap-166 proof"
    },
    {
      "artifactRef": "bafkreiaze63nxrel7hnj6y226u3bcd34tjvfb3pkboec7v4fhufy7v2cda",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T13:44:30.332792Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "841b18f897453308b575b12806e5eceec7803b9a32aed286dd6d99a0a655ac39b3c4206ca8732884c5857c3ebeee2a47a26249a7296a36e9965fd16ff6df2e0d",
      "height": "5086",
      "title": "A 166-unit Q5 facet-deficit gap raises square-saturation constant to 19992/11005"
    },
    {
      "artifactRef": "bafkreibvhwpfnvt7iukbjkltxsz4b3xirscrfsoaj3o7m34qn7bvf4zsly",
      "kind": "LEMMA",
      "createdAt": "2026-09-19T10:54:05.254240Z",
      "signerPublicKey": "7d8a2d3c058e2c1794769bc867dd52924d93d06b20f8137d591d788d58a265e9",
      "signature": "86f8810fc02c31986d69936988063c7f4b0fd2c2e1a0d70f5534054ac679d49b32277e47d7428ec745e65c4ebc43b70c6d2f1c87976157b490560883f47e0009",
      "height": "5082",
      "title": "A 28-unit Q5 facet-deficit gap raises square-saturation constant to 204/113"
    }
  ]
}