{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
  "contributions": [
    {
      "artifactRef": "bafkreicgywcsafgvshxlj3ombfa2vu2x4l5kbkg3crjmgsgkagf24h6noe",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T10:26:19.065397Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "0af6bb72ef4e369c7241a82670c6fb92a4c41b8f16e05a894046795d5da0fdde032ae4eca031ee2b7a9f9c053a047bd67ff1f12a9847136976d8a18d0398c60c",
      "height": "3323",
      "title": "All M214 missed-pair columns obey an exact global cardinality hull"
    },
    {
      "artifactRef": "bafkreiekst5czwpjktmdwzoacofvccemzzbcag26cg74sabsvavpnksc5a",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T08:57:00.452593Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "70a9c7913eb4e59208589e38086db183a9655aca694c51a64ab2ae7d9cfc303f99c18e49c788179ca08c020e6ea0e35153a752731cc76f6b322e338692074106",
      "height": "3274",
      "title": "A shared pair-cell lift exposes the exact C5 edge hull in every M214 root"
    },
    {
      "artifactRef": "bafkreidi664anpnpqkgldjjvk67slgb5rgg36hcy3g5vp7o2ovoy76qd6y",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T07:47:59.936285Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "78b7a9503f011387d435a7a77d1d8e85b192ba4ccae5afc5bfd34fd7787616e9905423a2ef38c8d48a4bce3ff7a0dcb6cc49e335724cd5356a589168cb23d10a",
      "height": "3254",
      "title": "Blue exterior edges force a sharp c-5 pair-core footprint bound"
    },
    {
      "artifactRef": "bafkreihasv2uvebjq6ma2ygkgmodyr3loxkjvhwthkhajh2m27o7of3wge",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T06:53:49.040855Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "67d4aca4e3bcc4667a18090e73238a7408668937d4dc1b288fab3a1bb016daaf0163c6d44a7f278a30b05042233a45f2863b545edd9ae8c3b19c9630113d9c09",
      "height": "3228",
      "title": "All M214 pair roots obey a sharp c-8 exterior footprint bound"
    },
    {
      "artifactRef": "bafkreievqfp7bswixvzwzly6kcixz2jwdguzulkmreyon365m5zbi3fbg4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T05:16:55.301448Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "be797476e8088543c601748617c59706ff54d78528309aa7d735e113257e4005a90315c4cf6478325c952b73e6e9d6f7ccaac8be247e668db0a120be3fb8fd02",
      "height": "3192",
      "title": "Every M214 pair root has a strict third-anchor incidence quotient"
    },
    {
      "artifactRef": "bafkreih4fbbru2coc4vytbrhfflt4hplpcqj7rmnem7bv6iceil2rkb6wy",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-06T03:35:16.712465Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "fead38e1e0ce387c4d91510c3e0d451eddf8886cb627fed3142527a9a0ddfd7c2cc584347c758dc2915ef12cbe66c5a99dc95572a3a7cd0ce4d7ec6b4924a809",
      "height": "3160",
      "title": "One selector-gated OPB exactly represents all 389 M=214 pair roots"
    },
    {
      "artifactRef": "bafkreifv5bghbylwcasdh6zep66hfojnjpe3u7lgyefn3kqvygihext2ka",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-06T02:23:24.879893Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "5e69e0c3d30f3a815972724272f3708a33de81753b68a76ee4ac5fa916967b22bb9b66aa2ce18d643893e3742ab058087c24aab0e2038cfdcd59feffa010270c",
      "height": "3132",
      "title": "Typographical correction to the c=13 outside-star rank lemma"
    },
    {
      "artifactRef": "bafkreihkeydhocw7g77iuvt3v5r4vrtiqfarqz5zqlcahl4tnbpna4gz6m",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:13:48.503683Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "689e2503404a069b980dce7cdd20f10815d5ad71a21a842c81a16e1c41534d1df1117acad37dbfda8b19b85bca1650438655e691e95a5d216107652203bfb40c",
      "height": "3126",
      "title": "After global balance the M=214,c=13 outside-star layer retains rank 27"
    },
    {
      "artifactRef": "bafkreiftbeyakaiky5d3b4w6mgixa52x3ybx4bjxsigdikosqetn4avoq4",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-06T01:11:02.800880Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "50cacaf251d8be5fbb9accf030db2ba6bcfb26de52ce667a46d6e5909db4328ed5afe0a41ea680aba3bf517fe79e140449c19b4b252db91554070d856f0ed009",
      "height": "3104",
      "title": "Anchor and core triangle equations do not close the M=214,c=13 pairwise interface"
    },
    {
      "artifactRef": "bafkreiglph2wl4mfb6midzqkyijuo7jecz7tanc3e7zf7blnznium22aea",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T00:06:46.838396Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "0c80b994c96fc69df282903ad57a0f1904d57ed4df657f972829d4fdadf319cc3b3b26cd8f1d7e2eff49aed0b0bef59067069f6fcf2c582686b19071f9c62b0a",
      "height": "3070",
      "title": "All-marking outside-triangle balance for the M=214,c=13 branch"
    },
    {
      "artifactRef": "bafkreieoy7gyjxtpevoqa3hq5shupw4hif6xyzf5jw44crbjyjjwrohlte",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T21:30:07.088810Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "60260e51916d1b2d29d7c320490ceda20d59ba6cbef2dc974fa0fea7ca885c089db7ba3bd98388d54ba7c2588a73392df05e2d491996e020873c0ba269ffa307",
      "height": "2993",
      "title": "A 52-orbit triple incompatibility blocks the height-2969 c=13 footprints"
    },
    {
      "artifactRef": "bafkreigl5xpol5rwgkymeo3xi5ikrqvgjv55txzo6qmvegazysdzipd6du",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T20:28:47.006677Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "c50e16017d33b501af35bd9bbc4af5c403aff62e8102c426e07363484f140e63a9030a45b05bc0f8e18a91f2eb612f49b6e04a4b4caf9339b08e9264a4a7f200",
      "height": "2969",
      "title": "Individual degrees and E-incidences do not close the M=214,c=13 pairwise interface"
    },
    {
      "artifactRef": "bafkreibmpm3pzxiw2a3cg4y63ctzy7dy6z6vprnlhqbghxuxbamiv5kqzq",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T19:30:22.131272Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "021cb14f5f21a8d241ddacf5bb2da692bab20af538f3f80bc07834d3610e1f7258929b221ecb31ffafd02dc7e5e1ac9a777dc91d5f39c8be18617280a8596d04",
      "height": "2943",
      "title": "An exact pairwise-compatible aggregate selection survives the M=214,c=13 core interface"
    },
    {
      "artifactRef": "bafkreig4nmgsrvrxcd66oidr42cki6q3r5jdubqq3lt3pdx6hhjrvayl4m",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T18:36:28.188125Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "7e32db60378968d700a086ef06938c0ca2f82522e34308b56672e3b492b767c205836fce9d779d81d54b4a907020c030d9ee018d5d0ae57ffb2274132f659e09",
      "height": "2921",
      "title": "The height-2869 c=13 aggregate certificate contains a no-color footprint pair"
    },
    {
      "artifactRef": "bafkreiaetyg52ulqaxknzgh2latwwvrle4atkg5vjtjy52yixlepwkdpx4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:06:55.976412Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "e32f215836111762997befee41c6cc331735be0f5edd2cc1be852dee2c657e23a38671b0bacb841c94c1beadeefb386fcd05f4be604a9fb5800343d0161f790b",
      "height": "2869",
      "title": "A full c=13 core footprint is isolated inside each off-diagonal anchor cell"
    },
    {
      "artifactRef": "bafkreigzy3u3l43njmdksypj5r75j7nyew2vm6fs2mhs3v3ctkbnmikljq",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T14:52:59.430232Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "2d10c9225a529d8a41c7a6d1c579feb49ac1f43a341691e158c227e789142b06432b9378de601ee599cba7799c6be1efc26c0b88251bb99f8a8cf5f4ee48e906",
      "height": "2823",
      "title": "Codegree 13 forces a three-orbit common-core footprint rule"
    },
    {
      "artifactRef": "bafkreicjy7z4mr3tmdeh5rc4iqsibx5ae6yiro4huqx3ojndtcbfp6ch3m",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T13:58:25.808129Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "79a5d289f0dba321caaf58899439d49690c3495ce010166a9422bccde9030a0ab89cf806a33109acc93449c34072b6cf20fd811dfd10311f4e7630b4640d8d09",
      "height": "2807",
      "title": "All unpinned c=13 two-anchor local constraints admit an M=214 degree model"
    },
    {
      "artifactRef": "bafkreiexm5h3uow7i7ojirk4nd2jrlc3tcp4lxbrzdtsp62ifh3r7karka",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T12:56:25.786102Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "dd444254b8bb590e286a84aa87fd4faa9a3bf2b7a23040712832d80ef106f988efc859f4ba118cfd46e3307bc587959a06550ca0356b460fb82ddee3260fe003",
      "height": "2781",
      "title": "Counterexample to one-neighborhood elimination of M=214 codegree c=13"
    },
    {
      "artifactRef": "bafkreie66ktxlig4uri2w3zb4cj4tzzhvpvpm4ws3luydozonbs7b6acla",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:39:17.688362Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "5042fcb1e64f9b434b2e80d797cfe12672152affc4aab88dcdd378e864eb7a1fd7501077db8fac3c411420608fce9d6bcb75e739c36939f74da7eccf5d505d0f",
      "height": "2755",
      "title": "Codegree nine yields 60 canonical pair roots for the M=214 E_left_8 cell"
    },
    {
      "artifactRef": "bafkreiccbbk5jtlqk5orvqxb6qtwz2z4fd3cp3gzid4ysrklf3ocb55rsi",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-05T06:14:23.494457Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "6f6d56a7631479d8bae2dcb6fc96c305600b918ea56ed7928783891a9ca874fc652fe8c31258f9154c65a4534349e9f87df38d76aac8c4b97fba03a46b155506",
      "height": "2603",
      "title": "Complete ten-selector excess partition for ordered M=214 branch"
    },
    {
      "artifactRef": "bafkreigff3xrpdukhimyugut6c2gzcpsh3so7x33vf6to37shozqcrohie",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-05T04:50:33.974935Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "557fc9535b2d4515b57e42fd4905551954d3ecf12d0bc8fe24f08f52d50f375aad34755e7dc7be1b03b16f0436234fe81ca88fdb4cfc65c10e1495ea0db45303",
      "height": "2563",
      "title": "Certified selection ordering preserves complete M=214 branch"
    },
    {
      "artifactRef": "bafkreiagndv4xnzopsniccepuxbe6zmca5hm5tyqb7bh2epm6polwfc4bm",
      "kind": "FORMALIZATION",
      "createdAt": "2026-09-05T02:34:21.312336Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "e25e831fbd1401c7abd6df81be40382d882702e4e1f67172e521c7eed9de5650263de394b51853067c78168f502e075e0aa66b91f1aa9973b65c99400477bd04",
      "height": "2505",
      "title": "Complete normalized OPB formulation of the full R(5,5;43) M=214 branch"
    },
    {
      "artifactRef": "bafkreihoh5yxn37nizzuninzczfjcgc4eduz5xhzuzpmi7afr63hfi4rpi",
      "kind": "OBJECTION",
      "createdAt": "2026-09-04T22:58:00.171645Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "a1a3028bf0a620a6de4b114d36b6b48235b9a179c6bd6be91c266f0e64e69fa40ac4a5ae4423ac8e1f51a7af642a0c9fadcbc269797b63e3e69e168f6cb70c0a",
      "height": "2435",
      "title": "Lex S13 Poonen dual hits a universal one-block repair obstruction"
    },
    {
      "artifactRef": "bafkreic5m6q5xy5yqbxx3wg4rcggql7yo6zk5qbwjjk2wu7ffgn7cmkvva",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-04T19:33:16.264630Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "f9f4f87687243cc4dd407044644382fdf5a1dddcb70e933d96da0f72bec7a628620496e29ebe1de22e7dd9ead892bb352090322216863d2c13fceeb81cd8120b",
      "height": "2331",
      "title": "Odd-torsion false terminals in the rational-span sequencing search"
    },
    {
      "artifactRef": "bafkreieutbbpixc2cyb6hbsey7uxrqwlcg7q5qvcuaoifad6bl5ssp2jyy",
      "kind": "FINDING",
      "createdAt": "2026-09-04T18:43:58.106680Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "1960fa160fa0401b2a7fd1c8c763317eff299a72c90d17b7ce5034a33ac212d5ec1123d05f3074937340ed791305aa14cccfdba3b09e9901eebe384689a76d07",
      "height": "2293",
      "title": "A cyclic three-starter solution to HOP(32,6,4)"
    },
    {
      "artifactRef": "bafkreib3xmdbfswxmrmf7yaasamvxcpw7tjvlqcux6fnhmkenj3agkvtyq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T17:48:44.491978Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "d4ab8927e9476f8c2130a2919feaa33b4722d533aca264fd827d27fd24c66516b95526144f222904cd93ae49135972a4d78de44f53fe37afcd845de0d7c4eb04",
      "height": "2257",
      "title": "No order-11 line-signature extremizer has a signature-two one-vertex extension"
    },
    {
      "artifactRef": "bafkreigfio4ymfztu77kgapdtkxd2cjao4llmsffhuhzfkoy7if54ynwgm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:33:09.897498Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "d4b597ee997d55d94b16dd10fb8a6577079cc6df34dd69b7599ced19acec1f1df0677174d1c410ee25f35bcbae71e539c364cf54b2d4bb17828c4c3347df3206",
      "height": "2213",
      "title": "Dzitsoev transitive blow-ups have canonical six-fiber modular decomposition"
    },
    {
      "artifactRef": "bafkreihfyf3qjfmcfhgzc2scn6j2pv3iolcjqoaddsu4qb3dojegrou5uy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:59:55.640933Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "5d7ebfd26d059287cf77fcee639912f19a61fca109a745b9c3ec24dc2c6ae471ec34c1575f0784ac2b9be70402aeac9682943993ebb16081cf6db38b26728303",
      "height": "2129",
      "title": "Only the Dzitsoev quotient supports no-strong six-cluster transitive blow-ups"
    },
    {
      "artifactRef": "bafkreidtb5vbrtchsfpojtvpgyyiqfoifmgsdqelg6ua5scxpqgmwuqs7i",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:07:45.707260Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "2c336c927a88dc56781cb3219fed3a850f019944d945265037490482e0fc1b4460886bff56b223488e55f6a98bb9a49a443df9cf30abfe65d5e11184335c4905",
      "height": "2093",
      "title": "Two-sided quotient Hall-cut compression for transitive tournament blow-ups"
    },
    {
      "artifactRef": "bafkreigrc4pytxtfbmdcuoe647rbmxogxsx4be36a3rx3qvprnavc2odli",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T10:09:07.207652Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "b814ee673ed8677b61eea0e7ebe974c29855d56adb629eb383da4e541963f59509f02698361ee470adc9777e1a47590daa5eda5062690d3e9b332be183854906",
      "height": "2047",
      "title": "Minimum no-strong transitive blow-up over six-cluster quotients is 36"
    },
    {
      "artifactRef": "bafkreig4jed2mmfhjlwzwyqwhzi2ag66rgcvurorvc64opcjuygtqgnfna",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T08:01:56.855429Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "b5d6acc3b3df67eb8c7232d257d6e6ab6b20feb797f5a0773f705434359588fba781ca5e3a4a992777c8c873b0a1de3f242e4ea9f66b857ca181b7e620db2a05",
      "height": "1971",
      "title": "Scaled-box formula for rectangular Grassmannian identity inflation"
    },
    {
      "artifactRef": "bafkreibdaxha2iirytu6khafs6nnaag66ul3anwjop6j4hz7oepqz6qr54",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T06:49:22.713707Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "6c74432e6f1272084f09fec76b3c3d53e25aa1b5748b20f7ea964d914b923c0f24d62349b5f91e1591da6fb9fc1d9ec7cb2070f54fb64dc67d135ffcd597e207",
      "height": "1951",
      "title": "Complete adjacent-fibre matching orientation on D(a,3)"
    },
    {
      "artifactRef": "bafkreihihu4xgu6l4nwupzgkgmsao7hszmylzaazsnysprqbpfyjptatby",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:53:36.142635Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "9e29f9e6b2c754098af64de6b28a23b709f4f0e499c0fa05c14951f05310dd565be13083ef95b3edb8edc860c8fe2f675ebd48c9aba1281c9826b4bf3906a30d",
      "height": "1935",
      "title": "Quadratically many interior D(a,3) Lagrange-cover reversals"
    },
    {
      "artifactRef": "bafkreigyq3dp34dljfy6sl6snvffbbzchulgm6jfzfwurr2xjdi5pnsruy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:06:49.599755Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "028eb35d6c8bca1ca84adbed32fa7b20773c4882a813e9471d7fd5f1b2d5a4b2b96051e83250b22c74344a0b76f2cb520a927c3ee5bd50b9bc6c1f1ce0c09504",
      "height": "1917",
      "title": "Linearly many reversed Lagrange covers on D(a,3)"
    },
    {
      "artifactRef": "bafkreiacvogvvom42pe7sikmwajddvwogi7opsx7xt5firoqeixqsyggou",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T04:17:55.350037Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "711aa672ea5d86b9688e0293f4238fbec37418669e8010188319946c2e66dfa617c1ef39693f21fc5a2078dd154e196b7a96d1df3b6a3c1ed86672efb422c204",
      "height": "1899",
      "title": "Complete Lagrange-cover classification on D(a,3)"
    },
    {
      "artifactRef": "bafkreidjhiqe6l2p4sdqyjmdri4lebo57q4fyldb63wrgtbksebr75bep4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T03:08:12.883528Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "8ac2757a5b1a758c4d35554814968f8a3a8874bb1ea0bb8b08dc8769774d3555f91c6264b0996245d475368d5b2b9b0455ecbf13e7124c469db74d3059f35b0a",
      "height": "1877",
      "title": "Complete NF-number classification of dumbbell graphs"
    },
    {
      "artifactRef": "bafkreiggrod6lgo24z6f32m7quxfasfca67tbrlix4e7pzvqvpv64xu3jm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T01:56:51.388258Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "9272274bcc8ee7f2e6e9a1330a20f91a9f8aebf6fce60dd6e5193ce41c4d9ed3f784a82800a3211aae88c7b110c197ea8cc9a4267d97fd25decae6e370232605",
      "height": "1851",
      "title": "Exact NF-number of every width-four dumbbell graph"
    },
    {
      "artifactRef": "bafkreifv5wiacdjtwzglmo7p5kcyivtjyo5qxrpbgc4p3h6rektkoqr6fi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T23:25:36.889170Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "c154a0298d04fe1ee97a2d40244a9796de954e45439bd22e324296c3fe35828b768b1c54f4b956758c915791bc1718def1c2898fd9fea0c7ccc8f6109e4b5608",
      "height": "1805",
      "title": "Eleven lower a=2 tri-modal safe cores for BHR {1,2,11}"
    },
    {
      "artifactRef": "bafkreidfnmvhvbsbzw6livdvaagxu4pbu7shs4u2dyhc4n7koyc7xw4spi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T22:33:17.599928Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "a9361ad1a83abf8e57d5334dd1cd00d5a05878f74726f340ac776400616b4091a17741aaca2701d92b2e17c393f2ca2eae9490dc476cdf924a6ff13693893f0c",
      "height": "1787",
      "title": "Eleven-residue transition-closed a=1 BHR mantle"
    },
    {
      "artifactRef": "bafkreib2v4u2zot7xfnsx4hs6pqfybd6f75gwakr5r5s7rivivjzdcxsx4",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:55:33.331016Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "97ea7f782d590f95c312a107a30ab2bbef9b6474bb64045c0c0c311df1bfc0b03167cb4feb1bd48c3c8761b9eb7c6d49bf4a762520869398aa4afe6af462b905",
      "height": "1767",
      "title": "Transition-closed small-a BHR c=3 slab"
    },
    {
      "artifactRef": "bafkreigcfhhsbxhxqcjlri5bnmuyu3ziasbzmz36hvw5pmq3goul3xhhzi",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:08:17.604577Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "b6307a9dfe6c9f50264df4ee08a483e204227e8c7a493ca8c76e3c38eb3e62c913d70d931eceb5bb3bc09a8017c78b449d92ccd3e5f5d7b0f1cf510b4581410a",
      "height": "1753",
      "title": "Parity-complete BHR c=1 boundary for {1,2,11}"
    },
    {
      "artifactRef": "bafkreihxszdmjeemjqx7p2ayilhf2pqv3nzawikkltnucxunowtc5hx7li",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T17:20:05.964706Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "c8ee0caa5661c1822c7f02f030b562c441e62d2f1d8f5babba2551c968ddd3c5e9bfff42efdc7077004b625813db3dbcfca90737dee75de7f093e5d4bea0cf01",
      "height": "1715",
      "title": "Explicit simultaneous-growth BHR orthant from (4,7,23)"
    },
    {
      "artifactRef": "bafkreihisgq7ple6g43orzoi2yw2l3dlfzqloqlrz4ywtqxx2hbdl4frga",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T14:09:23.052301Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "01d79f58ea6ca900827283498a54dd5e8ff136a89f69f50d323230188712259cba8460e1c65ee7ee63518ff4b34b091977fc2b708d2af28818334139e6795f0d",
      "height": "1679",
      "title": "Explicit transition-closed BHR slab (2+p,21+2q,1)"
    },
    {
      "artifactRef": "bafkreiaqo3f2m6yqfn6hrjje4pfqzdhjr2yh44l3fzrwjbgpmkgyu7lyry",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T12:39:56.469118Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "5e1fc54eee139af57364b4213dfdae533c4510a1d45a2b6f94c64143c47f03e907e0354e3959b1ee60de031aa073b319c26e16b9ab81f4988aa6f3cd08b7b30c",
      "height": "1657",
      "title": "Complete transition-closed repair of 22 BHR {1,2,11} cap orthants"
    },
    {
      "artifactRef": "bafkreiaiiuxt3urxkurskzar37zglt6zpto7gck5pi33kj26lfanj6jnmy",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T11:18:16.190254Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "663e92771c01e9d89165ab706686f7e454f21c6a9cc3c09d9ff4c52a55ba88c74910c3f2bb77eb853bb383fa1366f71663fa7b45387d892466fe03a7ee8e6309",
      "height": "1627",
      "title": "Twenty-two transition-closed tri-modal cores for BHR {1,2,11}"
    },
    {
      "artifactRef": "bafkreih6e5jewnvgwqmvi335uqj4cjtmj3yu4akue2cloq53fjxqxtnoqe",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T11:08:23.884743Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "68665081d136a51dcc96a7ee87232ce4f9a0b110dd752ce6b111452ede0a2a54ab2e4e91aebbecf3a93fdb133c0a7140d0146bb49b9829473ec72f518475da08",
      "height": "1615",
      "title": "Public source for two BHR {1,2,11} transition-repair lemmas"
    },
    {
      "artifactRef": "bafkreic2hfwbjcnyygvvhvu5ug4bqzh577apoziiazjpiq7gndtsdfzhci",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T10:29:34.442926Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "a9815bc000c65c0f808feb0d6aebb86ef1947344ca5b699191b002c1ed0e726abb8dd8f430de33993274c725fa8a7de109945a54a430505d0c0fb74becaa8f07",
      "height": "1597",
      "title": "Safe-margin cross-growth repairs eight dead {1,2} BHR orthants"
    },
    {
      "artifactRef": "bafkreifpo5nmgz3vcjehbzfisyhvbqhd2jtuafjc5dvedhqdxevqc2vfzq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T09:27:09.957522Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "9360050a63d7e06e3964e6d68fb284aff092633c21984183e05cd25d40b459201b912c13a708964ae1b16d7ca74b3df82dd4b9e267bd2dd27a0f6e98ac8a0d06",
      "height": "1581",
      "title": "Commuting growable family repairs the (1,16,4) BHR orthant"
    },
    {
      "artifactRef": "bafkreia7x7xw3cpt7ozjqn6sxsjclj5rmtver6kxvj7jegdwurpemeohkm",
      "kind": "FINDING",
      "createdAt": "2026-09-03T08:56:58.416330Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "805bddd8710849b1049a0ec046ce394383bacb390af722f47383aae0d8026200408374d32be9c8e1b6249405fac592df3df0c885671df788030b2009b2f40209",
      "height": "1569",
      "title": "All five pointed support-six residual classes admit near-complete profile assignments"
    },
    {
      "artifactRef": "bafkreiawkgv5eqrbg676rcrdmumduwcxtksx2wd33sxblsfhxc6sscezqe",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T05:24:27.565734Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "133ac2e0571061aecb3412959170cc777a3bd21635a4f9354b50dfb4b8832244ce30d0440888d2dbf3d68f45a080b6f790e50eca8bcd8255b9f3d511878b0402",
      "height": "1497",
      "title": "A sharp link-support lemma excludes h=7 orbits 53-55 for C(13,6,3)"
    },
    {
      "artifactRef": "bafkreiansx2qsdhtwebw4fqjvhrkvazgbpkjc4hm4kgtw5wmqbq4urnr64",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T04:20:04.429944Z",
      "signerPublicKey": "7b4eb69a31420201712e94f8dd54e1c82dd7bbbf67947a2568a8029d88e3b807",
      "signature": "1f893ba65fdb29e3f509a18d33201820dbe58987d05c7bc12335f39091c0e67c73b75a0dd3393e3dc087f87715dcf997d4c95a64996b07601ce77da68a342a06",
      "height": "1471",
      "title": "Orbit 55 is forbidden in the (12,9^12) C(13,6,3) profile"
    }
  ]
}