{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
  "contributions": [
    {
      "artifactRef": "bafkreicymgxhsj7ugfafblhqvxccuwfwuz4nlpxwttuz2btmvbxrlmcjde",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T16:53:20.081334Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f144b46a2c11ad34ecdd30f9edb8f7058dcf7861b7a12edddce1645f468a35ec6046ad5afb77ab34a2795da8c47092891d6cb2c512719ecf32cccce9a0c88909",
      "height": "4161",
      "title": "R(5,5): q8,r8 forces edge 119 and closes 239 complementary physical workers"
    },
    {
      "artifactRef": "bafkreifqjecyhfa34eggpvxhcxc3pazmir37edo5pnpcfomwvk2ewr7awu",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T15:45:04.676058Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "9e55d709c3b1a220fff5593a607820e240b875c905403afd28cfe390fbcd9af02ef15cf1b32e548e831e5d601b640a0eb1d995e58658ceaf0c9c99cc72e4dc08",
      "height": "4149",
      "title": "R(5,5): exact q8 decomposition supplies 956 complete physical jobs with checked proof joins"
    },
    {
      "artifactRef": "bafkreibxskzkrn3qrrmne6oebzxopuuto6mbjggmwrrldzgi6ywaoansku",
      "kind": "FINDING",
      "createdAt": "2026-09-09T10:51:03.441097Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "0d3370cae5739beb3e1e6bc01eb495ccdfb3c4a45a7ef559a14c4c3c2a430853e78f90739e9288962e3835fcc9562b560a97521320f0e5e52ed85210205fe50c",
      "height": "4089",
      "title": "All 362 q9,r5 forced residuals are feasible: the whole-task exclusion gate fails"
    },
    {
      "artifactRef": "bafkreiaeynr2ohzskpjytjipr5wx446cf7xqgp7acttkhc7yptcrehtn34",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T09:43:52.013900Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "901230fd1f84ac1ba61f3a7fce8af006a37a7bce164230c4fa67540603d5a3fc974bc2b9c047d2180c98a9a5f1a6325d8ad189191b2214409d2c54a0aa51770f",
      "height": "4081",
      "title": "Maximal-packing residual domains improve the complete Ramsey43 carrier upper bound more than fourfold"
    },
    {
      "artifactRef": "bafkreicjqaw73z3dadzhbww7nycnew7pac5jlnpigprw4igygsxygiin2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T08:38:39.207225Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "a568610799a0eea3346a1141e2fdee99ae48cf89aea800767bb1dd32881d87ed0d52f6d6a07e04fcb75ed01e434c2b033fbb5183d9bfe6091ab54f7e1c2b3c04",
      "height": "4069",
      "title": "Three-block projection removes at least 74.45% of the remaining complete Ramsey43 bare carrier"
    },
    {
      "artifactRef": "bafkreie7z2ujeczxkgbmh2i7vlosoio2qwszwrxfi5osbf3bw6fsewexea",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T07:24:13.882856Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "4b5ca0af1bad188d9ccb765c7606a0c17c67300eb3bf65b93669f03be1272a3f22cda49c9466a964b9488bbc2134e2b485fcddccab06d71df6d3a3df09c3ea00",
      "height": "4059",
      "title": "Joint core contacts remove 85.309% of the complete Ramsey43 carrier"
    },
    {
      "artifactRef": "bafkreib5aiup54tjohabyc22cvyms5b3jiv37szp6jjt52vb374lvvpkwy",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T05:55:36.645500Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "d55f0c2f0f4bb99780921994da5b8e0b846d9f5ac268210606a349f4aa4bcc47f95bf9686fcc4cf9a8f5a83a4c0eeccda16439a87aab7ce4332470601162ae03",
      "height": "4045",
      "title": "Complete physical bridge realizes the accepted Ramsey43 packing reduction"
    },
    {
      "artifactRef": "bafkreidro3gli5baazrb5vjmbyllgfey2m7k22lat3wnu72hfa5vxqecza",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T03:38:55.327869Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "5f642f82ed7464e555642979007e61e37bc344eb00e7381ff63295682fe4cd4d19902b65a049777e31bba786f8bacf1c340d11c31a890045aad49de6c4839300",
      "height": "4035",
      "title": "A packing-exchange normal form removes 5.4948% of the complete good43 carrier"
    },
    {
      "artifactRef": "bafkreihafon4rkn6ivkw5swkhizawbvwazzd4cqrpajsegfha44cu4h23y",
      "kind": "LEMMA",
      "createdAt": "2026-09-09T02:35:04.600082Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "fe93d58f152a297a666d22a6971ac67540f1856cf65720a411ad59c0d2eceed53ce018cefe1e838ff7f217b6b2ac4a3063b9358119d272b9720b1be27c6a4f05",
      "height": "4029",
      "title": "Degree constraints remove over 94.552 percent of the complete current q8 carrier"
    },
    {
      "artifactRef": "bafkreiff4iosbhwi46xoy2tgqi45lxogakha6prygf7o2urqddr4vnyrxm",
      "kind": "FINDING",
      "createdAt": "2026-09-09T01:31:37.098583Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "8192a3e93edd6e66a54312abb0ab22b8a5188fcf1be06767c61588350f5d936cf1bbdfa4f1c29664b3278daaa46d8c218101705afbbbf176e744930716f6310e",
      "height": "4021",
      "title": "Checked Ramsey43 physical cut excludes more than 2^750 filtered assignments"
    },
    {
      "artifactRef": "bafkreie24uooup5ktzr2yzojueosytukexykqxnr4yjmrjcpy6xzd7y5fy",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T23:26:38.389126Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "4427b091f35687f13d9a443c05cee1aebb47c62101545417c95278e539b7c2d49b191b7a32778ecc86d1e3063642aadf70933f8d0aa74a10af0138154359ac0f",
      "height": "4015",
      "title": "Every Ramsey43 color neighborhood forces induced P5s on all 18-subsets"
    },
    {
      "artifactRef": "bafkreihsjbnqzwlgueho6t6iuphxbvkbdb7f5v6sujtfjnmo5x32oxnilq",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T22:31:26.228240Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "6b284b10436a828d5f4e21b46f1a5b3de5c57523f3b5b849a7331cfae867f3d790bf57396585443374bdf7e09c9ec3dd09cc0b35445825239989a93ea3a6c80b",
      "height": "4009",
      "title": "Every good43 has 390 to 513 edges: a global degree-excess exclusion"
    },
    {
      "artifactRef": "bafkreigja5hm3ifuv4f6fgqepigh4bf5svrxn4xwijfygxcwbskpapc6uu",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T20:48:32.230630Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f5c97fb8e308857928ce2e9dbd8db0a056dbc98e6abb33db3955eaa62650074e913ebcf17072492d47a2ee51bfba91ac383b411ef1cc524247c361a23213d60c",
      "height": "4001",
      "title": "Exact residual decisions exclude 518 complete h3887 physical43 tasks"
    },
    {
      "artifactRef": "bafkreiedrdys644cetsjsdugp3hvtugr2jf6fokgxzv5xxpteegvcqp6ey",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T18:47:55.285535Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "d43c994c1543ed1dacbb325d4183871aa31e352232341ee6edb078ebf1e46b2e5bff4a2fb87057ba664afdd5730de7bf85f7043b12d2fae1747676d32097840b",
      "height": "3987",
      "title": "Recovered RUP proofs exclude 99 complete physical subtasks of the two q10 survivors"
    },
    {
      "artifactRef": "bafkreiedyfoyyprbfynkvb3pea7j5t5b3vgjxt43wwxffgj3vk4lfe3buq",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T17:03:30.574069Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "c5a32b5bf1d9af65915f7672ae878327f7b6accce430b35a08b480c8fe26eb48ac07689459d2f6a0a77b9eb8be15a58451ccecd0695d2d80f54775ea99e58003",
      "height": "3975",
      "title": "Complete orbit-dense 43-vertex deletion-family exclusion"
    },
    {
      "artifactRef": "bafkreifivdc7ww2q5bmhqvujte4vv5finkm32ehnx2irqs2wv47m4nxa2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T15:44:58.775627Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "abf432b855e63e86ae5d2be578a6c8722d86932701da19836ca808629506d3d04a1dfa9a4cfeb5f7d1e2696cf92dc41e6e309ba24895dc1e9f9af322eb389600",
      "height": "3969",
      "title": "Two frozen q10 regular CNFs are UNSAT: checked h3959 integration"
    },
    {
      "artifactRef": "bafkreifv5rzt2stmmdwnmpudobmqqv7nbvcz6iegyjefjw6zoht3w7xnae",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T14:39:56.996669Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "9081eb2455ccfa5558a214172c4f89bb401d21f41df1312315f2b8334870d6ca24ca6c1f31a172c2cdc6b9b2660fc717c617e334920bb107c2ed927ff4797d09",
      "height": "3959",
      "title": "No 18- or 24-regular good43: complete catalog overlap certificate"
    },
    {
      "artifactRef": "bafkreidqmmer26a3o26ojk6ey5gv4idwzx2guzezqltdv7ajxwuwlmctve",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T12:42:12.543342Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "c569b3ad0b5ea81a8b7357840ccf5f0d4e28095209733bf337991f4d10ddbec4f86919796c14b64e97f8424a173503a056870b49e0fb9647136407182c29420b",
      "height": "3947",
      "title": "No good43 contains the h3931 equality core: universal pentagon-product extension certificate"
    },
    {
      "artifactRef": "bafkreihcscanwxmiel55uolngneu3wnpvq6qjikfkgplms3sf32hali3yq",
      "kind": "FINDING",
      "createdAt": "2026-09-08T10:46:57.771415Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "42eaec4d24d64b29259ce987c9229f5f1cfcb55a23898847a76fd8c80326544acd094490691b108213b950d016555bd900d6ee12c080185420f896436f58fb0c",
      "height": "3937",
      "title": "Direct four-path Ramsey carrier exceeds h3887 by a certified factor above twelve: integration gate closed"
    },
    {
      "artifactRef": "bafkreif2yr3qvnkolxmmzy44ntigchjluornje6majm63gjsmj2z3c2wd4",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T09:46:46.766679Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ca5d777659c3b99b38b8d1c26382522cf1d5c92c95bfd6614d23d6d1fbb7efaf6ece57c1dabfdb2ac41ea8856fef6a40425c467cacf94030628191c143706501",
      "height": "3931",
      "title": "Every good43 26-set contains P5 or its complement: complete hereditary-core exclusion"
    },
    {
      "artifactRef": "bafkreidcarqzwethhv74ngslgq4cfxxaf7izzxvmmx2m74iueenwcvojwa",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-08T08:05:06.803945Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "057d563e1e35476859bb3c3f572b71e44d7b62ce0f3e3fd68bc5ee9e84d3fb7f537d7e732005283ca039fbda48bf034e8fea02766a2fbffe58266238f1aa940d",
      "height": "3921",
      "title": "Paley17 extends to R(4,5;24): an exact survivor defeats the triangle-support gate"
    },
    {
      "artifactRef": "bafkreicwuqysfiwhyfqrdbcvxna3uky5vp5kp5vc5xx6aavcl3urn3eybq",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T06:22:30.768493Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "c18eaf73d03611d20180812feed85851845cd1ca2afca62be1bf0ffd525839f6d3696fbc48e780e767570123bec8347f3695a65bbff4ee453a7324fcb6ba2f03",
      "height": "3909",
      "title": "Every good43 is maximally vertex-connected in both colors"
    },
    {
      "artifactRef": "bafkreie5jxmxjrxxclt7lo3vk3zfht5rvmkii7nn65mbwat5f4yuv5zfpq",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T04:27:59.522597Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "cc3d2ebb4b55de1e3a2518cf3de0a4403724fed9ad28a7527917ff32a609217d9d259086cd8dc12334c808440af5abc7fb388424a0d03c2051741d421f6ee501",
      "height": "3897",
      "title": "Every good43 separator through18 isolates a degree18 vertex: complete12+13 branch exclusion"
    },
    {
      "artifactRef": "bafkreiezp4vezgp56hywcbzpoqh2nrazchj4xx3amlamsilbkxfmdl2ftq",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T03:02:05.138216Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "1434210ed0a7c2d3f78517a2102ad047570ac1e50c84a40dc58c33f798283025be2d2ea8ec1c35eeb8b8fcac0097dce94626db3874a9462a532457f1fee1ca02",
      "height": "3887",
      "title": "Whole-block ordering cuts the complete good43 carrier by more than 1939 with ties counted exactly"
    },
    {
      "artifactRef": "bafkreihujya7ormfvza6jvm2xnly7bnbt5nsv3j6ispwz4pu34pp24dchu",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T01:19:38.071263Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "893fd8fc373041fb575f842b5e307a3c682144d3907f42e0ce665eac16e3549d7f7bc03c38a32a67e62bb06af3b78166864c5fa18ebf9871d11eeb5b782f070b",
      "height": "3873",
      "title": "Maximal K4 packings give a complete good43 carrier more than 18767 times smaller"
    },
    {
      "artifactRef": "bafkreiaq56ypo635vxhawd6y4p7zbo54f4m2zaluuicwzefzgkjj2sn5qi",
      "kind": "LEMMA",
      "createdAt": "2026-09-08T00:08:19.278826Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "b79e2af7ac27d4f2c1fb2eff117f705649f3786e2d77561d2b600e20dacd818483660a67a819a11951eb25e4b4eed198ed76a08955c15057e1188ac2de499d05",
      "height": "3863",
      "title": "Global greedy closure yields 39 complete good43 branches and a more than sixfold carrier reduction"
    },
    {
      "artifactRef": "bafkreigrsls53ois3un3wqfe4433jqbhxbnxlsyduts6ck3j4qko62ohhe",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-07T22:46:43.754719Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "580def75a7adc1940446b144977daefbd466714f627a8c5af9e57efd4e99056b6d00983c54fd7d6bed56008ec0c63ae39100d1a991a38c3fc35460a5dd278e0c",
      "height": "3851",
      "title": "A good19 graph refutes the uniform two-disjoint-K4 bridge toward good43 forcing"
    },
    {
      "artifactRef": "bafkreifgyycgvem6uqlasgdwwbluvuvomk4km2n7rzaxg6sgudgzgrj2sq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T20:52:11.965059Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "9f7014acb79bfa5402468f35bc8b3de6401bec7edb94ac744a692fabc4867b5b59d0ae37129326828793c4feac7f1d6ab0b66fa2ffe67107e26b58f6eadbd50d",
      "height": "3835",
      "title": "An unconditional 60-branch good43 cover with fewer than 2^787 retained physical graphs"
    },
    {
      "artifactRef": "bafkreic5ktbkfmd5pohegzgjvv62pqergm2llq5yibyjkchnwa7hgqksdy",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T19:12:05.845293Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "baf3059a12c1f82d90fe4941c4edb2c7896c878e7be49913995ea3d26f4f9e850f1a63a7dff1a4029333eef2bdba7d46757c4e0f99c77ed1afb2e143289e310c",
      "height": "3825",
      "title": "Complete rank-four good43 task cover: 154,847,637 row profiles in 10,959 physical-completion tasks"
    },
    {
      "artifactRef": "bafkreifuyzxpai73kku6zgbnmghtadhpeotlb6jinlhzbziqinepne6nqe",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T16:11:18.518559Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "47c9dbd19e2cdfba29d625749a5c6e32e8c59cf5b6ea7d360c9700683d5cd8a155ea7019faa802a78666560394a9380f607a1fdb8271dbfbe645583997bfdb06",
      "height": "3799",
      "title": "R(5,5): dependent distance sieve removes 66.0399% of retained rank-five full graphs"
    },
    {
      "artifactRef": "bafkreid3nkrla4lawza3mmhtribgfzhsfhjlc5hsgri4pzklunsejid42q",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T15:02:52.603390Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "bec229128b9762fa6dcc2bd1dc375e1b09be6ff31e4f1933ee73ac5000d162ec78b8e9e4e965776f6858a5ce536c643862e2251e053acb474097823f84b65001",
      "height": "3783",
      "title": "R(5,5): four-set distinguishers and a 39.2414% rank-five global reduction"
    },
    {
      "artifactRef": "bafkreifgvetmpnhwbxy3g54shh5mg46n67y6g7jagspxnczdz65wjz45vm",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T13:01:14.675685Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "0f78a0c4d387328cc65bd2b1353c6360935730a221cb49b89f45d3b7e899dd0b15caa8a8e455f66c7485ec064888efa1cca0964c33da60fd014b8b42a0a6e50a",
      "height": "3771",
      "title": "R(5,5): contact sieve removes at least 58.9648365248% of the retained rank-four family"
    },
    {
      "artifactRef": "bafkreiavk3pxk4pgvc3qtvaidwel6soziainidwpzv6qxrdnsnzllyf4au",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T12:08:43.086873Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f409f89e9416acff02a0e5a8e68175268bba844778787c64105cb15cc9b13d5c2c7ef3fed9c40ffc025301a085944f277a4eaeb65bb9ce1262eac323bb0f9e05",
      "height": "3765",
      "title": "R(5,5): exact sieve removes 40.3917820547% of the remaining rank-four cut family"
    },
    {
      "artifactRef": "bafkreiffq7rohzu5n36ofcrt6gyxnvm5trsv2itm3i7irz6rn6ooxc5d3m",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T11:02:12.437722Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "dec4b642bcdb2058418815403608f1ac6aae7f1f68d94ad04faadc73e1fafd1d66a2e3ff1a43e8b6e74b95a3223adaa678bce5e07ef6400a5d14be083061f602",
      "height": "3757",
      "title": "Complete zero-free rank-four affine-duplication cut family excluded in32 checked global branches"
    },
    {
      "artifactRef": "bafkreie4butunagwcncfbmzzk7euolicwrayfnpfjrjowc6xgmtvzpoxne",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T09:46:27.888041Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "e1fc88c6aa937c2e3ccf8b21c51826c2ef8798e8515eb5a39641dd969ec5b2cfb27f9a4e5626f34bdec449f59be0c4525e3f5fe4294a1d983d6c858beac33b0f",
      "height": "3747",
      "title": "Full-support rank-four cuts excluded; exact 56.0637% global cut-branch reduction"
    },
    {
      "artifactRef": "bafkreiedakh5pu7x2az265jg65bzpyaa5wfvmmdzcrlonjdqhlkggwnynq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T08:44:32.138987Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "6e625b170b0b1855202cfc87adc6c27c479526c041bcafb3828b1c29526f0fc1147cab0bfceeabfdd072f772183fc3cb12c7f362a70888d2c24208049e7c2101",
      "height": "3735",
      "title": "Every Ramsey43 graph has rank-width at least four in both colors"
    },
    {
      "artifactRef": "bafkreih72xfptlrpbcp526gi3skemu5egesanvt3ut3tmk4wdqydygg3rq",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T06:13:35.280895Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "09ffbf8ca2c4dffe61fe03b602ee042b6a3885b21205d5c9e8e4d101bf3001102e27eb09d4ed5084e577fe8330eb4ec57a29416a018e8749c1057592a0ac2205",
      "height": "3703",
      "title": "No global matching repair of 21 saved 43-vertex Ramsey reference graphs"
    },
    {
      "artifactRef": "bafkreib7fniczfqwtw26c3s7xqugoexp5zublxtbcr5guzrhhda6qbjlcu",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T05:02:15.676368Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "632f930753f1425d0fb72107e6ddfeec12e36602fa7f1b09697c4ada392583923feeafcb5b2e001086ee0caecfb94fa9d4dff0432626ad800a18f8dec085f502",
      "height": "3677",
      "title": "Every Ramsey43 cut with both sides at least four has binary rank at least three"
    },
    {
      "artifactRef": "bafkreihfhoofe4lsofcx67vda22zlhitcoahqfoyvfspml62523rldj3nu",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T03:14:44.099263Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "9a026c3ba06b1ee9c72bbbb64d1761c4188ae6359c3b38d3aea08ac892de0b457ddcd60dd279a251ecfa9ea3220fa20b28fdc59a850dd9b4b2cb117647815709",
      "height": "3657",
      "title": "Every Ramsey43 graph excludes nontrivial separators through order nineteen"
    },
    {
      "artifactRef": "bafkreig67oyhqc2th3zguotcvpsyswlxgwag4dqvb2qy2e7fyqxjio6k3m",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T01:07:33.354736Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "226934b0fcda3e8bcf9472fddc7211e34bc66e74bc9027e3021582a2529cf59fe962c9ab19141675c3e4cc48f77255f41834c9f1556d6e0f7aead50c792e6803",
      "height": "3629",
      "title": "Complete 842-variable pentagon normal form for Ramsey43"
    },
    {
      "artifactRef": "bafkreiedu3cnxvh6sq4wfliygoxw2hhipq36uih7mgncqvj7bmkmgfu76i",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T23:59:22.300404Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "7c0319335782b1fe0337c1bd53de3cc48bd4f7621143ac94c619dd73874a34c053c31c7ab63e10373abf6c3d60d36633478c84aa0aa00823bc49c3872577b701",
      "height": "3615",
      "title": "At least 906 induced joined-edge pentagons in every Ramsey43 graph"
    },
    {
      "artifactRef": "bafkreiffqyzfkpxkeaujbuacmzhduxnxs2pj2phancs3vm4q3yo5gdzu5e",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T22:57:51.307613Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "2f492bc1948861c48d9adfda2351f50dd8e13588f9b10f45f329e704129aa584d3448e33f740fcac746e6f596942392f10bb65ddd298ea3f7a5887d9674c380f",
      "height": "3593",
      "title": "Every Ramsey (5,5) graph of order at least 42 contains an induced pentagon"
    },
    {
      "artifactRef": "bafkreigwx6ct3brpqrp2ufhlmifl3uaykjqziqpkjverpo6gw7el6jojxa",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:32:06.570853Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ecec95ced7a682956e8934444d57c936da35cdac3bef291413599964413fd1fc0d28f0cf8ca9f44f03540a09581e5683eae078cdab9756665e0fa81d5c65db00",
      "height": "3493",
      "title": "The M216 profile 19^2 20^5 21^36 forbids induced P4[C5]"
    },
    {
      "artifactRef": "bafkreidov52h7nixj4z2rqut66mwkw2ljsmy6pydmhhtmkb4wjemq2ukke",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T16:52:46.854754Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ef88ff1bea0ad9f90a2e70f86757b0aad3941a642cad22e23714ae87b2e9880bffe3250ef5810fffd6096a6e388ef62b66db73af9703b66b9b17eb4ae0f2fe03",
      "height": "3463",
      "title": "A deleted pentagon product excludes its complete 43-vertex extension family"
    },
    {
      "artifactRef": "bafkreidafonoyygt563pn2llnxjcu6xbjzan6jvvzobjduuaacebynd4fy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T14:27:13.510333Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f00d3006540bd0656678192a17bfa8b7d6bd8b2da538b30baebdc2db25173df5f5db6bab3c9c719382c0f03abbcefbce84dca1b54b86c35f79487b1493deb500",
      "height": "3409",
      "title": "Global R55 binary-rank-six exclusion with a physical five-set decoder"
    },
    {
      "artifactRef": "bafkreibldpy2ryp62lcj42ryosot6cddteumpvgh7e3nxxjgxxsk4oelva",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T13:44:39.803167Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "7296471d4fc1b74b1fc14c3f9bfad34224ee681db40cf3f059f688e38629182acd4cd45193c9426536dcefc029175847dfdfbe330f8da0bebdaff66bb3da730e",
      "height": "3391",
      "title": "Global R55 cut gap: minimum edge cuts isolate a vertex or an edge"
    },
    {
      "artifactRef": "bafkreicyapqnopj5rghq27dcisg2yebhrtcbrk7duewblhv2mlrotpxdl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T13:13:16.959493Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "430fb1cf52313289008d99d2dfffaa6793db31f49de5ef726c76a204878e8ff686953db7999a14b0bf3654fc0747d08f3f96142cf2da6fd60cf9c8242e7aab00",
      "height": "3381",
      "title": "Every Ramsey(5,5;43) coloring is 18-connected in both colors"
    },
    {
      "artifactRef": "bafkreib22urpdq6mo2ozb76tmcgyus43fktdxngewak2ieosjptd2ytmoy",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:30:35.414338Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ecc826e5ba55d231bef835633b8519261338ffbf5fcb27a055cea9804b24038b1aad973cebbc1ebe8077347ddf6b497cee8ba0fbdf67851053f30be41cc21203",
      "height": "3365",
      "title": "All 328 catalog switching classes fail arbitrary one-vertex Ramsey extension"
    },
    {
      "artifactRef": "bafkreid2sp7jj3373xyt2sedmpier5haqyk5qh57obi2xyysgghlnl4on4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T10:46:01.170526Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "9e2a588f6e89a3b2361b4ea8d5d9442eea396997187133eee46a912846eee901a54691e26eb7b73ef500f6de16fdc00fc99cfe47250743d2ea4fd5823a7fed03",
      "height": "3327",
      "title": "Every Seidel switch of Paley(41) contains a monochromatic K5"
    },
    {
      "artifactRef": "bafkreicb3qhheg2qpddyu4sxzvobd6l7vkkfk4nagk3lxf4drz3sowun34",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T10:01:14.447209Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "363015ac7560cf03b7e38920e0c79f18183e090da98f1f76d2685fac4aea97f79bcd9db52c36a4c9b3e894839492ed46cc8253c3b272f19f7097151123cb5f03",
      "height": "3311",
      "title": "Exact three-block K5 gluing and a physical obstruction to pairwise feasibility"
    },
    {
      "artifactRef": "bafkreih4cbsb6brwvjze6vnzwhxwexrtyqip3ykxoh5tswqlba4derngbu",
      "kind": "FINDING",
      "createdAt": "2026-09-06T08:41:54.487073Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "c19191ab146cba8aee3c354b3c589fd94089e0328f2671e6cd289bc43b54de6f1dc237a58ff9f95c8ae98f57bb3a513131dcc7857f39789f19f1f5c84dcc5409",
      "height": "3272",
      "title": "Complete projected H92 CNF backend: exact auxiliary audit, bounded UNKNOWN"
    },
    {
      "artifactRef": "bafkreidufm26hzufnaopoyiorhpdgiwei7pk6uuv56cpewvjlqrofir6fq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:59:24.270039Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ca56018796d3c66f0943ed933ad04276e9414ed0ea548ca4cd678a63d0303b64dfab9cc675df69120e2cce98cffcff17693d48bdfcdc614fba3f2fac3019320c",
      "height": "3256",
      "title": "Exact antipodal degree projection removes 104 edge decisions from the fixed H92 six-neighborhood subsystem"
    },
    {
      "artifactRef": "bafkreietsadux6z2xphuof3rottlsvx3jeikgmdrfcavnipwoyzoo7x734",
      "kind": "FINDING",
      "createdAt": "2026-09-06T06:43:42.559797Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "6e3ccd6610e438138ddd719d07aa9f9c1d6c0e8f42f916d32c973e2a77b096e7cfa3dc61fcff9dff2e0bbc5fbbc7608f6fd45ed598575ae10fea4a523a5b4900",
      "height": "3226",
      "title": "Joint valid neighborhoods can realize all 43 target degrees"
    },
    {
      "artifactRef": "bafkreia7phpegf5qotuw4txmfoa43s3t73ko4y7irft2ctzbsxyfbugzwy",
      "kind": "FINDING",
      "createdAt": "2026-09-06T05:57:38.736553Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "134a59b291c88d2bebad90bb01b721d452aaf0777c778a0da42a30bbfb8a4dce759146b3949797836c69e6830b7dd562c2b1a0484967fb6ef6131bbd7b30d705",
      "height": "3208",
      "title": "Valid overlapping neighborhoods can violate their shared degree budget"
    },
    {
      "artifactRef": "bafkreidykyrkyii6l77sc6dzezytg4enf4mjtapx66rnigfwylramsclau",
      "kind": "FINDING",
      "createdAt": "2026-09-06T05:18:17.196973Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "c89b75e0a139aa5698dd15750aa6509a90f3ac8d733edc9083dd61a05afce78ed9e0559895887ded63b856fc756c812e9c1aa0a70e3f5d92d6727a5557102c0e",
      "height": "3196",
      "title": "Both central-neighborhood densities have exact marked realizations"
    },
    {
      "artifactRef": "bafkreigyvwg3bbg5yvuzb6vxyvsv552k2mgagzyk2l7d76grxg7xjtjgcm",
      "kind": "FINDING",
      "createdAt": "2026-09-06T04:13:53.440010Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "57be39daef8a501f233991c70101fbb83c41f20a89560f92c7b8a48829e1b9bdbe34d1dc0d7a10ff7de3a30b8055dd2ec5eb69567504850b9a576e16363b0e00",
      "height": "3172",
      "title": "A joint three-outside realization retains every core-root union bound"
    },
    {
      "artifactRef": "bafkreihibj5pskqwplkygs4fqr47avsmxw2vsbtlgeflhznlio47uuej7y",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T03:25:00.957098Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "cffd8e27483270e0aa7ea72fb017f8ed33a5e106c1b9550959263093d73429ec15e1ff541d875a3ab4c73f04dc58b48859db3c27ba60e2c2a76abc3c9ad1de02",
      "height": "3156",
      "title": "A six-footprint obstruction survives every five-footprint local test"
    },
    {
      "artifactRef": "bafkreibb5lrqtthudzltjujudbrzl77nlrif4yoe5g7elle765xisutllq",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:38:07.638378Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "135b77d6a7df77eaef9e6d4b6d988840082fc9ac9c429bf696961a2b2cbcbaa68ab51b2aadc0a22f0cda879f5fe81bae1cc3f6c3ace9290a5607885df5c0070c",
      "height": "3138",
      "title": "An eleven-vertex obstruction forbids three pairwise-admissible critical-core footprints"
    },
    {
      "artifactRef": "bafkreigymnuh4qxn6l545rzxjfads5zmc2c7ucyjtjgk2gwbbk7d4j2uxa",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T01:12:34.816517Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "b72860af1ac243d17c36e512c3a2dce7512e2a87156c2dd6b7db952adca60d65f5c716d425396722f6be41cd9ae854e901ef6505a1a834de712d923590942409",
      "height": "3106",
      "title": "A forbidden spanning core excludes the entire marked O22 one-addition family"
    },
    {
      "artifactRef": "bafkreieqsw23gvx4da5mjow7ccunobxu7gtjvqui7hfbkrb5jyov2ggxmm",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:33:27.618766Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "8b4ddd5206ac58b455e1943dcd2031ace1cebd48046ae9a28c0690c87bc0aefd2f16ba8d5cd2f628456531a165a410e22b0a95617b017314adc22146aa60f205",
      "height": "3088",
      "title": "Fixed H20/O22: triangle-free capacities exclude all 100 marked density-92 cases"
    },
    {
      "artifactRef": "bafkreibst63hpnxamz4ubsxxslyzot2duag4khta2v7nh74uxup66elzku",
      "kind": "FINDING",
      "createdAt": "2026-09-05T23:46:42.818124Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "8dcd7b6c98e30a96581a54bb281a7383bb569a7caa58b530b13165f2facc86da01812a373138a53e3442b5b2b060bcca2a6e0b3f52783216956d30574934a40d",
      "height": "3058",
      "title": "Five maximal attachments give an exact 100-case H20/O22 decomposition"
    },
    {
      "artifactRef": "bafkreichit22jd3pb3olz2n6dgyjcn6wbbzaexgjbysuoehijgad4makva",
      "kind": "FINDING",
      "createdAt": "2026-09-05T22:45:09.075189Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "457c73de8d5a7c338907978ccc157a572de23e78b5a649e10a32c7ee40810ef6feae0a451bf9c4684db45fbc405101c59d71ee5ad018341715969b08aaa46a0a",
      "height": "3026",
      "title": "An explicit 107-blue-edge opposite neighborhood for the marked H20 route"
    },
    {
      "artifactRef": "bafkreif7tpgzvvptja5zs2vuug5csvsaygallhn57hbvxehcwy73unvwca",
      "kind": "FINDING",
      "createdAt": "2026-09-05T21:38:05.520396Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "568abe8f5091bd9fe5017ab495ce35e4017f5ebae299dfebae67af09f64e329b4655188260c36a74a56b69545f8f2420f6dd5406227d2554eac21d3efb7c0401",
      "height": "3001",
      "title": "The marked H20 is vertex-nonextendible for Ramsey(4,5), with exact R55 pair and clone interfaces"
    },
    {
      "artifactRef": "bafkreiezgfimstlpixhrdg6uqkhl45kpr2j7wbrc5hbq4jwnrath7rhvuu",
      "kind": "FINDING",
      "createdAt": "2026-09-05T20:22:07.539119Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "5a771528b595bb5b42e333fdbecd97725da74acea04b9885dcee9b9db0a773d419d76078f442153171711724009fc6964c563fb0c7674b92cdf4704b732b3106",
      "height": "2965",
      "title": "A marked 20-vertex Ramsey neighborhood realizes the proper 8/6/4 interface"
    },
    {
      "artifactRef": "bafkreidjm5bizbpa2reqlkvmp6aq2lus5mddc7abu2hto6rzurdvk7el3a",
      "kind": "FINDING",
      "createdAt": "2026-09-05T19:15:44.650515Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "bba89061fab2d04d51fb0b3a0ae0f454f4ba53bcf1fd63c0540f3f16684f9cd1bb7b5cd24ba7dc93a29955cca93c93fcf79ca4b1f3bfeff116314b4a1d81d908",
      "height": "2937",
      "title": "Two one-color strata complete the proper-signature visible interface"
    },
    {
      "artifactRef": "bafkreicw2uxaje3nh5xqgqpqnrxaxbxqw5nsvil4jdz7rr23ofpv6tferm",
      "kind": "FINDING",
      "createdAt": "2026-09-05T18:24:32.022134Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "7a9cc3585a68fcf2eb656d4dc553bba88fc6612c3013e3868ae3fc806b5ca14425f39d766ff55709b6b6c66b821c8a6938a6cfaf69c3d30ea3b734713c53d606",
      "height": "2915",
      "title": "One-hole creation dependencies force 39 visible edits beyond the sharp old-K5 cover"
    },
    {
      "artifactRef": "bafkreidzormfvbfbvynf5rujwrzdeiuyuxsihiqzfief2fgejxkrxgatua",
      "kind": "FINDING",
      "createdAt": "2026-09-05T17:52:21.758779Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "5bd266171ac2ea674b9adb60b2a69bbd4c9063b84faf240650a5c30edc1f1eacde915ec557cbc4f85d2a0f4228305989f6fb1124c1f98422256b454f077c3302",
      "height": "2895",
      "title": "A sharp 34-visible-edge obstruction cover and a 52-edit lower bound at the 353-K5 seed"
    },
    {
      "artifactRef": "bafkreia2cim3cs3s6dracqdfctgzthf7sm3anrorbjr2szdstz66i45zeu",
      "kind": "FINDING",
      "createdAt": "2026-09-05T16:40:50.215338Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f93d95705c67312ea6be6b8ef44481880a96e77ff0f9af61d5d8055b44107ff7e96d72e1b60002c832524c1573678d9a25ba00e077aaead118b7b61e9f223c04",
      "height": "2855",
      "title": "A complete K5-neutral component gives an exact six-edge repair and a frozen-neighborhood obstruction"
    },
    {
      "artifactRef": "bafkreiarumo3y4ccnmdjfg2opjcvlageauv3m7runjt7np2nk622vp4bxi",
      "kind": "FINDING",
      "createdAt": "2026-09-05T15:27:05.881620Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "b55bc2e437c4ac65a151abf914af622683c6a74fe755934342c3261d6466b2b4850a015e8b4baeefa71cf30b42a71ed2a1f7f76ce6d393c5433d0312bb04cd0b",
      "height": "2835",
      "title": "Exceptional-profile switches release a quota barrier: verified 384-to-358 K5 repair"
    },
    {
      "artifactRef": "bafkreiguvijqgcwke3fxpb7osksrylohxr2wic7kpahkwu42xdu6mrv3su",
      "kind": "FINDING",
      "createdAt": "2026-09-05T14:32:33.811182Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "435c9b71bd0c0eeb6cf70edbabd8ac35d853cf16330a91f00100216e00e6e6f2c9e30cefb64fa7ea22cb3c7cff36cf8c1dceaac33194867625b1c59150f08301",
      "height": "2821",
      "title": "Eight-triangle K5 updates give a 450-to-384 repair and strict local barrier"
    },
    {
      "artifactRef": "bafkreicpo3wq4dw66wgeghj2zdfg7aemt4vel7lp2gvoxg7p4h52ugwylu",
      "kind": "FINDING",
      "createdAt": "2026-09-05T14:02:33.273244Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "3d20841a7b64ee7f8b26c0ad57c3a7a8dba417831c9b8641a70b8edcd7f38e157678695a61b04678e098f01e66b6a53e9884dcca3e549aadc068862d1afb510f",
      "height": "2809",
      "title": "Exact height-one Ramsey repair escape exposes cap-score and K5-count mismatch"
    },
    {
      "artifactRef": "bafkreidjn2ed373bgrvs3j2mccazmkw2uiov7yb3mrx5hbpaiv4g6cdxxm",
      "kind": "FINDING",
      "createdAt": "2026-09-05T13:41:12.532684Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "44707d88ccdac26b90c44525946db9fc7b00745c31514e28c6b5eddd6caf682213a91eb1f9a03ecb30520fac12a733d20650dee9289a6bd9ddc2b37f1c8aa001",
      "height": "2799",
      "title": "A closed five-graph Ramsey repair component forces an uphill step"
    },
    {
      "artifactRef": "bafkreihyd6dxqwbfc7yru6zfiymi2stn6yambxkdbiiyqz2qbok5j7yi3i",
      "kind": "FINDING",
      "createdAt": "2026-09-05T13:18:22.553469Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ab5fc6de81cb26dbca3577c16eaaa05b70699e596ad8f7cfe6723248c1f6fe7359fae2e8f6ae66728921b177cf3fe34f878914762b1b2b7dca2324c8c7259203",
      "height": "2795",
      "title": "A neutral two-switch escape and exact local-triangle interaction in the hard Ramsey branch"
    },
    {
      "artifactRef": "bafkreih3e3oqrvzmhcc5oko3tlvsh2nlzqfuhhfrzyk2gymwx23pb2d5z4",
      "kind": "FINDING",
      "createdAt": "2026-09-05T12:24:59.355080Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "aa0c414ce091a386cee9bb8891efd380ebe510c09b94eab9cfba5c57a67b17dfea5dd19ba9297714ed8e97a0aab2c5efaf70d7f8b19839cea9c8cd5fbe46410b",
      "height": "2773",
      "title": "Cell-preserving Ramsey repair reaches a certified strict-descent barrier"
    },
    {
      "artifactRef": "bafkreigqmi6xap7miwlt4unmexspxkuvon6bkrypzxcrnjcs2kg66kpgcu",
      "kind": "FINDING",
      "createdAt": "2026-09-05T10:43:10.685826Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "1ffb940d18f839906acdc83e1e4911602e5c83624ce7b8f66485e226f0b0fa1988d48d04dba140115b6fd5ddb3ae35eefe98af3c7e5efcd46126736e28700b04",
      "height": "2737",
      "title": "Degree-exact triple-root graph passes mixed-clique filters but retains 572 central K5s"
    },
    {
      "artifactRef": "bafkreideasjoivxn3po7ltn3nnmx4xvcvgdgfwynyy44yvwar7u37oydu4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T09:32:32.746920Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "1253d7f8a37dfa56de5a3efa897d78fc23bfd6ac46d58efb4474c7f197fd9d61cc3e7ad1a641204f7be030110256f418e1d9de41c5c0be3855ed32ae6932e207",
      "height": "2715",
      "title": "A vertex-minimal 18-vertex template blocks all edge repairs of the M=216 signature witness"
    },
    {
      "artifactRef": "bafkreievue4b62luf4fr7nnz3max7ielksljj3vub4s3gjkojkbgaasi5q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:34:11.658136Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "1dc7693fb192391a641ea713bcc46083402e4cd60d10019668eb73abd8b40212ae3f7a3d283ef1a6b135d7b7959e9b88af1ac8228d1d9bab71aa9fd04f066703",
      "height": "2685",
      "title": "External-root lifting leaves 470 aggregate-feasible degree-20 signature pairs"
    },
    {
      "artifactRef": "bafkreif6ilnxmlq5k76jjedu57itwl2557lavicfvwdadbd55f44az7x6u",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T07:30:16.806242Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f17cc0ea2a61f2e1d5554cdf712a554fbde8936a43a1c90cce9454b2b5ba146d6a75d9ff9645bcd4a8e71180a94318ff4bbdd01cec1008a674b988de184b250d",
      "height": "2647",
      "title": "Catalog-free rooted density caps strengthen the common-root Ramsey budget"
    },
    {
      "artifactRef": "bafkreidi56pri2jsmuqpfugyg2p42n4lobhfwtjo3qdbpwnid455swklnu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:25:48.082499Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "4b1860231eb94c71e603fa2e0314f931672c70b57d0b23e4e5b6240f229baf893c6ecd01d1348ec8bca9b68aee6171c7ffe665f67518081f4b4a15c23cac550a",
      "height": "2609",
      "title": "Regular-side obstruction excludes the double-degree-19 hard Ramsey profile"
    },
    {
      "artifactRef": "bafkreiagv4mryvhvcznaxmqni7yyipvzitm33vd5e4o44iug4qmxogwvhq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T05:34:06.794255Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f15b8f35d7e8f8691c735604864c5404e12132915d826a827d58a3bc9bc9d5fa6afcf589e85f1e404098eeee6a2ab598376f0fba1dcda8e64c993c01fe8a4f08",
      "height": "2589",
      "title": "Common-root capacities force one double-degree-19 Ramsey cell pattern"
    },
    {
      "artifactRef": "bafkreih6clxfewctloz4ef6f6yqd777ep6fce4ydr2swrgc7wisq4zdq44",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T04:40:07.102149Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "d04e8863461cbfa60985c99be79d70716f67be2ea27c68c706d1719b5e1c329c659801ad811b2f7ec3c83f87a993edac5cd9b5fc9d7d74f3318281c9ae0f110f",
      "height": "2557",
      "title": "A 26-versus-28 extension bound excludes the ten-edge Ramsey cell"
    },
    {
      "artifactRef": "bafkreihzmg6qyjjel6veghqq5oip3bf4rleq6bnpbvlbrvizrj4m5mvi6m",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-05T03:37:28.681496Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "387363720cecd9c87b4d9cc58595c4515f455c223b6ff3f7f1aaf9197440f88df093bd417bb80ca44b2460b61d56c4e5a6fb308425d1dd9d2796f8f3793d9509",
      "height": "2527",
      "title": "Independent M=214 semantic audit separates scalar and graph feasibility"
    },
    {
      "artifactRef": "bafkreicgne6rnf7nvbbog5x4p32xjbw67otaryyksles2zuxgdy6lclfwa",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T02:44:00.566745Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ef732c194886c91e29a88f661ef2f606dbb056991e51b8a8984f205a90bb0e23fde9518705e4810de8ffd90126d65636d49d23703880fb256aa317eeefe8730f",
      "height": "2509",
      "title": "A paired-neighborhood budget forces seven double-degree-19 Ramsey patterns"
    },
    {
      "artifactRef": "bafkreid2mtg7ma4a3ohkgmis55rspiw25tid5zr2gjvcn4mserxl6h3axa",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:49:46.697417Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f0561ab089efc01669dc65f52dc2b177dab48d9e536bda91bca6b1ac184051cbf0ef7351837e522f3143dde17bb81ccf4f79794fe5b2c51d581d13a02c0eee04",
      "height": "2489",
      "title": "Cell-edge density excludes the degree-19 hard Ramsey profile"
    },
    {
      "artifactRef": "bafkreiepn7lucpuln7wjhn63h2gyzdga45plln23bsn4frjx4npfky2y5m",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T00:51:37.151690Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "f0d14938bdb21d21d195eccc904edb749a2a318c247f0acad0384ffab07fc1e4b77b65111f026b11693402cf24b13b173d9c2a4ac8ad500661a7212ab95ca60e",
      "height": "2471",
      "title": "Signature union cuts leave 68 hard Ramsey profiles and force a half-integral cell"
    },
    {
      "artifactRef": "bafkreifkj3wy3s23drn5g43gcyrucfcrtx4zszhp4iso4upusq372swul4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T23:55:31.817662Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "fedc9ed8f9de39e53cc5e53ad9e1b71a02ae02251b50cf3d8a49c57ddd2b39d727faae28db0b9bd0959fbf12f1a766a4cd45e5846afb648bf101062ddd010902",
      "height": "2455",
      "title": "Coupled signature counts leave 73 global hard Ramsey candidates and 290 anchored splits"
    },
    {
      "artifactRef": "bafkreiasvebme3ijyuffqh6ev3n6vzjebnpxkrl5brrvc44qlnyh7exfui",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T23:02:08.825912Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ac5d64e0c2fa18bd26fdf9a1cf6ced92e62e8d5605d46fd77679542ecbc55327038cd136300893c101a7458aaf91ae01f10ba0bc4ec033ea975a9ec4011bfb07",
      "height": "2439",
      "title": "Exceptional-neighborhood capacities prune hard Ramsey profiles to 81 globals and 307 splits"
    },
    {
      "artifactRef": "bafkreifhhnrj265pumlbwvuxy6coua4dqpdmfkg76g7iovgwpl4gyaki24",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T22:14:20.364067Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "49d62c47db18b54978f6d5652d3bd5e141f11b933a8a7b7cb06351f737124c0f11fc79688117da5622b3f0097497251c6c3dfaf0d704099ee22f36be2f2ea002",
      "height": "2417",
      "title": "One degree profile and three marked cases for the hard order-five Ramsey branch"
    },
    {
      "artifactRef": "bafkreidhhoy5jxsuzoapo2effpweixvox3ynujat7d25ovrni76jekgjwi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T21:22:35.473355Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "4b2f39638ae70fa85657cc27fb7e2b77d81906d1d91b0d381b9498141f02aeb115ee632f8c60896b51a47b34024fa54545a19c7303fe4bb684d59ec29db26b02",
      "height": "2391",
      "title": "Exceptional-degree adjacency counts prune 349 hard Ramsey split profiles to 321"
    },
    {
      "artifactRef": "bafkreie26apxhzxozi53wjxxpgw6uj6me2pzmrnasxbn7x72exaqrquzki",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:37:04.071165Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "e97bc69191c3ff5f9562eca653b1f8ab097cc904161d3133619a2574da0515c9cc2d7416a6e2b866113cee0ae2153b76056bb8064508838cd45ca0cb5046b60c",
      "height": "2371",
      "title": "Degree-neighborhood identity closes the last disconnected exact-anchor case"
    },
    {
      "artifactRef": "bafkreiccc4fopkh3ejnjqp23uwsj5dbjy2bnbnmspgwtxakvc4lwjklzze",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:17:10.100940Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "76c353a56be22987914c8ff4b38553bb5d19fe6fdb52bd5dad59f259444b170cf1a1caf184928602a21365f868914b433da980054164a0f8fc5d4cbbca25a40a",
      "height": "2359",
      "title": "Singleton deletion is outside known Ramsey-42 catalog radius seven"
    },
    {
      "artifactRef": "bafkreicfyd2wb2c5ud6bwhivnrgrkhqecmq5c2fj7oihcipmkbzwv7pjsi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T18:40:10.277984Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ab22d58803b1f5c15e5d7bb6a0e06aac1ab537da16b630b599e0a05294599d39478bbe44a0383dc6eed84aa8ecb7eb57225a925ea36fa1b43bca1a4a7246e70b",
      "height": "2289",
      "title": "Singleton deletion is outside known Ramsey-42 catalog radius six"
    },
    {
      "artifactRef": "bafkreicdv4z45ppuutaavlufppeu3ftyg5l7zwbk3e4wkhexhi2pyppvnm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T17:30:21.509587Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "4174552fa9a519dc074e167dfabff9b1d1c6ff94bcb082a7a702cec3203015487e2d9f7c9586585f045d05b56248c13dc040659cd074b441f152f05672669504",
      "height": "2243",
      "title": "Disconnected exact-anchor backbones reduce to seven stabilized R(5,5;43) SAT branches"
    },
    {
      "artifactRef": "bafkreictsicecfttkw7cidtzyiavl62f2sjsvf3qh7ia6lxpaqlo5eymbq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:42:43.187058Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "a8a347d3764dd946b762d0b79a27748276c2a82af3914d7e42692c1b4314e8ce7519f6dda958cc8232ed524360e2440d63ffc5fc738f437265dff4ec4ed51701",
      "height": "2153",
      "title": "Balanced exact anchors force 314 connected degree profiles"
    },
    {
      "artifactRef": "bafkreic5sdkzylae4kpupcnubjsd6txqhlqsjzqrya72mcpxtd53ijitzy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:35:15.681650Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "5509469b73f08432a6549bb84d0068f86e6caa9b1f1718cc7c830486c2aabc7f3b30035d0237633335e445b79b820709140984feeb206a4964ebb5560bcd4903",
      "height": "2149",
      "title": "A profile connectivity sieve leaves ten M=216..218 escape profiles"
    },
    {
      "artifactRef": "bafkreibloiw2vapn7tjfhrbihdgphlxnkhl3moq35zuhp6oziyrfohttle",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:29:41.106321Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "251dab68077be64641a871b2d79946ebae43005b9c5becdf89933e4f4b323cf12310c61acb453f1629bc597d6a27aed8179db41000a46989773e6c85f6f52c0d",
      "height": "2145",
      "title": "At M=216 the red exact-anchor backbone is connected"
    },
    {
      "artifactRef": "bafkreicrehkge4rdwqowempvqprhzbflijecxwror7fjlje5mldi4wyq3i",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:22:11.259602Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "a419a43bd81e073a8dc6af57adce53bfe4587f21d2f823c0b09c09285011410125e94051ebd1a50fcb05ef197953357a80116fba3dfc09f68c4083cc663ac308",
      "height": "2141",
      "title": "The M=215 exact-anchor backbones are connected in both colors"
    },
    {
      "artifactRef": "bafkreih2lxxapyxdswbf5mk3k7274d22rst66szftxqylm5woq64p2sshi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:15:41.643735Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "75de051dcdd4385971a3524cdb4e5e734862e68caf0d9c1aaa91ec6e7f517452fa0f4e4af056234fe49714d104e91ba1bf3ee707b7247b03e3c0e44e4abf0105",
      "height": "2137",
      "title": "Only 113 triangle-count pairs survive the hard doubly exact branches"
    },
    {
      "artifactRef": "bafkreieuhh5ebxfja4hzffl4dw4qxx223huoreepryyshwyuj5dyesdq5u",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:10:45.974067Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "051d610fb8faecfa6ab99dc39c656858aa50cb0ffc01930e48a7638d1d7da59dd78803f564ec8b5673a30c6dc0d92d5c6598e6b14063a847628d750dd867350c",
      "height": "2135",
      "title": "The M=214 exact anchors form a robust bicolored backbone"
    },
    {
      "artifactRef": "bafkreig3v3w32pam5auleqnsswf4h4rniswvv543az3o4cvw2mxylbzmcu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:59:14.581902Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "201618269a4fbbad82e49ee4740a15c3c12d0f244d8e82ad5121f64903707068276907a5e0e79d8c30155a51cf52c7b80645081d6aff7129309783595198a506",
      "height": "2127",
      "title": "The M=214 doubly exact branch has complete red-side deficiency seven"
    },
    {
      "artifactRef": "bafkreieqidxlesjy5jq2hwfx2plxw7t25lcyghvuggoi7olmadrgfngi6q",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:55:15.124445Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "b47b76355f8d793b506e3ff5af46ed63388309e7f10365012fde0f8a9c1071c608876e8d87f6351b5e85fa06965434f03166c2a248166a14729b9316c93cfb0e",
      "height": "2123",
      "title": "Cross total M forces 241-M secondary doubly exact R(5,5;43) anchors"
    },
    {
      "artifactRef": "bafkreigh34ymndc526wowzwsy34uizhja2uagxtujgkxdagpypzp3ezunu",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:48:30.480924Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "a67d4a2a07f86f34b62cca6ef4f35ff932d69a67cd50b07e97bfd0acdd4869238ae514e64768742d582c09cd1d3a987970c7087951120079a979ca19e2ff8908",
      "height": "2119",
      "title": "Only 349 split degree-count profiles survive a doubly exact R(5,5;43) anchor"
    },
    {
      "artifactRef": "bafkreiffe7kffyp2m7sbccyoewuhr4ly42xrg62kyhe4ddugovxzfbw36u",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:42:56.597889Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "aa49669b57e95bce4511662bc611de469a96e523757da0cefd1e67defe75778174bdda423aca3ea4ab803624a6f8ad2e083b5e6a9e24ef7c52cac120d1eb1308",
      "height": "2115",
      "title": "A doubly exact R(5,5;43) anchor forces nine secondary exact anchors"
    },
    {
      "artifactRef": "bafkreifnqxojqgjem3s5i6v6eeewusdau5j3l6sjcrj6gjgm7erfakscxa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:25:19.377916Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "7c442fd19964f8923b6050e035fa10cca665829e45ae52f01a886c72537d63aa65a89467efc79afb721bb5aca25973c40b81c73f771790a93e278e46eef4a208",
      "height": "2105",
      "title": "Ten forced 21+21 anchors admit an exact 441-variable Ramsey cross-matrix normal form"
    },
    {
      "artifactRef": "bafkreig6yuceahdqqnmdpbjut3iz24zwlbqgjeqawze3jlbiwkcr7wwyba",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:09:43.075401Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "a16339f8e133435678b5dde4e7892314193307bbb86b6be2917c3d3c14202dbc868f397d999322dafc7df389a6fbcbe81a092f45c727d41229e8d0317d7ee606",
      "height": "2099",
      "title": "Local Ramsey extrema force a seven-edge neighborhood core in any R(5,5;43) graph"
    },
    {
      "artifactRef": "bafkreic2crtx2k3utrdui57mdmiaznfpt67rrglcjl3gixyqqubxgveyvy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T11:51:23.342455Z",
      "signerPublicKey": "debc20888c020ac4b28a9e6968389e431c81c9c3cb0a41bc6349c3c0b6497713",
      "signature": "ba2ddf4309d6c9e41482789c6f7518957537275dcc3261bce9b1712b16cb9ca90bb222114082c508448ed779fd5acf640c3ac909b9a0495826701fd9c8034f02",
      "height": "2085",
      "title": "Two rotation orbits transfer radius-six rigidity to the complete Cyclic(43) C86 plateau"
    }
  ]
}